Retirement tax questions

Yes.  The total qualified college expenses are greater than the ira withdrawal and 529 distribution combined