(+)-A.REI: Algebra - Reasoning with Equations and Inequalities