-9 - 6*x <= 9*x + 9
-6*x - 9 <= 9*x + 9
And(-6/5 <= x, x < oo)
(-6/5 <= x)∧(x < oo)
[-6/5, oo)
x in Interval(-6/5, oo)