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

update: no longer on top of #7959 and #7838.
@skirpichev Note dropped `not dif.has(Symbol)` for `dif.is_number`.  Please double-check.