嗯...通过标签我们易得知，这是一道数学题（废话）
其中，题目给了这两个条件：
\(gcd(x,a_0)=a_1,lcm(x,b_0)=b_1\)
所以，根据 \(gcd\) 与 \(lcm\) 的性质，我们可以得到如下结论：
\(a_1|x,x|b_1\) , \({x} \over a_1\) 与 \(a_0 \over a_1\) 互质, \(b_1 \over x\) 与 \(b_1 \over b_0\) 互质。
（请自行思考原因）
有了这个结论，接下来的枚举就十分简单了。直接枚举 \(b_1\) 所有的因数，然后判断、累加答案即可。
代码时间：
#include <iostream>
#include <cstdio>
#include <cmath>
using namespace std;
int ans,n,a0,a1,b0,b1;
//gcd(x/a1,a0/a1)=1,gcd(b1/x,b1/b0)=1
int gcd(int x,int y){
return x==0?y:gcd(y%x,x);
}
int main(){
cin>>n;
while(n--){
ans=0;
scanf("%d%d%d%d",&a0,&a1,&b0,&b1);
int i=a0/a1,j=b1/b0;
for(int u=1;u*u<=b1;u++){
if(b1%u==0){
int v=b1/u;
if(u!=v){
if(u%a1==0&&gcd(u/a1,i)==1&&b1%u==0&&gcd(b1/u,j)==1) ans++;
if(v%a1==0&&gcd(v/a1,i)==1&&b1%v==0&&gcd(b1/v,j)==1) ans++;
}
else{//注意此处，有可能枚举的u=v，并且两者都满足条件，就重复累加了ans，所以需特殊判断
if(u%a1==0&&gcd(u/a1,i)==1&&b1%u==0&&gcd(b1/u,j)==1) ans++;
}
}
}
cout<<ans<<endl;
}
return 0;
} 蒟蒻第一次写博客，请大佬多多指教！