Let F be a system of polynomial equations in one or more variables with integer coefficients. We show that there exists a univariate polynomial
$D \in \mathbb {Z}[x]$ such that F is solvable modulo p if and only if the equation
$D(x) \equiv 0 \pmod {p}$ has a solution.