Playing Number Theory