Problem:
有限体電卓

0以外のすべての実数の逆数は実数になりますが、整数の逆数が整数になるとは限りません。Ｃ言語などで 3.0/2.0*2.0 = 3.0 なのに 3/2*2 = 2 になってしまうのはこのためです。ですが、素数で割った余りが等しい整数を同じものとみなすと、0以外のすべての整数が逆数をもつようにできます。

整数 x と y を p で割った余りが等しいとき、x ≡ y (mod p) と書きます。p が素数のとき、このような x と y を同じものとみなすなら、すべての整数 n は0から p−1 までのどれかの整数 x に対して x ≡ n (mod p) となるので、けっきょく { 0, 1, 2, ..., p−1 } という集合だけからなる世界を考えればよいことがわかります。

この世界での加減乗除は以下のようになります。

加算 x+y の値は、x+y ≡ z (mod p) となる 0 から p−1 までの数 z になります。

減算 x−yの値は、y+m ≡ 0 (mod p) となる 0 から p−1 までの数 m（これが y に相当します）について、x−y ≡ x + m (mod p) となることから得られます。たとえば、p = 5のとき、4+1 ≡ 0 (mod 5) となります。このとき、2−4 ≡ 2+1 ≡ 3 (mod 5) より、2−4の値は3になります。

乗算 x*y の値は、x*y ≡ z (mod p) となる 0 から p−1 までの数 z になります。

除算 x/y の値は、y*d ≡ 1 (mod p)となる 0 から p−1 までの数 d （これがyの逆数になります）について、x/y ≡ x*d (mod p) となることから得られます。たとえば、p = 5 のとき、2*3 ≡ 1 (mod 5) より 3 は 2 の逆数になります。このとき、1/2 ≡ 1*3 ≡ 3 (mod 5) より、1/2 の値は 3 になります。

このようにして加減乗除の四則演算がすべて0からp−1の範囲に収まります。このとき、集合 { 0,1,...,p−1 } を p の有限体といいます。この有限体の中で、加減乗除、0 から p−1 までの数、カッコを使って 算術式を構成することができます。

p の有限体の 0 以外のすべての要素が逆数をもつことは、フェルマーの小定理と呼ばれる有名な定理 ap−1 ≡ 1 (mod p) からわかります（ただし、p は素数、a と p は互いに素）。p の有限体のすべての要素 x は p と互いに素なので、この定理から x*xp-2 ≡ 1 (mod p) となり xp-2 が x の逆数になるからです。

では、素数と式が与えられたときに、その素数の有限体で式を計算する電卓プログラムを作成してください。

入力

入力は複数のデータセットからなる。入力の終わりは0の後にコロンが１つ続くだけの行 0: で示される。各データセットは以下の形式で与えられる。

p:exp

データセットは１行であり、p (2 ≤ p ≤ 46000) は素数、exp は算術式を示す。exp は加減乗除（それぞれ +, -, *, /）とカッコ、0 から p−1 までの数から構成される。演算子、数、カッコなどの前後には1つ以上の空白が現れる可能性がある。exp の長さは 100,000 を超えない。

データセットの数は 1000 を超えない。

出力

データセットごとに、計算結果を出力する。出力形式は以下の通りである。

exp = val (mod p)

val は、p の有限体での算術式 exp の計算結果である。ただし、0 での除算が含まれるときは NG と出力する。また、exp に現れる加減乗除、カッコ、数の前後には空白を空けないこと。ただし、= の前後には空白を一つずつ空ける。また、valと開きカッコの間、modとp の間にも空白を一つずつ空ける。

入力例

5: 2 - 3
17: 1 + 3 * (2 + 3 / 5 * 2) + 7
11: 1 / 8 - 5 - 8 * 2
19: 8 / (2 - 3 * 7)
1153: 10 * 3 / 7 + ( 50 + 81 / 22 ) + 11
0:

出力例

2-3 = 4 (mod 5)
1+3*(2+3/5*2)+7 = 4 (mod 17)
1/8-5-8*2 = 8 (mod 11)
NG
10*3/7+(50+81/22)+11 = 915 (mod 1153)

Solution in C++ (judge verdict: Accepted)

#include<iostream>
#include<cstdio>
#include<string>
using namespace std;

struct Syn{
	string s;
	int p;
	bool Good;
	void clean(){
		string t = "";
		for(int i = 0 ; i < s.size() ; i ++){
			if(s[i] != ' ')t += s[i];
		}
		s = t;
		Good = true;
	}
	int modpow(int x,int k){
		if(k == 0)return 1;
		int ret = modpow(x,k/2);
		ret *= ret; ret %= p;
		if(k%2 == 1){ ret *= x; ret %= p; }
		return ret;
	}
	int inverse(int x){
		return modpow(x,p-2);
	}
	int dfs1(int loc,int* memory){
		//if(loc < s.size())cout << "dfs1:" << s.substr(loc) << endl;
		int ret = 0;
		int sgn = 1;
		while(Good){
			int a;
			loc = dfs2(loc,&a);
			ret += p+a*sgn; ret %= p;
			if(loc >= s.size() || s[loc] == ')')break;
			if(s[loc] == '+')sgn = 1;
			else sgn = -1;
			loc ++;
		}
		*memory = ret;
		//cout << "1:" << ret << endl;
		return loc;
	}
	int dfs2(int loc,int* memory){
		//if(loc < s.size())cout << "dfs2:" << s.substr(loc) << endl;
		int ret = 1;
		int sgn = 1;
		while(Good){
			int a;
			if(s[loc] == '('){
				loc = dfs1(loc+1,&a);
				loc ++;
			}
			else loc = dfs3(loc,&a);
			if(sgn == 1){
				ret *= a; ret %= p;
			}
			else {
				if(a == 0){
					Good = false;
					break;
				}
				ret *= inverse(a); ret %= p;
			}
			if(loc >= s.size())break;
			else if(s[loc] == '*')sgn = 1;
			else if(s[loc] == '/')sgn = -1;
			else break;
			loc ++;
		}
		*memory = ret;
		//cout << "2:" << ret << endl;
		return loc;
	}
	int dfs3(int loc,int* memory){
		//if(loc < s.size())cout << "dfs3:" << s.substr(loc) << endl;
		int ret = 0;
		while(loc < s.size() && '0' <= s[loc] && s[loc] <= '9'){
			ret *= 10;
			ret += s[loc] - '0';
			loc ++;
		}
		*memory = ret;
		//cout << "3:" << ret << endl;
		return loc;
	}
}Syn;

int main(){
	while(1){
		getline(cin,Syn.s);
		Syn.clean();
		if(Syn.s == "0:")break;
		int loc = Syn.dfs3(0,&Syn.p);
		int ans; Syn.dfs1(loc+1,&ans);
		if(Syn.Good)cout << Syn.s.substr(loc+1) << " = " << ans << " (mod " << Syn.p << ")\n";
		else puts("NG");
	}
}