Checking solutions to systems of inequalities