Question: How many students were in Oklahoma's public schools in 2008?
Sentence: 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].
Answer in sentence: yes