 = o**3 - 9*o**2 + 10*o - 11. Let u be v(8). Let t be ((-12)/(-20))/(1/5). Solve 0 = t*z - 20 + u for z.
5
Let w be (1 + 15)*(-121 - -122). Solve -4*x - w + 12 = 0 for x.
-1
Suppose 0*g = -g. Suppose g = y - 6*y. Suppose y = n - 4 - 1. Solve n*i = -8 + 28 for i.
4
Suppose -3*p - 5*v = -6*v - 19, 2*p = v + 14. Solve -m - 4*m = -p for m.
1
Suppose -i - 20 = 3*o, -o = -4*i + i - 20. Let t be (4 - -14) + i/2. Let j(b) = -b**2 - 4*b + 3. Let n be j(-3). Solve -t = -4*l + n for l.
5
Suppose 10 + 70 = -10*z. Let x be (-2)/((-2)/z*-2). Solve 6 = x*o - 2 for o.
2
Let b(t) = -t**2 + 8*t + 32. Let z be b(9). Suppose -103 = -5*w - z. Solve 4*y - w = -0*y for y.
4
Let r = 155 + -157. Let y be 279/15 + (r/5)/(-1). Solve -5*t - 1 = y for t.
-4
Suppose 0 = -m + 5*n + 11, 0 = 4*m - n + 5*n - 20. Solve -11 - 1 = -m*s for s.
2
Suppose 5*b + 33 - 113 = 0. Suppose 0 = -5*p + p + b. Let i be 3/p - (-3)/(-4). Solve 4*t - 13 - 3 = i for t.
4
Let w = -108 + 245. Let r = w - 137. Solve r = 8*b - 7*b + 1 for b.
-1
Suppose 0 = n - 3*n + 4. Suppose -3*j + 0*y = -4*y - 24, n*y = 2*j - 14. Solve -19 = j*d - 3 for d.
-4
Let o be 2 + (-162)/24 - 1/4. Let r(s) = s**2 + s - 10. Let n be r(o). Solve -4*z = 10 + n for z.
-5
Suppose 12 + 6 = 4*f - 5*o, 3*o = 5*f - 29. Suppose 0 = s + 6*s - f. Solve 5 = -4*l + s for l.
-1
Suppose 3*p - 39 = 3*f, -2*f - 14 = -4*p + 12. Let t = 2 - f. Solve -5*q = -2*q - t for q.
5
Let h = -366 + 399. Solve h = -2*r - 9*r for r.
-3
Let l(j) = -j + 1. Let u(r) = -7*r + 12. Let g(a) = 4*l(a) - u(a). Let s be g(5). Solve -c - 3 + s = 0 for c.
4
Let b(v) = -v**3 + 14*v**2 + 33*v - 14. Let f be b(16). Suppose -5*l - 14 = -3*k, 0 = 2*k + 2*k - l - 13. Solve -f*w = k*w - 10 for w.
2
Suppose 0 = -2*a - 3*a - 4*m + 17, -5*m + 11 = -4*a. Let y(n) = 2*n**2 - 7*n + 9. Let r be y(2). Solve -r = -2*g - a for g.
1
Let m = 19 - 13. Let s = -3 + m. Solve -2 + s = y for y.
1
Suppose 5*v - 37 = -4*y, 34 = 4*y + 4*v - 2*v. Suppose -2*z = 5*r - 2*r - y, -3*z + 12 = -3*r. Solve 4*u + 4 + r = 0 for u.
-1
Let s(v) = 4*v**3 - 12*v**2 + 14*v - 2. Let j(c) = 7*c**3 - 23*c**2 + 28*c - 4. Let u(a) = -3*j(a) + 5*s(a). Let p be u(7). Solve 15 = 3*n + p*n for n.
3
Let a be 0/(-9 - -3) + 0. Solve a = m - 0 + 1 for m.
-1
Suppose q - 2*d - 16 = 0, -4*q + 45 - 14 = 3*d. Let o = -10 + q. Suppose 3*z = -o*z. Solve 4*w + z = -4 for w.
-1
Suppose -2*b - 16 = -6*b. Suppose 2*n = b*n. Solve 5*j - j - 20 = n for j.
5
Let h(q) = -q**3 + 10*q**2 - q + 10. Let l be h(10). Let o = -2 - l. Let r be 24/(-18)*3/o. Solve -1 = -r*f - 3 for f.
-1
Suppose -2*h - 16 = -5*m + 2, 14 = -2*h + 3*m. Let g = h + 8. Solve -g*y + 15 = -y for y.
5
Let a(v) = 2*v**2 - 15*v - 13. Let l be a(12). Suppose 5*w = 4*f + l, 3*w - 4*f + 10 = 5*w. Solve 10 = -5*d - w for d.
-5
Let a be ((-9)/(-21))/(5/35). Solve -4*d - a = -23 for d.
5
Suppose 6*p - 5*p - 20 = 0. Solve 0 = -2*g + p - 10 for g.
5
Let k = 304 + -301. Solve 0 = 5*y + 2 + k for y.
-1
Suppose 5*z = 94 - 29. Solve -5*t + z = -7 for t.
4
Let b be ((-13)/(-52))/(1/8). Solve 7*k - b*k = 20 for k.
4
Suppose -10*t - 24 = -q - 6*t, 3*t = -5*q + 51. Solve 4 - q = 4*w for w.
-2
Let z be ((-6)/9)/((-1)/6). Suppose z*f = 19 + 17. Solve 3*h = -0*h - f for h.
-3
Let m = -18 - 45. Let j = m - -71. Solve j = -k + 5*k for k.
2
Suppose 0 = -i + 4*b + 30, 4*b + 73 = 5*i - 77. Let j = i + -26. Solve k + 0 = -j for k.
-4
Let h(o) = -o**3 + o**2 + 4*o + 6. Let m be h(-2). Solve m = -8*n - 22 for n.
-4
Let g(w) = w**3 - 3*w**2 + 1. Let p be g(3). Let h(m) = -m**3 + 4*m**2 - 3*m + 3. Let j be h(3). Solve -j*z = -2 - p for z.
1
Let d = -33 + 24. Let f be (-27)/(-6)*(-6)/d. Solve 5*o = 8 - f for o.
1
Suppose -6 = 6*c - 6. Solve c = -4*q - 5 - 15 for q.
-5
Suppose 0 = 3*g + 12, -r - 4*g + 0*g = 14. Solve -121 + 125 = -r*l for l.
-2
Let x be -15*(-4 + 2 + 1). Let v = x + -12. Solve a = 4*a - v for a.
1
Let w(j) = j + 7 + j - 4*j + 3*j. Let i be w(-6). Let q be ((-2)/2 + 1)/i. Solve -2*f - 10 = -q*f for f.
-5
Let k = -13 + 35. Suppose 0 = -4*v + 10 + k. Solve 4*g + v = 8*g for g.
2
Suppose 2*q = -4*l + 82 + 154, -2*q + 261 = -l. Solve -q*h = -133*h - 20 for h.
-4
Let o(t) be the second derivative of -t**4/12 + t**3/3 + 17*t**2/2 - 5*t. Let r be o(-3). Solve -r*q + 3 = -5 for q.
4
Let r(y) = y**3 - 7*y**2 - y + 7. Let m be r(5). Let i = 50 + m. Solve 6*p + i = 4*p for p.
-1
Let a(r) = 3*r - 1. Let o = 5 + -4. Let j be a(o). Solve -j*p = -p for p.
0
Suppose 108 + 284 = -4*u. Let i = u + 100. Solve -2*j + i = -6 for j.
4
Suppose -4*s + 20 = u + 8, -3*u + 2*s - 6 = 0. Suppose 3*j + 4*r - 1 + 5 = 0, 3*r + 12 = u. Solve j = -0*t - t for t.
-4
Suppose 10*n + 8 = 118. Let h(l) = l**2 - 12*l + 15. Let c be h(11). Solve -n = c*t - 3 for t.
-2
Let s = -3992 + 3995. Let m be 2 - 2 - (0 - 1). Suppose 5*n = 2*n. Solve h + m - s = n for h.
2
Suppose -x = -2*x + 2*a + 20, 2*x + 3*a - 26 = 0. Let g(p) = -p + 1. Let u(y) = -5*y + 4. Let w(i) = 4*g(i) - u(i). Let b be w(5). Solve -4 = -b*v + x for v.
4
Let n = 24 - 21. Suppose -7 = -2*t + d, -6 + 19 = n*t - 4*d. Let s = 4 - t. Solve 3*f = -5 - s for f.
-2
Let y = -386 - -392. Solve m = -2*m + y for m.
2
Let a be (-5)/15 - (-13)/3. Suppose 0 = -4*k - a*q + 12, k - 4*q + 0 - 8 = 0. Suppose 9*z - 3*z = 24. Solve -z*t = k + 8 for t.
-3
Let s be (3 - 1)*(9 - 3). Let o(l) = -l**3 + 4*l**2 - 2*l + 1. Let n be o(3). Suppose 0*p = n*j - 4*p - 28, -4*p - 8 = 0. Solve s = -j*q - 3 for q.
-3
Let k(m) = m + 5. Let g be k(-5). Suppose o - 28*a - 17 = -32*a, -5*o = -3*a - 16. Let h be (-47)/(-3) + 3/9. Solve g = -o*p - 1 + h for p.
3
Let y be (-20)/30*12/(-2). Suppose 26 = 3*l - y. Solve -4*u - 30 = -l for u.
-5
Let b = -19 + 34. Let p(v) = 2*v**3 + v - 1. Let q be p(1). Suppose -4*j + 12 = 0, 5*c + 4 = q*j - 2. Solve -3*w - b = -c*w for w.
-5
Suppose -3*c + 11 = -t - 10, 0 = -2*c - t + 9. Suppose -2 - c = -2*a. Solve -2 = -a*p + 2 for p.
1
Suppose 26 = 2*b - 2*f, 2*b + 2*f - 11 = -f. Solve 4*g - b*g = 18 for g.
-3
Let f be (-30)/(-7) + (-3 - 38/(-14)). Suppose -3*r + 8*r + 3*c - 10 = 0, f*c + 4 = 2*r. Solve r*l - 9 - 1 = 0 for l.
5
Let n(r) = -2*r - 16. Let p be n(-7). Let l be 3/(-2)*p/1. Suppose u = -l*q + 2, -2*u = 2*q + 2*q - 4. Solve u*a - a = -3 for a.
-3
Let f be (-2 + 3)/((-1 - -4)/9). Solve 25 = f*l + 2*l for l.
5
Let s = 508 - 504. Solve -s*z = -51 + 67 for z.
-4
Let f be 10/35 - (-47)/7. Suppose 0*j - 4*j = -12. Suppose 4 + j = f*b. Solve -b = -5*q + 9 for q.
2
Let s(j) = j**3 - j**2 - 2*j + 3. Let c be s(2). Suppose 0*f = -5*f - c*g, 0 = -2*g. Solve 3 + f = -t for t.
-3
Suppose f + 2*k - 1 = 0, k = 2*f - 0*f - 17. Suppose 6 = 8*v - 7*v. Suppose -v = -f*j + 15. Solve 25 = 2*q + j*q for q.
5
Let q(x) = x**3 - 5*x**2 + 15*x - 24. Let l be q(3). Solve 0 = l*p - 23 + 20 for p.
1
Let q(g) = -4*g + 2*g + g**2 - g**3 + 3*g. Suppose d - 2 + 1 = 0. Let p be q(d). Solve p + 3 = -4*o for o.
-1
Let u(w) = w**3 - 4*w**2 - 3*w + 19. Let z be u(3). Solve -m - z = -2*m for m.
1
Let x(i) = i**3 + 3*i**2 + i + 2. Let u be x(-2). Suppose 5*p = -5*h + 25, u*h - 18 = 2*p - 7*p. Solve 13 = -4*j - h for j.
-5
Suppose -n - 4*o + 11 + 15 = 0, n + 5*o - 30 = 0. Solve -n*c + 8*c = -4 for c.
2
Let z = 1064 - 1060. Solve 20 = 14*d - z*d for d.
2
Let n be 292/14 - (-3)/21. Let q be 10/(-35) - (-69)/n. Suppose -5*m + 3*l + 20 = -0, 0 = q*m - 3*l - 12. Solve 0 = m*s + s - 15 for s.
3
Suppose 2*c = c - 3, 3*n - 12 = c. Solve 10 = n*r - 5 for r.
5
Let n(y) = y**3 + 11*y**2 + y + 14. Let j be n(-11). Suppose -17 = b + 4*t - j, -3*b + 5*t = -43. Solve -5*g - b = 19 for g.
-5
Let j(h) = h + 9. Let o be (-3)/(-3 + 15/4). Let v be j(o). Suppose 0 = 5*t - v, -3*t + 15 = 5*g - 8*t. Solve -i - g = -0 for i.
-4
Suppose -2*m - 4*g + 108 = 0, -7*m + 4*m + 134 = -g. Solve 0 = -55*x + m*x - 27 for x.
-3
Suppose 0 = -4*i + 39 - 3. Let b = 2 - 3. Let x = b + i. Solve 0 = -4*n - 4 - x for n.
-3
Let u = 101 - 98. Solve 7*g - 8 = u*g for g.
2
Suppose -10*t = 4*x - 0*x + 28, 0 = 2*t + 8. Solve x*b = 12*b + 45 for b.
-5
Suppose 23*u = 6 - 6. Solve -q + 2*q = u for q.
0
Suppose -5*o = -15*o + 80. Suppose -o = 4*q + 4, -5*q - 15 = -4*s. Solve -2 = j - s for j.
-2
Let q(z) = 3*z - 8. Let v(u) = -16*u + 41. Let o(t) = -11*q(t) - 2*v(t). Let g be o(0). Solve -g = -2*c + 4*c for c.
-3
Let t = -15 - -7. Let w = t +