Question: Are Hastings Boys' High School and Brazos High School both located in the same country?
Sentence (from "Brazos High School"): Brazos High School is a public high school located in the city of Wallis, Texas, in Austin County, United States
Relevant evidence: Yes