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