Table: maryse_turcotte
Columns: name
bodyweight
snatch
clean_jerk
total_kg

Question: what is the highest clean & jerk when total (kg) is 200.0 and snatch is more than 87.5?
SQL: SELECT MAX("clean_jerk") FROM maryse_turcotte WHERE "total_kg" = '200.0' AND "snatch" > 87.5

Question: what is the average bodyweight when snatch is 80?
SQL: SELECT AVG("bodyweight") FROM maryse_turcotte WHERE "snatch" = 80