 Solve g = 3, 0*o - s*o + 5*g = 7 for o.
4
Suppose 0*u - u - 3*f = -7, -15 = 5*f. Let l = u - 14. Let n = 0 + l. Solve -3*g + 2 = -2*j, -4*g + n*j + 2 = -j for g.
2
Let y be ((-1)/(6/(-4)))/(14/84). Suppose y*g - 5*k = -7*k + 14, -3*g + 5*k = -17. Solve g*x = a, x = 4*a - 5 + 20 for x.
-1
Let p = -133 + 147. Let b = 4 + -3. Let h be 0 - (b - 1 - 3). Solve -10 = -2*v, h*y + 0*v + p = v for y.
-3
Let r = -7 + 12. Suppose -5*y - 2*l = -35 + 5, 5*y + r*l - 30 = 0. Let q(w) = -2*w - 12. Let m be q(-9). Solve -j = 2*x - 3*x + y, -m = x + 3*j for x.
3
Let d be (-20)/(-25)*(5 + 0). Solve -d*p + 41 = 5*b, -2*b + 6 + 4 = 0 for p.
4
Suppose -i + v + 2*v + 17 = 0, 5*i + 2*v = 0. Let n(w) = w**3 + 4*w**2 + w - 4. Let z be n(-3). Let r = z + 0. Solve 3*u + i*t = -21, r*u - t - t = -4 for u.
-5
Let q be (-46)/(-14) - -1 - (-192)/(-672). Solve -3*y - 4*i = 23, 11 = q*y - 3*i - 0*i for y.
-1
Let j = -32 + 49. Let o = -13 + j. Suppose 2*d + f + o = 5, -3*d - 2*f = 0. Solve 2*z + 6 = k, d*z + 2 = 5*k - 4 for k.
0
Let q be 2*(-1 - (-21)/6). Suppose -g - q = -2*g. Solve 0 = 4*r + g*w, 4*r - 5*w + 0*w = 0 for r.
0
Suppose 6*n - 84 = -n. Solve 3*q + 8 = -h, h + 0*q = -4*q - n for h.
4
Suppose 3*h = 7*h - h. Solve -4*w = 5*b - h*b + 11, -5*w = b - 2 for b.
-3
Let w be (-4)/(-10) + 294/(-35) - -4. Let b be 2 - -1 - 10/(20/w). Solve 3*z + b = 3*i - 10, 0 = 3*z - 4*i + 18 for z.
-2
Suppose -3*z + w = -10, -z + 5*z - 5 = 3*w. Suppose 2*i = -j + 8, 23 - 3 = -z*j + 5*i. Solve 0 = 2*d - 2, j*y = y - 4*d + 6 for y.
-2
Let h(t) = -28*t + t + 8*t. Let i be h(1). Let k = -9 - i. Solve 9 = 3*m - 3*y - 0, 5*y = k for m.
5
Let c(v) = 4*v - 6. Let w be c(5). Suppose 3*p + 0*p - 52 = q, p - q - w = 0. Let o = p + -15. Solve -2*k + 6 = -4*k + o*m, -5*k = -2*m - 1 for k.
1
Let s(t) = 4*t - 123. Let b be s(31). Solve -3*y - 3 = 0, c + 2 - b = y for c.
-2
Suppose -3*q = 0, v - 16*q + 19*q = 3. Solve g - 4 = 4*w, -v*g = -3*w + 6*w + 3 for w.
-1
Let m(z) = 43*z**2 - 44*z**2 + 15*z + 2 - 25. Let q be m(13). Solve 0 = -5*r + 3*k + 28, r - q = -k + 1 for r.
5
Let w(p) = -p**3 - 25*p**2 + 22*p - 29. Let b be w(-26). Suppose -n + b = 42. Solve 2*g + n = -0*g - 5*m, -29 = g + 5*m for g.
-4
Let u be 2/(-5)*(-9)/(36/20). Solve 21 = -2*y - 5*m + 5, -4*y + u*m - 8 = 0 for y.
-3
Let t = 3 - 0. Solve -3*k + 5 = f, 0 = -t*k + 2*k - 4*f - 2 for k.
2
Let s be (-5 - -1)/(12/(-9)). Solve 0 = 4*i + s*o + 11 + 10, 5*o + 30 = -5*i for i.
-3
Suppose -13 = -4*m - 5*y + 87, 3*y = 12. Let b = -18 + m. Suppose -16 - 10 = -t - 5*c, -5*c = -25. Solve -p = n - t, 0*p - b*n = -2*p + 6 for p.
2
Let q = 979 + -976. Solve -2*w - 16 = 3*u - 3*w, 2*u - q*w = -20 for u.
-4
Let g(n) = -2*n**2 - 4*n - 3. Let v(q) = -3*q**2 - 9*q - 7. Let b(h) = -5*g(h) + 3*v(h). Let l be b(8). Solve -l*i = -2*a + a + 13, -a - 11 = 4*i for i.
-4
Let r = 11 - 11. Suppose 0 = -r*u + u - 18. Suppose 2*q - u + 6 = 0. Solve 0*l = -3*l - q, -c = -l - 6 for c.
4
Suppose 5*h + 4*i - 31 = 0, 5*i - i = 2*h + 10. Solve -3*p + 9 = -h*q, 6*p = p + 3*q + 11 for p.
1
Suppose -13*n = -33*n + 40. Let c be (2 + -27)*-1 + 0. Solve 3*p = -4*o - c, 6*o - n*o = -2*p - 22 for p.
-3
Let h(b) = b**3 + 6*b**2 + 12*b + 38. Let a be h(-5). Solve -4*u + a - 5 = -2*m, -4*m = -u - 4 for m.
1
Let q(f) = 2*f**2 + 1. Let l be q(-2). Let g(t) = -296 - t + 289 + l*t + t**2. Let c be g(-9). Solve -m = 2*v + 7, 4*v - 4*m - 2 = c for v.
-2
Let u(k) be the second derivative of k**4/6 + 11*k**3/3 + 5*k**2/2 + 19*k. Let g be u(-11). Solve 5*o - g*d = -10, 0 = d - 1 for o.
-1
Suppose -2*b = -3*h - 7, -24 = 4*h + 3*b - 2*b. Let i be -2 - -2 - (h + -1). Suppose 3*o = 4*n + o - i, -4 = 4*o. Solve n = -q - 0*q, -5*c - 2*q = -23 for c.
5
Let j(w) be the first derivative of -w**4/4 - 7*w**3/3 - 13*w**2/2 - 12*w + 17. Let k be j(-5). Solve -3*g = 5*d - 4, -4*g - 6*d = -k*d + 2 for g.
-2
Let c be (-1824)/(-836) + (-4)/22. Solve -3*g = 3*s - 9, -2*g = s - 6 - c for g.
5
Let a be (-4 - -2)*-5 - 5. Suppose h - 5 = -c, 3 = -c + a*h + 2. Solve 0*p = 5*p - 2*r, c*p + r = 13 for p.
2
Suppose l = 4*z - 2*l - 40, -2*l - 43 = -5*z. Suppose 5*t - z = m, 3*t + 3*m + 2 = 17. Let k = 35 + -25. Solve 5*a + k = -3*b, -b + 2*a = -2 - t for b.
0
Let b = 7 - 3. Let h(t) = 55*t + 110. Let n be h(-2). Solve -2*s + 13 = -4*s + 3*y, b*s - 5*y + 23 = n for s.
-2
Suppose 3*x = 17*x - 28. Solve l - 9 = -5*b, -5*l - 7 - x = -2*b for l.
-1
Let w = 3 + 0. Let g = -106 - -54. Let j = g - -57. Solve 2*p - 1 - 1 = -4*y, w*p + 5*y - j = 0 for p.
5
Let b(o) = o**2 - o - 1. Let g be b(-2). Let t = 17 - g. Suppose -2*i = -5*i + t. Solve 0 = m + 6 - 1, -i*d = 4*m + 32 for d.
-3
Let n(c) = -3*c - 41. Let q be n(-16). Solve -o - 4 = 5*t, 3*o - 2*t - q = -2*o for o.
1
Let o(i) = i**3 + i**2 + 12. Suppose 2 = -r - 0. Let v be r/2*(-1 + 1). Let d be o(v). Solve 6*m = 3*n + 3*m - 3, 4*n + 4*m + d = 0 for n.
-1
Suppose 2*b - 5*v + 6 = 0, 3*b - v = -3*v + 10. Solve -4*y = -b*y + 5*s - 9, 4*y = -4*s + 12 for y.
2
Suppose 4*m - 17 = 5*f + 9, 4*m = -2*f + 12. Suppose 0 = -8*a + 10*a, -4*x = -5*a - 40. Solve -16 = m*r, -3*w + 5*r + x = r for w.
-2
Let s(j) be the third derivative of -5*j**4/24 - j**3/2 - 38*j**2. Let y be s(-1). Solve y*f = 5*w - 21, -5*w - 2*f + 15 = -7*f for w.
5
Let c be ((-4)/(48/45))/((-78)/104). Solve -5*a = 3*v + 7, -v + c*v = -3*a - 2 for v.
1
Let g(k) = k. Let f be g(-1). Let q = 1 + f. Let r = q - -4. Solve 0*s = s + 3*i + 4, r*s - 2 = -3*i for s.
2
Suppose 0 = 2*n - 2*p + 14, -2*n - n - 13 = -p. Let s be (n*2/(-18))/((-2)/(-12)). Solve 3*h - 1 + 14 = s*f, 5*h = -25 for f.
-1
Suppose 2*p = -8, 4*s - s - 26 = 5*p. Let f be (104/(-65))/((-2)/5). Let l be f/(-14) - (-16)/7. Solve 5*z - 6 = l*o, 0*o + s*o = -6 for z.
0
Suppose 52 = 13*z - 13. Solve 0 = 4*s + 12, -9 = f + z*s - s for f.
3
Let h(c) = 2*c**3 - 25*c**2 - 16*c + 43. Let y be h(13). Solve t - 5 = -u - 1, y*u + 5 = 3*t for u.
1
Let y = -231 - -271. Solve -4*x + 0*x + 3*b = 5, -5*x - 3*b = y for x.
-5
Let l(i) = -21*i - 6. Let q be l(-1). Let c be q*(-1)/(-3)*(0 + 1). Solve -2*j - c*p - 10 = 0, -5*j + 3*p - 30 = -5 for j.
-5
Let n(v) = 6*v + 3 - v**3 + 2*v**3 + 3*v**2 - 2*v. Let o be n(-2). Let z be o*4/16*0. Solve 4*w - g = z, -3*g = -w + 5*w for w.
0
Let o = 1428 - 1412. Solve 4*z + 2*w + o = -z, -2*z + 2 = 5*w for z.
-4
Suppose -m - 14 = 30*w - 33*w, -2 = -w - m. Solve -4*j = -4*u + 20, 3*j + w*u - 16 = 4 for j.
0
Let p = 8671 + -8663. Let n = 8 - 4. Solve n*o - p = 0, -r - 5*o + 6 + 8 = 0 for r.
4
Let n(f) = -f**3 - 8*f**2 + 7*f - 11. Let z be n(-9). Suppose -5*r = 4*b - 23, -2*r = -z*r - 5*b + 25. Solve 4*c + 4 = -r*s - 2*s, -36 = -5*c + 4*s for c.
4
Let k be (-20)/6*(-816)/170. Solve 5*v + k = -i, 4*v - i = -12 + 1 for v.
-3
Let l(b) be the third derivative of -b**5/60 - 5*b**4/6 + 12*b**2. Let n be l(-20). Solve 0 = -2*a + 2*v + 12, n = -4*a - v - v + 6 for a.
3
Suppose 2 = 2*h - 2. Let f(z) = -2*z - z**2 + 3*z - 2*z + 7*z - 3. Let v be f(3). Solve -2*p + h*y = 4, -2 = -p + 3*y - v for p.
-1
Let g = -7136 - -7138. Suppose 4 = -4*c + 2*f - 0*f, 4*f - 8 = 0. Solve 2*y - 4*u - 6 = 0, -g*y + c*u = 4*u - 14 for y.
5
Suppose -9 + 7 = -2*w. Let s = 4 - w. Solve 5*d + 0 = 4*m - 3, s*m + 24 = -5*d for m.
-3
Let h be (-1)/(-3) - 15/45. Let k(d) = -2*d**2 + 6*d + 8. Let b be k(0). Solve 2*s = -i + 12, i - 2*s - s + b = h for i.
4
Let v be 32/(-2)*89/(-712). Solve 0 = m + p - v*p + 6, -27 = 5*m - 2*p for m.
-5
Let s(c) = c**3 + 3*c**2 + 3. Let r be s(-3). Let h = 18 + -39. Let w = h + 24. Solve -5*y + r*b - 5 = 0, 3*b = -3*y - w - 0 for y.
-1
Suppose -4*l + 36 + 14 = -2*n, 3*n = l - 20. Let v be 2/l + (-84)/(-22). Solve -2*b + 2*q + 0 = -18, -v*b - 2*q = -12 for b.
5
Let i = 30 + 22. Let l = -50 + i. Solve -l*p - 2*o = 4, 2*p + o - 3*o = 12 for p.
2
Let t(n) = 11*n - 19. Suppose -5*c + 30 = -0*c. Let p be t(c). Let i = p + -27. Solve 3*b = -2*s - 2*s, -2*b - i = -4*s for b.
-4
Suppose 0 = 4*q - o - 13, -q + 2*o + 2*o + 7 = 0. Solve -4*v + q*b = -9, 5*v + 2*b = b + 16 for v.
3
Let n be 4/12*3 - -2. Let p(g) = -g**3 - 6*g + 10*g**2 - n + 3 - 3*g. Let t be p(9). Solve 0 = 5*f - 3*w - 3, -f + 0*w - 3*w - 3 = t for f.
0
Suppose 29 = 27*j + 29. Solve j = 3*d + 3, 4*o + o + 2*d = 8 for o.
2
Let o be -2 + 3/6*12. Suppose -o*f + 0*f + 12 = 5*l, 3*l + 4*f - 12 = 0. Sol