PC.AREI: Reasoning with Equations and Inequalities