CREATE TABLE table_name_15 (fa_cup INT, player VARCHAR, fa_trophy VARCHAR)

What is the average FA Cup that has gary jones as the player, and an FA trophy greater than 5?
SELECT AVG(fa_cup) FROM table_name_15 WHERE player = "gary jones" AND fa_trophy > 5
SELECT AVG("fa_cup") FROM "table_name_15" WHERE "fa_trophy" > 5 AND "gary jones" = "player"