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