/*

该题使用的是扩展欧几里德算法，求模线性同余方程；

分析题目：以题目输出结果为例 ，要求得到一个整数X可以满足 X % a = r，a,r,为数组名；

设数组元素为两个时，

列出方程：X % a1 = r1;

          X % a2 = r2;

可得出：  a1*k1 + r1 = X;

          a2*k2 + r2 = X;

合并方程：a1*k1 + r1 = a2*k2 + r2，经变形得

          a1*k1 - a2*k2 = r2 - r1;

由扩展欧几里德算法公式：ax + by = c;

得到 k1, 再将 k1 反代入 a1*k1 + r1 = X 中得到 X ，

于是X就是这两个方程的一个特解，通解就是 X'=X+k*LCM(m1,m2)

这个式子再一变形，得 X' mod LCM(m1,m2)=X

这个方程一出来，说明我们实现了(1)(2)两个方程的合并。

令 M=LCM(m1,m2)，R=r2-r1

就可将合并后的方程记为 X mod M = R。

*/

#include<iostream>

#define LL long long

using namespace std;

void gcd(LL a,LL b,LL &d,LL &x,LL &y){

    if(!b){

        d=a;x=;y=;

    }

    else{

        gcd(b,a%b,d,y,x);

        y-=x*(a/b);

    }

}

LL get(LL *a,LL *r,int n){

    LL A=a[],R=r[],d,x,y,sum,T;

    for(int i=;i<n;i++){

        gcd(A,a[i],d,x,y);

        if((r[i]-R)%d!=)

        return -;

        x=x*(r[i]-R)/d;

        T=a[i]/d;

        x=x%T;//得到x的最小整数解

        R=A*x+R;//将x代入回原方程

        A=A*a[i]/d;//求最小公倍数

        R=R%A;

    }

    return R>?R:R+A;

}

int main(){

    int n;

    while(cin>>n){

        LL a[],r[];

        for(int i=;i<n;i++){

            cin>>a[i]>>r[i];

        }

        cout<<get(a,r,n)<<endl;

    }

    return ;

}