Question: Which area is smaller, Richmond (the one whose population is 36812) or Hot Springs?
Options:
Boulder
Hot Springs
Lansing
New Haven
Richmond
Oakland
Greenville
Waukegan
Columbus
Franklin