 for w.
-4
Let z = -8 + 10. Suppose w = -2*u - 3*w, -8 = -3*u + z*w. Let h be u/4 + (-6)/12. Solve -3 = -2*b + 5*n + 8, h = 3*b - 4*n - 6 for b.
-2
Let z(t) = 52*t**3 + 2*t + 1. Let o be (6/12)/((-1)/2). Let y be z(o). Let b = y + 90. Solve -5*r - 4*h = b, 0 = 2*r - 0*r - 4*h - 2 for r.
-5
Let r be (-20)/6*(-1 + -8). Let h(x) = 4*x - 22. Let q be h(8). Solve 4*d - r = -5*z, -2*d + 0 = -q for z.
2
Let m(q) = -q**2 + 16*q - 15. Let k be m(15). Let z be (-1)/(k + -1) + 2. Solve -6*o + 7 = z*c - o, 5*c + 2*o - 18 = 0 for c.
4
Suppose 0 = -k + 4, 3*k + 2*k - 23 = -f. Solve -f*n + z = 0, 0*n - 5*n + 4*z = 0 for n.
0
Suppose -6 = -5*w + b, -3*w - 3*b + 14 = -2*w. Suppose 2*d - w = 6. Solve 4*z - 19 = -5*q - d, 2*z - 5*q = -15 for z.
0
Let d = 73 - 69. Solve -6*p + p = 2*w + 19, 5*p + 7 = d*w for w.
-2
Suppose -4*w = -8*w. Suppose 2*m = 4*k - 2, -2*k + 4*m - 5*m + 11 = w. Suppose 5*h - 11 = y, -2*y - 5 = -h + y. Solve k = -2*i + s - h, -s = -3*i - 8 for i.
-3
Let a be ((-12)/14)/(12/(-56)). Solve -m - 2*w = 2*m + 2, -4 = -a*m - 4*w for m.
-4
Let x = 23 + -5. Suppose -f = 2*f - 90. Let j = 34 - f. Solve x = -j*i - 3*w, -4*w - 3 = -3*i - 4 for i.
-3
Let x be 120/70 - 2/(-7). Solve 0 = 4*b - 2*y + y + 3, x*y = -2*b - 14 for b.
-2
Let o(r) = 4*r**2 + 2. Let y be o(2). Solve -5*n - g + 4 = y, 4*g = -2*n - 2 for n.
-3
Let c be -1 + -3 - -1 - -6. Solve 2*u + c = -1, -11 = o + 5*u for o.
-1
Let i = 8 - 4. Solve 5*x - 11 = -2*q, 4 = -4*q - i for x.
3
Let p be 1/((-2)/(-6)) + -4. Let j be 4 + -2 + p + 1. Let l = 6 - j. Solve 2*d = l*d + 5*s + 9, 5*d - 4*s = -6 for d.
-2
Suppose -5*p = 3*d - 127, -2*d = 5*p - 56 - 37. Suppose 5*y - d + 9 = 0. Suppose 0 = y*k - 0*k. Solve k*a + r - 21 = -5*a, 0 = 4*a + 3*r - 19 for a.
4
Let w = -8 - -13. Solve -j + 5*l = -21, w*l = -j - 0*j - 19 for j.
1
Let o = 20 - 13. Solve 3*l - o = 3*v - 22, -4*l = -5*v + 21 for v.
1
Suppose 5*h - h = 0. Solve h*i + 3*i - 3*b = 0, 0 = -2*i + b for i.
0
Let n(l) = -2*l**2. Let y be n(0). Solve 2*w + 5*d + 14 = -y, 0 = -3*w - 3*d - 12 for w.
-2
Let d(b) = -b - 3. Let c be d(-6). Suppose c*m = -m + 24. Solve -2*v + m*v + 8 = 2*q, 0 = 3*v - 2*q + 5 for v.
-3
Let l(m) = m**3 + 5*m**2 + 4. Let q be l(-5). Let d = 13 - 8. Let f(c) = c + 14. Let z be f(-6). Solve 2*j - 3*r = z, -q*r = -d*j - 9*r - 5 for j.
1
Let f = -17 - -20. Solve -4 = -q, u + f*q - 20 = 3*u for u.
-4
Suppose 2*w + 9 = 21. Let l(q) = q**2 + 7*q + 3. Let r be l(-4). Let v be 14/6 + 3/r. Solve w*m = -5*y + m + 40, v*y + m = 13 for y.
5
Let w = -5 - -6. Let t(n) = 6*n - 1. Let y be t(w). Suppose 0*z - 22 = -y*z - r, 2*z = r + 6. Solve -3*c = c - 2*p - 2, -4*c - 4*p - z = 0 for c.
0
Suppose 5*q + 14 = 2*t, -5*t + 2*q = -3*q - 20. Suppose -19 + 11 = -p. Solve 0*d + 2*u = -4*d + p, -4*u + 16 = t*d for d.
0
Let o = 32 + -29. Solve 3*a = -i + 8, -22 = -8*i + 3*i + o*a for i.
5
Let g(l) = 2*l**2 - 2*l - 3. Let p be g(3). Suppose -3*s - 3 = -p. Solve s*i = -4*j - 2*i - 24, -j + i = 0 for j.
-3
Suppose l - 4*l - 3*y = 51, 0 = -4*l + 4*y - 36. Let o = -8 - l. Solve 13 = 4*f + 5*h, -40 = o*f - 7*h + 2*h for f.
-3
Let d = -20 + 22. Solve z = -d*i + 6, 0 = -0*i - 4*i + z for i.
1
Suppose 0 = 6*y - 3*y + 9. Let u be 20 - (-5 - -3 - y). Solve 0 = 2*x + 5*v + u, 4*x - 2*v + 5 = -v for x.
-2
Let f(d) = 2*d - 18. Let a be f(10). Solve -a*h - 2*r + 15 = 3*h, 5*h = 4*r + 45 for h.
5
Let w be 4/3*(-3)/(-2). Let g be 68/24 + w/12. Solve 33 = 4*x + 5*j, g*x - 35 + 4 = -5*j for x.
2
Suppose 0 = 2*t - 3*v - 15 - 12, -t = 3*v + 9. Solve 0 = -n + t*n + 3*z - 6, 0 = -4*n + 3*z - 6 for n.
0
Suppose -2*j + 6 - 2 = 0. Let z = -27 + 29. Solve z*x = g + g - j, -2*x - 5*g + 19 = 0 for x.
2
Let c = 37 - 37. Solve 5*a - 20 = c, -2*z - z + 29 = 5*a for z.
3
Suppose -h - k = -5*k + 17, 3*h - k - 4 = 0. Let j be (4/(-6))/(1/(-9)). Suppose -4*y = -y - j. Solve 0 = -4*q - c - y, -h*c + 6 = 0 for q.
-1
Let p(h) = h**3 - 14*h**2 + 3. Let r(u) = u**3 - 2*u**2 + 2*u - 1. Let v be r(3). Let n be p(v). Solve -z + 5*o = -n*z - 14, -5*z + 11 = o for z.
3
Let y = 14 + 6. Let u = -11 - -14. Solve 8*s - u*s - y = -5*o, 4*o - 2 = 3*s for o.
2
Let j = 9 - -2. Suppose 3*m = -21 + 3. Let u = m + j. Solve u*b + 18 = -2*x, x + 11 = b - 4*b for x.
1
Let p(u) = u**3 + 8 - 2*u**3 + 9*u**2 - 8*u + 2*u. Let z be p(8). Let m be ((-15)/(-6))/((-1)/(-2)). Solve -m*f - 26 = -2*o, 3*f - 3*o = o - z for f.
-4
Suppose 4*w - 877 = 5*r - 45, -2*w + 406 = -5*r. Let j = 342 - w. Suppose 88 = 4*d + u + 2*u, -5*d + u + j = 0. Solve -i = g - 2*g + 2, -d = 5*i for g.
-3
Suppose -w - 4*f + 13 = 0, -5 = -2*f - 1. Suppose -j + 11 - 43 = -3*b, 0 = w*j - 4*b + 149. Let o = 53 + j. Solve 3*s - g = 14, 5*s - 2*g = -0*s + o for s.
4
Let g = -125 + 130. Solve -4*h + n + 3 = 4, g*h - 2 = -2*n for h.
0
Suppose 0 = 3*q + 4*w - 26, -2*w + 4 = -0*q - 3*q. Let a be (6 + -1)*(q + -1). Solve 0 = a*i - 4*d + 41, -2*i + 2 = d + 8 for i.
-5
Let q be -1*(-2 + -13) - -2. Solve 0 = 2*h + 3*h - 2*x - 13, 3*h + q = -5*x for h.
1
Suppose 3 + 0 = s. Suppose -20 = 4*h - 4*u, 5*h + s*u - 19 + 4 = 0. Solve 20 = -5*m, -3*q - m + 3*m - 7 = h for q.
-5
Let v be 1*6/(24/20). Solve 0 = -w, 0*g + v*w = -g for g.
0
Let p = 64 + -21. Suppose p = -3*b + 13. Let v = b - -15. Solve 0 = -v*d - z + 12, d + 2*z = z for d.
3
Let b(q) = q**2 + 4*q. Let h be b(-4). Let y = 9 - 5. Let g(l) = -23*l + 327. Let k be g(14). Solve h = -s - k*m + 2, m = s + y*m for s.
-3
Let p = 2 - 1. Let b(f) = -2 + 3 + f**2 + 2*f + p. Let a be b(-2). Solve q - 5*r = 20, -4*r = -5*q - 7 + a for q.
-5
Suppose 0 = -0*p + 2*p + 26. Let v = p - -18. Let x(d) = d**3 + 4*d**2 + 2*d + 1. Let j be x(-2). Solve 0 = 5*f + v*m - 5 - j, 0 = -2*f + 4*m + 4 for f.
2
Let o be 4/2 + 2 - (0 + 2). Solve z = 2*l - 4, -o - 2 = z - l for z.
-4
Let a = 18 - 9. Let b = -5 + a. Let n be (-3 + -1)*10/(-8). Solve d - 13 = -n*f, f - 1 = d + b for f.
3
Let q = 6 - 4. Let y be 2 + (q - -6) - -2. Solve -4*f + 0*f = 5*s + 11, 2*f + y = 4*s for f.
-4
Let q be (-9)/(-2)*(-128)/(-24). Solve 23 = -2*n - 4*x - 1, 5*n = -x - q for n.
-4
Let w be -4*((-165)/(-12))/(-5). Solve 5*k - 3 = -3*h, 3*k - w = 6*k + 5*h for k.
3
Suppose -t + 6 = 2*l, 5*t + 9 = 2*l + l. Solve 5 = -i + l*i - v, 3*v + 15 = 4*i for i.
0
Let i = 2 - -2. Suppose -21 = -5*n + i*q, -q + 15 = -4*n + 34. Solve 4 = r + 3*d - 10, -n*r = 5*d - 40 for r.
5
Let a(i) = i**2 + 5*i + 2. Let l be a(-5). Solve 0 = -3*j - 5*r - 0*r - 7, 14 = -3*j + l*r for j.
-4
Suppose 0 = -0*r - r. Solve 5*t + 10 = r, -1 = 2*w + 3*t - 3 for w.
4
Let z(x) = x + 14. Let l be z(-14). Solve a + 3*a + 5*y - 13 = l, 0 = -4*a - y + 9 for a.
2
Let q be -3*(3 - 76/12). Let a be q/3 + 28/(-21). Solve 4*z - a*o - 2 = -0*z, 2*z + 2*o + 14 = 0 for z.
-2
Suppose 3*r - r = 7*r. Solve 3*u + y + r*y = 1, 4*y = 3*u - 26 for u.
2
Let y(l) be the second derivative of l**4/6 - 2*l**3/3 - 2*l**2 - l. Let w be y(5). Solve 0 = -4*p - 8, -5*n - 3*p = -0*p + w for n.
-4
Let p(o) = o - 7. Let l be p(9). Solve l*n + 5 + 7 = -3*f, 0 = 4*n for f.
-4
Let l be (0 + 0)/((-6)/(-6)). Suppose 4*z - 4*o - 80 = l, 12 + 16 = 3*z + 5*o. Solve 5*b = 5*v, 0*b = -5*v + b - z for v.
-4
Let z = 120 + -112. Solve 5*l - 6 = 3*r, -6*r - 5*l = -2*r + z for r.
-2
Let f = -13 + 16. Let g be f - 42/((-8)/4). Solve 3*d + 3*l = -27, 0 = 4*d + 3*l - 2*l + g for d.
-5
Let f(j) = j**3 - 6*j**2 - 7*j + 5. Let h be f(7). Solve 5*k = -5*g + h, -3*k = 3*g + g - 2 for k.
2
Let i be 32/6 + 1/(-3). Suppose 3 = -r - 3*a, 2*a - 3 = -5. Solve -i*t + 1 - 11 = r, -4*l + 2*t + 4 = 0 for l.
0
Let n be ((-18)/(-45))/(2/40). Solve -3*m - 12 = 4*o - o, -2*m + o = n for m.
-4
Let u(z) = z**2 + 5*z + 6. Let c be u(-4). Solve 4*s - 13 = 3*j + c*s, -s - 26 = 5*j for j.
-5
Let s(k) = 13*k - 7. Let b be s(3). Suppose 0 = w + 2*w - 12. Suppose q + v + 2*v = 8, w*q - 5*v = b. Solve -4*m + q = t, 0 = 4*t - 0*t + 3*m - 6 for t.
0
Let q be (0 - 2)*1*1. Let p = q + 4. Let t be 2/(0 - p/(-10)). Solve -f = 2, 4*w + 5*f = -w - t for w.
0
Suppose 4*z + 6 + 6 = 0. Let u = z - -3. Solve 2*m - 4*h - 24 = u, -1 = -m - h - 4 for m.
2
Suppose -4*x + 0*x + 40 = -4*l, -x = -5*l + 2. Suppose 3 = c - 0. Solve 3*y - 2*v = -v - x, c*v + 5 = -2*y for y.
-4
Let v = -1 + 10. Solve 5*f + 12 = 3*n, 2*n + 2*f + v = -n for n.
-1
Suppose 4*v = -0*v + 16. Let t(a) = a**3 - a**2 