is -x < y an inequality?