Yes, likely. In 2015 and 2016 alone they paid $8.346 billion in buybacks and they seem to pay roughly a $0.40 dividend every year. Either way it would have allowed them to borrow less money at much better terms. Instead they are totally insolvent immediately and people have a more negative view of bailing them out because they appear irresponsible.