模(进制转换结论，扩展欧几里得性质)

模
题意：
给定四个正整数$a,b,c,k$，回答是否存在一个正整数$n$，使得$a\ast n$在$k$进制表示下的各位的数值之和模$b$为$c$。

先给出一个结论：
一个数十进制数$x$化成$k$进制数$y$，那$y$的各个位数加的和$sum$起来一定是$x+(1-k)\ast t$

简单证明：

$x<k$，那$y=x$
假设$x>=k$
1.$x=k，y=(10{)}_k，sum=1=x+(1-k)$
2.$x=k^2,y=(100{)}_k,sum=1=x+(1-k^2)=x+(1-k)(1+k)$
3.$x=k^3,y=(1000{)}_k,sum=1=x+(1-k^3)=x+(1-k)(k^2+k+1)$
……
对于任意一个数$X$，都能写成$X_1\ast 1+X_2\ast k+...+X_t\ast k$
也就说明$sum$一定是$X+(1-k)\ast t$

之后我们根据题意：
$a\ast n$化成$k$进制后的$sum=a\ast n+(1-k)\ast t$;
要满足$sum\%b=c$也就是$a\ast n+(1-k)\ast t+by\equiv c(modb)$
根据扩展欧几里得性质，$c$必须是$gcd(n,t,b)$的倍数时才有解。

#include<bits/stdc++.h>
using namespace std;
typedef long long ll;

ll gcd(ll x, ll y) {
    return y == 0 ? x : gcd(y, x%y);
}
int main() {
    int t;
    cin >> t;
    while(t--) {
        ll a, b, c, k;
        cin >> a >> b >> c >> k;
        if(c % gcd(gcd(a, b), (1-k)) != 0) printf("No\n");
        else printf("Yes\n");
    }
    return 0;
}