Instruct: What is the Equatorial diameter of the Body: Mars?
Output: SELECT Equatorial diameter FROM table WHERE Body = mars