Reasoning with Equations and Inequalities (A-REI)