Text this: Using CAS to Solve Classical Mathematics Problems