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