Solving and selecting solutions for inequalities