A2.REI: Reasoning with Equations and Inequalities