+ 27 = c, 4*t - 44 = -4*c - 0*t. Let x = 12 - c. Solve 0 = x*b + u + 5, -u + 2*u = 3*b + 3 for b.
-1
Let c = 11 + -8. Suppose -c*n = -6*n. Solve 2*t = 0, 2*q - t + 6 + n = 0 for q.
-3
Suppose -3*a = 6 + 6. Let k be (9/(-6))/(1/a). Solve 17 = -d - 4*n, k*d - 2*d = 2*n + 22 for d.
3
Suppose 4*b - 2*y + 2 = 0, 2*b = 4*b - 5*y + 21. Suppose -b*h + 14 = -16. Suppose -h - 10 = -5*l. Solve 4*g - 4*k + 4 = 0, l*k - 4 = 4*g - 1 for g.
-2
Let m = 2 - -6. Suppose -2*h = -2*i + 18, -2*i = -4*i - 4*h - 12. Let g = m - i. Solve 9*d - 24 = g*v + 4*d, -2*d + 10 = -2*v for v.
-1
Suppose 0*n + 2*n + 66 = 0. Let h = n - -15. Let a be (-7 + 1)/(h/12). Solve -3*j - j + a*k = -8, -18 = j + 4*k for j.
-2
Let v = 70 - 67. Solve c + 13 - 4 = j, 3*c = -v*j + 3 for j.
5
Suppose r + 20 = -4*r + 5*w, -1 = -w. Let j be (-11)/r - (-2)/(-3). Solve 4*x = -3*p + 7, 5*p - 2 = j*x - 0 for x.
1
Suppose 0 = 2*i + 5*j + 15, 2*i - 12 = 4*j. Suppose 0 = -4*p + 3 + 5. Let n be 14 + 0 + -1 - p. Solve x + 13 = 2*x - 2*k, i = -3*x - 4*k - n for x.
3
Let t(y) be the first derivative of y**3/3 + 3*y**2 + 4*y - 2. Let d be t(-6). Let a be (11/4)/(7/28). Solve -2*c + d*c = -f - 10, -f + 5*c = -a for f.
-4
Let o(k) = k + 11. Let p be o(-9). Suppose 4 = p*j - 8. Solve 3*l - 9 = -5*t, 0*l - 3*t - j = -2*l for l.
3
Let l = 157 + -155. Solve l*a + 0*a - 15 = -5*r, r - 2*a = 15 for r.
5
Let a(k) = 3*k. Let z = -12 - -19. Let o be a(z). Solve 3*f = -y - 12, -o = 6*y - 3*y + 4*f for y.
-3
Let f = -78 - -81. Solve -3 = 3*k, 4*q + f*k + 11 + 8 = 0 for q.
-4
Let x = -10 + 7. Let q be x + -1 + 2 - -2. Solve -28 = -4*o - 3*k, -4*o + 2*o + 4*k - 8 = q for o.
4
Let v(f) = -f + 17. Let y be v(14). Solve 0 = -b + y, -21 = 2*l + 2*l - 3*b for l.
-3
Suppose 5*l - 20 = 5*j, 5*l = 3*j + 8 + 12. Solve -2*g + 4*y - 2 = j, g = 3*y + 1 - 5 for g.
5
Suppose -3*s + 2*d = -0*s - 44, -2*s - d = -27. Suppose -50*g = -46*g - 12. Let k(u) = -2*u - 4. Let q be k(-3). Solve 3*t + q = s, 5*i - g*t + 12 = 0 for i.
0
Let x = 33 + -25. Solve -x = 2*a, q - 2*a = -4*a - 11 for q.
-3
Let g(i) = i**2 + 3*i. Let z(m) = -4*m**2 - 1. Let c be z(1). Let f be g(c). Let u = -5 + 9. Solve -7 + u = -b + t, -2*b + 3*t = -f for b.
-1
Suppose 6*s - 6 = 4*s. Let c(l) = -l + 3. Let b be c(7). Let o be (21/4)/(b/(-16)). Solve -s*d - o = 4*m - 4*d, 5*m + 2*d = -10 for m.
-4
Let p be ((-24)/(-9))/((-8)/(-12)). Suppose 5*q - 16 - 129 = -4*f, p*q - 144 = -4*f. Solve 4*k + 3*x = 25, -4*x - x + f = 5*k for k.
4
Let o = -13 - -15. Solve -o*a + 4 = -2*m, -5*a + m = -2*m for a.
-3
Suppose 5*c = 3*c, b = -4*c. Suppose b = -v - 0*v. Solve v = 3*r - 5*r - 3*j - 3, -2*r - 2*j - 4 = 0 for r.
-3
Suppose 0 = -y + 4*y + 6, 0 = -f - 4*y - 7. Let l = -2 + 4. Suppose 2*z - 48 = l. Solve -r - 3*a + 4 = -f, 0 = 5*r + 2*a - z for r.
5
Let a(m) = -m**2 + 7*m - 1. Let n be (1 - 0)/((-9)/(-54)). Let w be a(n). Solve 0*k - k = 2*f - 7, 10 = 5*f - w*k for f.
3
Suppose 5*y = y - 3*l - 7, -2*l = y + 8. Let t(k) = 2*k**2. Let b be t(1). Let r be 0*(0 - (-1)/2). Solve r = q + y*v - 5, b*v + 2*v = 0 for q.
5
Suppose 4*o = -16, o = -2*i + 3*o + 12. Suppose 0 = -c - 3*k + 20, -c + 3*k + 58 = c. Solve i*x = 2*a - 8, 0 = -2*x + x - 5*a + c for x.
1
Let y = 1 + -4. Let i be (y - 14/(-6))*-6. Let r be (-50)/i*8/(-5). Solve 0 = 2*d, 3*d - r = -5*x - 0*d for x.
4
Let k = 67 + -62. Solve g = 3*t + 9, k*g + 11 - 32 = 3*t for t.
-2
Suppose 0 = 2*t - 5*r - 31, t + 5*r + 14 = -8. Let f(z) = -2 + 5*z - 4*z - 3*z. Let c be f(-3). Solve c*s = 3*k - 4, -2 - 1 = 5*k + t*s for k.
0
Suppose -2*h + d - 4 = -2*d, d - 2 = 0. Let j be 0/(5 - (h - -1)). Let s(z) = z - 1. Let w be s(3). Solve j = 3*t - 7*t - 4, -2*v = 2*t - w for v.
2
Let d(y) = -7*y - 2. Let b be d(-3). Suppose 2*v = 10, -l + v + 2*v - 9 = 0. Solve -l*k + 3*k + b = n, -3*n - 4*k + 32 = 0 for n.
4
Let x(z) = 3*z**2 - z - 1. Let q be x(-1). Let d = q - -1. Solve -w + 0 = t - 4, 8 = d*t - 4*w for t.
3
Let a(z) = -z**2 + 10*z + 2. Let i be a(10). Let j(s) = -s**2 - 5*s. Let g be j(-4). Solve p + p - i = -g*w, 10 = 2*p for w.
-2
Suppose -n - 32 = -34. Solve n*l = 3*h + 4 + 3, -3*l = -2*h - 3 for l.
-1
Let b be ((-2)/(-3))/((-8)/(-36)). Suppose -b*d + 5*s - 1 - 5 = 0, 3*d = 3*s. Solve -5*i + 14 = -5*x + 39, 7 = -i + d*x for i.
-4
Let h(y) = y**2 + 5*y + 5. Let u(i) = -6*i**3 + i. Let a be u(1). Let p be h(a). Let m be (-4)/(-10) + 13/p. Solve -4*b = -3*k - 7, 0*b + 5*k + 8 = m*b for b.
1
Let s be (0/(1 - 5))/2. Suppose 17 = 3*c - 5*l, c + 1 = -s*c - 5*l. Solve -5*p + 5*u = -21 - 14, c*p + 4*u - 4 = 0 for p.
4
Let o(d) = -6 - 1 - 9*d + 2. Let v be o(-5). Suppose -12*y + 17*y = 60. Solve -4*z = -4*b + y, z + 5*b + 13 - v = 0 for z.
2
Let m(q) = q**2 + 15*q + 5. Let c be m(-15). Solve 3*b - 3*w = -30, -2*b - w - 2*w = -c for b.
-5
Suppose -5*d - u = -20, 5*d + 0*u - 3*u - 20 = 0. Solve 5*v + 0*v - 15 = -3*g, 0 = d*v + 2*g - 12 for v.
3
Let n = -39 - -41. Solve -l - 1 = n*u, 4 = u + 2*u - 4*l for u.
0
Suppose 4*l + 57 + 11 = 0. Let z = l - -30. Solve z = -5*h + 3*g, -h + 2*h - 5*g = -7 for h.
-2
Suppose 0 = -q - 5 - 6. Let t = 11 + q. Solve -o - 4*s - 7 = t, 5*o - 5*s + 0 + 10 = 0 for o.
-3
Suppose -11 = 2*a - 4*f - 31, 3*f + 15 = a. Let n be 1*(0 - -8)/(-2). Let q be ((-4)/(-10))/(n/(-40)). Solve p - 3*p = 3*y + 8, 2*p - q = a for y.
-4
Let p(o) = o - 2. Let c = -18 - -29. Let q be p(c). Let l be (-11 + -1)*(-15)/q. Solve -4*s = l, 2*y - 32 = -2*y + 4*s for y.
3
Let l = 2 + -2. Let u be (4 - l)/(6/15). Let m = u + -7. Solve -o = 2*s + 3, -2*o = -0*o + m*s + 4 for o.
1
Let u = 9 - 8. Suppose -2*t - s + 14 - 6 = 0, 10 = -5*s. Suppose -n = -3*c + u, -n - t = -2*n. Solve j + 3*z + 2 = -c, -3*j - 7 = 4*z for j.
-1
Suppose 38 = 5*i + 13. Solve 3*q + i*y - 17 = 0, -3*y = -5*q - 11 + 28 for q.
4
Let p(y) = y**2 + 5*y - 6. Let m be p(-6). Suppose m = q - 3*q + 6. Solve -q*s + 5*l - 12 = 2*l, 2*s - 2 = -3*l for s.
-2
Let x be (105/(-84))/((-1)/4). Solve d - 25 = -5*p - 4*d, x*d = 5*p - 25 for p.
5
Let j(c) = 3*c**2 + 2*c - 1. Let x be j(1). Solve -19 - 3 = 3*b - 5*d, -x*d + 8 = 0 for b.
-4
Let k(n) = n**3 - 4*n**2 - 10*n - 4. Let p be k(6). Solve 2*j + p = -u, -2*u = j + 16 - 6 for j.
-2
Let m = 7 + -5. Suppose 4*h = 2*h + m. Solve 0 = 4*r - 5*n + 11 + h, r = 2*n - 6 for r.
2
Let b be (-6 + 1)/(1 - 2). Solve -b*j - 1 = s, -2*s + 4*j = -19 + 7 for s.
4
Suppose 2*c = -c + 15. Solve -3*g - 3 = 0, 4*g - c*g = 5*j - 14 for j.
3
Let m be ((-4)/(-4))/(3/9). Suppose 4*p = 5 + m. Solve o - p*n + 0 + 2 = 0, n = 3*o - 9 for o.
4
Let w(v) = -7*v**3 + v + 1. Let s be w(-1). Let x(f) = -2*f + 16. Let a be x(s). Solve 0 = -4*c - 5*r + 12, -2*c + 3 = -c + a*r for c.
3
Suppose -2*m + 10 = 4*s, 0*m - 3*m = -5*s - 15. Solve s = 3*v - 3*q + 21, -4*v = -q + 6 + 13 for v.
-4
Let t = -9 + 13. Let d(p) = p**2 - 5*p + 8. Let c be d(t). Solve s - 5*m = -7, -c*s - 5*m + 13 = -3*s for s.
3
Let s = 8 + -5. Let m be 42/(-9) - (-2)/s. Let n = m + 6. Solve -4*i - 24 = 2*b, 0 = 3*i - n*i + b + 8 for i.
-4
Let o(h) = 2*h + 2. Let b be o(-8). Let f be 6/21 - 66/b. Solve -4*g + 4*v + 3 = -g, -f*v = 15 for g.
-3
Let t(i) = 10*i - 28. Let y be t(3). Solve 11 = y*z + 3*s - 0*s, -2*z = 4*s - 14 for z.
1
Suppose -3 - 13 = -8*l. Solve -l*x = -4*q, 5*x = x - 3*q - 11 for x.
-2
Let r(b) = 5*b. Let w be r(1). Suppose 0 = -4*g + 4*n + 20, -w*g + 51 = 5*n + 6. Solve -4*q + 10 = 2*f, -5*q + g = -5*f - 43 for f.
-5
Let r = -10 + 3. Let c = r - -10. Let m = 10 - 5. Solve -m*z + 23 - c = -5*n, 4*z + 2 = -5*n for n.
-2
Let u = -11 + 14. Solve 0*v + u*y + 21 = -3*v, 29 = -5*v - 3*y for v.
-4
Let j = -1 + 14. Let h = j + -10. Solve 12 = -2*u - 4*r, 0 = h*u - 0*u + 2*r + 14 for u.
-4
Let i(q) = -3*q - 9. Let p be i(-6). Let g = p - 6. Solve -4*s + 2*r + 12 = 0, -g*s - 5 = -5*r - 28 for s.
1
Let j(q) = q**2 - 6*q - 7. Let c be j(5). Let d = 30 + c. Suppose -d = -2*b + b. Solve -2*p = -2*a - b, -p + 5*a + 41 = 3*p for p.
4
Suppose 4*r - s + 12 = s, 0 = 2*s - 8. Let c be -12 - r*(3 - 2). Let v = c + 15. Solve -v*u = 2*x + 10, -5*u + x - 4*x = 12 for u.
-3
Let w be (-6)/8 + (-2)/(-24)*105. Solve 3*h = w*h, -5*h = -3*m - 9 for m.
-3
Suppose -2*b = 3*b - 50. Let c be (-4)/b + 54/10. Solve 0 = 3*o - c*m - 19, 4*o = 5*m + 18 + 4 for o.
3
Let a be ((-2)/(-5))/(-1)*-5. Let d be 0 + a + -2 + 2. Solve -2*m + 0*m = d