What is the fastest way to check whether $ax+by+cz=d$ has positive integer solutions, exact solutions are not required.
We know if $\gcd(a,b,c)$ is not a factor of $d$, it does not have solutions, but if it is factor it can not guarantee of existence of solution.