Verifying Solutions of Linear Inequalities