rational = False , Default in Solvers. FixIssue#8515

I don't think the [problem exists anymore with Poly](https://github.com/sympy/sympy/issues/8515#issuecomment-64460998).

See also #5483