Suppose 0 = -2*z + 8 + 4. Suppose r + 6 = 4*r. Suppose 0 = r*v - 42 - z. Solve 0 = -5*f + v + 1 for f.
5
Let k be (-20)/(-12) - 2/(-6). Suppose 0 = -j + 4, 0*d = d - k*j + 4. Solve -4*q - d = -8 for q.
1
Let a(n) = 14*n. Let u be a(1). Suppose h = -h + u. Solve 3 = -2*y + h for y.
2
Let x = 25 + -9. Suppose -a + 27 = 4*t, 3*a - 2*t - x = -t. Solve a*b = 3*b + 4 for b.
1
Suppose -3*u - 5*r = -2, 3 - 5 = -2r. Let w be -5(-3 + (u - 0)). Suppose -w = -z - z. Solve 2*h - 7*h = -z for h.
2
Let h(i) = -2*i + 9. Let m be h(6). Let x(j) = -3*j - 13. Let a be x(-6). Let s = a - m. Solve s = 4*l - 0*l for l.
2
Let a be 9/(1 + (-1)/4). Suppose -a - 20 = -2*n. Let h(w) = w + 12. Let i be h(-10). Solve n = 6*g - i*g for g.
4
Suppose z = 6*z - 10. Solve -t = z*t for t.
0
Let w = -1069 + 1073. Let l(z) = z**3 - z. Let u be l(1). Solve -f - w*f - 25 = u for f.
-5
Suppose 0 = 2*l - 6*l. Solve 2*r = -l*r - 2 for r.
-1