he first derivative of p**2/2 + 7*p + 3. Let r be t(0). Solve -2*h = -r*h + 20 for h.
4
Let i = 4 + 2. Solve 9 = -3*a - i for a.
-5
Suppose t = -3*t - 8. Let b = t + 8. Solve 2*o - b = -4 for o.
1
Suppose 2*f = f - 4*m + 18, -8 = -2*f - m. Let q = 4 - f. Suppose q*i + 4 = 14. Solve -4*b = -i - 3 for b.
2
Suppose 5 = j - 0. Solve -j*q - 5 = -20 for q.
3
Let d = 19 - 15. Solve 0 = k - 3*k + d for k.
2
Let t(r) = r - 5. Let s be t(5). Let k = -5 - -11. Let w be (-5 + 0)*k/(-10). Solve 0*x + w*x = s for x.
0
Let u(d) be the second derivative of d**5/20 + 2*d**4/3 + d**3 - 4*d**2 + 3*d. Let n be u(-6). Solve n = 5*r + 8 for r.
4
Suppose 3*h - 2*f - 12 = 0, 3*h - 2*f = 3*f + 21. Solve d = h*d - 5 for d.
5
Let u(v) = v**3 + 6*v**2 + 8*v - 3. Let t be u(-3). Suppose 5*n = 10 + 10. Solve t*g = n*g - 16 for g.
4
Let y(c) = -c**2 - 12*c + 1. Let v be y(-10). Let u = 23 - v. Solve -u*n = -5*n - 9 for n.
-3
Let n be 30/(-12) - 1/(-2). Let j be 1/n*(1 - 1). Let i = 3 + j. Solve 0 = g + 2*g + i for g.
-1
Suppose -6*z + 6 = -4*z. Suppose -z*w + 15 = 2*w. Solve w*y - 6*y = -3 for y.
1
Let b(n) = 2*n**3 - 13*n**2 + 8*n - 5. Let r be b(6). Solve 5*l - r = -32 for l.
-5
Let h(i) be the third derivative of -3*i**2 - 1/120*i**6 - 1/8*i**4 - 1/30*i**5 + 0 - 1/3*i**3 + 0*i. Let b be h(-2). Solve -b = f + 1 for f.
-5
Suppose -3*p = -p - 10. Solve 1 + p = 2*x for x.
3
Let w(t) = t**3 + 8*t**2 - 12*t + 3*t - 5 - t. Let k be w(-9). Solve -2*l + 6 - k = 0 for l.
1
Suppose 0 = 2*u - 2*z + 2, -u + 11 = 3*z. Suppose -u*g + 10 = -2*v, 5*g + 5 = -2*v - 3*v. Solve 0 = g*a + 2 - 10 for a.
4
Let j = 17 + -14. Solve d + j = 1 for d.
-2
Let x be 1 + (1 + -2)*2. Let t be (x + -1)/((-1)/1). Suppose -3*r - t*r = 2*u - 19, -4*r - 5*u + 22 = 0. Solve -r = -k - 2 for k.
1
Let n(d) = d**2 - 6*d + 0*d**2 + 3 + 4*d. Let w be n(2). Solve 5*h - 2 - w = 0 for h.
1
Let y be 1 - (-1)/1*1. Solve 6*r - 20 = y*r for r.
5
Suppose c = -4*c. Solve c = -5*i + 10*i - 20 for i.
4
Let r = -14 + 18. Solve 3*m + 5 = r*m for m.
5
Let k(v) be the second derivative of -v**5/20 - v**4/2 + 4*v**3/3 + 7*v**2/2 - 2*v. Let x be k(-7). Suppose x = 4*q - 2*q. Solve -m - 4 - 1 = q for m.
-5
Suppose -2*l = -5*b - 42, 0*b = -b + 2*l - 10. Let c = 9 + b. Solve n - 2 = c for n.
3
Suppose -6*b + 24 = -b + t, -4*t + 12 = -b. Solve -b*u + 3*u = 3 for u.
-3
Let y(g) = -g**2 - 26*g - 21. Let b be y(-25). Solve 7*u = b*u + 12 for u.
4
Suppose 0 = -5*l + 4*n + 40, -7*l = -4*l - n - 17. Solve -m + l*m = -3 for m.
-1
Suppose -c - 4 = -1, 3*n - 3 = c. Let m = 1 + 1. Suppose n = 3*f + m*f + 3*l - 4, -16 = -5*f + 3*l. Solve f*v - 12 = -v for v.
4
Suppose 3*i - 4 = 2*i. Let x be (4 - 7)/((-6)/i). Let a be ((-7)/4)/(x/(-8)). Solve a*m + 4 = 3*m for m.
-1
Let g(l) = -l - 5. Let n be g(-8). Let h be (3 - n)*(-3)/6. Solve h = -k + 5*k - 16 for k.
4
Suppose 0 = 4*o - 5*o + 5*i - 17, 4*o - i = 8. Solve 0 = -3*v + o for v.
1
Let s = -13 + 16. Solve -2*a + 1 = -s for a.
2
Suppose 5*z + 3*q - 24 = 0, 5*z - 28 = -q - 0*q. Solve -3*t - z = -0*t for t.
-2
Let f be (-2 + 2 + -3)*1. Let l be 1/1 + (-1 - f). Solve -b - l*b = 0 for b.
0
Let q(n) = n**2 - 7. Let o be q(3). Solve 15 = l + o*l for l.
5
Let s(z) = z + 5. Let u be s(-5). Suppose 2*m + 3*d = -d - 54, u = -2*m + d - 29. Let q = m - -25. Solve -q + 0 = -4*i for i.
2
Let a(p) = -p**2 + 6*p + 2. Let b be a(3). Solve -1 + b = -2*r for r.
-5
Suppose -2*k + 31 = -9. Suppose 7*q = 2*q + k. Solve 8 = -q*u - 4 for u.
-3
Let a(q) = -q**2 + 8*q + 3. Let r be a(7). Let f be (-3)/2*r/(-3). Solve f*y = 3 + 2 for y.
1
Suppose 0 = 4*a + 8, -2 = 4*q + q + a. Solve 4*y - 11 - 9 = q for y.
5
Let z = -8 - -2. Let l = 40 + -28. Let i be ((-6)/l)/(1/z). Solve 0*o + 9 = -i*o for o.
-3
Let a(v) = v**3 + 13*v**2 - v - 8. Let f(y) = -2*y**3 - 13*y**2 + 2*y + 8. Let u(n) = 3*a(n) + 2*f(n). Let k be u(13). Solve 4*c - k = 7 for c.
3
Suppose 2*i = i + 1. Solve i = 3*v + 7 for v.
-2
Suppose 0 = -6*k + 5*k. Suppose -29 = -4*v - k*v - z, 50 = 5*v + 4*z. Solve 4*c = 6*c + v for c.
-3
Let o be 29/3 + (-2)/3. Suppose -4*i = -o*i + 10. Solve t = -t - i for t.
-1
Let r(c) = -2*c + 2. Let n be r(-1). Solve v = -n*v for v.
0
Suppose 3*u + u + 5*d = 40, -5*u + 2*d + 17 = 0. Solve 10 = 3*v - u for v.
5
Let s be 2*(3 + 6/(-4)). Solve 3*t - 6 + s = 0 for t.
1
Let z = 8 - 3. Solve z = -0*a + a for a.
5
Suppose -3*u = 12, -4 = o + 3*u + 7. Solve 4 - o = -q for q.
-3
Let o(h) = h**3 - 9*h**2 + 7*h + 10. Let a be o(8). Suppose -a*j - 8 + 16 = 0. Let i = -2 + 4. Solve -i = j*d + 6 for d.
-2
Suppose -4*i = -19 - 1. Suppose -i*t = -6*t. Let f be -4 + 2 + 7 - t. Solve -2*p - f = 1 for p.
-3
Suppose -63*s = -60*s. Suppose 7 = -3*f + 16. Solve s = f*i + 3 + 3 for i.
-2
Let n be (1 + -1)*(0 + -1). Solve 5*b + 3 + 12 = n for b.
-3
Let t be -4 + -12*(-6)/9. Solve -t = 5*l + 1 for l.
-1
Let j be (-1)/(-3) + (-44)/(-12). Suppose 5*y + j = 14. Let q be 3/y*28/6. Solve g - 3 = -q for g.
-4
Suppose 2*h - 3*h + 56 = 0. Suppose -4*o + 3*v = -v - 80, 4*o - h = -4*v. Suppose 5*q + 21 = 2*n, -5*n + 4*q = -10 - o. Solve n*j = 2*j - 2 for j.
-2
Let b(i) = -i**3 - i**2 + 5*i - 3. Let n be b(-4). Solve -n = 3*p - 10 for p.
-5
Suppose -3*w = 2*j - 5 - 17, -j + 9 = w. Suppose j*y = 9*y. Solve y = 3*b - 2*b - 3 for b.
3
Suppose -5*t + 33 = -2*t. Let z = t + -9. Solve -z*n = -5 - 3 for n.
4
Suppose -r + 5*r = 0. Suppose 4*o - 2*p = 2*p + 8, -5*p = r. Suppose i + 0*i - o = 0. Solve -i = 5*c + 23 for c.
-5
Let r be (-2 + -2)*(-11 - 0). Suppose -4*j - r - 212 = 0. Let m = 89 + j. Solve -m = 4*q + q for q.
-5
Let m(n) = -n - 8. Let u be m(-8). Solve u = q + 2 - 1 for q.
-1
Let h be (-5)/(-15) - 38/6. Let x be 20/h*30/4. Let c = -17 - x. Solve 4*q - c = 4 for q.
3
Let m = 54 - 50. Solve -m*w + 5*w = 1 for w.
1
Let g = 12 - 24. Let u be ((-3)/g)/((-1)/(-4)). Let c = u + -1. Solve c = -3*v - 9 for v.
-3
Suppose 7*j + 24 = 45. Solve j*z = z for z.
0
Suppose -50 = 3*l - 8*l. Solve 3*a + l = -5 for a.
-5
Let i be ((-16)/6)/(4/(-6)). Solve -2*q = -i*q - 4 for q.
-2
Let x(b) = -9*b**2 - 7*b. Let n(w) = -4*w**2 - 3*w. Let c(i) = 13*n(i) - 6*x(i). Let u be c(-2). Let a be ((-1)/(-2) - -1)/(7/14). Solve u*h - 3 = a for h.
3
Suppose 40 = 6*q - 2*q. Let f be ((-2)/1)/(q/(-95)). Solve 0 = 5*k + f + 6 for k.
-5
Suppose -4*j + 88 = -0*j. Let l = -16 + j. Solve 3*g + l = -6 for g.
-4
Suppose -5*j - 1 = 5*o + 14, 4*o = -5*j - 10. Solve 6 - j = -4*a for a.
-1
Let t = -17 + 26. Suppose -4*c - 72 = -4*l, -l - c - 4*c = -12. Let r = l - t. Solve j = -j - r for j.
-4
Suppose -3*z - 2*z + 4*l = 5, 4*l + 4 = -4*z. Let y be (-1)/(-1*(-1 + 2)). Let x = y - z. Solve 2*v - x = -0*v for v.
1
Let c = 4 + -1. Solve 0 = -c*u + 7*u + 4 for u.
-1
Suppose -2*p - q + 2*q + 7 = 0, -3*q - 9 = -2*p. Solve -p = -x + 2*x for x.
-3
Let h = 8 - 3. Let p(g) = g**2 - 3*g - 6. Let v be p(h). Solve v*f + 3 = f for f.
-1
Suppose 0 = -3*q + 133 + 107. Suppose 0*j + q = 4*j. Solve -j = -0*u + 5*u for u.
-4
Suppose 0 = -5*b + 27 + 8. Suppose 4*q - b - 9 = 0. Suppose -4 + 9 = -q*a - 5*l, -4*l = 20. Solve -3*s - a = 10 for s.
-5
Let w(g) = -g**2 - 11*g + 12. Let f be w(-12). Solve f = 3*p - p + 4 for p.
-2
Let n = 59 + -44. Solve -n = -2*d + 5*d for d.
-5
Let t = 1 + -1. Let g = 10 + -5. Suppose 4*b - g - 27 = t. Solve m + b = -m for m.
-4
Let p(y) = y + 11. Let n be p(0). Suppose -v + 0*i - 11 = i, -v + 4*i + 9 = 0. Let r = n + v. Solve r*o + o = 20 for o.
4
Let l = -22 - 4. Let m be 4/l - (-2)/13. Solve m = 4*q + 12 for q.
-3
Let i be 1/((-3)/(-15) + 0). Solve 0*f = i*f for f.
0
Let w be (1 - 0)/(3/15). Suppose w*l = 2 + 8. Solve 0 = 2*z + l for z.
-1
Suppose 0 = -2*t + 4*b - 16, t = -2*b + 3 + 5. Suppose 2*r - 5*r = t. Suppose w + 3*w = r. Solve 0 = -w*a - 2*a for a.
0
Let x be (-2)/(-7) + (-2)/7. Let r = 2 - 1. Let j be 1 - (0 + r) - -4. Solve m + j*m = x for m.
0
Let d be (0/1)/(-2 + 0). Suppose -k = -3*w + 3, 5*k + 83 - 13 = 4*w. Let c be k/(-4) - 2/4. Solve d*o - c = o for o.
-4
Suppose 5*a = 4*a + 4. Solve a*v - 4 - 12 = 0 for v.
4
Suppose -3*r + 0*r - 45 = -3*y, 5*y = 4*r + 70. Let l(k) = k - 5. Let s be l(6). Let c be ((-4)/(-6))/(s/3). Solve -3*p - y = c*p for p.
-2
Let j be 5*(-9)/(-6)*(-24)/(-9). Solve 0 = 2*i + 2*i + j for i.
-5
Let t(g) = -g**2 + 6*g - 3. Let l be t(5). Let h = 4 + l. Suppose 3*w - 3