Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual é a pontuação média de saúde mental dos estudantes em cada distrito com mais de 500 alunos?
 ###Tabelas: 
CREATE TABLE districts (id INT, district_name TEXT, num_students INT, avg_mental_health_score FLOAT); INSERT INTO districts (id, district_name, num_students, avg_mental_health_score) VALUES (1, 'Downtown', 600, 75.3), (2, 'Uptown', 400, 78.1), (3, 'Midtown', 700, 72.5);
SELECT district_name, AVG(avg_mental_health_score) as avg_score FROM districts GROUP BY district_name HAVING num_students > 500;