Question: How to test for algebraic equivalence of equations

I am trying to check to see if two equations are equivalent, subject to rearrangment and scalar multiplication. For example, I would to have a procedure that would determine that each of the following equations are the equivalent:

(a) (1/2)*y*exp(-y)+2*y^3 - x*ln(x) +x^2 = 10
(b) (1/2)*y*exp(-y)+2*y^3 +x^2 = 10 + x*ln(x)

(c) y*exp(-y)+4*y^3 - 2*x*ln(x) +2*x^2 = 20

Is there a systematic way to go about doing this? Thanks!

Please Wait...