inequalities
x+3 <=10