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