Question: What is the name of the institution with the mascot of blue devils?
Schema: create table table_12434380_1 (institution varchar, mascot varchar, PRIMARY KEY (institution))
SQL: select institution from table_12434380_1 where mascot = "blue devils"