___ \/ 1 - 5*x > x + 1
-5*x + sqrt(1) > x + 1
(-oo, 0)
x in Interval.open(-oo, 0)
And(-oo < x, x < 0)
(-oo < x)∧(x < 0)