Although Diophantine equations provide classic examples of undecidability, Mathematica in practice succeeds in solving a remarkably wide range of such equations—automatically applying dozens of often original methods, many based on latest advances in number theory.