Solving and Checking Inequalities