-2*(3*x + 1) + 1 <= -7 - 8*x
1 - 2*(3*x + 1) <= -8*x - 7
And(x <= -3, -oo < x)
(x <= -3)∧(-oo < x)
(-oo, -3]
x in Interval(-oo, -3)