 + 6 - 3*a. Let d be w(-6). Solve d = 2*t + 10, p - 2*t = 3*t + 25 for p.
0
Let z = 127 - 125. Suppose -z*k + k = -3. Solve 3*m = k*y - y + 20, 0 = -4*m - 3*y + 4 for m.
4
Suppose n - 28*n = -54. Solve 6 = n*t - 5*u, 0*t - 12 = 2*t + 4*u for t.
-2
Suppose 0*g = g. Suppose i + 4*h + 12 = -0, -27 = 2*i + 5*h. Let o be (-3 + g)*i/6. Solve -2*r + 1 = 2*j + 9, 3*j = 2*r + o for j.
0
Let t = 148 + -143. Solve t*z - 5 = 0, -3*f - 10 = 8*z - 3*z for f.
-5
Let p be (-1)/(4 - (-2106)/(-528)). Let f = p - -89. Solve -y + 7*b - f = 3*b, 4*b - 19 = -5*y for y.
3
Suppose -4*i = -5*s + 40, 3*s - 4*i - 20 = 12. Suppose -z = -4*c - 3, -3*c - 3 = -z - c. Let p be (-40)/(s + z + -9). Solve j + 5 = -j - 3*r, -4*r = p for j.
5
Let o = 95 + -92. Suppose -c = n - 3, -o*c - n + 7 = -8. Solve -5*m - c = 2*b + 9, -m - 2*b = 3 for m.
-3
Let n be 2*(-2)/(-8)*(26 - -2). Let l be ((-40)/n)/(10/(-70)). Solve -l = -5*d, 4*w + 2*d - 18 = 10 for w.
5
Suppose 70 - 195 = -5*k. Let h = -35 + k. Let s = -6 - h. Solve j = -2, 4*f + s*j = 5*j + 6 for f.
1
Let t = 13 - 28. Let z be t/(-6)*(-6)/(-1). Let a(j) = -j**2 + 17*j - 20. Let q be a(z). Solve q = -5*d - 0*d, f = 4*d + 12 for f.
4
Let x be 14 - (-2 + 1 + 3). Suppose 3*z = z. Suppose -2*l - 55 = -5*b, z*b - 55 = -5*b - 4*l. Solve 0 = 5*q + 2*f + x, 5*q - f + 2*f = -b for q.
-2
Suppose b = 2*x - 24, -2*x - 68 = 4*b - 3*x. Let p = b - -22. Solve -4*k - 4*n + 8 = 0, -3*k - 2*n - 2*n = -p for k.
2
Suppose -9*b = -5*b + 5*a - 11, 4*a - 4 = -2*b. Suppose -c = r - 2*c + 1, -4*c = -r - 10. Solve -2*n - b*j - j = 18, -r*j - 16 = 3*n for n.
-4
Suppose -v + 4*v - 36 = 0. Suppose -2*c + v = -4*h, -4*c + 8 = -h - 9. Solve c*y + 9 = -f, 3*f - 5*f - y = 11 for f.
-5
Let s(r) = -r + 5. Let u be s(4). Let o be 3/2 - u/2. Suppose 3*x = -v + 5, -3*v + 2 = -x - 7*v. Solve 0*h + h - x = 0, o = b + h for b.
-1
Let u(t) = -t**3 + 2*t**2 - 2*t + 17. Let r be u(3). Solve 4*v - n + 22 = 2*n, 2*v + r = -3*n for v.
-4
Suppose 3*y = 4*y + 9. Let j(w) = w. Let v(t) = -7*t - 5. Let i(l) = 6*j(l) + v(l). Let x be i(y). Solve 16 = -x*m + 7*m + 5*d, -4*d = -5*m + 2 for m.
2
Let v(f) = 16*f - 3. Let o be v(1). Suppose 2*a + 1 = -2*y + o, 0 = -5*a + 5*y. Solve -p - 2*p = -2*u - 13, -20 = -5*p + a*u for p.
1
Suppose 10 = -s + 6*s. Suppose -2 = -g + s. Let v be (g/12)/(3/27). Solve 4*k + 15 = -v*f - 0*f, -5*k - 20 = 5*f for f.
-1
Let i(r) = -r**3 + 14*r**2 - 24*r + 18. Let c be i(12). Let h(l) = 7*l + 1. Let j be h(-2). Let w = j + c. Solve -v + 5 = v + q, 4*v = w*q - 11 for v.
1
Suppose -2*w - x = -7, -4*w + 0*x - 3*x + 17 = 0. Let k be ((-6)/4)/(1/w). Let i(f) = -2*f - 3. Let h be i(k). Solve 4*m + 20 = -4*n, 3*m = -h*n + m - 10 for n.
0
Let f = -28 - -40. Let l(j) = -j**2 - 13*j - 19. Let m be l(-11). Suppose -4*z = -m*z - 12. Solve 0 = -2*v + 5*x - z, x - 2*x + f = 2*v for v.
4
Let i(m) = m - 4. Let j be i(-5). Suppose 5*l = -10*y + 7*y - 76, 6 = -3*y. Let g = j - l. Solve -2*h + 9 = -5*h - u, h + 3*u = g for h.
-4
Let v(p) = 0*p**2 - 4*p**2 + 1 - 2. Let c be v(-2). Let q = c + 20. Solve -4*z + 5*f - 3 = 0, -q*z - 2*f - 1 = -16 for z.
3
Let h = -12 - -11. Let o be 8 - 5 - (h - -1 - 0). Solve -5*f = o*c + 3, f + 2*c - 9 = -4 for f.
-3
Let r = -7 - -7. Let k = 38 - 17. Let z = k + -16. Solve -z*b + b + 3*g - 9 = 0, r = -4*b - g + 3 for b.
0
Let t(k) = -k**2 + 5*k + 6. Let d be t(6). Let a be -2 - ((-4)/2 + d). Let r be (-290)/(-110) + (-12)/(-33). Solve 5*s + r*m + 21 = 0, s + a*m + 5 = -m for s.
-3
Suppose 144*d = 146*d - 6. Solve f + v = -3, -d*v + 0 + 6 = 0 for f.
-5
Let u(f) = f**3 + 6*f**2 + 4*f. Let q be u(-5). Suppose 1 = q*o - 19. Solve -2*c = -o*c + t - 1, 20 = -4*t for c.
-3
Let s = -2 + 6. Suppose s*f - 2*i - 392 = 0, -i + 325 + 55 = 4*f. Suppose g = 0, 0 = o - 5*o - 5*g + f. Solve 4*v - o = v + 3*x, 4*v - 5*x = 36 for v.
4
Let m(n) = 10*n - 25. Suppose b + 9 = 4*b. Let a be m(b). Let w(v) = -v**3 + 6*v**2 + 2. Let x be w(6). Solve -z - x*t - 4 = 0, 7*z - 4*z = -a*t - 9 for z.
2
Let g(n) = n**3 + 12*n**2 + n + 16. Suppose i = 2*l + 21, 3*l - 4*i + 9*i = -51. Let r be g(l). Solve 6 = 4*t + r*h - 6, 3*t + 31 = 5*h for t.
-2
Suppose 72*g = 69*g. Let n = -6 - 2. Let j = 21 - n. Solve -4*i + 3*o + g*o = 11, 4*i + j = -3*o for i.
-5
Let w be 7 - (8/(-2) + 3). Solve j - 2 - w = 5*z, -z - 2 = 4*j for j.
0
Let b be ((-10)/(-4))/((-2)/(-4)). Let v be (-1)/(3/12) - -4. Suppose 7 + 1 = -2*t + 4*j, v = -3*t + 3*j + 3. Solve -2*p + b*z + 23 = t, p = -2*z - 14 for p.
-4
Let t(z) = z**3 - 26*z**2 + 47*z + 26. Suppose 42 = 2*m + 3*d, 58 = 3*m - m - 5*d. Let g be t(m). Solve -5*r = -v - 26, -5*v - 21 = -g*r - 6 for v.
-1
Suppose 0 = 4*d + 3*v + 36, -12 = 4*d - 6*v + 3*v. Let x(r) = r + 13. Let i be x(d). Solve -t - 3 = -p, t = -4*p - 0*p + i for t.
-1
Let n = 17 + -13. Solve n*s = 2*y + 2, 0 = y + 3*s + 1 - 5 for y.
1
Let u be (-43 + 45)/(2/3). Solve 5*y + 0*y + 25 = -3*k, u*k = 5*y + 25 for y.
-5
Let b = 7 - 4. Let o(p) = 7*p + 2. Let g be o(b). Let s = 46 - 42. Solve 2*f + 8 = 0, s*l - g = l + 5*f for l.
1
Let b(g) = g**2 + 8*g + 30. Let f be b(-11). Let y = 68 - f. Solve 0 = -k + 3*o + 13, y*k + o + 1 + 14 = 0 for k.
-2
Let z = -21 - -39. Let j = -11 + z. Solve -5*b = -2*h - j, b - 2*h = -4*h - 1 for b.
1
Suppose -14 - 7 = -3*c. Let v be 63*(2/c + (-5)/(-105)). Solve -4*t = -3*r + 8, t = -5*r - 0*t + v for r.
4
Let j be 11/(-1) - (25 + -32) - -4. Solve 5*z = 5*q - 0*z - 15, j = -2*q + 4*z + 2 for q.
5
Let q(m) = -m**3 + m**2 - 9*m + 2. Let i be q(0). Solve 0 = -l + 4*p + 3, -i*l + p - 2*p - 12 = 0 for l.
-5
Let h(t) = -t**3 - 4*t**2 + 12*t + 9. Let x be h(-6). Solve 3*f = -3*r + 2*f - 3, 5*r + x = -3*f for r.
0
Suppose 219 = 4*h - 1781. Let j be 4/14 + h/14. Suppose -6*b = -2*b - j. Solve q = -2*x + b, -4*q = -5*x + q for x.
3
Suppose 0 = 4*o + 7*o + 3*o. Suppose -d + 18 - 15 = o. Solve 2*p - 5*k - 27 = -4, 9 = -d*k for p.
4
Let c(r) = -r**2 - 6*r + 7. Let q be c(-7). Suppose q*l = -3*l. Suppose -9*b + 58 = 20*b. Solve -b*u - u + 12 = l, 5*u - 22 = a for a.
-2
Let k = 8 - 22. Let x(y) = -y**2 - 16*y - 16. Let r be x(k). Solve 2*l = -m - 11, 0 = 3*m + 2*l + 5 + r for m.
-3
Let j = 98 + -94. Solve j = -4*w, -5*h + 11 - 32 = -4*w for h.
-5
Let h = 27 - 20. Suppose -2*a + 61 + h = 0. Solve -2*w - 16 = -6, a = 3*l - 5*w for l.
3
Let f = 60 - 140. Let w = f - -83. Solve 0 = 4*n + h + 18, 5*h + 8 = -w*n + 3 for n.
-5
Suppose 2*z + 0*z = -4*y + 34, 3*y = -5*z + 29. Suppose y + 6 = o. Solve 3*d = -4*x + o, 2*d + 11 = -5*x + 32 for d.
-2
Let n(r) = 20*r + 45. Let s be n(-2). Solve 4*b - 5 = -s*i, -4*i + i = 2*b - 5 for i.
5
Let k(x) = -2*x**3 - 2*x**2 + 1. Let r be k(-1). Let v = -104 - -104. Let g = r + v. Solve -3*a - 4*n = -5, 2*a = a - 4*n - g for a.
3
Suppose 0 = 3*r - 10 + 1. Let i be ((-112)/24 + 2)*3/(-4). Solve -i*f + 3*h = -16, 5*f + r*h = -4 + 2 for f.
2
Let f(v) = -2*v**2 - 19*v + 18. Let c be f(-10). Solve -4*a + c*z - 3*z = -20, 0 = 3*a + 5*z - 15 for a.
5
Let n be (-9)/(-36) - (-1)/(-4). Let o be (1 + 3)/12*n. Suppose d - 5*d + s = -6, 0 = d - s. Solve q - 3*k - 12 = o, -5*q + d*k + 8 = -13 for q.
3
Suppose 83 = 5*j + 4*v, 5*j - 13*v = -9*v + 107. Solve s - 4*s = -4*m + j, 4*m + 3*s = 13 for m.
4
Let k(z) be the first derivative of z**4/4 + 5*z**3/3 + 4*z**2 + 6*z + 14. Let t be k(-3). Solve -16 = 4*q, d + q + 2 + 4 = t for d.
-2
Let p = -408 + 291. Let t be 1/(-4 - 465/p). Let h be (t/26)/((-6)/16). Solve 5*u = -b, -h*u = -3*b - 12 - 7 for b.
-5
Suppose -4*i + 53 = 21. Suppose -i = j - 4. Let u = -4 - j. Solve 4*b = -2*w - 14, u*b + w + 4 = b for b.
-1
Let f = -8 - -8. Suppose f = -3*x + 3*r + 54, 0 = 2*x + 7*r - 2*r - 50. Let o = -18 + x. Solve 0 = -o*z, -2*w + 3*z = 3*w + 20 for w.
-4
Let q = -22 + 4. Let j = q + 43. Solve v - j = -4*v, -2*c + 4*v = 24 for c.
-2
Let k = -28 - -28. Suppose 2*l - 10 = 2*s, -7 = -2*l - k*l + 5*s. Let m = -2 + 7. Solve -4 = 3*y + 2*c - l*c, -4*y + 36 = m*c for y.
4
Suppose 0 = -d + 3*d - 2. Let o be 6/3 + 3/d. Suppose -5*a + 15 = -o. Solve -4*y + a*s = s + 27, -11 = -3*y - 4*s for y.
-3
Let q(w) be the first derivative of w**4/4 - 13*w**3/3 + 11*w**2/2 + 16*w - 36. Let m be q(12). Solve -2*d + a = 1, 10 = m*a + 30 for d.
-3
Suppose -2*c = -2*r - 2, -c + 2*r + 2*r = -1. Let m(x) be the first derivative of 2*x**2 - 2*x + 1. Let