z) = z**3 - 1. Let x(t) = -7*t**3 + 5*t**2 + 13*t + 12. Let y(s) = -6*u(s) - x(s). Let l be y(7). Solve 2 = -f - l for f.
-3
Suppose -149 = -4*t - 5*l, -2*l = -3*t + 118 - 12. Solve -16 = -t*m + 32*m for m.
4
Suppose 103*b - 4 = 101*b. Solve -8 = -6*i - b*i for i.
1
Suppose 3*p + p = 8. Let q(h) = -h**2 + 20*h + 50. Let o be q(22). Suppose 2*z - 2*k = -0 + 6, 0 = 2*k + o. Solve 0 = -z*u - p*u for u.
0
Let a be (5 + -8)/(3 + -4). Let p = -4 + a. Let r be (-3 + p)*25/(-10). Solve 2*x + r = 7*x for x.
2
Let n(m) be the third derivative of -19*m**4/24 - m**3 - 8*m**2. Let s be n(-4). Suppose 6*p - s = p. Solve -3*o - p + 5 = 0 for o.
-3
Suppose 0 = -2*x + 2. Let j(m) be the third derivative of m**5/12 - m**3/6 + 4*m**2 - 10*m. Let l be j(x). Solve 3 + 17 = -l*d for d.
-5
Let n(j) = 7*j - 28. Let r be n(23). Let g = r + -131. Solve -g = z + z for z.
-1
Suppose -28*f = -12*f + 80. Let x(h) = 3*h - 1. Let g be x(2). Let z = g + f. Solve -5*r - 12 - 13 = z for r.
-5
Let d be 2/5*(-13 - 2). Let f be 3*(-1 - (-2)/d). Let i = f - -13. Solve 2*h - 5*h = i for h.
-3
Let c(s) = -13 + 14*s - 19 - s**2 + 9 - 1. Let m be c(12). Solve -2 = 2*w - m for w.
-1
Suppose 0 = 12*s - 205 + 85. Solve -12*c - s = 50 for c.
-5
Let x(c) = -2*c**3 - 11*c**2 + 13*c + 57. Let z be x(-6). Solve -z*v + 40 = -5*v for v.
4
Let o(p) = -p**3 + 2*p**2 + 6*p - 7. Let q(a) = a**2 + 2*a - 5. Let c be q(-4). Let j be o(c). Solve -2*t = j*t - 12 for t.
3
Suppose 41 = -2*i + 325. Let t = i - 137. Solve t*d - 10 = -0*d for d.
2
Suppose -p - 2*p = -6. Let q be (-46)/(-14) - p/7. Let h be (-2)/q - 40/(-15). Solve -w + h + 0 = 0 for w.
2
Let w(k) = k**2 - 10*k + 2. Let f be w(10). Let t be f*(3 + 4/(-4)). Suppose t*o - 14 = 2. Solve -o*u - 1 = 11 for u.
-3
Let p = 7 + -5. Suppose 7*y = 8*y - p. Suppose y*g + 3*g - 10 = 0. Solve 1 + g = 3*t for t.
1
Let d = 6 - 1. Suppose 0 = 3*a - 3*k - 12, -2*k + 6 + 1 = a. Solve a*s - d = -0*s for s.
1
Suppose 3 = -2*g + 3*g. Let d be ((-4)/g)/(3*10/(-45)). Solve d*t + 1 + 5 = 0 for t.
-3
Suppose -23 = 4*p - 95. Solve -n + p = 5*n for n.
3
Suppose -5*k + 65 = -0*x + 5*x, -5*k = -5*x - 115. Solve -k + 11 = 7*u for u.
-1
Let l be 1*12 + (-2)/2. Suppose 0 = l*h - 8*h. Let p be (13 - 0 - 2) + -3. Solve p = 4*k - h*k for k.
2
Suppose 114 = -61*v + 80*v. Solve -10*g = v*g - 32 for g.
2
Let c = -136 + 141. Solve -c*f = -2*f + 9 for f.
-3
Let f(r) = -r**2 - 2*r + 18. Let g be f(-5). Solve -14*i = -11*i - g for i.
1
Let j be (-6)/(-4)*(-200)/(-15). Suppose 0 = -m - 2*m + 4*c + 20, -4*c - j = 0. Solve m - 25 = 5*u for u.
-5
Let k = 10 + -6. Suppose -5*h + k = -1. Suppose -5*u - 65 = -4*b, 0*u - 25 = -2*b + u. Solve 3*q - b = -h for q.
3
Let p = 80 - 70. Suppose -21*y + 33 = -p*y. Solve -y*f = f - 8 for f.
2
Let o(f) = -2*f - 7. Let d = -20 + 22. Suppose -23 = d*c + 4*r - 5, r = c + 3. Let t be o(c). Solve -t*u - 8 = 4 for u.
-4
Suppose 4*f + 67 = 71. Solve 4 = 5*a - f for a.
1
Suppose 5*l - 24 = 4*h - 81, -5*h + 5*l + 75 = 0. Solve 6*y - h = 12 for y.
5
Suppose -4*s + 5*f = -s - 7, 3*f = 4*s - 13. Suppose 25 = 3*l + 2*l. Suppose z + 3 = l*o, -3*z = -7*o + s*o + 9. Solve o*t = -t for t.
0
Suppose -w + 2*w = -3*q + 27, -33 = -2*w + q. Let j = 4 - 17. Let h = w + j. Solve -h*v = -21 + 1 for v.
4
Let q be 0/(5/((-5)/2)). Let u be 2 + (-7 - (q + 0)). Let w = u + 10. Solve 5*a = w + 10 for a.
3
Suppose 4*k - 4*h = -6*h + 28, 0 = -k + 4*h - 11. Solve 9*v - 14*v - k = 0 for v.
-1
Let a be 0/1*52/(-208). Solve -3*f + 0*f - 6 = a for f.
-2
Suppose 4 = 6*o - 20. Solve o*d = -2 - 6 for d.
-2
Suppose -4*d = 5*q - 22, -d + 7 + 0 = 2*q. Solve -10 = -d*h + 2 for h.
4
Let q = 57 - 54. Solve 0 = 4*c - 7 + q for c.
1
Let t(z) = -z**2 + 7*z - 5. Let n be t(2). Solve -5*k - 10 = n for k.
-3
Suppose -t - t + 12 = -3*q, -12 = t + 3*q. Suppose t*v = v. Suppose -6 = -4*x + 2*x. Solve -x*b + 12 + v = 0 for b.
4
Suppose -5*q = -11 + 1. Suppose 3*g - q = 2*g. Let z be 3 + (-80)/25 - 112/(-35). Solve -z*o + 2*o = g for o.
-2
Suppose 0*k = 5*k. Solve k*x + 3 = x for x.
3
Let r be (-4 - -4)*(-7)/(-21). Solve v - 11 + 6 = r for v.
5
Let g(y) = -y + 4. Let p(k) = 3*k - 7. Let u(n) = -11*g(n) - 6*p(n). Let d be u(-1). Solve d*r = -0*r + 15 for r.
3
Suppose 5*y = -y + 120. Suppose 0*m = -5*u - 5*m + 105, u + 2*m - 21 = 0. Let a = u - y. Solve -3*d + a = -2*d for d.
1
Suppose -5*h + 3 + 6 = -2*a, -4*a = 5*h + 63. Let x be 0 - a - (-8 - -9). Let y = x + -11. Solve z - 1 = -y*z for z.
1
Suppose 19*y + 141 = 66*y. Suppose -3*j + 18 = -3*a, 3*j = -2*j + 2*a + 24. Solve -v - y*v = -j for v.
1
Let z be 6*((-14)/(-4) - 3). Let i = -5 + z. Let w be (-15)/10 + (-3)/i. Solve w = -5*h - 1 + 6 for h.
1
Suppose 50*r - 54*r = -8. Solve r*x = 6*x - 8 for x.
2
Let k be (-6)/8*(-128)/24 - 2. Solve -k = -53*z + 55*z for z.
-1
Let c(f) = f**2 - 4*f + 10. Let g be c(-6). Let k = g + -64. Solve 0 = -v + k*v for v.
0
Suppose 34*j - 3*j = 248. Solve j*c = 4*c + 16 for c.
4
Suppose 6*b = 16*b. Solve -o - 4*o + 15 = b for o.
3
Suppose -4*o + 12 = m, -32*o = 4*m - 37*o - 6. Solve -m = 20*y - 22*y for y.
2
Let n(i) = i**2 + 16*i + 4. Let m be n(-16). Solve 0 = m*g - 11 + 3 for g.
2
Let f(v) = -v - 64. Let w be f(-66). Solve -h + w + 3 = 0 for h.
5
Let c = -261 - -284. Solve -4*p = -c + 3 for p.
5
Suppose 0 = 3*o - 137 - 1. Suppose 5*k = -n + 12, -3*k + 10 = -3*n + o. Solve 3*j = -0*j - n for j.
-4
Suppose c - 3*c + 2*o + 18 = 0, 3*o + 7 = -c. Suppose 0 = 4*i - 2*i - 10. Solve c*s = 4*s - i for s.
-5
Let q(p) = -p + 8. Suppose 20 = 5*x - 4*n - 20, -5*n = 0. Let o be q(x). Suppose -c = -o*c. Solve c*i = -5*i + 10 for i.
2
Suppose 2*i - w = 9, -2*w + 4*w = i - 6. Solve 0 = -s - s - i for s.
-2
Suppose -6*m + 4*m + 18 = 3*l, -5*l - 3*m + 29 = 0. Let p = -37 - -45. Suppose -l = t - p. Solve t*o = 5*o for o.
0
Suppose -2*n = -5*h + h + 22, 2*n - 2 = h. Solve 22*r - h = 20*r for r.
4
Let v(u) = -2*u**3 + 24*u**2 + 27*u + 7. Let z be v(13). Solve 9*s = z*s + 22 for s.
-2
Let a(r) = 0*r**2 + 15*r + 5 - 9*r - r**2. Let b be a(6). Solve -4 = -b*v - 14 for v.
-2
Let p(o) = o + 10. Let t be p(-9). Let l be 183/9 - (-8)/12 - t. Solve 0 = x + 3*x - l for x.
5
Suppose 2*h = -3*g - 2*h + 33, 4*g + h - 44 = 0. Suppose 0*l + 5*l = 55. Let v = l - g. Solve v*i = 4*i for i.
0
Suppose -k - 125 = -3*h, 3*h - 177 = 3*k - 54. Solve -25*t + 83 = -h for t.
5
Suppose -16 - 96 = -14*c. Solve 0 = -g - 6 + c for g.
2
Suppose 0 = -29*y + 30*y - 4. Solve -y*m = -18 + 2 for m.
4
Let r(m) = m + 1. Let s(v) = -v**2 + v + 1. Let u(k) = -6*r(k) + s(k). Let j be u(-3). Suppose 2*o = 5 + 5. Solve -2*h + j = o for h.
-2
Suppose 2*v - 3*b - 62 = -5*b, -3*b = -v + 11. Suppose 4 = g + v. Let w = g + 36. Solve 5*k = -6 - w for k.
-4
Let p be (-35)/10*1*16/(-28). Let j(u) = u**3 + 4*u**2 - 6*u. Let b be j(-5). Solve p*r - b = 3 for r.
4
Suppose -t = -4*j + 6, 2*t + 2*t = 2*j - 24. Let n(x) = -x**2 - 17*x + 8. Let r be n(-17). Let o = r + t. Solve -12 = -2*v - o*v for v.
3
Let y be (-19)/(-3) + 6/9. Let v = 22 - y. Solve 3*a - v = -2*a for a.
3
Let d(j) = 3*j**2 + 1. Let c be d(1). Suppose -c*t + 6*t = 6. Suppose -3*h = o - 3, t*o - 4 = -3*h - h. Solve 4*b - b + 3 = o for b.
-1
Let l = -4 + 3. Let o be (0/(-3 - l))/2. Solve -4*n = -o*n - 4 for n.
1
Let b(y) = -y**3 - y**2 + y + 1. Let c be b(1). Suppose -2*k - o - 5 = -4, 4*o = 3*k + 7. Let l be 0*(3/(-6) - k). Solve l*h + 2*h + 8 = c for h.
-4
Let l = -12 - -14. Suppose 3*n - 12 = -n, l*m - 3*n = 1. Solve -m*t + 4*t + 5 = 0 for t.
5
Let b(j) = -j + 8. Let m be b(0). Suppose 0 = 7*s - m*s + 3. Solve -2*l + s = l for l.
1
Suppose 15 = -3*q - 24. Let d = 16 + q. Suppose 2*s + 0 = 6, -d*o - 6 = -5*s. Solve -2 = -u + o*u for u.
-1
Suppose -4*p + 6 = -6. Let u(k) = 2*k - 3. Let z be u(-9). Let c be (3 + z)*(-1)/3. Solve -p*i = -i + c for i.
-3
Let z = -6 + 12. Let s = z + -4. Suppose -y - f + 8 = 3*y, -16 = -4*y + f. Solve -s*m + y - 5 = 0 for m.
-1
Let v = 5 - -5. Let i be 26/10 + 4/v. Suppose i*d = -d - 2*g + 92, -80 = -4*d - 5*g. Solve -d = 4*f + f for f.
-5
Let k = 19 + -15. Let m = 10 - k. Suppose 5*z = 4*j + 15 - 0, -2*j - 2*z + m = 0. Solve j*u - 3*u = 0 for u.
0
Suppose -2*o + x - 2 = 0, 24*o - 5*x = 23*o - 10. Suppose 12 = -0*u + 4*u. Solve -n - u*n = o for n.
0
Let x = 7 - 9. Let o = 2 - x. Suppose o*r = z + 36, r 