reduce_rational_inequalities: substitute correct polys for True/False

fixes #8545
else->`elif t is S.false` and then add an else clause that returns the unevaluated inequality if it couldn't be decided or perhaps a NotImplementedError?