CREATE TABLE "eastern_division" (
  "institution" text,
  "main_campus_location" text,
  "founded" real,
  "mascot" text,
  "school_colors" text
);

Question: When was the institution of Kansas city Kansas community college founded?
SQL: SELECT COUNT("founded") FROM "eastern_division" WHERE "institution"='Kansas City Kansas Community College';

Question: What is the mascot for the instition of Kansas city Kansas community college?
SQL: SELECT "mascot" FROM "eastern_division" WHERE "institution"='Kansas City Kansas Community College';

Question: How many school colors is there for the main campus location of highland?
SQL: SELECT COUNT("school_colors") FROM "eastern_division" WHERE "main_campus_location"='Highland';

Question: What is the mascot for the school founded in 1923 with the school colors of blue, red & white?
SQL: SELECT "mascot" FROM "eastern_division" WHERE "founded"=1923 AND "school_colors"='Blue, Red & White';

Question: What is the instition where the main campus location is overland park?
SQL: SELECT "institution" FROM "eastern_division" WHERE "main_campus_location"='Overland Park';

Question: What is the name of the institution with the mascot of blue devils?
SQL: SELECT "institution" FROM "eastern_division" WHERE "mascot"='Blue Devils';