) be the first derivative of -u**3/3 - 3*u**2 + 42. Let s be w(0). Let l(c) = -c**2 + 3*c + 4. Let b be l(3). Solve 0*t - 4*t + b = s for t.
1
Suppose -7 = 142*q - 143*q. Solve q*n = 8*n + 3 for n.
-3
Let g be -1*1*(-13)/104*0. Solve 2*p + 8 + 0 = g for p.
-4
Let v be (-44)/(-66) - (-2)/(-3). Let g(r) = r**3 - 8*r**2 + 8*r. Let q be g(7). Suppose -30 = 3*m - 5*m + 5*f, q = 3*m + 2*f. Solve -m = -v*i - i for i.
5
Suppose 0 = 4*x + 4*f + 52, 3*x + 4*f = 4*x + 28. Let l = x + 23. Solve -4 = -l*a + 3*a for a.
1
Suppose u = -79 + 151. Suppose -8 = 16*h - u. Solve 2*t = -0 - h for t.
-2
Suppose 5*o = 3*n + 40, 9 = -2*n - 1. Solve -f = -0 - o for f.
5
Suppose -4 + 1 = 5*a - 2*o, 2*a - 1 = 3*o. Suppose j = -3*j - 12. Let d = a - j. Solve 0 = 3*s - 7 - d for s.
3
Suppose 5*o + 5*o = -4*o. Solve o = -3*x + x + 10 for x.
5
Let y = 8 - 0. Let v(h) = -2*h**2 - 16*h - 22. Let k be v(-6). Suppose 0 = -3*z - 2*c - k*c + 18, 5*z + 5*c - 25 = 0. Solve -6*m = -z*m + y for m.
-2
Suppose -3*r - 4*i + 115 = -0*r, 0 = -r + 5*i + 70. Let q be ((-1)/3*4)/(r/(-135)). Solve -q*j - 1 = -17 for j.
4
Let o be (-15428)/(-348) + (-4)/(-6). Solve 0 = 6*j + 3*j - o for j.
5
Let q(a) = 3*a**2 + 14*a + 11. Let y be q(-4). Solve 5 = y*c - 10 for c.
5
Let b(x) = 8*x - 19. Let m be b(3). Solve -2*j + 1 = m for j.
-2
Let o(z) = -z**2 + 10*z + 16. Let w be o(11). Suppose 33 = 16*c - w*c. Solve -c = -2*j + 1 for j.
2
Let o(x) = 13 + 3*x - 5*x - 9 - 10. Let m be o(-6). Suppose -5*r - m = -8*r. Solve 15 = -r*j - 3*j for j.
-3
Let r = 11 - 7. Suppose 0 = -r*p + 4*t - 156, 6*p + 225 = p - 5*t. Let f be (-23)/(-7) + 12/p. Solve -f*w - 12 = w for w.
-3
Let r = -91 - -100. Let x be 5/(15/r) + -3 + 0. Solve -25 = 5*d - x*d for d.
-5
Suppose s - 20 = -4*s. Suppose 4*o - 49 = l, -s*o = 2*l - l - 47. Suppose 8*b + o = 10*b. Solve -r + 5 = b for r.
-1
Let c be -9*(-2 - (2 - 3)). Let s be 0/(c/(-6)*2). Suppose -3*w + 1 = -5*x, 3*x = -0*x + 3. Solve -b - w = -s for b.
-2
Suppose -998*z - 36 = -1004*z. Let r be 6/27 - 2/9. Suppose r*v = v - z. Solve -25 = -v*k + k for k.
5
Let t(l) = 4*l**2 + l + 2. Let k be t(2). Let z be -11 + 12 - 18/2. Let i = k + z. Solve 5*o + i = -13 for o.
-5
Let g(f) = -20*f**2 + 1. Let o be g(1). Let j = o + 20. Let k be (j + 1)/((-32)/(-48)). Solve 5 - k = -d for d.
-2
Let q = 923 + -819. Solve 110*a = q*a + 18 for a.
3
Let r = 104 + -79. Solve -4*o + 9*o = r for o.
5
Let j be (2 + -3)*(-6 + 1). Suppose 0 = 3*u - 41 + j. Suppose -2*s = -28 - u. Solve -s = -0*w + 4*w for w.
-5
Suppose 0*h = -3*h + 48. Let z = h + 4. Suppose 0 = 3*u - 3*x - 12, 2*x + 3*x = -3*u - z. Solve u = -4*t - 0*t + 4 for t.
1
Suppose -g - g - 2*l + 4 = 0, -4*l - 4 = 0. Suppose 15 = -3*n + g*s, 5*n + 2*s + 0 - 10 = 0. Solve -3*t - 2*t + 10 = n for t.
2
Suppose 0 = -3*q + 3 + 3. Suppose 0 = -2*d + 5*w - 19, -5 = 5*d - 5*w + 5. Suppose -17 = -d*z - q. Solve 5*n - z = -0*n for n.
1
Let y be -3*(-34)/6 + 3. Suppose -y = 3*p - 83. Let b = -19 + p. Solve -b*x = -0*x + 4 for x.
-2
Let u(g) = 15*g**3 + g**2 - g - 2. Let h be u(-1). Let p be (-6)/(-9) + 85/h. Let r(x) = x + 7. Let o be r(p). Solve -t + o = 5 for t.
-3
Suppose -3*x + 0 = 3, -2*d - x = -7. Suppose 0 = -2*h - 4*k + 28, 5*h + d*k - 16 = 4*h. Solve 0 = i + 2*i - h for i.
4
Let u be -5*(24/15)/(-4). Let a(c) = c - 12. Let g be a(15). Solve g*l - l = -u for l.
-1
Suppose -c + 8 = -2*z, 58 = 2*c + 2*c + 5*z. Suppose c = 3*h, 3*h = -2*j - 0*h + 68. Let x = -25 + j. Solve -5*f = -7 - x for f.
2
Suppose 0 = -5*y + 84 - 9. Solve 3*c - 6*c = y for c.
-5
Let l = -24 + 76. Let j = l + -23. Let o = j + -25. Solve -k = o - 1 for k.
-3
Let a(f) = 3*f - 1. Let p be a(1). Let m(u) = u + 6. Let l be m(-3). Suppose l*c = -c + 24. Solve 0*j + p*j = c for j.
3
Let x = 390 + -385. Solve 29*c - x = 28*c for c.
5
Let v = 1481 - 1416. Solve 11*f = -2*f - v for f.
-5
Suppose 0 = -5*c + 2*f + 1, 5*c = f + 1 - 3. Let o = 4 + c. Let x be 2*((-10 - -15) + (-2 - 2)). Solve o*k = k + x for k.
1
Let g = 50 + -35. Suppose -u + 2*a = 3, -g = -2*u - 0*a - 3*a. Solve 6 = -u*k + k for k.
-3
Suppose 12 = 3*m + 2*d, 4*m - 7*d + 2*d + 7 = 0. Let h(y) = 3 + 4*y**m + 2 - 4 + y + 0. Let i be h(-1). Solve -1 + i = j for j.
3
Suppose 5*v = 4*q + 9 - 1, -5*q - 10 = 5*v. Solve -2*s = -8 - v for s.
4
Let x = 66 - -24. Suppose 5*w - x = -5*h, 0*w + 3*w + 86 = 4*h. Let s = 21 - h. Solve -3 = -2*q + s for q.
2
Let z(y) = 32*y - 173. Let n(p) = 11*p - 58. Let s(o) = 17*n(o) - 6*z(o). Let r be s(8). Solve r = -2*d + 4 for d.
-4
Let u = 517 - 510. Solve c = -u*c for c.
0
Let k = 334 + -331. Solve -k = -4*w + w for w.
1
Let z(q) = -4*q + 129. Let c be z(30). Let l = 4 + 0. Solve -l*x = -x + c for x.
-3
Let l(b) = b - 3. Let r be l(6). Let s = -80 - -81. Let v(f) = -f + 8. Let k be v(6). Solve k*t - s = r*t for t.
-1
Suppose -2*a = 4*o - 4*a - 104, -5*o + 135 = -5*a. Solve 0 = p - 6*p - o for p.
-5
Suppose -77*p + 84*p = 0. Suppose -5*v + 3 = -4*u - 12, 15 = u + 5*v. Let j = -8 + 13. Solve u = -p*h - j*h + 20 for h.
4
Suppose 20*w - 22*w + 212 = 0. Suppose 5*r - 83 = -3*x + 26, -2*x + w = 5*r. Solve -3*f + 7*f = r for f.
5
Let i(j) = -j**2 - 2*j + 6. Let t be i(5). Let f = -27 - t. Solve -4*n = -f*n + 8 for n.
-4
Suppose -3*z - 3*a + 30 = 0, 6*a - 3*a = -4*z + 39. Suppose 4*b + 5*v - z - 16 = 0, -3*b + v = -33. Solve -2*f - b = -0*f for f.
-5
Suppose 2*a = 2*y + 18, -4*a - 15 = -a. Let z = -10 - y. Suppose 9 + 7 = 5*u - z*k, 5*u - 5*k = 20. Solve l = -u*l for l.
0
Let c(f) = -2*f**3 + f**2 - 4*f + 3. Let m be c(2). Let l = m - -13. Let b be 8/(-44) + l/(-22). Solve b*v = v for v.
0
Let y be ((-90)/3)/((-6)/4). Let j = y - 12. Suppose 3*x = x + j. Solve -25 = x*r + r for r.
-5
Let x = -368 - -380. Solve -2*g = -8*g + x for g.
2
Suppose 4*f - 6 = 2*l, l + f - 9 = -0*f. Suppose 4*z - 16 = l*k - 94, -5*k + 2*z = -74. Let d = k + -8. Solve d + 9 = -5*c for c.
-3
Let l(y) = y**3 - y**2 - 2. Let j be l(2). Let r(x) = -2*x - 4. Let p be r(-4). Suppose 0 = -2*s + 3*t + 5 - 2, 0 = p*s + 2*t + 2. Solve s = j*i + 2 - 0 for i.
-1
Let h(v) = 7 + 4*v - 8*v**2 + 0 + 9*v**2. Let s be h(-3). Solve -3*z + 19 - s = 0 for z.
5
Let p be (-66)/(-24) + (-3)/4. Let c = p + 26. Let m = -20 + c. Solve 12 = -4*w - m for w.
-5
Let x = -53 - -50. Let p(m) = -m**3 - 3*m**2 + m + 6. Let k be p(x). Solve -u = k*u + 4 for u.
-1
Let i = -62 - -64. Let h be 22/8 - (-2)/8. Solve i*m + h*m + 25 = 0 for m.
-5
Let r = -19 - -18. Let o be 15/(-20) + ((-39)/(-4) - r). Solve 0 = -5*h + 3*h - o for h.
-5
Suppose -4*x = 35*x + 14*x. Let i(b) = 9*b - b - 2*b**2 + b**2 + 2. Let v be i(8). Solve 2*h - v - 6 = x for h.
4
Suppose 2*y + 3*d = d + 6, -35 = -5*y - d. Let j(u) = -u**2 + 9*u + 8. Let o be j(y). Let i(g) = -2*g - 54. Let f be i(-27). Solve f*l - 4*l + o = 0 for l.
4
Let q be 4*((-38)/(-8) + -5)*-2. Solve q*z - 38 = -28 for z.
5
Let z = 74 - 70. Suppose -z*o + 15 = 3. Suppose -3 - 5 = -4*a. Solve a*b + o*b + 15 = 0 for b.
-3
Let s = -436 + 436. Solve s = w - 4*w - 9 for w.
-3
Let i be (-9)/(-2)*(-46)/(-69). Solve 3*g - i - 3 = 0 for g.
2
Let r be 4/68 + 15/(-255). Solve 0*u + u + 5 = r for u.
-5
Suppose -2*o = -4 + 14, -z = o + 3. Suppose -h + 2 = -z*h. Let w(a) = -a**2 - 4*a. Let l be w(h). Solve -2 - 2 = l*s for s.
-1
Let x(p) be the first derivative of 1/2*p**2 + 9 + 19*p. Let d be x(-10). Solve 11 + d = 4*z for z.
5
Let u(h) = -h**2 + 15*h - 30. Let j(v) = -v**3 - v**2 + 8*v - 4. Let t be j(-4). Let w be u(t). Solve 4*y = y + w for y.
2
Suppose 53*v = 10*v + 602. Solve -v*p + 8 = -16*p for p.
-4
Suppose 0 = -10*t + 15*t - 320. Let i = 89 - t. Solve j - 6*j = i for j.
-5
Let t(l) = l**2 + 4*l + 2. Let f be t(-4). Let c(b) = -b**3 + 6*b**2 - 6*b - 8. Let d be c(6). Let z = -41 - d. Solve f*u + 20 = -z*u for u.
-4
Let i be (-12)/((-6)/8 + 45/(-60)). Solve -i*z = -50 + 26 for z.
3
Suppose -4*z + 5*c + 76 = 0, 6*c + 54 = 3*z + 3*c. Suppose 9*b - z = 2*b. Solve -2*r = b*r - 4 for r.
1
Let x(c) = -8*c - 29. Let s be x(-6). Solve 14*k - 20 = s*k for k.
-4
Suppose 5*r - 1 = 29. Let k(o) = -o**3 + 6*o**2 + 5*o - 26. Let q be k(r). Solve q*c = c for c.
0
Let g = -78 - -79. Let s be ((-2)/5)/g + (-52)/(-5). Solve 0*x = 5*x - s for x.
2
Suppose -38 + 26 = -6*a. Suppose a*d = 6*d + 4*k + 20, 0 = 2*d - k - 5. Solve -r - 2 + 4 = d for r.
2
Let k = 