If everyone is paid equity/union minimum, then yes, it costs that much to make a short.
Cast/crew wages make up for about 50% of the budget. If they work unpaid, which happens in most cases, film budgets can be circa $25,000 / £18,000
^^ The cost of my short film (crew unpaid)