Hi Joshua,
You can look at the Hardware Design Guidelines for S32K1xx Microcontrollers
Table 1. Power domains and decoupling capacitors
https://www.nxp.com/docs/en/application-note/AN5426.pdf
Also, the difference is in the number of ADC1 channels
However, you can look at the PeripheralSummaries sheet in the S32K144_IO_Signal_Descritption_Input_multiplexing document.
I hope it helps.
Best Regards,
Diana