3 - 5*(2*x + 4) >= 7 - 2*x
(-oo, -3]
x in Interval(-oo, -3)
And(x <= -3, -oo < x)
(x <= -3)∧(-oo < x)