Karol Pak: Elementary Number Theory Problems. Part XIX. Formaliz. Math. 33(1): 245-265 (2025)