or m.
4
Let t(q) be the third derivative of -q**6/60 - q**5/15 - q**4/8 + q**2. Let b(j) = j + 5. Let m be b(-7). Let p be t(m). Solve -2*d + p = d for d.
2
Let h(z) = z**3 + 4*z**2 - 4*z + 4. Let o(u) = -3*u**3 - 8*u**2 + 9*u - 9. Let t(j) = 5*h(j) + 2*o(j). Let i be t(3). Let k = 1 + -1. Solve x - i + 4 = k for x.
1
Let m(o) be the third derivative of o**5/60 + o**4/6 + o**3/3 - 3*o**2. Let f be m(-4). Solve 0 = a + f*a for a.
0
Suppose 2 = -h - 0*h - z, -z - 6 = -h. Solve 2*i = 2 + h for i.
2
Let o = -36 - -42. Solve -b = b - o for b.
3
Suppose 5*u - k = 19, 0 = -6*u + 2*u - 3*k. Let a = -10 - -13. Solve a + u = 2*x for x.
3
Let o(s) = -s**2 + 2*s + 3. Let r be o(4). Let h = 0 - r. Solve -4*b - 5 = -h*b for b.
5
Let n be 2/4 + (-4)/(-32)*-4. Solve -2*h = 6 - n for h.
-3
Suppose -6*i + 20 = -5*i. Suppose -t - i = -2*t. Let x(c) = c. Let g be x(0). Solve 5*u - t + g = 0 for u.
4
Suppose 2*l - 12 = 2. Let f = l + -3. Solve -f*s = -s for s.
0
Let p = -6 - -5. Let t be 0*(p + (-6)/(-4)). Solve -3*m + t*m + 3 = 0 for m.
1
Let q be (24/9)/(-2)*-3. Solve -q = -2*k + 6 for k.
5
Let u(v) = -4*v + 31. Let s be u(7). Solve s*o + 6 = -0 for o.
-2
Suppose -5*i - 4 = -54. Suppose 5*m - 30 = -i. Let p = 4 - m. Solve -12 = -3*x - p for x.
4
Suppose 0 = 3*g - 3, 3*g + 22 = 5*f. Solve k = f*k - 12 for k.
3
Suppose -3*q + 0*k - 2*k + 9 = 0, 0 = -3*k. Solve -4*g + q*g - 4 = 0 for g.
-4
Suppose 4*q - 10 - 6 = 0. Let n be -12 + 3 + (1 - 2). Let t be -16*(n/4)/5. Solve -q*z + t*z = 0 for z.
0
Suppose 5*c = x - 58, -c - 4*c + 5*x = 50. Let u be 1/(2/c*-2). Suppose -2 = -u*s + 7. Solve s*m + 0*m = 0 for m.
0
Let o = 8 + -11. Let d(w) = -w**2 - 2*w + 3. Let i be d(o). Solve 3*z + 21 - 6 = i for z.
-5
Let y be -1 - 12 - 6/(-2). Let a = y - -14. Solve 0 = -2*m - 0*m + a for m.
2
Suppose 3*p = -2*p + 100. Solve -r + 5*r = -p for r.
-5
Suppose -7*i + 9*i = 150. Suppose 3*j - i = -2*j. Solve 3*k = 6*k + j for k.
-5
Let t be (-1)/(-6) - (-655)/30. Solve 5*x + 2 - t = 0 for x.
4
Let l(v) = 3*v + 39. Let b be l(-13). Solve 5*z + 0*z + 10 = b for z.
-2
Let l be -1 - (2 + -3) - -12. Solve k = 5*k + l for k.
-3
Let p(f) = 2*f - 6. Let z be p(4). Let h be ((-1)/2)/(z/(-20)). Solve -3*m + h*m = 0 for m.
0
Suppose 10 = -2*u - 3*u. Let a be (1/3)/(u/(-30)). Let k = 6 - 3. Solve 0 = a*x - k*x - 8 for x.
4
Suppose h - 2 = 2. Suppose 0 = -f - 1 + h. Solve 0 = f*g + 6 + 6 for g.
-4
Suppose 0 = 4*c + 4 - 20. Solve -6 - 6 = -c*b for b.
3
Suppose -4*i = 5*d - 33, 39 = -d + 5*d - i. Solve -5*m = d + 1 for m.
-2
Let k = -1 - -1. Suppose k*z = -4*z + 84. Let o = 7 - 7. Solve o = -4*f - 5 + z for f.
4
Suppose -w + 20 = 2*n, -3*w - n + 54 = 3*n. Solve -2*s + 22 = w for s.
4
Let c be 0/11 - 10*-1. Solve -7*u - 6 = -c*u for u.
2
Suppose -2*b = -5*m + 81, -4*b + 27 = m + 2. Solve 2 = -5*j + m for j.
3
Let v(g) = -4*g - 33. Let h be v(-9). Solve 0 = -5*b - h - 2 for b.
-1
Let m be (-16)/40 - (-22)/5. Suppose -2*q = 2*d - 7*q - 12, 4*d - 24 = m*q. Solve t + t = -d for t.
-3
Let w = 13 + -8. Suppose 3*z - 7 = w. Solve -k - k = -z for k.
2
Suppose -2*g + 12 = 4*h - 8, -2*h = 3*g - 18. Solve 3 = h*s - 3 for s.
2
Let a = -4 + 5. Suppose 0 = l - 0*l - 3*d - 3, -4*d = l - 3. Solve 2*x - a = l for x.
2
Let d(z) = z**2 - 8*z + 8. Let k be d(6). Let w = 2 - k. Suppose 2*v - 4*u - 18 = -3*v, 2 = 4*v + 3*u. Solve -4*x = -v*x - w for x.
3
Let n = 19 - 14. Solve -n*s = -s for s.
0
Suppose 4*l - 5 = -1. Let k = l - 1. Solve -12 = 3*p - k*p for p.
-4
Suppose 9 + 11 = 5*x. Let v(p) = -3*p. Let d(b) = 1. Let l(m) = x*d(m) - v(m). Let i be l(4). Solve z - i = -3*z for z.
4
Let i be (2 + -1)/((-6)/(-18)). Solve -i = -4*s + 5*s for s.
-3
Let t(f) = 2*f**2 - 6*f + 7. Let y be t(3). Solve -2*r + y*r = 0 for r.
0
Let n be 21/9 + 8/12. Solve 0 = h - 4 + n for h.
1
Suppose 3*u = -u + 8. Suppose -1 - 7 = -u*p. Suppose 1 = -t + p. Solve 0 = -f + t for f.
3
Let p(v) = -v**3 + 4*v**2 - 3*v. Let y be p(3). Suppose y*i - i = 6. Let z be (3 + 3)*(-2)/i. Solve -z*n - 20 = -6*n for n.
5
Suppose -3*n = 2*z - 5, 2*n + 11*z - 5 = 10*z. Solve 0*a = -a - n for a.
-5
Let y(a) = a**3 - 2*a**2 + 4. Let j be y(3). Suppose -w - i = -7, 0 = 4*w + 5*i - j - 19. Solve 2*v = w - 13 for v.
-5
Let y(w) = w**2 + w - 2. Let h(r) = r**3 + 5*r**2 - 7*r - 4. Let f be h(-6). Let z be y(f). Solve s = -0*s - z for s.
-4
Let b(y) = y**2 - 9*y + 19. Let t be b(9). Solve 0 = -3*i - 4 + t for i.
5
Let j(n) = n**2 - 7*n + 2. Let m be j(7). Solve -5*o + 22 = m for o.
4
Let y = 14 + -7. Solve -3*m + y*m = -16 for m.
-4
Let r be (-5 - 2)*2/(-2). Suppose 0*j = 5*j + y + 11, -5*j + 3*y - r = 0. Let n be (1/(-2))/(j/24). Solve -n*a = -2*a + 16 for a.
-4
Let y = -86 + 86. Solve t + 3*t - 16 = y for t.
4
Let r(t) = -3*t - 2. Let l be r(-3). Let p be -2*(19 + -1)/(-2). Suppose 4*b - p = 3*o, -6*b - 1 = -3*b + 5*o. Solve b*u - 22 = -l for u.
5
Let v(u) = u**2 + 6*u - 89. Let p be v(7). Solve -s - p - 2 = 0 for s.
-4
Let b be -18*3/(-6) + 1. Suppose b = -4*t - 5*c, 4*t - 4*c + 2 = -5*c. Solve t = d + 2*d + 15 for d.
-5
Let r = 12 + -4. Solve -3*i + r*i + 10 = 0 for i.
-2
Let s(h) = h + 5. Suppose -2*k + 8 = 14. Let x be s(k). Solve x*t - 10 + 0 = 0 for t.
5
Suppose -g - 108 + 114 = 0. Suppose 4*s - 3*s = 8. Suppose -1 = b - 4, 2*b - s = -f. Solve f*v - g*v = 0 for v.
0
Suppose 0 = 3*u - 2*m - 7, -5*m - 6 = u + 3. Let f be -9 - u - (0 + -1). Let h = f + 14. Solve 2*c + 1 = -h for c.
-3
Suppose -z + 6 = z. Suppose -23 = -3*t + 5*f, -7 = -0*t + 5*t + z*f. Let o be (-4 + t + 6)*2. Solve k - 25 = o*k for k.
-5
Suppose 0 = 7*o - 10*o + 6. Solve 5*i = o*i - 9 for i.
-3
Suppose 4*x - 1 = 2*x - t, 4*t = -2*x + 4. Solve x = 4*c + c + 25 for c.
-5
Suppose 0 = 3*q + 8 + 22. Let z = 12 + q. Solve 2*h = -z - 2 for h.
-2
Let w(c) = -2*c**2 - c + 2*c**2 + 2*c**2. Let t be w(-1). Let v be (1 - (t + -2)) + 0. Solve v = -n - 3 + 5 for n.
2
Let b(d) = d - 8. Let p be b(10). Let q be (p/(-7))/(2/(-14)). Suppose -2*i = -10 + q. Solve i*x - x = -9 for x.
-3
Let i be 4/2*(-3)/2. Let h = i + 7. Solve -2*b - h = -b for b.
-4
Suppose 2*d + 3*r + 3 + 3 = 0, -2*d - r = 2. Let l = 2 - -1. Solve d*n - l = n for n.
-3
Let d(x) = -x**3 + 4*x**2 - x + 3. Let f be d(4). Let b(c) = c**2 + 19*c + 37. Let u be b(-17). Let l = f + u. Solve 2*a = -l*a - 16 for a.
-4
Let x(a) = -a**3 - 6*a**2 + 6. Let r be x(-6). Solve r = 2*m + m for m.
2
Suppose 2*b + 6 = 4*u, 0*b - b - 3 = u. Solve u*r = -2*r + 2 for r.
1
Suppose 0 = 2*j - 7 - 3. Solve 0 - j = -5*s for s.
1
Suppose -4*a - 4 = 3*s - 16, 12 = 4*a - 5*s. Let v(w) = -3*w + 2*w - 4*w**2 - 3*w**a + 2*w**3. Let n be v(-4). Solve 5 = -5*x + n*x for x.
-5
Suppose -8 - 6 = -7*f. Solve 0 = f*i + i - 3 for i.
1
Suppose q = 4*g + g, 0 = q - 3*g - 2. Solve 9 = -4*x + q for x.
-1
Let q(o) = -o**2 - 4*o + 14. Let h be q(-6). Solve -h*r = -1 + 3 for r.
-1
Let m = -18 + 25. Suppose 0 = -3*y + m + 5. Let t be 7/3 - y/(-6). Solve t = 4*q + 11 for q.
-2
Let u = 61 - 59. Let m(h) = 5*h - 2. Let s be m(2). Solve -s = -3*r - u for r.
2
Suppose -5*f + 15 = 5*w, 2*w = 4*f - w - 19. Suppose 2*x = -3*i + 10, -5*i - 2*x + 18 = 2*x. Suppose i = -3*t + f*t. Solve 3 = -t*q - 3 for q.
-3
Let c = 54 - 50. Solve c*v = 7*v + 15 for v.
-5
Let p be (-56)/10 + (-2)/5. Suppose -3*h + 4*w = -28, 2*h = -h + 3*w + 30. Let o = h + p. Solve 0 = x + 2*x + o for x.
-2
Let w(c) be the first derivative of -c**4/4 + 4*c**3/3 + 2*c**2 + 5*c - 3. Let b be w(5). Suppose -2*m = -3*m. Solve b = -2*z + 2 - m for z.
1
Let y be 8/(-12) + (-4)/(-6). Solve y = -3*b - b for b.
0
Suppose -3*t - 2*f + 18 = -1, 3*t + 3*f = 21. Suppose -t*l + 4*w = -0*w + 24, -l + 4*w - 8 = 0. Let r = l - -7. Solve 0 = r*u - 5*u for u.
0
Let q = 6 + -2. Solve -q*j + 3 = -j for j.
1
Suppose 0 = -5*p + t + 36, 2*p + 5*t = -0*p + 36. Solve 3*k = 1 + p for k.
3
Suppose -3*b + 2*b = 5*r - 19, -2*b + 38 = -3*r. Suppose 5*u + 4 = b. Solve 5 - u = d for d.
2
Let r be -1 - (-3 + 0 - -20). Let z = -4 - r. Solve z + 6 = -4*f for f.
-5
Let d = -8 + 11. Let c = d + 0. Suppose -c*v + 0*v = -36. Solve -5*y - v - 8 = 0 for y.
-4
Let b be 7 + (0 - 1) + (-6)/(-3). Solve -4 = 2*a - b for a.
2
Let q(g) = -3*g**2 - g + 13*g**3 + 0*g - 14*g**3. Let r be q(-3). Solve -r*f + 4 = -f for f.
2
Suppose 0 = 6*k - k. Let z = 50 + -44. Let y = k + z. Solve -10 = -