#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define rep(i, n) for (int i = 0; i < (int)(n); ++i) //#define cerr if(false) cerr #ifdef DEBUG #define show(...) cerr << #__VA_ARGS__ << " = ", debug(__VA_ARGS__); #else #define show(...) 42 #endif using namespace std; using ll = long long; using pii = pair; template ostream& operator<<(ostream& os, pair a) { os << '(' << a.first << ',' << a.second << ')'; return os; } template ostream& operator<<(ostream& os, vector v) { for (auto x : v) os << x << ' '; return os; } void debug() { cerr << '\n'; } template void debug(H a, T... b) { cerr << a; if (sizeof...(b)) cerr << ", "; debug(b...); } template T gcd(T a, T b){ while(b){ a %= b; swap(a, b); } return a; } //ax+by=gcd(a,b)を満たすx,yを求め、gcd(a,b)を返す //(a/b*b+a%b)x+by=gcd(a,b)=gcd(b,a%b) //b(a/b*x+y)+(a%b)x=gcd(b,a%b) //https://qiita.com/drken/items/b97ff231e43bce50199a template T ext_gcd(T a, T b, T &x, T &y){ if(b == 0){ x = 1; y = 0; return a; }else{ T g = ext_gcd(b, a % b, y, x); y -= a / b * x; return g; } } //x=v_i(mod m_i)を満たすx=r(mod m=lcm(m_1,m_2))を求める //m_iが互いに素な必要なし template pair CRT(T v1, T m1, T v2, T m2){ T a, b; T g = ext_gcd(m1, m2, a, b); if(v1 % g != v2 % g){ return make_pair(-1, -1);//存在しない } T m = m1 / g * m2; T temp = (v2 - v1) / g * a % (m2 / g); T r = ((v1 + temp * m1) % m + m) % m; return make_pair(r, m); } int main(){ ll v[3],m[3]; rep(i,3)cin >> v[i] >> m[i]; auto ans = CRT(v[0], m[0], v[1], m[1]); if(ans.first == -1){ cout << - 1 << endl; }else{ ans = CRT(ans.first, ans.second, v[2], m[2]); if(ans.first)cout << ans.first << endl; else cout << ans.second << endl; } }