20 - 3*(x - 5) <= 19 - 7*x
(-oo, -4]
x in Interval(-oo, -4)
And(x <= -4, -oo < x)
(x <= -4)∧(-oo < x)