A2.AREI: Reasoning with Equations and Inequalities