w for w.
-4
Suppose 2*h = -4*h + 24. Let j be (2 - 3)/((-1)/(-4)). Let q = j + h. Solve 5*b + 34 = w + 9, 2*b - 4*w + 10 = q for b.
-5
Suppose -4 = -4*k + 3*k. Let c be (-58)/(-7) + k/(-14). Solve 3*o + 0 = -4*a + c, 6 = 3*a for o.
0
Suppose h + 6 = -0*h - 3*x, -3*h + 5*x - 18 = 0. Let c be 40/18 - h/(-27). Solve -c*q = -5*q - 5*u + 26, 3*q - 4*u = -10 for q.
2
Suppose -5*m = -2*m. Let q(r) = 2*r - 3. Let c be q(3). Let w be c/((-3)/(-2)) - 2. Solve 5*k + 3*p + 8 + 12 = w, -k + 3*p + 14 = m for k.
-1
Let s(n) = -n**2 + 9*n + 26. Let o be s(11). Solve y = -3*c + 2, c + 2*y = -c - o for c.
2
Suppose c + 2*c = 39. Suppose n + r - c = 3, n = -2*r + 18. Solve 5*v = 4*l - n, v - 2 = -4 for l.
1
Let u(q) = q + 10. Let v be u(0). Suppose v + 7 = b. Suppose -2*t + b = -0*t - 3*s, -t = -3*s - 13. Solve o = 3*f - 8*f + 10, -3*o - t*f + 19 = 0 for o.
5
Let p = -7 + 10. Suppose 0*m + 12 = 2*a + p*m, -5*a + 3*m = 12. Solve 4*f - 9 = 2*f - k, a = -5*f + 5*k + 15 for f.
4
Let o(r) = -r**3 + 28*r**2 - 25*r - 51. Let w be o(27). Solve 20 = -4*a + 5*z, z = -w*z for a.
-5
Suppose -5 = 5*a - 6*a. Solve -a*v - 26 = 2*q + 7, -5*q - 20 = 0 for v.
-5
Let b(v) = v - 3. Let k be b(6). Let z = 0 - 0. Suppose z*w = k*w. Solve x = -w*o - 4*o + 14, 4*x = -2*o for x.
-2
Let a = 6 + -4. Suppose 0*p + 38 = 3*w - 5*p, -w - a = 2*p. Suppose -u + w = 2*u. Solve -g = u, 2*g = 6*b - 3*b - 16 for b.
4
Suppose -31 = -3*c + 5*z, -c = -z - 4*z - 7. Let t be (-4)/c + (-32)/(-6). Solve -3*o + 2*o = 4*s + 7, t*s + 5*o = -20 for s.
-1
Let z be 50/(-15)*6/(-5). Solve z*j = -r - r, -3*r = -2*j + 16 for j.
2
Let i be (0 + -1)*(2 + -2). Suppose i = y - 1 - 3. Let v be -1 + 4/(-12)*-3. Solve v = g - 5*g + 4*d - 32, -y*g - 36 = -5*d for g.
-4
Let x(m) = m. Let g be x(3). Suppose -3*d + 5*j = 1, -g*j + 17 = 3*d + 2. Solve w - 3*n = 2*w + 3, w - d*n - 3 = 0 for w.
0
Let k = 1 + 4. Suppose -k*u = -30 - 5. Suppose u = -3*b + 19. Solve 0 = -4*n - q + 11, b*n - n = 2*q + 22 for n.
4
Let u = -14 - -16. Solve -u*p = -4*v + p + 20, -5*v = -4*p - 25 for v.
5
Suppose z - 2 + 0 = 0. Solve 0 = -5*q - 20, -5*f - 2 = -z*f - q for f.
-2
Suppose 0 = -3*f + 4*y + 31, -f + 3*y + 9 = -3. Let u be 4/(12/f - 0). Solve -4*g - 4*t = 28, 2*g + u = 5*g - 5*t for g.
-4
Suppose 0 = c - 221 + 43. Suppose -3*v - 4*a - 22 - 160 = 0, -3*v - 5*a = c. Let w be (-2)/(-7) + v/(-14). Solve 10 = w*j, 2*j + 11 = -5*n + 2*n for n.
-5
Suppose -4 = -5*f + 16. Solve -5*o - z = 1, 0 = -o + f*o - 5*z - 5 for o.
0
Suppose 5*x - 30 = 5*j, 0 = 3*x - 7*x - 5*j + 6. Solve 0*k + k + x = m, -3*m = -5*k - 16 for k.
-2
Let f(h) = h**3 - 2*h**2 + 3*h - 2. Let l be f(2). Suppose l*b - 7*b = 0. Solve -3*n + 4*a + 23 = b, 2*n - a = 4*n + 3 for n.
1
Let m = -3 + 6. Let u(f) = -f**3 - 3*f**2 + 2*f - 4. Let s be u(-4). Solve 4*q = -s*h + 28 - 4, -q - m*h = -14 for q.
2
Let g(r) = 2*r**2 + 4*r**2 + 1 - 5 - r**3. Let n be g(5). Solve -4*o = -3*h + 8*h - n, -h + 6 = -o for o.
-1
Suppose s + 3*q + 3 = 0, 4*q + 2 - 5 = s. Let r = s + 15. Solve 3*o = -o - 2*f + 28, 0 = -3*f + r for o.
5
Let a = -25 + 28. Solve -u - 2*k - 7 = 0, 3*u + 2 + 7 = -a*k for u.
1
Suppose 3*z + 17 = 4*c, -2*z + z - 2*c = -11. Suppose -20 = 5*o, 0*o = -3*k - 4*o - z. Solve -4*b + 3*f + k = 0, -2*f + f = -3*b for b.
-1
Let y be ((-2)/(-6))/((-1)/(-9)). Solve -5*k - 25 = f, y*k = -0*k - 4*f - 15 for k.
-5
Let z be (-7)/(-2)*16/14. Solve -5 = 3*m - g + 1, -4*g = -z*m - 16 for m.
-1
Let k = -21 - -21. Solve k*i + 5*i - 17 = 2*n, 4*n + 4*i = 8 for n.
-1
Suppose 9*q - 4*q = 15. Suppose 0 = q*y - 3. Let f be -1 + (0 - y) + 2. Solve f = 4*m - 7*m + o - 11, 0 = -3*m + 4*o + 1 for m.
-5
Suppose 3*u + 3*l = -0*l + 15, 4*u - 2*l - 14 = 0. Solve -u = 2*f + 4*a, 3*a - 6*a + 4 = -2*f for f.
-2
Suppose -22 = -4*w - 6. Suppose 23 = 5*b - 117. Suppose 8*o = w*o + b. Solve -r + 9 = -4*j, 5 + o = -5*r + j for r.
-3
Suppose 2*k + 16 = -5*r, k - r - r - 10 = 0. Suppose -3*q = -k*q - 5. Suppose 45 = 3*g - 0*g. Solve q*m - 4*z = -g, z = -4*m + 5*z - 12 for m.
-3
Suppose -5*u = -23 + 3. Suppose -u*z - 26 + 6 = 0, 5*q = 5*z + 55. Solve -8*t - 2*i = -4*t + q, t - 2*i - 1 = 0 for t.
-1
Suppose -4*a + 47 + 61 = 0. Suppose 0 = -5*n + 2*m + 30, 0 = -5*n + 3*m + a - 2. Solve -5*d + s = 16, -n = -3*d - s + 6*s for d.
-4
Let p(v) = -v**3 - v**2 + v - 1. Let m be p(1). Let j be -1 - (m - (-2 + 1)). Solve -2*g + 2*c - 16 = 3*g, -2*g + 3*c - 2 = j for g.
-4
Let d = -78 + 53. Let n be (-390)/d + (-2)/(-5). Solve q = 2*f - 6, -q - 4*f = -5*q - n for q.
-2
Let p be 2 + 3/(-2)*-2. Suppose -p*y = 5*o - 55, -y - 5 = -0*y. Solve 0 = -0*j + 2*j - 4*h - o, -5*j - 2 = 4*h for j.
2
Suppose q - 10 = -4*q. Solve 0*c - 2 = q*c, 4*r + 4*c = 12 for r.
4
Let m(d) = -d**3 - 10*d**2 - 19*d - 10. Let y be m(-8). Solve 3*w - s + 7 = 0, w = 3*s + 1 - y for w.
-1
Suppose 0*f = -f + 19. Suppose 4*d = -f + 3. Let t be 1/(-2)*d/2. Solve -2*i + t + 7 = -2*n, -2*n = -3*i + 7 for n.
-5
Let w(r) = r**2 - 3*r + 2. Let c be w(3). Suppose 0 = -j, 0 = -0*a + 4*a + c*j + 4. Let s be 5 + (-1)/a + -2. Solve m - 4 = 0, -s*g + 5*m = 2 + 26 for g.
-2
Let l = -42 + 44. Let z be (2 - 2)*1 - -3. Suppose 5*y = -2*v + 20, 0*y - 5*v = 2*y - 29. Solve h - l*x = 3*x - 4, 5*x - y = z*h for h.
1
Let z be (34/(-51))/((-4)/222). Suppose 5*r + z = 3*f, 2*f - 26 = 5*r + 7. Solve -j - 6*v + 2 = -2*v, -f*j = v - 8 for j.
2
Suppose -11*a + 10*a + 5 = 0. Solve 0*i - 14 = -2*i + a*s, -5*s = -3*i + 16 for i.
2
Suppose -1 = o, 0*o + 13 = 3*c - 4*o. Solve -j - c = -0, -5*j - 17 = a for a.
-2
Let l = 23 + -34. Let w = l - -16. Suppose 13 - 3 = w*k. Solve 5*t = k*v - 18, 3*v + v = -3*t + 10 for t.
-2
Let d = 128 + -118. Solve 19 = h - 0*j - 5*j, 2*j + d = h for h.
4
Let n be (1 + -2)*4/(-2). Suppose 0 = -4*o + n*h + 20, o + 14 = 3*o + h. Suppose a - o*a = -25. Solve 5 = 3*s + 5*d, 2*d - 23 = 4*s + a for s.
-5
Suppose -z - 30 = 4*z. Let b be (6/(-5))/(z/20). Suppose 5*f - m - 136 = 0, f + 2*m - 43 = -7. Solve -5*g - 26 = -b*p - 0*p, -4*g = -5*p + f for p.
4
Suppose 3*z - 3 - 6 = 0. Solve m + 2 + 3 = 4*x, -m + 3*x = z for m.
3
Let k be ((-9)/27)/((-2)/(-30)). Let z = 8 + k. Suppose 5*d + o = z*d + 1, 4*d - o = -1. Solve -5*s + f - 5 = d, 2*s - f + 3 = -s for s.
-1
Let v(h) = -h**3 + 12*h**2 - 9*h - 4. Let p be v(11). Solve 2*m - m = -1, -4*q + p = -2*m for q.
4
Let u(h) = -2*h - 3. Let m = -13 - -20. Let k(i) = -4*i - 7. Let o(f) = m*u(f) - 3*k(f). Let g be o(-4). Solve 2*j + 4*a + 2 = g, 4*a = 0 for j.
3
Let k(n) = n**2 - n + 2. Let m(j) = j**3 + 2*j**2 + 2*j + 1. Let z be m(-1). Let r be k(z). Solve -4*g = 4, 1 = r*v - 2*g - 3*g for v.
-2
Let i be 3 - (0 + (-8)/(-4)). Solve -3*z - i = -d - 3, d + 8 = -3*z for z.
-1
Let v(y) = -y + 10. Let l be v(8). Solve -b - b = -3*q - 13, 2 = -l*b for q.
-5
Suppose -4*k + 31 = 31. Solve -5*t - 13 = 4*v + 16, -5*t - 5*v - 30 = k for t.
-5
Suppose 4*a = 11 + 5. Solve 6 = 2*r, a*r - 8 = -4*q - 0 for q.
-1
Suppose 2*u + 0 = 2*t - 30, 4*t + 3*u = 95. Let g(m) = 6*m - 16. Let c be g(6). Solve 0 = -3*i + 4*r + 7 + t, i - 5*r - c = 0 for i.
5
Suppose f - 45 = -4*f. Suppose 2*t = -4*i + 18, 2*i + 5*t + f = i. Solve 4*s - 4*m = -12, 2*m = 3*s + 4*m - i for s.
0
Suppose -5*x + x = 0. Let l = -14 + 19. Suppose x = -l*b - 2*z + 34, 2*b = 5*b + 4*z - 12. Solve 0 = 4*r + b, -5*o - 3*r + 2*r + 13 = 0 for o.
3
Let i(r) = -r**2 + 7*r - 2. Let m be 30/4*(-4)/(-5). Let z be i(m). Solve 4 = -z*s + 12, 2*l - 2*s + 8 = 0 for l.
-2
Suppose 2*b = 6*b - 24. Suppose 4 = 2*y, -4*y = 5*l - 11 - 27. Solve 0 = 3*i - b, -3*i + l*i = -4*j + 26 for j.
5
Let o(x) = 3*x - x - 1 + 0*x. Let i be o(3). Suppose -2*w - 2*b = 0, 31 = 2*w - 5*b + 10. Solve 9 = -w*y - i*t + 3, -4 = 2*y + t for y.
-2
Let d be 3/(-2)*(-8)/6. Let h = 37 + -24. Suppose 0 = 3*q - h - 2. Solve q*v = d*o - 29, -o - v + 12 = -3*v for o.
2
Let h(g) = -7*g**2 - 3*g - 4. Let x(y) = 7*y**2 + 2*y + 3. Let f(z) = 2*h(z) + 3*x(z). Let i be f(-2). Solve 5*s + 20 = l - 7, i = 2*l - 5*s for l.
2
Suppose -2*t - 9 = -19. Solve -3*s = -3*c - 15, s + t*c + 1 = -2*s for s.
3
Let u(f) = f**2 - 2*f - 4. Let x be u(4). Solve 3*v + 3*a = -24, -v + 4*a = 2*v - x for v.
-4
Let a = -143 + 145. Solve -6 + a = 2*o + 2*r, 4*r + 29 = 3*o for o.
3
Let v = 8 - 8. Solve -4*c + 8 = -4*f, v = 4*f - 3*c + 3 + 1 for f.
2
Suppose -d = -0*d + 3*s,