If you’re tired of looking at that eyesore of a federal government building in your neighborhood, you may be in luck: President Donald Trump would sell it to pay down the national debt.

Trump, what’s more, wouldn’t stop there. To help unburden the U.S. of its $19 trillion in debt, the Republican presidential candidate’s campaign says he would sell off government-owned real estate and suggests he’d do the same with energy resources and land.

“The United States government owns more real estate than anybody else, more land than anybody else, we have more energy than anybody else,” Trump campaign adviser Barry Bennett said Sunday on MSNBC. “We can get rid of government buildings we’re not using, we can extract the energy from government lands, we can lease government lands, we can do all kinds of things to extract value from the assets that we hold.”

Trump himself told the Washington Post he’d “get rid” of the debt in eight years. In the interview, published Saturday, Trump said he would do that through renegotiating trade deals. A day later, Bennett said Trump would sell off $16 trillion in assets.

Trump’s claim drew immediate skepticism, and, digging into some numbers, it’s easy to see why.

As of the end of fiscal 2015, the U.S. government held about $3.2 trillion in assets, according to a February report by the Government Accountability Office. Without even breaking down the assets, that’s obviously nowhere near the total amount of debt.

But now break it down. Of that total number, about $894 billion is in property, plants and equipment — largely owned by the military. So even if all those buildings, land and other assets are sold, the total would be a fraction of the overall debt.

A complication immediately arises, however: Trump has said he wants to increase, not decrease, military spending.

President Barack Obama speaks at an oil and gas production field on federal lands in March 2012 near Maljamar, N.M. AFP/Getty Images

The GAO report didn’t include natural resources. So how about selling oil and gas assets? In a 2013 report, the Institute for Energy Research estimated the government’s recoverable oil and gas resources were worth $128 trillion. Now, says Chris Warren, the group’s communications director, the number is probably between half and two-thirds of the original figure.

So, if the U.S. is willing to sell off $64 trillion of oil and gas, there won’t be a debt problem.

Yet doing so would deprive the U.S. of a huge source of future revenue, notes Nicole Gentile, deputy director of the public lands team at the Center for American Progress. She notes royalty revenue from oil, gas, coal and other minerals was $9.6 billion in fiscal 2015.

“It would be fiscally irresponsible and short-sighted to sell off these assets for short-term gain,” Gentile said. There’s also the small matter of finding a buyer for $64 trillion worth of assets — particularly after the collapse in oil prices.

Trump told the Post that he didn’t think he’d need to raise taxes to solve the debt issue. But Trump’s proposed tax plan would add nearly $10 trillion to the debt over 10 years, according to the Tax Policy Center. So he’d actually have more to cut than $19 trillion.

Even if Trump drastically cut government spending, it would take years to eliminate the debt. In fiscal 2015, the U.S. government spent about $3.7 trillion. That includes spending on Social Security, which Trump says he wouldn’t touch. Getting rid of $19 trillion of debt in eight years would require annual spending cuts of $2.4 trillion.

The Committee for a Responsible Federal Budget, a Washington-based public policy organization, said Trump’s goal of paying off the debt in eight years would be “virtually impossible.” It would require “unprecedented tax increases, spending cuts and economic growth,” the group said.