8 for z.
-4
Let b(k) = -k**2 - 10*k + 35. Let h be b(-12). Let x = h - 7. Solve x*u + 13 = 5 for u.
-2
Suppose 4*w - 4 = 3*w. Let b be (16/w)/(1 - -1). Suppose v - 30 = 3*i, v - b*v = 5*i + 10. Solve -d = -4*d - v for d.
-5
Let b(x) = -x**2 + 5*x - 1. Suppose 30 = 5*i + 10. Let u be b(i). Solve 0 = 2*s + u*s - 20 for s.
4
Let i(s) be the third derivative of -s**4/8 - 12*s**3 + 4*s**2. Let y be i(-26). Solve 3 - y = 3*g for g.
-1
Let z(t) = t + 4. Let o be z(2). Let x be 5/((-15)/o) + 3. Solve -2*i - 7 = -x for i.
-3
Let q = -59 - -22. Let f = q - -45. Solve -3*l + f*l = 0 for l.
0
Suppose 13*h + 529 = 3740. Solve 243*z - h*z = 20 for z.
-5
Let y(c) = 2*c**2 - 17*c + 10. Let h(k) = -k**3 - k - 2. Let r be h(-2). Let d be y(r). Solve -d*s = -s - 5 for s.
5
Suppose -4*v = 16, -5*s + 10 = -0*s + 5*v. Solve -15 = s*r + 15 for r.
-5
Let j(o) = -o**2 + 12*o + 23. Suppose m + 6*m = 91. Let a be j(m). Solve -10 - a = 4*h for h.
-5
Let y be 12/3*1 + 2 + 1. Solve -y*v - 10 = 4 for v.
-2
Suppose 3*h + 0 + 6 = 0. Let i = h - -4. Let j be (-36)/(-9) - (i - 0). Solve 0 = -j*n - 3*n + 10 for n.
2
Let g = -302 + 314. Solve g = q + 3*q for q.
3
Suppose a = -4, -3*a - 12 = -l - 0*a. Let g(j) = -j**2 + 26*j - 19. Let d be g(25). Suppose 11*n - d*n = l. Solve -5*f + 2*f - 12 = n for f.
-4
Let j(r) = 23*r + 168. Let c be j(-7). Solve 0 = 3*l + c + 2 for l.
-3
Let f(c) = -4*c + 13. Let h(t) = 8*t - 27. Let a(p) = -5*f(p) - 2*h(p). Let n be a(5). Solve 8*k = n*k + 4 for k.
-4
Let d(n) = -8*n**2 - 6*n - 9. Let j be d(-3). Let s = j - -69. Solve -s*h + 3 = -5*h for h.
3
Let l be (138/115)/(-3 + 47/15). Solve -a = -4*a + l for a.
3
Let c = -2812 + 2819. Solve 9*u - 43 + c = 0 for u.
4
Let b(u) = 27*u - 3. Let y be b(1). Let m(a) = 14*a - 9. Let g be m(1). Solve -4 = -g*k - y for k.
-4
Suppose -r = 2, 3*r - 1 = 2*k + 3. Let v be 3 - (-2 + 6) - k. Solve v*l - 4 = 8 for l.
3
Suppose 5*h + 2*f + 0*f = 83, 4*h = 3*f + 48. Suppose 7*y - h = 41. Solve -y - 7 = 5*k for k.
-3
Suppose -16 = -n - x, -3*n - 21 = 4*x - 73. Suppose 0 = 3*b - 4*b + n. Solve b = 7*d - 3*d for d.
3
Let t be (-2)/8 + 187/44. Suppose -19 + t = -5*z. Solve 0 = z*b - 4*b for b.
0
Let k = -14 + 13. Let a be (k + 3)/((-6)/(-12)). Suppose d + 2*d - a*o - 18 = 0, 5*o + 5 = -5*d. Solve -d*u = -7*u for u.
0
Suppose -5*y = -2*y. Let t be 4 + ((-2)/15 - (-448)/(-240)). Solve -n + t + 2 = y for n.
4
Let k(y) = y**2 - 11*y + 20. Suppose 0 = 3*x - 2 - 4. Let o be k(x). Solve -2*u - o*u = 0 for u.
0
Let p(i) = -43*i + 5. Let l be p(2). Let w = -81 - l. Solve w = 3*c + 2 + 1 for c.
-1
Let g be 1/(3 - 4)*12*-1. Let k be (-2)/2 + 3 + 2. Let b be (-3)/g - (-65)/k. Solve 3*y + b = -y for y.
-4
Let f(j) = j - 1. Let m(x) = x - 4. Let w(b) = -2*f(b) + m(b). Let z be w(-2). Solve z*u = -4*u for u.
0
Let w(g) = 8*g - 16. Let d be w(2). Solve d = -8*n + 4*n + 16 for n.
4
Suppose 4*d - 6 + 10 = 0. Let h = d - -2. Let b be 2 + h + 8 + -5. Solve 0 = b*l - 2*l for l.
0
Let k = 653 - 651. Solve k*s = 5*s for s.
0
Suppose 2*l - 18 = -2*t, 15 + 8 = 3*l + 5*t. Solve -6 = -9*a + l*a for a.
-3
Suppose 0 = -4*l - 5*k + 10, 3*l = 4*l + k - 3. Let r be -4 - -3 - -4 - l. Let t be r + (-22)/(-6)*3. Solve -3*s = -0 - t for s.
3
Suppose 0 = -5*s - 4*p + 1, 0*s + s - 4*p = 5. Let v = 20 - 16. Suppose -v*a + 2*a = -6. Solve a*b - 4*b = s for b.
-1
Let z(d) = -d**3 + 11*d**2 + 2*d - 10. Let h be z(11). Suppose -y - h = -5*y. Suppose -2*x = -q - 2, -q - 2 = -x - 1. Solve q = n + y - 0 for n.
-3
Let j = -152 + 271. Let i = j - 103. Solve 0 = -0*u - 4*u + i for u.
4
Suppose 452 = 47*g + 123. Solve -9 = -4*q + g for q.
4
Suppose 5*x + 4*j + 497 = 2*j, x = -3*j - 102. Let b = x - -105. Solve 6 = 4*z - b for z.
3
Suppose d = 6*d. Suppose -4*w + 11 - 3 = d. Solve w*z = z for z.
0
Suppose -5*o + 11*o - 24 = 0. Solve -o*m - 6 - 14 = 0 for m.
-5
Suppose 2*j = -5 - 3. Let r be (32/j)/(-2) + -1. Suppose o + 8*m - r*m + 20 = 0, -o - 3*m - 12 = 0. Solve -3*x + o + 3 = 0 for x.
1
Let z(k) = k**3. Let q(r) = -r**3 + 3*r**2 - 2*r + 4. Let j(p) = -q(p) - 2*z(p). Let m be j(-3). Let t be ((-12)/m)/((-4)/(-10)). Solve t*x = 2*x for x.
0
Let r(g) = 21*g**2 + 5*g + 2. Let w be r(-7). Suppose 3*f - w = 6*f. Let y be f/(-36) + 4/(-18). Solve -2*x = -1 - y for x.
5
Suppose -3*h - 5*t + 76 = 0, 2*t = -h + 17 + 7. Let m = h - 20. Solve 0 = r - 4*r - m for r.
-4
Suppose 0 = d - 2. Let y = 112 + -104. Solve 0 = 2*s + d*s - y for s.
2
Let u be 5 + (10 - 5) + -10 + 0. Solve u = y - 3*y for y.
0
Let z = 22 - 19. Suppose z*y = 7*y - 32. Solve 0 = -2*s - 2 - y for s.
-5
Let o = -352 - -339. Let h be (-4)/10 + (-164)/(-10). Let l = h + o. Solve -l*u + u = 2 for u.
-1
Let u be 33/66 + 1/(-2). Solve u = -2*j + 7 - 5 for j.
1
Suppose 0 = -2*y + 3*p + 2, -5*y + 5*p = 8 - 3. Let h = y - -44. Suppose -4*r - 7 = -h. Solve 4*n - r*n - 4 = 0 for n.
-1
Let k = 22 - 15. Solve c + 24 = k*c for c.
4
Let z = -176 - -117. Let t = -56 - z. Let c = -5 + 10. Solve -t*g + c*g - 10 = 0 for g.
5
Let g(j) = j**3 + 19*j**2 - 20*j + 7. Let k be g(-20). Solve k*f + 3 - 10 = 0 for f.
1
Let a(k) = -2*k**2 - 3*k - 3. Let i(u) = u**3 + 6*u**2 + 9*u + 7. Let j be i(-4). Let x be a(j). Let n be (-116)/x - 2/(-15). Solve -n*h = 7 + 5 for h.
-3
Let j(s) = -2*s - 6*s + 6*s - 14 - s. Let t be j(-6). Solve -t = -5*k + 1 for k.
1
Suppose 7*z - 2*z + 2*z = 0. Solve -3*k = -z*k - 12 for k.
4
Let v = 22 + -20. Suppose -v*w + 13 + 19 = 0. Suppose -5*l = -2*i - 26, l - 5*i + w = 2*l. Solve 2*a + 0*a = l for a.
3
Let y be (-1)/3*(10 + -11)*3. Let d(a) = 9*a**2 + a + 2. Let q(o) = 36*o**2 + 4*o + 9. Let z(s) = 26*d(s) - 6*q(s). Let c be z(y). Solve 0 = 4*h + 6 - c for h.
3
Let f be 2*(-1)/(-4) + (-107)/(-2). Let h = f + -52. Solve h*y + 12 = -2*y for y.
-3
Suppose 0 = -q + 5*j - j - 2, 2*j = 10. Solve 9 = 27*w - q*w for w.
1
Let m = 174 - 124. Let o = -47 + m. Solve -o*r = 8 - 2 for r.
-2
Suppose 25 = 28*g - 31. Solve -4*d - g = -6 for d.
1
Let z = -7 - -10. Let a be ((-437)/92)/((-1)/28). Suppose 3 = -13*y + a. Solve y - 1 = -z*b for b.
-3
Let b(k) be the first derivative of -k**3/3 + 6. Let l be b(0). Suppose l = 4*d + a - 21, 2*a = d - 3*a. Solve -2*w = -d*w for w.
0
Let l = -4 + 4. Suppose l*c + 5*c - 50 = 0. Let h = -10 + c. Solve -6 = 2*v - h*v for v.
-3
Let l(d) = -d**3 + 5*d**2 - 4*d - 1. Let x be l(3). Suppose -x*s = -0*s - 15. Solve -z + 16 = s*z for z.
4
Let w be (-7 + 8)/(118/(-60) + 2). Let k = -24 + w. Solve -k*a - 4 = -4*a for a.
-2
Let n be -12 + 14 + 4/(-2). Suppose n = -5*u + 35 - 30. Solve -u - 1 = x for x.
-2
Let w be 64/12 - (-2)/(-6). Suppose -p = -0*a + 4*a + w, -p - 26 = -3*a. Let s = p - -22. Solve s*k - 12 = k for k.
3
Let d(z) = 2*z + 4*z**3 - 3*z**3 + 0*z**3 + 11 + 5*z**2. Let n be d(-5). Solve -14 = 3*h + n for h.
-5
Let p = -1356 - -1359. Solve 0 = p*j + 17*j + 100 for j.
-5
Let p = -7 + 10. Suppose 5 = 4*q - 2*o + 7*o, 5 = p*q + 5*o. Suppose f + 4 = -3*n, q*f - 17 = -4*f - n. Solve 0*d = -d - f for d.
-5
Let x = -225 - -242. Solve -x*f + 14*f + 6 = 0 for f.
2
Suppose 0 = d + 2*d + 5*f - 17, f = 2*d - 20. Suppose 0*n - 4*n + 16 = 0. Suppose -n*l + l = 0. Solve 3*r + d = -l*r for r.
-3
Let n(w) = w**2 - 3*w - 9. Let y be n(5). Suppose 0 = 10*k - 9*k + y. Let m(h) = 4*h**2 + h + 1. Let z be m(k). Solve z + 0 = -q for q.
-4
Let v(f) = -f**2 + 13*f - 40. Let y be v(7). Suppose -b = 3*p + 3*b - 21, -14 = -2*p - 5*b. Solve y*c = p*c + 5 for c.
-1
Let v = 390 + -389. Solve 0 = 3*d - 2*d + v for d.
-1
Let l(b) = 0*b**3 + 9 + b + b**3 + 2*b + 6*b**2. Let k be l(-6). Let g be (-22)/(-6) + k/(-27). Solve 9 = -g*m + m for m.
-3
Let v = 511 - 511. Let k(b) be the first derivative of b**3/3 + 3*b**2 - 10*b - 1. Let s be k(-8). Solve v = 3*w + s + 3 for w.
-3
Let x(s) = -s + 16. Let t be x(12). Suppose -7 = -t*z + 65. Suppose 4*b + 2 = -4*h - 6, z = 5*b - 2*h. Solve -m - 1 = -b for m.
1
Suppose 3*b - 6*b - 4*k + 54 = 0, -2*b - 3*k = -37. Let t(v) = -v**2 + 5*v - 5. Let i be t(6). Let x = b + i. Solve 0 - x = -r for r.
3
Let j(h) = h**2 + 8*h + 6. Let t be j(-4). Let n = -12 - t. Let f be n*(33/(-6) + 4). Solve 8 - f = a for a.
5
Suppose -3*n + n + 10 = 0. Suppose -238 = -0*k - 14*k. Suppose n*v + k = 62. Solve -20 = -v*t + 4*t for t.
4
Let k(c) = 2*c - 19. Let d be k(11). Suppose 4*v + 17 = 3*i, 0*i + 2*i 