Puzzles solved by CAS