CREATE TABLE department (dept_name VARCHAR, budget VARCHAR)
CREATE TABLE instructor (salary INT, dept_name VARCHAR)

Find the number and averaged salary of all instructors who are in the department with the highest budget.
SELECT AVG(T1.salary), COUNT(*) FROM instructor AS T1 JOIN department AS T2 ON T1.dept_name = T2.dept_name ORDER BY T2.budget DESC LIMIT 1
SELECT AVG("T1"."salary"), COUNT(*) FROM "instructor" AS "T1" JOIN "department" AS "T2" ON "T1"."dept_name" = "T2"."dept_name" ORDER BY "T2"."budget" DESC NULLS LAST LIMIT 1