I want to know the answer to the following question:
How many students were in Oklahoma's public schools in 2008?
All the background I'm provided with is that "With an educational system made up of public school districts and independent private institutions, Oklahoma had 638,817 students enrolled in 1,845 public primary, secondary, and vocational schools in 533 school districts as of 2008[update].". Is that enough to answer the question?
Answer: yes