[A.REI.1] Reasoning With Equations and Inequalities #1