solving inequalities