It's not going to be a straightforward choice, at least in my experience. Try both, see which works better.
However, I will say that you're not going to need a gaming laptop to get a good experience with Docker. Cheapo dual-core laptops from a decade ago are good enough for sub-30c idle temps; you might be able to fix your current situation by disabling your dGPU and trying Linux/Docker natively.