Text this: Automated Reasoning and Mathematics