= -h + 2*t, 5*h = -m*t - 31 for h.
-3
Let x = 7 - -13. Let m = x - 15. Let z(a) = 69*a + 431. Let r be z(-6). Solve -v = 5*j + v - m, -4*j + r = -v for j.
3
Suppose 42 = 2*z + 4*p, 2*z = 4*z - 4*p - 10. Suppose -z*r + 28 = -17*r. Let v = -3 - r. Solve j + v*d = 9, 2*d - 6 = -0*d for j.
-3
Let k(u) = u**3 - 11*u**2 + 21*u - 42. Let d(r) = -2*r**3 + 2*r. Let c(h) = -d(h) - k(h). Let z be c(-13). Solve -z*t + t - 21 = -5*x, 2*t = 4*x - 16 for t.
2
Let s(f) = 3*f - 30. Let l be s(13). Let u be l/(-3) - (-5 + 2). Let j be 31 + 10/(u + -5). Solve -t = 5*r + j, -2*t - r - 11 - 2 = 0 for t.
-4
Let v = 4053 + -4048. Solve y - 4 + 8 = 0, 20 = t - v*y for t.
0
Let c(x) = -x - 7. Let j be c(-10). Let u = -1742 + 1747. Solve 3*b - j*m = 12, 4*m - 20 = -u*b + 2*m for b.
4
Let t(x) = -15*x - 10. Let s(o) = -76*o - 51. Let v(z) = -2*s(z) + 11*t(z). Let m be v(-1). Solve u = -m*l - 11, 0*u + 5*u - 14 = -2*l for l.
-3
Let g be 36/((((-10)/(-8))/5)/(-1)). Let q be -2 - (1696/g - (-4)/(-18)). Suppose -65*y + 60*y = -q. Solve 0 = -2*n, -y*n - 2*n - 9 = -3*v for v.
3
Let y(j) = -j**2 + 43*j + 33. Let z(g) = -2*g**2 + 65*g + 51. Let b(k) = 7*y(k) - 5*z(k). Let f be b(-1). Solve f*m = 3*t - 21, 4*t + 0*t - 16 = -2*m for m.
-2
Let a(g) be the third derivative of g**5/15 - g**4/3 - 2*g**3/3 + 10*g**2. Let x be a(4). Let m = x + -25. Solve 3*n - 5*r = -22, 4 = -m*n - 0*r - 4*r for n.
-4
Let x be (76/(-19))/(1*2/12). Let o be (x/(-2))/(-37 - -38). Solve -y - 4 = 4*i - 16, -4*y = -4*i + o for i.
3
Suppose 2*a - 48 + 9 = 5*i, 2*i = -3*a + 11. Suppose a = 3*w - 5. Suppose -5*v + 3*v + c = -5, 4*c - w = 2*v. Solve 0 = 2*f - t + 12, v = 3*t - t for f.
-5
Suppose -p + 4 = -10 + 1. Suppose -g + 15 = -3*i + 2*g, -2*i - 25 = -5*g. Solve 3*l - 2*l - 5*x = 24, i = -3*l - 2*x - p for l.
-1
Suppose -3*k - i = 6 - 1, 2*k = -4*i - 20. Suppose k = 9*l - 5*l - 48. Solve -3*u - 5*f - l = 0, 2*u = -4*f + f - 7 for u.
1
Suppose 104 = -8*y + 120. Suppose -1 = -2*a + n + 7, 2*a = 5*n + 24. Let d = 736 + -734. Solve y = d*q - a*o, -3*q - 4*o = o - 19 for q.
3
Let d be ((-2400)/375)/(4/(-10)). Suppose 2*q - d*g = -12*g + 20, -q + 6 = -g. Solve 0 = -5*s + 4*b - 9, -q*b + 4 = -3*s - 1 for s.
-1
Let w = 544 - 541. Suppose w*v - 6 = 3*y, -4*v - 3*y - 3 = -11. Solve -3*u - 4*q = -32, -v*u + 3*q + 3 = 2*q for u.
4
Let t(g) = -g**3 + 18*g**2 - 31*g - 11. Let a be t(16). Solve -5*v = 20, 6 = -a*j - 2*v - 2 for j.
0
Suppose 5*t = -0*t - 475. Let z = t + 95. Solve 4*c = -k - 25, 2*k + c + 15 = -z*k for k.
-5
Suppose 0 = -2*i - 43*i - 15*i. Solve 0 = 3*v + o, 5*v + 3*o - 4 = -i for v.
-1
Let g(l) = l**3 + 3*l**2 - 4*l + 2. Let c be g(-4). Let t be -2*2/4 - -39. Let n = 40 - t. Solve 5*r + n*k - 31 = 0, r + r - 4 = c*k for r.
5
Suppose -y - y = -8*y. Suppose 4*n + y*n + 2*p - 10 = 0, p = -n + 3. Suppose n*h - 8*h = -18. Solve -h*o - 19 = o - 3*t, 3*o + 4*t = -8 for o.
-4
Let x(m) be the first derivative of -m**3/3 + 17*m**2/2 + 40*m - 34. Let d be x(19). Suppose d*y - 30 = 16. Solve 3*z - 2*r - y = 0, 4*z - 5*r = -10*r for z.
5
Suppose 3*t - 233 = 5*c - 263, -4*t - 30 = -5*c. Solve t = -4*a - 4*s, -s = 5*a - 4*s - 8 for a.
1
Let u = -172 - -200. Suppose 6 = -11*i + u. Solve z = -3*n + 14 + 2, -5*n = i*z - 28 for z.
4
Suppose 3*o - 44 = -72*g + 71*g, -2*o = -3*g + 99. Solve 5*x = 2*r + r + g, 0 = -x + 2*r + 14 for x.
4
Let g be -56*((-18)/14 + 1). Suppose 5*v - 24 = g. Suppose -v*l = -5*l. Solve t + 6 = f, f + 3*t = -l*f - 10 for f.
2
Let z(y) = y**3 - 10*y**2 + 62*y - 185. Let o be z(5). Solve o = -f - 4*f - n + 25, -f - n + 9 = 0 for f.
4
Let r(b) = 3*b**2 + 11*b. Let x be r(-4). Suppose -3*l + g + 16 = 0, -x*l - 4 + 34 = 3*g. Solve -8 = -3*o + 2*t, -o + 4*t - l = -t for o.
4
Suppose -65 = -26*i + 31*i. Let w(m) = -m**3 - 11*m**2 + 25*m + 9. Let s be w(i). Solve h = -5*g - s, 3*h + 2 + 4 = 0 for g.
-4
Let r(y) = 2*y**3 - 49*y**2 - 25*y + 3. Suppose -67*l - 100 = -71*l. Let w be r(l). Solve -w*z + 7*z + c = -15, 0 = -3*z + 3*c for z.
-3
Suppose 12*w - 13*w = 0. Suppose -22 = -2*k - 4*x - w*x, 0 = 5*k - 4*x - 83. Let b be (-2)/(-4)*8/(-12)*-6. Solve 4 = -b*t + 3*q - k, 3*t + 5*q = 19 for t.
-2
Let b(i) = -18*i**2. Let f be b(-1). Let d be (4/(32/f))/(13/(-572)). Let h = d + -99. Solve -2*q = -3*m + 10, h*q + 3*m = -3*q + 15 for q.
1
Let t = -54 - -76. Suppose -2 = 4*g - t. Solve k + k = 5*d + 20, 0 = 5*d + g*k + 20 for d.
-4
Suppose 0 = -4*x + 2*n + 20, 0 = -3*x - 4*n + 121 - 106. Let t be 1 - 5 - (5 - 14). Solve t*b - 2*v + 24 = -7, -4*b - x*v - 5 = 0 for b.
-5
Let t be -1 + 0 + -1 + 2. Suppose 2*w + 3*o - 6*o - 181 = t, -5*w - 5*o = -440. Suppose -w + 9 = -4*p. Solve -q + 12 = -3*i, 6*i - i + 4*q + p = 0 for i.
-4
Suppose 5*j + 5*y = 2*j - 618, 3*y + 1030 = -5*j. Let o = j - -226. Solve o = -4*b - 5*k + k, -2 = k for b.
-3
Let a = -6 - -12. Let n be (8 - 4 - 4)/2. Suppose n = 7*s + 1271 - 1313. Solve -3*d + 24 = -a*d - 5*j, s = 2*d - 4*j for d.
-3
Suppose -3*j - 73 = -13. Let z be (j/25)/((-2)/10). Solve -z*g + w = -5, 1 = -w + 4 for g.
2
Suppose 108*q - 4879 = -11*q. Solve -4*x + q = -5*u, 0 + 16 = 4*x for u.
-5
Suppose 6*l + 4 = 4*l - 4*k, 4*l - 4 = -4*k. Let b be -1 + 2/(5 - -1 - l). Suppose -16*p + 19*p - 27 = b. Solve -7*h + 3*h = -2*s + 2, 0 = -s - 2*h + p for s.
5
Suppose 0 = -482*y + 371*y. Solve -22*b + 2*u - 11 = -27*b, -b + 5*u + 13 = y for b.
3
Suppose 5*m - 60 = 5*x, -32 = -5*m - 5*x + 3*x. Solve -r - m + 6 = -2*p, -2 = r - p for r.
-2
Suppose 0 = -4*h - 4*u + 8, 0 = 5*h + 2*u + 2. Let z be (h/(-4)*(-6 + 6))/(-2). Solve -4*j - 8 = -4*q, z = 3*q - 4*q + 4*j + 5 for q.
1
Let x(h) = -h**3 + 8*h**2 - 5*h - 16. Let l be x(5). Let p be ((-10)/14)/(l/(-238)). Solve 4*a = -5*u - p + 1, 0 = -a - 2*u - 4 for a.
4
Let m = 75 + -62. Suppose -m*v = -9*v - 16. Solve 3*c + v*y = -c + 8, 4*y = -2*c - 2 for c.
5
Let d = 213 - -204. Let o = d - 416. Let f = 7 + -3. Solve x + f*r = -20 + o, x + 3*r = -14 for x.
1
Let t(u) = -2*u**2 - 15*u + 118. Let a be t(-12). Solve -l = -3*i - a + 12, 1 = 4*l - 3*i for l.
1
Suppose -592*n - 850 = -617*n. Solve 6*s = 5*x + 3*s + n, -3*s = -x - 14 for x.
-5
Let t be 2/(-8) + 494/(-8). Let c = 65 + t. Solve 0*n = -3*n - 2*r, c*n + 3*r + 3 = 0 for n.
2
Let f be (-4)/22 - 2314/(-22). Let d(w) = w + 13*w**2 - 3 + 106*w**3 + 9 - f*w**3 + 12. Let x be d(-13). Solve -6 = -3*a + 3*s, -5*a - 3*s = 19 - x for a.
-1
Suppose -14 = -2*x - u, -4*x = -4*u + 6 - 10. Solve -i - 6 = 4*w, x*i + w + 14 = 22 for i.
2
Let o be 128/56 - (-4)/(-14). Suppose 0 = n + o*n - 141. Suppose -2*x - 2*a + a + n = 0, -4*x + 79 = -a. Solve 0 = 4*g - 4, 0 = -5*y - g + x for y.
4
Suppose 8*z - 11*z = -5*n + 42, 4*z = -16. Solve 0 = 3*f + 5*b + n - 4, 2*f - 3*b - 5 = 0 for f.
1
Suppose -4*o - 3*u = -71, -3*o + 492*u = 491*u - 37. Solve 4*s + o = -3*b, 3*b + 0*s = -5*s - 16 for b.
-2
Let f(k) = -29*k - 3480. Let z be f(-120). Suppose 0 = v - 0 - 2. Solve z = -3*s - 0*s - v*h + 13, -20 = -5*s - 5*h for s.
5
Let j = -168 - -158. Let r be (-6 - j/2) + 6. Solve 5*s = -5*k - 40, 0 = -r*s + 2*s - 5*k - 34 for s.
-3
Suppose -17 = -2*p - k + 18, 4*p = 5*k + 63. Solve 2*s = -2*c + 7*s - 13, -p = -5*c - 4*s for c.
1
Let u(c) = -2*c**2 + 7*c + 3. Let l be u(5). Let k be (l/(-10))/(-3)*(-5)/2. Let s be (-4)/(-8)*6*k. Solve 0 = -v + 4*n - s, -4*v = -0*n + 4*n - 28 for v.
5
Let j be (-8)/(-16 + (-1768)/(-119)). Solve -4 = 4*d + 4*z, -2*d - 6*z - 14 = -j*z for d.
-5
Suppose -4*o + 5*o + 2*o = 0. Let a(f) = -f**2 + 27*f - 70. Let m be a(3). Solve -11 = -m*z - l, o = -3*z - 0*z + 2*l - 1 for z.
3
Let g(b) = 2*b - 10. Let x be g(7). Let h be 111/(-9) - x/6. Let k = 22 + h. Solve 2*c - k + 35 = -4*s, 11 = -3*c + s for c.
-5
Let w be ((-3)/(-48)*20)/((-65)/(-312)). Solve 4*t + 3 = 5*v, -5*v - 4*t - 7 = -w*v for v.
-1
Let t(k) = -k**3 - 3*k**2 + 29*k - 21. Let w be t(-8). Let j = w - 64. Solve -1 = j*v - r + 6, -r - 9 = v for v.
-4
Let h be 6 + -10 + 5 - -2. Solve h*q - 1 = -13, 0 = 2*d + q for d.
2
Let u(g) = -1093*g - 14209. Let x be u(-13). Solve -5*k = -26*b + 23*b - 8, x = -k - 2 for b.
-6
Suppose -4294*h - 32 = -4296*h. Solve h*p + 22 = 5*j + 19*p, -j = -3*p - 8 for j.
5
Let d(o) = -o**3 + 17*o**2 - 33*o + 69. Let i be d(15). Solve -2*x + 2 = 4*n, 23*x - i*x + 5*n + 15 = 0 for x.
5
Suppose 0*f = 4*f - 2*k - 12, 2*f - 3*k + 2