Multiplying and dividing with inequalities