[math-fun] A question about the "is this prime?" game