/ 2 \ 5*\a - 1/ - 5*a*(a + 2) > 3
-5*a*(a + 2) + 5*(a^2 - 1) > 3
And(-oo < a, a < -4/5)
(-oo < a)∧(a < -4/5)
(-oo, -4/5)
x in Interval.open(-oo, -4/5)