
Let c(i) = i**2 + 5*i + 4. Let f be c(-4). Solve -b + n + 3*n - 5 = 0, f = -n for b.
-5
Let t be (6 + -3 - 2)*-23. Let r = t + 44. Solve -2*c + 3*c + 7 = -3*h, -5*h - r = -3*c for h.
-3
Suppose 2 = 2*p, 13 = -0*r + 2*r + 5*p. Solve -5*d = 3*w - 17, -r*d + 13 = 3*w - 0*w for w.
-1
Suppose 0 = -93*i + 100*i. Solve -4*o + 25 = 5*r, -2*o + 2*r = -i*o + 10 for o.
0
Let o = 5 - 3. Let c be (-6)/(-57) - (-14)/(-133). Suppose c = o*a + a. Solve 3*j + 11 = 5*x, -4*x + a*j + 5*j + 1 = 0 for x.
4
Suppose 6 = -3*a + 2*k, a + 4*k = -a + 12. Suppose 49 = -5*s + 224. Solve 5*g + 4*b - 6 + 14 = a, -5*g = -5*b + s for g.
-4
Let q be (-1)/(((-15)/9)/5) - -9. Solve q = 3*c, 3*v + 3*c - 16 = v for v.
2
Let f = -6 + 11. Suppose -3*y - 10 = -2*d, f*d + 0*y - 8 = -y. Let k be 12/5 - (-14)/(-35). Solve -2 = -b, -4 + 0 = k*l + d*b for l.
-4
Let w(v) = -2*v**2 - 23*v + 15. Let z be w(-12). Solve -2*b - z = 3*y + b, 5*y + 2*b - 10 = 0 for y.
4
Let c be 35/10 + 3/6. Solve -5*p - 11 = 2*h, -2*p - 4 = -h + c for h.
2
Suppose -k - k = -36. Solve -k = 3*o - 2*g, 0 = -4*o + 2*g + 3*g - 31 for o.
-4
Let d = -15 + 23. Let c be (-1)/(-4) - (-54)/d. Solve -4*r + 13 = 3*g - 14, r = 2*g - c for r.
3
Suppose -2*n - 33 = 3*s, -s - 2*s = -3*n - 12. Let z be (-3 - n/3)/1. Solve z*i + 3*a + 3 = 3*i, -2*a = 3*i - 23 for i.
5
Suppose r = -4*r + 10. Suppose 0 = -7*p + 2*p - 55. Let j = p + 16. Solve m - j*i = -r*i, i = -2*m for m.
0
Let v = 9 - 12. Suppose 0 = 2*l - 2 + 8. Let d be (-7*l/v)/(-1). Solve 2*b + 5*p = -12 - d, -2*p - 6 = 0 for b.
-2
Let l(r) = r**3 - 10*r**2 + 12*r - 15. Let x be l(9). Solve 5*d = -2*k - 6, -k = d + 3*k + x for d.
0
Let b be (-4)/10 - 6/(-15). Let v = 6 + b. Suppose 4*d - d - v = 0. Solve 4*r - 4*c - 12 = 0, -r + 3*c = -d*c + 1 for r.
4
Suppose 1 = i, -4*i + 1 = -3*v - 9*i. Let p = v + 3. Solve 3*t - s = 1, t - p = -0*t + s for t.
0
Suppose -4*f - 12 = -8*f. Suppose 9 + 9 = 3*g + f*j, -2*j = 4*g - 16. Solve 3*y - 12 = 4*k, y = 5*k - g*y + 12 for k.
0
Suppose -2*o + 4*t = -3*o + 12, 4*t + 12 = 5*o. Let k = o - 2. Solve -k*x - 4 = 0, -3*x + 0 = -2*a + 4 for a.
-1
Suppose -3*s + 22 + 8 = 2*k, -4*k + 5*s + 16 = 0. Let q be (-2)/(-7) + 24/14. Solve -3*w + a = k, -w = -3*a + a - q for w.
-4
Suppose -2*l + 4*p = 12, -8 = -4*p + 8. Suppose -u + 1 + l = 0. Solve -4*h = 2*n - 0 + 2, 3*h - u = 0 for n.
-3
Suppose 23*s - 24 = 17*s. Solve -2*t = -5*t + 5*d - 25, s*d - 3 = -t for t.
-5
Suppose 16 = -4*u + 5*u. Let h be (u/(-6) + 2)*-3. Solve -5*f - h*g - 16 = 0, 3*f + 4*g = -1 - 17 for f.
-2
Suppose -6 = g - 10. Solve 3*o - 4*a + 24 = 0, 4*o = o - g*a for o.
-4
Let n(u) = u**3 - 8*u**2 + 12*u + 5. Let t be n(6). Solve 4 = -5*s + 5*p - 36, -4*s - t = 5*p for s.
-5
Let p = 13 - 23. Let k be (p/3)/((-8)/12). Solve 2*h = -5*v, 5*h - v = -k*v for h.
0
Suppose 0*j - j = q - 8, -2*q - j + 18 = 0. Let l = 7 - 4. Solve 3*m + k - q = 0, -4*m = -m - l*k - 30 for m.
5
Let x(w) = -w - 9. Suppose 0*j = 3*j + 27. Let a be x(j). Suppose -5*b = -2*k - 106, 0 = -6*k + 3*k - 9. Solve n + 5*s + 5 = a, 4*n = -4*s - 0*s - b for n.
-5
Let u(l) = l**3 + 9*l**2 - 12*l - 14. Let d be u(-10). Let z = 12 + -7. Solve -10 - d = -4*c + 4*w, w = -z for c.
-1
Let r = -7 - -21. Suppose 2*q - 4 = r. Solve -3*p + 7 = y, 5*y + 6*p - 4*p = q for y.
1
Let y(t) = -t**2 - 7*t + 10. Let i be y(-8). Suppose 0 = -i*p + 4*p - 6. Solve 3*s - 11 = -5*m, -3*m + 4*s - p = 2*m for m.
1
Let d = 1 - 2. Let g be 2 + -2 - 3/d. Solve -8*a + 14 = 2*z - 4*a, -g*a = 5*z - 28 for z.
5
Let w(b) = -3*b**2 + 3*b. Let r(z) = -7*z**2 + 5*z. Let v(x) = 2*r(x) - 5*w(x). Let q be v(6). Solve 1 = -3*u + 3*f - 17, -3*u - 3*f - q = 0 for u.
-4
Suppose -10 - 10 = -5*a. Solve 2*x = a*x, 0 = -5*j - x + 20 for j.
4
Suppose 0 = -3*y + 4*y - 16. Solve w + 3 = -3*m - y, -2*w = m + 13 for m.
-5
Let i(m) = -m**3 + 2*m**2. Let n be i(1). Let d be -3 - 1*(-8 + 1). Solve 10 = 5*p + 5*w, -2*p - d*w = -3*w - n for p.
-1
Let g be 1 + -2 + -1 + 4. Suppose -g*a = -6*a. Solve c + x + 8 - 1 = 0, -3*c + 2*x + 4 = a for c.
-2
Let p be -4*-1*(-1)/(-2). Let b = p - -1. Suppose 21 - 5 = 4*v. Solve -h - 20 = v*a, 0 = -2*h - b*a - a - 24 for h.
-4
Let g be (1 - 9)*(-5)/10. Suppose 1 = -g*a + k, -5*k = -a - 2*k - 3. Solve -2*i = -a*i + 3*u - 9, 3*i - 13 = -4*u for i.
3
Let i = -4 + 8. Suppose -3*j + i = -20. Solve -h + 5*p = 16 - 3, j = -2*h + p for h.
-3
Let c = 3 - 4. Let q(i) = -2*i**2 - 2*i - 1. Let h be q(c). Let s be 2 - (-2)/(1 - h). Solve 3*y - 2*y = -5*u - s, 4*u - 4 = -4*y for y.
2
Suppose c + 28 = 2*j, 2*j - 16 = -3*c + 4. Let v = j + -9. Solve b - 5*q = 11, -2*b = -0*q + v*q + 20 for b.
-4
Suppose -4*k - 22 = -5*d, 2*d = 4*k - 2*d + 24. Let c be ((-2)/3)/(k/204). Solve 0 = -z + m - 9, 4*z = 3*z + 3*m - c for z.
-5
Let o = -5 + 8. Suppose o*t - v - 2 = 0, 6*t - t = 2*v + 2. Solve g = x, t = -4*x - x + 4*g for x.
-2
Let s(n) = n + 6. Let j be s(-6). Let q be (-4 + -4)*(-4 + j). Solve 4*r - q = -i - 3*i, 3*r - 28 = -4*i for i.
4
Suppose 10 = 2*t - 4*h, -3*t + 4*h = -6*t + 5. Suppose -6*f = -t*f. Solve -s + 2 = -g, -4*g + 4 - 20 = f for s.
-2
Let o = 7 - 4. Solve -a - o*n - 2 = -6, 2*a = -3*n - 1 for a.
-5
Suppose -170 = -3*l + 2*f, 5*l = 3*l - 5*f + 88. Suppose 3*v - 5*c - 99 = 0, -v - v = 5*c - 91. Let o = l - v. Solve 4*t + o = 0, -4*r - 4*t = 32 - 4 for r.
-3
Suppose 5*u + 5 = -5*p, -3*p + 3*u + 37 = -2*u. Solve 3*o + 5*d + 3 = 0, 0*o = 3*o - p*d - 24 for o.
4
Let o = -19 + 23. Suppose -o*v - 6*b + 15 = -3*b, 0 = -5*v - 4*b + 19. Solve -4*s = r - 3*r + 30, -20 = s - v*r for s.
-5
Let n(u) = u + 2. Let r be n(0). Let q be (-5)/10*1*r. Let o be 5 + (q - (-2 + 1)). Solve -3*t = o*x - 3, -2*t + x + 2 = 2*x for t.
1
Let h = 9 + -3. Let f(o) = -o**2 + 8*o - 7. Let x be f(h). Solve -2*w = -w + 2*n + x, -12 = 2*w + 5*n for w.
-1
Suppose -z = -3*z - 60. Let g be (-6)/(-9)*z/(-4). Solve -5*m + 11 = g*k - m, -3*k - m + 1 = 0 for k.
-1
Suppose 22 = l - 14. Let h be 141/27 - 8/l. Solve 4*t + 10 = 3*t + 4*g, h*t - 4*g + 18 = 0 for t.
-2
Let l = 4 + -7. Let p = l + 8. Solve 4*q + s = -14, 0*q + p*s = 3*q + 22 for q.
-4
Let z(m) = m. Let o(b) = b. Let t(x) = 6*o(x) - 2*z(x). Let q be t(1). Solve 0 = 3*l + q*i - 19, -l - 4*l = -2*i + 3 for l.
1
Suppose -15 = -5*v, -3*v = j - v - 8. Suppose -7 = j*d + 5*o, -8 = -4*d - 3*o - 1. Let l be d - (1 + -2 + 3). Solve c = f + l, 3*f - 5 + 19 = -c for f.
-4
Let a(l) = -5*l - 16. Let n(b) = -b - 1. Let s(i) = a(i) - 2*n(i). Let u be s(-6). Solve t = -0*t - u, -3*t = -x + 15 for x.
3
Let n = -2 - -8. Let t be 2/(-6) - 21/(-9). Let x be -8*((-15)/n + t). Solve a = -a + 4*q + x, 16 = -5*a - 3*q for a.
-2
Let i be (-2)/(8/10)*-2. Suppose i*h - 3*h = -4*p, -h + p + 3 = 0. Solve 0 = -0*t - h*t + 4*v + 12, 0 = 3*v + 9 for t.
0
Let d = 3 + -1. Suppose -2*v - 20 = -4*q, v - 4 = -d*q - 2. Suppose 0*o = q*o - 15. Solve o*w + 3*a - 13 = -0*a, 0 = -3*w + a + 19 for w.
5
Let n(d) = -2*d**2 - 3*d. Let l be n(-3). Let u be 29/9 - (-2)/l. Suppose 3*h + 6 = 0, -u*v + 5*h + 27 - 5 = 0. Solve 12 = v*b, -4*f - 10 = -2*b - 0*b for f.
-1
Let p = 16 + -8. Let a(f) = 17*f + 1. Let w be a(1). Suppose 0 = -3*d + w - 6. Solve 0*i - 2*g = -i + p, 0 = -d*i + g + 18 for i.
4
Suppose -4*f + 6 = -14. Let a be 1*(11 + 0/3). Suppose 3 = -3*j + 4*z, -5*j - a = z - 29. Solve j*d - 2*d + t = 5, 4*t - f = d for d.
3
Let b be (5 + -4 - 2)*-2. Solve -s = -3*k - 8, 2*k + b*s = -0*s - 8 for k.
-3
Suppose 3*p + 12 = 6*p. Solve 0 = p*x + 20, 12 = -5*o - 5*x - 13 for o.
0
Suppose o - 80 = 8. Let f = -90 - -81. Let l be f/(-11) - (-16)/o. Solve -4*s - 2*w = 6, -4*w - l = 3*s + 1 for s.
-2
Suppose -4*r = -2*k - 4, 0 = 2*k - 4*k + 5*r - 6. Solve 0 = l + k*p + 4, -2*l - l - 12 = p for l.
-4
Suppose 11*f - 14*f + 12 = 0. Solve -4*w = -f*b + 20, 0*w - 5*w = 5*b + 5 for b.
2
Let j(n) be the first derivative of n**2/2 + 2*n - 6. Let d be j(1). Solve -3*y - 5*h = -25 + d, -2*y - 27 = -5*h for y.
-1
Let y be (-52)/(-20) - (-4)/10. Suppose y*r + 4*t + 23 = 8*r, 0 = 2*r - 5*t - 16. Solve -2*l + 11 = -r*x, 2*x + 3*l + l = -2 for x.
-3
Suppose 0 = -6*f - 14*f. Solve 4*j - 3*p = -27, 2*p + 4 - 14 = f for j.
-3
Let r be -1*(-12)/3 + -1. Let x be -40*2/(-5 + r). Suppose -4 = 3*f + 4*t, -4*f - 12 = -3*t - x. Solve f = -5*o - 4*z - 2, 16 = -4*z for o.
2
Let i = 4 - 4. Suppose -3*p - 6 = -2*q +