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