 20 = 6*g + j*f for g.
4
Let l(n) = 18*n - 3. Let p be l(1). Let o = -12 + p. Solve 5*b = o*q + 5, q = -0*q - 5*b + 5 for q.
0
Suppose 5*h - 5*h = 6*h. Solve h = u - 3 + 5, -2*p + u = 0 for p.
-1
Suppose 0 = 5*l - l - 12. Suppose -3*t - l = -6*t. Suppose 0 = -2*g - 4*v + 46, -t + 20 = 2*g - 5*v. Solve -a = j + 2, 3*j + 3 = a + g for a.
-5
Let g = 461 - 459. Solve -7 = 5*a - 4*k, 0*a = 2*a - g*k + 4 for a.
1
Let m = 244 + -240. Solve -3*b - 20 = -m*s, -2*b = -b + 2*s for b.
-4
Suppose 6*n = 12 + 12. Suppose -4*u - n*j + 84 = 0, 4*u - 2*j - 26 - 76 = 0. Suppose 0 = 54*i - 50*i - u. Solve -4*b + 27 = -3*m, i*b - 7 = 2*b - m for b.
3
Let s = 548 - 521. Solve 3 = q, -s = 3*c - 3*q - q for c.
-5
Suppose -6*k - 5*k = -k. Solve 0 = u + z, -5*u + k*u + 10 = -5*z for u.
1
Let y(p) be the second derivative of -p**4/12 - p**3/2 - 2*p**2 + 4*p. Let m be y(-3). Let g = -2 - m. Solve -g*d + 3*w + 9 = d, -3*d + 5*w = -7 for d.
4
Let d(i) = -3*i**2 + 4*i + 5. Let v be d(0). Suppose 60 = 8*p - 4*p. Suppose -p = 5*n - n + 3*b, 0 = 5*n - b - 5. Solve 5*r - 23 = -f, 21 = v*r + 2*f - n for r.
5
Let p be 12/(-9) + (-1)/(-3). Let h be p/(-3*5/30). Suppose 8 = h*b - 0. Solve s - 14 = -4*t, 0 = -3*s + b*t - 6 for s.
2
Suppose 27*r = 6*r + 84. Solve 0 = 5*k + 10, 4*k = -r*h - 7 - 5 for h.
-1
Suppose -3*v = 4*d - 40, 2*d - 2*v = 20 - 0. Suppose 3*y - 2 - d = 0. Solve 5*r + 3*b + 7 = -24, -y*r - 28 = 4*b for r.
-5
Suppose -5*g = -2*g - 12. Suppose 0 = 2*j + 2, 3*h - g*j = 49. Let i be (-6)/(-2) - 15/h. Solve -2*f + i + 1 = -3*x, f = 2*x + 1 for x.
1
Suppose 5*w + 6 = 16. Let p(g) = 2*g**3 - g**2 + g - 3. Let y(v) = -v**2 + 8*v + 2. Let a be y(8). Let m be p(a). Solve q = w*x + m, x - 2*q + 12 = -x for x.
-5
Let l = -6 + 9. Let y be (l + -2)/((-1)/(-3)). Let w(r) = r**3 + 7*r**2 + 11*r + 7. Let i be w(-5). Solve -y*x = -0*x - 3*h, -4*x = i*h + 24 for x.
-4
Let d(x) = 2*x**2 - 22*x + 38. Let n be d(9). Suppose i + n*w = -3*i + 18, -2*i + 5*w + 3 = 0. Solve -3*s = 3, -m + s + 6 = i*m for m.
1
Let i be (22/(-8))/((-126)/(-8) - 16). Let b(r) = -r**3 + r**2 - r + 3. Let d be b(0). Solve 0*p + 2*p = -c - i, 0 = 3*c + d*p + 18 for c.
-1
Suppose 4*k + 318 - 14 = 0. Let h = k - -85. Solve -2*g + h + 1 = l, -g + 5 = l for l.
0
Let p be -2*(-2)/8*(-1 - -3). Solve 2 + p = -2*s + 5*w, 5*w = -2*s + 7 for s.
1
Suppose 0 = -15*m + 16*m - 2. Suppose d + o - 7 + m = 0, 4*o = -20. Solve 5*j - l = -3*l + d, 5*j + 10 = 2*l for j.
0
Let q = -15 + 30. Suppose -2*y + 5*o = -30, y + 0*o + 3*o - q = 0. Solve 3*k + 3 = -4*p, -3*k + 0*k = y for p.
3
Suppose -2*d = 5*p + 3*d - 65, -2*d + 18 = p. Suppose 2*u = 6 - 2. Suppose -2 = -b + u*h, h + 10 = 5*b - 9. Solve -p = -c + 4*r, b*c + 3*r + 16 = -9 for c.
-4
Let l = 79 + -82. Let y be -4*((-6)/32)/(l/(-12)). Solve -y*b - 11 = -2*w + 9, 3*w - 32 = 5*b for b.
-4
Suppose -q + 7*q = 30. Solve -q*t - 5*k + 5 = 0, k - 3*k + 12 = -3*t for t.
-2
Let a(x) = x**3 + 2*x**2 - x - 1. Let z be a(-2). Let y(q) = 9*q + 6. Let i be y(-7). Let b = -54 - i. Solve 5*o + 4*d = -31, d + d - z = b*o for o.
-3
Suppose x = -2, 5*u - 13 = 2*u - x. Suppose 43 + 47 = 15*p. Solve -4*w - g + p*g - u = 0, 5 = 5*w - 4*g for w.
5
Let a(h) = -h**2 - 14*h + 74. Let l be a(-18). Solve 26 = l*i + 2*u + 2*u, -4*i = u - 17 for i.
3
Suppose -5*m = 2*n + 20 + 148, 5*n + 3*m + 401 = 0. Let i = n + 89. Solve -3*q = 4*y - i, -8*y + 3*y = 4*q - 12 for y.
4
Let d(r) = -r**3 + 25*r**2 + 26*r + 4. Suppose 0 = -9*v + 302 - 68. Let c be d(v). Let y be (1 - 0 - 0) + 19. Solve 1 + 15 = c*f - k, -5*f = k - y for f.
4
Suppose -i = -2*i + 4. Suppose i*b = -b. Let f be (-3 + b)/((-9)/12). Solve 0 = 3*n + 6, 3*r - f*n + n = 9 for r.
1
Let l = -5 + -2. Let p = 128 + -116. Let d = p + l. Solve f - 11 = -3*r, r + 4 = 4*f + d*r for f.
-4
Let g = 167 - 167. Solve g*s - 5 = -4*t - s, -3*t - 5*s = -25 for t.
0
Let p(m) = m**3 - 52*m + 25. Let x be p(7). Solve -l - 9 = -x*v, 2*v - 12 = -l - v for l.
3
Let z = -254 - -263. Solve 5*a = -5*i + 10, 3*a + 0 = z for i.
-1
Suppose 0 = 2*t - 3*l - 14, -16 = -3*t - 0*l + 2*l. Solve 5*r - d + 25 = -4*d, -t*r + 3*d - 20 = 0 for r.
-5
Let n(i) = -5*i - 1. Let l be n(-1). Suppose -1 = -o - 2*y - 5, 16 = -4*y. Let a = 20 + -20. Solve a = -3*k + o*u + 4, -4*k - l*u - 22 = 10 for k.
-4
Suppose 5*o - 7*o = -12. Suppose -4*k - 24 = -3*n + k, -3*n - o = 5*k. Solve 2*g + 5*j + 2 = -2, 3*j = -3*g + n for g.
3
Let h(y) = y**2 - 4*y - 41. Let a be h(9). Let b(r) = -2*r**3 - 2*r - 1. Let p be b(-1). Solve -a*m - 12 = 0, p*x - 5*m = 5*x + 25 for x.
-5
Suppose 0 = -3*f + v + 4, -v - 4 = -5*f + 4. Suppose -3*g = -5*g + 42. Suppose g + 3 = 6*r. Solve -d - 4*w - 15 = 0, 4*d - r*w - 6 = f*d for d.
-3
Let h = -10 + 1. Let u = h - -29. Let q = 23 - u. Solve q*c - 21 = n + 2*n, n - 5 = -3*c for n.
-4
Let d be 6/(-4)*-24 + -1. Let h = d + -35. Suppose -2*m + 5*l - 13 = m, h = 4*l - 20. Solve 11 = -5*f + 4*f + 3*r, -m*f - 14 = -2*r for f.
-2
Suppose -4*n + 19 = 15. Let y(w) = 4*w**2 + 2*w - 1. Let q be y(n). Solve 2*c + 12 = -2*s - 2*s, q*s + c = -15 for s.
-3
Let b(y) = -y**2 - 2*y - 1. Let u be b(-1). Let k = u + 2. Let a = 4410 - 4409. Solve c - 4*c = -k*q + 1, -a = -c + q for c.
-3
Suppose -2*w - 4*d = -4 + 2, -d - 1 = 0. Suppose 0 = 5*y + 2 + 8. Let u = y + w. Solve 2*v - 16 = -4*x, -4*v + x + 4 + u = 0 for v.
2
Let j(x) = -x**3 - 2*x**2 + 5*x - 9. Let l be j(-4). Let h(o) = 2*o**3 + o**2 - 2*o + 3. Let p be h(2). Solve -l*q + z + 13 = 0, 2*z + p = 5*q - z for q.
5
Suppose 3 - 6 = -3*z. Suppose -2*q = 4 + 40. Let j be ((-4)/(-6))/(q/(-33)). Solve -m = 4*r - 18, -2*r = -3*m - j - z for m.
2
Suppose 0 = 3*i - 8*i + 20. Let o be 22/18 - 6/27. Suppose y = -o + 4. Solve -3*f - 3*h - y = 0, -2*f - 7*h = -3*h - i for f.
-4
Suppose 0 = -4*f + 7*f - 3*u - 72, 4*u = 2*f - 40. Solve -26 = 4*p + 2*z, 0 = -2*p - 0*z - 4*z - f for p.
-4
Let v be (-6)/(-2) - 7*(-11)/77. Solve 4*m - 6*l = -v*l - 14, 1 = m - 5*l for m.
-4
Let j(k) = 4*k**3 - 3*k**2 + 5*k - 13. Let f be j(2). Let z be 16/6 - 1/(-3). Solve -z*v + f = -o, 6*o - o = -2*v - 17 for o.
-5
Let w(m) = -m**2 + 20. Let d be w(-4). Suppose -d*c - 17 = -65. Solve -2*f = -0*f - 3*o + c, 5*f + 11 = -2*o for f.
-3
Let g(b) = -b**3 + 8*b**2 - 14*b + 12. Let z be g(6). Solve 6 = -0*y + 2*y - 3*d, z = 3*y + 3*d - 9 for y.
3
Let b = 11 + -10. Let o be -10*(-21)/(-6)*b. Let c = o + 55. Solve 4*x + c = -h + 5*h, h = -3*x - 7 for h.
2
Let x = 2746 + -2742. Solve 4*c = -4*k, -x*k + 16 = -8*c + 4*c for c.
-2
Suppose -9*i = i - 20. Let u = 6 + -3. Let j = u + -2. Solve -4*s = 3*k - i*s + j, -k + 28 = -5*s for k.
3
Let z be 2 - 3 - (4 + -8). Let a be 4/12*(24 - z). Solve w + 4*c - a = 0, -2*w + 2*c + 6 = 2 for w.
3
Let p = 8 - 6. Suppose v + v - 4 = 0. Let u(d) = 16*d**2 + 109*d + 2. Let z be u(-7). Solve p*i = v*j + z - 7, j - 4*i = -20 for j.
-4
Let k be 2/((8/(-10))/(-4)). Let i = 0 + k. Let g be ((-12)/21)/((-4)/14). Solve -3*h + 2 = -f, f + 2 = -g*h + i for f.
4
Suppose 14*n - 136 = 10*n. Let t be n/(-153) - (-184)/18. Solve 10 = -y - 4*w, 0 = -2*y - w - 2*w - t for y.
-2
Suppose -6*o + o - 3*x = -35, -4*o + 25 = 3*x. Solve -14 = 2*w + 5*u, 0 = -2*w - 3*u - 0 - o for w.
-2
Suppose -5*y = 4*k - 49, 5*y = -3*k + 8*y + 57. Let z = 18 - k. Solve 0*i + 5*i - 30 = 2*d, d - z*i = -13 for d.
-5
Suppose 3*y - 29 = i - 6, -3*y + 19 = -5*i. Let b = -209 - -214. Solve -4*s + 4 = -y*s, 3*t - 2 = b*s for t.
-1
Let d(m) = m**3 - 6*m**2 + 7*m + 11. Let i be d(3). Solve h = 2*h + v + 4, -i*v - 14 = 3*h for h.
-3
Suppose -l - 3*d = 13, 18 = -4*d - 2. Let y be ((-6)/(-4))/(-3)*-6. Solve -7*b + 3*b - m = y, l*m = 4*b - 6 for b.
0
Suppose 9 = -22*d + 97. Solve 2*o - 18 = 4*f + d*o, 3*f + 11 = -4*o for f.
-5
Let r(p) be the third derivative of p**5/10 + p**4/8 + p**3/3 + 6*p**2. Let t be r(-1). Solve 0 = -t*y - 10, 2 = 5*f + 2*y - 3*y for f.
0
Let w(r) = 27*r - 77. Let a be w(3). Solve 2*y - a*t - 10 = -0*y, 4*t + 20 = 0 for y.
-5
Let f = 470 + -453. Solve -3*p - 4*r + 23 = -6*p, 0 = -5*p - 4*r - f for p.
-5
Suppose 84 = 21*p - 21. Solve p*x = 2*w - 3*w - 16, 28 = 3*w - 4*x for w.
4
Suppose 2*o = l - 11, 0 = -o - o + 3*l - 21. Let b(m) = 2*m**2 - 5. Let s be b(o). Solve -8 = -5*j + x, -4*x - s = -4*j - x for j.
1
Let u(f) = 8*f - 8. Let q be u(3). Suppose 5*w + 5*g + 12 = 32, w - 4*g 