Elementary Number Theory Problems. Part XIX (Formalized Mathematics, 2025)