Don't use _eval_sides to evaluate Equality, use is_zero instead

fixes #6116
Move _eval_sides to the Relational._eval_simplify helper
Slightly expand Equality docstring: add notes about simplification