f - 9 = -g - 0*g. Solve -3*t - 5*m = g, -2*t + 4*m + 14 = 2 for t.
0
Suppose -18 = -2*l - 4*z, 2*l = 4*l - z - 3. Let r = 5 + -2. Solve l*v + 2*b = 2*v - 14, r*v = 3*b + 3 for v.
-4
Suppose 0 = 5*i + k - 127, 5*i + 49 = 7*i + k. Solve 6 = 4*g + i, 4*z - 2*g = 2 for z.
-2
Let v(t) = -t**3 + 15*t**2 - 15*t + 17. Let o be v(14). Solve -o*a = 4*h - 21, a + 4*h - 3*h = 6 for a.
3
Let o(k) = -2 + 0*k + k + 0*k. Let u(i) = -i**3 - 6*i**2 - 2*i - 7. Let b be u(-6). Let l be o(b). Solve v = -2*c - l*v - 8, 3*v - 4 = c for c.
-4
Let y(h) = -2*h - 9. Let o be y(-7). Let m = -6 + o. Let i be m/(-3) + 44/12. Solve -i = -0*t - t - s, 2*t - 4*s - 2 = 0 for t.
3
Let u(b) = b**3 + 10*b**2 - b - 6. Let j be u(-10). Solve -5*a + 17 = -4*x, -3*a + a + 2 = -j*x for x.
2
Let s be (-3)/(-5) + (-88)/(-20). Suppose -u - k = 2, -s + 21 = -4*k. Solve q = -u*p - 9, -4*q = 4*p + 21 + 7 for p.
-2
Suppose -k = -2*j + 15, -3*k = 4*j - k - 10. Suppose 9 - 4 = a, -2*c - 4*a = -30. Solve 5*m - c = j, -5*g + 14 = -3*m for g.
4
Let a(i) = -3*i**3 - i**2. Let c be a(-2). Suppose 2*o + 2*o = c. Solve 3*y = 4*y + s - 2, o*y + 20 = s for y.
-3
Let a(v) be the second derivative of v**5/20 - v**4/3 + v**3/3 - 5*v**2/2 - 4*v. Let i be a(4). Solve i*d - 6 = g, 2 + 1 = -2*g - 3*d for g.
-3
Let p = 1 + 2. Let i(m) = 11*m - 4. Let q be i(p). Solve 5*o - 11 = 2*o + g, 0 = 2*o - 5*g - q for o.
2
Let x be 5 + -3 - (-1 - 2). Suppose -2*r = x*n - 33, 0 = 4*n - 0*r + 2*r - 28. Solve -2*g + 5*k + 20 = 2*g, g = -4*k + n for g.
5
Suppose 4*u = -3*l + u, 0 = 2*l + u - 2. Let y(k) = k + 3. Let v be y(-3). Solve d - 14 = 3*d + l*x, -3*x - 9 = v for d.
-4
Let w be 18/10 + (-9)/(-45). Solve w*p + 26 = -a - 3*a, -3*p - a = 14 for p.
-3
Suppose 4*p - 3*p = 12. Solve -4*o + n - 5*n = -p, -5*o = 3*n - 19 for o.
5
Let g = 16 - 6. Solve 2*r = -4*k + g, 3*k - 3*r + 25 = 2*r for k.
0
Let p = 0 + 0. Let b = p + 2. Solve -h - b*h + 35 = 4*z, z - 2*h + 5 = 0 for z.
5
Suppose 5*k = -5*m + 85, 2*m - 11 = m - 3*k. Solve 2*s + 2*t = 10 - 2, 5*t = 5*s - m for s.
4
Suppose 0*i + 2*i = o + 10, 4*o = 3*i - 25. Suppose 0 = j + j + 22. Let s = j - -20. Solve -d = -0*m + 5*m - 13, -m = -i*d - s for d.
-2
Suppose -76*d + 8 = -74*d. Let i = 6 + 0. Let u = i - d. Solve -3*c + 31 = 4*a, 13 = 2*a + u*c - c for a.
4
Suppose -3*j + 4*i - 32 = -8, j = i - 7. Let r be (1 + -5)/(j + 3). Solve -v = -z - r*z + 14, -3*z + 10 = -v for z.
2
Suppose -7*n - 8*n = -n. Solve -2 = -f + 2*u - n, -5*f - 4*u + 24 = 0 for f.
4
Suppose -13 = -2*l - 3*h, 3 = 2*l - 2*h - 5. Solve k = 4*s + 2, 4*s + 3*k = 1 + l for s.
0
Let c = 78 - 76. Let i(k) = k**2 + k + 5. Let s be i(-4). Solve -3*w = -c*j + s, 3*j + 0*w = 4*w + 23 for j.
1
Suppose 4*k + 20 = -0. Let x = 7 + k. Solve -x*s + 8 = -2*t, -2 = -t - 2*s - 0 for t.
-2
Suppose -3*i + 0*a - 30 = a, 4*i - 4*a = -40. Let b be (i/25)/((-1)/5). Solve -3*r = 2*w - 14, 0 = b*w + 5*r + 6 - 28 for w.
1
Suppose 53 = 4*n - 43. Let i(l) = l - 2. Let g be i(11). Let w = g - 6. Solve -2*s - 2*j - w = -s, 4*s - 4*j - n = 0 for s.
3
Let n = 36 + -36. Solve n = -z + y - 0 - 4, y = -5*z + 10 for z.
1
Let c = 6 - 6. Solve k + 4*b + 11 = 33, -b + 5 = c for k.
2
Let q = -1 + 10. Let d be (-91)/(-3) - 3/q. Let l = d + -4. Solve 2*t - 4*r + l = 0, -3 = t + r - 2 for t.
-5
Let d(y) = y**3 - 12*y**2 + y - 8. Let a be d(12). Solve -a*j = -3*x - 2*j + 6, 0 = 3*j for x.
2
Suppose -7 - 3 = -10*t. Solve 3*x - 2*x + 2*n = t, 4*n = x + 5 for x.
-1
Let d be 63/15 - (-1)/(-5). Solve d*v - z - 1 = 0, 0 = z - 5*z + 12 for v.
1
Let z = 6 - 8. Let s(t) = -t**3 - 2*t**2 - t. Let a be s(z). Solve 6*y - 2*y = -a*q - 30, 0 = -y - 3*q - 20 for y.
-5
Suppose 0 = -2*t - 2*m + 2, 0 = -t - 3*m + 1 - 8. Solve t*j + 2*g = -18 - 11, 2*g - 16 = 4*j for j.
-5
Suppose 3*r + 2*r = 35. Solve 0 = -3*s + r*s + 2*l - 2, 4*l - 4 = -4*s for s.
0
Let g be (2/6)/(4/132). Let h = g - 6. Suppose -h*f + 9 = -2*f. Solve -3*d + f*p = 0, -2*d - 2*d - 10 = p for d.
-2
Suppose -25*n = -30*n + 25. Solve 2*g - 12 = 4*g - 4*f, -12 = 4*g - n*f for g.
2
Let u(r) be the third derivative of -r**6/120 + r**5/15 - r**4/8 + 2*r**2. Let k be u(3). Suppose 3*y + y - 16 = k. Solve -8 = -2*o - 5*f + 8, -f = -y for o.
-2
Let d(u) = -u**2 - 4*u + 3. Suppose 0 = -5*p - 11 - 9. Let b be d(p). Solve b*x = 5*h + 20, x = h + 4*x - 14 for h.
-1
Suppose -32 = y + 3*y. Let l be 30/16 + (-1)/y. Solve 2*g = l*m - 6, -5*g + 5 = m + 4*m for m.
2
Let j = -6 - -10. Let b = 122 + -72. Suppose -5*v - z + b = 0, 2*z - 6*z - 25 = -5*v. Solve -q - j*g - 21 = 0, -5*q - 8 - v = -2*g for q.
-5
Let k(w) = -4*w - 50. Let m be k(-13). Solve -4*b = -2*b - 10, -13 = g - m*b for g.
-3
Let v = 15 + -22. Let t be (-30)/v - (-4)/(-14). Solve 4*b = t*h - 5*h - 8, 5*h - b - 2 = 0 for h.
0
Let j = 1 - 1. Suppose j*g = -g. Solve 3*w = 5*n - w - 41, g = -3*w - 12 for n.
5
Let b be -3 - (1/1)/1. Let w be ((-1)/(-3))/((-1)/3). Let t = w - b. Solve 3*j = -2*l + 22, l + j - 6 - t = 0 for l.
5
Suppose 73 + 22 = 5*c. Suppose 4*t = 3*t + 10. Solve -3*s = -5*j + t, j - 2*s = 2*s + c for j.
-1
Suppose -3*g + 31 = -2*v, -9 = -3*g + 5*v + 37. Solve -k - g = -4*d, 2*d + 5*k - 19 = 4*d for d.
3
Let v be ((-13)/2)/(3/(-6)). Let p = v - 10. Solve -j + q + 2 = 0, -q = 5*j + p*q - 1 for j.
1
Let o = 3 - 7. Let h be o/12 + (-26)/(-6). Let l(j) = -j**2 + 3*j + 5. Let r be l(h). Solve -4 = -u + 3*w, -4*u - r = -5*w - 17 for u.
4
Let o = 12 + -21. Let z be (4/(-6))/(3/o). Solve 4 = y + 3*x - 4*x, -z*x = 5*y - 27 for y.
5
Let u(o) = 2*o - 3. Let n = -5 + 8. Let y be u(n). Let r be y/4 + 10/8. Solve 0 = -5*i, -r*h + 6 = -4*h + 4*i for h.
-3
Let y = -3 + 6. Suppose -y*a + 16 = 4. Solve 0 = -3*n + 3*t - t + 23, 0 = t + a for n.
5
Suppose 0 = 5*x + 25, -33 = -3*l + 2*x + 73. Suppose 0*u + l = 2*u. Solve 3*z + 3*c = -c + 15, z - u = -5*c for z.
1
Let j(l) = -2*l**2 - 5*l + 9. Let z be j(-3). Solve -g + 15 = -5*x + 3*g, -2*x = g + z for x.
-3
Let u be 7 - (-6)/(-15)*5. Solve 0 = 4*p - 16, 7*l - u*p = 3*l - 16 for l.
1
Let g = -53 - -67. Solve -w = 5*o + w - g, -o + 4*w - 6 = 0 for o.
2
Let c = 16 + -1. Suppose -5*j + 5 + c = 0. Suppose 0 = 3*b + 4*p - 51, -4*p + p = -5*b + 56. Solve -4*i + 2*i - b = 3*t, -j*i - 1 = t for i.
1
Let r(q) = q**2 - 24*q + 31. Let c be r(23). Solve -o - 13 = 5*j, -j = -o + j + c for o.
2
Suppose 5 = -4*d - 3. Let s be (0 - d)/((-3)/(-6)). Solve i - 3*i - 16 = -s*f, 2*f - 12 = 3*i for f.
3
Let q(p) = 2 - p + 4 - 4 + 4. Let w be q(0). Let g(i) = -i**3 + 6*i**2 + i - 3. Let j be g(w). Solve -3*a - y + 11 = -0*a, 9 = -j*a + 3*y for a.
2
Suppose 2*w = h + 2, w = -3*w + 3*h. Let m(f) = -3*f + f + 2 + 3*f. Let g be m(2). Solve -5*r - 22 = -n, g*n + n - 22 = w*r for r.
-4
Let c = -24 + 28. Solve 4*b - 20 = -4*f, f - 17 = c*f - 5*b for f.
1
Suppose 0*c = -2*c + 22. Let l = c + -6. Suppose 0*z + z = l. Solve 0*b + 2*b + v = -z, -b - 5*v = 25 for b.
0
Let n = 41 + -69. Let f = n - -51. Solve 5 = -5*r - 2*k, -5*k + 2 = 4*r + f for r.
1
Let p be (-4)/18 + (-58)/(-18). Let r be 8 + p*8/12. Solve -5*f - 5 = j + r, -2*j + 3 = -f for j.
0
Let t = -11 + 16. Suppose 0 = t*w - 0*w - 4*s - 11, 5*w + 3*s - 18 = 0. Solve 2*d + g + 2 = 0, d + 1 = -w*g - 5 for d.
0
Suppose -3*w + 45 = -3*r, 2*w + 19 = 3*w + r. Solve -4*b + 3*x = 26, -5*b + 0 = 4*x + w for b.
-5
Suppose 0 = -4*c - l + 49, 0 = 3*c - 3*l - 5 - 13. Let t = -10 - c. Let d be 7/(t/(-54)) + 2. Solve j = 4*z - 14, 2*z + z + 4*j = d for z.
4
Let m(c) = -3*c**2 - 11*c - 62 + 2*c**2 + 55. Let i be m(-7). Solve 4*n = o + 9, 2*o - i = -5*n - 0*o for n.
3
Let w(p) = 2 + 3*p + 1 - 1 - p**3 + 2*p**2. Let y be w(3). Suppose -4*c = -c. Solve 0*s - s + y*h + 13 = c, 10 = 5*s + h for s.
3
Let c(o) = 5*o**3 - o**2. Let m be c(1). Let i be (-168)/(-10) - m/(-20). Solve 5*z + 4*h - 4 = 0, 5 = -z + 2*h + i for z.
4
Let d be ((-21)/(-12) + -1)*4. Suppose 3*j = 3*t, -2*t + 3*j - 8 = -d*t. Solve 7*q + 5*r = t*q + 15, 2*q - 4*r = -24 for q.
-2
Let b be 217/21 - 2/6. Suppose b = 5*g - 15. Solve 4*z - 30 = -5*q, g*z - 5*q - 4 = 11 for z.
5
Suppose -4*o - 17 = -x, -4*x - 2*o + 12 = -4*o. Let v be 1 + x - (1 + -3). Solve 5*d - d + 4 = -2*q, -6 = q + v*d for q.
2
Let q(f) = -f + 1. Let h be q(1). Let t = h - -1. Solve -5*x = -3*b - 18, 3*x + 5*b = t + 3 for x.
3
Let i be 1 + 0 - (-5 - -2). Solve -i*m = n + 22, 