N = int(input())
ls = [tuple(map(int,input().split())) for _ in range(N)]
mod = 10**9+7


# よく分からんまま。未完成とも言える

def extgcd(a, b):
    if b:
        d, y, x = extgcd(b, a % b)
        y -= (a // b) * x
        return d, x, y
    return a, 1, 0

# V = [(X_i, Y_i), ...]: X_i (mod Y_i)
def remainder(V):
    x = 0; d = 1
    for X, Y in V:
        g, a, b = extgcd(d, Y)
        if (X-x)%g:
            return -1,-1 # 理屈は分からんが矛盾がある時にこれを出力
        x, d = (Y*b*x + d*a*X) // g, d*(Y // g)
        x %= d
    if x == 0:
        x = d # 答えに0を出力したくない時にdで
    return x%mod, d # 数字≡x(mod d)ならいいという情報　最小の数字はxなので基本xを出しとけばいい

print(remainder(ls)[0])