Let z = 12 - -3. Let q(n) = n**2 - 2*n - 5. Suppose -w + 2*w - 5 = c, 0 = -5*w - 3*c + 41. Let s be q(w). Solve 0*f = f - 5*h + s, -h = 4*f + z for f.
-5
Let v = 51 + -47. Solve -4*d + 3*z - 11 = v*z, 0 = 4*d - z + 13 for d.
-3
Suppose 0 = k - 58 + 190. Let d be k/(-21) - (-2)/(-7). Let j be -2*(-9)/d - 3. Solve j = -2*n - 2*l - 3*l - 19, 2*n = -l - 7 for n.
-2
Let b be (4 - -1) + (-2 - 1). Suppose -k - 8 = 3*a, 5*k - 2*a + b = -4. Let g be (4*(-1 - k))/2. Solve -y - g*q = -5, -2*y - q - 2 = 3*y for y.
-1
Let l(j) = -j**2 + 4*j + 7. Let z be l(5). Suppose 0 = -m - v - 0*v, z*m - 2*v = 8. Solve 2*x + 16 = -2*c, 2*x - m*c = -0*x + 4 for x.
-3
Let c = -11 - -15. Solve -c*w - 4 = k - w, 2*k = -4*w - 6 for k.
-1
Suppose u + u = 32. Let q be u/6 + (-3)/(-9). Suppose 7*p - 17 = q*p - w, 3*p + 3*w = 6. Solve 0 = -3*l + 4*m - 35, p*l = -7*m + 4*m - 10 for l.
-5
Let a = -55 - -63. Solve -4*g = -a, 0*l - 5*g + 10 = 4*l for l.
0
Suppose -4*q + 5*l = -27, 4*l = -q - 2*q - 3. Suppose 0 = r + q*f + 13, -5*r + f + 30 = -3*f. Solve -h - i - 25 = 4*i, 0 = r*h + 3*i + 15 for h.
0
Let q = 24 - -23. Let p = q - 34. Solve -4 = 4*k - 4*r, 3*r + p = -k - 0*r for k.
-4
Let x be ((-1)/(-2))/((-1)/(-10)). Let b = 24 + -21. Solve -b = -3*h - 3*w, -2*w = -x*h + 3*w + 45 for h.
5
Let l be 5 + -2 - (-6)/(-2) - -2. Solve -1 = -3*c - l*o + 3, 2*c - 4*o = 24 for c.
4
Let a(h) = -3*h - 12. Let v be a(-5). Solve 2*g - 2 + 0 = -4*r, 4*r - v*g = 27 for r.
3
Let k = -6 + 9. Suppose -7 = -t + 2*d, 4*d + 0 = -k*t + 1. Solve -t*o + 40 = -5*f, o + 4*f = -0*o - 15 for o.
5
Suppose -7*c + 5*c = -6. Solve -2*a + 12 = o, 3*o + c*a = a + 20 for o.
4
Let i = 34 - 32. Solve 4*c - 6 + 0 = -i*z, -4*z + 6 = 5*c for z.
-1
Let d be (-150)/(-12) + 2/(-4). Suppose 0*h + 3*h = -5*x + 9, 4*h = 4*x + d. Solve -j + 20 = -5*t, x*j - t + 12 = 3*j for j.
5
Suppose 70 = 3*z + 2*z. Suppose 0*i = -5*f + 2*i + 30, -5*i = 5*f + 5. Solve -2*j + 10 = 0, -f*j + z = -h - 8 for h.
-2
Let n be ((-2)/1 + -18)*(-6)/24. Solve 0 = b + 5, -n*l + 9*b = 4*b - 40 for l.
3
Suppose 5*y + 0 - 10 = 0. Suppose 1 + 9 = 5*b, -y*b = -m - 4. Solve u - 3*n + 9 = 0, m = 2*u - 2*n + 4 + 6 for u.
-3
Let a be ((-8)/(-16))/((-2)/(-8)). Suppose 4*l = 10 + a. Solve -k = -o - 6, 0 = k - l*k + 4*o + 22 for k.
1
Let u(g) = g + 10. Let b be u(-7). Suppose -5*k + b*k + 4*q - 12 = 0, -4*k + 2*q = 0. Solve 0 = m - 4*w - 25, -k*w + 0 = 3*m - 5 for m.
5
Let t = 8 + 2. Let n = -3 + t. Solve 3*k - 4 = n*k + 4*c, -1 = -5*k - 3*c for k.
2
Let o(p) = p + 9. Let c be o(7). Solve b + 3*w + c = 6*b, 3*b - 5*w = 0 for b.
5
Suppose 4*b + b = 15. Solve 20 = 2*k + 3*k, -b*h + 4*k = 31 for h.
-5
Let q(v) = -v**2 - 8*v + 1. Let w be q(-8). Let h be (-3)/9*(-9)/w. Suppose 0 = -h*m + 3 - 0. Solve 3*a + 4*y = y - 6, -2*a = y - m for a.
3
Let z(v) = -v**3 - 5*v**2 - v + 2. Let w be z(-5). Solve 4*q - q - i + 7 = 0, -w = -q + 5*i for q.
-3
Let l = 75 + -46. Suppose -3*t + k = -1, -5*k + l = -t + 3*t. Suppose -t*u + u + 5 = 0. Solve -u*o = 4*v - 1, -4*o + o - 3*v = 0 for o.
1
Suppose 43 = -3*o - 50. Suppose -6*p - 30 = -3*p. Let c = p - o. Solve -3*l - 3*a = -c, l + 2*a - 13 = -a for l.
4
Let p(r) = 2*r**3 - r**2 + 1. Let o be p(2). Suppose 0 = -l + 1. Solve 0 = -m - q - q - l, q = 4*m + o for m.
-3
Suppose -64 = -0*v - 8*v. Solve -r = -2*a - 0*r + v, 3*a + 3*r = 12 for a.
4
Let j(d) = d + 3 - 2 - 13. Let m be j(14). Solve -2*t + m = -2*r, -2*r + 2 = 4*t - 2 for r.
0
Let v(z) = 4*z**2 - 2*z - 2. Let w be (8/(-16))/((-2)/(-4)). Let q be v(w). Solve -3*f + q*m - 4 = 0, 0 = -4*f + 5*m - 6 for f.
-4
Let o(a) = -a**3 - 5*a**2 - 2*a - 5. Let s be o(-5). Solve -s*m = 5*y, -2*y - 3*m = m + 8 for y.
4
Suppose -5*y = 5*g, -g + 6*y - 2*y = -25. Suppose -2*x + 125 = 5*j + 3*x, 2*x = -j + 26. Solve g*m + j = 3*n, -6 = -5*m + 6*m - n for m.
-3
Let r(a) = a**2. Let o be r(-2). Solve -o*h = 4*q - 4, -3*h + q + q = 22 for h.
-4
Let l = -10 - -22. Suppose 3*n - 1 = -k + l, 0 = n + 2*k - 1. Solve a + 19 - 1 = -4*t, -n*a + 10 = 0 for t.
-5
Suppose 3*j = -5*t + 109, 0 = -t - 2*j - 2*j + 32. Let x be 16/t*5/2. Solve -3 = 3*r + 3*s - 6, -2*r - 10 = -x*s for r.
-2
Let m be 173/9 - (-2)/(-9). Suppose 3*i - 2*x = 63 - 26, -62 = -5*i + 3*x. Let l(u) = 3*u. Let c be l(1). Solve z + m = -5*j, c*j + 0*z + z = -i for j.
-3
Suppose 0 = 8*m - 107 + 27. Solve -2*v = 2*c + m, v - 2*c = -0*v - 2 for v.
-4
Suppose 2*p + 3*p = -10. Let k = -2 - p. Suppose -i = -k*i. Solve 3*y + 6 - 3 = i, -y + 4 = -l for l.
-5
Let q = 23 - 15. Suppose -2*f = 4*u - 18, -3*u + f + q = 2. Solve -u*t + 9 = 3*m, 5*t - 3*m = -7*m + 16 for t.
4
Let k = -90 + 32. Let c = -37 - k. Solve -2*q - 13 = -3*t, -q + c = 5*t - 4*q for t.
3
Let a = 2 + -1. Let f = -3 + a. Let p be 7 - (0/2 - f). Solve -3*l + 28 = -p*m + m, -l + 4*m = -20 for l.
4
Suppose c - 4*c = -3*q - 12, -3*c - 4*q - 2 = 0. Suppose 4*m - 1 = 3*z - 0*z, -3 = -c*m + z. Solve -2*u + 6 = j, -m*u + 7 = 3*j - 5 for j.
0
Suppose 13*s - 2 = 15*s. Let f(m) = m**3 - m**2 + 1. Let z be f(1). Let o be z/(-1) - s - -5. Solve 0 = 5*y + 5*p - o, 0 = y - 2*p - 3 - 1 for y.
2
Let j = 53 + -50. Solve -j*p - 3 = -2*h - 2*h, 4*h = 0 for p.
-1
Let y(v) = v**2 + 3. Let n be y(0). Let i(a) = 4*a - 3 - n*a - 2 + 4. Let l be i(4). Solve m + u = l, -2*m = 3*u + 2 - 8 for m.
3
Let v(h) = h**2 + 6*h - 14. Let k be v(-8). Solve -4*j = -5*n - j + 1, 0 = -3*n + k*j for n.
2
Suppose 6*u - 4*u = 0. Suppose u*q - 5 = q. Let v = q + 10. Solve 5 = -2*k + 3*s, k = v*s - 0*s - 6 for k.
-1
Suppose -3*q = -4*q. Suppose 4*c - 3 = -0*i + i, -3 = i. Solve v + q = k + 2, c = -3*k for v.
2
Suppose -3*n + 12 = -2*z + 2*n, -z = n - 8. Let c = -3 + z. Let i(b) = b**3 + 2*b**2 - b. Let v be i(c). Solve -h + 1 = 2*j - 7*j, 0 = -v*h - 5*j - 13 for h.
-4
Let m be 12/5 - (10/(-25))/(-1). Solve q = m*c - 5*c, -5*q - 12 = 3*c for q.
-3
Let r = 7 + 0. Solve -l = -5*l - 4*u + 12, -3*l - 4*u + r = 0 for l.
5
Suppose -5*j = -23 + 8. Suppose -2*b + 5*t - 22 = 0, 22 = 2*b - 4*b + 2*t. Let a = -2 - b. Solve 6*o - 2*o = 0, -o = -j*k + a for k.
3
Let j = -241 - -247. Let x(p) = p**3 + 2*p**2 - 5*p - 3. Let a be x(-3). Solve -4*b + n = -a*n + 24, 0 = -b - 3*n + j for b.
-3
Suppose -2*u + 3 = -y, 6*y + 15 = -5*u + y. Let o(c) = -c - 3. Let n be o(-6). Suppose u = n*w - 15. Solve 5*f + 11 = -2*k + w*k, -3*f + 3 = 3*k for f.
-1
Suppose 0*i + i - 2 = 0. Suppose 3 + i = u. Solve 5*l - 15 = -3*t, t - 1 = u*l - 16 for l.
3
Suppose -3*z + 2*s + 4 = 0, -3*s - 3 = -3*z - 0. Solve 0 = -2*x + b - 1 + 2, -x - 12 = z*b for x.
-2
Let j = -2 + 10. Let v be (0 + j/6)*3. Solve v*o + 5*x = -3 + 4, 0 = 3*o - x + 4 for o.
-1
Let c = -5 - -5. Suppose 3 + c = 3*m. Solve 3*r = -2*q + 2*r - m, -5*q = -2*r + 25 for q.
-3
Let l = 5 - 3. Suppose l*j + 6*u + 8 = 2*u, -4*j - u + 5 = 0. Let o be (j + -3)*-5*1. Solve -q + 5 = o*w, 0 = 4*q + 3*w + 5 + 9 for q.
-5
Let r = -2 - -2. Suppose r = 2*h + 2 - 6. Solve -20 = -5*x - 0*x + 5*g, -4*g + h = 5*x for x.
2
Let u = -7 + 13. Let x be 5/(-3)*(u - 9). Solve 0 = b + x*z - 25, -3*b + 5 = -z + 2*z for b.
0
Let s be (-403)/15 - 2/15. Let o be 2/(-9) + (-168)/s. Let g = o - 4. Solve -5*t = 25, 4*h + g*t - 8 = 6*t for h.
-3
Suppose 0 = 5*u + 5*z + 19 - 54, -15 = -3*z. Suppose -7 - 9 = -4*p. Solve -p*n + 12 = 0, 5*c - u*c + 6 = -n for c.
-3
Let q be 0/(2/(-1) + (4 - 1)). Let s(b) = -b**2 + 6*b + 4. Let y be s(4). Solve q = -n + 4*u + 5 + 1, n + 5*u = -y for n.
-2
Let c(u) = 12*u**2 + 1. Let w be c(-1). Let t = w + -11. Suppose 4*p + 3 = 23. Solve -p*h - 1 = -3*n, -3 = 3*h - t*n - n for h.
1
Let w = -23 + 32. Let c = -9 + w. Suppose 25 = 5*i - c*i. Solve 2*v - 6*v - i = u, 0 = 3*u + 15 for v.
0
Suppose 4*l = l + 33. Let m = -11 + l. Solve -2*a + 2*h = -7*a - 25, -2*a + 2*h + 4 = m for a.
-3
Let o be (-20)/25*25/(-2). Solve -3*r = -6, -3*m = m + 3*r + o for m.
-4
Suppose 44 = 5*u + 3*a + 17, 0 = u - 3*a + 9. Let i be u/((-3)/(-1) - 2). Solve w + 4*w - 9 = -s, 2*w - 1 = -i*s for w.
2
Let l be -2*(-1)/2 - 1. Suppose 4*x - 2*u + l = 4, -5*u + 10 = 0. Suppose 3*g + 2 = -x*d + 1, 5*g + 5 = -5*d. Solve 2*v + 2*h = 0, -3*v + g = 4*h - 1 for v.
-2
Let v be 2 + 1/(-1) + 4. Let i = v - 1. Let p = 9 + -8. Solve 0 = b + 3 - p, 0 = -i*q - 3*b - 18 for q.
-3
Let s(r) be the third derivative of r**6/120 - r**5/20 + r**4/24 - r**3/6 + 8*r*