Solving Inequalities with Constraints