2 + 3 + b**2 - 3. Let z be t(7). Let q(k) = -k**2 - 2*k. Let n be q(z). Solve -3*u - 2*j - 3 = n, u + 3 = -2*u + 3*j for u.
-1
Let a(z) = z + 24. Let m be a(0). Solve 0 = 5*f - f + 3*i + 27, 3*f + 3*i + m = 0 for f.
-3
Let m = 4 - -8. Let o(w) = w**3 + 6*w**2 - 6*w + 10. Let p be o(-7). Solve -3*k = 2*f - k - 12, -3*k = -p*f - m for f.
1
Let u be (1/(-3))/((-2)/12). Suppose o + 2*r - 16 = -u*r, -4*r + 4 = -2*o. Let p be 4*o/(48/9). Solve -p*q + q = 2*b - 10, 5 = 3*b + q for b.
0
Let w(d) = 2*d**2 + d. Let p be w(1). Suppose 0 = -6*b + p*b + 15. Solve -3*c - 4*m + 6*m + 14 = 0, 0 = -3*c - b*m - 14 for c.
2
Let u = -17 - -20. Solve 3*q + 21 = -3*i, 2*q - 5 = u*i - 4 for q.
-4
Let q(y) = -y**3 + y + 3. Let z be q(0). Let b be (3*-1)/((-6)/8). Suppose -5*f + 29 = 2*u, -5*u + 2 = -b*f + 12. Solve v + z*r = 4*r - f, -2*r = -4 for v.
-3
Let u = -25 + 42. Let b = u + -14. Solve 3*c + 13 = -t - 3, 4*c - b*t + 4 = 0 for c.
-4
Let t = -74 - -74. Let p(k) = -k**2 - 8*k - 7. Let l be p(-6). Solve -17 = y + 4*s - t*s, -l = y + s for y.
-1
Suppose -5*w + 2*b + 3*b + 5 = 0, 4*w = -2*b + 10. Suppose -25 = 2*l - 0*l - 5*x, -10 = -l - w*x. Solve y + 5*j + 11 = -l*y, 2*j - 2 = -2*y for y.
4
Let u(y) be the first derivative of -y**4/4 + y**3 + 5*y**2/2 + y - 8. Let a be u(4). Solve -c = -a*v + 3 + 21, 0 = -4*c - 2*v + 14 for c.
1
Suppose 2*p - 4*z = -3 - 1, -19 = -4*p - z. Suppose q = -5, 6*n - p*n + 3*q = -5. Solve 0 = n*c - o + 7, -c + 6*c - 3*o = -1 for c.
-2
Suppose -2*k = -0*p - 4*p + 20, 5*k = -5*p + 10. Suppose -3*g - 200 = 2*g. Let s be ((-1)/(-2))/((-4)/g). Solve -s*o - l = l - p, 2*o - 16 = 4*l for o.
2
Let l = -15 + 15. Solve l = y - 4*y - 3*w - 6, -5*w = -4*y - 8 for y.
-2
Suppose -2*h - 15 = 2*p - 3, -p = 5*h + 14. Let z be -1 + p/(-1 + 0). Solve -4*u + 2*k = -3 - 7, -k = z*u - 5 for u.
2
Let o = -117 - -162. Suppose 0 = 5*m - 3*m. Solve 4*c + 4*i + i + o = m, 3*i = c - 10 for c.
-5
Let f(k) = -k - 11. Let m be f(-12). Let s(u) = 7*u**2 + 1. Let y be s(m). Solve -3*l - l = -3*o - 5, 0 = 5*l - 2*o - y for l.
2
Suppose -x + 3 + 13 = -4*o, 5*x = -o - 4. Suppose 0*a - a + 2 = x. Solve 2*z + 2*d + a = 0, -4*d - 3 = 5*z - 2*z for z.
-1
Let f = -4 - -6. Suppose 2*d = s + 2, 14 = -s - 0*d - 4*d. Let p = s - -11. Solve p*w + 9 = -v, f*v = 2*w - w + 4 for w.
-2
Let s = 17 + -17. Suppose 2*p + 4*y - 22 = 0, -p + 1 = -3*y - 0*y. Solve s = -v + 5*c - p, -v = -4*v - 5*c - 1 for v.
-2
Suppose x = 3*x - 18. Let d be (-32)/6 - (-3)/x. Let c = 10 + d. Solve c*s - 22 = 2*y, -6 = -2*s + s + 2*y for s.
4
Suppose 0 = 2*i + 2, -4*a = -a - i - 10. Suppose 2*f + 2*f = -4*b + 8, b - f = -2. Let t = 7 - b. Solve g = w - 0*g - t, -a*g = 3*w - 9 for w.
5
Suppose 0 = -c + 5*c. Suppose 2*x + x - 12 = c. Solve 3*j = 0, 2*j = -x*h - 2*j - 12 for h.
-3
Let r(x) = -3 - x - 1 + 3. Let o be r(-4). Solve b - 13 = -o*c, -3*b + 32 = 2*b + 4*c for b.
4
Let l be 10/(-35) + (-90)/(-21). Suppose -8*w + 16 = -l*w. Solve -j = -3*j + 4*g + 24, 0 = 3*j + 4*g + w for j.
4
Let a = 4 + 0. Solve 4*l = -2*n + 2*l - a, 4*l = -3*n - 9 for n.
1
Let m(a) be the first derivative of a**3/3 - 2*a**2 + 4*a + 1. Let i be m(4). Solve 4*h + 12 = -i*p, 12 = 4*p - 0*p - 2*h for p.
1
Let a(d) = d**3 + 16*d**2 - d - 14. Let j be (2/(-1))/((-1)/(-8)). Let x be a(j). Solve v - 1 = -5*q, 0*v = 3*q - x*v + 2 for q.
0
Suppose g - 4*z - 7 = 0, 0 = -g - 0*g - z + 2. Solve 5*s = -f + 27, -g*s + 4*s = 5*f - 5 for f.
2
Let v = 60 + -35. Let a = v + -49. Let f be a*-1*(2 - 1). Solve 3*j = -4*m - f, 3*m - 5*j - 4 - 7 = 0 for m.
-3
Suppose 4*v - 8*v = -i - 8, 2*i + 7 = -v. Let o = 21 + -9. Let q = 16 - o. Solve -r + 4*m = -v, 5*m = m - q for r.
-3
Suppose -4*c + 6*c = 36. Suppose 0*r - c = -4*r + 2*q, r - 3*q = 17. Suppose -4*g + 12 = -16. Solve -r*d + g = -3*j, -d - 4*d - 40 = 4*j for j.
-5
Let a be 7/3 + (-6)/(-9). Suppose 12 + 18 = a*d. Solve -c - 10 = -4*g, -c + d = g - 5*c for g.
2
Suppose -10 = 2*f - 52. Suppose z - 4*p = 10, -p + f = 3*z - 4*p. Suppose 4*c - 23 = 5*r, 4*c - 16 = 2*c + 4*r. Solve 2*y = c*q + 2, -3*y + z + 9 = q for q.
3
Suppose -2*h - 10 = -5*y + y, 5*y - 17 = -2*h. Let g = h - 3. Let b be 1*(-26)/g - 1. Solve 0 = v - 5*p + 13, -3*p + p = 3*v - b for v.
2
Suppose 0*p + 10 = 5*p. Let i = -3 - -5. Suppose -r = -7 + i. Solve r*b - 4 = -2*o, -4*b - 2 = 4*o + p for b.
2
Let m(t) = -t**2 + 7*t - 5. Let a be m(7). Let w = a - -9. Suppose w*f - 11 = 93. Solve -2*b + 19 = y - 7*b, -f = -5*y + 2*b for y.
4
Suppose -2*r + 0*r + 4 = 0. Solve -r*c - 6 = 3*n + c, 2*c = -4*n - 8 for n.
-2
Let f(t) = -6*t - 6*t + 12*t + 2 + 2*t**2. Let w be f(-3). Solve 3*i = 2*i - 4, -5*z - 5*i = w for z.
0
Let u = 0 - -5. Let y be 1 - -1 - 12/(-2). Let h = y - 8. Solve 2*s - 4*n = -24, h*s - 21 = -2*s - u*n for s.
-2
Let l be (1 - (-6)/(-3))*-3. Let n = 6 + -1. Suppose -a + 0*a = 4, -n*v = l*a - 8. Solve -12 = -4*c, 0*x + v*c = 3*x + 18 for x.
-2
Let p(g) = 2*g + 1. Let q be (-2)/(-3) + 25/(-15). Let n be 3/(-6)*(-1 + q). Let w be p(n). Solve 2*d - 6*d - 8 = 0, 26 = -5*t - w*d for t.
-4
Let z be (-8)/(14/(-18) - (-12)/(-54)). Solve -z - 6 = 5*l - 2*o, 4*l + 3*o + 25 = 0 for l.
-4
Let l(m) = -m + 1. Let i be l(-4). Suppose -22*b + 21*b = -3. Solve 2 = v, -8*p + b*p - i*v = 10 for p.
-4
Let t = -5 + 8. Suppose v - 1 = -b, 4*b - 2*v - 13 = t*v. Solve 6 = -5*m + b*n, m = 3*m + n - 3 for m.
0
Let j(v) = -3*v - v**2 - 15*v - 4*v**2 + 4*v**2 - 14. Let o be j(-17). Solve o*s + 25 = 2*y, 0*y - 4*y + 35 = -3*s for s.
-5
Let i(y) = -y + 14. Let f be i(9). Suppose -5*s + 3*l + 175 = 0, -104 = -f*s - 4*l + 71. Solve -3*b = -5*h - s, 5*h - 4*b = -5*b - 15 for h.
-4
Suppose -5*x + 4 = -11. Let j be (1*-1)/((-1)/4). Let l = 8 + -5. Solve 0 = j*k + x*r + r - 8, 2*k + 3*r - l = 0 for k.
3
Let v = 178 - 178. Solve v = 2*g - 5*x + 29, 3*g - 6*g - 16 = -2*x for g.
-2
Suppose 13*n = 11*n. Solve 4*d - 4*o - 20 = 0, n = 3*d + 2*d + 2*o - 25 for d.
5
Let i = 10 - 7. Let s(p) = -3*p + 11. Let v be s(-8). Solve v = -i*h + 5*q, 2*q - q = 4 for h.
-5
Suppose -8*b + 14 = -2. Solve 5*n + 2*t = -b*t - 4, 3*n - 3*t - 3 = 0 for n.
0
Let h(x) = x. Let b(m) = 6. Let o(a) = -b(a) + h(a). Let s be o(7). Let g be -2 - ((-3)/(-3) + -3). Solve -4*p + 1 = -5*t, -3*p - 4*t + s - 8 = g for p.
-1
Let s(u) be the first derivative of u**3/3 + 5*u**2/2 + 4*u - 2. Let k be s(-5). Solve 0 = -3*g - n - 10, 2*n + 17 = -g - k*g for g.
-3
Let f(m) = -m**3 + m**2 + m - 1. Let t be f(0). Suppose -h = -2*a - 2, -2*h + 9 + 2 = 3*a. Let y = a + t. Solve -5*l - 10 = y, -p + 1 = -4*l - 4 for p.
-3
Let w be (-204)/(-28) + 6/(-21). Let x(h) = h**3 - 8*h**2 + 7*h + 2. Let a be x(w). Solve -a*v = -4*t - 30, 0*t = -2*v - 2*t for v.
5
Suppose -3*m - 2*u = -8, -u = -m - 2*m - 4. Suppose m*j + j + 5*o - 20 = 0, -16 = -5*j + 3*o. Solve -2*w = -j*t + 16, w = 4*w + 3*t - 18 for w.
2
Let q be 9/6 - (3 - (-14)/(-4)). Solve 4*i = -3*c - 23, q*i + 7 = -0*c + 3*c for i.
-5
Let s(r) = -r**2 - 3*r. Let m be s(-3). Let g = 2 - m. Solve l + 7 = -3*o, 3*l + 5 = -g*l for o.
-2
Suppose -16*p + 48 = -12*p. Solve 5*s - y = -5, 3*s = -3*y - p - 9 for s.
-2
Suppose 15 = 2*u + 3*u. Suppose -2 + 17 = u*r. Solve v + 0*v = -4*l + 22, 2*l = r*v for v.
2
Suppose 9 = 2*x + 3. Solve -x*f = -15, -v - 2*f + 0*f + 11 = 0 for v.
1
Let i = 32 - 17. Let g = i + -6. Suppose 5*j = 6 + g. Solve h - 35 = 5*l - 10, -j*l = 12 for h.
5
Suppose 2*r = 3*c - 3, 2*r - c = -2*c + 9. Solve r*h - 5*z + 13 = 0, -3*h - 3*z = 2*h - 35 for h.
4
Let k = 7 + 2. Let z(w) = w**2 + 5*w + 4. Let b be z(-5). Suppose 0 = 4*h - b. Solve 5*n = -3*u - h, -k = -4*n + n + 3*u for n.
1
Suppose -8*c - 125 = -3*c. Let i = c + 31. Solve -2*j + 9 = 3*v - 8*v, 0 = -v + 3*j + i for v.
-3
Suppose -3*u + 5*k = k - 12, -4*k - 12 = -u. Solve -4*s + 20 = u, -j = 4*j + 3*s for j.
-3
Suppose 4*a = -27 - 5. Let l = a - -8. Solve l = 3*k - 4*k - 5*j + 11, 3*k - 3 = -5*j for k.
-4
Let y(j) = 18*j**2 + 3*j - 2. Let h = 7 + -6. Let z be y(h). Solve -4*p - 5*v - 30 = 0, z = -5*p - 4*v - 14 for p.
-5
Suppose -5*q + q = -16. Suppose w - 7 = -t, -w = 4*w + q*t - 40. Solve 0 = z + 3, 5*z + w = -r + 1 for r.
4
Suppose 0 = 3*a + u - 6, -4*a = a - 4*u - 10. Let j be -1*3/(-2)*a. Solve -z = 2*c + j*c + 1, 8 = z - 4*c for z.
4
Let u = 21 - 15. Suppose -5*c - 4 = -2*j, 3*c - u + 16 = 5*j. Solv