 for w.
4
Let n = -625 + 627. Solve z = -3*y + 1 - n, 2*z = 2*y - 2 for y.
0
Suppose 119*j = 120 + 951. Let z = 0 - 0. Solve c + j = -3*d, c + 3 = -d - z for c.
0
Let n(b) = -b**2 + 27*b + 167. Let p be n(32). Solve y + 11 = 5*w - 2, 3*w - p = y for w.
3
Let h(u) = 21 - 46 + 17*u - 2*u**2 + 20. Let g be h(8). Suppose 4*a - 61 = 3*k, 5*a - 3*a = -k + 33. Solve -g*x - 4 = -4*q, 0*x - a = 4*x for q.
-2
Suppose -72*z + 2 = -502. Solve q - 3*q + z = -p, 0 = 4*p + 12 for q.
2
Let p = 4139 - 4137. Let c(t) = t**2 - t + 3. Let a be c(0). Solve p*v + 0*l - 4*l + 14 = 0, -3*l + 6 = a*v for v.
-1
Let s = -975 - -980. Solve -5*f - 3*a + 13 = -0*a, -4*f = -3*a - s for f.
2
Let i = 46 - 44. Let w = -6 + 10. Solve 3*n = -3*u - 24, w*n - 4*u + 6 + i = 0 for n.
-5
Let r be 3920/960 - (-1)/(-12). Solve -4*f + r*g = 0, 5*g + 5 + 5 = -5*f for f.
-1
Let c be ((-4)/(-12))/((-2)/(-138)). Solve k + c = b + 6*k, 2*b = 4*k - 24 for b.
-2
Suppose -3 + 9 = 3*c. Let z be 207/7 + (-42)/(-98). Suppose -z - 18 = -4*t. Solve -3*s - c*r = -6, s = 5*s - 4*r + t for s.
0
Let h be -4 - (4 + -9 + -1). Solve -h*n - 20 = -3*c, 2*n - n = 2*c - 12 for n.
-4
Let g be 16/(-20)*5/(-2). Suppose 11 = 2*t + g*y + 3, 4*t = 4*y. Suppose 0 = 3*u - 0*u - 3. Solve o = -5*d - 5, -d + 5*o - u = t*o for d.
-1
Suppose 5*l = 0, -d = 3*l - 6*l - 3. Solve 4*r = -d*y + 27, 0 = 4*y + 3*r + r - 32 for y.
5
Suppose 5*j - 22 = -3*m, 2 + 0 = -2*m. Suppose -h + 0*h + 3 = 0. Suppose -h*c + 4 + 5 = 0. Solve j*f = -0*f - c*l - 35, -l = 5 for f.
-4
Suppose 5 = 2*l + 2*b + 1, 0 = 2*l + 5*b - 10. Let p(t) = -56*t**3 - t + 1. Let j be p(1). Let f = 58 + j. Solve l = k - 5, -k = 3*o - f*k - 10 for o.
5
Let u be 1/((7/21)/1). Solve y - u*j - 18 = 0, -j - 1 + 5 = 3*y for y.
3
Let x(y) = -y + 11. Let u be x(9). Suppose 0 = -h + t - 1, 4*h = -0*h + t + 8. Solve 2*z = 2*c + 6 - u, 20 = -h*c - 4*z for c.
-4
Let f = -3 - 25. Let n = f + 32. Solve 4*q = n*d + 4, -1 = 4*q - d + 2*d for q.
0
Suppose -2*l - 2*v = -20, 5*l = -v - 2 + 32. Solve 8 = -4*j, w + j + l = 8 for w.
5
Let a be -1*(3 + 32) - -1. Let v = -34 - a. Solve -i - 1 = 0, n - 4*n + 4*i + 19 = v for n.
5
Let l(s) = -s**3 + 4*s**2 + 4*s + 10. Let m be l(5). Suppose 4*y + 4 = m*y. Solve 0 = 2*x + 3*x - y*z - 28, -x + 6 = -z for x.
4
Let h = 209 + -204. Suppose -s - 2*d + 1 = -0*s, 5*d + h = 0. Let v = -1 - -6. Solve 18 = -2*w - 4*f, 3*w + v*f + 19 = s*f for w.
-5
Let v(w) = w**3 + 19*w**2 - 2*w - 28. Let j be v(-19). Suppose u - j = c, 0 = 3*u + 2*c - 8 - 2. Solve -f = -5*n - 2 - 3, -2*n = -2*f - u for n.
-2
Let b = -101 - -170. Let x = b + -66. Solve 5*u - 3*g = -0*g - 17, -x*g - 11 = 2*u for u.
-4
Let s(h) = 2*h**2 - 8. Let g(m) = -1. Let j(b) = -2*g(b) + s(b). Let o be j(3). Solve 2*i + 12 = -4*v, -2*i - v + o = -3*v for i.
2
Let u be 236/6 - (-6)/9. Let z(v) = v + 7. Let m be z(-7). Suppose -6*n = -m*n. Solve -11 = -3*y + 4*y - 2*d, n = 5*y - 5*d + u for y.
-5
Let h = 95 - 93. Suppose -h*p - 30 = -58. Let f = 1 - 1. Solve f = -3*b - 5*m + 25, -b - b = 2*m - p for b.
5
Suppose -v - 8 = -2*r + 12, -2*r = -3*v - 20. Let n = -6 + r. Solve 0*q + 2*q + 3*y + 22 = 0, -4*y = -4*q - n for q.
-5
Suppose -8*h = 4*h - 48. Solve -8 = -o + 5*n, h*o + 0*o = -5*n - 18 for o.
-2
Let z be 5/(-6)*1*(2 + -8). Solve 2*h = 2*y + 2*y + 8, 0 = -4*y - z*h - 36 for y.
-4
Suppose -3*t + 2*p = -0*p - 11, t = p + 4. Suppose -19 = -3*f + j, f + 2*j = t*f - 6. Solve -5*v = 4*n - 3*v + f, 3*n + 4*v = -16 for n.
0
Suppose -14*k + 53 = 11. Solve v - 3*a - k = 1, 3*v - 4 = a for v.
1
Let c be 132/(-18)*9/(-6). Let m = 14 - c. Solve 3*l = -3*v, m*l - 5 = -4*v - 3 for l.
-2
Let y(z) = 24*z**3 - 2*z**2 + 2*z. Let h be y(1). Suppose f = 4*f - h. Solve 4*d = 2*v - f, 9 = d - 5*v + 29 for d.
0
Let t(p) = -p**3 + 8*p**2 - 5*p - 9. Let l be t(5). Let x = -38 + l. Solve -4*a + x*i - 1 = 0, -i - 2*i = 3 for a.
-1
Suppose -5*t + 49 = -41. Let r be 3/18 - (-87)/t. Solve 4*l - 22 = 3*p, 4*p - r*l + 1 + 27 = 0 for p.
-2
Suppose r = f - 3*f + 9, -r + 5 = 0. Solve -f*h = -3*w + 13, -3*w = 3*h - 4*w + 9 for h.
-2
Suppose 5*b - 3*h - 90 = -36, b = -5*h - 6. Suppose -80 = -b*x + 5*x. Solve w = -0*n + 5*n + 10, -3*w + 5*n + x = 0 for w.
5
Let m = -1 - -11. Let r be 21/(-5)*(15 - m). Let b = r + 36. Solve 0 = 3*a + 9, -2*a = -2*g + 3*a + b for g.
0
Suppose 4*o - 12 = 4*d, 0 = -4*d - 5*o - 3 + 18. Suppose 3*s + s - 36 = d. Let g = s - 4. Solve f - g*x - 2 = 1, -4*f - 5*x + 12 = 0 for f.
3
Suppose 15 = 11*m - 7. Solve -2*u = m*v, -3 = -v + 5*u + 9 for v.
2
Suppose -225 - 13 = -7*o. Let w be ((-2)/(-3))/(2/12). Suppose h + 10 = d, w*d - o = d + 4*h. Solve -q = -2*i - d, 21 - 1 = -4*i for q.
-4
Suppose 3*p = 5*j + 22 + 23, -2*p = -3*j - 31. Suppose -x - 5*r = -5, 4*x + r - p = 4*r. Solve -x*t - 2 = l, -3*t = -2*l - 3*l + 18 for t.
-1
Let a(c) be the first derivative of -c**4 + 2*c**3/3 + c**2 + c + 12. Let n be a(-1). Solve 0 = 4*m - 5*z - 41, 0 = -n*m + z + 16 + 9 for m.
4
Suppose -2*c - 6 = 0, 5*r - 4*c - 31 = -2*c. Solve -9 = 4*y - 3*g, y + r*g - 1 - 14 = 0 for y.
0
Suppose 4*m + 77 = 93. Solve -2*w + 4*g = 10, -m*w - 2*g + 0*g + 30 = 0 for w.
5
Let z(r) = -r**3 - 3*r**2 + 4*r + 4. Suppose 0 = 2*d - 8, -4*f - 4*d + 7*d - 28 = 0. Let p be z(f). Solve 5*a = -x + 9, 0 = -p*a - x + 5 + 2 for a.
2
Suppose -4*v - 19 = b - 6, b + 29 = 4*v. Let p be (-24)/b*(3/2 - -2). Solve -4*x - 2*m = 22, p*x = 6*m - m + 13 for x.
-3
Let s(r) = 9*r + 1. Let h be s(3). Let p = h - 6. Suppose p = 10*v - 8*v. Solve -4*z + v = -n, -2*z + n = -3*n - 16 for z.
2
Let b = 43 + -13. Let p = b + -12. Solve d + 2*d - 6 = 3*w, -5*d - 2*w - p = 0 for d.
-2
Suppose -3*w - 4*a = -5*w - 16, -3*w - 2*a = -16. Solve -g - 9 = 4*y + 7, w*y + 6 = 0 for g.
-4
Let h = -87 + 84. Let x be (7 - (-3 - h) - 3) + -4. Solve -25 = -s + 5*f, x*f - f = s + 5 for s.
0
Suppose -5*u = -12 + 2. Suppose 0 = -u*d - d. Solve 0 = -5*t + 20 - d, -3*o - 2*t - 4 = 0 for o.
-4
Let n(o) = -o**3 + 9*o**2 + o - 19. Let v be n(8). Let h = v - 43. Solve 0 = -3*y - 15, -2*m + m - h = y for m.
-5
Let w be 1/(1 - (-1)/(-2)). Let p be 15 - (-5 - (-9 + 1)). Let j be ((-8)/((-32)/(-18)))/((-9)/p). Solve -w*x - 5*c - 9 = -j*x, 3*x + 2 = -5*c for x.
1
Let j(u) = 5*u + 39. Let x be j(-8). Let o be (x/(-3))/(3/36). Solve 0 = -2*y + 4*g - o, 5*y + 0*g = 5*g - 5 for y.
0
Let b be -1 - -4*(3 + -5). Let w(t) = -t**2 - 10*t - 7. Let f be w(b). Solve -2*d + g - 16 = -f, -5*g + 25 = -d for d.
-5
Suppose -4*q + 0*u - 28 = -4*u, -5*u + 25 = 0. Let x = 2 - q. Suppose 2*t - 4*r - 4 - 10 = 0, -4*t + 22 = -5*r. Solve y + 10 = -t*m, x*y = -5*m + y - 18 for m.
-3
Suppose 83*u = 112 + 2129. Solve -5*n = -4*w, u = 3*n + 4*w - w for n.
4
Suppose -w = -3 - 0. Suppose -3 = -w*d + 2*d. Solve 5*j + 4*n + 37 = 8*n, -4*n - 3 = d*j for j.
-5
Let x = -426 + 428. Solve 2*h = x*q - 16, 0*q - 3*q - 2*h + 9 = 0 for q.
5
Suppose 3*p - 5*p = -10. Solve -2*i - 3*d - 31 = -7*i, 5*d - 15 = -p*i for i.
5
Let x = 1094 + -1081. Solve 0 = 5*t + 15, -2*t - x = -2*s + 1 for s.
4
Suppose 0 = 11*x - 22*x + 44. Solve 2*a - 22 = x*f, -4*a + 0*a = -2*f - 20 for a.
3
Let s(j) = -2 - 2*j - 4*j + 0*j + j - j**2. Let w be s(-2). Let i be 1/(-4) - (-17)/w. Solve z = i*r - 3, 3*z = -r + 5 - 1 for r.
1
Let g = 17 + -30. Let v be (-67)/g - (-12)/(-78). Solve 4*j + 5*h + 5 = 0, 4*j - 14 = v*h + 31 for j.
5
Suppose 5*p + 52 = 52. Let o be p/(-1) + (-4)/(-2) - -9. Solve -5*g = -4*k + o, -4*k - 6 = 2*g + 4 for g.
-3
Let m be (378/(-45))/(12/(-30)). Solve 0 = d - 4*l - 8, -2 = -5*d + 3*l + m for d.
4
Let t = -6 - -11. Suppose 28 = 12*n - t*n. Suppose -6 = -2*g - 0*g. Solve 2*s = v - 1, -4*s + g*v = n*v + 17 for s.
-3
Let g(n) = n**2 - 7*n - 19. Let z be g(10). Suppose -8*q = -z*q - 15. Let d(v) = -v**2 - 4*v + 5. Let b be d(q). Solve 25 = 5*u - b, 0 = -5*h + 2*u - 20 for h.
-2
Let m = -1676 - -1681. Solve -5*y + 30 = -3*n, -m*n + 2*n - 21 = -2*y for y.
3
Suppose -6*g + g - 170 = -f, g + 3*f = -34. Let q = -29 - g. Solve -2*y - 17 = 5*t, -2*t + 17 - 47 = -q*y for y.
4
Suppose -9*s + 2080 = 4*s. Let v be ((-6)/5)/((-12)/s). Solve -2*u + 8 = -t, v = 4*u + 3*t - 10 for u.
5
Let f(y) = y**2 + 10*y + 9. Let x be f(-10). Suppose m = 11 - x. Solve l + 3*b = 16, -m*l - b = -0 - 7 for l.
1
Let m = -202 - -223. Solve 0 = -3*z - 4*s + m, -6 = -z + 2*s - 3*s for z.