6 - 2*(-2*x - 5) < x + 8
And(-oo < x, x < -8/3)
(-oo < x)∧(x < -8/3)
(-oo, -8/3)
x in Interval.open(-oo, -8/3)