 2*n - 12 = -a, 4*a - 3*n - 8 + 4 = k for a.
4
Let i(m) = -2*m - 12. Let p be i(-10). Let n be (p/20 + 0)/((-1)/(-10)). Solve -3*d = -3*k - 27, 31 = -n*k + 2*d + d for k.
-4
Suppose 4*m = 2*d - 8, 5*m - 4*m + 3*d = 12. Suppose m = -6*a + a + 45. Suppose -4*t = -a*t + 10. Solve p - 4*o - 14 = 0, -p + 6*p + 2 = t*o for p.
-2
Suppose -2*w + 86 = -4*r, -4*w - 2*r + 2 + 130 = 0. Suppose 0 = -31*x + 24*x + w. Solve 0 = -p + 4*b - 18, p + x + 9 = 3*b for p.
-2
Suppose -3 = -3*d + 9. Let u = -42 + 60. Suppose -11*q + 28*q = 0. Solve o = -4*w + u, q = d*o + 3*w - 15 - 5 for o.
2
Let c(s) = 56*s**3 + s - 57*s**3 - 17*s + 3 - 17*s**2. Let l be c(-16). Solve b - l*i = 3*b + 3, -2*i = -4*b + 2 for b.
0
Suppose -70 = 22*q - 17*q. Let y be (-298)/q - 2/7. Solve -r = -3, c + c - 5*r = -y for c.
-3
Let t(r) = r**2 - 43*r + 2. Let j be t(13). Let y be (-34)/(-221) - j/13. Solve -4*m + 1 = -3*m - 4*v, -5*m - 5*v + y = 0 for m.
5
Let k(i) = 100*i - 298. Let y be k(3). Solve 4*u = 3*c + 1, -y*c - 2 = -3*c - u for c.
1
Suppose 3*x + o + 10 = -o, 0 = x + 2*o + 10. Solve 0 = 3*h - 5*n + 13, x*h - 11 = 3*h - 4*n for h.
-1
Let u(a) = 5*a - 82. Let g be u(20). Solve -3*z - k = -z + 13, 2*z + 2*k + g = 0 for z.
-4
Let n be (2/6)/(((-14)/(-24))/7). Solve -5*x - 9 = -n*r, 3*r - 4 = -2*x - 26 for x.
-5
Suppose -5*q + 51 = 2*t - 326, -4*t = 5*q - 369. Suppose g - 4*p + 2 = 0, -g + p - q = -5*g. Solve -o + 2*v = 7, -5*v + g + 4 = -o for o.
3
Let q be (11 + -8)*(4/6)/1. Solve -4*t - 5*g = 17, -q*t - 10 + 4 = 2*g for t.
2
Suppose -5*f + 6*f - 42 = 0. Suppose -5*g - 3 = f. Let q be 0/(-3*6/g). Solve -4*j + 4*o + 9 + 19 = q, 0 = -2*o - 8 for j.
3
Let u = -1221 + 1226. Solve m + 0*c - c - 1 = 0, -u*c - 12 = 2*m for m.
-1
Let o(n) = n**2 + 1. Suppose 7 = 4*p + 3. Let i be o(p). Let w(j) = 2*j**2 - 5*j + 5. Let y be w(i). Solve y*b - 2*b = -a + 2, 2*a - 8 = 0 for b.
-2
Let l be (0 - 0)/((-38)/19). Let r be (-9 - -1)/(-2 + l). Solve 0 = f + r*j + 21, 3*f - f - 5*j = 23 for f.
-1
Let t = -239 - -244. Solve 3*x + 13 = -2*h - 2*x, -t*x - 25 = 5*h for h.
-4
Suppose 0 = -5*x + 3*m + 29, -5*x - 2*m + 25 = -2*x. Suppose x*k + 16 = -19. Let d = -2 - k. Solve -18 = d*s + 3*b, -b - 6 = 3*s + 6 for s.
-3
Let i = -64 - -114. Let u = i - 39. Solve -u = 3*n + 2*z, 0*n + 4*z = -n + 3 for n.
-5
Let t = -54 - -26. Let y = -3 - t. Solve 0 = 5*o - 4*j + y, 3*j - 7 = -4*o + 4 for o.
-1
Let i(j) = -j**3 - 14*j**2 - 21*j + 41. Let f be i(-12). Solve 10 = -5*k + f*q, -q + 0 = 3*k + 18 for k.
-5
Let z(j) = -4*j + 28. Let t(a) = -4*a + 7*a - 27 + 0*a. Let m(u) = 6*t(u) + 5*z(u). Let k be m(-11). Solve -3*f + k*h + h + 4 = 0, -3*h - 12 = -2*f for f.
0
Let z = 1425 + -1421. Solve -z*q + 3*h = -9*q - 12, 4*q - 4 = h for q.
0
Let v = 40 - 38. Suppose 5*y = 4*u + 14, -v*u = 2*y + 2*u. Solve 0 = -3*g + y*n - 2 - 2, -4*g = 2*n + 10 for g.
-2
Let x(o) = 2*o**2 - 25*o + 66. Let p be x(3). Solve -h = -s + 5*s - p, 5*s + 4*h - 3 = 0 for s.
3
Let p = 27 + -10. Suppose 4*l + 1 - p = 0. Solve 3*i = 6, 4*m = m + i + l for m.
2
Suppose -2*o = 2*j + 2, 5*j - 10 = 3*o + 17. Let t = -7 + 10. Suppose 0 = t*n - 1 - 5. Solve -n*k - 8 = z, -j*z - k = 1 + 8 for z.
-2
Let d be (30 - 24)*(-2)/(-4). Solve -d*l = 4*a - 23, -5*l = -4*a + 8 + 7 for a.
5
Let f = 602 + -583. Solve 2*i - 13 = 2*t - 3*t, 2*t - 5*i = -f for t.
3
Suppose -5*j + 21 = -2*w, -4*j + 2*w + 15 = w. Solve 4*s = 20, j*i + 4*s = -2*i + 35 for i.
3
Suppose -3*t = -2*t - 3. Let a(h) = -6*h**3 + 7*h**3 + 9*h**2 + 8*h + 0*h**2. Let n be a(-8). Solve -5*c - 2*p = n, 0 = t*c - c + 5*p for c.
0
Suppose 6 = q + q. Let r(t) = t**2 + 3*t + 4. Let u be r(-2). Suppose -2*b = u - 6. Solve -5*z - 13 = -c - b*c, q = -5*c - 4*z for c.
1
Let m(l) = -l**3 + 14*l**2 + 20*l - 73. Let b be m(15). Solve 5*j - 5*y + b - 7 = 0, -3*j = -y - 7 for j.
3
Let o(b) = -3 + 25*b - 30*b + 6. Let l be o(-3). Let w = l - 15. Solve 0 = 4*a + 4*g + 24, w*a = 4*g + 1 + 2 for a.
-3
Let r(q) = -9*q + 20. Let p be r(2). Solve -3*y = -5*a - 5*y - 5, 0 = -p*a - 2*y - 8 for a.
1
Let v(i) = -i**2 + 15*i - 48. Let c be v(6). Solve -j - 5 = 4*g, -5*j + c*g - g = -25 for j.
3
Suppose 7 = 2*y + 3*u, 5*y - y = u + 7. Solve 22 = y*v + 5*p, v - p - 5 = -2*p for v.
1
Suppose -2*c + 35 = 2*q + 1, q + 1 = 5*c. Let d(n) = n**2 - 16*n + 18. Let r be d(14). Let w = q + r. Solve x + w*x + 45 = -5*y, 0 = 2*y + x + 14 for y.
-5
Let l(d) = 3*d**2 + 12*d + 14. Let f be l(-8). Suppose -3*y + n = -n + f, n = 4*y + 140. Let z = y + 38. Solve m = 4*s - z, -2 = -4*m + m - 2*s for m.
0
Let m be (45/10 - 4) + (-2)/4. Let t be (0/(-2))/(1 + -2). Suppose -2*l + v + 12 = t, -5*l + 3*l = v - 12. Solve 0 = -2*x + 3*q + l, m*x + 3*q - 6 = -2*x for x.
3
Let s(k) be the second derivative of -k**5/10 - k**3/6 + 2*k**2 - 22*k. Let h be s(0). Solve -h*d - 8 = -3*z - 37, 0 = 5*z + d + 10 for z.
-3
Let i(d) = 18 + 12*d + 20*d - 34*d. Let n be i(16). Let f be (8/(-5))/(n/35). Solve -l - 12 = 5*z - 2*z, f*z = l - 23 for z.
-5
Let x(i) = -2 - 2*i + 0*i + 2. Let a be x(-1). Solve -5*n + 5*b = 10, -5*b + 0 - 4 = a*n for n.
-2
Let f(c) be the third derivative of c**4/24 - c**3 + c**2. Suppose 32*i = 27*i + 35. Let v be f(i). Solve 2*q - v = 4*u + 13, 16 = -4*q - 3*u for q.
-1
Let c = 98 - 98. Suppose c = -18*w + 30*w. Solve -n - 5 = 0, 3*n + 20 = b - w*n for b.
5
Suppose -10*k = -14*k + p + 19, 21 = 4*k + p. Solve i - 10 - 16 = -5*s, k*i = 5 for s.
5
Suppose -3*b = 2*b - 20. Let v be (9/b)/3*12. Let r be 12 - (-1)/(3/v). Solve 2*n = -d - r, 3*d - 5 = 4*n - 0*d for n.
-5
Suppose -4*t + 14 - 2 = 0. Suppose 3*c = t + 9. Let v(x) = 2*x**2 + 4*x + 2. Let z be v(-2). Solve -c*b + 3*g = -11, z*b + g = 6*g + 23 for b.
-1
Let v(y) = 3*y + 35. Let q be v(-10). Let d(o) = -o + 12. Let h be d(0). Solve -3*i = q*z + 28, -3*i + 0*i = -3*z - h for z.
-5
Let s(m) = 3*m + 8. Let l be s(-4). Let h be 0/(l*3/(3 - -3)). Solve 4*i - 4 = 0, 0 = -h*n - n + i + 4 for n.
5
Let x be 16/10 + ((-252)/(-35))/18. Solve -3*c = x*p, 15*p = 10*p + 5*c + 25 for p.
3
Let y(u) = -u**3 - 5*u**2 + 5*u + 4. Let s be y(-6). Suppose -s*b + 8 = -12. Solve 2*k - 17 = 7*k + b*c, -2*k + 4*c - 26 = 0 for k.
-5
Suppose -54 = -32*c + 14*c. Solve -p = 3*x - c, 0 = -2*p + x - 1 + 7 for p.
3
Suppose -15 = -7*h + 4*h. Suppose h*x = 6*x - 3. Let z(f) = 4*f**2 + 1. Let m be z(-1). Solve u - 34 = 4*b - 15, -x*u = b - m for u.
3
Let o(g) = g**3 - 21*g**2 + 51*g + 63. Let r be o(18). Solve 10*i - r*i = 0, -k + 4*i - 3 = 0 for k.
-3
Suppose 10*i + 294 = 294. Solve i = -4*q - 4*j + 16, -9 = 5*q - 4*j - 29 for q.
4
Let t(c) = -c**3 - 3*c**2 + c + 36. Let y be t(0). Suppose -x - 9 = -h - 0, -y = -4*h - 4*x. Solve -5*u - 19 = -g + 10, 5*u = -4*g - h for u.
-5
Let n(s) = -2*s - 2. Let v be n(-6). Suppose -j = -4*m + 7, 4*m - 10 = 2*j - 4. Solve u + 25 = m*x + 2*x, -4*x = 2*u - v for x.
5
Suppose 10 = -8*r + 42. Suppose 3*g = r*v - 8, 5*g = -4*v + 7*v - 6. Let p = -17 - -32. Solve 0 = v*m + 2*h + 1 + 5, 0 = -3*m + 3*h + p for m.
1
Suppose 12 = 3*b + 4*p, 3*b = -5*p + 6 + 6. Suppose 12 = b*w - 0. Solve 0 = s + w*g - 7*g + 15, 4*s - 40 = -4*g for s.
5
Let u = 18 + -3. Let s(l) = 2*l**2 - 2*l + 17. Let a be s(0). Suppose a + 3 = 10*j. Solve -3*q + 3*x + u = 0, -j*q - 5*x = -2 - 1 for q.
4
Let c(d) = -d**3 - 13*d**2 + d + 5. Let w be c(0). Solve -w*q + 5*r = -35, -5*q - 2*r = -5*r - 31 for q.
5
Let t be (3/4)/(1/4). Let c(a) = 7*a + 2. Let o be c(17). Let y = o - 100. Solve v = -4*v - 2*r + y, -12 = -t*v - r for v.
3
Let y = -753 - -756. Solve -d = -2*d - 2*x + y, -5*d - 3*x = -8 for d.
1
Let s be ((-3)/(-6)*-6)/(84/(-56)). Solve 5*j - 3*g = -0*g + 12, s*j - 2*g = 8 for j.
0
Let r = -64 - -105. Let q = -39 + r. Solve -3*u + 2*s + q = 1, -5 = u - 2*s for u.
3
Suppose -2*l - 44*k - 9 = -41*k, l + 3 = -k. Solve o + 0 = -3*m + 12, 3*m + 5*o = l for m.
5
Let n = -44 - -48. Solve -4*i - 16 = 0, -y + n*i - 4 = 4*y for y.
-4
Suppose -l + 18 = -7*l. Let b be l/1*1 - -5. Suppose 2*v + 3*z - 6 = -0, 0 = z. Solve v*t + 9 = 4*p, 4*t - b*p - 2*p + 8 = 0 for t.
1
Let v = -46 - -50. Suppose -v*r - r + 10 = 0. Solve 3*y = 3*n, y = r*n - 0*y + 4 for n.
-4
Let j(h) be the first derivative of 15*h**3 - h**2/2 + h - 4. Let a be 4 + -1 - (4 - 2). Let k be j(a). Solve -3*c + 3*r = -5*c + 22, -5*r + k = 5*c for c.
5
Let w be (0 - 2)*1*-4. Su