Question 732368
x+2+x => 4
2x => 4-2
x => 1
-------
y+1 => 4
y => 3
-------------
y =< x+2
3 =< 1+2