Solve 0 = -w + 4*x + 4, -4*w + g = 3*x - 10 for w.
4
Suppose 2*o + 3*o - 20 = 0. Solve o*q - 36 = 5*u, 4*u - 3*u + 3*q = 8 for u.
-4
Let b be (-3)/(5/8 - 1). Let u be 1 - (-1)/(2/b). Solve s - d - 3 = 2*s, 2*s + u*d = 0 for s.
-5
Let r be 20/15*477/6. Let y be r/22 + 4/22. Solve 4*t - 2 = -z, -z = z + y*t - 1 for z.
-2
Let d be ((-2)/11)/(-1) + 62/22. Solve 0 = -0*j - 4*j - 4*u + 24, -u + d = -2*j for j.
1
Let a = 9 - 9. Suppose a = -4*m + m + 9. Solve 2*d + t = 10, m*d - 2*d = 5*t - 6 for d.
4
Suppose -7*r + 2*r = -10. Solve -w - r = 2*h, 5*h = -2*w - 5 - 1 for w.
2
Suppose l - y = y + 9, 4*l - 30 = 5*y. Solve 4*d - 4 = 4*f + 4, l*f = 4*d - 10 for d.
0
Let o(b) = b**3 - 12*b**2 + 12*b + 2. Let w be o(11). Solve 5*k + 2*x = -14 - w, 0 = 5*x + 5 for k.
-5
Let i(c) = 2*c**2 + c - 1. Let p be i(1). Let o be (p/4)/(7/42). Let u = 6 + -1. Solve -t - o*m + 3 = -8, -m + u = t for t.
2
Let w be (-2 + 6)/(2 + 0). Let h be 1*6*1/w. Solve -h = -g - 4*m - 6, 3 = -g + 5*m for g.
-3
Let t(i) = -i**2 + 11*i - 4. Let q be t(6). Suppose 6*f - q = 4. Solve 5*x + 45 = -f*s, 9 = -5*x + 5*s - s for x.
-5
Suppose 0 = -3*h + 2*k + 25, 4*h - k - 15 = -2*k. Suppose 0 = -4*z + c + 3, 3*c + 2 = h*z. Solve 0 + 3 = -3*q + v, q + v = -z for q.
-1
Suppose 2*k = -9 - 33. Let z be k/6*60/(-21). Solve -b - 5*j = 5, 3*b + z = b - 2*j for b.
-5
Suppose 0 = -3*o - 13 - 2. Let q(v) = -v**2 - 7*v - 5. Let n be q(o). Solve n*g + 3*s - 17 = g, 2*s = -2 for g.
5
Suppose -2*g - 3 = -19. Solve 0 = a + 4*a + n - g, -3*n = -4*a + 14 for a.
2
Let x = 0 - 0. Suppose x = 4*v - 7 - 9. Solve -b = q, v*b = b + q for b.
0
Let u(m) = -2*m + 4. Suppose 2*r + 7 = -1. Let y be u(r). Solve -3*x + d - 21 = x, -4*d = 2*x - y for x.
-4
Let l be ((-2)/(-6))/(2/30). Suppose 0 = l*r - 22 - 53. Suppose -10 = -5*t + 5. Solve 5*x - t*n - r = 0, 6*x + 15 = 2*x - 3*n for x.
0
Let z be (-4)/(-2) + 0 - -1. Suppose 15 = j - 3*r, -95 = -2*j - z*j + 5*r. Solve 2*o = 4*t - 6, -3*t = t + 3*o - j for t.
3
Suppose -3*k + 48 = -3*r, 0 = -k - 0*r - 2*r + 1. Let h(v) = v + 5. Let m be 12/(-3) + (1 - -1). Let z be h(m). Solve 18 = -d - 3*o, 4*o = z*d - 0*d - k for d.
-3
Suppose -g + 13 = 3*i - 7, -2*g = -2*i. Solve -20 = -g*u, 5*k - 8 = k - 5*u for k.
-3
Suppose -5*v - 3*t = 95, -2*t + 4*t = 3*v + 38. Let x = v - -22. Solve 0 = 3*d - x*r + 2*r - 17, r + 6 = -d for d.
-1
Let r be 0 + (-2)/6 + 105/45. Solve -4*m = -4*p + r*p + 4, -4*m + 5*p = -2 for m.
-2
Suppose u - 29 = -4*j, j + 1 = u + 2. Suppose 0 = -j*q + 4*q. Let h be q + (12/2 - 1). Solve 5*g - 3*p + 5 + 12 = 0, -g + h*p = -1 for g.
-4
Let q(d) = -d + 8. Let b(h) = 1. Let g(k) = 10*b(k) - 2*q(k). Let i be g(4). Suppose 3*p = p. Solve p*z - i*z - m = -15, 0 = -3*z + 2*m + 5 for z.
5
Suppose -2*l - 5*u = -180, 4*l - 5*u = 458 - 158. Suppose p = 6*p - l. Solve -17 = -0*k - 3*k + 2*w, p = -4*w for k.
3
Suppose -5*m - r = 13, 4 + 3 = 4*m - 5*r. Let i be (-187)/(-5) - m/(-5). Let k = i - 26. Solve 5*u + 3*v - k = 0, -3*u + 3*v = -0*u + 3 for u.
1
Let x be 3 + 0 + (0 - 1). Suppose -j + 55 = 5*l, j - 40 = 2*l - 6. Solve -5*a + x*m - j = -m, 3*a + 10 = -m for a.
-5
Let y be 4/24*2*0. Solve -a = -4*z - y*a - 2, 0 = 2*a + 4 for z.
-1
Suppose -8*v = -3*v - 20. Suppose 0*t = -3*r + 5*t + 66, -v*r + 102 = -2*t. Let q = -12 + r. Solve 2*c + 2*g = -c - 18, -5*g - q = 0 for c.
-4
Suppose 5*u - 5 = 4*g, g - 9 - 11 = -3*u. Suppose -41 = -r - u*b, 4*b + 43 = 5*r - 17. Solve -3*w - r = w, c + 17 = -5*w for c.
3
Let h = -92 - -96. Solve 3*p - 2*i - 6 = 13, 2*i + h = -2*p for p.
3
Let t be (8*9/(-6))/(-1). Let a be 9/(-2)*(-8)/t. Solve z + j = -5, -j + 6 = -z + a for z.
-4
Suppose q = 5*k + 9, -3*q - k - 18 = -5*q. Let z = q + -5. Suppose 8 + z = 4*l. Solve 3*w + 2*u = 4*w + 3, 4*u - 5 = l*w for w.
1
Let a be (-5 - -7)*26/4. Suppose 39 = -3*j - 5*x, -3*x = -4*j - a - 10. Let z(y) = y**2 + 7*y - 8. Let r be z(j). Solve -w - 22 = -6*k + k, r = -5*k + 25 for w.
3
Let l = -10 + 2. Let k = 10 + l. Solve z - 5*s + 2 = -3*z, -k*s + 11 = -5*z for z.
-3
Suppose 0 = -5*u - b - 4*b, -3*u - 2*b + 5 = 0. Suppose 1 = u*w + d, 5*w + 4*d = 2 + 2. Solve 2*v - 7*v = -2*r + 14, w = -v - r for v.
-2
Suppose 3 = k - 2. Suppose 0 = k*g - 4*g - 3. Suppose -d - 10 = -c, 2*c + d - 2 = -3*d. Solve 2*s - g*x = c, -45 = 5*s + 3*x + 2*x for s.
-4
Suppose -i + 92 = 3*i. Let j = i + 1. Solve 0 = -4*s + 4*o - j, 5*s = s - 4*o for s.
-3
Suppose 20 = 3*i - 10. Suppose 31 = 4*n + 3. Let c = 13 - n. Solve -3*b - c = w + i, 4*b + 20 = -w for w.
-4
Suppose 16 = 2*f + 6. Suppose -f*l = -0*l - 5. Let u = 3 + l. Solve 0 = -5*n - 2*b + 22, 2*n - u*n + 7 = -b for n.
4
Suppose -3*r + 3 = -3. Let g be (-9)/3 + 12 + -1. Solve 5*w = 2*z - g, r*z - w - 4 = 2*w for z.
-1
Let b(f) be the third derivative of f**4/8 - 3*f**2. Let t be b(1). Solve i - 1 = 4*i - r, -2*i + t*r = -4 for i.
-1
Let z = 61 - 57. Solve -2*q - 14 = 4*p, 6*q - 2*q - 20 = z*p for q.
1
Suppose 2*l - 22 = -4*y, 0 = -5*l - y + 3*y + 7. Solve 4*i - 3*p = -11, 0 = -3*i - 3*p + 21 - l for i.
1
Suppose 0*k = 3*k. Solve k = -2*f - z + 5, 2*f + 3*z = -f for f.
5
Let d be -6 - (3 - (-1 - -2)). Let k = -4 - d. Solve 2*b = w + 1 + 2, 3*b = -k*w + 32 for b.
4
Let c = 23 + -13. Let d = -6 + c. Solve -2*b - 5*r - 18 = 0, 5*b + d*r = -4 - 7 for b.
1
Let q(d) = d**3 + 10*d**2 + 10*d + 9. Let z be q(-9). Suppose z = -4*r - 8, 3*r = 3*k - 0 - 18. Solve -2*v = -a - v - 2, k*v - 14 = a for a.
2
Let n be ((-4)/7)/((-14)/49). Solve t - 8 = 5*d + 12, n*t - d = 4 for t.
0
Let y(z) = -z - 7. Let d = -16 + 9. Let c be y(d). Solve 4*g - g - 4*h - 7 = c, 4*g - 3*h - 14 = 0 for g.
5
Suppose -56 = -5*h + 2*t, 0*h + 2*h - t = 22. Let c be (-24)/((-5)/(40/h)). Solve -2*q + 4 = -u + 11, -q = -3*u + c for u.
5
Let b be (-11)/4 - (-2)/(-8). Let c = -1 - b. Solve 4*m - c = -2*u, -20 + 4 = -2*u + 3*m for u.
5
Let m(t) = -t**2 - 10*t + 16. Let g be m(-11). Solve 2 = 3*r + g*k, 17 = 3*r - 5*k - 5 for r.
4
Let s(c) = c - 15. Let v be s(19). Solve d - h = 3*h - 5, v*d + 20 = -2*h for d.
-5
Let v(o) = o**2 - 9*o + 2. Let m be v(9). Solve 5*a + 4*c = m*c - 16, 8 = -4*a - 4*c for a.
-4
Let j(x) = -x**3 + 8*x**2 - 6*x - 7. Let z be j(7). Solve 4*q - 20 = z, 3*t - 3*q = 6 - 15 for t.
2
Let k be (-4 - -5)*3 - 1. Solve 4*f = -k*n - 10, n = 3*f - 2*n + 21 for f.
-4
Suppose 5*z = 2*q + 9, -4*q - 4*z = z - 27. Solve -4*d + 16 = -4*k, -q*k = 12 - 3 for d.
1
Suppose 2*c - c - 6 = 0. Let q = -4 + c. Suppose -34 = -0*j - q*j. Solve 4*i = -4*f + 8, 0 = 4*f - 3*i + 2*i + j for f.
-3
Suppose -k = 7*k - 40. Solve 2*u + 4*z + 0*z = 8, -k*z = -5 for u.
2
Let x be (-1)/(-1)*(1 + 3). Suppose -3*g = -x*g + 4. Suppose -p - g*p = -15. Solve 0 = 3*y + 2*o + p, 4*y + 2*o = 4*o - 4 for y.
-1
Let a = 5 - 3. Suppose -a*m + x = -8, -4*x = -4*m - 5*x + 22. Suppose f + 6 = 2*w + 1, 0 = -w - 4*f - 2. Solve q + w = b, 3*q - b + m*b + 27 = 0 for q.
-5
Let n(d) = d + 5. Let k be n(5). Let z be (8/k)/((-5)/(-25)). Solve 0 = -2*i - z*a + 10, 3*i - 4*a = -0*i + 15 for i.
5
Suppose h - 2*h - 2*p = -118, 5*h = -5*p + 610. Let f = -84 + h. Suppose 2*s - 3*k - 2*k + 9 = 0, -2*k + f = 4*s. Solve 5*o = 3*g + 6, 2*o = -4*g - 0 - s for o.
0
Let u = -12 - -20. Let m be (-2)/u - (-303)/12. Let t = m - 17. Solve -g + 4*r = -t, 1 = -5*g - r - 1 for g.
0
Let g = 14 - 20. Let y = g - -8. Suppose 402*o = 411*o - 144. Solve -3*u - o = -2*a, 0*u = -3*a + y*u + 14 for a.
2
Suppose 4*z + 6 = -3*q, 3*q - 2*z = 6 + 6. Solve 0*w = 5*l + q*w + 23, -5*l + 2*w = 7 for l.
-3
Let b = 87 - 83. Solve -b*o + 24 = -0*o + 5*p, -5*o + 21 = 4*p for o.
1
Let r be (19/2)/((-3)/(-6)). Solve 5*q = 15, 0*d + 5*q = d + r for d.
-4
Let k = 10 + -7. Let s be 8/(-3)*(0 + k). Let j = -5 - s. Solve q + j*q - 3 = -3*u, 0 = 5*u - 25 for q.
-3
Suppose 4*y + 3*r - 35 = 0, y = 2*r + 2*r - 15. Solve y*k + 21 = 2*d, 4*k + 7 = -2*d + 1 for k.
-3
Suppose 8*k - 3*k = p - 24, -3*p = 3*k. Solve 5*q - 14 = -p*s + 2*s, 2*s - 10 = -4*q for q.
4
Let h = 90 - 45. Suppose -v + h = 4*v. Let x = v + 12. Solve 5*t + 3*c - 7 + 29 = 0, -x = 5*t + 4*c for t.
-5
Suppose -4*o - f = -33, -6*f + 27 = o - 2*f. Suppose -2*k = -c - 2, -3*k + 4*c + 21 = o*c. Solve -2*u = -2*v, -2*v + 0 = -k*u - 3 for v.
-3
Suppose 3 = 3*i, c = 2*c - 3*i - 2. Solve 0 = 2*q - 6, -g + 5*q - c = 3*q for g.
1
Suppose 0 = 4*v + 5*j + 106, 4*j