Congruent

若$A \equiv B ~~(mod ~~ M)$, 则

$$\frac{p_A}{q_A}=\frac{p_B}{q_B} + k \times \frac{p_M}{q_M}, k \in Z $$

等式两边同乘$q_Aq_Bq_M$, 则有

$$p_Aq_Bq_M=p_Bq_Aq_M+kp_Mq_Aq_B, k \in Z$$

这个式子等价于$p_Aq_Bq_M \equiv p_Bq_Aq_M~~(mod ~~p_Mq_Aq_B)$

对于上述式子的判断只需要两边取模即可。

然而，这里的乘法有可能超出 long long int 的范围，因此需要一些改进。

我们可以令$C=A-B$, 那么需要判断的式子就是$C=k\times M, k \in Z$.

只需要比较$p_C\%p_M$与$q_M\%q_C$是否同时为0即可。

import math

def gcd(a, b):
    if b == 0:
        return a
    return gcd(b, a % b)

def main():
    pA, qA, pB, qB, pM, qM = map(int, input().split())
    B = qA * qB
    A = pA * qB - qA * pB
    common_divisor = gcd(abs(A), abs(B))
    A //= common_divisor
    B //= common_divisor
    x1 = A * qM
    x2 = B * pM
    ans = x1 / x2
    res = int(ans)
    if res == ans:
        print("Yes")
    else:
        print("No")

if __name__ == "__main__":
    main()