make equality and divisibility functions and their tests