x mod a=r（N对a,r）

//模数不一定互质，互质才可以用孙子定理。
/*
https://blog.csdn.net/zmh964685331/article/details/50527894
uu遇到了一个小问题，可是他不想答。你能替他解决这个问题吗？
 问题：给你k对a和r是否存在一个正整数x使每队a和r都满足：x mod a=r，求最小正解x或无解。
*/

#include <iostream>
#include <cstdio>
#include <queue>
#include <algorithm>
#include <vector>
#include <set>
#include <string>
#include <cstring>
typedef long long ll;
using namespace std;
const int N=1e5+9;
ll a[N],r[N];
int n;
ll egcd(ll a,ll b,ll &x,ll &y)
{
    ll d=a;
    if(!b)
    {
        x=1,y=0;
    }
    else{
        d=egcd(b,a%b,y,x);
        y-=x*(a/b);
    }
    return d;
}
ll  solve()
{ // M:上个式子的模数，下个式子的 a.  R：每一次的解.
    ll  M=a[1],R=r[1],x,c,y,d;
    for(int  i=2;i<=n;i++)
    {
    d=egcd(M,a[i],x,y);
    c=R-r[i];
    if(c%d) return -1;
    x=c/d*x%(a[i]/d);//a[i]下个式子的b.范围在【0，b-1].所以取余a[i].
    R-=x*M;//特解X0，新的余数。
    M=M*a[i]/d;//lcm(a,b);新的模数。
    R%=M;
    }
    return (R%M+M)%M;
}
int main()
{
    while(~scanf("%d",&n))
    {
        for(int i=1;i<=n;i++)
        {
            scanf("%lld%lld",&a[i],&r[i]);
        }
        printf("%lld\n",solve());
    }
    return 0;
}