Premise: Gwinnett County Public Schools is a school district operating in Gwinnett County, Georgia, United States. GCPS is the largest school system in Georgia, with 139 schools and an estimated enrollment of 178,000 students for the 2016-2017 year. GCPS is estimated to be the 14th largest school district in the U.S. The district has its headquarters in an unincorporated area near Suwanee.
Hypothesis: GCPS has 139 high schools.