You can use cpu-z (www.cpuid.com) if you're running Windows. You can also check if the bios gives any hints towards this.

Though I believe all processors that Dell ever shipped on that system would have been x64 compatible.