$ sudo apt-get remove lib64gmpxx4 

Uninstall lib64gmpxx4 including dependent package

If you would like to remove lib64gmpxx4 and it's dependent packages which are no longer needed from Ubuntu,

$ sudo apt-get remove --auto-remove lib64gmpxx4 

Use Purging lib64gmpxx4

If you use with purge options to lib64gmpxx4 package all the configuration and dependent packages will be removed.

$ sudo apt-get purge lib64gmpxx4 

If you use purge options along with auto remove, will be removed everything regarding the package, It's really useful when you want to reinstall again.

$ sudo apt-get purge --auto-remove lib64gmpxx4 

See Also,