Table:
0
A
B
C
D
E
F
G
1
Institution
Location
Nickname
Founded
Type
Enrollment
Joined
2
Eastern Connecticut State University
Willimantic, Connecticut
Warriors
1889
Public
5113
1986
3
Keene State College
Keene, New Hampshire
Owls
1909
Public
6400
1997
4
Plymouth State University
Plymouth, New Hampshire
Panthers
1871
Public
5264
1986
5
Rhode Island College
Providence, Rhode Island
Anchormen
1854
Public
9000
1986
6
University of Massachusetts Boston
Boston, Massachusetts
Beacons
1852
Public
13433
1986
7
University of Massachusetts Dartmouth
Dartmouth, Massachusetts
Corsairs
1895
Public
7261
1986
8
University of Southern Maine
Gorham, Maine Lewiston, Maine Portland, Maine
Huskies
1878
Public
10974
1986

Questions and formulas:
Question: Name the nickname for enrollment being 9000
Formula: LET(query1,SUMMARIZE(C1,SUMX(F1)),FILTER(query1,CHOOSECOLS(query1,2)=9000))
Formula2: LET(query1,SUMMARIZE(C2:C8,SUMX(F2:F8)),FILTER(query1,CHOOSECOLS(query1,2)=9000))
Level: hard