loading shared libraries: libgmp.so.3: cannot open shared object file: No such file or directory

try apt-cache search libgmp 

sudo apt-get install libgmp3-dev

sudo apt-get install lib32gmp3-dev