 t.
-2
Let o(k) be the first derivative of k**4/2 - 31*k**3/3 + 17*k**2/2 - 25*k - 125. Let g be o(15). Solve g*w - 15 = 5*d, 2*w + 3 - 1 = 0 for d.
-4
Let k be ((1 - 41) + 42)/((-2)/(-3)). Solve 5*d + 2 = -0*w + 4*w, -7*w + 15 = -k*d for w.
3
Suppose 31 = 3*k - 44. Let l = 115 + -106. Suppose -4*z - 6*m + 11*m = -l, 4*z = -2*m + 30. Solve -3*b = -5*i + 16 - z, 0 = -b - 4*i + k for b.
5
Let t = -581 + 585. Solve 0 = -5*k + 10, t*u + 5*k + 10 = 9*u for u.
4
Let q be (11 - 158)/(-1 + 0). Let d = 150 - q. Solve 0*s = -2*r - d*s - 22, 3*s = -12 for r.
-5
Let u(w) be the first derivative of w**3/3 + 3*w**2 - 65*w + 57. Let d be u(6). Solve 2*x = -3*c - d, -4*c + 14 = -x - x for x.
-5
Let l = 74 + -67. Suppose 7 + 28 = l*b. Solve 0 = -2*c + 2, q - 6 = -b*c + 4 for q.
5
Let f be ((-80)/(-300))/(((-32)/60)/(-4)). Let b be (4/14 - 2)*-7. Let g = b - -22. Solve g = -0*u + 3*u - 5*j, -u - j = f for u.
3
Suppose 18*z = 13*z + 15. Suppose 4*x = 5*g + 472, -2*g = 4*x + z*g - 432. Let p = -111 + x. Solve -p*d + 2*s + 14 = 0, d + s - 1 = -0*s for d.
4
Let w = 2099 + -2094. Solve w*q = 3*n - 35, 5*n - 37 = -3*q + 6*q for n.
5
Suppose -6 = -456*d + 453*d. Let x = 3 - 1. Solve j + d*j - i = 12, x*i + 9 = 3*j for j.
5
Let f = 57 - 102. Let v be (-10)/f*3*3. Solve -v*b - s = -b - 5, -5*b + 13 = -s for b.
3
Let u(q) = 6*q + 23. Let l(h) = h**3 - 12*h**2 + 3*h - 27. Let v be l(12). Let g be u(v). Let c = g - 77. Solve c = -4*a + n + 15, 9 + 1 = 2*n for a.
5
Suppose -3*l + 82 = 4*d, -4*l + 86 = -9*d + 11*d. Suppose 3*t = 6*t - 6. Solve 0 = t*v - 4*f - 24, -4*f = v - 0*f + l for v.
2
Suppose -648*b - 621 = -8397. Solve 5*v + 39 = 4*s, 0 = -7*s + 9*s - b for v.
-3
Suppose -16 = 4*i, -172*c + i + 24 = -167*c. Solve 3*g - 5*b + 16 = 0, -14 = 2*g - 3*b - c for g.
-2
Suppose 0 = 5*y - f + 1995, -3*y - f = 1836 - 631. Let c = -395 - y. Solve 2*x - 22 = -5*z + x, 3*x + 14 = c*z for z.
4
Let n(c) = 15*c - 1048. Let o be n(70). Solve o*l + 4*p - 6 = 0, -7*l - 13 = -4*l - 5*p for l.
-1
Suppose 396*p + 31 = 400*p - 73. Solve -4*o + 3 = q, p*q + 35 = 5*o + 21*q for o.
2
Let w = 710 + -705. Solve w*o - 4*g - 2 = 0, -o + 4*g + 2 = -8 for o.
-2
Suppose -5 - 4 = 3*m, 61 = 2*q - m. Let f = q + -26. Let o(a) = -a**3 - 6*a**2 - 11*a - 10. Let i be o(-4). Solve 0 = f*p + 3*v - 3, -3*v + i = -p + 11 for p.
3
Suppose 2*d = -d - 42. Let b = -25 + d. Let t be b/(-13)*(4/(-3) - -2). Solve n - 4 = t*m - m, -4*m - 3*n - 9 = 0 for m.
-3
Let o be 4 + (-2 + -1 - -3). Let c = 35 + o. Let a = c + -35. Solve 4*t + 4*k + a = 0, 0*t + 2*t - k = 1 for t.
0
Suppose 56*a = 51*a + 45. Let y be (a + (-7 - -3))/1. Suppose 0 = -y*v + 4*n - 5*n + 28, 2*n - 1 = v. Solve -5*i + 7 = 3*j, -5*i + v = -5 for j.
-1
Suppose 3389 = -135*q + 4874. Solve -5*t - y - 15 = 0, 8*t + 5*y = q*t + 9 for t.
-3
Let n = 15446 - 15353. Solve n*b - 12 = 92*b + 3*m, -2*m - 8 = -2*b for b.
0
Let t = -56 - -56. Let m be (-13)/(-3) + 20/30. Suppose 3*v + 22 = m*p, 3*p + 3*v = 4*p - 2. Solve -5*f + p*d - 2*d = -5, 2*f + 4*d - 2 = t for f.
1
Let l(g) = g**2 - g + 1. Let u be l(2). Let d = -258 + 518. Let b = 263 - d. Solve u*y - b = -5*s, 2*s + 5*y + 0 = 5 for s.
0
Let g(q) = -26*q + 3. Let w be g(-1). Let b be (-3 - w/(-5)) + 4/20. Solve -b*s - 4*n - 2 = -6, 5*s = -2*n + 16 for s.
4
Suppose -i = -4 + 2. Suppose -4*m = 0, i*b + 6*m - 5*m + 16 = 0. Let x = b + 11. Solve 1 = -2*r + 6*r + x*z, -2*r - 5*z = 17 for r.
4
Suppose -8*j = -15*j - 35. Let l be ((-50)/(-20) - 2)*(-1 - j). Solve -1 = 3*b + l*h, 2*b + 3*h = -3*b for b.
3
Suppose -3*a = a - 8. Suppose -5*i - 2*m = -3*m - 75, -a*m - 24 = -i. Suppose 51*c + 77 = 179. Solve 4*g = c*b + 10, -5*b = -2*g + 3*g + i for g.
1
Let n(p) = -p**3 + 28*p**2 - 31*p + 48. Let w = -68 + 95. Let z be n(w). Let m be (21/6*z/(-35))/2. Solve 4*a + 9 = -4*i + m*i, -6 = a - i for a.
-3
Let g be ((-18)/5)/((-21)/70). Let w = 80 + -79. Suppose 4*v + w = 3*a - 0*a, -v = -a + 1. Solve 2*t - 3*h = -9, -4*t - 2*h = v*h - g for t.
0
Let j(m) = m**2 - 12*m - 18. Let x be j(-10). Let p = 205 - x. Solve 7 + 0 = -2*w - k, -p*k + 29 = -4*w for w.
-5
Suppose 3*t = -3*x + 12, -x - x + 5*t + 29 = 0. Suppose -3*u + x*u = 12. Suppose u*g - 6 = 6. Solve 0 = -2*n + 2*b - g - 4, n - 2*b + 9 = 0 for n.
1
Suppose -196*s + 20 = -191*s. Let y be (-8)/s + 18 + -2 + -4. Solve 4*l = -4*a + 8, -2*l = -a + 3*l - y for a.
0
Suppose u - 2*y = -u, -2*u + 6 = y. Suppose 3*r - 3 = u*r. Suppose -r*c + 6 = -0*c. Solve 5*v = 4*t - 35, -5*t - c*v - 3*v + 10 = 0 for t.
5
Suppose 40 = 4*y + 2*w, 3*y - w - 29 = -2*w. Let a(m) = -9*m**2 + 2*m**2 - 2*m**2 + m**3. Let x be a(y). Solve -2*v + 2*n = 8, x = n - 6*n + 15 for v.
-1
Let r(a) = 602*a - 7188. Let g be r(12). Solve -6 = -5*y + 5*q - g, 3*y + 3*q = 24 for y.
1
Let y be 33 + 5/(-7 + 2). Suppose o = 9*o - y. Solve q = -o*z - q + 20, -4*q + 7 = -3*z for z.
3
Let w be (-2736)/(-1332) + 8/(-148). Solve 5*o = -0*o + 3*x - w, 4*o + 5*x = 28 for o.
2
Let n(t) = -2*t**2 + 10*t - 1. Let k be n(5). Let q be ((-44)/24)/((-3)/(-18)*k). Solve 5*b = -5*c + b - q, 5*b = -3*c - 17 for c.
1
Let l = 3474 + -3474. Solve -4*t = n + 2, 4*t + 3*n = -l - 6 for t.
0
Let i(t) = -t**2 - 4*t + 1. Let m be i(-3). Suppose -o - 188 = 3*y, -o = -2*y - 34 - 88. Let b = y + 74. Solve -2*u - u = -g - b, 4*g - m*u + 16 = 0 for g.
0
Suppose 3*d = -3*j - 39 + 57, -8 = -j - 3*d. Solve 0 = -j*h + 2*u + 8 + 1, 0 = 3*h + u - 12 for h.
3
Let x = 0 - -4. Suppose -1721*j - 403 = -1752*j. Solve -5*l + j = -3*m, 4*m + x*l - 6 = -l for m.
-1
Suppose -130*h + 20513 - 905 = 42*h. Solve -5 = -u + 4*m, u + 119 = -m + h for u.
-3
Let p be (18/63)/((-8)/(-84)) + -1. Solve -5*j + 4*j = p*k - 14, -5*j = 3*k - 35 for k.
5
Let r(a) = a**3 + 86*a**2 + 87*a + 172. Let z be r(-85). Solve -12*v + 24 = 2*h - 17*v, 12 = -z*h - 4*v for h.
2
Let d = 1304 - 1269. Solve -2*z = -3*x - 10 + d, -5*z - 30 = -x for x.
5
Let j = 5 - -1. Suppose s - j*s + 30 = 0. Let v = -178886 - -178904. Solve 2*z + 2 = 0, 5*p + 3*z + s - v = 0 for p.
3
Suppose 19 = -5*k + 3*b, -2*k - 3 = k + b. Let i be ((-21)/(-6)*k)/(2 + -3). Solve 2*s - 5*n = -8*n - i, -4*s - 3*n = 5 for s.
1
Suppose 152 = -0*r + 4*r. Let i = r + -23. Suppose -i = -3*w - 6. Solve -k = -2*k + w*t - 13, 4*k + 5*t + 1 = 0 for k.
-4
Let p(h) = h**3 + 91*h**2 + 88*h - 178. Let v be p(-90). Solve 2*c = v*i + 2 + 10, 5*i = 3*c - 26 for i.
-4
Suppose 0 = -5*t + 3*f - 0*f + 23, 3*t = 5*f + 17. Suppose -5*k + t*v + 12 = -17, 5*k + 4*v - 21 = 0. Solve k*w = -0*w + 5*z - 5, 2*w - 5*z = 1 for w.
-2
Suppose 4*k - 188 = 4*o - 44, -108 = -4*k - 2*o. Solve -5*c - k*l + 11 = -26*l, -5*l - 14 = -3*c for c.
3
Suppose 0 = -35*y - 9 + 254. Solve l + 2*r = -13, -2 = -3*l + 2*r + y for l.
-1
Let g(n) = -13*n**2 + 10*n - 1. Let w be g(1). Let s be -9*(1/1 + w/3). Solve z = h - 3*z + 16, -5*z = 3*h - s for h.
-4
Let s be (7/42)/((-3)/(-12))*3. Solve -b - r = 2, 4*b - 36*r + 38*r = -s for b.
1
Let s = -4112 - -4112. Solve -44*n + 11 = -48*n - 3*o, n + o + 3 = s for n.
-2
Let c be 150/(-120) + (-13)/(-4) + 0. Solve 2 = 2*l - c*g - 0, -3*l - 4*g + 31 = 0 for l.
5
Suppose -523 = 4*p - 555. Solve 2*k = -3*i - 6 + p, -5 = -5*k for i.
0
Let b = 100212 - 100203. Suppose k = -0*k. Let z = 3 - k. Solve 5*j - 4*j = -5*m + 17, z*m + j = b for m.
4
Let z(s) = s**3 - 7*s**2 - 3*s - 8. Let w be z(7). Let m(o) = o**2 - 12*o + 2. Let v be m(7). Let q = w - v. Solve 0 = y - 5*y + 2*h, h = q for y.
2
Suppose 598 + 374 = 12*z. Let x = -76 + z. Solve -5 = x*b + 4*t, 0 = 3*b - t - 4*t + 40 for b.
-5
Suppose -32 = t - 35. Suppose -3*a = -15, 3*o - t*a = a + 10. Suppose o*i = 11*i - 3. Solve 5*w = -z - 11, -6*w - i = -w + 3*z for w.
-3
Suppose 0 = 5*y - 11 + 1. Suppose -4*w = 3*f - 60, 44 = -y*w + 5*w + 2*f. Let s = -9 + w. Solve -3*b = -5*i - 6, 0 = -3*i - s*b - 0*b - 18 for i.
-3
Let q(w) = w**3 + 8*w**2 - 5*w + 3. Let l be q(-4). Let x = 92 - l. Solve 5*h = x*m + 10, 0 = -2*m - 0*m for h.
2
Let a(z) = 1096*z - 2190. Let s be a(2). Solve s*m - 12 = -4*v, -12 = -83*m + 87*m - v for m.
-2
Suppose -4*m - 21 + 261 = 0. Suppose -45*b + m = -33*b. Solve 2 = u + s + 5, -b*u - 3*s = 11 for u.
-1
Let q = 64 + -51. Let b(d) = 3*d - 45. Let p be b(16). Solve 0 = 2*h - 0*w - p*w + 9, 0 = -4*h + w - q for h.
-3
Let o(k) = -k**2 - 47*k - 40. Let i be o(-46). Let r(d) 