Function and Predicates Math Project