query: 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
question: Are Finding the number and average salary of all instructors as are in the department with the most highest budget.
query_toks: 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
query_toks_no_value: 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 value
question_toks: Are Finding the number and average salary of all instructors as are in the department with the most highest budget.