Solving systems of inequalities