At least in the context of this game, we essentially check the answer with a calculator (which the Verifier program doesn't have access to).