Boundary Atlas

ZIP code 84017: Coalville, UT

ZIP code 84017 is in Coalville (36% of residents), Hoytsville (17%) and Wanship (10%), in Summit County, Utah. 36% of its residents live outside city limits. It is in Utah's 3rd congressional district. Its state senate districts are State Senate District 3 (100%) and State Senate District 20 (0.4%); its state house district is State House District 4.

4,076residents (2020 Census)
525.7 sq miland area
3cities and towns
1congressional district
8voting precincts

See it on the mapAll of Utah

City and county

City or townShare of ZIP residents
Coalville36%
Hoytsville17%
Wanship10%

CountyShare of ZIP residents
Summit County100%

Town or county subdivisionShare of ZIP residents
Coalville CCD90%
Park City CCD10.0%

Congressional district

Congressional districtShare of ZIP residents
Utah's 3rd congressional district (UT-03)100%

Elected officials

OfficeMemberContactShare of residents
U.S. Representative (UT-03)Mike Kennedy (R)202-225-7751100%
U.S. SenatorJohn R. Curtis (R)202-224-5251statewide
U.S. SenatorMike Lee (R)202-224-5444 · contact formstatewide
State Senator (State Senate District 3)John Johnson (R)100%
State Senator (State Senate District 20)Ron Winterton (R)0.4%
State Representative (State House District 4)Tiara Auxier (R)801-450-3701100%

Elected in 2024 under UT's previous congressional map; this district's lines changed for the 120th Congress (seated January 3, 2027).

Officials serving now (members of Congress until January 3, 2027). Sources: State legislators: Open States (public domain); Members of Congress: the @unitedstates project, congress-legislators (CC0).

Local government

State legislative districts

State senate districtShare of ZIP residents
State Senate District 3100%
State Senate District 200.4%

State house districtShare of ZIP residents
State House District 4100%

Voting precincts

8 voting precincts overlap ZIP 84017. Map them, with each precinct's share of the ZIP's residents.

Get this in your AI agent

Your agent can get these cities, counties, districts and precincts with their shares, and their GeoJSON boundaries, from Boundary Atlas. Add https://boundarymcp.com/mcp to Claude, ChatGPT, Cursor or Codex (free, no key; how), then:

related_geographies(id="us:zcta:84017")

ZIP 84017 here is the Census Bureau's ZIP Code Tabulation Area, which approximates the USPS ZIP Code; PO-box-only ZIPs have none. Districts are the maps in force for the November 3, 2026 election.