Table: race_results_25
Columns: year
date
driver
team
manufacturer
laps
miles_km
race_time
average_speed_mph
report

Question: What driver achieved a 3:50:12 race time?
SQL: SELECT "driver" FROM race_results_25 WHERE "race_time" = '3:50:12'

Question: Can you tell me the manufacturer behind Race Hill Farm Team?
SQL: SELECT "manufacturer" FROM race_results_25 WHERE "team" = 'Race Hill Farm Team'

Question: How many laps have a 3:34:26 race time?
SQL: SELECT COUNT("laps") FROM race_results_25 WHERE "race_time" = '3:34:26'

Question: What's the average mph of 1964?
SQL: SELECT "average_speed_mph" FROM race_results_25 WHERE "year" = '1964'