inequalities dividing by negative