Suppose 2*g + 0*g + 24 = 4*m, -m - 3 = g. Let p = g + j. Solve -p*t + 16 = i, 0*t - 3*t + 5*i = 11 for t.
3
Let s be 1 - (-1)/1 - 17. Let n = s + 3. Let o = -7 - n. Solve -i + 16 = i - o*m, -2*i + m = 0 for i.
-2
Suppose -4*b + 14 = 3*p, -3*p = -5*p + 4*b - 4. Solve d - 3*z + z + 7 = 0, 9 = -p*d - z for d.
-5
Let f(z) = -z - 4. Let w be f(-7). Let i be (3/(-2))/(w/(-8)). Solve -8 = -i*r + 8*r, -3*v - 7 = 5*r for v.
1
Suppose -53 = -5*u - 4*r, r - 2 = -0. Let f = -6 + 2. Let i = u + f. Solve -5*o + 3*x + 26 = 0, i*o - 2*o - 5*x - 22 = 0 for o.
4
Suppose -q = -1 - 2. Solve d = q*d + 10, w - 4*d = 22 for w.
2
Suppose 4*a = -4*n + 52, -4*a - 14 = 4*n - 6*n. Solve -21 = c - v + 5*v, -2*v = c + n for c.
-1
Let p(g) = -2*g**2 - 16*g - 12. Let h be p(-7). Solve -3*r - 6 = 5*t, h*r - 8 = t + 1 for r.
3
Let y(d) = -4*d + 21. Let h be y(6). Let w be h + (-4 + 9)*1. Solve -2*a = -2*o + 6, -24 = -3*o - o - w*a for o.
5
Let s(o) = o - 1. Let d(m) = 3*m - 8. Let v(w) = -d(w) + 4*s(w). Let j be v(5). Suppose 4*f = f + j. Solve u + 1 - 22 = 4*z, -f*u + 11 = z for u.
5
Let f = 6 - 3. Suppose 7*a - 2*a = 2*r + 18, -f*r = 2*a - 11. Let l be 0*r/(-4)*2. Solve l = 4*y + 6 + 6, 0 = 5*z + 4*y + 7 for z.
1
Suppose -10*g + 40 = -2*g. Solve 3*k + h = 8, 0 = g*k + h + h - 13 for k.
3
Let l be (-8)/(-10)*(-60)/8. Let u be (16/12)/((-4)/l). Suppose -2*k + 0*k = 0. Solve -4*y - 8 = -u*o - 2*o, k = 3*o + y + 10 for o.
-2
Let o be 3/6*-2 + 5. Suppose a + 3 = 1. Let r(x) = 3*x**2 - 3*x - 3. Let y be r(a). Solve -5*g + 2*g + y = 0, 2*b = o*g - 30 for b.
-5
Suppose -2*c + 20 = 2*c. Suppose -c*x - 42 = -112. Suppose x = 4*o - 2. Solve -5*n = -o*u - 29, -11 = -n + 5*u - 1 for n.
5
Let d = -21 - -26. Solve -d*m = 4*t + 15, -13 + 1 = 4*m + t for m.
-3
Suppose 0 = -0*h + h - 15. Let w = h + -11. Solve -5 = w*g + 4*s + 11, 3*g + 5*s = -22 for g.
1
Let c(b) = b**2 - b + 1. Let g(o) = o**2 - 3*o + 1. Let j(q) = c(q) + g(q). Let y be j(3). Let m = y - 6. Solve -3*l = m*n - 16 - 0, -4*n - l = -22 for n.
5
Suppose 2*h = 9 - 5. Solve 23 = h*n - 2*m - 3*m, 0 = -2*n - 4*m - 22 for n.
-1
Suppose 4*t + 5*v - 22 = 3, -4*t + v = 5. Solve 3*b + 3 = -5*s, 4*s = b - t*b - 16 for b.
4
Suppose 2*g - 4*g = -4. Suppose -g*d = -5*d + 6. Suppose 1 = -t + 15. Solve 0 = 3*x - d*y - 7, 5 = -2*x - 3*y + t for x.
3
Suppose 0 = -3*i + 7 + 5. Suppose -i*v = -9*v + 15. Let y(s) = -s**3 + 6*s**2 + 8*s + 5. Let t be y(7). Solve -v*g + 18 = -3*z + g, 4*g - t = 0 for z.
-2
Suppose -25 = 4*j + h, -5*h + 3 = -3*j + 13. Let m = 5 + j. Let a(s) = -s**2 + 32. Let f be a(m). Solve q + 13 = 5*l - 3, -3*q - 5*l + f = 0 for q.
4
Let d = -31 - -34. Suppose -2 - 2 = -2*w. Suppose 10 = w*f - 6*s + s, -8 = -4*s. Solve 5*o = b + b + f, 0 = -o - d*b + 19 for o.
4
Let z(k) = -3*k - 14. Let n be z(-6). Solve -5*g = 0, 0 = -4*h + n*g - 7 + 19 for h.
3
Let c(b) = -b**3 - 2*b**2 - 3*b - 4. Let v be c(-2). Solve 0 = 2*z - a - 8, 5*z - v*a = -0*a + 18 for z.
2
Let o = -277 - -279. Let h(y) = -2*y - 6. Let t be h(-4). Solve 5*f + o*c - 8 = -0*c, 2*c - 2 = -t*f for f.
2
Let b(y) = y**2 - 3*y - 8. Let p be b(6). Let o(g) = -g**3 + 11*g**2 + 11*g + 18. Let u be o(12). Solve -p = -r + 2*s - u*s, 12 = 4*s for r.
-2
Let g = -7 - -10. Suppose -2*v = g*r, r + v + 1 = -0*r. Solve 4*s - 12 = 4*d + 2*s, -r*d + 4*s - 18 = 0 for d.
-1
Let h(z) = z**2 - 12*z + 11. Let r be h(11). Suppose y + 5*f = -r*y + 10, 0 = 4*y + 4*f - 24. Solve 2*o = -y*p - 11, -5*o - 2 = 3*p + p for p.
-3
Let s be 2/(-6) - (-92)/6. Suppose 0 = -10*j - 18 - 12. Let d be (j + s/4)*4. Solve 0 = -5*g - a + 24, -d*g = -8*g + 2*a + 27 for g.
5
Suppose -4*c = -0*c + 2*w, 0 = -4*c + 5*w + 28. Suppose -c*z + 9 = 1. Solve u + 2 = -2*h, -z*h + 4*u = 5 + 11 for h.
-2
Let z(t) = -t + 1. Let m be z(-2). Suppose -3*b = -m - 6. Solve r + b*l + 1 = 0, -5 = -2*l - 3 for r.
-4
Let n(s) = -2*s**3 - 3*s**2 + 3*s - 3. Let l be n(-3). Suppose 3*g + l = 6*g. Solve -t + r + r + 13 = 0, -13 = -g*t - 3*r for t.
5
Let l(p) = p - 14. Let k be l(11). Let q be 18/(-8)*8/k. Suppose -2 = -v + 1. Solve v*d = q*u - 4*u - 13, 4*d + 5*u - 21 = 0 for d.
-1
Suppose -4*a - 4*v - 16 = 0, -3*a + 19*v - 14*v = -20. Solve a = 2*g - 4*q - 0*q - 2, 3*g - 3*q + 3 = 0 for g.
-3
Suppose 0 = 4*m + 3*j - 25, -j - 2*j + 1 = -2*m. Suppose x + m = 3*x. Solve 4*l - 2*q = 6, -l = -q - x + 3 for l.
4
Let r(p) = -3*p + 1. Let f be r(-1). Let d be 0 - 0/3 - -4. Suppose -d*u = -f*x + 4, -4*x - 22 = -3*u - 6*x. Solve 5*h + 22 = h - z, -3*h - 7 = -u*z for h.
-5
Let z be 0 + (-2)/2 + 5. Solve 5*j + 0*j + g = -27, -z*g - 13 = j for j.
-5
Suppose -4*q + 3*b + 15 = 0, 0*q + 5*q - 16 = b. Solve -q*o + 1 = -2*k, -2*o - 2*k - 4 = -6*o for o.
3
Let j(z) = -z + 7. Let l = -4 - 1. Let w be j(l). Suppose -14 = -5*g - 2*h - 0*h, -3*g = -h - 4. Solve w = 2*d + g*b, -4*b - 1 = d - 2*d for d.
5
Let w be 8/(-36) - 47/(-9). Solve w*m - 3 = -2*a, 8 = 3*a + 4*m - 0 for a.
4
Suppose -10 = -2*x + 2*u, 0 = 5*x + u + 5 - 0. Let k(s) = -s - 2. Let d be k(x). Let v be d/1 + (-18)/(-2). Solve 4*h = 4*t + 32, -3*h - 8 = -2*t - v*h for t.
-4
Let c = 118 - 113. Solve 5*j + 2 = 3*n, -3 - c = 5*n + 3*j for n.
-1
Let c(y) = 2*y**2 - 13*y - 10 - y**2 + y**2 - 3*y**2. Let m be c(-11). Solve -6 = 3*v + 5*f, 3*v - 3*f = 2*v + m for v.
3
Suppose 5*g - 28 = -3*i, 0 = -i + 2*g + 26 - 2. Solve 15 = 3*p - n, 0 = -4*p + n + i + 4 for p.
5
Suppose -3*j = -0*j - 45. Suppose 0 = 5*t - 0*t - j. Solve 2*a = 4*c - 10, -3*c + 4*c - t*a - 5 = 0 for c.
2
Suppose 2*i = 4*i - 8. Solve -5*y = 5*r + 10, -i*r - 2*y - 3*y = 9 for r.
-1
Let a(k) be the third derivative of k**5/30 + k**4/8 + k**3/3 + 2*k**2. Let n be a(-2). Solve -v = -4*l + 14, v + 4*v = -2*l - n for l.
3
Suppose 57 = 2*f - w, -2*f - 2*w + 72 = -0*f. Solve h + 7 = -t - 0*t, -4*h - f = 5*t for t.
-3
Let j be -6 - -16 - 4 - -6. Solve 2*v = 4*g - v - 16, 0 = 3*g - 4*v - j for g.
4
Let f(z) = -z**3 + 3*z**2 + 2*z - 3. Suppose -4*d - 1 = -9. Let o be f(d). Solve 11 = 4*g - 3*r, -2*r = -o*g - r for g.
-1
Let q(s) = -s**3 - 4*s**2 - 3*s - 5. Let b be q(-4). Let j(g) = g**2 - 1. Let p be j(-4). Let w = p - b. Solve 0 = -3*f + w*f - 20, 5*f - 8 = -4*l for l.
-3
Let a be ((-64)/(-20))/((-6)/(-15)). Let c(p) = -p**3 + 7*p**2 + 8*p + 11. Let n be c(a). Solve 3*d = 2*m - 16, -3*d - 2*m - n = -3*m for d.
-2
Let o(p) = -p**2 - 3*p. Let x be o(-2). Solve 5*r - z = -19, 2*r + x*z + 0*z + 10 = 0 for r.
-4
Suppose -l + 5*n + 0*n = -20, -3*l + 2*n = -21. Suppose -3*w + 15 = -l*c, c + 2*w = -3*w + 25. Solve c*q - 7 = -4*g - q, 13 = 5*g - 3*q for g.
2
Let j(p) = p - 11. Let k be j(11). Suppose k*t - 4*t + 20 = 0. Solve 4*a - 3*x = 4, t*a - 2 - 3 = x for a.
1
Let u = -23 - -25. Solve 3*d + 1 = -u*a + 11, -a - 13 = -3*d for d.
4
Let x(c) = c**3 - 2*c**2 + 2*c. Let d be x(2). Solve j + 2*j - h = -1, 9 = -j - d*h for j.
-1
Suppose -5*s + 3*j = -27, 5*j = s - 4 - 19. Solve 4*i + 20 = 4*a, -3*a = -a - s*i - 12 for a.
3
Let r = 7 - 1. Let w(p) = -p**2 + 7*p - 6. Let k be w(r). Solve 4*z = 2*o + o - 1, k = z + 3*o + 4 for z.
-1
Let i = -1 + 6. Suppose -j - 36 = -i*j. Solve 0*b - 5*n - 7 = 3*b, 0 = b - 4*n - j for b.
1
Let c = -43 - -69. Let u = -21 + c. Solve u*n - 2*y = 1, -2*n - 3*n + 4*y + 7 = 0 for n.
-1
Let h be (-2 - (3 + 0))/((-5)/2). Solve h*b - 4 + 2 = 0, 4*a + b = 21 for a.
5
Suppose -7 - 883 = 5*b. Let h = -51 + 96. Let q be 10/h - b/9. Solve q + 5 = 5*n + 5*g, -n + 5 = 3*g for n.
5
Let w be 6/(-8)*(-29 + 1). Suppose 2*u - 5*c = 16, -4*u - u + w = -3*c. Solve 4*s + 5*y + u = -5, 3*s = -3*y - 3 for s.
3
Suppose 3*s + 171 = 180. Let j be -1 + 5 - 1/(-1). Solve -10 = -4*m - 2*n, j*m = -s*n + 2*n + 5 for m.
0
Let m(h) = h**3 - 6*h**2 - h + 7. Let n be m(4). Let g be 1/5 - n/5. Solve 6*t = 2*t + 2*v + g, -2 = -5*t - 3*v for t.
1
Suppose 2 = 3*k - 7. Suppose -k*n + 6*n = 9. Solve -4*x - 5*i + 3*i + 14 = 0, -6 = -3*x - n*i for x.
5
Let x(d) = -d**2 - 9*d - 4. Let k be x(-6). Let r be (8/(-14))/((-4)/k). Solve -n = -y + r*n + 16, n = y - 8 for y.
4
Let g(n) = 9*n**3 + 2*n - 2*n**2 + 2*n**3 + 4*n**3 - 1 - 6*n**3. Let q be g(1). Solve 2*d + 2 = 2*t + 6, 2*d - 3*t = q for d.
-2
Let z(q) = q**2 + 2*q + 3. Suppose -3*l + 18 = d - 4*d, 4*l + 12 = -5*d. Suppose 3*y + 4 = l*y. Let u be z(y). Solve 2*j + 4*m + 17 = j, -u = 3*j + 4*m for j.
3
Let b = -7 + 9. Let