Finding Equivalent Rewritings in the Presence of Arithmetic Comparisons