Math Natural Language Inference: this should be easy!

Open in new window