That’s the technically correct answer. It’s also irrelevant. It is a use case for the service provided by openai because people ask these questions. GPT is the tech that currently can’t do it. GPT-6 might. GPT-4 with an ability to invoke prolog or z3 might.