k = 6 for n.
4
Let q(h) = 2*h**2 + h - 8. Let j be q(-4). Solve -4*b - j = -p + 3*p, 2*p - 20 = 4*b for b.
-5
Let s be 4/(1 + 1)*5/2. Solve 2*u + 35 = -s*q, -q + 6*q = -25 for u.
-5
Suppose 4*i + 2*c - 6 = -3*c, 2*c = -i. Solve 4*u = -s + 17, -i*s = -0*s + 4*u - 32 for s.
5
Let u(m) = 2*m - 2. Let r = 4 - 0. Let q be u(r). Solve -3*c = 2*p - 2, 12 + q = 5*p + c for p.
4
Let y = -5 - -8. Suppose -28*k = -25*k - 9. Solve y*g - 6 = -4*c, -g - k*c + 4 = 2 for g.
2
Suppose -3*o - 2 - 4 = 0. Let x be 13 - o/(-1) - 3. Let g be 6/15 + (-8)/(-5). Solve -c + 18 = 4*p + 2, x = g*p + 5*c for p.
4
Suppose 0 = 6*w - 0*w - 30. Solve w*j = -4*y + 31, 0 = 2*y + 2*y - 3*j - 7 for y.
4
Let o(p) = p. Let k be o(9). Solve k = -2*a - w, -w - w = 5*a + 23 for a.
-5
Suppose -4*t + c = 2 - 6, 3*t - 18 = -3*c. Solve 4*w + 2*g - 28 = 0, 3*g - 25 = -w - t*g for w.
5
Let l = -11 + 1. Suppose 5*o = 5*p + 40, 4*o + 23 = -4*p - o. Let n = p - l. Solve -n*x - 17 = -4*t, -5*t + 3*t = 5*x + 11 for x.
-3
Let d(o) = -3 + o**3 + 4*o**2 + o**2 + 4*o - 3*o. Let h be d(-4). Solve h = 3*w - 2*t - t, t - 3 = 4*w for w.
-2
Let y(q) = 6*q - 20. Let z be y(4). Solve 2*o + 15 = 5*v - o, -z*v = -3*o - 12 for v.
3
Suppose 110 = 3*m - 4*u, 0*m - m + 50 = -4*u. Let n = m - 28. Solve -4*g - 20 = z, -9 = -4*z + n*g + 1 for z.
0
Let o = -9 - -21. Let j be (4/o)/((-3)/(-36)). Let n be ((-2)/(-3))/((-1)/(-12)). Solve -5*m + j = -k, -2*k - m - n = m for k.
-4
Let x(y) = 2*y + 4. Let n be x(-5). Let s = n - -9. Solve 2*w - w = -s*v - 1, 2*v + 29 = 5*w for w.
5
Let q(s) = 5*s**2 - 2*s. Let b be -6*(-2)/(-12)*2. Let f be q(b). Let y = 0 - -5. Solve -f = -y*n - 4*v, 5*n - 4*v - 23 = -7*v for n.
4
Let x(v) = -v**3 - 5*v**2 + 2*v - 3. Let o(i) = 2*i**2 - i + 1. Let r(s) = 5*o(s) + 2*x(s). Let p be r(-1). Solve -5*d - p*q = -16, 3 - 21 = -4*d + q for d.
4
Let a(v) = 15*v**2 - 4*v - 1. Let o(m) = 45*m**2 - 11*m - 3. Let u(j) = -11*a(j) + 4*o(j). Let z be u(-1). Solve -7*c - z = -3*c + 2*h, -5*c - 5*h = 15 for c.
-4
Let c be (8 + -8)*2/4. Solve 4*k + 3*j = 5*k + 7, c = 2*k + 5*j - 19 for k.
2
Suppose -p + 12 = -5*q - 9, -5*p + 4*q = -42. Suppose -6*v + 15 = -v, -3*c + p = -v. Solve 4*d = -4*r - 5 + 13, -c*d = -15 for r.
-3
Let d be 10 + -3 - (-1 - 0). Suppose a - d = 7. Solve -2*c - c + 4*p = -a, 0 = 3*c - 5*p - 18 for c.
1
Let b be (1 - -1 - -4) + (12 - 13). Solve o + o = -4*y + 2, 2*y = -b*o - 3 for o.
-1
Let w(u) = u**3 - 5*u**2 + u - 5. Let x be w(5). Suppose x = -0*d - 2*d + 10. Let t = -10 + 14. Solve -2*a = t*s - 2, -s = -0*s + d*a + 13 for s.
2
Suppose -5 = -5*a - 4*y, 2*a + y + 15 = -4*y. Solve 4*l + 3*v = 4, 0*l = -a*l - 5*v for l.
4
Let c be (-15)/(-10)*(-4 + 6). Solve 3*r = -5*j + 14, -5*r = -c*j - 16 + 4 for r.
3
Let f(i) = i**3 - 6*i**2 + 6*i + 5. Let z be (-3)/12 + 63/12. Let n be f(z). Let l = -6 + n. Solve 0*b = b + l*a - 17, -4*b = 4*a - 32 for b.
5
Suppose -5*i + 8 = -3*i. Solve -4*n - k = -9, -i*n - 2*k - 8 + 22 = 0 for n.
1
Let n be (-63)/(-14) - -1*(-3)/(-6). Solve 4*o = n*c + 9, c + 4 = 5*o - 2 for c.
-1
Let m be 5 + ((-6)/(-3) - 3) + -2. Solve m*x - 11 = -0*x + 5*a, 4*a = x - 7 for x.
3
Let f = 4 + -6. Let z be 1*3/(-2)*f. Solve p + 3*v - 6 = 0, z*p - v + 2 = 6*p for p.
0
Let y(g) = -g**2 + 6*g + 6. Let t be y(7). Let z be t - (0 - 6/3). Suppose n - 2 = z. Solve 5*r = -n*a + 12, 0*r + 12 = -3*r + 3*a for r.
0
Let s = -36 - -36. Solve -4*b - 21 = -5*m, -b - b - m - 7 = s for b.
-4
Suppose h = 5 - 0. Suppose 11*x - 88 = 44. Solve -s + h*t + 10 = 0, -5*s - 3*t = x + 22 for s.
-5
Let p be 0/(-6 - 6/(-3)). Solve p = 2*k - 3*k + 5*t - 21, 6 = 4*k - 2*t for k.
4
Let j = 17 - 7. Let p = j + -8. Solve -2*o + 18 = -2*y, -p*y + o + 16 = -6*y for y.
-5
Suppose -2*v - 48 = 2*v - 4*q, 0 = -4*q + 16. Let h(d) = d + 8. Let y be h(v). Solve 2*c = -4*t + 18, y*t + 7 = t + 3*c for t.
4
Let b = -46 - -51. Solve -b = -2*o - 3*x, -4*o + x = -x + 30 for o.
-5
Suppose -5*x - 5 = -5*k - 0, 3*k + 29 = -5*x. Let r(j) = -j**2 - 6*j + 1. Let l be r(x). Let c = l - 7. Solve -4*q - 5*w - 18 = 0, c = -q + 5*w + 10 for q.
-2
Let y(m) = 2*m**3 - 3*m**2 - m + 2. Let h be y(2). Solve 0*b - 16 = h*o + b, 2*o - 6 = 3*b for o.
-3
Let x be (-3 + 4)*3*1. Let t = -12 + 19. Suppose 4*n + 1 = 21. Solve -g - g + n*r = 1, t = 2*g + x*r for g.
2
Suppose 2*y + 16 = 4*y. Let m = -6 + y. Solve -2*z = -m*l + 6 + 4, -5*l + z = -5 for l.
0
Let o be ((-15)/(-12))/(3/72). Solve -5 = -2*p - 0*j - j, 0 = -4*p + 2*j + o for p.
5
Let z = 4 + 0. Suppose -z*w - 6 = -14. Solve -9 = u + 4*h, 0 = -5*u - h + 10 + w for u.
3
Let p be (-4)/(-3)*(-3)/(-1). Suppose -p*d + 2*k + 69 = -d, k - 28 = -d. Solve 0 = -0*l + 4*l + q - d, -4*q + 25 = l for l.
5
Let c(n) be the second derivative of 5*n**3/6 - 2*n. Let y be c(1). Solve -3*j - 10 = -j - 3*l, -4*j = -y*l + 18 for j.
-2
Let s be (-22)/(-12) - (-1)/6. Solve -s*n + 7 = x, 0 = -x + 3*x + 6 for n.
5
Suppose -n - 4*g - 13 = -1, 2*g + 10 = 0. Let c be (14/(-4)*n)/(-2). Solve s + q = 3*s + c, 17 = -5*s - 2*q for s.
-5
Let x(v) = v + 3. Let g be x(4). Let q(d) = d**3 - 6*d**2 - 7*d. Let j be q(g). Suppose -y - 1 + 4 = j. Solve 0 = y*o - 4*s - 16, -1 = -5*o + s + 3 for o.
0
Let v(y) be the first derivative of -y**2/2 - 4*y + 9. Let g be v(-7). Solve -2*t + 5*j + 10 = g*t, 0 = -t - 2*j + 11 for t.
5
Suppose -36 = 3*g - 7*g. Suppose 21 = 5*n - g. Solve s - 3*s = -3*x - 23, n = -2*x - s for x.
-5
Suppose 3*d - 2*z = 45, 2*d = -d + 4*z + 45. Suppose 0 = 5*u + 20, 0 - 4 = 4*s + 2*u. Let g = s + 3. Solve 0 = 3*r - d, -20 = g*b - 0*b - 4*r for b.
0
Let t(s) be the second derivative of -s**3/6 + 11*s**2/2 + 4*s. Let y be t(6). Solve y*r + 21 = 4*d, 4*d = -4*r + 3*r - 9 for d.
-1
Let r = -7 - 1. Let j be (r/12)/((-2)/45). Solve -3*s + j = -3*u, -2*u - 4 = 2 for s.
2
Let v(x) = x + 105. Let p be v(0). Suppose 3*q = 2*o + o + p, -5*q + 3*o + 165 = 0. Let d be q/8 - (-3)/12. Solve 7 = 4*m + 2*s - 3, -5*m = d*s - 14 for m.
2
Let r(m) = -m - 2. Let l be r(5). Let c = l + 10. Solve -2*b + c = 3*j, 0*b - b = -4*j + 15 for j.
3
Suppose 2*h + 5*s + 0 - 14 = 0, -s = -4*h + 6. Suppose -9 = 4*m + 2*f - 1, -4*m - 16 = 4*f. Solve 13 = 2*k - 3*g, 2*g + 2 = -h*k - m for k.
2
Let p = 100 - 67. Solve -4*z = -5*r + 5, 4*z + 4*r - 7 = p for z.
5
Suppose 0 = 5*v + 5*x - 25, 4*x - 15 = -3*v + 4*v. Solve -v = 2*u - 3*s, 10 = -3*u + 3*s - 7*s for u.
-2
Suppose 2*p = 3*o + 25, 5*p + 5*o - 6 = 4*p. Solve 3*v = 5*a - 30, p*a + 5*v + 13 = 7*a for a.
3
Suppose 4*f - 7 = -3*b, 0 = -5*b - 3*f + 12 + 7. Let a(k) = -k**3 + 5*k**2 + 4*k - 3. Let d be a(b). Solve -3*v - 11 - 1 = 0, m + 5*v = -d for m.
3
Suppose -o - 11 = -3*f, 3*o = -4*f + 1 + 18. Solve -8*w = -3*w - x - 6, 0 = 4*w - x - f for w.
2
Let v = 21 + -14. Solve 4*q - v = -p, 2*q - 2*p + 6*p = 0 for q.
2
Suppose -3*t + 46 = 5*u, -u + 1 = -2*t + 2*u. Solve -2*f + 0*f - 13 = -5*k, -3*k = -f - t for f.
-4
Let b(j) be the third derivative of -j**6/20 - j**5/60 + j**3/6 - 2*j**2. Let n be b(-1). Solve 3*r = 5*m + 22, -r - n = -3*r - m for r.
4
Let z be (-16)/4*1/(-2). Suppose -x + 5*c + 12 = 0, 0*x + z*c - 2 = -3*x. Suppose 6*y - x*y = 76. Solve 2*a - 6 = 2*l, 3*a - 3*l = -2*a + y for a.
5
Suppose 0 = -2*m - 2. Let w be 0 + (-4)/m + 0. Suppose 4*i + w = 20, 0 = 2*n - 3*i + 2. Solve -n*r + 2*b = 7, 0*r - 3*r - b - 2 = 0 for r.
-1
Let f(t) = -5*t - 2 + 0*t + 0*t**2 + t**2 + 0*t**2. Let h be f(6). Solve -i + 4*i = a + 1, -h*i + 8 = 2*a for i.
1
Suppose -i - 21 = 2*z, -6*z - 69 = -z - 3*i. Let t be 2/4 - z/8. Let b be 5/2 - t/4. Solve 0 = -3*c - 3*a - 3, 0*c - 2*a = c - b for c.
-4
Let v(u) = -u**2 + 6*u - 3. Suppose -o = 3*o. Let g = o + 5. Let w be v(g). Solve w*d = 3*d - 5*j, 2*d = -5*j for d.
0
Let u(v) = 4*v**2 + v. Let r be u(-1). Let k be r/(-2) + 9/2. Solve 25 = -5*b + k*h, -b = 4*h - 0 + 5 for b.
-5
Let p be 24/10*80/24. Let z = p + -8. Suppose z = d + 4*d. Solve -2*n + 3*x = 13, d = -3*n + 4*x - 5 - 14 for n.
-5
Let f be (0 + (1 - 0))*3. Solve 4*g - l = f*l + 16, -14 = -5*g - l for g.
3
Let d(b) be the third derivative of 0 - 1/24*b**4 + 0*b**3 - b**2 + 0*b. Let h be d(-6). Solve -4*u + 5*a = 28, -3*u = a + 2*a - h for u.
-2
Let f be -3 - (4/12)/(3/(-45)). Solve 8 = -2*i + 2*g, -i = -0*i + 2*g - f for i.
-2
Suppose 5*y + 0*y = 35. Let d = -3 + y. Suppose -2*a + d*a - 6 = -5*i, 0 = -2*i 