1 = -k - 9*t. Solve -3*x + 27 = k*h, h + 2 - 1 = x for h.
3
Let a = 302 + -292. Solve -a = -3*s + 5*k + 4, 4*s + 16 = -2*k for s.
-2
Let b be 1*6/(-9)*78/4. Let q be 10/(-4 + 6)*b/(-5). Solve 2*j + 7 = -4*u - 7, 0 = 4*j + 3*u + q for j.
-1
Let x(o) = -o**3 - 7*o**2 + 8*o - 3. Let b be x(-8). Suppose -4 = -3*r + 2. Let s = r - b. Solve 4*k = -s*m + 36, -3*k + 4 = -k - m for k.
4
Let v = 20 + -17. Let u be v/((-6)/16*(-7 - -5)). Suppose 0 = 5*i - 1 - 14. Solve r = u*y + 21, 3*y - 8 = 4*y - i*r for y.
-5
Suppose -7*t + j = -6*t - 1, -t + 2*j - 3 = 0. Solve -4*k - t*n + 23 - 6 = 0, 0 = -k + n + 2 for k.
3
Let y be 4 - 4 - -2*1. Suppose y*i + i = 60. Solve 0 = 2*s + 4*c - i, -4*c + 5 = 5*s - 15 for s.
0
Suppose -i = -5*i - 12. Let z(s) be the third derivative of -5*s**4/24 - 5*s**3/3 + 9*s**2. Let u be z(i). Solve c = -t, -u*c - 3*t - 2 = t for c.
-2
Suppose -o + 2*t = 39, 4*o - 2*t = -0*t - 156. Let a = -37 - o. Let y be -1*18/10*-5. Solve -3*j - 3*n - y = -4*j, -a*n = -j + 5 for j.
-3
Let l = -83 - -79. Let j(m) = -9*m - 31. Let y be j(l). Solve 0 = -3*o - 5*t + 3, -2*t - 3*t = y*o - 5 for o.
1
Let d = 1023 + -1020. Solve 2*g + 2 = d*p - 6, g = 5*p - 4 for g.
-4
Let m be ((-30)/(-4))/(-3)*-2. Let j be 4/(-5) + (-120)/(-25) + -3. Solve -4*n + 5 = j, u = m*n for u.
5
Let u be (-122)/(-42) + 3 + (-183)/63. Solve 4*r = 2*q + 8, u*r + 4*q = -r - 4 for r.
1
Let o be -1 + 6/2 + 2. Let w be ((-36)/3)/4 + o. Let g be (-3 - w) + 85/5. Solve -g = -5*u - 3*f, 2*f = 3*u - 4*u - 3 for u.
5
Let i be 8 - (-4)/((-20)/(-115)). Solve -2*s - 5*p - i = 0, 2*s - 3 = 4*p + 11 for s.
-3
Let y = 13 - 25. Let q be (0 + -1)*y/4. Suppose 8 = -2*x + 4*s, 0 = -x + q*s - 0 - 6. Solve -u + 10 = u - 4*k, x = -2*u + 2*k for u.
-5
Let o be ((-12)/(-16))/(3/24). Let q = 272 - 270. Solve 4*n = -w - 10, -q*w = -n + 2*w + o for n.
-2
Suppose 6*j - 15 - 33 = 0. Let k be (j + -1)*14/49. Solve k*b + 3*z - 2*z = -2, 0 = -z - 2 for b.
0
Let i = -163 - -163. Solve 0 = -5*m + 5*h, i = -m - 0*m - h - 2 for m.
-1
Suppose 0 = 38*h - 216 - 468. Solve -6*q + 3*q + h = 4*i, 2*q = 2*i - 2 for q.
2
Let x be (10/(-4) + 1)*(3 - 1). Let q be 6*(x - 11/(-3)). Solve d + 16 = -4*w, q*d - w = -3*w - 8 for d.
0
Let x(t) = -4*t**3 + 9 + 0*t**2 - t**2 + 3*t**3 + 10*t - 3*t**2. Let v be x(-6). Suppose v = z + 17. Solve -i + 5 = -3*q, -3*i + 2 + z = 0 for q.
-1
Suppose -4*w = -3*w - 12. Suppose -4*t = -3*t + 4*d - 14, w = 4*d. Solve -t*i + 5*i - 2 = -2*f, i + 2*f + 6 = 0 for i.
4
Let p(l) = l - 3. Suppose -4*k - i + 13 = 0, 7 = 3*k - 3*i + i. Let b be p(k). Suppose 10*y - 5*y - 15 = b. Solve -y*s - 9 = -4*a, 0*a + 10 = -2*s + 4*a for s.
1
Suppose 0 = -4*w + 42 - 26. Solve -3*o - 4 = w*p, 2*o = 5*p - 7*p for p.
-4
Let s be 6/9*6 + -2*1. Let r = 4 - -2. Solve -4*j - 4 - 6 = -2*x, r = -3*j + s*x for j.
-4
Let g(n) = -9*n - 17. Let s be g(-5). Let j = -15 + s. Solve j = 4*p + 5*r, -5 = -p - 4*r + r for p.
2
Let z(l) = l + 1. Let f = 112 - 110. Let u be z(f). Solve -2*j = b + 10, 0*b - 3*j - 15 = -u*b for b.
0
Suppose 4*h = -2*h + 114. Suppose -h*z = -13*z - 24. Solve 5*t + 5*m - 12 = 13, -18 = -z*t - 2*m for t.
4
Suppose -57*n + 89*n = 160. Solve n*l = 5*x + 38 - 13, 9 = -5*x - 3*l for x.
-3
Let d = 254 - 254. Solve 4*z - 19 = 5*y + 3*z, d = 4*y - 5*z + 32 for y.
-3
Let l be (0*(20/8 + -2))/(-1). Suppose 22*j - 27*j = l. Solve 4*v = -j*v - 3*q, -4*v + 3*q = 0 for v.
0
Suppose 10*v + 3*x + 38 = 12*v, -5*v - 4*x = -95. Solve 3*u - 1 + v = -3*w, -u = -4*w - 19 for u.
-1
Let s = 64 + -62. Suppose 10 = s*q, 2*q = -j - 0*q + 12. Solve -j*g - 5*d + 15 = 3*g, -5*g - 5 = d for g.
-2
Suppose -4*k = -12*a + 8*a - 40, 5*k - 32 = -4*a. Solve 5*r - i = -4, -4*r - 4*i = -k*r for r.
-1
Let a = 245 - 246. Let b(g) be the second derivative of -g**3 - g**2 - g. Let d be b(a). Solve -t - 15 = -d*x, 4*t - 4*x + 5*x = -9 for t.
-3
Let r(p) = -2*p**2 - 2*p + 4. Let n be r(-3). Let q = -8 - n. Solve q*h + 2*h = 3*b - 13, b - 3*h - 9 = 0 for b.
3
Let h = 15 - 15. Suppose -4*c + c + 192 = h. Suppose 0 = 2*i - 6*i + c. Solve 4*k = f + f - i, -3*k - 21 = 3*f for f.
-2
Suppose -5*v - 78 = -11*v. Suppose 3*l - v = -y - l, 0 = 2*l - 4. Solve f + 20 = 5*f + 4*r, y*f + 3*r - 15 = 0 for f.
0
Let q = -33 - -24. Let x(p) = -p**3 - 9*p**2 - 7*p - 30. Let s be x(q). Solve 2*c = 5*b + s, -c - c + 13 = -b for b.
-5
Let t = -227 - -232. Solve 2*r + t = 2*z - 3, 0 = -3*r + 5*z - 14 for r.
-3
Let o(n) = -5*n + 0 + n - 3. Let v be o(-5). Solve 3*x = -5*j + v, j + j - 3*x = 11 for j.
4
Suppose r - 16 = -3*r, 4*r = u + 5. Suppose -22 + u = -w. Let f be w/(0 + (-2 - -3)). Solve 4*i - 3*m = -0*i + 7, 0 = -2*i - m + f for i.
4
Suppose 2*d - 11*d = 0. Suppose d = 5*v - 2*v - 15. Solve -25 = v*l, 5*l - 1 = -b - 22 for b.
4
Let o be (-1)/2 - (-5)/2. Let n(j) = -j + 2. Let i be n(0). Let b(d) = 2*d**3 - 10*d**2 - 8*d - 19. Let w be b(6). Solve -4 = 2*c + o*q, w = -i*q + q for c.
3
Let o be 70/2*(-96)/(-224). Solve 4*q + 1 = r, o = -2*r + 5*r for q.
1
Suppose 11*u - 13*u = -24. Let x = -12 + u. Solve -j = -2*j - 2*h, 4*j - 3*h - 22 = x for j.
4
Suppose -k + 2*h + 20 = 0, 5*k = -4*h + 67 + 5. Solve 5*c - 15 = -5*y + 5, 4*c - k = 2*y for y.
0
Let f be (-280)/(-168)*(-18)/(-10). Solve -13 = -3*g + g - 3*i, 0 = 3*i - f for g.
5
Suppose -3*l - 10 = -16, -4 = m - 2*l. Solve -2*p - 4*f = 0, m = 2*p + 5*f - 1 - 0 for p.
-2
Let j = 27 - 24. Suppose -j*y + 76 = 2*t, y - 24 = -4*t + 18. Let q be y/4 + 12/(-8). Solve 3*n = 4*s + 1, -4*s + 0 = q*n + 36 for n.
-5
Suppose 0 = 2*n - 3 - 1. Let p be ((-130)/(-45)*6)/((-10)/(-15)). Suppose n*x - 6 = p. Solve j + g = 8, 4*j - j + g - x = 0 for j.
4
Suppose -3*m = 4*s - 22, 27*s = 4*m + 32*s - 31. Solve 4*h - 3 = 5*b, m = 5*h - 0*h + 4*b for h.
2
Suppose 207*z = 205*z + 3*g + 1, 5 = 5*z - 5*g. Solve 5*d - 4*d = -3*r + 9, z*r + 3*d = 13 for r.
2
Let z(a) = 2*a**2 + 12*a - 10. Let x be z(-7). Solve -3*f = x*d - 10, d = f - 3*d + 2 for f.
2
Suppose w = -4*z + 3*w - 42, -z - 14 = -4*w. Let m = z + 4. Let s be (-18)/m - 2/(-2). Solve -4*g = 5*k + 6, g = -s*k - 2*g - 5 for k.
-2
Let b be 1/3 - (-1)/(-3). Let j = -70 + 76. Suppose -3*i - d = -11, -3*i = -d - j - 7. Solve l - i = 3*k, 5*l - 2*k + 3*k + 12 = b for l.
-2
Let b(k) = k**2 - 9*k - 5. Suppose 9 + 4 = r. Suppose -4*o = -27 - r. Let q be b(o). Solve -2*p + c = -1, 2*p - 17 = -2*p + q*c for p.
-2
Suppose 17 = q - 5*a, 2*a = -q - 3*q + 24. Suppose z - x - 5 = -2, -3*z + x = -q. Solve -2*r = 3*j - 9, -z*j + 6*j - r - 12 = 0 for j.
3
Let f be (-2 + 3)/((-17)/(-68)). Solve t + 20 = -5*m - t, f*t = -m - 22 for m.
-2
Suppose 4*l = -2*l + 90. Suppose 4*f + 3*p = 6*p + 15, 3*f - l = 3*p. Solve f = -2*o - z - 0*z - 3, 4*o + 2 = 2*z for o.
-1
Let q(c) be the third derivative of c**5/12 + c**4/4 + 3*c**3/2 + 39*c**2. Let i be q(-2). Solve 5*f - i = 2*d - 5*d, 4*d = -4*f + 12 for d.
-1
Suppose 49 = 4*n - 5*p, 7*p = -3*n + 2*p - 7. Suppose n*y + 23 - 41 = 0. Solve 4*s = y*a - 35, -3*a + 0*s + 3*s + 30 = 0 for a.
5
Suppose 2*g - 5*g + 24 = 0. Suppose g*d = 6*d + 12. Solve 6 + d = -4*o, -z - 2*o = 9 for z.
-3
Suppose 4*l - 41 + 15 = 3*v, -2*l + 6 = 2*v. Suppose 0 = 2*q - 0*f + 3*f - 38, q - 9 = f. Suppose q*i = 3*i + 30. Solve -5*s - i*w + 1 = l, 3*w = 6 for s.
-2
Let r(k) = k**2 - 9*k + 11. Let j be r(8). Let a = j - 3. Let i be (-285)/(-55) - (-4)/(-22). Solve 3*f - i*n - 1 + 12 = a, 3*f + 2*n = -4 for f.
-2
Let v(p) = 1 - 2 + 2*p + 0*p**2 + p**2 + 0*p**2. Let k be v(1). Suppose -c + 82 = 4*y - 6*c, 0 = -4*y - k*c + 68. Solve -5*i - u = -y, -3*u + 6*u - 9 = 0 for i.
3
Suppose 4*y + 8 = 0, -b + 4*b = -2*y + 2. Solve -x - 3*d - 9 = 0, 2*x + 2*d + 0*d + b = 0 for x.
3
Suppose r + 2*f - 11 = 0, 9*f - 14 = r + 6*f. Let v be 0 - r - -3*(-12)/(-9). Solve -v*o - 2*o - 3*d = -7, -19 = 3*o - 4*d for o.
-1
Suppose -12*r + 7*r + 60 = 0. Suppose 0 = -3*f - 3*p + r, 0 = 3*f + p - 3*p - 17. Solve 4*m + m = -5*x - f, 0 = -2*x + 2*m + 6 for x.
1
Suppose 0 = 11*h - 181 + 126. Solve h*r + 2*o = -35, 2*o - 10 = 4*r - 0*r for r.
-5
Let o = -3 + 7. Suppose f = 3*f - 3*i + 9, 0 = -5*f + 3*i. Suppose 0 = -4*u - f*t + 24, -2*t + 20 = 3*t. Solve 0 = o*l + 4*k + 28, u*k + 0 = 3*l - 3 for l.
-3
Let k = 326 - 296. Solve -4*v - k = 5*q - 2, 2*q + 2 = 3*v for v.
-2
Let t(f) = f - 1. Let d(h) = -4*h - 4. Let w(x) = d(x) - t(x)