Favorite Music Preference of Students

A study was conducted to determine the favorite type of music among 100 students at a local university. The results showed that 40 students preferred Pop music, 25 preferred Rock music, 20 preferred Jazz music, and the remaining students did not have a preference for these three genres.

Based on the results, how many students did not prefer Pop, Rock, or Jazz music?