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+;
 ll a[N],r[N];
 int n;
 ll egcd(ll a,ll b,ll &x,ll &y)
 {
     ll d=a;
     if(!b)
     {
         x=,y=;
     }
     else{
         d=egcd(b,a%b,y,x);
         y-=x*(a/b);
     }
     return d;
 }
 ll  solve()
 { // M:上个式子的模数，下个式子的 a.  R：每一次的解.
     ll  M=a[],R=r[],x,c,y,d;
     for(int  i=;i<=n;i++)
     {
     d=egcd(M,a[i],x,y);
     c=R-r[i];
     if(c%d) return -;
     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=;i<=n;i++)
         {
             scanf("%lld%lld",&a[i],&r[i]);
         }
         printf("%lld\n",solve());
     }
     return ;
 }