Redirecting to Hilbert's tenth problem