-5*i + 5*m - m + 21 for i.
5
Let c(m) = 3*m**2 + 10*m - 8. Let s be c(-4). Solve s = b + 5*x - 5, 3*b - 2*x + 2 = -0*x for b.
0
Let z(r) = 5*r**3 - 2*r**2 + 1. Let b be z(1). Let n = b + -4. Suppose 4*w + 0 + 1 = 5*c, n = 5*c - 25. Solve 3*p = g + 6 + w, -2*p + 8 = -3*g for p.
4
Suppose 4*h = 20, -5*h - 5 = 5*d - 10*d. Let n be 2/3*27/d. Solve n*j = -l + 3, l + 2*l - 3*j = 9 for l.
3
Let y = 8 - 5. Suppose 2*j + 25 = 5*g, y*j = g + g - 10. Suppose -5*p = -j*p. Solve 0 = -h - 0 - 5, p = -4*c - 4*h - 8 for c.
3
Suppose 3*q + 2 = 14. Solve -q*h + 37 = -5*j, -2*h = -3*j - 0*j - 21 for j.
-5
Let p be 0/1 + 8*1. Suppose -14 = 3*i + 34. Let m be (-18)/p*i/6. Solve -2*k = -4*n, 3*k + m*n = 3*n - 18 for k.
-4
Let r(z) = z**2 + 2. Let s be r(0). Solve m - 2 - s = 0, 22 = 2*o + 5*m for o.
1
Let y = -32 + 37. Solve 4*t - y*d = -d - 8, -3*t = 3*d - 18 for t.
2
Suppose 4*k = 4*x - 10 - 2, -3*k = -5*x + 15. Solve 2 = 2*b + x*t, 4*b - 7 = -t - 3 for b.
1
Let s(y) = 7 - 2*y - 3*y + 4*y. Let l be s(3). Solve 5*p + 2 = -6*q + 2*q, -4*p - 4 = l*q for p.
2
Suppose 2*t = -t + 9. Suppose -4*a = 2*q, -q + 2*q + 6 = a. Suppose -5*p + 2 = -2*w, -4 = a*p - 2*w - 0*w. Solve 5 = -t*k + f, -3*f - 5 = p*f for k.
-2
Suppose 0*d + 20 = 5*d - 2*f, 25 = 5*d - f. Let n be 28/d - (-1)/3. Solve 8 = -2*z, n*w - 2 = 3*z + 25 for w.
3
Let x = 3 - -1. Solve s - l + 9 = 0, x*s - 3*l - 15 = -47 for s.
-5
Let h(c) = 5*c - 4*c - 3*c + 3*c + 5. Let b be h(-3). Let w(i) = -i**2 - 4*i + 7. Let y be w(-5). Solve -b*v - 2 = 0, 4 = -y*j + 2*v + 2*v for j.
-4
Let m be -3 + 9*(-1)/(-3). Solve m = -3*y + 3*p + 1 - 10, 5*y + 35 = -5*p for y.
-5
Suppose 3*l = -5*c + 19, c - 2*l + 13 = 3*l. Solve c*q = 2*j - 12, -j + q = -4*j + 14 for j.
5
Suppose 0 = -u + a, 3*u = a - 0 - 2. Let q be (-4)/(-6)*3 - u. Solve 3*h - 2*i + q = 7, -2*i + 8 = 0 for h.
4
Suppose -2*p - 2*p + 5*k + 3 = 0, 2*p + 5*k = 9. Suppose 4*d + 1 = 5. Suppose -d = 4*a - 9. Solve -5*b = 2*q + 18, p*q = -a*b - 0*q - 6 for b.
-4
Let l = -15 - -9. Let u be l/(-5)*(-10)/(-3). Solve -4*b = -7 + 19, 3 = -5*q + u*b for q.
-3
Let h(g) be the second derivative of g**4/12 - g**3/3 + 2*g. Let p = 1 + 2. Let x be h(p). Solve 0 = z + x*s + 1, -3*z + 4*s = -z - 8 for z.
2
Let p = -3 + 2. Let n be ((-6)/(-3) - 2)*p. Solve -5*b - 37 = -4*m - n*m, 3*m + b = 4 for m.
3
Let g = -43 + 71. Solve 0 = -5*z + 5*r - 5, 0*r - 4*r + g = 2*z for z.
4
Suppose 2*h = -0*d + 3*d - 19, 4*h + 35 = 5*d. Let o be 2/3*15/10. Let k = o + 2. Solve 3 = -k*m + p, 4*m + m - p = -d for m.
0
Suppose 5*r - 4*o - 2 = 0, -4*r + 1 = o - 4*o. Let b be (-18)/4*r/3. Solve -2*a + 5*j + 21 = -6, -j = 2*a + b for a.
1
Let h(t) = -3*t - 2. Let x be h(-2). Suppose -x*s - 8 = -3*m, -m - 27 = 4*s - 3. Let k be (-24)/(-10) - 3/s. Solve k*d = 2*v - 17, 5*v - 2*d = 2*d + 25 for v.
1
Suppose -3*q = 4*c + 8, 10 = 5*q - 0*c - 5*c. Suppose -5*k + 4*k + 15 = 0. Solve q = -5*s - 4*u - k, -3*u + 2*u = 4*s + 1 for s.
1
Let y(g) = -8*g + 2. Let t be y(2). Let m(i) = -i**3 - 15*i**2 - 17*i - 16. Let b be m(t). Solve 0*w + 5*k = -2*w, -4*w = -3*k - b for w.
5
Suppose 4*u + 1 = 2*f + 7, 0 = -2*u + 3*f + 1. Solve 25 = 5*b, -d - b + u*b - 7 = 0 for d.
-2
Suppose 11*r = 14*r - 6. Solve -5*z - 7 = 4*a, 0 = -a - z - r + 1 for a.
2
Let i be 2/(-11) + (-395)/(-55). Let a(h) = 2*h - 9. Let x be a(i). Suppose 0 = j + 4*j - 30. Solve -q - 2*q + j = 2*o, x*o = 3*q + 15 for o.
3
Let o(i) = -i**3 - 5*i**2 - 3*i + 4. Let q be (-16)/(-6)*(-12)/8. Let v be o(q). Solve -m + v*m + 2*k = -3, 0 = -4*k - 16 for m.
-5
Suppose 0*s + 4*s - 36 = -5*y, 3*y - 8 = s. Suppose d - 68 = -2*x - x, y*d + 1 = x. Solve 5*u + 15 = 0, 3*u + x = -4*t + t for t.
-4
Let j(f) = f + 9. Let i be j(-10). Let o = 4 + i. Solve 20 = -o*q - 5*k, 2*q + k + 1 = -3 for q.
0
Let r be (-2)/9 + 1197/(-81). Let a = r + 15. Solve a = 3*q + 4*h - 0*h - 25, 4*q = 2*h + 4 for q.
3
Let i(d) = -d**3 + 12*d**2 - 12*d + 5. Suppose 0 = o - 8 - 3. Let u be i(o). Let y be (u/4)/(9/(-12)). Solve 3 - y = -c + 4*a, -5*c - 2*a = 27 for c.
-5
Let q(c) = c**2 + 2*c - 3. Let m be q(-4). Let y = 4 + m. Solve o + 5 = 3*x - o, -4*o = -5*x + y for x.
1
Suppose 0 = -k + 2 - 1. Suppose -m = -k - 2. Let x(f) = f - 6. Let o be x(6). Solve -3*g + 3 = -o, -u - 2*g = -m for u.
1
Let v(l) = -50*l + 2. Let w be v(2). Let k be w/(-21) - 2/3. Let f(h) = h**3 - 5*h**2 + 5*h - 2. Let s be f(k). Solve -3*o + s*d = 6*d + 10, 2*o = -d - 5 for o.
-2
Let j be 3/2*208/39. Let k be 161/4 + (-2)/j. Solve 0 = -5*s + a - 21, 5*s = s - 5*a - k for s.
-5
Suppose -3*c + 10 = 2*o, -2*c - 3*o - 1 = -6. Let w be -3 + c + -2 + 2. Solve 0 = -a + w, 4*r + 5*a - 5 = 0 for r.
0
Suppose 3*z - 7 - 2 = 0. Let v(w) = -w + 5. Let a be v(z). Solve g = -6*x + 3*x - 16, 2*g = a*x for x.
-4
Let i = 9 + -4. Let z be (75/(-6))/(2/(-4)). Suppose -t - 89 = -6*t - x, -t = 2*x - z. Solve -4*o + 2 = -i*d - t, -2*d - 11 = -5*o for o.
1
Suppose 0 = -3*u + 20 - 2. Let r = 4 - u. Let g be (-28)/(-8) - (-1)/r. Solve -2*t = k - 0*t - 15, g*t = 4*k - 5 for k.
5
Suppose -45 = -7*j + 2*j. Solve z = 2, -3*z - 2*z = h - j for h.
-1
Let u = 5 - 8. Let w = 54 - 102. Let m be (u/(-2))/((-18)/w). Solve -4*n + b = 2, 2*n + 5*b + 8 = m*n for n.
-1
Let w(j) = -j**2 - 5*j - 2. Let d be w(-3). Suppose -10 = 2*g, -g + 113 = d*l - 2*g. Solve -5*y - 30 = -5*m, -m - l = -5*m + 5*y for m.
3
Let h(i) = -1 + 3*i**2 - i - 18*i**3 - 4*i**2 + 6*i**3. Let y be h(-1). Solve -m + y + 0 = -3*s, -5*s = 3*m - 5 for s.
-2
Let s(u) = -u**3 + 5*u**2 - 5*u + 6. Let n be s(4). Solve 2*m = -2*i - i - n, 5*i + m + 8 = 0 for i.
-2
Let i = 2 + -6. Let t = -2 - i. Let a be 2 + t - 0/5. Solve d = r + a*d, 0 = 2*r + 4*d for r.
0
Let t be (-388)/14 + 6/(-21). Let v be (-30)/(-7) + 8/t. Solve 6*w - 2*w - 16 = v*l, 0 = -w - 4*l - 1 for w.
3
Suppose 5*m - 5*a = 20, -2*m + m + 12 = 3*a. Suppose -1 + 11 = 5*c. Suppose c = -r + m. Solve 3*b - 5*b + 2 = 2*p, 0 = -r*p - 5*b for p.
5
Let k = -11 - -13. Suppose k = s - 2. Solve 1 + 15 = 5*h - q, q - s = 0 for h.
4
Suppose -2*g = -3*g + 1. Suppose -x - 2*x - 4*p = 6, 5*p = 0. Let s = g - x. Solve 0 = -4*j + s*l + 11, 0 = -3*j - 2*l - 2*l + 27 for j.
5
Suppose -11 + 3 = -4*r. Let g = r + -2. Let b = 3 - g. Solve 2*d - 2*z + 4 = 3*d, -28 = b*d - 4*z for d.
-4
Let j = 17 - 16. Suppose 2*x - 5*r - 30 = -3*x, 0 = -4*x - r + 34. Solve -k - 4*n = n - x, k - 4*n + j = 0 for k.
3
Let f = 3 + 1. Solve -2*w - 3*w = -f*n + 4, -3*w + 3 = 3*n for w.
0
Let z(b) = b + 1. Let t(h) = -7*h + 6. Let n(y) = t(y) + 6*z(y). Let k be n(7). Solve -3 = i - d, -2*i + i - 3*d = -k for i.
-1
Suppose 2*h = 3*h - 5*c + 272, 0 = -3*h - 2*c - 833. Let p = h - -196. Let y be p/(-6) + 2/4. Solve z = -2*s - y + 3, -2*s = 2*z + 14 for s.
-4
Suppose 2*l - 5*b - 33 = 0, 0*b = -5*b - 25. Suppose -2*m - 40 = -l*o, -o + 3 = 3*m - 0*m. Let y = o + -5. Solve 0 = -4*k + 8, -5*r + 0 = y*k - 13 for r.
1
Suppose -5*q = -2*h + 11, 7*q = -5*h + 4*q + 12. Solve -3*f - 5*y + 8 = 0, h*y - 4*y = 2*f + 4 for f.
-4
Let y(j) = -j**3 + 5*j**2 - 4*j + 2. Suppose 2*r = r, 2*r + 4 = p. Let w be y(p). Solve w*a - 4*a = -4*s - 10, 8 = -2*a - 2*s for a.
-1
Let c(x) = x**3 + 11*x**2 + 10*x + 5. Let h be c(-10). Solve -1 = b - j, -h*b = -4*j + j + 7 for b.
-2
Let k = 17 - 12. Solve v - o = -k, -v + 0*v + 2*o - 6 = 0 for v.
-4
Suppose -10*v + 27 = -7*v. Let l = 2 + -4. Let c = 2 + l. Solve -6*d + v = -5*n - 2*d, c = 3*d - 3 for n.
-1
Let y = -15 - -33. Solve -3*w + 5*s - y = 0, -2*w + 6*w = 4*s - 16 for w.
-1
Suppose 0 = 8*p - 9 - 7. Solve -p*l + 6*l = -20, 5*l = 5*h - 30 for h.
1
Suppose -20*y - 21 = -27*y. Solve y*b = 2*f - 2, 5 - 3 = -f for b.
-2
Let u be 120/(-21) + (-2)/7. Let d = u + 15. Solve -3*f = -5*b - 2*f - 7, -d = 3*b - 3*f for b.
-1
Let m be ((-3)/6)/(1/4). Let x be 4*((-5)/2 - m). Let y = -2 - x. Solve y = 2*b + 2 + 4, -4 = l + b for l.
-1
Let k(n) = -n + 1. Let x be k(-3). Solve 4*w - 9 = -v + 7, 2*v + x = 4*w for w.
3
Let i(u) = 2*u + 38. Let b be i(-17). Solve 0 = -4*y - 5*s + 15, 1 = -b*s - 3 for y.
5
Let b = -74 + 76. Let y(p) = -p**2 - p + 12. Let s be y(0). Solve -5*h - s = -b*h - 5*i, -4*h = 5*i + 16 for h.
-4
Let l(t) = t**3. Let f(v) = 3*v**3 + 6*v**2 + 7*v - 4. Let j(c) = -f(c) + 4*l(c). Let w be j(7). Solve -2*h - 8 = -4*z, 4*h - 2 = w*z - 6 for z.
3
Let g = -12 - -27. Let n 