x x 7 - - 5 <= - - - 4 3 2
x/4 - 5 <= x/3 - 7/2
[-18, oo)
x in Interval(-18, oo)
And(-18 <= x, x < oo)
(-18 <= x)∧(x < oo)