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