An old example from differential topology: In surgery theory -- the work of Kervaire and Milnor on exotic spheres -- you need to know a sufficient condition for a homogeneous quadratic equation over $\mathbb Z$ in many variables to have a nontrivial solution.