sympy/sympy — pull request #8550 by skirpichev (2014-12-02 18:38:55+00:00)
Title: reduce_rational_inequalities: substitute correct polys for True/False

fixes #8545