On a query algorithm for a divisibility problem | ACM Communications in Computer Algebra | DeepDyve