Here is the problem:
Level of difficulty: The first parts of this are accessible for all. The last part would be accessible for strong HL students.
Syllabus knowledge required: None.
This is a good introduction to the need to check that all solutions are found! It is likely that students will miss lots of answers. This also demonstrates more formal mathematical techniques for proof
You can download the pdf answer here.