dividing inequalities by negative number