
Let m(x) = -x**3 + 5*x**2 - 4*x + 7. Let y be m(4). Suppose 0 = -y*b - 0*b + 56. Solve -3*a - 4*r - 22 = 0, b = a - 3*a - r for a.
-2
Suppose -5*b + 3*q = 0, b = -b - 3*q. Let t(y) = -2*y + 2. Let r be t(-6). Solve b = -4*z + 4*i - r - 14, -4*z - 23 = -3*i for z.
-2
Let j be (-10)/(-5) + 0 + 1. Suppose j*t - 3 = 6. Solve t = -z - o, 5*z - 2*o + 21 = -o for z.
-4
Let r(d) = -6*d + 2. Let n be r(0). Solve -p + 2 + 5 = -2*v, n*v + 19 = 5*p for p.
3
Let r be 5/((-15)/(-2))*3. Solve -4*k + 0*y + 10 = 2*y, -2*y = -r*k + 14 for k.
4
Suppose -g = 4*l + 3 + 13, -4*l - 12 = 2*g. Let j be (32 + -2)/(6/g). Solve 0 = -5*h - 4*c + 14 + 21, j = 5*h + c for h.
3
Suppose 0 = 8*j - 3*j + 30. Let k = -3 - j. Solve -k = -s + 4*h - 1, -s - 4*h = -2 for s.
2
Let k(s) = 0*s - 3*s + 4*s. Suppose -q = -6*q + 10. Let t be k(q). Solve 0 = -3*h + 15, -17 = t*a + 2*a - 5*h for a.
2
Suppose 3*k = -4*k. Solve -6*i + 2*i - 20 = -3*q, 3*q + 5*i - 2 = k for q.
4
Let t be (-4)/(-14) - 12/(-7). Suppose -6 = -t*s - 0. Suppose 0 = v + s*v. Solve -w - o - 2 = v, 5*o = 5*w - 3*w - 24 for w.
2
Let p(y) = -y**3 + 4*y**2 - 2*y + 3. Let z be p(3). Let o be -15*3/(3 - z). Solve -5 = 4*t + l, -2*t - 4*l = -7*l - o for t.
0
Suppose -4*c + 68 = -4*d, 3*c = 6*d - 2*d + 53. Let w = -4 + 8. Solve -11 + 32 = -w*m + 3*k, 2*k = 3*m + c for m.
-3
Let a(v) = -v**2 - 8*v. Let m be a(-8). Let w = m - 0. Suppose -3*c + 0*c + 12 = 0. Solve 2*n = 5*j + 17, -n = -w*n + c*j + 11 for n.
1
Suppose -p + 7 = 1. Solve 0 = -4*i + 2*c - p, -4*i - i - c = 18 for i.
-3
Suppose x = 2*f + 3*f - 42, -f + 2*x + 12 = 0. Suppose 3*k = -k + f. Suppose 0*d - k*d = -4. Solve -2*n = j + d*n + 4, 0 = 5*j + 3*n + 20 for j.
-4
Let l = -30 - -42. Suppose 6*m = 2*m + l. Solve 4*g + 12 = -2*j, j + 8 + m = -3*g for g.
-5
Let z(v) = -v**3 + 6*v**2 + 15*v + 11. Let f be z(8). Solve 5*q = 4*t, 5*t - 2 = 5*q + f for q.
4
Suppose -k = -2*z - 11, -5*k + z - 5*z = -13. Solve 0 = d - 4*d - 3*v + 30, 0 = -5*d + 4*v + k for d.
5
Let j(l) = -l**2 - 8*l + 12. Let r be j(-9). Solve 0 = 2*s + r*q + 6, 3*s - 4*q + 3*q = 2 for s.
0
Suppose 0*d + 212 = 4*d. Suppose 3*t = 179 + 64. Let f = t - d. Solve -4*v - 2*i + 6 = 0, -3*v = -3*i + 1 - f for v.
4
Let h = -8 + 11. Suppose -2*c - 16 + 5 = -i, 2*i - h*c = 19. Suppose 5*t = -3*j + 5*j + 2, 0 = t + 5*j + i. Solve 4*s - 2*d + 6 = 3*s, t = -3*d + 12 for s.
2
Suppose k + 5*i = 2, 1 = k + 4*i - 4. Solve 0 = -5*p - 5*u + k + 3, 5*p - 16 = -u for p.
3
Let o be (-5)/15 + (-14)/(-6). Suppose -4 = -c - d, -5 = -3*c - o*d + 3. Solve 3*n - 1 = -m + 3, 5*m + 10 = c for n.
2
Let j = 9 + -7. Suppose 5*g - 105 = 5*b, 47 = 4*g - j*b - 37. Solve w + 2*w - 5*v + 6 = 0, -3*v + g = 4*w for w.
3
Let d = 1 + 3. Suppose 4*p - 16 = j, j + j + d*p = 28. Solve 4*a + 3*v + 9 + j = 0, 0 = -4*a + 2*v - 18 for a.
-4
Let w(g) = -g**3 + 7*g**2 - 4*g - 8. Let d be w(6). Let m(n) = -22*n - 129. Let k be m(-6). Solve -k*c - 4 = -4*i, 18 = -d*c - 0*c - i for c.
-4
Suppose -2*c = 3*c + 10. Let a = 3 - c. Solve 0 = a*y - 5*z, -y = -0*y + z + 6 for y.
-3
Suppose 5*v - 16 = v. Let n = 0 + v. Let o(h) = -2*h**2 + 16*h - 9. Let g be o(7). Solve -5*q = n*t + 13, q + 2*t + g = -0 for q.
-1
Suppose 0 = -0*n - 3*n. Let h = n + 5. Suppose -3*g = 24 - 30. Solve h*t = 3*v + 6*t + 6, g*v + 4*t = -14 for v.
-1
Let v be (1/4)/((-7)/4 - -2). Solve -3*s + 6 = -3*r, 3*s - 5*r - v = 5 for s.
2
Let q(i) = 3*i**2 + 2*i + 1. Let g be q(-1). Suppose 0 = g*v - 8, f + 2*v - 9 = 8. Solve 0*a = 3*p + a + f, -5*p - 15 = a for p.
-3
Let f be (8/12)/(4/18). Suppose 4*z + f - 7 = 0. Let x(p) = 3*p**2 - 2*p + 1. Let o be x(z). Solve -2*l = -10, l - 18 = 3*n - o*l for n.
-1
Suppose -k = k. Suppose -2*s + 4*j + 36 = k, 2*s + 2*j = j + 21. Solve -4*x - 12 = 0, -4*x - 3 = -3*t + s for t.
1
Let m(k) = -3*k - 4. Suppose -8 + 24 = -4*v. Let n be m(v). Let h be (-3)/(22/n + -3). Solve 4*o + h = 4*l, 1 = l - 2 for o.
0
Let x(s) = -1 - 3*s + 2*s + 0*s. Let r be x(-6). Let j = -40 + 41. Solve 0 = -r*u + 5*t + 5, 5*u - 5*t - j = -2*t for u.
-1
Suppose 13 = 4*z - 7. Suppose 8*g = 3*g + z*m + 30, -1 = -g - 4*m. Solve 30 = 3*k + 2*k + g*c, 4*k - c = 14 for k.
4
Suppose 0*k - 4 = k. Let m = 8 + k. Solve -5*c = -3*t - 19, -3*t + 4*t - 5 = -m*c for t.
-3
Suppose -5*v + 0*v = 25. Let l = 3 - v. Solve y + 8 = -b - b, -2*b - l = -4*y for b.
-4
Let x = -1 + 15. Let d = x - 6. Solve 4*t - 5*b - 2 = -d, -2*b = 4 for t.
-4
Let y = 3 + -3. Suppose 2*h = 5*h + 3*i - 9, y = 5*h - 3*i + 9. Suppose 0 = -h*u + u. Solve 2*p + 3*g - 16 = 0, -g - 3 = -p - u for p.
5
Let s be (2/(-6))/((-2)/18). Let w be (-2 - (-8)/s)*6. Let v(c) = c**2 - 6*c + 3. Let p be v(6). Solve 2*a + 3*a = -2*h + 30, w*h - 8 = p*a for h.
5
Let y(a) = -a - 8. Let i be y(-10). Suppose 0 = -i*r + 5 + 1. Suppose 8 = n - 6. Solve n = j + 5*b, -j + r*b - 6 = -2*b for j.
4
Let i(p) = p. Let w(z) = -z**2 - z - 1. Let u(h) = i(h) - w(h). Let s be u(-3). Solve 4*l + s*n - 28 = 0, -2*l + 3*n = 4*n - 10 for l.
3
Let d(o) be the first derivative of -o**4/4 - 4*o**3/3 + 2*o**2 - o - 2. Let v be d(-5). Suppose -v = -3*x + 5. Solve 0*z - x*z - 26 = 4*r, -27 = z + 5*r for z.
-2
Suppose 0 = 4*m - 2*z + 26 - 72, 4*m - z - 47 = 0. Solve 4*n = m, -3 = 3*s - 4*n - 0*n for s.
3
Let z(h) = -h. Let n be z(-2). Let m be ((-2)/4)/(1/(-2)). Let a be (m*n)/(4/8). Solve -3*c = -f + 11, a*c + 31 = -3*f + 12 for f.
-1
Let m(a) = 1. Let l(p) = p + 8. Let v(d) = -l(d) - 2*m(d). Let g be v(-7). Let c be (-47)/g - 4/6. Solve -4*h - 2*q = 0, -4*q + 9*q = 5*h + c for h.
-1
Let h = 41 - 36. Suppose 3*g + g = 12. Solve -h*o = m, -g*o = -m + o for m.
0
Let t be (-1)/((-3)/177) + -2. Let u be t/21 + 2/7. Solve -7*n + u*n - 20 = -5*j, -n = j - 4 for n.
0
Let g(h) = 2*h**2 + h. Let l be g(1). Solve -b - 8 = 2*y, l*y + 13 = -5*b - 13 for y.
-2
Let d(i) = i**2 - 5*i - 8. Let w be d(6). Let j be (5 + -2)/(-3)*w. Solve 0*x + 5 = 2*t + 5*x, j*x + 14 = -4*t for t.
-5
Let m be 4/(-10) + (-256)/10. Let y = m - -44. Suppose 6 + 0 = -4*j + 3*u, -8 = 4*j - 4*u. Solve j*a + 3*r - 10 = a, y = -4*a + r for a.
-4
Let a = 46 - 26. Let t = -12 + 17. Suppose -d - t*z = -39, -5*z + 67 = 5*d - 2*d. Solve -4*q = 2*v - a, 2*v - d = -3*q + v for q.
4
Let k(w) be the first derivative of 3*w**2/2 - 6*w + 2. Let l be k(6). Let z = 6 + -1. Solve z = -4*j - n + 21, -3*n = l for j.
5
Suppose 0 = 4*p - 9*p + 15. Solve -p*o - 4 = 2*s - 5*o, -s + 13 = 2*o for s.
3
Suppose -3*a + 29 = 4*w, -3*a + w + 17 = -w. Solve 3*h = 3*m + 5*h + a, 3*m = 3*h + 18 for m.
1
Suppose -5*n - 2*u = -21, -2*u + 6*u - 18 = -2*n. Let v(j) = j**3 + 9*j**2 + 6*j - 11. Let a be v(-8). Solve -3*x = 5*k - n + 10, a*x = -k - 19 for x.
-4
Let y(g) = g**3 - g**2 - g + 6. Let z be y(0). Let j be 1/3 + 72/27. Solve -2 = o + j*a, 0 = -z*o + 3*o + a + 14 for o.
4
Let f = -4 - -2. Suppose 13 = -4*c - 11. Let b be c/(1*3/f). Solve 6*p + 12 = 3*n + p, -4 = -n - b*p for n.
4
Suppose -4*j + 4 = -2*m, 3*m - 19 + 4 = -j. Suppose -2*z + 0*z = -4*t, 2*t = -5*z + 24. Solve 7 = -5*k - 3*o, -t*k - 5*o = 3 - m for k.
-2
Let u = 62 - 60. Suppose 3*f - 72 = -0*f. Solve 4*a + f = -0*w - u*w, -w = -5*a - 16 for a.
-4
Suppose -5*j = 3*d + 5, -j + 5 = 4*d + 6. Let z = d - -3. Solve 16 = -2*x + 3*s, 0 = -z*x + 5*s - 0*s - 26 for x.
-2
Suppose -2*o - 5*x + 17 = -4, -5*x = 3*o - 29. Let d = 18 - o. Let m = d - 7. Solve m*s - 2*j = -16, 6 - 4 = s + 3*j for s.
-4
Let x = 0 + -6. Let i be 1 - (x/(-3) + -2). Solve i = -5*k - 4*y, 4*k - 3*y - 8 = 16 for k.
3
Let f = 23 - 38. Let p be 26/10 + (-6)/f. Solve 3*g = -2*d - 7, -4*g - d - p*d - 8 = 0 for g.
-3
Let i = 6 - 4. Let v = i + 0. Solve v*r + 4*u + 12 = 6*r, 15 = -3*r - 3*u for r.
-1
Suppose 5*u - 112 = -2*j, 3*u + 2*j + 0*j = 64. Suppose 4*r + 51 = 5*o + 3, -u = -3*o + 4*r. Solve 0 = 2*z + x - 3, -5*z - x + o = 3*x for z.
0
Let m(t) = -t - 4. Let o be m(-6). Solve o*h = r - 6, -4*r - h - 6 = -3*r for r.
-2
Suppose 5*o + 2*h = 29 + 4, -2*o = 4*h - 26. Solve 1 = 5*n - d, 2*n - 6 = o*d - 1 for n.
0
Let t(h) = 8*h + 89. Let w be t(-9). Suppose -6 = -d - d. Solve 0 = -2*m - i - 5, -w = 4*m - 2*i - d*i for m.
-3
Let z be (-2 - -5)/(6/4). Suppose -g - 9 = z*g. Let k be -4 - (g - -1) - -11. Solve j - 9 = v, 4*j = -v + 2 + k for j.
4
Let j = 4 - 1. Solve l - 3 = -4*r, -r - 1 = j*l - l for l.
-1
Let u be (-8)/((0 