Solve exercises for Predicates chapter