Solve predicates exercises