The best way to handle inequalities is to treat them as logic statements and use Resolve:
A = x > 0; B = -x < 0;
Resolve[ForAll[x, Equivalent[A, B]], Reals]
True
Strictly speaking, depending on what you mean by "Set", it might be impossible to write an algorithm in any programming language that guarantee whether two sets are the same or not.
