The expert system developed at MIT to solve mathematical problems is known as:

• A. RAND
• B. ISIS
• C. MACSYMA
• D. MOLGEN