 - 1 for t.
2
Let k(n) = -n**3 + 4*n**2 + 7*n - 8. Let j be (1 - 1)*3/(-3) - -5. Let r be k(j). Solve 3*w + r*u + 4 + 2 = 0, -3*w + 3*u = 21 for w.
-4
Suppose -2*z + 6 = -4, 3*s = -z + 17. Suppose -38 - 6 = -d - m, 4*d - 176 = s*m. Solve 5*q = 4*u + d - 17, -12 = -2*q + 2*u for q.
3
Suppose -10 = -4*k - 5*c + 66, -c = k - 18. Suppose 14*g + k = 16*g. Let d be g/1 - 6/2. Solve -d*m + t - 17 = 0, 3*m + 5*t + 2 = -5 for m.
-4
Let o(i) = 14*i**2 - i. Let a be o(1). Let j = -10 + 15. Suppose -b - 3*n + 6 = 0, a = 3*b + j*n + 3. Solve -w - 5 = 5*s, 3 = -3*w - b*s - 3*s for w.
0
Let t be (-13)/(13/12)*1/(-3). Suppose -3*n - t*u - 7 = -0*u, 11 = n - 2*u. Solve 0 = 3*x - 6, n*b = 2*b - 5*x + 9 for b.
-1
Let k(y) = -y**2 - y + 15. Let z be k(0). Suppose -5*q = -20, 2*q = -2*p + z + 23. Solve -4*w - 9 - 31 = 4*f, 2*w = -f - p for w.
-5
Suppose 4 = 4*j - 5*g, 3 = 2*j - 2*g + 1. Let m be 2 + (j - -13) - 1. Suppose 2*p + 3*p - m = 0. Solve 3*t - 5*x - 27 = 0, 4*t + 2*x - 1 = -p*x for t.
4
Let a be (-4)/(-2) + (-40)/(-10). Solve -4*y + 3*u + 11 = 0, 20 = y - a*y - 3*u for y.
-1
Let r(g) = -5*g - 90. Let t be r(-18). Solve -4*h - 12 = h + 2*v, t = 2*h + 5*v + 9 for h.
-2
Suppose c = a + 89, 3*c - 2*c = 2*a + 177. Let k be a/20 - 2/(-5). Let v be (-2)/(k + (-4)/(-2)). Solve 2*l = -2*z, -3*z + 4 - v = 0 for l.
-1
Suppose -209*g + 220*g - 110 = 0. Let i(j) = -23*j**3 - 2*j - 1. Let r be i(-1). Solve 3*z + z - 3*y = -g, -2*y - r = 5*z for z.
-4
Suppose 24*g = -11*g. Solve g = -3*w + 5*z + 8, 0*z = -4*w + z - 12 for w.
-4
Let z(y) = y**3 + 7*y**2 - 2*y + 4. Let o be z(-7). Suppose -u + 10 = 2*i, 3*i - 14 = -0*i - u. Solve i*b - 5*g = -g, -5*b - 4*g - o = 0 for b.
-2
Let i(q) = -q**3 - 8*q**2 - 6*q - 4. Let a be i(-7). Let r = -6 - a. Let w = -3364 + 3368. Solve -3*j + 17 - r = -y, -w*j + 32 = 4*y for y.
3
Suppose 2*v - 7*v + 35 = 5*m, 4 = -2*v + 4*m. Solve -2*i - j - v = 0, -j - 12 = 4*i - 0*j for i.
-4
Suppose 0 = 12*g - 77 - 223. Solve -q - 4*i + g = 0, 2*i = 5*q - 3*i for q.
5
Let a(i) = i**2 - 5*i - 3. Let u be 3 - (-1 + -2 + 14). Let j = u + 14. Let d be a(j). Solve 10 = -4*r + d*c, -3*c - 12 = r + c for r.
-4
Suppose -w - 5 = -2*x, -4*w + 9 = 2*x - 9*w. Suppose x*i - 3*i = -4*i. Solve -5*m - 20 = 0, i = -p + m - 0*m - 1 for p.
-5
Let z(s) = 6*s + 7. Let n(d) = 7*d + 8. Let h(c) = 5*n(c) - 6*z(c). Let u be h(-4). Let v = 5 - u. Solve -i + 12 = -3*x + 2*i, -5*x = v*i - 4 for x.
-1
Let j(f) = -2*f + 23. Let m = -48 + 57. Let n be j(m). Let t = 1 - -1. Solve t*d - 3*w + 1 = -6*w, -2*d + n = w for d.
4
Let n be (1 - 15)*(-96)/224. Solve -3*p + n = 2*y - 8, -10 = -4*y + 3*p for y.
4
Suppose 3*o = 2 + 13. Suppose o*y - 9*y = -48. Let m = y - 7. Solve 0*x + x + 3*u = 10, -m*x + u + 18 = 0 for x.
4
Let i be -1 - (-4 + -77 + 2). Suppose p - i = -2*p. Solve -5*g - p + 5 = -x, -3*g - 14 = -2*x for g.
-4
Suppose 6*z = z + 65. Suppose 2*v - v - 1 = 0, -5*k = -v + 1. Suppose n - 5*y + 10 = k, 3*y + z = -4*n + 42. Solve n*p - 4*r - 11 = -0*r, 0 = -p - r - 5 for p.
-1
Let h(m) = -2*m - 9. Let i be h(-6). Let y(g) = -5 + g + i - 4. Let z be y(11). Solve -12 = -2*d + z*b, -4*b = 4*d + 1 + 31 for d.
-4
Let z(t) = -35*t - 3. Let g be z(-1). Suppose 0 = -9*f + g + 40. Solve -4*k + 2*k - 4*n = -26, f = 2*n for k.
5
Let q(w) be the first derivative of 20/3*w**3 - 3 - w**2 + w. Let m be q(1). Solve -3*g - 3*d - 3 = 0, g = 2*g - 4*d - m for g.
3
Suppose 5*b = 3*w - 16, -5*w + 6 = -4*w - 2*b. Solve -4*t + 20 = 4*i, -4*t = -w*i - 2*i - 12 for i.
1
Suppose 26 = 4*l + r - 58, -l + 4*r + 4 = 0. Solve -4*o = 4*i - l, -3*o - 9 + 32 = 5*i for i.
4
Suppose 26 = 14*m - 16. Solve 2*z - g = 10, m*z - 4*g = -2*z + 31 for z.
3
Let v = -260 - -405. Suppose m - 2*w - 35 = 0, -4*m = w - 4*w - v. Let a = m + -24. Solve 4*t = -3*u - u - 4, -2*u + t = -a for u.
4
Suppose 2*r - 14 = -4*v - 0, -4*v - 4 = -4*r. Solve -p + 0 + v = -z, -3*p = -z - 4 for p.
1
Let p be 0/(-3 + 4)*(8 - 7). Solve n + 4*n + 3*u - 14 = p, -6 = -2*n - u for n.
4
Let n = 441 + -433. Solve -5*v = 12 + n, 5*m - 3*v = 27 for m.
3
Let h be (-9)/(-18) + (-250)/4. Let m = -57 - h. Solve b - m*b = 4*k - 8, -b + 2*k = -2 for b.
2
Suppose 11*w + 12 = 56. Let d be (5/((-15)/(-24)))/2. Suppose -d*a = a. Solve 2*p - 10 = 0, a = 5*t - w*p + 3*p for t.
1
Let n be 39/6*(-8)/2. Let p = 47 + n. Solve -k - 3*s = -2, 4*k + 0*s - p = s for k.
5
Let g be (-42)/(-8) + 1/(-4). Suppose -4*w + 9 + 3 = 0. Suppose 157*l - 141*l - 128 = 0. Solve h - w*u = -l*u - 14, g*h - 2*u = -16 for h.
-4
Suppose -2*z + 2 = 0, -26 = -3*g + 2*z - 10. Suppose 0 = l - g*l + 15. Solve -2*s - d = -l*s - 2, -2*d = -s - 7 for s.
3
Suppose 5*b - b + 12 = -5*z, 5*b + 15 = 0. Let i(r) = r**2 + 11*r - 9. Let q be i(-12). Solve -q*v = 2*y - 5 - z, 12 = 2*y - 4*v for y.
4
Let x = 343 + -313. Solve 6 = -2*d + 2*z, 0 = 4*d - z + 6*z + x for d.
-5
Suppose -8 = -2*u - 0*h + h, 4*u - 18 = 3*h. Solve u*d + 4*q - 4 = 1, 0 = -3*d + 5*q - 40 for d.
-5
Let q = 22 + -22. Suppose q = -4*c + 9 + 3. Solve -4*w + m + 15 = 0, 0 = -w + m - c*m - 3 for w.
3
Let m(i) = 3*i - 16. Suppose -4*n + 10 = -18. Let o be m(n). Solve 0 = q + 3*w, 2*q = o*q + 5*w - 4 for q.
3
Suppose -9*r + 30 = 6*r. Solve -4*b - r*x - 16 = 0, 0 = 3*b - 0*b - 3*x + 3 for b.
-3
Let t(j) = -j**3 + 3*j + 2. Let l be t(0). Let v be ((-4)/(-2))/(4/66). Let c = -18 + v. Solve r = -l*w + c, -3*r = 4*w - 5*w - 10 for w.
5
Let o(n) be the first derivative of -n**3/3 - 7*n**2/2 - 2*n + 11. Let p be (4/10)/(2/(-30)). Let v be o(p). Solve -2*c = -w + v, 2*w + 0*c - 3*c - 5 = 0 for w.
-2
Suppose -3*l + 95 = -4*m, -2*l + 5*m - m + 58 = 0. Let o = l + -31. Solve o*p - 3*p - 8 = 2*x, -p = 2*x for x.
-1
Let x(w) = 4*w + 17. Let f be x(-20). Let g = f + 63. Solve g = -2*u + 8*l - 4*l + 10, -l = 3 for u.
-1
Suppose -w + 2*x = -0*w + 72, 332 = -5*w + 3*x. Let d = -60 - w. Solve 0 = c + 4*c + f + 5, -d*f = 0 for c.
-1
Suppose -x + 7 = s + 4*x, 5*s = 2*x + 8. Solve 5*a - 3*m + s = 0, a + a - 5*m - 3 = 0 for a.
-1
Let r(o) = -o**3 + o**2 + 21*o - 40. Let g be r(3). Solve -d + 5 = 0, -g*y - 2*d = -0*d for y.
-2
Suppose 0 = -4*c - 2*l - 26, -2*l + 0 - 6 = 0. Let a be (-17)/c + (-24)/60. Solve a - 12 = 3*z - d, 3*z = -d - 15 for z.
-4
Suppose -5*a + 12 = -2*a. Solve a*n + 4*f + 8 = 0, 0 = -3*n + f - 3*f - 3 for n.
1
Suppose 0 = 33*w + 425 - 689. Solve 0 = 3*a - 7*a - w, t = -5*a - 10 for t.
0
Suppose 0 = -t - 4*u + 29, 5*t - 2*u - 189 = -0*u. Let l = t - 37. Solve l = 4*m - 11 + 3, -4*m = d - 7 for d.
-1
Let l = -4 - -10. Suppose -k + 3 = -5*p + p, -p = -2*k + l. Suppose -10 = -3*x + u, 2*x - 5*u = -p*x + 11. Solve -24 = -3*q - 3*h, 0*h - h - 4 = -x*q for q.
3
Let u = 14 - 2. Suppose y = -0*x + 3*x - 3, -3*x - 4*y - u = 0. Solve -3*g + v - 11 = x, 3*v = 3*g + 7*v + 1 for g.
-3
Suppose -15 = -u + 6*u, 2*z = 4*u + 22. Suppose 4*k + 8 = -4*g, -4*g + 17 = -z*g - 4*k. Solve 20 = -5*w + 5*f, g*f + 3 = 5*w + 15 for w.
0
Let b be 250/(-3) + 4/3 + -2. Let c be (48/b)/((-4)/14). Solve 2*a - 3 = -4*j - 15, 0 = -c*a for j.
-3
Let g(q) = -19*q + 327. Let y be g(17). Solve -y*v = -4*t - 0*t + 12, 5*v - 4*t = -16 for v.
-4
Suppose 2*a = 5*a - 12. Let x be (9/a)/((-3)/(-8)). Suppose 5*k = f - 2, 0*k + x = 3*k. Solve 2*l + f = 4*p, 5*l - l = 8 for p.
4
Let x = 36 - 40. Suppose -2*n - 18 = -5*n. Let d = x + n. Solve -3*v + 4*c = 2*v + 5, 5*c = 2*v + d for v.
-1
Let k be (-2 - 29/(-5)) + 26/130. Solve y - 2*m + 16 = 5*y, 4*m - 20 = -k*y for y.
3
Let y(o) = 3*o + 29. Let x be y(-7). Let g(w) = w - 5. Let i be g(x). Solve -5*f - i*d = -7, 4*f + 6 = 2*f + d for f.
-1
Let m = -28 + 30. Solve m = d - 2*q + 4*q, -3*d - 9 = q for d.
-4
Let k = 57 + -57. Solve f + k*f = -5*j - 12, 0 = -j + f for j.
-2
Let n(f) be the first derivative of 10*f**3/3 - 5*f**2/2 + 4*f + 26. Let l be n(1). Solve 4*c + 4*s - l = -c, -3*c + 7 = 2*s for c.
5
Let v(o) = -o**2 - 3*o + 7. Let b be v(-4). Let f be 29 - (b + (-3 - -3)). Let u = -24 + f. Solve -4*n = l + 22, 3*l - u*n = -l + 2 for l.
-2
Let d(s) = 2*s**2 - s - 2. Let l be d(2). Suppose -3*q - 43 = -28. Let x = -3 - q. Solve x*t + 18 = -4*j, t + 5 = -l*j - 8 for t.
-5
Let s = 169 + -159. Solve 6*g - 5*d = 4*g - s, 5*g - 5*d + 25 = 0 for g.
-5
Let n(g) = 2*g**2 - 33*g + 50. Let r be n(15). Solve 0 = -r*m - 3*z + 8, 0 = -5*m + z + 2 + 2 for m.
1
S