Solving Nonlinear Inequalities