In 2018, Devonte had a negative AGI of $28,500 and itemized deductions of $12,335 reported on his Form 1040. His total nonbusiness income reported on his Form 1040 is $1,250. His only adjustment to income is $4,000 alimony paid, and his itemized deductions consist of property taxes of $1,080, real estate tax of $2,505, and mortgage interest of $8,750. Compute Devonte's 2018 NOL.

$15,085

$25,750

$31,250

$40,835