Let l = 22 - 20. Solve -l*y + 2 = -4*y for y.
-1
Suppose 6*z - 3*z = 0. Solve z*q = 2*q - 2 for q.
1
Suppose -12 - 8 = -4*a. Suppose -4*j + 21 = -a*j. Let s = -9 - j. Solve -2*r + s = -6*r for r.
-3
Suppose -j + 0*j = -2. Suppose -j*c = c. Let z be 4/(c + 1 + 0). Solve -20 = -z*k - k for k.
4
Suppose 4g = 3 + 17. Let h = g + -3. Let l be 4/(-3)(-15)/h. Solve -6 = 4*j + l for j.
-4
Let y be (-12 - -15) + 4/(-2). Suppose 3*f = 23 + y. Solve 3*r = r - f for r.
-4
Let v be (6 + -2)*(-3)/(-6). Suppose -v*n = n. Solve s + 0*s + 5 = n for s.
-5
Let x = 11 + -4. Let o be (-1)/(-3) + 147/(-9). Let c be ((-4)/o + -1)*-4. Solve -c*f - 8 = x for f.
-5
Suppose 2*h + h - 15 = 0. Suppose -26 = k + 5*c, -3*k - 4*c - 18 = -h*k. Let l = 12 - k. Solve 3*j = 1 - l for j.
-4
Let v be 1/(-2)*(-72)/18. Solve p - v = -p for p.
1