.mp4 usually implies using the h.264 codec, so in that case no. However, there are .mp4 files that use MPEG-4, part 2, which is what Divx is using.
AVI is also a container, that also support MPEG-4, part 2, but not all AVI files use it.
So, unless you try out, you will never know...