有限体上で方程式系を解く

I need to invert a quite large (n > 1000) equation system in a finite field (modulo 2^32-5 to be precise). Are there any libraries that can do this efficiently? Preferrably in Java but C is alright (we already have some JNI-bindings).