Let $X$ be a scheme which is integral, of finite type, flat and separated over $\mathbb{Z}$.
Let $D \subseteq X$ be a prime divisor on $X$ which is not flat over $\mathbb{Z}$.
Is it true that $D(\mathbb{F}_p) = \emptyset$ for all primes $p$, with at most one exception?