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