题解 | 小红走网格

#include <iostream>
using namespace std;
/*
这个数学定理根本不知道，找AI现查的
整数解存在的充要条件（贝祖定理）
对于线性不定方程 a*i + b*j = x（a,b,x 为整数）
存在整数解的充要条件是 gcd(a, b) 能整除 x（记为 gcd(a,b) | x）
其中 gcd(a,b) 是 a 和 b 的最大公约数（恒为非负整数）。
若 gcd(a,b) ∤ x：方程无整数解；
若 gcd(a,b) | x：方程有无穷多组整数解，形式为「特解 + 通解」。
*/
// 欧几里得算法
int gcd(int a, int b) {
    if(b == 0) {
        return a;
    }
    return gcd(b, a%b);
}
int main() {
    int t;
    cin >> t;
    while(t--) {
        int x,y,a,b,c,d;
        cin >> x >> y >> a >> b >> c >> d;
        if(y % gcd(a,-b) != 0 || x % gcd(-c,d) != 0) {
            cout << "NO" << endl;
        } else {
            cout << "YES" << endl;
        }
    }
}
// 64 位输出请用 printf("%lld")