#include using namespace std; using ll = long long; struct chinese_remainder_theorem { static constexpr pair no_sol = {0, -1}; static ll mod(ll x, ll y) { x %= y; return x < 0 ? x + y : x; } static ll ext_gcd(ll a, ll b, ll &x, ll &y) { if (b == 0) return x = 1, y = 0, a; ll g = ext_gcd(b, a % b, y, x); y -= a / b * x; return g; } static pair solve(vector &b, vector &m) { assert(b.size() == m.size()); ll r = 0, lcm_m = 1; for (int i = 0; i < (int)b.size(); i++) { ll p, q, g = ext_gcd(lcm_m, m[i], p, q); if ((b[i] - r) % g) return no_sol; ll tmp = (b[i] - r) / g * p % (m[i] / g); r += lcm_m * tmp; lcm_m *= m[i] / g; } return {mod(r, lcm_m), lcm_m}; } static ll pre_garner(vector &b, vector &m, ll MOD) { ll res = 1; for (int i = 0; i < (int)b.size(); i++) { for (int j = 0; j < i; j++) { ll g = gcd(m[i], m[j]); if ((b[i] - b[j]) % g != 0) return -1; m[i] /= g, m[j] /= g; ll gi = gcd(m[i], g), gj = g / gi; do { g = gcd(gi, gj); gi *= g, gj /= g; } while (g != 1); m[i] *= gi, m[j] *= gj; b[i] %= m[i], b[j] %= m[j]; } } for (int i = 0; i < (int)b.size(); i++) (res *= m[i]) %= MOD; return res; } static ll modinv(ll a, ll m) { ll x, y; ext_gcd(a, m, x, y); return mod(x, m); } static ll garner(vector &b, vector &m, ll MOD) { m.push_back(MOD); vector coeffs(m.size(), 1), constants(m.size()); for (int k = 0; k < (int)b.size(); k++) { ll t = mod((b[k] - constants[k]) * modinv(coeffs[k], m[k]), m[k]); for (int i = k + 1; i < (int)m.size(); i++) { (constants[i] += t * coeffs[i]) %= m[i]; (coeffs[i] *= m[k]) %= m[i]; } } return constants.back(); } }; using crt = chinese_remainder_theorem; int main() { int n; cin >> n; vector b(n), m(n); bool exist_non_zero = false; for (int i = 0; i < n; i++) { cin >> b[i] >> m[i]; if (b[i]) exist_non_zero = true; } const int MOD = 1e9 + 7; ll lcm = crt::pre_garner(b, m, MOD); if (!exist_non_zero) { cout << lcm << '\n'; } else if (lcm == -1) { cout << -1 << '\n'; } else { cout << crt::garner(b, m, MOD) << '\n'; } return 0; }