Don't try to simplify urem and srem using arithmetic rules that don't work