Is use of GNU Multi-Precision library allowed in problems MUL and TMUL?
No, the library is not available for use in SPOJ (programs are linked without it).