Let v = g + 15. Solve v*u - 9*u = 4*s + 21, s = u - 3 for u.
-1
Let m = -31 - -34. Suppose -2*c + 5*r = 3*c - 120, c + m*r - 8 = 0. Suppose -3*g + 8*g = c. Solve -24 = 4*z + 3*x, g*z + 0*x = 4*x + 4 for z.
-3
Let z = -1 + 5. Suppose 5*y + z*a = 25, 2*a + 5 = y - a. Let q be 1 + (-364)/(-56) + (-2)/4. Solve -y*h + 9 + q = -3*w, -40 = -5*h - 5*w for h.
5
Let f be -20*((-150)/(-800))/(3/(-4)). Solve 5 = -2*w - 5*x, -2 = -f*x - 17 for w.
5
Let l(t) = -t**3 - 2*t**2 + t - 2. Let d be l(-3). Solve -4*x - 4 = d*q, 3*x - 6*x - 23 = -2*q for x.
-5
Let u(f) = 4*f + 15 - 3*f + 5 - 7. Let v be u(-9). Solve -j - 8 - 5 = -2*g, g = v for j.
-5
Let c(s) = 3*s**2 - 7*s - 1. Suppose u - 23 = 5*z, -4*u = z - 5*z - 28. Let a be c(u). Solve 6*n + 2*k = 3*n - 9, -5*k - 20 = a*n for n.
-1
Let o(j) = 5*j**2 + 2*j. Let b be o(-1). Suppose -5*x + 100 = -0*x. Let u(p) = -4*p**3 - 1. Let s be u(-1). Solve -k + b*m = s*k - 5, -m = 3*k - x for k.
5
Let z be 1 - (-1 + 3 + -5). Let i = z + 3. Suppose 4*y = i*y - r - 93, 3*y + 2*r - 84 = 0. Solve 0 = -2*j + 6*j - 4*t, 0 = 5*j + t - y for j.
5
Suppose 0 = -22*a + 17*a + 10. Solve -4*s - 14 = 4*j - 3*s, 4*j + 8 = a*s for j.
-3
Suppose 0 = -r - 3*r - n + 43, r + 5*n + 13 = 0. Suppose 6*v + r = 10*v. Solve -f + 6*f = v*d + 27, 7 = 5*f + 2*d for f.
3
Let d = -19 - -24. Let w(j) = j**2 + 5*j - 4. Let z be w(-5). Let f = 9 + z. Solve d*a = -4*p + 13, -f = a + 3*p - 1 for a.
5
Suppose -5*r - 2*y = 2*y - 20, -2*r - y = -5. Suppose r = -23*u + 19*u + 20. Solve 3*p + 4*j = 2*p - 7, 2*p + u*j + 11 = 0 for p.
-3
Let r = -6 + 8. Suppose 4 = -r*w + 6*w. Let p be -3 + 3 + -1 + w. Solve -5*i = -p*i + 5*j + 25, 5 = 2*i - j for i.
0
Let t = -31 - -41. Suppose -2*w + 5*a = -21, 4*a + t = 3*w - 11. Solve -18 = -3*y + 3*i, -4*i = y + w*y - 16 for y.
5
Let f(u) = 17*u - 6. Let k be f(2). Suppose k*w + 16 = 32*w. Solve 2*q = -3*y + 14, w*q - 30 = -5*y - 6 for y.
4
Let x = -5 + 8. Suppose -b + 8 = r - x, 0 = r - 5*b - 35. Solve 0 = -3*v - 0*p - 3*p + r, 3*v - 15 = -2*p for v.
5
Let k(i) = -i**2 + i + 6. Let u be k(4). Let t be (9 + 102/(-18))/((-2)/u). Solve 0 = 3*r - 2*g + t, r + 4*r = -5*g + 25 for r.
0
Let t = -7 + 11. Suppose t*l + 18 = 26. Solve -14 = 5*m - 3*w, 4*m + 2 = l*m + 3*w for m.
-4
Let u = 43 + -43. Let g(p) = p**3 + p**2 - p. Let x be g(u). Solve 0 = -3*w - 5*b - 16, 2*b - 2 = -4*w - x*b for w.
3
Suppose -2*q = 3*q. Suppose -2*u + q*d = -2*d - 14, 2*u + 16 = -4*d. Solve 2*g - 6 = -4*y, -4*g + u*y - 8 = -0*g for g.
-1
Let w(y) = y**2 + 2*y + 16. Let q be w(0). Suppose 0 = u - 5*d - q, -d = u - 2*d - 4. Solve -2*k + 1 = -5*n, -2*k - 2 = -3*n - u for k.
-2
Let u(x) = -x**3 - 3*x - 2. Let n be u(-1). Suppose -3 = -s + n*g - 11, 0 = -4*s + g - 4. Solve 2*l + 13 - 5 = -4*a, s = 3*a + 6 for l.
0
Suppose -2 = -5*b + 8. Suppose -1 - 1 = -2*r. Suppose 3*k = -5*s + r + 7, k + s = 2. Solve -q = -0 + k, 3*w - b*q + 1 = 0 for w.
-1
Suppose 76 = -5*h + 91. Solve 3*x + 0*x + 5*l + 4 = 0, 5*l = h*x + 14 for x.
-3
Let y be 2/9*-1 + (-2595)/(-135). Suppose -y = 3*j - 31. Suppose -2*w - 4*s + 2 = -4, -3*w + 20 = -5*s. Solve 5*i - j*r + 5*r = 9, i = -w*r + 21 for i.
1
Let l(v) = -4*v**2 + 105*v - 12. Let n be l(26). Solve -i + n = -4*f, 3*f + i = -0*f - 14 for f.
-4
Suppose 35*f = -154 + 469. Solve 4*l + 19 = -5*k + 3*l, 2*k = l - f for k.
-4
Let o = -52 - -59. Let i = -4 + o. Solve h = 1, -i*z + 4*z + 7 = 2*h for z.
-5
Let r be (-47)/(-7) - 2/(-7). Suppose 2*u + 25 = 5*j - 1, -4*u + 2 = -j. Solve -r = c - n - u*n, 0 = 5*c - n - 21 for c.
5
Suppose 2*l + 154 = -4*a, -4*a - 54 - 97 = 3*l. Let q be ((-7)/28)/(2/a). Suppose -q*m - 36 = -9*m. Solve -4*x = -5*i + m, 0*x = 4*x - i + 5 for x.
-1
Suppose -2*j - 8 = -0*j + 5*z, 4*j + 16 = -5*z. Let g be 21/1 + 1 + j. Let l be g/10 - (-7)/35. Solve 3*r + 10 = 5*u, u - 5*r + 30 = l*u for u.
5
Suppose 5*x + 15 = -5*u, 0 = -2*u - 2*u - 2*x - 16. Let d be 5 - (-3 + u + 5). Solve 2*r - 3*v - 14 = 0, 0*v = -2*v - d for r.
1
Suppose 0 = a - 3*s - 107, 5*a - 4*s = 4*a + 105. Let i = 113 - a. Solve -2*m + 10 = i, m + 31 = 3*o + 6*m for o.
2
Let a = -501 - -503. Solve 6 = -2*p - a, -10 = -k + 2*p for k.
2
Suppose -4*g - 12 = -8*g. Suppose -2*f + f + g = 0. Let k be -3 + f + 32/4. Solve 5*y - k = u - 30, 2*y + 8 = 0 for u.
2
Suppose -310*c = -323*c + 65. Let i be (-246)/(-10) - 2/(-5). Solve z + 2*z = c*u + i, -3*u + 3*z = 15 for u.
-5
Suppose 6 = 2*f - 0. Suppose 3*t = -2*t + 100. Suppose -t*i - 8 = -22*i. Solve 5 = -2*l + 5*c, 0*l + f = i*l + 3*c for l.
0
Suppose -6*n + 55 = -n. Let v be (189/(-45))/(1/5). Let b = -21 - v. Solve b = -3*k + 2*i - 15, k + 3*i - n = -5 for k.
-3
Let p(w) = -w**3 - 17*w**2 - 66*w + 2. Let y be p(-11). Solve -j - 3*q = 1 - y, -5 = 2*j - q for j.
-2
Suppose 6*a - 13 - 17 = 0. Let o(g) = 2*g + 0 - 5 - 1. Let i be o(a). Solve 4*w + i*b = 8, 0 = -w - 2*b + 7*b - 4 for w.
1
Let v(c) = -6*c**3 - 4*c**2 + 6*c - 6. Let s be v(2). Let q = s + 61. Solve -5*p = -d + 21, -4*p + 2*p - 11 = -q*d for d.
1
Let f(c) = -c + 19. Let p be f(11). Suppose -p + 3 = -y. Solve -27 = 5*o - 4*m, -4*m + y + 10 = -o for o.
-3
Suppose 2*p = -587 + 599. Solve -5*f = 5, 3*f + p = -d - f for d.
-2
Let q(n) = 2*n**2. Let a be 338/(-12) + 2/12. Let o = a - -27. Let v be q(o). Solve -13 = -4*s - 5*w, s - 4*s = v*w - 8 for s.
2
Suppose 76*j - 25 = 71*j. Solve -3*w + 5 = c + w, -j*w = -3*c + 15 for c.
5
Suppose 17 = 3*a + u, 5*a - 2*u - 26 = 6. Solve -a*t = b - 2*t + 3, -4*b = 3*t - 1 for b.
1
Let n = -12 - 3. Let l = -52 + 39. Let w = l - n. Solve -2*m - w*a - 3*a = -2, -3*m = 3*a - 3 for m.
1
Let f be 7/((-56)/(-104)) - 10. Solve 0 = f*u - 2*z - 2, -5*z = 3*u - u + 5 for u.
0
Let i be (22/(-2) + 1)/(-2). Suppose i*n - 4*n - 3 = 0. Solve 0 = -2*k + j - 0*j + n, -4*k = 4*j - 12 for k.
2
Let c(r) = -2*r - 9. Suppose 5*b = 2*z - 22, 2*b = 5*b - 3*z + 6. Let u be c(b). Solve u*p + 5 = l - 5, -p + 10 = 3*l for p.
-2
Let w be (40/14 - 3) + 450/63. Solve 5*z - w = 13, -3*z + 17 = -5*n for n.
-1
Let p(o) = -9*o**3 + 2*o**2 + 6*o + 5. Let x be p(-1). Solve 5*w + x = 5*a, -2*w - 21 = -3*a - 4*w for a.
5
Let a(z) = -4*z + 2. Suppose 0 = 6*h - 202 + 52. Suppose -3*g - f - h + 8 = 0, -18 = 4*g - f. Let t be a(g). Solve 26 = q - 5*x, -q = -4*x + 1 - t for q.
1
Let f(j) = 2*j**3 - 14*j**2 + j - 2. Let k be f(7). Suppose 0 = -k*x - 0 + 15. Solve -3*z = x*m + 1 + 8, -2*z - 8 = 0 for m.
1
Let z be 25/12 - (-4)/(-48). Suppose -5*v = -15 - 10. Suppose 0*f = f, 5*b = v*f + 20. Solve -2*k + 5*g - 6 = -3*k, b*k = 2*g + z for k.
1
Suppose 5*m = 2*m - 2*b + 21, 4*m = -4*b + 28. Suppose -3*v = -17 - m. Let z be (-21)/10*-2 + (-2)/10. Solve 5*a - 22 = 2*g + g, 4*a = -z*g - v for g.
-4
Suppose -41*u + 9 = -114. Solve -p + 0*p - 2*j + 8 = 0, 23 = -4*p + u*j for p.
-2
Let p = 418 + -415. Solve -2 = -2*g, 0*g = 2*w - 3*g - p for w.
3
Let y = 62 - 59. Solve b = -2*o + 6, -6*o + y*o + 10 = 2*b for b.
2
Let d(i) = 2*i + 23. Let c be d(-8). Let f be (2 - (c + -3))*-1. Solve 20 = 5*t - u, t + u - f*u = 0 for t.
5
Let b(n) = 6*n - 51. Let a be b(8). Let g be (-2)/a + 56/24. Solve 4*s = -g*m + 5, 9*m - 13 = 4*m - 2*s for m.
3
Let k be (-6)/4*(-10)/(-5) + 28. Solve 3*n - 2*p - 25 = -0*n, 4*p + k = n for n.
5
Let u(v) = -v**2 + 6*v + 7. Let q be u(9). Let y = q + 25. Solve -c = -5*t + y, 3*t = -2*c + 6*c + 3 for c.
0
Let f = -5 - -9. Suppose u + f = 2. Let a be ((-15)/6 - u)*-4. Solve 19 = l - 3*i, -7*i - 17 = 2*l - a*i for l.
4
Let t = -167 - -169. Solve -t*m + 20 = 3*j, 5*m + 4 = 4*m + 2*j for m.
4
Let a(u) be the first derivative of u**4/4 + 8*u**3/3 - 5*u**2/2 - 37*u + 8. Let y be a(-8). Solve n - 20 = -5*d, d = -4*n + y*n + 4 for d.
4
Let a = -14 + 30. Let t(u) = 3*u - 43. Let f be t(a). Solve 5*v + 15 = -0*v, -3*j - f*v = 12 for j.
1
Let i(w) = 5*w**2 + 16*w + 18. Let k be i(-2). Solve 1 = -4*c + 3*p, -c + 2*p = k*p + 5 for c.
-1
Let z = -135 - -135. Suppose 2 = l + q - 1, -7 = -l + 3*q. Solve -2*v + 20 = 5*n - n, z = v + l*n - 18 for v.
2
Suppose p = -2, m - 24 = -5*p - 30. Let t be 0 + 2 + -1 + 1. Solve -m*n - 3*a - t*a = -20, 5*n = 4*a - 16 for n.
0
Suppose 19*x = 24*x. Suppose x = o - 6*o. Let l be o + 6 - (5 + -2). Solve c + 4 = -l*t + t, c + 6 = -4*t for c.
-2
Suppose 4*p + v = 5*v - 4, 3*p - 2 = 2*v. Let s be p + 0 - (0/(-2) - -2). Solve -2*y + 4*j + 2 