85 7th grade students were surveyed about their favorite type of music. 40% of student stated their favorite type of music is country. What is the total number of students that did not choose country as their favorite type of music. Set up as proportion.