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