Testing solutions to inequalities