Is this possible to solve SAT in polynomial time by reducing it to the problem of solving system of nonlinear equations?
It is not currently known whether or not a polynomial algorithm exists to solve these systems of nonlinear equations because, as the reduction provided shows, if such a thing were to exist, it would show that $NP = P$ which remains yet unknown.