b - c, b - 25 = -4*f for f.
5
Let b = -3 + 3. Let u be b/(1/(1 + -2)). Solve -s - s - 2*n + 4 = u, -n - 2 = 3*s for s.
-2
Let g be ((-2)/12*4)/((-4)/12). Solve i - 19 = -5*o - 5, 3*o - i = g for o.
2
Let r be 1 - (9/(-3) + 4). Solve r = -4*a - 9 + 1, n = -2*a - 7 for n.
-3
Let w be 4/32 + (-46)/(-16). Suppose -w*m = -10*m + 14. Suppose 3*i - l - 17 = 0, -4*i = -3*l - 8 - 18. Solve j = -p + m, 3*p = -i*j - 0*p + 6 for j.
0
Suppose 3*y + h - 2*h - 2 = 0, -h = 5*y + 2. Suppose -2*m + 2 = -2*j, y*j = 2*j - 4. Solve 0 = -3*q - 15, -2*n - m*q = q + 24 for n.
-2
Suppose 3*o + q = 9, 3*q + 13 = o - 0. Solve -u = -3, -5*f - u + o*u - 29 = 0 for f.
-4
Let m(d) = d**2 - 8*d + 7. Let n be m(7). Solve -2*k + l = -15, n = -2*l - 2*l - 20 for k.
5
Let r be (-1 - 2) + 7/1. Solve -5*v = 4*z - 4, -2*z + v = -6*z + r for z.
1
Suppose 0*f = -f + 2. Solve -d - 2*l - 8 = 0, -f*d + 16 = 3*d - 4*l for d.
0
Let q be 4 + (0 - (2 - 4)). Let s = 6 - q. Solve -p + 0*p - 4 = 2*h, s = -p for h.
-2
Let u be 5/(4/(1 + 3)). Let v(l) = -l**2 + 8*l - 8. Let w be v(6). Solve 3*p = -3*y - y - 35, -w*p + 5*y + u = 0 for p.
-5
Let o = 41 + -33. Let h = 8 - 5. Solve 4*p = -v + 16, -v + o = 2*p - h*v for p.
4
Let j = -3 - -8. Suppose r - 3 = -5*k + 3, 2*k = j*r + 24. Solve k*a - 9 = -5*x + 3*a, -x + 5 = 3*a for x.
2
Suppose 0*i = -5*i + 10. Let p be (-1)/4 - 18/(-8). Suppose 0*a + 22 = p*a. Solve i*g + 3*f + a = 0, -f = 4*g - g + 6 for g.
-1
Let f = 6 + -4. Suppose -4*t - 4*i = -4, -3*i + 22 = 4*t - 8*i. Solve -f*u + 11 = -u - 2*q, 2 = -t*u - q for u.
1
Suppose -5 - 7 = -3*p - 3*v, 5*v = p - 10. Suppose p = 5*j - 10. Solve 2*i - 18 = -4*z + i, 3*z - j*i = 21 for z.
5
Let b = 14 + -12. Solve 1 = -4*f + y, b*y - 2 = -5*f - 0*f for f.
0
Suppose 71 = 5*s + 71. Solve x + w + 3*w + 4 = s, 2*x - 5*w - 18 = 0 for x.
4
Let b(i) = i**3 + 7*i**2 + 7*i + 9. Let p(t) = t**3 - 6*t**2 - 6. Let z be p(6). Let n be b(z). Solve -3*h - 24 = -4*j, -4 = j + h - n for j.
3
Suppose -6*z + 3*z + 3 = 0. Solve 4*j = 4*p, 2*p + z + 2 = -j for p.
-1
Let q(o) = 6*o**2 + 3*o - 2. Let x be q(2). Suppose -3*k = -m + x, 0*m - 18 = 2*k - m. Let b be (-1)/(4/k)*8. Solve b = 2*y - 4*l, 0 = 5*y + 5*l + 27 - 2 for y.
0
Let d = -26 - -29. Solve 8*w + 3*v - 37 = d*w, 0 = -5*w - 2*v + 33 for w.
5
Suppose 0 = 3*m - 6 - 0. Suppose s - 2*k - 10 = -m, -2*k + 6 = 0. Let a be 2/7 + 290/s. Solve 5*n + g = -2*g + 30, a = 2*n + 3*g for n.
3
Suppose 4*w - w = 39. Let k be w + (1 + 2 - 0). Solve 2*t = 4*u + 21 - 1, t - k = 4*u for u.
-3
Let c(z) = z**3 - 7*z**2 - 8*z - 9. Let x be c(8). Let d = -5 - x. Let n(o) = -2*o - 3. Let l be n(-2). Solve -3*p = 2*y - 1, d*p = -5*y - l + 7 for y.
2
Let j = 1 + 1. Let l(r) = -r**3 + 2*r**2 + 2*r + 1. Let o be l(j). Let d = o - 2. Solve -2*g + d*u = 17, -5*u + 35 = -3*g - 2*g for g.
-4
Let m = 6 - 1. Let s = 6 + -10. Let q be (-3 - s)/(1 - 0). Solve -q = m*i + 2*w - 10, 3*i - 15 = 2*w for i.
3
Let y(n) = -n**3 - 10*n**2 - n - 8. Let l be y(-10). Solve k + 1 = 3*z, -5*z = l*k + 15 - 2 for k.
-4
Let l be 165/30 - (-1)/(-2). Let g be (4/(-8))/(2/(-12)). Solve g*s - l*z = s - 4, -4*z = 5*s + 10 for s.
-2
Let w(d) = d**2 - 2*d - 4. Let h = -3 + 1. Let p be w(h). Solve -4*v - p*g - 4 = 4, 2*v - 2*g = 4 for v.
0
Let a be (-2)/(-2*(-3)/(-12)). Let f(v) = -v**2 + 2*v + 6. Let b be f(-6). Let o be (b/(-2))/(18/24). Solve 0 = -a*i + 4*u + o, -3*i + u = i - 16 for i.
3
Suppose -q + s = -4*s - 13, 5*s = 4*q - 97. Let t be 5 - (1 + -2)*-2. Solve -q = 4*z + t*p, -2*p = 3*z - 6*z - 4 for z.
-4
Suppose 0 = -65*n + 63*n + 50. Suppose -4 = -2*m + 3*m. Let o be (-1)/4 + (-1)/m. Solve -3*y - n = -5*f - o*y, -3*f - 14 = 4*y for f.
2
Suppose -3*f + 94 = 16. Solve 4*r = -4*w + 3*w - 12, f = -3*r - 5*w for r.
-2
Suppose -4*k - k - 70 = 0. Let c = 21 + k. Let n(u) = -u**2 + 8*u - 3. Let x be n(c). Solve -2*w - 3*f + x = -3*w, -16 = 4*w + 4*f for w.
-4
Suppose -4*w - 73 = -5*a - 7*w, 39 = 3*a + 3*w. Let h = a - 9. Suppose 6*r = r + 20. Solve -2*i = -h, 2*i = r*z + i for z.
1
Let r = 10 + -7. Let b(f) = -f**r + 2 - f + 5*f**2 - 3*f**2 + f. Let n be b(2). Solve 7 = u - n*m, 0 = -2*u + 2*m + 5 + 1 for u.
-1
Let q(y) = y**3 - y**2 - 4*y + 3. Suppose -4*r = -0*r - t - 13, r + 3*t = 0. Let j be q(r). Solve o + 0*o + 4*u = -j, 2*o + 2*u = -6 for o.
-1
Suppose 0 = -2*h + 5 - 1. Let a be 11/(-11)*(0 - 0). Suppose a = -2*r + r + 12. Solve -4*y = 21 - 1, -g + r = -h*y for g.
2
Suppose -36 = -5*w - 4*a, 6*w + 5*a = 3*w + 32. Suppose 0 = -2*j + j + 22. Solve 0*g = -3*x - 2*g + j, -w*x + 1 = -3*g for x.
4
Let d(z) = -z**3 + 5*z**2 - 2*z + 3. Let y be d(3). Let c be (-1)/5 - (-108)/(-10). Let b = -11 - c. Solve 3*m + y = -b*u + 5*u, -4*u - 3*m = -12 for u.
3
Let s be (-21)/6*8/(-1). Let m = -19 + s. Solve 0 = -y - 3*h + m, 3*y + 5*h + 5 - 24 = 0 for y.
3
Suppose 3 = -t + 7. Suppose 0 = 7*l - t*l. Suppose l*y + 8 = 4*y, 5*o = y + 8. Solve -h - 4*x - 11 = x, 3*x + o = 4*h for h.
-1
Let k(u) = -u**3 + 7*u**2 + 2*u - 9. Suppose 0 = -5*d - 25, -5*g + 2*d - 7*d = -10. Let t be k(g). Solve 3*v = f + 4 + 4, -t*f = 2*v - 28 for f.
4
Suppose -24 = -4*i + 4*t, 0*t + 22 = 5*i - 3*t. Let r(s) = 2*s - 2. Let o be r(i). Solve 0 = o*w + 5*a - 5, 0*a + 8 = 2*w + 2*a for w.
5
Let v(m) = 2*m**3 - 2*m**2 - 3*m + 3. Let i be v(2). Solve -2*d - 3*d - 3*z = -13, -29 = -i*d + z for d.
5
Suppose 0*z = 5*z - 70. Solve 5*h + s - z = 0, 3*h - 10 = -h - 2*s for h.
3
Let k be 7 + -4 + -1*9. Let m(f) = -f**3 - 6*f**2 + 4. Let i be m(k). Solve 2*r - g + 5 = 0, r - g + i = 2 for r.
-3
Let d = 7 - 11. Let w be d/(-18) + 25/9. Suppose -2 = 2*g, 15 = -4*f - 5*g + 102. Solve 0 = -3*b + 4*a + f, -b + a = -w*b + 8 for b.
5
Suppose 5*k + 5*n = 30, -8 = -n - n. Suppose -3*p - k*p + 65 = 0. Let b be p + (0 + -1)*1. Solve -2*r - 28 = -4*g, -11 - b = 2*r - 3*g for r.
-4
Let b be (-6 - -7)/((-2)/(-30)). Let j = 11 + b. Solve -g = c + 6, 2*c + c + j = -5*g for c.
-2
Let j(y) = -22*y - 10. Let z(q) = -7*q - 3. Let a(v) = 5*j(v) - 16*z(v). Let x be a(2). Let p = x + 2. Solve -2*s + 3*o + 20 = 0, -5*s + p*o + 24 = 3*o for s.
4
Suppose -6*q + 2*q - 5*y = -7, 4*y - 2 = -2*q. Solve -18 = 5*u - q*a + 14, -5*u = 5*a for u.
-4
Suppose -14*l = -7*l - 21. Solve -o = 2*b - 4 - 2, l*b - 3*o = -9 for b.
1
Let d be 15*-2*(-2)/(-4). Let v be 1/((-9)/d)*6. Solve 4*r + 20 = 4*u, 4*u + 5*r + v = 3*r for u.
0
Let y(r) = 4*r**3 - 1. Let o be y(1). Solve -5*s = 2*n + 17, 3*n + o*s + 3 = -0 for n.
4
Suppose 0 = -2*q + 3*q. Let y(j) = j**3 - 3*j**2 + 3*j - 7. Let k be y(3). Solve q = -k*c + 4*d - 16, -c - 3*d + 6 = -1 for c.
-2
Let z(l) = l**3 - 11*l**2 + 11*l - 4. Let v be z(10). Suppose 4*d - v*d + 8 = 0. Solve -3*n + 22 = -d*o, 0 = 2*o + 3*n - 1 + 3 for o.
-4
Let a = -140 - -140. Solve a = -2*u + 2*n + 8, -n - n - 11 = -5*u for u.
1
Suppose -5*n = 1 + 4. Let x be n*(-3 + -1 + 2). Solve -x = z + 5*g, 2*g = -3*g for z.
-2
Let i(r) = -r**3 - 19*r**2 + 20*r + 2. Let u be i(-20). Solve -2*a - u*t = 18, -28 = 4*a - 2*a + 4*t for a.
-4
Suppose j = -2*j + 6. Suppose 0 = -0*a + a - n - 2, j*a = 5*n + 10. Solve -3*g + 5*s + 12 = a, -5*g + g + s = -16 for g.
4
Suppose 3*z = -0*k - 3*k + 3, -3*z - 5*k - 1 = 0. Let v be -2 + -2 + 1 + 2. Let w be v/1*-1 - -18. Solve -5*n + n - z*c + w = 0, 0 = 3*n + 3*c - 15 for n.
4
Let c = -3 + 6. Suppose n = -c*n. Solve -4*v + 4 = -4*l, -l + n*v = v + 3 for l.
-2
Let o(x) = -x**3 + 6*x**2 - 4*x - 5. Let h be o(5). Let s = -3 - -6. Suppose -k - 8 + h = -u, u = -s*k - 4. Solve -5*l = -u*g + 20, 0 = g + 5*l + 3 - 1 for g.
3
Suppose -i + 7 = w, w + w + 16 = 4*i. Solve s = x - 1, -4*x + 5*s = -i*x + 13 for x.
3
Suppose 6 + 135 = -3*m. Let j be m/(-9) + 4/(-18). Solve 3*f + f + r - 8 = 0, j*f - 25 = -5*r for f.
1
Suppose 2 + 6 = 2*o. Solve -20 = -4*y + o*d, -2*d - 2*d = 2*y + 14 for y.
1
Let h(n) = -n**2 + 12*n - 15. Let v be h(9). Solve 4*c - v = 0, -2*z - 2*c - 15 = -7*c for z.
0
Suppose 3*p = 4*h + 19, -3*p - 4*h = -7 - 4. Suppose 21 = 2*o - 3*w, -p*o = -o - 5*w - 37. Solve o*i = -0*k - 5*k - 7, 0 = -4*i - 2*k for i.
1
Let x(n) = -n**3 - 2*n**2 + n + 6. Let v be x(-3). Solve -2*r + 4 + 0 = -2*w, 3*w + 3*r = v for w.
1
Suppose 0 = -o - 2*c + 17, 0*c + 24 = 2*o + 2*c. Suppose 3*j - o = 8. Solve -h - 22 = j*v, 27 = h - 5*v + 9 for h.
-2
Suppose 0 = 7*h - 10*h + 9. Solve r - 4 = -2*f 