SELECT SUM(avg1) FROM (SELECT user_id, AVG(score) as avg1 FROM results GROUP BY user_id)
Pro tip: use ```triple backticks around text``` to write in code fences