Equality: less automatic simplification and fix 'Eq(p, 0)' for p positive

update: no longer on top of #7959 and #7838.
Bad idea.  Something like I > I + 2 could blow in your face with wrong answer here.

reply to: https://github.com/sympy/sympy/pull/8270/files#r19203251