q = input()
n = int(input())
query = []

for _ in range(n):
    x, y = map(int, input().split())
    query.append([x, y])

for x, y in query:
    m = q[q.index('=')+1:q.index('x')]
    c = q[q.index('x')+1:]

    if m == '':
        m = 1
    if c == '':
        c = 0

    print(m,c)

    if int(m) * x + int(c) == y:
        print("YES")
    else:
        print("NO")