11*(15 + 5*x) 2*(6*x + 24) 16 + ------------- <= ------------ 5 3
11*(5*x + 15)/5 + 16 <= 2*(6*x + 24)/3
And(x <= -33/7, -oo < x)
(x <= -33/7)∧(-oo < x)
(-oo, -33/7]
x in Interval(-oo, -33/7)