IA.AREI: Reasoning with Equations and Inequalities