Given a diophantine equation $$f(x_1,\dots,x_z)=0$$ where $f(x_1,\dots,x_z)\in\mathbb Z[x_1,\dots,x_z]$ is of total degree $d$ and each variable degree $d_i$ where $i\in\{1,\dots,z\}$ there is no method to solve it unless we are looking within a bound $$\|(x_1,\dots,x_z)\|_\infty<B.$$
Suppose we know $B$ is upper bound for solution size then we know $$f(x_1,\dots,x_z)=0$$ is solvable over $\mathbb Z^z$ iff $$f(x_1,\dots,x_z)=0\bmod p$$ is solvable for a suitable prime $p$ at least of size $$f_{max,B}=\max_{\substack{(x_1,\dots,x_z)\in\mathbb Z^z\\\|(x_1,\dots,x_z)\|_\infty<B}}\big|f_+(x_1,\dots,x_z)+f_-(x_1,\dots,x_z)\big|$$ where $$f(x_1,\dots,x_z)=f_+(x_1,\dots,x_z)-f_-(x_1,\dots,x_z)$$ where each coefficient of $f_+(x_1,\dots,x_z)$ and $f_-(x_1,\dots,x_z)$ is non-negative (in the iff only part I meant to say only look at $x_i:|X_i|<B$ even when considering $\bmod p$).
Is this the best we can do?
Can we reduce solving for $(x_1,\dots,x_z)\in\mathbb Z^z$ with $$\|(x_1,\dots,x_z)\|_\infty<B$$ to solving $$f(x_1,\dots,x_z)=0\bmod q_i$$ for $i\in\{1,\dots,t\}$ such that $\prod_{i=1}^tq_i>f_{max,B}$ holds or is there an obstruction to getting such a 'Diophantine' Chinese Remainder Theorem?
If above is too optimistic there perhaps are there other approaches?
Reason to believe anything canonical will not easily work. Take Diophantine equation $$f(x_1,x_2)=x_1x_2-PQ=0$$ where $P,Q$ are primes where $B=\lceil\sqrt{2PQ}\rceil$. Clearly if there is a neat 'Diophantine' Chinese Remainder theorem we can break $\mathsf{RSA}$.
