cond derivative of -x**4/12 + 11*x**3/6 - 5*x**2 + 3*x. Let q be k(10). Suppose -3*o - y + 1 = y, q = 3*o + y - 5. Solve 6*n = o*n - 12 for n.
-4
Let v be 12/(-30) - 36/(-15) - -5. Suppose -4*j + 4*f - 2*f = -4, 0 = 5*j - 4*f - 2. Suppose -j*t = 3*a - t, -2*a - t = 0. Solve a = -v*i + 2*i for i.
0
Suppose 22 = 5*z + 12. Solve l - 5 + z = 0 for l.
3
Suppose -16 = -5*v + 3*v. Let o be (v/10)/((-15)/(-300)). Solve -4*g - o = -0*g for g.
-4
Let j(x) be the second derivative of x**4/12 - 3*x**3/2 + 9*x**2 + 3*x. Let r be j(6). Solve r = -0*l - l for l.
0
Let p(m) = -m**2 + 4*m - 1. Let v be p(6). Let r = 19 + v. Solve r = -i + 1 for i.
-5
Suppose 0 = 80*j - 83*j + 309. Solve -j*x = -107*x for x.
0
Suppose 0*r = 17*r - 34. Solve r*l - 9*l + 21 = 0 for l.
3
Let f(g) = g**3 - 5*g**2 - 6*g + 2. Let n be f(6). Let c = 22 - 23. Let q be 30*c/(0 + 1 + -4). Solve -q = 4*t - n for t.
-2
Let t be 11*(8/2 + -3). Solve 14*f - 6 = t*f for f.
2
Suppose 2*u + u - 12 = 0. Suppose 4*d - 2*d = u*k + 34, 3*k - 12 = 0. Suppose 5*i = -5 + d. Solve 2*c - 12 = -i for c.
4
Suppose -3*c = 8*c - 33. Solve 0 = -0*k + c*k for k.
0
Let c = -330 + 333. Solve -8*z = -11*z + c for z.
1
Let x(u) = u**3 + 7*u**2 + 4*u - 4. Let i be x(-6). Let a be 75/6*(-7)/((-28)/i). Solve a = -5*o - 0*o for o.
-5
Suppose 2*n + n - 54 = 0. Let y be (4/n)/(10/90). Solve f = -0*f - y for f.
-2
Let b = -25 - -25. Suppose b = -3*h - 2*v + 4*v - 4, -4*h = -5*v + 17. Solve 4*y = -h - 6 for y.
-2
Suppose -31 = 7*z - 73. Solve 0 = z*a - 2*a - 8 for a.
2
Let b = -79 + 57. Let x = 42 + b. Solve x = -2*z + 7*z for z.
4
Suppose r + 5*d = -26, 5*r - 3*d = -d + 5. Let s be (-13 + 1)/(-1 + r). Solve -y - s = -4 for y.
-2
Let t = 316 - 309. Solve -4*j = -t + 23 for j.
-4
Let n(u) = 2*u**2 + 21*u + 17. Let i be n(-10). Solve -q + 8*q = -i for q.
-1
Let q be ((-40)/14 - -3) + 14/(-98). Solve q*h = 2*h - 10 for h.
5
Let w = -601 + 604. Solve -9*m + 6 = -w*m for m.
1
Let n = -23 + 23. Suppose n = -o + 2*q + 12, -5*o + 42 = -5*q - 18. Solve y + o = 14 for y.
2
Suppose 4*s = 32 - 4. Suppose 3 - s = -a. Solve -6*o - a = -4*o for o.
-2
Let s(x) = x**3 + x**2 + 3. Let a be s(0). Suppose 12*z = 15*z - 48. Solve 0 = a*g + z - 4 for g.
-4
Let i(p) = -23*p - 181. Let o be i(-8). Solve -7*r + o = -10*r for r.
-1
Let h be (-3)/(5/(-3) + 2). Let q be (-24)/h - 3/(-9). Suppose 49 = 4*z + 5*w, -5*z = -3*z + 2*w - 22. Solve 0 + z = q*r for r.
2
Let h(k) = 3*k + 3. Let y be h(-1). Solve 0 = -a - y*a for a.
0
Let n = 81 - 56. Let d = -48 - -43. Let w be ((-2)/1)/(d/((-60)/(-8))). Solve w*i + n = -2*i for i.
-5
Let j = 84 + -71. Let o(w) = -8*w**3 - 2*w**2 + 1. Let r be o(1). Let b = j + r. Solve 10 = b*u + u for u.
2
Suppose 15 = 3*z - 4*l - 53, -5*l = -3*z + 70. Let a(r) = -42*r - 920. Let i be a(-22). Let y = 11 - 11. Solve y*t = -i*t - z for t.
-5
Suppose 216 = 4*h + 4*a, 87 = 2*h - 5*a - 0. Solve -3 = 27*i + h for i.
-2
Suppose 0 = 3*n + 15, -3*n = -z + 49 - 30. Solve d = z*d - 12 for d.
4
Suppose 567*i = 559*i + 88. Solve i*t = -4 - 18 for t.
-2
Suppose 5 - 5 = -4*s. Solve s = -t - 7 + 12 for t.
5
Suppose -6*d - d = -14. Let o be (-1 - (-4 - -1))/d. Solve 0 = -f - o - 1 for f.
-2
Let v be 6/10 + 6/(-10). Suppose p + p - 2 = v. Let h be 74/14 + 8/(-28). Solve -h = f - p for f.
-4
Suppose -2*w = 3*p - 13, w + 5*p = -4*w + 35. Let s = 12 - w. Suppose 4*m - 30 = 2*v, -4*m - 2*v + 12 + 6 = 0. Solve 0 = -2*b - s - m for b.
-5
Suppose 0 = 2*p + 5*n - 35, 16 + 7 = 2*p + n. Suppose -40 = -2*b + 4*k - 9*k, 5*k = 4*b - 20. Let l = p - b. Solve l = 5*t - t for t.
0
Let n be (-8347)/(-204) + (-1)/(-12). Solve 12*b - n = -5 for b.
3
Let c(u) = u**2 + 12*u - 26. Let h be c(-14). Suppose h*t - 6 = 34. Solve 0 = t*g - 23*g for g.
0
Let p(l) = -16 - 4*l - 7*l**3 + 24*l**3 - 6*l**2 - 16*l**3. Let h be p(7). Suppose -35 = -h*i + 3*m, 21 = -i + 2*m - 7*m. Solve -o + i = -0*o for o.
4
Let j(y) = -6*y**2 + 3*y - 7. Let q(d) = -5*d**2 + 3*d - 6. Let l(h) = 4*j(h) - 5*q(h). Let f be l(2). Suppose 0 = -0*t - 4*t + 4. Solve -w - t + f = 0 for w.
-1
Suppose 5*i = 2*z + 41, 4*i + 2*z - 45 = -5. Suppose 4*b - 5 + 1 = -4*k, 2*b + 33 = 5*k. Suppose 2*d = k*d - i. Solve -d*m = 18 - 6 for m.
-4
Let l = -12 - -16. Suppose 4*z + 10 = -z - 5*u, 0 = l*z - 4*u - 32. Solve 0 = -a + 1 + z for a.
4
Suppose 0 = -0*t - 2*t + 4. Suppose -2*h + 2*b + 14 = -t, -4*b = -h + 20. Solve -2*g - 2*g + h = 0 for g.
1
Suppose -2*m + m + 4 = 0, 4*m + 34 = 2*h. Let j = h + -4. Let q = j + -19. Solve 7*l = q*l + 10 for l.
2
Suppose 45 = -3*m + 3. Let b = m - -10. Let t = b + 8. Solve t = -5*k - 11 for k.
-3
Let i(p) = -p**2 + 3*p - 31. Let d be i(0). Let u = d - -48. Solve -4*k - 5 = -u for k.
3
Suppose 0 = q + 24 - 41. Solve -10*n + q = 47 for n.
-3
Let i be 12*1 + (-39)/13. Suppose 3*k + q = 2*k + 4, 5*k - 3*q - 20 = 0. Solve k*p - i = 7 for p.
4
Let d(a) = -a + 8. Let j be d(5). Suppose -4*r + 332 = -5*t, j*r - 4*t - 256 = -2*t. Let v be 424/r - (-2)/11. Solve 5*o - 15 = v for o.
4
Let n be (3 + -2)*-2 - -7. Solve -n*w = -0*w for w.
0
Suppose 4*d - 3 + 7 = 0, 4*d + 6 = l. Solve 0 = 2*i - 2 - l for i.
2
Let u be -6*3/6 + 45/9. Solve -u*s = -4*s for s.
0
Let a be 2 + (-10 - (-1)/(-1)). Suppose 40 - 340 = -30*l. Let b = l + a. Solve 2 - b = -s for s.
-1
Suppose -b + 3*b = 12. Suppose -3 - 24 = -9*g. Solve a + b = g*a for a.
3
Suppose -35 = -3*w + 4*c, -3*c = -4*w + c + 40. Suppose 0 = w*s - s - 48. Solve 3*h - s = 6*h for h.
-4
Let c(s) = 29 - 4*s**2 + 16*s - 2*s**2 + 7*s**2. Let d be c(-14). Solve -d = 4*p + 3 for p.
-1
Let c(w) = -w**3 + w - 1. Let x(i) = 7*i**3 - 10*i**2 - 17*i + 3. Let s(o) = -6*c(o) - x(o). Let q be s(11). Solve q*h = -0*h for h.
0
Let l(h) = -4*h - 4. Suppose r + 0 + 6 = 0. Let m be l(r). Suppose 5*z - 3 = 7. Solve -z*u + 7*u = -m for u.
-4
Let c(j) be the second derivative of -j**3/3 + 9*j**2 + 3*j + 8. Let k be c(0). Solve -5*g = k + 2 for g.
-4
Suppose 60 = 2*u + 8*u. Solve -u*m = -m - 20 for m.
4
Suppose -a + 4 = 2*y - 9, -3*y = -9. Solve a = 5*s - 3 for s.
2
Let o(z) = z**2 - 5*z - 3. Let i be o(6). Let v = -32 - -51. Suppose 0 = c - v + 4. Solve -2*t - i*t = -c for t.
3
Let o(m) = m**3 - 9*m**2 + 10*m + 4. Suppose 12*d - 7*d + 20 = 0. Let v be 24*(d + 13/3). Let z be o(v). Solve z = -4*f + 8*f for f.
5
Let a = 128 - 127. Let y be 3 + 2 + -1 + a. Solve m = y*m - 12 for m.
3
Let w = 314 + -290. Solve -2*m - w = -8*m for m.
4
Suppose 4 = 2*v + 2*t - 8, 0 = -5*v + 5*t + 10. Suppose -v*a + 1 = -7. Solve a*i + 4 = -4 for i.
-4
Suppose -28 = -2*u - 4*w + 8, -4*u + 48 = -4*w. Solve u*r - 12 = 44 for r.
4
Suppose -242 = 18*r - 422. Solve b = 6 - r for b.
-4
Let y be ((-5)/2 - -4)/(1/2). Solve -m + 1 - y = 0 for m.
-2
Let n be (-8)/6*(-39)/26. Solve -3*f + 7 = -n for f.
3
Let j(v) = -v**2 + 6*v - 11. Let d be j(6). Suppose -28 = 2*i + 4*p, 2*i + 34 = -3*i + 2*p. Let c = i - d. Solve c*r = -r for r.
0
Suppose 14 = 22*d - 15*d. Let p = -3 - -5. Solve 2*u = -p - d for u.
-2
Let u(i) = -i - 1. Let q(l) = -7*l - 6 - 14*l + 22*l. Let d(k) = -q(k) - 2*u(k). Let b be d(-6). Solve 7*a = b*a - 25 for a.
-5
Let r(f) = f**3 - 6*f**2 + 5*f + 1. Let v(n) = -n**3 - 14*n**2 + 7. Let j be v(-14). Let b be (j - 6)/(1/5). Let h be r(b). Solve 0 = 5*d - h + 11 for d.
-2
Let u(m) = 3*m - 34. Let t be u(11). Let r be ((-36)/(-45))/(t/(-5)). Solve 5 = o + r*o for o.
1
Suppose 4*g + 3*d = d + 20, 5*g = 3*d + 25. Suppose 3*r = -3*y + 12, -4*y + 4 = g*r - 3*y. Solve -16 + r = -4*x for x.
4
Let t = -60 - -72. Suppose 0 = -4*w - 2*v + t, 5*v + 8 = v. Solve w*x - x = -12 for x.
-4
Let a be 2 + (-676)/(-36) + 8/36. Solve -2*h = -9*h - a for h.
-3
Let f = 19 + -19. Solve u + f = 3 for u.
3
Let j = 39 + -26. Solve 5*x = -j - 7 for x.
-4
Let k = -20 - -22. Let c(b) = -b - 4. Let j be c(-7). Suppose -r - j*r = 0. Solve k*o + 5 - 15 = r for o.
5
Let v be (-6)/(-4) + (-2)/4 + 5. Let r(c) = -c**3 + 3*c**2 + 4*c - 1. Let s be r(4). Let g = s + v. Solve 4*x + x = -g for x.
-1
Suppose 0 = k - 0*k - 2. Let x be k - ((1 - 1) + 0). Solve -7*o = -x*o for o.
0
Let z be 6 - (-4)/2 - (3 + 2). Suppose o - 2*t = 20, 0 = o + 3*t + 5 - 0. Suppose -z*l - 4 = -o. Solve 0 = 2*n + 10 - l for n.
-4
Suppose -2*q - 2*j = 6, 0 = 2*q - 2*j - 2*j - 6. Suppose 3*h + 2*x + 7 = 0, 5*x + 6 = -2*h + 5. Let k be q - -1 - 6/h. So