+ 13 + 7 for j.
-5
Let k(j) be the third derivative of -1/24*j**4 + j**2 - 1/60*j**5 + 2/3*j**3 + 0 + 0*j. Let x be k(0). Solve -x*z = z for z.
0
Let k(v) = 6*v**2 - 5 - 2*v**2 - 2*v + v**3 + 0*v. Let m be k(-4). Suppose -3*b = m - 9. Solve 0*o = b*o - 10 for o.
5
Let k = -37 - -44. Solve -k*o - 20 = -2*o for o.
-4
Let y be 2 - 1/(-1) - 12/4. Suppose 0 = -9*h + 4*h. Solve x + y + 4 = h for x.
-4
Let f(k) = k**3 + 2*k**2 - 4*k - 2. Let v be f(-3). Let n be v/(-4) + 119/28. Suppose -w - n*w + 5 = 0. Solve -5*r = -w + 6 for r.
-1
Suppose 0 = -2*m - 2*x - 8, 3*m + 9 - 1 = -2*x. Suppose m = 2*y + 3 - 11. Solve d = -d + y for d.
2
Let f be 2/10 - (-57)/15. Suppose -k - 60 = -f*k. Let r = 7 - 2. Solve 3*z = -r + k for z.
5
Let f(w) = 3*w - 2. Let n be f(2). Solve -q + 3*q = -n for q.
-2
Let l = 54 - 54. Solve 3*t = -l*t for t.
0
Suppose 2*j = j, -a = 4*j + 20. Let y = 32 + a. Solve -y = -3*i - i for i.
3
Suppose 10 = 2*j + 3*j. Solve j*q + 2 = 12 for q.
5
Suppose -12 = -5*j - 2. Let y = -30 - -55. Let c = y + -16. Solve -u = j*u - c for u.
3
Suppose 4 = -k - 0*k. Let r be ((-1 - k) + -3)/2. Solve r*a = -2*a - 8 for a.
-4
Let j be (-20)/(-14)*(-21)/(-3). Solve -4*s - s + j = 0 for s.
2
Let n = 0 - -2. Let r(o) be the third derivative of o**4/12 - 3*o**3/2 - 2*o**2. Let z be r(7). Solve l = n*l + z for l.
-5
Suppose -2*f = -29 + 1. Let z be (-4)/f - 48/(-21). Solve z = 2*h - 0 for h.
1
Let k = -76 - -84. Solve 4*n - 4 = k*n for n.
-1
Let p(d) = -d**2 + 9*d + 5. Let q be p(9). Solve 0*w + 10 = q*w for w.
2
Let z be 2 - (0*4/8)/3. Suppose -5*v = -9 - 66. Solve -z*y = y + v for y.
-5
Let r be (0 - 0)/((3 + 2)/(-5)). Solve r = 3*x - 3 + 6 for x.
-1
Suppose 4*r + c = -5, 5*c - 10 = -r - 35. Solve r = -6*j + j + 5 for j.
1
Let n = -29 - -29. Suppose n*t - 16 = -4*t. Suppose 2*k - 3*v - 27 = 6, -3*k - 3*v + 12 = 0. Solve -t*p = -k + 1 for p.
2
Let q be (-15)/(-3)*1/(-1). Let h(x) = 0*x + 6 + x + 0. Let g be h(q). Solve 0 = -0*j + j - g for j.
1
Let i = 4 - -1. Solve 0 = -i*o + 2*o - 15 for o.
-5
Let f be 1/(-3) - (-9)/27. Let z be f*(2 - 0 - 1). Solve -5*r + 8 - 3 = z for r.
1
Let c be ((24/2)/(-3))/(-2). Suppose 2*s = -c*s. Solve s = -3*p - 0 + 3 for p.
1
Let j = 16 + -10. Suppose -2*y + j*y - 8 = 0. Solve y*d - 15 = -d for d.
5
Let c(v) = v + 12. Let n be c(-14). Let k = -13 - -3. Let b = n - k. Solve -h = h + b for h.
-4
Let y(o) = 5*o. Let d be (1*(-2 + 1))/(-1). Let c be y(d). Suppose 0 = c*l - 4*u - 8, 4*l - 2*l + 4*u = -8. Solve 4*j - 4 = -l for j.
1
Let i be (46/((-2)/(-1)))/(-1). Let y = i - -35. Suppose -4*q + 0*q = -y. Solve q*s = -2*s + 20 for s.
4
Let b(j) = -j**3 + j**2 - 2*j + 8. Let z(y) = y**3 + y - 7. Let r(v) = 3*b(v) + 4*z(v). Let n be r(-3). Solve 0*x - 8 = n*x for x.
-4
Let y = -60 - -64. Solve -y + 6 = u for u.
2
Suppose 0 = -13*v + 11*v + 14. Let w = v + -5. Solve -w*p - 2 = -0 for p.
-1
Let q = -1 + -7. Let c = q + 15. Let f(g) = 2*g**2 - 2*g. Let m be f(2). Solve -m*d - 1 = c for d.
-2
Let h = -79 + 81. Solve h*o + 1 = o for o.
-1
Suppose 11*u = 16*u. Solve u = -w - w - 2 for w.
-1
Suppose 0 = -4*d - 2*f + 4, -3*d = 2*d - 5*f + 25. Let h be d - (-3)/(-2)*-4. Solve h*v = -0*v - 10 for v.
-2
Let k = -19 + 19. Let c be (-3 - 1) + 4 + k. Solve c*v = -3*v for v.
0
Let s = -150 - -151. Solve -4*x + 21 = s for x.
5
Suppose -x + 4*x = 105. Let g be 2/10 + 28/x. Solve 0 = q + g - 3 for q.
2
Let a(j) = j**3 - 2*j**2 - 5*j + 4. Let v(d) = d**3 - 3*d**2 - 6*d + 5. Let q(x) = 4*a(x) - 3*v(x). Let i be q(-2). Solve -4*o = i - 5 for o.
1
Let w(p) = -3*p - 1. Let t be w(-1). Suppose -4*i + v + 17 = 0, 2*v = -0*i - 4*i + 14. Let r be 8/(-5)*(-10)/i. Solve r*q = t*q for q.
0
Suppose -2*d + 14 = 5*z, 4*z = -0*z + 2*d + 22. Let f(r) = -r**3 + 5*r**2 - 5*r + 6. Let a be f(4). Solve -a*k + 8 = -z*k for k.
-4
Suppose -4*m = -m - 12. Solve 1 + m = -h for h.
-5
Let x be (6/(-4) + 2)*12. Let t be 1/((x/(-9))/(-2)). Solve 0 = t*d - 8 + 2 for d.
2
Let r = -3 + 5. Let m be (2 + -4)*(-3)/r. Solve -m*g - 10 + 4 = 0 for g.
-2
Suppose -4*g + 75 = g. Solve n - 4*n + g = 0 for n.
5
Let r(y) = y - 3. Let q be r(7). Suppose -p - 3 = -q*o, -3*p + o + 4 = -9. Suppose 4*z + 12 = -6*c + 3*c, -p*c - 6 = 2*z. Solve u = -c*u - 4 for u.
-4
Let n = 6 - -16. Let f = n - 14. Solve -k - f = -3 for k.
-5
Let b = -51 - -54. Solve -r + 2 = b for r.
-1
Let r(j) = -7*j - 2. Let v be r(-5). Suppose -5*q + v + 2 = 0. Let l = q - -5. Solve 0 = -3*z + 6*z + l for z.
-4
Suppose 8*k = 4*k + 80. Solve -5 = -3*l - k for l.
-5
Let g be 0/(1/1)*-1. Solve g*a = 5*a - 25 for a.
5
Let v be (-1 - 3)/4 + -10. Let h = v - -21. Solve 6*c = 4*c - h for c.
-5
Suppose 0*q - 3*q = 18. Let k = 0 - q. Suppose m - k = -2. Solve 0 = m*j - 2 - 10 for j.
3
Suppose -3*r - 2 = -2*r + 2*h, 0 = 4*h + 8. Suppose -20 = w - 3*w. Suppose 4*g = w + 2. Solve r = g*v - 10 for v.
4
Let t(b) = -2*b + 10. Let p be t(2). Solve -5*h = p - 31 for h.
5
Suppose -3*c - c - 11 = v, -3*v + 11 = c. Solve 2*m - v = -1 for m.
2
Suppose -9*r + 6*r + 12 = 0. Let p = r - 4. Solve 2*b + p = -6 for b.
-3
Suppose 2*u = 2*g + 2 - 4, g = 3. Solve -2 = 4*d + u for d.
-1
Let x be 0/(9/(-3) - -2). Suppose x = 2*b - 0*b + 18. Let a = -4 - b. Solve -7 + 27 = a*i for i.
4
Suppose 4*l + 3*m - 31 = 0, 2 = -2*l - 4*m + 30. Solve -s = 3*s + l for s.
-1
Suppose 76 - 24 = k. Suppose 5*d - k = 4*o, 4*d - 12 = d. Let h = 13 + o. Solve -5*g + h = -0 for g.
1
Suppose -4*r + 5*h + 15 = 0, 5*h + 6 = 3*r + 3*h. Let w(c) = c - 2. Let o be w(0). Let n be (-1)/o*6/1. Solve r*d = -n*d for d.
0
Let k(d) be the second derivative of d**4/4 - 2*d**3/3 - 2*d**2 + 4*d. Let h = 7 + -10. Let m be k(h). Solve -m + 15 = -5*i for i.
4
Let t(w) = w**3 + 7*w**2 - w - 3. Let a be t(-7). Suppose 16 = a*x + 5*y - y, y = 4. Let c = 3 + x. Solve 0 = -k - 5 + c for k.
-2
Suppose 3*p + 3*u = 4*p - 10, 4*p = -2*u + 96. Suppose -2 = -4*z + p. Solve 2*c + 4 = -z for c.
-5
Suppose -2*u = -2*t, 2 = 2*t + 3*u - 13. Suppose 0 = 4*i - 4*b + 16, 7*b - t*b = -i + 16. Solve -2*q - q = i for q.
0
Let z = 5 + -8. Let f = 7 + z. Solve -f*n + 3 = 19 for n.
-4
Let c = -54 - -56. Solve -c*j = -0 + 8 for j.
-4
Suppose -75 = -6*s - 9. Solve -s*q = -7*q for q.
0
Suppose 17 = 5*j + 4*b, -3*j + 3*b - 12 = -2*b. Let z = 4 - j. Solve -z = 2*s + 1 for s.
-2
Suppose 8*j + 12 = 12*j. Solve -j*g - 6 = -g for g.
-3
Let a be 1 - 0 - (-91 + 2). Suppose 2*n - a = -n. Suppose d = -d + 5*v + n, -5*d + 29 = -v. Solve 0*w + d*w = 25 for w.
5
Let w be 3/(((-8)/6)/(-4)). Let h be (w/(-9))/(2/(-4)). Let v(r) = r**2 - 1. Let g be v(-1). Solve 0 = -2*s - g - h for s.
-1
Let d = 10 - 5. Let c = -7 + 19. Suppose -c - 8 = -2*a. Solve 0*j - d*j = -a for j.
2
Let d = -4 + 7. Suppose d*u + 2*u - 10 = 0. Let c(p) = p**3 + 4*p**2 - 2*p - 4. Let i be c(-4). Solve -u*s + i*s = 0 for s.
0
Let d(s) = -s + 6. Let g be d(4). Let j(t) = t**3 - 4*t**2. Let m be j(4). Solve g*r + r - 6 = m for r.
2
Suppose -7*q + 2*q - p + 12 = 0, 0 = -3*q - 4*p + 14. Solve 0 = -r - r + q for r.
1
Suppose -5*w - 4*x + 11 = 0, 5*x + 0 - 1 = -2*w. Suppose w*d - 5 = 1. Suppose -d*q = 4*m - 20, 5*m = -7*q + 2*q + 25. Solve q*h - 2 = -h for h.
2
Suppose 0 = -13*l + 3*l + 30. Solve 4*z - l - 1 = 0 for z.
1
Suppose 5*i + 5*r - 40 = 0, -6 = -3*i + 4*r - 3. Let u = 8 - i. Suppose -7*k = -14*k + 14. Solve -k = -u*v - 17 for v.
-5
Let k(q) = -q**2 + q - 2. Let n be k(2). Let p be ((-2)/n + -1)*0. Solve 2*y + p*y = 0 for y.
0
Let r be 0/((-80)/(-30) + (-2)/3). Solve r = -q + 2*q for q.
0
Let r(j) = -j**3 + 2*j**2 + j - 1. Let s be r(-2). Solve -5*i - s = 7 for i.
-4
Let p(t) = 5*t**2 + t. Let i be p(-1). Suppose -5*h + i*h = 0. Suppose -k + 4*k - 48 = h. Solve -3*f = f + k for f.
-4
Let g be (-15)/150 - 1/(-10). Solve g*i - 15 = 5*i for i.
-3
Suppose -2*m + 3*f + 9 = 0, -2*f = 4*m - 3*f - 33. Let g be ((-15)/m)/((-2)/6). Suppose z + 8 = 3*z. Solve 0 = -g*v + z*v for v.
0
Let b = 12 - 8. Let p = -4 + b. Solve p = 5*z - z + 4 for z.
-1
Let i be 434/28 - (-2)/4. Solve -i = 5*n + 4 for n.
-4
Let f = 10 + -5. Let t = -30 + 50. Solve f*k = -0*k + t for k.
4
Let k(z) = z**2 + 5*z - 11. Let h be k(-7). Solve h*v = 8 + 4 for v.
4
Let z(a) = -7*a**2 + 13*a + 9. Let u(x) = 11*x**2 - 20*x - 14. Let l(c) = 5*u(c) + 8*z(c). Let q be l(4). Solve 0*v - q*v = 0 for v.
0
Let x(c) = -2*