y(n). Let a be w(-6). Let b be 0*((-12)/a)/4. Solve -3*z - z = b for z.
0
Let g(z) = 4*z**3 - 6*z**2 + 4*z - 1. Let d be g(4). Solve 0 = 3*n - d + 181 for n.
-2
Let q be (-9)/(-2) - (-10)/(-20). Suppose -g - 12 + 4 = -v, -q*v - 2*g = -8. Solve -5 = -v*d + 3 for d.
2
Let n be 6 - ((-12)/(-30))/((-1)/5). Solve n - 9 = -q for q.
1
Suppose n - 11 = 2*x, -x = -4*n - 0*n + 16. Suppose -2*i - n*f + 3 - 12 = 0, -f - 6 = i. Let p = i + 9. Solve p = -u - 0*u - 1 for u.
-1
Let z = -2 + 6. Suppose -z*y + 29 = -h, -h = -3*y + 16 + 5. Let n = y - 5. Solve -n*v + 0 = -6 for v.
2
Let m = 1725 + -1699. Solve -16*j = 10*j + m for j.
-1
Suppose -62 - 63 = 5*f. Let x = 33 + f. Suppose 0 = 3*d + x - 20. Solve 2*h + d = -2*h for h.
-1
Let z(j) = -5*j - 53. Let c be z(-15). Solve 0 = c*r - 8*r - 14 for r.
1
Let l = 13 + 12. Solve 7*b = 2*b - l for b.
-5
Let f be -4 + (8 - (4 - 0)) - -3. Let y be f/5 - (-34)/10. Solve -y*i = -7*i + 9 for i.
3
Let s be (-4)/8 - (-132)/24. Solve -8*k - s = 3 for k.
-1
Let o(s) = -5*s**2 - 35*s + 4. Let c be o(-7). Solve 0 = 5*r - r + c*r for r.
0
Suppose 6*v + 205 + 59 = 0. Let u = -41 - v. Solve 0 = -5*y + u - 23 for y.
-4
Suppose 25*f + 14 = 32*f. Solve -f*y = -45 + 39 for y.
3
Let u = -66 - -69. Solve 9 + u = 4*x for x.
3
Suppose -r + 16 = 4*w, -25*w + 29*w - 24 = r. Solve 0 = w*q + 7*q + 12 for q.
-1
Suppose 8*u - 4 = 116. Solve 4*f - f = -u for f.
-5
Suppose 2*w + 2 = -2*v, 0*w + 2*v + 37 = 5*w. Let d = 3 - 2. Solve 4*c + d = w*c for c.
1
Let l be (-1 + (-4)/1)*-2. Let m(u) = -8*u - 556. Let k be m(-70). Solve -k = -l*c + 9*c for c.
4
Let m be 0*(0 - 2/6). Suppose 4*t = -5*l - 11, l + 0*l = 4*t + 17. Solve l = -z - m for z.
-1
Let n be -1*(4/3)/((-6)/45). Solve 0 = -n*w - 2 + 22 for w.
2
Suppose 0 = -3*l, -3*p - 5*l = -5*p + 6. Suppose p*a - k + 2 = -2*a, 3*a = k - 2. Solve 10 = -2*m - a for m.
-5
Suppose 4*j = 198 - 674. Let s = -109 - j. Solve -s - 5 = -3*w for w.
5
Suppose 4*n - 51 = 5. Suppose n*m - 12*m = 4. Solve -3*y = m + 10 for y.
-4
Suppose 0 = z - 12 - 0. Solve -4*i = -i + z for i.
-4
Suppose -k + 5 = -0, -3*k = 5*s - 15. Solve -7*j + 11*j - 12 = s for j.
3
Let p = -338 - -342. Let k be (-2)/(-4) + 10/4. Suppose -4*z + 7 = k*m - 5, 3*z = 2*m + 9. Solve -2*b + m*b = -p for b.
2
Suppose 2*y + 37 = v, 6*y + 5*v + 36 = 3*y. Let g = -17 - y. Solve g = 4*o - 9 + 25 for o.
-4
Suppose 5*q + 26 = 66. Let l(f) = f**3 - 9*f**2 + 9*f - 6. Let k be l(q). Suppose -k*i - 4 = -10. Solve i = -3*j - 6 for j.
-3
Let k be 2/(-2)*((-24)/(-3) + -8). Solve k*v - 9 = 3*v for v.
-3
Suppose -4*k = -2*k - 20. Suppose 19*n + k = 24*n. Solve -n*o + 3 = o for o.
1
Let u = 7 + -25. Let t = 34 + u. Solve t = 3*p + 4 for p.
4
Suppose 8*r - 29 = 3. Solve -a - a = -r for a.
2
Let t be -1*((-2)/4*14 - -7). Solve -z - 12*z - 52 = t for z.
-4
Let v = -309 - -320. Solve 2 - 46 = v*u for u.
-4
Suppose 4*g + 331 = -21. Let m = g + -37. Let s be (-1)/2 + m/(-10). Solve f + 2*f - s = 0 for f.
4
Suppose 5*o - 30 = -3*p - 1, o - 4 = 0. Suppose p*g - 6*g = -15. Solve -2*n - g = 3*n for n.
-1
Let h(z) be the first derivative of -z**4/4 + 22*z**3/3 - 11*z**2 + 28*z + 9. Let s be h(21). Solve s*w - 5 = 12*w for w.
-1
Let b be (-2*(-19)/(-4))/((-1)/8). Let p = b - 76. Solve 0 = -5*m - p + 5 for m.
1
Suppose -18 + 82 = 4*c. Let p = -14 + c. Solve 0 = -x - x + p for x.
1
Let w = 1361 - 1356. Solve -w*h = 11 + 9 for h.
-4
Let p be (3/6)/(2/16). Suppose -4*l + 3*l + 3*r + 7 = 0, -p*r = 12. Let i = 1 - l. Solve -i*f - 1 = -2*f for f.
-1
Let n(z) = z**2 - z - 1. Let x be n(2). Let v = -51 - -57. Suppose 2*c = -4, -o - 4*c = -v*o + 33. Solve 2*d + o = x for d.
-2
Suppose -1 = y + 4*v, -2*y + 5*v = -0*y - 50. Suppose -2*c + 9 + y = 0. Solve 3*r + r + c = 0 for r.
-3
Let y(w) = 16*w - 160. Let j be y(14). Solve 2*k - 68 = -j for k.
2
Let o(k) = -2*k**3 + 22*k**2 - 4*k + 56. Let q be o(11). Solve -q*b + 65 = -25*b for b.
-5
Let f(i) = i**3 - 11*i**2 + 11*i - 6. Let s be f(10). Suppose -s*t + 9 = -7. Let a be (t/(-8))/((-1)/10). Solve a*u + 4 = -11 for u.
-3
Suppose -4*y - 120 = -34*y. Solve 0 = 9*j + 14 + y for j.
-2
Suppose -3*z = u + 6, -6*z - 10 = 3*u - z. Let r(g) = -g**3 + g**2 - g + 9. Let y be r(u). Let t = y + -9. Solve 0 = 5*v + 25 - t for v.
-5
Let z(b) = -2*b**3 - 3*b - 2. Suppose 0*c - 4 = 4*c. Let r be z(c). Solve -r*p + 5*p = 2 for p.
1
Suppose 4*n + 5*l = 3*n - 21, 4*l = -5*n. Solve n*b = 2 - 6 for b.
-1
Suppose -5*h = -3*h - 2. Let s(a) = -2*a**2 + 125*a**3 - 2*a + 129*a**3 - 250*a**3 + 3*a. Let m be s(h). Solve -m*y = -y for y.
0
Let i be (-2)/((-4)/54) - 7. Solve 0*h - 4*h = -i for h.
5
Let c = 336 + -330. Solve 5*w - 31 = -c for w.
5
Let w = -1847 - -1849. Let i(g) = 2*g - 2. Let c be i(2). Solve 16 = w*v + c*v for v.
4
Let i(q) = 8*q - 5. Let v be i(-4). Let j = 43 + v. Solve -j*t = -3*t + 12 for t.
-4
Let j = -41 + 49. Suppose -23 + j = -3*p. Solve -4*b + p*b = 0 for b.
0
Suppose -8*u + 7*u = 5*u. Suppose -4*z = -5*y - 9*z + 50, 35 = 2*y + 5*z. Solve u*r - r = -y for r.
5
Suppose 0 = 2*f + 2 - 12. Suppose 2*x = 5 + f. Solve -5*p + 5 + x = 0 for p.
2
Suppose -11*u - 34 = -3*l - 9*u, -4*u = 8. Let z = l + -9. Solve 2*o = -7 - z for o.
-4
Suppose 3*i = 2*h + h + 27, 3*i - 2*h - 26 = 0. Let z(a) = i*a**2 - 3 + a**3 + 7*a + 5 + 1 + 0. Let b be z(-7). Solve 6*m + 3 = b*m for m.
-1
Let v = 88 + -75. Solve 15*w = v*w for w.
0
Let k(f) = -f**3 - 6*f**2 + 7*f + 5. Let c be k(-7). Suppose -2*p = -5*s + 12 - 35, -3*p + c*s = -32. Solve -3*l + 24 - p = 0 for l.
5
Let l(f) = f**2 - 5*f + 2. Let z be l(5). Let v(u) = 4 - u**3 - 5 - u**3 + 5*u**2 + u - z*u**2. Let b be v(-2). Solve 0 = 3*s - 8*s + b for s.
5
Suppose 21*z + 9 = 18*z. Let g(v) = v**3 + 5*v**2 + 5*v + 1. Let f be g(z). Let d be (0 + 2 - 19)*-1. Solve 1 - d = -f*o for o.
4
Suppose 5*t - 7*n = -6*n - 3, 0 = 4*t + 5*n + 14. Let b = t - -1. Let q = -20306 - -20310. Solve b = -6*k + q*k + 10 for k.
5
Let m be -4 + 5*(-4)/(-20). Let w(k) = -5*k**3 - 4*k**2 - 3*k + 8. Let r(p) = -p**3 + 1. Let y(j) = -4*r(j) + w(j). Let i be y(m). Solve 0 = i*d - 13 - 3 for d.
4
Suppose 2*z + 15 = 3*g - 5, -25 = -5*g - 5*z. Solve -g*w + 7*w - 4 = 0 for w.
4
Let p be 1 + (-7 - -3) + 8. Solve 0 = 6*c + p*c for c.
0
Let n = 263 + -260. Solve -26*f + n = -23*f for f.
1
Let o(k) = -24*k + 1. Let i be o(-1). Suppose 19 = 4*l - 0*c + c, 3*c + 23 = 4*l. Suppose g - 6*g = 4*p, -5*g = 5*p + l. Solve -g*f - i = -5 for f.
-5
Let n(k) = -k + 5. Let i be n(0). Let d(l) = -l**3 - 16*l**2 + 36*l + 2. Let b be d(-18). Let s be (b/i)/((-4)/(-40)). Solve 0 = -4*u + s + 8 for u.
3
Let x = -50 - -36. Let v be (7/x)/(2/(-8)). Suppose -2*z = 2*z - 16. Solve -z*b = -v*b for b.
0
Let m(a) = 4*a + 8. Let j be m(13). Suppose 0*u + 3*u - 4*q = j, -5*q = -2*u + 40. Solve -2*h - u = 2*h for h.
-5
Let n = 9 - 29. Let r = -17 - n. Solve -5 = -r*t + 2*t for t.
5
Suppose 2*v + 154 = 158. Solve v*b + 3 = -1 for b.
-2
Let v be (-432)/(-3) - (11 + (0 - 3)). Solve v*q = 135*q - 3 for q.
-3
Let a(u) = u**3 + 7*u**2 + 11*u + 11. Let h be a(-4). Solve -f = 2*f - h for f.
5
Suppose -83*v + 188 = -393. Solve -v*o + 13*o = 18 for o.
3
Suppose -u = 2*u - 30. Let m(j) = -4*j + 10. Let k(f) = -11*f + 30. Let z(g) = 3*k(g) - 8*m(g). Let h be z(u). Solve 0 = -h*b - 5*b for b.
0
Let q(o) = 5*o**2 - 58*o - 24. Let s be q(12). Solve s = -y + 4*y - 15 for y.
5
Suppose -4*x - 26 = -2*g + 14, 4*g = 2*x + 50. Suppose 5*o - g*o - 175 = 0. Let m be (14/o)/(1/(-10)). Solve 2*y - y = -m for y.
-4
Suppose -7*u + 12*u - 5 = 0. Let w be (-3 + 1)*u/(-2) + -1. Solve w*v = -3*v - 6 for v.
-2
Suppose 6 = 2*p + 4. Let b be 1*-1 - (p - 6). Solve -w = 3*w - b for w.
1
Let z(o) = o**3 - 7*o**2 - 29*o - 9. Let h be z(10). Solve 7*y - h = 13 for y.
2
Let s = 1761 + -1761. Solve s*x + 4 = -2*x for x.
-2
Suppose -2*c = 5*c - 21. Suppose q - c*q - 19 = -5*h, -h = q - 1. Solve 4*t - 5 = h*t for t.
5
Suppose -l - 4*s - 8 = 0, -l + s - 6*s = 11. Let d(n) = n**3 - 18*n**2 - 18*n - 17. Let h be d(19). Solve -h = b - l for b.
2
Let r = -11 + 11. Suppose 0 = 2*i - 4*x - 2, r = 3*i - 6*i - x + 10. Let d = 13 - 6. Solve d + i = -5*t for t.
-2
Let v be (1/5 + 1)*5. Suppose -3*r - 4 = -5*h, h = -r + 4*r + 8. Let n be h + ((-104)/(-4))/1. Solve -z + n = -v*z for z.
-5
Let m be 7/(-3 - (-21)/6). Suppose -4*n = -u + 