Seol mar théacs é seo: Diophantine equations