Checking solutions of two-variable inequalities