3 + h for j.
-3
Suppose -39 = -4*z + z. Let s = z + -7. Suppose -s = l - 4*v, 0 = 4*l + 5*v - 12 - 6. Solve l*h + h = -3 for h.
-1
Suppose 5*k + 3 = -4*d + 16, 0 = -3*d - 3*k + 9. Solve 5*u = -d - 23 for u.
-5
Let f = 1964 - 1873. Solve 0 = -m - f + 93 for m.
2
Let m = 57 - 79. Let x(y) = y**3 + 22*y**2 + y + 24. Let j be x(m). Solve 5*n = j*n + 6 for n.
2
Let s = 105 - 88. Suppose -2*j + s = 11. Let u be 1 + (0/1 - 1). Solve -j*k + 4 + 8 = u for k.
4
Let h(n) = -n**2 + 4*n + 3. Let v be h(6). Let l = v + 25. Solve 0 = -g + 5*g + l for g.
-4
Let v(n) = -2*n + 52. Let z be v(10). Solve -p = -z + 37 for p.
-5
Let o(u) = 7*u**3 - 25 + u - u**2 - 8*u**3 + 2*u**2. Let p be o(0). Let b = -15 - p. Solve 2 = 3*j - b for j.
4
Let c be (4 - (-102)/(-18))*-3. Solve -3*g - 8 = -c for g.
-1
Let s(c) = -c**3 - 7*c**2 + c + 1. Suppose -35 = 6*u - u. Let n be s(u). Let k be (10/n)/((-9)/27). Solve 0 = -4*j + 3 + k for j.
2
Suppose -385*m = -386*m + 11. Let d = 3 + 1. Solve -5*l - m = d for l.
-3
Let s be 2 - (2 + 1 + -2). Suppose 2*g - 4*o + 54 = 0, 1 = o - s. Let n = 26 + g. Solve -5 = -n*i - 2 for i.
1
Suppose 4*h - 3*j = 6, -2*h - 2*j = -3*h - 1. Suppose -q + h*r = -17, -2*q = 3*q - 4*r - 30. Let l be 4 + (q - (-30)/(-5)). Solve l = -3*m + 9 for m.
3
Let v = 8 - 14. Let o be 13 + v*(-1)/(-2). Solve -4 = -3*m - o for m.
-2
Suppose 0 = -2*i + 61 - 57. Let h(u) = -u**2 - 7*u - 1. Let w be h(-6). Suppose -p = -0*p - 3*c - 16, w*p = -i*c + 12. Solve p*v = v + 3 for v.
1
Let o(g) = 4 + g - 4*g**2 - g**3 - 6 + 2*g**2. Let a be o(-3). Suppose -a*m - 3*l - 30 = -72, -m = 4*l - 4. Solve 2*w = 5*w + m for w.
-4
Let i be (-19)/(-3) - 4/12. Let z(y) = y**3 - 6*y**2 + 1. Let d be z(i). Let c(p) = -3*p**2 + 42*p - 71. Let o be c(12). Solve -o = g + d for g.
-2
Let w = 0 - -1. Suppose 76 - 14 = 31*k. Solve -k = -y + w for y.
3
Suppose 2*u + 194 = 5*r, -r + u + 39 - 2 = 0. Solve 0 = -34*v + r*v - 6 for v.
1
Let t = -1521 + 1521. Solve t = 2*w + 2*w + 20 for w.
-5
Let k = 23 - 23. Let i = 23 - 11. Solve 2*q - 5*q - i = k for q.
-4
Let t = -329 - -332. Solve -t*s = 10 - 25 for s.
5
Let j(t) be the first derivative of -t**5/120 + t**4/12 - t**3/3 + 2. Let h(q) be the third derivative of j(q). Let b be h(2). Solve b*l + 2*l = -8 for l.
-4
Suppose -d - 3*o = -10, -4*d + 5*d = -5*o + 10. Suppose d*x = 12*x. Let c(w) = 4*w - 21. Let l be c(6). Solve -l = 3*j - x*j for j.
-1
Let i(c) be the second derivative of -c**5/20 - 7*c**4/12 - c**3/3 - 11*c**2/2 - 11*c. Let x be i(-7). Solve 0*l + 9 = x*l for l.
3
Let n be 3/5 - 34/(-10). Suppose 2*w + 4 = 0, n*s + 4*w = 15 + 33. Let g be (24/(-28))/((-4)/s). Solve 3*k = 18 - g for k.
5
Let p(i) = i**2 + 7*i - 112. Let o be p(8). Solve 5*c = o - 3 for c.
1
Suppose n + 1 = 0, -d + 8*n + 11 = 5*n. Solve -4*x - 12 = d for x.
-5
Let n be (-6)/(-4)*16/12. Suppose -n*p = p. Let v = -1192 + 1196. Solve 0 = -p*t + v*t for t.
0
Let s be (-33)/(-15) - 4/20. Solve 0 = 3*o + 4 + s for o.
-2
Let g be ((-1)/2)/(9/(-756)). Let f be (g/70)/(2/10). Suppose 2*p = -3*p. Solve f*j + 3 + p = 0 for j.
-1
Let q(k) = -k + 3. Let p be q(-2). Suppose -2*z + 7*z = -4*h + 23, p*h - 4 = 2*z. Solve 0 = z*o + 1 + 5 for o.
-2
Let l = -50 - -38. Let q be l/28 - (-572)/28. Solve -g + q = 4*g for g.
4
Let j(l) = -3*l + 1. Let k = 2 + -6. Let r(z) = -z + 1. Let m(u) = k*r(u) + j(u). Let h be m(5). Solve -h*o - 12 = o for o.
-4
Let i = 283 + -274. Solve -i = 4*u + 7 for u.
-4
Suppose -4*p + 9*p = 10. Let g be 4*(p + -4 - -3). Solve -a - 15 = -g*a for a.
5
Let v(n) = 12*n + 2. Let i be v(0). Solve -1 = 3*b + i for b.
-1
Suppose 4*j = -3*g + 20, -4*j + 20 = -3*g + g. Suppose 0 = -6*f - g*f + 12. Solve -f*u = 3 + 7 for u.
-5
Let x = 16 + 7. Let g = x + -33. Let n = 17 + g. Solve -4*w = -n*w + 12 for w.
4
Suppose 2 = -n - 1, 108 = 4*r - 4*n. Suppose -2*m - r = -5*m + 3*j, -j + 8 = 3*m. Solve -m*k = -3*k - 4 for k.
4
Suppose 0 = -4*j + 10 - 2. Let y(p) = 1 - 6*p + 1 - 3 - 6*p**j - p**3. Let q be y(-5). Solve q*b - 5 = 15 for b.
5
Let o = -1 - 31. Let x(f) = f**3 + 33*f**2 + 31*f - 29. Let w be x(o). Solve -5*i - 7 = w for i.
-2
Let z(r) be the third derivative of -r**6/120 + r**5/20 - r**4/12 - 2*r**2. Let o be z(2). Solve o = -3*g - g + 20 for g.
5
Let a be ((-4)/(-8))/(-5 - 444/(-88)). Solve 2*n + a = 5 for n.
-3
Suppose -8*o + 7*o = 12*o. Solve o = 14*s - 27*s + 52 for s.
4
Suppose -3*j = 6 - 12, -2*j = 2*z - 4. Solve z = q - 2*q - 3 for q.
-3
Let k = -23 - -22. Let v be k*((-2)/15 + 232/(-60)). Solve 0*c - 2*c - v = 0 for c.
-2
Let m be ((-18)/45)/((-2)/90). Let h = 0 + 3. Suppose 0 = 3*t - 2*s - h, 3 = 4*t + 3*s - m. Solve -t*c = -2*c + 2 for c.
-2
Suppose 5*m = 2*c + 35, m - 5*m + 3*c + 21 = 0. Let q be ((-3)/m)/(4/(-36)). Solve q = -5*u - 2 for u.
-1
Let h be 3/(-4) - (-324)/48. Solve h*m = -21 - 3 for m.
-4
Suppose 5*a + 2*v + 20 = 5*v, 4*a - 4*v + 16 = 0. Let s be ((-3)/(-1))/((-3)/a). Solve 0 = -w - s*w + 15 for w.
3
Suppose -4*c + 85 + 39 = 0. Suppose -5*h = c + 29. Let r = h + 13. Solve 0 = 2*u - 5 + r for u.
2
Let a be (60/(-4))/(-3) + 15. Solve -9*p - a = -5*p for p.
-5
Suppose 6*x - 25 - 17 = 0. Solve y + x - 5 = 0 for y.
-2
Let c(u) be the first derivative of 2/3*u**3 + 2*u - 3 + 2*u**2. Let a be c(-2). Solve -4*z = -6*z + a for z.
1
Suppose 4*a = -4*n + 68, 3*n - 5*n + 5*a = -20. Solve 0 = m + 2*m - n for m.
5
Let b = 48 - 48. Solve b = -5*v + 3*v + 4 for v.
2
Suppose d = 6 - 3. Let f(l) = -l**3 + 2*l**2 + 4*l - 2. Let z be f(d). Let v = -1 + 10. Solve z = -2*r - v for r.
-5
Suppose 5*l = -2*q - 0*l + 5, 2*l - 13 = -3*q. Solve 9 - q = -d for d.
-4
Let w = -49 - -53. Suppose -w*x = z - 5, 0*x - z - 5 = -x. Solve -5*v + 12 = -x*v for v.
4
Let f(n) = -3*n + 38. Let t be f(6). Let m be t/(-6)*(-84)/10. Solve -5*s - m = -3 for s.
-5
Let d be 4/18 - (-931)/63. Suppose t - 4*s + 3*s = 3, -d = -5*t + 3*s. Solve t*j = j for j.
0
Let t(u) = -u**3 + 2*u - 2. Let n = -16 - -18. Let o be t(n). Let c be o/33 - (-24)/11. Solve 4 - c = m for m.
2
Let l = 9 + 5. Let i be l/(-21)*(2 + -5). Solve 2*x = 4 + i for x.
3
Let c(d) = d**3 + 5*d**2 - d - 7. Let m be c(-4). Suppose -96 = l - m*l. Solve -3*v + v - l = 0 for v.
-4
Let l = -11 + 4. Let q(h) = -h**3 - 4*h**2 - 3*h - 1. Let m be q(-4). Let y = m + l. Solve -y*b = -2*b for b.
0
Let f = -15 + 15. Suppose 3*z - z = f. Suppose z = -6*o + 2*o + 20. Solve -o*b = -4*b - 4 for b.
4
Let t be 1*(-32)/(-3) - 2/3. Solve 7*y = 5*y - t for y.
-5
Let g(t) = -2*t + 34. Let v be g(20). Let o = v + 6. Suppose m = -0*m + 20. Solve 4*n + m = -o*n for n.
-5
Let b(h) = -h**3 - h + 4. Let f be b(0). Let d = -786 - -788. Solve 2*r - f = d for r.
3
Let h(s) = -2*s - 13. Let t be h(0). Suppose -c + 72 = 3*c. Let n = t + c. Solve 3 - n = j for j.
-2
Let n be 1*(-4 - (-25)/10)*-12. Solve 6*d = -n + 12 for d.
-1
Let j = -80 - -85. Solve 0 = -4*x - 17 + j for x.
-3
Let w = 11 + 18. Suppose -p - 26 = -w. Suppose 5*g = 10, 3*m - 4*g + p - 1 = 0. Solve -m*o - 1 - 3 = 0 for o.
-2
Let w be 3 + (3 + -1)/(-2). Let x(a) = a**3 - 6*a**2. Let d be x(6). Suppose -8*n + 9*n = d. Solve 0 = -n*y - w*y + 6 for y.
3
Let h = 5 - 5. Suppose 0 = -2*p - q + 5, q + 0 = -1. Solve p*r = -h*r + 9 for r.
3
Let n = 6 - 10. Let a = 14 + n. Suppose q - 3*q = -a. Solve 12 = q*c - c for c.
3
Let m(a) be the second derivative of -4*a**3/3 - 2*a**2 + 15*a. Let l be m(-3). Solve 0 = -g - 3*g + l for g.
5
Let z(h) = h**2 + 3. Let o be z(0). Let c be o + (3 - 4/1). Let g be 8/6*3/c. Solve g*a - 12 = -a for a.
4
Suppose 9*t - 48 = -3. Solve 6*p - t - 1 = 0 for p.
1
Suppose -4*m = 5*o + 12, 2*m + 3 = m. Let x = -4 + 12. Suppose l = -3*n - 14, -1 = l + 2*n + x. Solve i + o*i = l for i.
1
Let x = -312 + 312. Suppose 0*s + 15 = 5*s. Solve x = -s*h - h for h.
0
Suppose -3*j + 3 + 6 = 0. Suppose -m - 2*m = -3*d - 33, 5*d = -4*m + 17. Suppose -m*u + 9*u - 2 = 0. Solve u*v - j*v = 0 for v.
0
Suppose 10 = 25*p - 20*p. Solve 30 = -8*t + p*t for t.
-5
Let m(o) = -o**2 - 12*o - 4. Let h(n) = -n**2 - n. Let x(d) = 2*h(d) - m(d). Let w be x(10). Solve -3 + w = k for k.
1
Let w = 43 - 39. Suppose -2*j - 4*h + 0*h + 24 = 0, -4*j - 12 = -w*h. Solve -j*v + 15 = -7*v for v.
-3
Suppose -277 = -42*g + 59. Solve -g*h - 13*h = -42 for h.
2
Let k(t) = t**2 - 16*t - 17. Suppose -2*m - 4*n - 51 = 3*m, -5*m + 5*n = 