s.
2
Suppose -6*z + 0 + 36 = 0. Let u(x) = -x**3 + 6*x**2 + 2*x - 2. Let l be u(z). Solve 0 = 5*d - l*d for d.
0
Let v(b) = -b**3 + 7*b**2 + 6*b + 21. Let g be v(8). Solve -r + g = 2 for r.
3
Let u(l) = -l**3 + 2*l**2 + 5*l - 4. Let o be u(3). Suppose 69*w - 66*w = -15. Let j be (w + 2/(-6))*-3. Solve -o*i + j = 6 for i.
5
Let v be (6 - 2) + (-2 - (-4)/2). Let a(o) = 4*o - 18. Let r be a(7). Suppose 0 = -3*p + 4*p. Solve c + v*c + r = p for c.
-2
Let v = -18 + 23. Suppose 5*l - 33 = -3*b + 5*b, v*l + 37 = -3*b. Let y = 19 + b. Solve y*p + 0*p = 0 for p.
0
Let a(y) = -y**2 + 9*y - 4. Let l be a(8). Suppose -49 = -3*p - l*p. Suppose 3*h + 5 = 4*t, -4*t = -3*h + 2*h - p. Solve -4*v = h - 13 for v.
3
Let a be 3/3 - (-12)/(-1). Suppose 0 = -6*n + 121 - 43. Let w = a + n. Solve -u = w*u + 9 for u.
-3
Suppose r + 2*i + 4 = 2*r, 10 = r - 5*i. Solve -11*x + 10*x + 4 = r for x.
4
Let z = 564 - 562. Solve -8*v = z*v - 20 for v.
2
Let n be (-2)/6*(1 + -55). Let k = n + -16. Solve v + 3 = k for v.
-1
Let s = -7 - -9. Suppose -u - s*u = -9. Suppose -r + u = 3*t, -t - 3*r + 9 = -6*t. Solve 5*i + 24 + 1 = t for i.
-5
Let l = -248 - -274. Solve 4*h - l = -14 for h.
3
Suppose -h - 1 = -6. Suppose 40 = h*g + 5. Solve 2*q = -g - 3 for q.
-5
Let n(h) = 3*h - 5. Let q be n(5). Suppose -7*i + 6*i = -q. Let j be i*(-2 + (-5)/(-2)). Solve 0 = j*d - 5 for d.
1
Suppose -4*j = d - 23, 3*j - 10 = -2*d + 4*j. Solve d*w + 2 = 5*w for w.
-1
Suppose 3*b - d + 1 = 17, 2*b - 3*d - 20 = 0. Let n be (11 - 2)/(6/b). Let y be (-3)/(-6) - ((-58)/4 + 0). Solve -n*i = -i + y for i.
-3
Let r = -15 + 9. Let a(v) be the first derivative of 3*v**2/2 + 20*v - 4. Let y be a(r). Solve 11 = y*q + 1 for q.
5
Let c = -104 - -75. Let l = -29 - c. Solve n + 4 + l = 0 for n.
-4
Let k be (1 - 0)*1 - -3. Suppose x + 25 = 5*s, 4*x = -3*s + 8*s - 10. Solve 6*z - k*z = -s for z.
-3
Let j be ((-18)/45)/(2/(-10)). Let l be (0 - j - 5)*(-6)/21. Solve 1 = -v + l for v.
1
Let z(q) = -q - 8. Let o be z(-14). Suppose -s + 0 = -o. Solve m = 1 - s for m.
-5
Let y(f) = 2*f + 16. Let m be y(-8). Suppose -2*i + 3*b = i - 48, m = -i + 2*b + 13. Solve -i = -4*j + 1 for j.
5
Suppose 4*f - b - 83 = 0, 3*f + 3*b = b + 54. Solve 0 = 31*u - 27*u + f for u.
-5
Suppose 59*l - 410 = 1065. Solve l*j = 6*j for j.
0
Let g be (-9)/27 - 3/(18/(-14)). Solve g*r - 2 - 8 = 0 for r.
5
Let j(a) = -a + 1. Let s be j(-3). Suppose -9 = v - s. Let u be v/(-30) - (-23)/6. Solve -3*d = d + u for d.
-1
Let o = 45 + -45. Solve 2*p = -o*p - 10 for p.
-5
Suppose -31*r - 76 = -324. Solve -r = -2*d - 6 for d.
1
Let i be (-10 - (-784)/72)*9. Solve 0*b = -i*b + 4*b for b.
0
Suppose 93 = 2*z + 35. Let i = -27 + z. Let c be 0 + (9 - 8/i). Solve 4*k - 3 = c for k.
2
Let w(h) = h**2 + 9*h + 4. Let r(d) = -d**2 - 8*d - 5. Let t(n) = -6*r(n) - 7*w(n). Let f be t(-15). Solve f = x + x for x.
1
Let u(g) = -5*g + 35. Let w be u(14). Let h = -26 - w. Solve -h = -m - 2*m for m.
3
Suppose q + y = 20, 3*q - 80 = -0*y + y. Solve -10*g - q = 5 for g.
-3
Let h = 802 - 789. Solve h*l = 16*l - 6 for l.
2
Let o = 3277 + -3275. Let s be 2 + 0*1/2. Let i be 0 - (-1*1 - 1). Solve s*m - i = o for m.
2
Suppose 22 = 3*y - 5. Let o = -9 + y. Suppose 3*w + w = o. Solve -k - 1 = -w*k for k.
-1
Suppose -t - 5 = -9. Let b(a) = a**2 - 10*a + 3. Let x be b(10). Suppose x*f = -f + t. Solve s - f = 4 for s.
5
Let k(y) = -6*y - 105. Let i be k(-30). Solve v - i + 80 = 0 for v.
-5
Let d = 77 + -74. Solve -2*v = d*v - 0*v for v.
0
Let i(v) = 7*v. Let f be i(3). Let g = 42 - f. Solve 5*o + g = 1 for o.
-4
Suppose 4*x - 4*y = 60, -3*x - x = 2*y - 60. Suppose 6*t - 15 - x = 0. Suppose 10 = -2*u, t*k - 2*u = 3*u + 90. Solve -7 = -4*z + k for z.
5
Let r(a) = -20*a - 2. Let f be r(4). Let g = f - -82. Solve g*p = p - 4 for p.
4
Let t(h) = 2*h - 1. Let q be t(-2). Let p(f) = -f**3 - 4*f**2 + 5*f + 3. Let x be p(q). Solve -c = -4 + x for c.
1
Let i(f) = -2*f - 18. Let q be i(-9). Suppose -l - 3*l + 20 = q. Solve 0 = -0*d + l*d for d.
0
Let p(h) = 6*h**3 - h**2 + 2*h + 4. Let i(z) = -z**3 + z**2 - 1. Let k(a) = 5*i(a) + p(a). Let j be k(-3). Solve 0 = -2*q - 0 + j for q.
1
Let z be ((-48)/(-14))/(10/(-70)). Let h be 7/21 - z/9. Let n be h/(((-54)/(-4))/9). Solve -f + 3 + n = 0 for f.
5
Let c(l) = -2*l**3 - 65*l**2 + 31*l - 58. Let v be c(-33). Solve 5*d + v + 17 = 0 for d.
-5
Let x be (-18)/(4 - (-22)/(-4)). Let r(m) = -m**3 + 13*m**2 - 11*m - 12. Let p be r(x). Solve u - 1 = -p*u for u.
1
Let w(d) = -d**3 - 7*d**2 - 6*d + 6. Let i be w(-6). Suppose 2*u - i = 4. Solve 0 = u*z + 18 + 2 for z.
-4
Let u = -168 + 291. Suppose -3*w = 4*s + 3 - u, -w = 5*s - 139. Let c be (-6)/27 - (-60)/s. Solve c = n + n for n.
1
Let g = -1931 + 1931. Let p = 4 - -1. Solve g = p*o + 3 + 2 for o.
-1
Let t(u) = u**3 + 8*u**2 - u - 7. Let i be t(-8). Suppose 9 = -4*j - 3*o + 11, 0 = 2*j - 2*o - 8. Solve -j*r + 5 = i for r.
2
Let u(i) = i + 6. Suppose 9*d + 54 = -0*d. Let m be u(d). Solve 2*f - 4 + 8 = m for f.
-2
Suppose -5*j = 3*o - 35, j + 5*o + 10 - 39 = 0. Solve 0 = -6*l - j - 2 for l.
-1
Let w(t) = -t. Let g be w(-10). Solve -3*p = -8*p + g for p.
2
Let f(h) be the second derivative of h**4/6 + 5*h**3/6 + h**2 - 3*h. Let u be f(-3). Suppose 0 = u*w - 4 - 6. Solve 0 = -w*m + 5 + 1 for m.
3
Suppose -3 = j - 3*w, 4*w - 2*w = 0. Let l be 4/4 + 2 - (j - -6). Solve -y = -l + 4 for y.
-4
Suppose 3*a = 4*b - 10, -3*a - 4 = -a. Suppose -3 = -5*w + 22. Let x be 12/(-18) + 2/3. Solve -4*o + w - b = x for o.
1
Suppose -5*x = -4*c + 518, 1 = x - 1. Suppose 5*o = -32 + c. Let d = -16 + o. Solve -g + 0 = d for g.
-4
Let y = 22 - 18. Let w be (-40)/(-10) - y/1. Solve -l - 4 = -w for l.
-4
Let b(p) = 6*p**2 + 47*p + 38. Let j be b(-7). Solve n + j*n = 0 for n.
0
Let s = -6 - -11. Let b(p) be the third derivative of p**6/120 - p**5/10 + p**4/4 - p**3/6 + 12*p**2. Let h be b(s). Solve -h*w + 3*w = 3 for w.
-3
Let f(d) = -d**2 + 4*d + 7. Let i be f(5). Suppose -5*a = 3*g - 112, -5*a + 0*g = -4*g - 84. Let r = 8 - 5. Solve -r*h = i*h - a for h.
4
Let k(q) = -32*q + 7. Let f be k(-1). Let p = -30 + f. Solve -2*u = 5 - p for u.
2
Suppose -4*h = 4*z - 32, -5*h - 80 = 12*z - 17*z. Solve -z*r + 6*r = -18 for r.
3
Let y be (9 - 5)/(2/3). Let o(c) = c**2 - 6*c + 7. Let z be o(y). Let k be (10/8 + -2)*-4. Solve -k*f - z - 5 = 0 for f.
-4
Let a = -33 + 36. Suppose -2*b + 9 = a*b - 4*q, b + 5*q = 25. Solve -7 = -3*m + b for m.
4
Let u = -10 - -18. Let g(k) = -k**3 - 15*k**2 + 17*k + 19. Let p be g(-16). Solve 0 = p*w + 7 + u for w.
-5
Let m = -53 + 57. Suppose -c + 3 = 0, 0 = -4*l + 2*l + 2*c + m. Solve 0*a - l*a - 15 = 0 for a.
-3
Suppose 10 = -3*k - 4*b - b, -3*b - 30 = -3*k. Solve 7 = k*g + 2 for g.
1
Let q be 3/(-5) + (-32)/(-20). Solve 0*s - q = s for s.
-1
Let n be (1/2*0)/(-2 - 6). Solve 9*o - 26 - 19 = n for o.
5
Let j(o) = -o**3 + 4*o**2 + 3*o + 1. Let h = 30 - 26. Let r be j(h). Suppose -3*y + i = -9, 0 = -4*y + 4*i - 3*i + r. Solve 1 = k - y for k.
5
Let x = -585 + 596. Solve -p - 12 = -x for p.
-1
Suppose -4*c + 3*q - 112 = 0, 15 = 3*q + 3. Let l = -23 - c. Let o be (l - 28/12)*-15. Solve -o*d + d = 8 for d.
-2
Let a be (-24)/(-6) - ((-70)/(-7))/(-5). Solve a*g = g - 15 for g.
-3
Let i(a) = 30*a - 3. Let k be i(-2). Let u = k - -72. Solve -l = u - 4 for l.
-5
Suppose 10 = -2*u + 5*m, 4*u + u + m = 29. Suppose 28 = 4*l + 4*s, -u*l - 5 = s - 4*s. Solve 0 = -l*p + p for p.
0
Let o(t) = t**2 + 5*t + 3. Let l(y) = -7*y**3 + 2*y**2 - 2*y + 1. Let h be l(1). Let f be o(h). Suppose -5*c + 6*c = f. Solve 0 = 4*b - c*b for b.
0
Let u(f) = 209*f - 175. Let y be u(1). Solve y*l = 27*l + 21 for l.
3
Suppose -19*o + 6*o = -143. Solve o*w - 6*w + 20 = 0 for w.
-4
Let n(m) = -3*m + 32. Let d be n(10). Suppose x + 4*y + 20 = -d*x, 5*y = 3*x - 25. Solve o + 0*o - 1 = x for o.
1
Let s be 6*(-2)/8*-2. Suppose 2*m - 2*w = 8, -27 = -s*m - 5*w + 3*w. Suppose 3 = -57*t + 58*t - k, -t - 4*k + 3 = 0. Solve -t*o = 2 + m for o.
-3
Let j = 260 - 184. Suppose 5*x - j + 196 = 0. Let f = 36 + x. Solve -f = 3*n - 6*n for n.
4
Let o(c) = c**2 + 12*c + 14. Let m be o(-11). Suppose 0 = -m*p - 0*p. Suppose p*k = k. Solve k = 4*r + 3 - 19 for r.
4
Let c(k) = 25*k + 134. Let b be c(-5). Solve -b*q = -5*q + 4 for q.
-1
Suppose -45*q = -76*q + 31. Solve 62*l - q = 