This paper continues the formalization of chosen problems defined in the book “250 Problems in Elementary Number Theory” by Wacław Sierpiński.