+ 6*u**2 + 2. Let p(b) be the first derivative of -7*b**2/2 + b + 2. Let n be p(1). Let m be a(n). Solve -m = 2*q - 10 for q.
4
Let z be (-3*(-5)/(-10))/((-3)/8). Solve 0 = -6*g + z*g + 6 for g.
3
Let o(w) be the third derivative of w**4/24 + 5*w**3/6 - 2*w**2. Let v be o(0). Solve -2*q - v = 1 for q.
-3
Let d = 61 + -52. Solve -g + d = 2*g for g.
3
Let x be -20*(1 + -1 + -1). Let l be (-4)/(-22) + (-124)/(-44). Suppose -l*m + f + 4 = 0, -5*m + 0*f = -2*f - 5. Solve -u - m*u - x = 0 for u.
-5
Let g = 1 - 1. Solve -3*h = -g*h for h.
0
Suppose 0*z = 5*f + 3*z + 10, -29 = -4*f + 5*z. Solve -w - f = 4 for w.
-5
Let k be 4/6 - 7/(-3). Solve 5*r + k = -2 for r.
-1
Let p(j) = -j**3 - 4*j**2 - 5*j - 11. Let i be p(-4). Solve -4*b = i + 3 for b.
-3
Let g be (-24)/9*(-45)/6. Suppose 4*w + 3 = 35. Suppose -4*a = -8, o + a - w = -2. Solve 0*i = o*i + g for i.
-5
Let k(d) = -d**3 + d**2. Let w be k(1). Suppose -8 = -i - 0*i. Suppose -6*q + q + 30 = -5*f, w = -4*f - i. Solve -8 + 4 = -q*o for o.
1
Let n = 9 + -15. Let z(b) = b**2 + 6*b. Let p be z(n). Let k be 0 - (p + 10)/(-1). Solve 4*a + k = 2*a for a.
-5
Let a(t) = 7*t. Let w(q) = -q. Let s(m) = -a(m) - 5*w(m). Let f be s(-1). Solve f*x + 4 = -4 for x.
-4
Suppose -2*p + 100 = 6. Suppose -2*s = -0*s - 8, -p = -3*w - 2*s. Suppose -2*m = -6*m - 20, -4*v - 9 = 5*m. Solve -v*g + w = 1 for g.
3
Suppose 3*h - h + 8 = 3*m, 4*h + 4*m + 16 = 0. Let d be (-2 - -8)/(-2 - h). Solve 4*u = d*u + 2 for u.
2
Let c be (-8)/6*(-51)/34. Solve -a + c*a + 4 = 0 for a.
-4
Let c be (1*(-2)/(-6))/((-52)/(-312)). Suppose 0 = -0*r - r - 2*s + 9, 3*r = 3*s + 9. Suppose 3*l - 8 = -5*y, 16 = r*y - l + 2*l. Solve y*f + c = -2 for f.
-1
Let x(m) = m**2 + 8*m + 10. Let d be x(-7). Suppose -2*j + 16 = 4*q + 2, 0 = 2*j + d*q - 12. Solve r - j = -2*r for r.
1
Let g(x) be the third derivative of x**6/15 - x**4/24 - x**2. Let h(r) = r**3 - 11*r**2 + 10*r + 1. Let t be h(10). Let m be g(t). Solve 3*p - 5 = m for p.
4
Suppose 2*s - 3*s = -m, s = -m. Let u = s - -10. Solve -3*b - u = -1 for b.
-3
Let r(c) be the first derivative of -c**2/2 - 5*c - 7. Let m(q) = -8*q**3 - q**2 + q - 1. Let n be m(1). Let i be r(n). Solve -i*p + 13 + 3 = 0 for p.
4
Let g(f) = 3*f - 30. Let v be g(11). Let a = 13 + -9. Solve 3 = a*h - v*h for h.
3
Suppose -v - v = -5*m + 71, 2*m - 26 = 2*v. Solve 0 = 3*c - 0 - m for c.
5
Suppose 3*j + 17 - 77 = 0. Suppose 5*k - 35 = -5*x, -k - 24 = -2*x - 5*k. Suppose -4*u = -2*t, 3*t - 7 = -x*u + u. Solve t*y = -2*y + j for y.
5
Let h be 0*((-9)/6 - -2). Solve -3 = r - h for r.
-3
Suppose 4 = -162*l + 166*l. Solve -n - l = -2*n for n.
1
Let q be ((-3)/(-2))/(2/4). Let h = q - 1. Let x be h/7 - 54/(-7). Solve 2 + x = -2*i for i.
-5
Suppose 0 = -h + 4*h. Suppose 2*i - 7 - 3 = h. Solve 3*u = i*u - 6 for u.
3
Suppose 0 = 7*t - 6*t - 2. Solve -6 = -4*p + t*p for p.
3
Suppose 2*p = -p - 5*x + 10, -2*p - 8 = -4*x. Let z = 22 - 2. Suppose f + 4*f - z = 0, 5*f = -d + 24. Solve p = 4*q + d - 16 for q.
3
Suppose -k + 35 = -6*k. Let n = k + 10. Solve 1 = 2*l + n for l.
-1
Let v be 2/3 + 20/(-3). Let p(r) = -r - 2. Let m be p(v). Let i = 27 + -25. Solve 0 + m = i*l for l.
2
Let y be (-1)/(-7) - (-136)/28. Solve 0*z + y = -z for z.
-5
Suppose 0*u + 4 = -4*u + 4*b, 0 = 3*u + b - 1. Suppose 4*z + u*z = -200. Let g be (1/(-2))/(1/z). Solve -4*s - g = -5 for s.
-5
Suppose 4*p - 3*l + 10 = -13, 0 = -3*p - 2*l + 4. Let t be (-4 + (0 - -2))*p. Solve -t*i - 10 = i for i.
-2
Suppose -32 = 2*w + 4*q, -w + 0*q = -2*q - 4. Let c be w/((-2)/(0 + 1)). Suppose -4*b = 5 - 13. Solve -3 - c = b*a for a.
-3
Suppose -12*s + 13*s - 2 = 0. Solve 0 = s*f + 3*f - 15 for f.
3
Suppose -5*h = 2*n - 29, 0 = -3*n + 3*h - 0*h - 9. Solve 1 + n = d for d.
3
Suppose 0 = -2*h - 0*h + 10. Suppose -h*u = 3 + 32. Let x = -4 - u. Solve t = x*t - 8 for t.
4
Let f be ((-6)/3 + 2)/(-3). Let z = 3 - 0. Suppose 5*o = z*o + 50. Solve f*a + o = -5*a for a.
-5
Let t(v) = 6*v - 2. Let j be t(2). Suppose 7*z - j*z = 0. Solve z*i + 4*i = 12 for i.
3
Let c(n) be the third derivative of 0 + 1/12*n**4 - 2/3*n**3 + 1/120*n**6 + 1/12*n**5 + 0*n + 4*n**2. Let y be c(-3). Solve -4*s - 4 - y = 0 for s.
-3
Suppose -3*f = -4*f + 16. Let n = -14 + f. Solve -t + 3 = n*t for t.
1
Suppose -2*m = -9 - 21. Solve a + m = 6*a for a.
3
Let z(t) = -t**2 - 6*t - 2. Let k be z(-5). Let m be (-1)/(((-6)/(-10))/(-3)). Suppose -5*h + h = -m*i + 30, 4*i - k = -h. Solve 0 = -i*l - l + 3 for l.
1
Suppose -4*o = -2*c + 3 - 17, 0 = o + 5*c + 2. Solve -3*j + 4*j + o = 0 for j.
-3
Suppose 26 = 5*p + 6. Suppose i + 2*y = 4, 0*y + y = 0. Suppose -3*c + 5*c - 6 = 2*n, 2*c = -i*n + 18. Solve p = -n*r + r for r.
-4
Suppose 2*w = 4 - 20. Let g be -8*(1 + 14/w). Suppose 3*l = -5*u + 24, 2*l + 3*l - 15 = 0. Solve 0 = -u*f + g for f.
2
Suppose 2*v = 5*v - 12. Suppose m - v = -m. Suppose 3*p - 1 = m*p. Solve 0 = -t + 6 - p for t.
5
Suppose 0 = 5*l, 0 = 4*p + 2*l - 29 - 27. Suppose 5*v + 21 = 2*b + 4*v, 3*b - 5*v = p. Let j = b - 8. Solve -5*f + j = -5 for f.
2
Suppose 4*b - 12 = 5*c, -b - b + 6 = 0. Solve 2*z - z - 2 = c for z.
2
Let v(x) = -4*x + 1. Let f be v(-6). Solve 4*n + n = f for n.
5
Let d be -2*(1 - (7 - 3)). Let j(f) = -f**3 + 5*f**2 + 7*f - 5. Let l be j(d). Let h be -2*l*(-5)/2. Solve h*z = z + 20 for z.
5
Let u(n) = -n - 5. Let y be u(-5). Suppose 10*o - 5*o = 0. Suppose -20 = -o*q - 5*q. Solve q*h + y*h = 4 for h.
1
Let a(r) = -r**2 + 7*r - 7. Let k be a(5). Let l(h) = h**3 - 2*h**2 - h - 4. Let m be l(k). Solve -3 = t + m*t for t.
-1
Let z(d) = -d - 2. Let r be z(-6). Suppose 0*k - 3*k - 7 = -2*l, -4*l = 5*k + 41. Let f = l + r. Solve f = -5*a + 4*a for a.
0
Let s = -52 + 87. Suppose -w + s = i, -3*i = -5*w + 251 - 84. Let o = -19 + w. Solve -h + o = 4*h for h.
3
Suppose 2*x = -14 - 6. Let u be 2/(-3)*15/x. Let z be u + (4 - 2 - 2). Solve p + 2 + z = 0 for p.
-3
Let b(n) = -n**3 - 2*n**2 - 6*n**2 + 3 - 4*n - 3*n. Let z be b(-7). Let k(q) = 2*q - 1. Let x be k(z). Solve x*r = -0*r + 5 for r.
1
Suppose 2*d - d = 0. Let x(n) = -n**2 + 5. Let u be x(d). Suppose -c = -2*y, -3*y + 0*y + u*c = 7. Solve q = 1 + y for q.
2
Let c(i) = i**2 + i - 4. Suppose -k - 16 = -4*m - 0*k, 5*k = -3*m - 11. Let p be c(m). Solve -4*a - p = 12 for a.
-5
Let z be 6 - (-5 - -4)/((-2)/6). Solve z*q = 3 + 6 for q.
3
Let j be (-46)/(-14) - 3 - 2/7. Solve -5*z + 6 - 16 = j for z.
-2
Let p = -20 - -35. Suppose 7*x - 2*x = p. Solve -2*y + 1 + x = 0 for y.
2
Let x be 92/9 - (-4)/(-18). Suppose -5*z = -x - 5. Solve -z*o + o = 10 for o.
-5
Let r(o) = -o**3 + 1. Let s be (-2)/5 + (-56)/(-40). Let z be r(s). Solve z = 3*t + t for t.
0
Let b(u) = -u**3 + 2*u**2 + 5*u - 3. Let p be b(3). Solve -p*m + 6 = -m for m.
3
Let q be ((-5)/10)/((-1)/(-8)). Let k(j) = -3*j**2 - 4*j - 1. Let i(s) = -s**2 - s. Let b(c) = -11*i(c) + 4*k(c). Let v be b(q). Solve -3*g - 2 - 1 = v for g.
-1
Let q be 0/(-5)*(1 - 0). Suppose -5*m = -2*n - 7, 2*m + q*n - n - 2 = 0. Solve 22 + m = -5*g for g.
-5
Let o(p) = -p**3 + 4*p**2 + p + 4. Let n = -7 + 11. Let b be o(n). Solve 0*g - b = 4*g for g.
-2
Let d be -1 - (1 - -1)/(-2). Let l(o) = -o + 9. Let y be l(9). Let f be (-4)/(16/(-10))*2. Solve d = -y*w - f*w for w.
0
Let n(t) = t**3 - 7*t**2 - 5*t - 12. Let c be n(8). Solve 0*b = 3*b + c for b.
-4
Suppose -5*j + 5*q = -9 - 1, 6 = -2*j + 4*q. Solve -j*b + 11*b - 20 = 0 for b.
5
Let k(j) = j**3 + 6*j**2 + 6*j + 4. Let a be k(-5). Let w(r) = -2*r**3 - 2*r**2 + 1. Let u be w(a). Let q = u + 4. Solve -9 = q*m - 24 for m.
3
Let g(c) = -c**3 - 3*c**2 - 2*c + 2. Let v be g(-2). Suppose 3*i - 13 - 4 = 5*p, -v*p = 2. Suppose -6 = -i*h + 2*h. Solve -h = t - 0 for t.
-3
Suppose 5*o + 0*y = -3*y - 27, 8 = -o + 2*y. Let x = 7 + o. Solve -5 + x = -4*g for g.
1
Suppose h = -5*t + 20, 0*h + 5*t - 20 = -4*h. Suppose 3*i - 7*i = h. Solve i*g - g - 1 = 0 for g.
-1
Suppose 0 = p - 4*h + 20, h = p + 3*h - 10. Suppose p = -3*n - 10*s + 5*s + 22, 4*s - 8 = 0. Solve 9 = n*u - u for u.
3
Let u be 0/(-2 + (-1)/(-1)). Let o be u + 0/(-1 + 2). Solve -z + 0*z - 4 = o for z.
-4
Suppose 5*v - 43 = -3. Solve -v = -b - b for b.
4
Let n(y) be the second derivative of y**5/20 + y**4/6 - y**3/2 + 2*y**2 - 6*y. Let m be n(-3). Solve -m*u - 25 = u for u.
-5
Let g(k) be the second derivative of -k**4/12 + 3*k**3/2 - 