z = -6, -4*x + 2*z = -8 + 4. Let f be (-9 - x)*(-5)/5. Solve 0 = 2*w - f + 3 for w.
3
Let h = -3 + -2. Let l(i) = i**2 + 3*i - 6. Let q be l(h). Solve -2*y + 4 = -q for y.
4
Let y = -10 + 12. Suppose -3 = -g - y. Solve 1 + g = 2*f for f.
1
Let i(d) = -d**3 + 10*d**2 - 8*d - 7. Let h be i(9). Suppose -h*g - 10 = -2*v + v, 2*v - 5 = g. Solve v*j = -2*j + 10 for j.
5
Suppose 2*k + 2 = 10. Solve -3*n = -1 + k for n.
-1
Let a = 34 + -28. Solve -a*z = -3*z - 12 for z.
4
Let a be 4 - -1 - (-5 - -2). Solve a = 2*r + 2*r for r.
2
Suppose -54*z = -50*z - 8. Solve 2*p + z + 8 = 0 for p.
-5
Let f(t) = 6*t + 0*t**3 - 8 + 4*t - 10*t**2 - t**3. Let r be f(-11). Solve r*u = 6*u for u.
0
Let i be -5 + (2 - 3)/(-1). Let p = i + 4. Solve -u - u = p for u.
0
Suppose -5*b + 60 = 15*b. Solve -3*z + b = -3 for z.
2
Let w(v) = -1 + 11*v + 18 - 2 - v**2. Let o be w(12). Solve -o = -2*j + 5 for j.
4
Suppose u - 4*v + 1 = -4, 0 = -2*v + 6. Solve u*f = 4*f + 9 for f.
3
Suppose 27 = -2*j + 4*f - f, -j = -5*f + 17. Let s be ((-3)/2)/(j/32). Suppose s*z = 3*b - z - 56, 0 = 2*b + 5*z - 29. Solve -5*g + 2 = b for g.
-3
Suppose -10 = -4*v + 2. Suppose 3*r - d + 2 = 0, 0 = 2*r - v*r - 2*d + 4. Suppose n - 3*n = r. Solve -y - 1 - 1 = n for y.
-2
Let h = -2 - 1. Let b be (h + 1)/(-2)*0. Solve n + n = b for n.
0
Suppose -5*s + 6*s = 5. Suppose -3*y + 4*r = 26 - 100, 2*y = -r + 31. Suppose y = 6*t - 3*t. Solve s*m = t + 4 for m.
2
Let g(n) = 5*n - 16. Let s be g(4). Suppose 0 = -2*f + 6*x - x - 6, -x = 0. Let h = 3 + f. Solve h*j = s*j for j.
0
Let r(n) = -2*n - 32. Let i be r(-18). Solve 0 = i*w + 3 - 15 for w.
3
Let y = -17 - -28. Suppose 5*s + 1 - y = 0. Solve -s*p - 1 = 5 for p.
-3
Let c(x) = x - 12. Let s be c(12). Let t(q) = 4*q + 1. Let u be t(2). Suppose -2*d - d + u = s. Solve -2*n - d*n + 15 = 0 for n.
3
Let n = 31 + -15. Let o = -14 + n. Solve -o*y + y - 3 = 0 for y.
-3
Let o(i) = 2*i + 5. Suppose 1 = d - 3. Let r be o(d). Solve 2 = -3*n - r for n.
-5
Let u be 18/(-12)*(-16)/6. Solve -u*a = -3*a - 3 for a.
3
Let v = 29 + -40. Let p = v - -14. Solve 0*m = -p*m + 3 for m.
1
Suppose 0 = 2*f - 7 + 1. Suppose 1 = -2*d + 5*o, 0*d + 2*o + 8 = 5*d. Suppose 8 = 3*g - y, -7 = -4*g + d*y + 5. Solve f - 1 = g*w for w.
1
Let q = 1 - 1. Suppose -x - 2*x - 2 = -5*i, 3*x + 12 = 0. Let l be 1*i + (5 - -2). Solve 5*u + 0 + l = q for u.
-1
Suppose 3*y - 2 = 40. Let c = y + -14. Solve 0 = m - c*m - 3 for m.
3
Let k = 0 + 0. Suppose -u = -k - 1. Let z be ((-2)/(-6))/u*12. Solve 3 = -z*i - 9 for i.
-3
Let m(x) = x + 18. Let j be m(2). Let t be 1/3 - (-5)/3. Solve 3*b + t*b - j = 0 for b.
4
Let q be (8/(-6))/((-2)/9). Solve q = -3*l - 0 for l.
-2
Suppose -d + 4*k + 21 = 0, -3*d - 11 = 5*k + 11. Let l(o) = -9*o + 1. Let x be l(d). Let s = 9 + x. Solve -s = -v + 1 for v.
2
Suppose -4*g - 220 = g. Let a = -24 - g. Solve -w - a = -6*w for w.
4
Let k be 9/(-6)*(-8)/6. Suppose 5*t = -k*i + 45, 4*t - 17 - 19 = 5*i. Solve -5*w - t = -2*w for w.
-3
Let u(l) = l**2 + 5*l - 2. Let o be u(-6). Let r(x) = -11*x - 1. Let y(t) = -12*t - 1. Let m(b) = 7*r(b) - 6*y(b). Let w be m(-1). Solve -w - 8 = o*c for c.
-3
Suppose 0 = 2*k + k. Suppose -4 = -3*y + 5. Let z be 40/6*y/2. Solve k*t - z = -2*t for t.
5
Suppose -f + 4 = -6. Let r be 2*1*(-2 - -3). Solve r*k + f = 4*k for k.
5
Let j be 11/2 + (-5)/(-10). Let s be (3 + (-21)/j)*0. Let u = s + 2. Solve -3*v - u*v - 10 = 0 for v.
-2
Suppose -4*h + 18 = 6. Suppose -3 = -3*i + 12. Solve h*z = i*z for z.
0
Let v = 81 - 77. Solve -i = 3*i + v for i.
-1
Suppose 0 = -0*g - g - 7. Let d = g - -4. Let x be -2*d/((-9)/(-3)). Solve -o + x = 4 for o.
-2
Suppose 3*z = -9, 4*u + z + 0 + 43 = 0. Let i(o) = o**3 - 5*o**2 - 7*o - 8. Let s be i(6). Let t = u - s. Solve n = -t*n for n.
0
Let w be (6 - (6 + 0))*2/(-4). Solve 4*h - 3*h + 5 = w for h.
-5
Suppose 4*q + 9 = 5*k, -k - 2*q - 2 = -1. Solve 1 = -2*v - k for v.
-1
Let c = 8 - 4. Suppose 3*k + 3 = p, 5*p - 4 = 2*p + 4*k. Solve -c = -p*w + w for w.
-4
Let g = 1 - 1. Solve g = 6*x - 2*x - 8 for x.
2
Suppose -4*z + 2*n = -64, 3*z - z - 2*n = 36. Let c be z/(-4)*(-6)/3. Let f(k) = k**2 - 5*k - 9. Let y be f(c). Solve y*x - 9 = 2*x for x.
3
Let i be (1/4)/((1 - 2)/(-20)). Solve 2*q - q = i for q.
5
Suppose -4*c + 6*a - 8*a = -24, 5*a + 24 = 4*c. Solve c = -2*h - h for h.
-2
Suppose -53 = -2*d + 4*y + 67, -2*d = 2*y - 120. Let t be ((-1)/1)/((-5)/d). Solve -5*v - 2 = -t for v.
2
Let s(w) = -w**2 - 8*w - 6. Let f be s(-3). Solve -3*j - 3 - f = 0 for j.
-4
Let b(v) = 7*v - 8*v + 0*v**2 - 5*v**3 - v**2. Let z be b(-1). Solve -z*d = -2*d - 6 for d.
2
Let d = 2 - -6. Solve d = 4*p - 6*p for p.
-4
Let w be ((-2)/4)/(1/(-8)). Solve w*r = -7 - 1 for r.
-2
Let x = -33 - -36. Solve -2*o + x = 13 for o.
-5
Let c = 7 - 4. Let x(a) = a**3 + 7*a**2 - 8*a + 7. Let l be x(-8). Solve -c*f - 19 = -l for f.
-4
Let b(y) = -y**3 - 10*y**2 + 8*y - 1. Let f be b(-9). Let a be (-8)/20 - f/10. Solve 2*v = -v + a for v.
5
Suppose -3*f + 30 = 2*f. Let x = -5 - -8. Solve x*l = l + f for l.
3
Suppose -9 = -120*f + 117*f. Solve -f*q = -1 + 10 for q.
-3
Suppose 36*u - 41*u = 0. Solve u = 4*k + 3 + 17 for k.
-5
Suppose 5*n = -n. Suppose n*c + 2*c = 0. Solve c = 2*l + 2*l - 12 for l.
3
Let g(z) be the second derivative of z**3/6 - z. Let y be g(2). Suppose -4*p - 3*t = 0, 0 = -p - p + t. Solve p = y*k - 5*k for k.
0
Suppose 2*k + 2 = 2*v, -8*k = 3*v - 3*k - 19. Let r = -21 + 24. Solve r*m - v - 3 = 0 for m.
2
Let s(d) = d**2 + 2*d + 2. Let h = -3 + 3. Suppose 0 = b - h*b + 2. Let f be s(b). Solve f*g = -2 + 6 for g.
2
Let a(j) = -j**3 + 2*j**2 + j - 1. Let b be a(2). Let y be (b/(-2))/((-2)/4). Let t be y - 0/1 - -25. Solve -5*s = -t + 6 for s.
4
Let q = 9 + -5. Suppose -q*i = i - 100. Suppose 5*a - 3*x = -2*x + i, 5*x - 8 = -2*a. Solve 3*c + c = -a for c.
-1
Let g = 13 - 11. Solve -2 + 8 = -g*o for o.
-3
Suppose 6 = v + 4*p + p, -2*v = -2*p - 12. Let j = 5 - v. Let h = 1 - j. Solve 0 = -h*s + 4*s for s.
0
Let j = -17 + 24. Suppose 0 = 5*u + s - 4, 3 = -3*u - s + j. Solve -5*v + 3 - 13 = u for v.
-2
Let s = 1 - 0. Let n be s/((-1)/(-14)) - -2. Solve -n = 4*u - 4 for u.
-3
Let m(f) = -f**2 + 3*f + 13. Let i be m(5). Solve -i*p - 4 = 5 for p.
-3
Let g(w) = w**3 - 17*w**2 + 16*w + 3. Let s be g(16). Solve -s*n - 3 = 6 for n.
-3
Let a = 2 - -1. Suppose 8*c - a*c = 15. Let q be 7/3 - (-2)/c. Solve 0*i - 3 = -q*i for i.
1
Suppose l + 3*g + 5 = 0, 3 - 8 = -5*l - 5*g. Let d = l + -2. Solve d*o - o = -2 for o.
-2
Let a(o) = -5*o - 62. Let u be a(-13). Solve -3*b - u = 3 for b.
-2
Let q be (-125)/(-20) + (-2)/8. Let u(o) = -o**3 + 5*o**2 + 6*o + 2. Let r be u(q). Solve -r*t + 0*t = 4 for t.
-2
Let a = 21 - 7. Let t = -10 + a. Solve 0 = t*p + 2 + 6 for p.
-2
Suppose 3 = -u + 7. Solve 2 - 6 = u*y for y.
-1
Let a(d) = 2*d**2 + 6*d + 5. Let r be a(-3). Solve 7 + 13 = -r*g for g.
-4
Let y be ((-4)/3)/((-4)/(-18)). Let h be ((-8)/(-6))/((-2)/y). Let s = 215 - 209. Solve -b - s = -h*b for b.
2
Let f(m) = -m + 9. Let n be f(10). Let x be n/(-2) + (-34)/(-4). Let z be (2/(-3))/((-2)/12). Solve 0 = -z*w + w - x for w.
-3
Let k(y) = -y + 9. Let w be k(7). Solve 0 = -n - 0*n + w for n.
2
Suppose s - 3*j - 8 = 8, 2*s - 5*j - 28 = 0. Solve n = s*n - 9 for n.
3
Let l(h) = 3 - 4 - 8*h + 0. Let p be l(-1). Let n be (-2 - (-20)/p)*7. Solve n*g - 5 = g for g.
1
Let z be (4 + 0)/2 - 1. Let o be z + 0 + (-3)/3. Solve -s - 4*s - 10 = o for s.
-2
Suppose h + 2 = -h, -3*m = 3*h - 21. Suppose 5*z - 2 + 8 = 2*x, 5*x - 15 = z. Suppose z = -7*r + 2*r + 15. Solve -r*o + 2 = m for o.
-2
Let v(n) = n**3 + 4*n**2 - n - 1. Let t be v(-4). Let b(i) = -2*i - 5. Let l be b(-4). Suppose 0*z = l*z. Solve o = -z*o - t for o.
-3
Let m be 573/(-27) - (-4)/18. Let z = m + 31. Let w be (-4)/12 - (-1)/3. Solve w = -5*n + 3*n + z for n.
5
Let p(q) be the first derivative of q**3 + q**2/2 + 4. Let k be p(-1). Solve 0 = k*x - 6*x + 12 for x.
3
Suppose 36 = 5*f + 21. Solve -9 = -4*z + f for z.
3
Suppose 0 = -3*o - o + 20. Let k(y) be the second derivative of 13*y**3/6 - y. Let l be k(1). Solve -4*g + l = o for g.
2
Suppose 0 = 8*v - 4*v - 16. Solve -19 = -v*o + 1 for o.
5
Suppose -4*a + 2 + 6 = 0. Solve 0 = a*d + 3*d + 5 for d.
-1
Let i = -118 + 124. Let m be (-6)/((3/2)/(-1)). Solve 6*s - m*s - i = 0 for s.
3
Supp