*k - 2*h + i for k.
-4
Suppose 8*f = 9*f - 1. Let h be -1 - f/((-3)/6). Solve -5*l = 5, 0*b + 3*l + h = -2*b for b.
1
Let y = 73 + -71. Let p be (-1 + 1)*(-2)/(-4). Suppose p*q = -4*q. Solve q = y*u + 4*k, 3*u = u + 3*k + 14 for u.
4
Let c(o) be the second derivative of -o**3/3 - 5*o**2/2 + 3*o. Let a be c(-4). Solve -1 = 5*s + 2*p, -6*s + a*s + 2*p + 9 = 0 for s.
1
Let w be ((-32)/(-24))/((-6)/(-9)). Solve 2*t - 14 = -w*s, t - 2*t = -s - 1 for t.
4
Suppose -4*o = 2*n - 2, 0*o + 30 = 5*o - 3*n. Suppose -o*c = -5 - 1. Solve 15 + 2 = -s - 4*b, c*s - b = 2 for s.
-1
Suppose 0 = -4*q - t - 5, 2*q - 3*q - 20 = 4*t. Suppose q*d - 5 = -d. Suppose 3*z = 2 + 4. Solve -2*u + 3*h + h = 0, -h + d = z*u for u.
2
Let d = 5 + -3. Suppose -n - 18 = -z + d*n, 4*z + 2*n = 44. Suppose 2*h + 6*t = t - z, -4*t = -4*h + 32. Solve 2*r + v = 4*r - h, -2*r = 2*v - 4 for r.
2
Let p be (8 - 1 - 1) + 1. Let r = p - 4. Solve 0 = -q + 2*v + r*v + 22, 0 = -5*q + 3*v for q.
-3
Let o(b) = b - 2. Let q be o(-2). Let l be (-8)/q*(-3 - -4). Solve 0*c = -l*c + 2*s + 20, -5*c + 5 = 4*s for c.
5
Let i = -4 + 5. Let z be (i - 0)/(1/2). Suppose -3*a = -10 - 5. Solve z*m + 3*h = -3 - 0, m + a*h - 2 = 0 for m.
-3
Suppose -6*x + 24 = -2*x - o, 0 = -o. Let r = 9 - -1. Suppose -z - r = -x*z. Solve -2*n - z*f = 2, 5*f - f = 5*n - 4 for n.
0
Let d be (-4)/(-12) + (-8)/(-3). Solve -3*p - m = -d - 2, 10 = 5*m for p.
1
Let a(m) = -m**2 + 3*m - 1. Let z be a(2). Let p(h) = h**3 - 6*h**2 - 7*h + 7. Let r be p(7). Let g = r - z. Solve -4*c - 8 = 3*t, -c + g*c = 5 for t.
-4
Suppose -r + 4*d = 0, r - 5*d + 1 = -0*r. Solve 1 = -r*q - 3*t, -2*t + 4 = q + 3*t for q.
-1
Let j = 1 - -2. Suppose 29*v + 80 = 34*v. Solve -3*r - f + 14 = -j*f, 2*r - v = 3*f for r.
2
Let d be ((-2)/(-6)*0)/2. Let l be (-2)/(-8) - 4/16. Let v = 5 + l. Solve -v*n = k - 14, d = n + k - 3 + 1 for n.
3
Suppose 6 = 4*h - 6. Solve 0 - 2 = -2*w + 2*o, 2*w = o + h for w.
2
Let f be 0*((-20)/(-8))/5. Suppose -3*x + 3*y = -3, 4*x + 4*y - 2 = 5*x. Solve -x*j = -f*j + 2*h - 10, h - 5 = -2*j for j.
0
Suppose 2*w - 2 = w. Let m be ((-3)/(-2))/(w/4). Solve m*v - 5*z = -22, 0*z = 5*v - z for v.
1
Suppose 5*q = 20 + 5. Suppose 4 + q = 3*o. Solve 4*m - 32 = -8*y + 3*y, -2*y = o*m - 17 for m.
3
Let a = 53 + -37. Let i be 3 - -3*3/(-9). Suppose -r = -v - 7 + 1, -i*r + a = -3*v. Solve r*c = 3*d + 18, -5*d = 4*c + 5 + 3 for d.
-4
Let w = -71 + 87. Solve 4*f + 13 = 3*t, -3*f = f + w for t.
-1
Suppose 2*q - 2*c = -c + 14, 5 = 5*q + 5*c. Let g be 2/2*(12 - 7). Suppose 0 = -0*a + g*a - 20. Solve -4*m = 2*h, -a*h + 0 = 3*m + q for m.
1
Suppose -2*w + t + 2 = -2, t + 4 = w. Suppose 0 = m - 2 - w. Solve -7*q + m*q = -b - 1, 5*q + 1 = -b for b.
-1
Suppose 0 = 3*q - 21 + 3. Let w = q + -6. Solve 3*p - 15 = w, 5*p = -3*g + 10 + 15 for g.
0
Suppose 5*z - 100 = 100. Let c(r) = -r**3 + 6*r**2 - 3*r - 4. Let p be c(5). Solve p*w = -3*h + 2*w + 4, 5*h - 5*w + z = 0 for h.
-4
Let a = 52 + -25. Solve -3*m + 5*j = -a, -5*m - 11 = -4*m + 5*j for m.
4
Suppose 2*b - 17 = q, 30 = 3*b + 2*q - 6. Suppose b = 5*r - 5. Solve 35 = 5*k - 5*v, -r*v - 10 - 17 = -5*k for k.
3
Let f(o) = -2*o + 4. Let v be f(2). Solve -2*j - 2*p - 2 = 0, j + 3*p + 9 = -v*j for j.
3
Suppose 2*t = 4*t - 8. Let s(n) = 2*n**2 - 4*n + 3. Let l be s(t). Solve 5*a + 15 = p + 7, 5*p - 4*a - l = 0 for p.
3
Suppose 9*d = 5*d + 36. Solve -2*t - 2*b = -4*t - 6, -b = -4*t - d for t.
-2
Let m be 6/(-4) + 33/6. Solve 13 - 2 = 2*v - 3*r, 5*r = -m*v + 11 for v.
4
Let x = -40 + 43. Solve -3*l = -x*k - 3, 2*k = -k - 2*l + 17 for k.
3
Suppose -5*j + 0*j = -20. Suppose -3*r = -j - 8. Solve -c + 5*n + 8 = 0, -r = c + n - 0 for c.
-2
Suppose -5*b = -11 - 4, -4*b = -5*v - 2. Solve -6 = v*y + u, u = -4*y - 3*u - 8 for y.
-4
Let n(v) = v**2 + 5*v - 3. Let w = -6 - 1. Let k be n(w). Solve -x - 4*x = -2*d - 26, -x - 5*d - k = 0 for x.
4
Let z be ((1 + -1)/3)/(-1). Let d = 8 + -5. Solve z = l - d, -3*l - 13 = -5*o + l for o.
5
Let n = -7 + 19. Suppose 4*s - n - 4 = 0. Suppose t + 2 - s = 0. Solve -4*h + 3*m = 23, -5*m + 30 = -3*h - t*h for h.
-5
Suppose b = 6 - 2. Solve 2*n = -b*p - 10, 8 = -n + 3*n - 5*p for n.
-1
Let v(x) = -3*x - 1. Let f be v(1). Let i be f/6 - 12/(-18). Solve -6*w + 2*w + 3*d - 1 = i, 2*w - 2*d = 2 for w.
-4
Suppose 0 = -2*p + h - 3*h - 174, 5*h - 167 = 2*p. Let t be p/8 - 2/8. Let y = t + 15. Solve u + 3*a = -u - 21, -5*u - y*a = 35 for u.
-3
Suppose 0 = 5*x - 13 - 17. Solve 3*v - 9 = 0, 4*u - v + 1 = -x for u.
-1
Let s(j) = -j - 5. Let f be s(-5). Solve -3*l - 3*k = f, -l + 0*l = -2*k + 6 for l.
-2
Suppose -3*w = 4*h - 9*h - 32, 2*w + h - 4 = 0. Solve -5*v = -3*f - 13, -4 = -w*f + v + 7 for f.
4
Let j(a) = -2*a. Suppose -7 = -5*n - 12. Let x be j(n). Let t = -7 + 12. Solve -3*o - 15 = -4*i + x*o, i - 10 = -t*o for i.
5
Let f(n) = 3*n + 94. Let i be f(-30). Solve 2*l + 4*m = l + 6, -7 = -i*l + m for l.
2
Suppose -3*v = 2*g, 0 = g - 4*g + 5*v. Suppose -8 = -g*y - 4*y. Solve 4*m - 2*m + 5*d = -6, -12 = 4*m - y*d for m.
-3
Suppose -68 = -9*l + 22. Solve x + 5*o + l = -x, 5*o = -5*x + 5 for x.
5
Let d = -170 + 172. Solve -d*c - 15 = o, 35 = 3*c - 5*c - 5*o for c.
-5
Suppose 5*t + 25 = 2*n, 0*t - 18 = -t + 5*n. Let u = -4 - t. Solve u*a + 4 + 5 = 2*h, 6 = -2*a for h.
0
Suppose 2*q + 20 = 7*q. Suppose j = -q*j. Solve -p - 8 = -2*y, -p = 2*y - j*y - 8 for y.
4
Let a(i) = 5*i**2 - 39*i - 6. Let n be a(8). Let x = 2 - 1. Solve b - 2 = n*o, o + b + x - 3 = 0 for o.
0
Suppose 2*n + 20 = 7*n. Solve -4*q - q - 25 = 0, 0 = n*l + 5*q + 41 for l.
-4
Let l = -34 - -71. Suppose -i - 3*a + 14 = 0, -4*a + l = 4*i + i. Let q = 4 + -2. Solve 2*r + 5 = 2*k + 3*r, -q*k + i*r = -35 for k.
5
Let d(i) = -i + 14. Let o be d(6). Suppose 3*b = 2*p - 34, -5*p + 90 = 3*b - o*b. Solve -m - 5*y = p, -y - 9 = -m + 1 for m.
5
Let z(y) = y**2 + 7*y - 4. Suppose -4*p = -5*p - 5*w + 12, 0 = -5*p - 2*w - 32. Let s be z(p). Solve a = -3*m - 0*a - s, -4*a - 16 = 4*m for m.
0
Suppose 12 = 3*a + a. Solve -3*l + 17 = 2*o, -a*l = 5*o - 26 - 3 for o.
4
Let g(i) = -i - 1. Let h = 5 - 1. Let t be (-9)/(-12) - 19/h. Let n be g(t). Solve 3 = -f + 3*m, -5*m - 3 - n = 2*f for f.
-3
Let f = 43 + -27. Solve -4*l - 4 = -5*r, 2*l + f = 6*l for r.
4
Suppose 2*s - 11 = -2*s + 5*g, -s = -g - 2. Let z = 3 + s. Suppose y = 5*y - z*f - 28, -4*y + 3*f + 30 = 0. Solve -5*v + 35 = -5*u, 3*v - 18 + y = 0 for u.
-3
Let u = -20 - -14. Let k be (-11)/4 - u/8. Let y be (-15)/k + (-2)/(-4). Solve -4*m + 0*m - 2*q = y, 2*q = -3*m - 5 for m.
-3
Let s = 48 - 44. Solve -b = 3*v - 2*b - 10, -8 = -s*b for v.
4
Suppose 4*u + 15 = -17. Let f = u + 13. Solve -2*c = f*d - 0*c - 22, 4*d = 2*c + 14 for d.
4
Suppose -4*s = 4*x - 4, -2*s - 4*x + 0*x = -4. Let q = -13 + 18. Suppose -t = -q*t + 8. Solve m - 3*k + 1 - 11 = 0, s = -t*m + 2*k + 12 for m.
4
Let l = -27 + 34. Solve 2*i = w + 14, -i + 10 = -3*w - l for i.
5
Suppose 0*o = -o + 24. Let x(t) = t + 1. Let u be x(3). Let h be ((-3)/9)/((-1)/6). Solve h*y + u - 2 = -m, -4*y = -5*m - o for m.
-4
Let o(u) = 2*u - 20. Let t be o(10). Solve t = -2*v - 2*k - 2, 5*v - 2*k + 12 = 0 for v.
-2
Let x = -84 - -100. Solve 3*l + l + 4*z + 8 = 0, -x = 5*l + 2*z for l.
-4
Suppose -5*z = -3*z + 6. Let i(f) = f**3 + 3*f**2 + 4*f + 2. Let j be i(z). Let q be (-18)/(-5) + (-4)/j. Solve -q*a = -16, -2*d + 0*d - 3*a + 10 = 0 for d.
-1
Let r be 11 - 2 - (2 - -1). Let p = 42 - r. Solve -4*k - s = 12 - p, 2*k + 2*s = 18 for k.
5
Let h be 30/(-25)*(-10)/4. Let o(n) = -n**3 - n. Let p be o(-1). Solve 4*g + 4 = y, -p*g = -g + h*y + 1 for g.
-1
Let l(u) be the third derivative of u**5/60 - 7*u**4/12 - 13*u**3/6 + 7*u**2. Let g be l(15). Solve -10 = -5*f, 0 = -3*d - g*f - 0*f + 4 for d.
0
Let f be (-4 - -9)*(-4)/(-10). Let h be (f + -1)/(4/20). Solve -x = -3*w + 5, -4 = -5*x + h*w + 1 for x.
4
Suppose -k - 4*k + 15 = 0. Let t be ((-2)/(-3))/(3/9). Let o be (-2)/(3/(3*-2)). Solve -o*z - a + 6 = 0, k*a = t*z + 4 - 0 for z.
1
Let i(v) = v**2 - 6*v + 7. Let d be i(5). Suppose -3*m + 2*m + d = 0. Suppose -m*q = -0 - 16. Solve 4*a = -5*z, -7*a + 3*a - 3*z = -q for a.
5
Let h = 34 - 29. Solve 2*z + 4*g - 2 + 0 = 0, z = -h*g + 10 for z.
-5
Suppose -5*t + 2*d + 24 = 0, -5 = -2*t - d + 1. Suppose 16 = -3*j + 7*j. Solve -4 = -2*r - t*k, -j*k + 14 = -4*r - k for r.
-2