+ 2*t**2 - 3*t + 3. Let h be x(3). Let p = -37 + h. Solve -3*m - 3*o - 9 = 0, 0*m = p*m - 4*o for m.
-2
Let n(v) be the second derivative of 2*v**3/3 - 13*v**2/2 + 13*v. Let u be n(6). Solve 3*i + 7*k - 2*k = 19, -2*k - u = -5*i for i.
3
Suppose -2*s - 18 = -5*h - 4, 5*h + 3*s = 4. Solve -4*b = 4*y, -h = -5*b - 4*y - 6 for b.
-4
Suppose 18 = 796*f - 787*f. Solve 5*j + 2*w + 5 = -3*w, f = -2*j - 3*w for j.
-1
Suppose 0 = 2*y + 5*y - 14. Solve -2*z = w - 3, 7*z - y*w = 4*z - 13 for z.
-1
Let c(q) = -2*q**2 + 51*q - 70. Let h be c(24). Solve 5*p - h*i = -10, -5*p + i = 2*i - 5 for p.
0
Let f(k) = 3*k**2 - 23*k + 2. Let p be f(8). Solve -4*u - 30 + p = 5*y, -3*u = 0 for y.
-4
Let l(y) = -y**3 + 3. Let j be l(0). Let n be (1 - -11)*2/j. Let i(h) = h**3 - 8*h**2 + h - 4. Let z be i(n). Solve -z*x = -2*u - 2, 2*u - 3*x - 4 = -2*x for u.
3
Let y = 2253 + -2251. Solve 3*z + 3 = -3*g - 15, -y*z - 3 = -g for z.
-3
Let x = -11 - -16. Suppose 4*r - x = -r, 3*r - 3 = -5*i. Solve 2*m + 0*b + 3*b = -9, i = m + 4*b + 12 for m.
0
Let q be (-3 - 62/(-1))/1. Suppose -7*f + 10 = q. Let u = f - -9. Solve 0 = 2*t - 6, -5*n - 3*t + 22 = -u for n.
3
Let x be (-1 - (-1 + 0))/(-2). Let h(m) = -4*m + 10 + x*m + 5*m - 1. Let i be h(-7). Solve -i*p - b = -10, p - b - 5 = -3*b for p.
5
Let r = -6 + 6. Let s = 160 + -157. Solve o + 4*o + 9 = -s*q, r = -2*q - o + 1 for q.
2
Let q(m) = m**2 + 6*m + 8. Let h be q(-7). Solve 3*x - h = -0*u + 2*u, -5*u + 3*x - 15 = 0 for u.
0
Let n(y) = y - 9. Let c be n(6). Let z(g) = -g**3 - g**2 + g - 2. Let r be z(c). Let u = r - 12. Solve 7 = k + 3*j, u = -k + j + 4 for k.
4
Suppose -3*g = -4*g - 10*g. Solve g = -3*a + 15, 0 = -2*b + 3*b + a - 2 for b.
-3
Let r = -53 + 56. Suppose -3*o - 1 = 4*q - 3, 0 = -r*q - 5*o - 4. Solve -20 = -2*m + 4*m - 3*w, 16 = -q*m + 2*w for m.
-4
Suppose -3*y + 18 = d, 0 = -4*y - 42*d + 47*d + 5. Solve 20 = y*q, -5*q + 20 = t - 3*t for t.
0
Suppose -2*m + 15 = -37. Let a(d) = d**3 - 3*d**2 + d + 2. Let l be a(2). Suppose -m*o + 23*o + 6 = l. Solve -3*r + p + 1 = 0, 4 - 6 = 2*r - o*p for r.
1
Let a(q) = -8*q + 19. Let f be a(2). Solve -2*k - f*d = -0*k - 23, -2*d = -3*k + 2 for k.
4
Let s = -9 + 23. Let x be 138/21 + (-8)/s. Solve 3*o + 2*g - 3 = 2*o, 3*g + x = 2*o for o.
3
Let o(g) = 2*g**2 - 12*g + 15. Let p be o(5). Solve 0 = 3*c + 6, -p*c + 4 = 2*a - 2*c for a.
5
Let d(w) = -w**3 + 5*w**2 - 6*w + 3. Let o be d(2). Suppose o*f - 8 = 1. Suppose r = -f*i + 5, 0*i = -i + 4*r - 20. Solve i = -u - 2, -3*u = -3*v + 4 - 1 for v.
-1
Suppose -3*s + 0*s = -3*m - 66, -29 = -2*s - m. Suppose 18*h = s*h + 2. Solve -h*v = -3*o - 3, -v = -0*v + 5*o - 8 for v.
3
Let d be -1 - -1 - 14/(-7). Let i be (6/4)/(33/12 - d). Solve -m = -5*o - 18, 5*m - 9 = -0*o - i*o for m.
3
Suppose -5*h - 3*o = -4*o - 171, -4*o = -2*h + 54. Solve -4*v = 4*b - b + h, 0 = 5*v - 3*b + 10 for v.
-5
Let y(o) = o**3 + 16*o**2 + 13*o - 20. Let n be y(-15). Let b = n - 8. Let g = -48 + 53. Solve -h = g*x - 2*x - 10, -b*h + 16 = 5*x for h.
-2
Let g be 12 - (-6 + -3 + 16). Let t(v) = 10*v - 2. Let a be t(-2). Let b be (-10)/25 - a/g. Solve 4*n + 8 = n + 5*w, 3*n - b*w = -4 for n.
4
Let v(p) = -2*p - 6. Let g be (2 - (6 - 4))/1. Let w be v(g). Let z be (10/(-6))/(w/18). Solve -2*s - 5*i = -0*s - 22, -3*s = -2*i + z for s.
1
Let m(w) = 2*w**2 - 8*w - 64. Let i be m(-4). Solve -n + 3*s + 5 = 0, -3*n + 2*s + s + 15 = i for n.
5
Let a(s) = -s + 10. Let x(t) = t**3 - 8*t**2 + 6*t + 17. Let o be x(7). Let r be a(o). Solve 4*m - 2*u + 10 = 0, r*m - 5*u = m - 25 for m.
0
Let o be 3/2 + 57/(-38) - -50. Suppose -4*d - 6*d = -o. Solve -d*s - 4*a = -5, -s = -0*s + 3*a - 1 for s.
1
Let d(o) = 7*o + 284. Let w be d(-40). Solve -2*j = -q, -2 = w*q + 6 for j.
-1
Suppose -11 = -7*o + 73. Solve -3*v = -4*c + 9, 0 = c - 5*v + v - o for c.
0
Suppose 2*l = 7*l. Let q be l/2*(-8 + 9). Suppose w + q*w - 2 = 0. Solve -5*h = 3*z + 17, w*h - 2*z - z + 11 = 0 for h.
-4
Suppose c = -0*c. Let y be -2 - (-7 - (-5 + 4)). Solve 0 = -y*w + 20, -d + 3*w - 2 - 10 = c for d.
3
Let r = 25 - 46. Let h = r - -9. Let j be ((-18)/h)/((-1)/(-2)). Solve 0 = -3*x - 4*i + 23, j + 6 = -x + 2*i for x.
1
Let n(k) = 3*k**3 + 2*k - 1. Let t = 3 + -2. Let a be n(t). Solve -2*i - 11 = 5*w - 4*w, -a*w = 5*i + 32 for i.
-4
Suppose -144 + 130 = -7*i. Solve 4*m = -4*d, m - i = -0 for d.
-2
Suppose q - 7 = -3*l + 13, 5*l - 4*q - 5 = 0. Solve -3*a - 2*v = -15, -6*v + v + 25 = l*a for a.
5
Let b(m) be the first derivative of -m**3/3 + 17*m**2/2 + 3*m - 19. Let s be b(17). Solve -4*t + 3*o = -14, 3*t + o - s*o - 10 = 0 for t.
2
Let f be 15/24*4*46. Let p = 122 - f. Solve -5*v + 2*y - 10 = -24, -p = 2*v - 5*y for v.
4
Let k(z) = z**3 + 40*z**2 + 113*z + 77. Let x be k(-37). Solve b - 5*b = -x*q + 16, 2*q = -4*b - 16 for b.
-4
Suppose -o - 10 = -6*o. Let t = o + -2. Solve -4*m = 4*f - 24, t*m - 5 = 5*f - 2*m for f.
1
Let a be -2*(-3)/(-6) - -6. Let s = a + -2. Suppose -3*d - 3*y = -3, -5 = 4*d + 3*y - 12. Solve l + 4 = s*h + h, d = 2*l + 4*h for l.
0
Suppose -272*z = -265*z - 42. Solve -2*m = -3*i + 1, -3 = -3*m + i + z for m.
4
Let u(b) = 3*b + 16. Let v(j) = 5*j + 24. Let p(i) = 8*u(i) - 5*v(i). Let g be p(4). Solve 3*o + 6 + 4 = 2*y, 3*y = -5*o - g for o.
-2
Suppose 3*g = 3*b + 3, 2*b - 16 = -0*g - g. Let s be 5*(0 - (-8)/5). Solve -2*a = -x + s, 4*a + g = 4*x - 10 for a.
-4
Let y be 9/18 - -1*(-1)/2. Suppose -2 = -2*o, -5*o + 1 = -2*q - y. Solve -q*i + 5*i - 13 = -5*u, -2*i = -2*u + 2 for i.
1
Suppose -29*p = -32*p + 12. Solve 4 = -2*a, 2*a = p*m - a + 10 for m.
-4
Let n(z) = -z**3 - z**2 + z - 2. Let b be n(-2). Suppose b = -2*y + 7*y - 25. Solve 5*h + 6 = 3*l - 2, -5*l = y*h for l.
1
Suppose 28 = -106*w + 120*w. Let h be 13 + 1 + 5 + -6. Let i = -8 + h. Solve 4 = w*t - 2*p, 2*t + 2*p - 17 = -i for t.
4
Let c(h) be the first derivative of -h**4/4 - 2*h**3 - h**2/2 - 4*h - 5. Let f be c(-6). Suppose 2*q = -f*q. Solve -5*k = 0, i - 5*i + k + 4 = q for i.
1
Let b be -14 + 516/36 - (-28)/6. Solve -b*c + k + 15 = -k, 2*c - 4*k = 22 for c.
1
Suppose 7 = 2*o - 7. Suppose -o*f = -4*f. Let d = 59 - 57. Solve 12 = d*k - 5*h, 4*h + 4 = 3*k - f*h for k.
-4
Let i(s) = -s**2 + 24*s - 52. Let g be i(24). Let n = g - -52. Solve n = 3*a - 2*v + 1, -4*v + 2 = -a - 5*v for a.
-1
Let w(f) be the first derivative of 2*f**3/3 - 3*f**2/2 + 4*f + 8. Let p be w(1). Solve 8*u = p*u + 2*v - 17, -3*v = -2*u - 9 for u.
-3
Suppose 4*j = -k + 4, 0*j - 5*k = -2*j + 2. Suppose 0 = -z - j + 3. Solve -3*o + 6 = -m - z, 0 = -2*o + 2 for m.
-5
Let c = 32 + -42. Let l be (468/15)/4 + (-2)/c. Solve 5*q + l = 3*m, -m - 1 = 4*q + 2*m for q.
-1
Suppose 2*f - 19 = 5*n, f + 2*n = -2*f. Suppose -f = c - 4. Solve 2*i = c*x - 8, -2*x + x = -3 for i.
-1
Let p be 136/(7 + 1) - 6. Solve 3*r + 3 = -3*o, -4*r = -4*o + p + 9 for o.
2
Let p(x) = x**3 + 4*x**2 + 3*x + 1. Let i be p(-2). Suppose 5*n - i*n = 6*n. Solve 3*s - 10 = 5*c, n*s = 4*s + 2*c + 4 for s.
0
Suppose d + 2 = -3*o, -19 = 4*o + 5*d - 9. Suppose -2*c - 4*k = -12, c - 11 = -3*c + 5*k. Solve o = -3*r - 5*u + 24, -c*u - 18 = -5*r - 5*u for r.
3
Let r(v) = -4*v. Let d be r(-2). Let b be (-18)/d + 5/20. Let l be (-3 - 0)/(-3 - b). Solve 0 = 2*n - m + l, n + 6 = -3*m + 2*m for n.
-3
Suppose 0 = -8*w - w. Suppose -3*d + 5*d - z = -7, 2*d + 4*z = -22. Let b = w - d. Solve 0 = -4*q - b*j + 5, 0*j - 3 = -5*q - 3*j for q.
0
Let j = -1 + 5. Suppose -2 = -4*k + 3*k. Solve k*g + 3*g = -j*w - 36, -2*g - 2*w = 16 for g.
-4
Let f = 542 + -537. Solve -f*o = -2*l, 2*l + 0*l + 3*o = 0 for l.
0
Suppose -7*n + 2*n = 3*f + 3, 2*f + 2 = 4*n. Solve n*m + 5*l = -3*m, -3*m = -l - 18 for m.
5
Let l(n) = -n**3 - 11*n**2 + 25*n + 7. Let s be l(-13). Suppose -f - f + 28 = 2*h, 0 = -2*h + f + 43. Solve -2*p + h - 7 = y, 0 = -2*p - 3*y + s for p.
4
Suppose -2*o - s = -5*s + 16, 0 = -2*o + 3*s - 11. Let v be 225/(-36)*4/(-5). Suppose -2*y = -0*y. Solve 4*l = o*l - 4*p + 4, -5*l + v*p + 10 = y for l.
2
Suppose 7*x = -3*b + 2*x + 43, 39 = 4*b + 3*x. Suppose -4*g + 6*g - 10 = -5*p, -g + b = 3*p. Solve 5 = 3*u + 6*j - p*j, 5*u + 50 = 5*j for u.
-5
Suppose 4*l - 7 = -c, -2*l + 5*l + 5*c + 16 = 0. Let w(d) = -4*d - 4. Let p = 48 + -50. Let a be w(p). Solve -a*t - t = -2*i, -3*t = l*i + 21 for i.
-5
Let m = -5 + 6. Let n(x) = x**3 + 8*x**2