[A.REI.] Reasoning With Equations and Inequalities