(5*x - 9)*2 >= (9*x - 5)*2
2*(5*x - 9) >= 2*(9*x - 5)
And(x <= -1, -oo < x)
(x <= -1)∧(-oo < x)
(-oo, -1]
x in Interval(-oo, -1)