Uncomputably large integral points on algebraic plane curves? On the computational complexity and geometry of the first-order theory of the reals. II: The general decision problem. Preliminaries for quantifier elimination 