d derivative of o**5/12 - 3*o**2. Let g be y(-1). Solve -g*w + 4 = 24 for w.
-4
Suppose c = -3*c + 16. Let y(r) = -r**2 + 6*r - 1. Let k be y(5). Solve 3*i + k = c*i for i.
4
Suppose 3*u + 5*r = 4 - 1, -2*u + 2*r = -18. Suppose -2*b = b - u. Solve -b*i = -5*i + 12 for i.
4
Let d(p) = 4*p + 6. Let t be d(-1). Solve 0 = 2*c + t*c - 16 for c.
4
Let m = -1 - -1. Solve 0 = -m*q + 5*q + 20 for q.
-4
Let f = 49 + -46. Solve 2*u = f*u - 1 for u.
1
Let y(f) = -3*f - 9. Let x be y(-7). Let m = 14 - x. Solve 0*p = p - m for p.
2
Suppose -20 = -4*k - k. Let q = -9 + 16. Suppose 10 = 5*a - k*j, -2*j + 10 = q*a - 2*a. Solve -3*l = a*l + 5 for l.
-1
Let q be (-52)/(-9) + (-4)/(-18). Let x = 10 - q. Let v(m) = -2*m - 1. Let r be v(-3). Solve x*t + r - 25 = 0 for t.
5
Let s(g) = -g - 5. Let p be s(-7). Suppose 5*n = 3*i - 11, n = -2*i + 2*n + 5. Suppose -i*x = p*x. Solve 2*b - 4 = -x for b.
2
Let q be (-2)/10 - (-158)/(-10). Let x = 16 + q. Solve -s + x + 4 = 0 for s.
4
Let c be 5/7 - 14/(-49). Solve b - 2 = -c for b.
1
Let g(q) = -q**2 + 6*q + 5. Let r be g(6). Solve -r = k - 1 for k.
-4
Let i be -4*4*2/(-4). Let m = i + -4. Solve 0 = 4*o + m - 0 for o.
-1
Let j = 8 + -5. Suppose 3*c = -2*c, 0 = -a + j*c + 7. Solve -a + 1 = 3*t for t.
-2
Let p = -1 - -10. Suppose 3*f + 5*s = -33, 3*f + 3 + 6 = 3*s. Let h = f + p. Solve 12 = -h*w - 0 for w.
-4
Let a = -3 + -7. Let w be (16/a)/(24/(-60)). Solve -4 + 0 = -w*q for q.
1
Let v be -4 - -7 - (-1 + 4). Solve 3*k + k = v for k.
0
Let w be -2*(-2)/8*-42. Suppose 0 = 2*t - t - 29. Let c = w + t. Solve -3*n - 20 = -c*n for n.
4
Suppose 5*b - w - 2*w - 38 = 0, 27 = 4*b + w. Suppose -1 = -n, 5*d + 2*n + 0 - 12 = 0. Suppose 0 = -c - 0*c. Solve d*p + b - 1 = c for p.
-3
Let k(f) = -f + 17. Let x be k(13). Solve -6 = -x*j + 2*j for j.
3
Suppose -3*p = v - 8, 16 = 4*p - 3*v - v. Let b be -1*2 - (-2 + (2 - 4)). Solve b*d = -p*d + 20 for d.
4
Suppose 3*z + 36 = 9*z. Solve b = -2*b - z for b.
-2
Suppose -5*v + 21 = 6. Suppose 4*o = -0*y + 4*y - 4, -v*o = -4*y + 7. Let f be 0 - (-12 + 1/1). Solve o*l + 2 = f for l.
3
Let b(l) = -l**2 - 4*l. Let i be b(-3). Suppose 2*m - 11 = 2*g + 3, 4*m = i*g + 24. Solve 9 + 3 = -m*n for n.
-4
Let w(r) = -r**3 - 3*r**2 - 2*r - 1. Let j be w(-3). Suppose j*y - 38 = 17. Suppose 4 = m + a, 2*m - 2*a = -a + y. Solve -m = -f - 3 for f.
2
Let t(w) = w**2 + 10*w + 12. Let v be t(-9). Solve -2*m - 1 = -v for m.
1
Suppose -s = t - 13, 2*t - 36 = -4*s - 8. Suppose c + 0*c = -2*l - 8, -c + 2*l = -t. Solve -i + c*i = -5 for i.
-5
Let c be 180/8*(-16)/(-12). Suppose -c = -3*d - 5*s, -d - 3 = -s - 21. Solve 4*t - t - d = 0 for t.
5
Suppose -2*z = 3*z - 20, c + 3*z - 15 = 0. Solve u - c = 2*u for u.
-3
Let y = 1 + 3. Let b be (-33)/(-6) + y/8. Solve -3*i + 12 = -b*i for i.
-4
Let o(z) = z**3 - 7*z**2 + z - 1. Let b be o(7). Suppose -2*j + 20 = 2*j. Suppose g - 4*m = b*g - 3, 4*g + 3 = -j*m. Solve -6*h + g*h = 12 for h.
-4
Let h = 13 - 9. Solve -h = r - 0 for r.
-4
Let i be (-2)/(-8) + (-9)/4. Let r be (6/(-5))/(i/(-10)). Let m be (r/(-3) - -1) + 0. Solve 4*s - m*s = 0 for s.
0
Let u = 35 - 33. Solve i + u*i - 12 = 0 for i.
4
Suppose -4*j + 4 = -2*j. Suppose d - 5 = -a, -j*a = -2*d - 7 - 3. Solve -2*f - f - 3 = d for f.
-1
Let p(a) = 2*a - 3. Let m be p(5). Suppose 19 = 4*q - 2*h + m, 3*q = h + 10. Solve g + 1 = q for g.
3
Let h(q) = -q**3 - 8*q**2 - 8*q - 5. Let k(y) = -y + 4. Let g be k(11). Let a be h(g). Solve a = -0*v + 2*v for v.
1
Let n be ((-144)/6)/(6/(-4)). Solve -2*g + n = -6*g for g.
-4
Suppose 16 = 6*v + 4. Let k be v/(-2 + 36/16). Solve -2*i + k = -0*i for i.
4
Let j(k) = -3*k + 15. Let d be j(5). Solve -4 + d = 4*h for h.
-1
Suppose 2*n + 3*o + 15 = 0, n + o + 20 = -3*o. Solve -3*b = -n*b + 6 for b.
-2
Suppose 0 = 8*k - 3*k - 25. Suppose k*c + 0 = 45. Suppose -3*s + c + 9 = 0. Solve -20 = -n + s*n for n.
-4
Suppose -o = 3*o. Let q = 3 - o. Solve 4*g = 5*g - q for g.
3
Let j be (-2 - -2)/(-2 + 4). Let p be -4*(j + 3/(-4)). Let s(c) = -c**2 - 6*c - 1. Let q be s(-4). Solve p*y - 16 = -q for y.
3
Suppose -3*z = -2*l + 12, 0*z + z + 4 = 2*l. Solve 4*g = -l*g - 12 for g.
-3
Let z(n) = n**3 - 2*n**2 - 3*n + 3. Let s be z(3). Solve 0 = 8*g - s*g for g.
0
Let d = -1 - -1. Suppose -3*o = -4*k + 25, -4*o - k = k + 4. Let x(b) = -3*b - 4. Let l be x(o). Solve -25 = -l*r - d for r.
5
Let v(f) = f**3 - 3*f**2 + f. Let d be v(2). Let g = -2 - d. Let z = -17 - -29. Solve g*l - z = -3*l for l.
4
Let m(o) = -6*o - 26. Let q(t) be the first derivative of -t**2/2 - 5*t + 1. Let w(d) = -2*m(d) + 11*q(d). Let j be w(6). Solve -j + 5 = 2*z for z.
1
Let h be (-13 - -10)/(3/(-2)). Solve -6 = h*q - 0 for q.
-3
Let v(r) = -2*r**3 - 4*r**2 - 4*r - 2. Let x be v(-2). Let p be ((-3)/(-2))/(x/16). Suppose 2*d = 11 - 3. Solve p*u - 5*u + d = 0 for u.
4
Let m = 71 + -44. Solve -m + 2 = -5*v for v.
5
Suppose 3*n - 18 = n. Solve -n = -5*w + 1 for w.
2
Let l be 7 - 4 - (0 + 0). Solve -l*g = 6 - 3 for g.
-1
Let b = -25 + 27. Solve -1 = -m + b*m for m.
-1
Let r(k) = -2*k**2 - 2*k**2 + 5*k**2. Let a be r(-4). Suppose -4*s + 0 + a = 0. Solve -s = 5*w + 6 for w.
-2
Suppose -3*l = -q + 3, -4*q = 3*l - 2*l - 12. Solve l*y = -4*y - 16 for y.
-4
Let b = 5 + -3. Suppose -6*y + 9 = -10*y - 5*n, y + 4*n + 16 = 0. Solve 0 = b*z - y - 0 for z.
2
Let n = -46 + 63. Solve -5*y - n - 3 = 0 for y.
-4
Let g(r) = -7*r - 2. Let f be g(-4). Suppose 0*n = -3*b - n + 34, 0 = b + 4*n - f. Let y be (-16)/b*5/(-2). Solve 11 = -3*q - y for q.
-5
Let d = -439 - -442. Suppose 0 = -5*x + 26 + 24. Solve x = -d*p - 2 for p.
-4
Let g be (1 + (-5)/3)*-3. Suppose -g = 2*u + 3*r, -4*u - 4*r = -u + 2. Let o be u/(-7) - 32/(-14). Solve -o*x = -5*x for x.
0
Let o = 12 + -9. Solve i + o*i = -20 for i.
-5
Suppose 5*j - 17 = -2. Suppose j*l + 14 = 5*x, -l + 1 = -0*l + 4*x. Let n be (-6)/l*-1 - -5. Solve -2*s = -n*s for s.
0
Let c(u) = -u**2 + 9*u - 10. Let n be c(6). Solve -5*l - n = 17 for l.
-5
Suppose 5*p + 50 = 3*t, p + 55 = 4*t + 6*p. Suppose 4*n - 28 = -w, -6*w = -5*n - w + 35. Solve -n*s = -2*s + t for s.
-3
Let g = -38 + 42. Solve g*p - 2*p = -8 for p.
-4
Let l = 39 - 19. Let d be (10/2)/(-1 + 2). Let i = 0 + 0. Solve 5*m - l + d = i for m.
3
Let k(r) = -5*r**2 + r + 1. Let j be k(-1). Let h(s) = s**2 + 7*s + 6. Let f be h(j). Let p = 7 + f. Solve d + 4 = -p*d for d.
-1
Suppose -d - 7*r + 3*r + 11 = 0, -3*r = -5*d - 37. Let t = d - -9. Solve -t*s - 12 = -0*s for s.
-3
Let m = -8 + 5. Let x be (m/6)/(2/(-8)). Solve 0*g + 6 = x*g for g.
3
Let d = 51 - 31. Suppose -6*g = -2*g - d. Suppose 0 = -0*o - g*o. Solve 3*p + p + 8 = o for p.
-2
Let x be (2 + -2)/(1 + 1). Suppose -3*r + 3*g = 9, 2*r + 2 = 3*g - 6. Let j = x - r. Solve 2*h = -5 + j for h.
-2
Suppose -g - 13 = -1. Let l = 17 + g. Suppose -2*v + 4*v = -3*t + 28, -l*v - 3*t + 88 = 0. Solve -2*z - v = 2*z for z.
-5
Suppose 0 = 4*h - 5*t - 2, -3*t - 7 = -h - 5*t. Solve h*k = 1 + 2 for k.
1
Let p be (4 - 4)*(-2)/(-6). Solve 0*o + 3*o - 15 = p for o.
5
Suppose -j = -5 - 15. Let p = -5 + j. Solve x = 6*x - p for x.
3
Let f = 100 + -100. Solve b - 6*b = f for b.
0
Let h(v) = v**3 + 2*v**2 - 4*v + 2. Let j(a) = -a**3 - a**2 + a + 5. Let w be j(0). Suppose w*d = 9 + 1. Let f be h(d). Solve -g = g - f for g.
5
Let b be (1 - -6) + 19 + -21. Solve -b + 1 = -u for u.
4
Let s(u) = -u**2 - 2*u + 13. Let v be s(-4). Solve -4*k + v*k = 5 for k.
5
Let u(o) = o**3 + 6*o**2 + 3*o. Let t = -6 - -1. Let z be u(t). Solve -3*v = 2*v + z for v.
-2
Let n = 68 - 64. Solve -x + 2*x = -n for x.
-4
Suppose 0*m + 5*p = -m - 4, m - p - 8 = 0. Suppose -4*n - 2*a + 2 = -0*n, -2*a = 5*n - 5. Let i = 7 - n. Solve -i*k = -m*k + 10 for k.
5
Let g be -1 + (-12)/(-1 + -2). Solve 0 = -g*j + 6 for j.
2
Let m(g) be the second derivative of g**4/6 + g**3/3 + g**2/2 + g. Let c be m(-2). Solve -2*l - c = 1 for l.
-3
Suppose q - 4*p = -3 - 4, 0 = 2*q - p - 14. Let w be 1/5 - q/(-5). Let u be -1 - (-1 + 2)*-3. Solve -8 = u*m + w*m for m.
-2
Let r(v) = -v**3 + 4*v**2 + 5*v + 3. Let c be r(5). Solve -5*n + c - 28 = 0 for n.
-5
Let k(a) = a**3 + 3. Let j be k(0). Suppose 15 = 2*z + j*y, -2*y + y + 19 = 3*z. Let u(r) = r**2 - 6*r + 6. Let t be u(z). Solve 5 = t*m - m for m.
1
Let k = 35 - 29. Solve k*c = c - 5 for c.
-1
Let g(b) = -b + 5. Let n be g(5). Suppose 5