Solve exercises for Predicates chapter

All tests passes