solving linear inequalities