Acesse support.dell.com e insira a tag de serviço do laptop. Observe a configuração fornecida, localize a linha da CPU. É uma série 5000? Se sim, é um bit de 64 bits.
Ou, um método menos científico seria examinar a lista de drivers e ver se há drivers de 64 bits.
(Meu laptop Dell tem uma CPU de 64 bits, mas apenas o Vista Home 32 bits pré-instalado :-()