CREATE TABLE "lightweight_58_kg" (
  "name" text,
  "bodyweight" real,
  "snatch" real,
  "clean_jerk" real,
  "total_kg" text
);

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 "lightweight_58_kg" WHERE "total_kg"='200.0' AND "snatch">87.5;

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