/*
线性同余方程转化
    a*x 三 b（mod m）=> 存在y，使得a*x = m*y + b <=> a*x + m*(-y) = b 
    扩展欧里几德算法求解同余方程的充分必要条件：必定有a*x + b*y = d, 若d是b的倍数，则上述方程有解
*/

/*
I n：ai， bi， mi 
求解线性同余方程：ai * xi 三 bi （mod mi）
O 有解输出xi，无解输出“impossible”

I
2
2 3 6
4 3 5

O
impossible
-3

*/

#include <iostream>
#include <algorithm>

using namespace std;

typedef long long LL;

// 推导公式：
int exgcd(int a, int b, int &x, int &y)
{
    if (!b)
    {
        x = 1, y = 0;
        return a;
    }
    int d = exgcd(b, a % b, y, x);
    y -= a / b * x;
    return d;
}


int main()
{
    int n;
    scanf("%d", &n);
    while (n -- )
    {
        int a, b, m;
        scanf("%d%d%d", &a, &b, &m);

        int x, y;
        int d = exgcd(a, m, x, y);
        if (b % d) puts("impossible");
        else printf("%d\n", (LL)b / d * x % m);
    }

    return 0;
}