-1567. Solve o = s + 3*z - 1 - 1, z = 0 for s.
2
Let w be (-14)/(-63) - (-428)/18. Suppose 0 = h + 4*h + 60. Let i(d) = -d**3 - 13*d**2 - 13*d - 8. Let z be i(h). Solve r - z*r = -k + 13, 4*k - w = 5*r for r.
-4
Let l = 185 + -199. Let f be (0 - 1/(-7)) + 2/l. Suppose 0 = -5*b - 5*h + 33 + 2, -3*h = -4*b + 49. Solve -b = 4*m + 5*i, f = -2*m + 3*m - 2*i - 4 for m.
0
Suppose 30*v - 9*v + 5*v = 0. Solve -5*g - 10 = 0, 3*s + v*g = 2*g - 5 for s.
-3
Suppose -2*f - 4*f + 3*f = 0. Solve -r + 4 = f, -u + r + 0 = -1 for u.
5
Let c = -59 - -66. Suppose 0 = c*a - 2*a - 15. Solve -a*o + 5*j - 10 = 0, -13 = -4*o - j + 12 for o.
5
Suppose 3*h + t + t - 4 = 0, -2*h + 16 = -2*t. Solve -1 = -m + h*a, -4*m + 5*a = 3*a - 4 for m.
1
Let j(k) = k**2 + 3*k - 18. Let m = -66 - -60. Let d be j(m). Solve d = -p + 5*p + 5*s + 8, -2*p - 4 = 3*s for p.
-2
Suppose -2*j = -3 - 1. Suppose -j*m = -m. Suppose 19*x - 57 - 30 = -30. Solve m = x*l - q + 18, q + 14 - 2 = -3*l for l.
-5
Let t = 39 - 27. Suppose -4*r + t - 4 = 0. Suppose 0 = 5*z + 6 + 14, 0 = -4*k + r*z + 52. Solve 0 = -7*p + 4*p - 5*q + 28, -4*p = -3*q + k for p.
1
Let g be -56 - (2 + 2) - (3 - 3). Let r = 62 + g. Solve -5*h - 3*t + 4 = 0, -h - r*h + 6 = 3*t for h.
-1
Suppose 4*d = -2*m - 96, -3*d + 87 = -2*m - 4*d. Let y be (-1)/(m/10 - -4). Let p = 12 + y. Solve 4*x + 4*t = t + p, -3*x - 3*t + 15 = 0 for x.
2
Let s be 3 - (-4)/(-4) - -1. Suppose 2*q = 3*r - 16, s*r + q + 6 = 4*r. Solve r*g = 5*g + 5*y - 8, g = -3*y + 4 for g.
-2
Suppose 23*s + 12 = 29*s. Suppose -2*n - 4*k + 28 = 2*n, 0 = s*n + k - 10. Solve 8 + 24 = -5*i + n*a, -a = 2*i + 4 for i.
-4
Let x be (3 + -3)*(-45)/(-225). Solve v - 5*f - 22 = x, -2*f - 20 + 4 = 2*v for v.
-3
Let z(g) = 17*g. Let i be z(-1). Let t = i + 6. Let o = t - -13. Solve 5*v = -3*c + 6, -v = -c - o*v + 2 for c.
2
Suppose 0 = -5*k - 4 + 14, -5*k = 4*q - 38. Let l = -1 - -3. Let w(c) = c**2 + 4*c + 1. Let v be w(-4). Solve 2*y - 3*b + v = 0, l*y = -3*b - 0 - q for y.
-2
Let m be ((-4)/(-2))/4*(6 + 0). Solve a + a - 5 = -5*p, 4*p = m*a + 27 for a.
-5
Suppose -16*w - 425 = -633. Solve -5*q = 3*g + 45 - w, 0 = 2*g + 3*q + 20 for g.
-4
Let s(t) = 16*t**2 + t - 2. Let z(q) = q**3 - 4*q**2 - 8*q + 16. Let w be z(5). Let g be s(w). Suppose -g = -n + 2. Solve -3*b = -d - n + 4, b = -4*d for b.
4
Let b be 3 + (-3)/(-2 + (-148)/(-80)). Suppose -21 = -11*i + b. Solve 2*t - i*l + 3*l = -6, -3*l - 32 = 4*t for t.
-5
Let c = 553 - 544. Solve -5*k - 26 = 2*d + c, -k + 15 = -4*d for d.
-5
Let g be 6/(19/5 - 4). Let d be -3*(-5)/g*0. Solve -4*s + 3*h + 2 + 3 = 0, d = s - h - 1 for s.
2
Let j be 2/(1 + 6/(-8)). Suppose -5*z = -z - j. Suppose 5*h = 3*n - 26, -12 = 4*n + z*h + 3*h. Solve 2*a - 4 = 4*b - 12, 0 = n*a - 2*b for a.
4
Let c = -74 - -66. Let r be (0 - -1)*(3 + (c - -5)). Solve -3 = 4*y - 5*z, r = 3*y - 6*y + 4*z - 3 for y.
3
Suppose y + 6 = 2*f, -3 + 2 = y - f. Suppose 4*b + 3*x = 23, 4*b - 5*x = -y*x + 3. Let t = 2 - -1. Solve 6 = 3*q - 4*z, -q = -0*z + t*z - b for q.
2
Let h = 875 - 866. Solve -f - 3 = -5*j, -4*f - h = 5*j - f for j.
0
Suppose -5*d - 14*d = -760. Solve 4*v = -4*l - d, 5*v = 4*l - l - 10 for l.
-5
Let z = 119 + -124. Suppose 0*p - 2*p = 6. Let j = p - z. Solve -5*i + 15 = a, a - 3*i = j*i - 25 for a.
-5
Let z(w) = -2*w + 58. Let n be z(27). Solve 0 = 3*m - 2*l + 6*l - 11, 3 = n*m + 3*l for m.
-3
Let i be ((-3 + -3)*-1)/6. Solve -2*x - i = q, -3*x = x for q.
-1
Let r = 144 - 95. Let z = 51 - r. Solve 4*d - 3*m - 23 = 0, z*m - 2 = -12 for d.
2
Suppose -n - 122 = 4*r, -r - 22 = -n + 11. Let p = r - -35. Solve 3*h = -3*w - 3, -p*h = 6*w - 4*w - 2 for w.
-3
Suppose -3*p + 2*p + 8 = -o, 0 = 4*p - 2*o - 34. Let n(z) = z**3 - 9*z**2 - z + 11. Let s be n(p). Solve 6 = -4*g - 3*j, -7*g = -s*g - 2*j - 4 for g.
0
Suppose 0 = -13*z + 9*z + 24. Suppose z*g = -0 + 12. Solve 2*s = -g*s - x, 5*x + 24 = 4*s for s.
1
Let z(j) = 4*j - 56. Let i be z(13). Let x(k) = 4*k + 16. Let a be x(i). Solve -4*l = -a*l - t + 17, 5*l + 10 = 5*t for l.
-5
Let t(h) = h**2 + 6*h - 3. Let r be t(-4). Let c = 15 + r. Suppose -3*d = -2*u + 33, -u - u + c*d + 32 = 0. Solve -6*m + 11*m + 4*i + u = 0, -m = -i for m.
-2
Suppose t + 3*t - 20 = 0. Let x = -41 + 76. Solve -2*z + x = t*k, 3*z - k - 2*k = 0 for z.
5
Suppose 0 = 3*o - 0 - 3. Let k(f) = -f**2 + 10*f - 19. Let s be k(5). Suppose 25*y - 27*y = -s. Solve y*n - h + 5 = o, 2*h = -5*n + 8 for n.
0
Let f(b) = -b**2 + 5*b - 3. Let d be f(5). Let l = -8 - d. Let s be ((-4)/l)/(22/55). Solve s*y = 2*g - 2, -5*y = 5*g - 0*y - 35 for g.
4
Let f = 1 - -6. Suppose g - 5 = -3*c + 8, g = 2*c - f. Suppose 5 = 5*r, -r + 2*r - 7 = -2*o. Solve -2*z + c*p - o = z, z + 5*p + 20 = 0 for z.
-5
Suppose w - 6*w = -25. Let b(f) = -f**3 + 4*f**2 - 2*f + 7. Let p be b(w). Let a = p + 56. Solve 3*m - 10 = -0*m - 4*u, 5*u = 4*m + a for m.
-2
Let f = -282 + 147. Let i be (-1)/(((-9)/f)/((-1)/3)). Solve 0 = m - i*v - 8 - 17, 0 = -3*m + 4*v + 20 for m.
0
Let j = 1 - -5. Let l be 5*j/4*(-22)/(-33). Solve 0 = f - l*y + 2*y, -2*f = -3*y - 3 for f.
3
Let q = -1 - -3. Let w be 38/10 - 8/10. Suppose -5*k - w*o - 4 + 29 = 0, 3*k - 1 = o. Solve -2*m = -q*n + k, -2 = -m - 3 for n.
0
Let i be (10 + (-3 - 7))/(-1). Solve 5*z = -5*j - 15, i*z + 5*z + 2*j = 0 for z.
2
Suppose 21 + 14 = 5*a. Let k be 9 + -12 + 2 + a. Suppose j + 11 + k = 2*r, -4*r - 5*j = 1. Solve 3*l - 9 = b, -3*b + r*b + 1 = -4*l for b.
-3
Let w be (-1)/1*-1 + 1. Suppose 62 = -0*k + w*k. Suppose -4*i - 2*g = 3*g - 27, 2*i + 3*g = 13. Solve 0 = -4*o + j - i, 4*o + k = -o - 4*j for o.
-3
Let p = 17 + -15. Suppose 2*b - n - 54 = 0, -b - p*n + 27 = -n. Let h = b - 23. Solve 0 = -0*t - 5*t + 25, -t + 5 = h*k for k.
0
Suppose -5*t - 4*z = -51 + 22, -2*t - 2*z = -12. Solve -3*h + 5 = -t*p, -33 = 5*h + p + p for h.
-5
Let w = 30 + -28. Suppose -27*z - 14 = -34*z. Solve -w*y = z*k, 7*y + 10 = 2*y + 5*k for y.
-1
Let a be (-1 - (-39)/27) + 5 + 760/72. Suppose 0 = -p + 5*h + 4, -2*p = -h - 10 + 2. Solve x = 3*z - p, -2*x - 2*x - a = 5*z for z.
0
Suppose 0 = 3*g - 7*g + 8. Let k be 20/(-14)*((-228)/608 + 274/(-16)). Solve 2*m + 8 + g = -3*u, -3*u + 5*m = -k for u.
0
Let l be (-1)/1 - (0 - 1). Let y(j) = j**3 - 13*j**2 + 27*j - 48. Let s be y(11). Solve 2*v - s*v - 5*k + 25 = l, 0 = 2*k - 2 for v.
4
Let d(i) = 2*i + 1. Let k(c) = -c**2 - 11*c - 9. Let l be k(-10). Let w be d(l). Suppose -w*s + 44 = s. Solve -4*x + 5*p + 3 - 34 = 0, -p + s = -2*x for x.
-4
Let f be 45/12 + -3 - 95/20. Let x be -3 + 13 + f - 2/1. Solve -2*l + t - 6 = 3, 0 = -5*l + x*t - 27 for l.
-3
Suppose -o - 2*z = -3*z - 18, -5*o - z + 72 = 0. Suppose 0 = 3*w + o, -4*k = -k + 4*w + 14. Solve -2*x - 4*q = 20, -x + k*q = x + 2 for x.
-4
Suppose -w + 3*i = 2, -w - 4*i + 9 = -3. Let r be 3 + -9*(-8)/(-12) - -3. Suppose r*v = w*v. Solve 4*g = 4*n - 4, g + 3 = -n - v*n for g.
-2
Suppose s + 3*s = -3*d + 170, 2*s - 274 = -5*d. Suppose 6*q = -12*q + d. Solve 4*m + 13 = g, m - 2*m - 13 = q*g for m.
-4
Suppose 1 = -2*l + 5. Suppose -4*m + 0*z + 12 = l*z, -2*m - 2*z = -2. Suppose 4 = -m*p + 14. Solve -4 + 0 = -p*w, 3*w - 15 = -3*a for a.
3
Suppose 2*f - 2*x = -3*f + 23, 4*f - 25 = -5*x. Suppose m - 2*u - 16 = -2*m, -5*m + 10 = f*u. Solve -m*j - 3 = -5*i + 3, 0 = i + 3*j - 5 for i.
2
Let j(v) = v**2 + v - 6. Let w be j(2). Solve w*k + i = 3*k - 7, -2*i - 6 = -4*k for k.
4
Let r(s) = -12*s**3 + s**2 - s - 1. Let y be r(-1). Solve -3*v + 6*v = -2*n - y, -3*n = -2*v for n.
-2
Let t(s) = -s**3 + 5*s**2 - 5*s + 4. Let o = 86 - 82. Let k be t(o). Let w(y) = -y**2 + 6*y - 1. Let p be w(5). Solve -p*h + 6*h = -b + 10, 5*h - 20 = k for b.
2
Let m be ((-104)/(-28))/((-3)/(-21)). Let r = m + -24. Solve 4*j = 5*v + 7, 2*v - r*j = -7 + 3 for v.
1
Let c(g) = 9*g - 196. Let j be c(22). Solve j*l = -5*b - 16, 2*l = 5*l + 4*b + 17 for l.
-3
Suppose -2*s - 4*n + 13 + 5 = 0, 4*n + 12 = 4*s. Solve 10*j = 15*j - s*z + 10, -z + 6 = -3*j for j.
-2
Let j(q) = -3*q**2 + 26*q - 1. Let i(b) = b**2 + 0*b**2 - b - 8*b. Let p(d) = -7*i(d) - 2*j(d). Let v be p(9). Solve 19 = -3*y - s, -4*s = s + v for y.
-5
Suppose -6*f = -5*f + 21*f. Solve -5*l + 5*v - 20 = f, 3*l - 4*v + 6 = -3*v for l.
-1
Let a be 0/((-3)/1) - (-15 + 13). Solve 4*l + 2*f = -22 + a, 2*f = 5*l + 16 for l.
-4
Suppose -66 = -4*y - 4*r + 18, 2*y - 