Equivalence of polynomials under automorphisms of \(\mathbb{C}^2\) On the computational complexity and geometry of the first-order theory of the reals. II: The general decision problem. Preliminaries for quantifier elimination 