Question: What is the lifetime professional coaching record of the Hall of Fame coach that coached Tad Boyle in 2015?
Sentence (from "2016–17 Colorado Buffaloes men's basketball team"): They finished the season 19–15, 8–10 in Pac-12 play to finish in seventh place.
Relevant evidence: No