Catch some "flips" for inequalities with NumberSymbol's

e.g. pi > x was processed before to (-pi) < (-x)
Merge pull request #7918 from skirpichev/oo-ineq-2

Catch some "flips" for inequalities with NumberSymbol's