What is the average number of working horses of farms with more than 5000 total number of horses?
select avg(working_horses) from farm where total_horses > 5000