+ 2*h = 7*h - o, 0 = 5*h for t.
-4
Suppose 4*l - 5*d + 2*d + 38 = 0, -5*l + 4*d - 48 = 0. Let g = l - -13. Let y = -1588 + 1591. Solve -4*i + q - 20 = 0, y*i - 3*q = g*i + 10 for i.
-5
Let i(z) = -3*z + 22. Suppose 18 = 5*y + 4*n, -5*y - n = -36 + 9. Let x be i(y). Solve 0 = -x*b - p + 17, p = 2*b - 1 for b.
3
Let t be 3/12*24 - (0 + 4). Solve t*g - 11 = -5*m, -5*g = -4*m - 18 + 7 for m.
1
Let l be (119/(-4))/((-5)/(-60)*-3). Suppose 24*w - l = 17*w. Solve w = -4*h - 3, 5*o + 2*h + 30 = 0 for o.
-4
Let t be -25*(72/40 - 2). Solve 2*v - 14 = -t*h, -4*h - 3*v - 43 + 57 = 0 for h.
2
Let s be (-14596)/(-2136) + 10/(-12). Solve -2*x = -i + 4, -62*i - s = 4*x - 65*i for x.
-3
Let c be (-74)/(-14) - (-28)/(-98). Let f be ((-30)/12)/(c/(-4)). Solve -5*g = -2*p - f*p + 13, 3 = -3*g for p.
2
Let o(f) be the second derivative of f**3/2 - 19*f**2/2 - 30*f. Let k be o(8). Solve k = p, -4*p = 3*v - 1 - 7 for v.
-4
Let o be (-4 - -8) + -13 + 14. Let c(t) = -t + 8. Let q(h) = 3*h - 24. Let a(s) = 7*c(s) + 2*q(s). Let n be a(o). Solve -x = -n*j + 2*x, 5*x = 0 for j.
0
Suppose 8 = -3*p + 41. Suppose -3*b - 28 = 4*d - 9*d, -2*d - 4*b = -32. Let o = p - d. Solve -4*c - 19 = -o*n - 0*c, 2 = -2*c for n.
5
Let c be 8/(-4) - 20*1. Let w = 31 + c. Suppose 0 = 4*q - 21 + w. Solve -4*k + 2*b + 28 = 0, 2*k = -k - 3*b + q for k.
5
Let s = 513 - 851. Let q = s + 353. Solve 4 = -3*j + v, 2*j + 5*v + q = -16 for j.
-3
Let b be 2*(3 - (-28)/16*-2). Let l be 2 + b + (-18)/6*-13. Suppose 0 = -12*c + 14*c - l. Solve -u - 4*s - 3 - 5 = 0, 4*s = -4*u - c for u.
-4
Suppose 51*s + 18 = 18. Suppose -14 = -12*i + 11*i. Solve s = u + 3, -4 = -4*c - 2*u - i for c.
-1
Let c = -1278 + 1280. Solve 2*o + 4 = -c*m, -4*o - 2*m - 2 = 10 for o.
-4
Suppose 72*r - 17 = 127. Solve 0*z + 4*z + 8 = 3*t, r*t - 3*z = 7 for t.
-4
Let h(i) = i**3 + 4*i**2 - 26*i - 31. Suppose d + 4*a - 5 = 0, 36*d - 2*a = 37*d + 1. Let j be h(d). Solve 0*k + 4*o = -k - 4, 3*k = -4*o + j for k.
4
Suppose -r - 2*r + 3*r = -7*r. Solve -11 = 85*y - 88*y - 5*l, 4*y - 2*l + 20 = r for y.
-3
Suppose -c - 18*f + 38 = -15*f, 71 = 2*c + f. Suppose 25*l + 20 = c*l. Solve 0*n - 13 = l*n - u, -4*u + 40 = -5*n for n.
-4
Let f = -5940 - -5942. Solve f*w = 8, -10*w = -q - 7*w - 11 for q.
1
Let r(s) = 2*s**2 + 20*s. Let g be r(-10). Suppose 7*a - 31 - 4 = g. Solve -3*f - 15 = 0, 5*i = -4*f + 2*f + a for i.
3
Let u(b) be the third derivative of 1/4*b**4 + 13/6*b**3 + 0 - 23*b**2 + 0*b + 1/60*b**5. Let v be u(-4). Solve -w - 9 = -v*h + 11, -3*w + 25 = 2*h for w.
5
Suppose 5*v + 250 = -k, 0*k = 4*v - 5*k + 229. Let x = v + 57. Let l(z) = -z**2 + 9*z - 6. Let n be l(x). Solve -3*r + 3*y - n = 6*y, -2*r + 4 = -4*y for r.
-2
Suppose 25 = 3*i + 2*i, 363 = 4*w - i. Let m = -90 + w. Suppose -6*g - 2*u + 9 = -3*g, 0 = -m*u - 6. Solve 4*q = -q + 5*f, g*f = 0 for q.
0
Let g(r) = r**3 - 16*r**2 - 2*r + 34. Suppose -2*v + 96 - 64 = 0. Let q be g(v). Solve j = -q*j - 4*x - 19, 0 = 4*j - 2*x + 18 for j.
-5
Suppose 48*w - 1132 = 164. Solve -21 = w*u - 24*u + 3*r, -u + 17 = -5*r for u.
-3
Suppose 12*o = 11*o. Let c(a) = -2*a - 6. Let d be c(-5). Let p be (2/d)/(4/16 - 0). Solve -x + 17 = 4*s, -3*s - 3*x - p*x + 17 = o for s.
4
Suppose -x = -3*a, -5*x - a + 51 = -29. Suppose -87*i + 90*i - x = 0. Suppose b = 3*b - 22. Solve -2*j = -i*n - j - 14, -5*n - b = -4*j for n.
-3
Let f = 106 - 100. Let m(z) = 7*z + 12 - 2*z - 4*z. Let q be m(f). Solve -3*s = -5*n - 26, s = 2*s + 5*n + q for s.
2
Let z = 38659 - 38654. Solve 109*r = 106*r - f + 10, 0 = -3*r - z*f + 14 for r.
3
Let s = -3513 - -3516. Solve -35 = -21*o + 16*o + 5*q, -4*o - s*q = 0 for o.
3
Let r = 105 - 102. Let o be r/6*(46 - -2). Suppose -o*v + 12*v + 48 = 0. Solve 3*k - 4*x + 0*x = v, -x - 1 = -4*k for k.
0
Let q be 8/(-6)*12/(-8). Let f = -524 + 526. Solve -3*t - q*g = 7, -g - f*g = t for t.
-3
Let i(m) = 2*m**3 - 21*m**2 - 42*m + 75. Let s be i(12). Solve -2*l = 4*a + 6, 3*l - 3*a = 6*l - s for l.
5
Suppose 38*c + 69*c - 34*c - 146 = 0. Solve -3*x = 5*g + 7, 0 = x + 2 + c for g.
1
Suppose 22*h - 90 + 24 = 0. Suppose 27*f - 28*f = 3*d + 1, -1 = -h*f - 5*d. Solve f*g + 5*v = 21, -v - 3*v = 3*g - 21 for g.
3
Suppose -2*s + x + 4 = -29, 4*x = 20. Solve -q = a + 8, 2*q - 13*a - s = -8*a for q.
-3
Suppose 43*n - 44*n - 7 = 0. Let t be 2/6*((n - -1) + 6). Suppose -m + 17 - 3 = t. Solve -5*l - m = v + 5, 0 = 5*v - 2*l + 14 for v.
-4
Let t = -6990 + 6995. Solve n = -4*k - 1, -4*k = t*n - 2*k + 5 for n.
-1
Let f = 258491 - 258489. Suppose 3*r - 6 = 3. Solve -5*l + 4*q = 14 - 2, f*l + r = q for l.
0
Let w = -4985 - -4985. Solve -2*k = w, -4*u + k + 12 = 8 for u.
1
Let b(c) = -254*c + 5. Let q be b(0). Solve -10 = 3*m - q*w, 11 = -4*m + 4*w - 5 for m.
-5
Let m = -66 - -21. Let w = m + 47. Let r(h) = h**3 - 7*h**2 + 9*h - 15. Let j be r(6). Solve -u = j*d + 2, -4*d = w*u - 2*d for u.
1
Let t be (-2 - -1)/((-1)/2). Suppose 4 = -t*n + 12. Suppose 26 = -3*r + 369*q - 364*q, -5*r = -2*q - 1. Solve 3*i + r = 0, 0*j - 5*i = -n*j + 17 for j.
3
Suppose d = -4*k - 40, 8*d + 20 = -2*k + 3*d. Let g(r) = r**2 + 21*r + 112. Let x be g(k). Solve 2*l - 2*m = -10, 4*m + x - 6 = 0 for l.
-4
Let x = 468 + -466. Solve -5*v = -x*u - 10, 4*v = -3*u + 4*u + 5 for u.
-5
Let f(a) = -6*a**2 + 383*a + 121. Let t be f(64). Let v = -12 + 84. Let d = v - t. Solve -3*l + 5*o + 25 = 2*l, -5*o - d = -3*l for l.
5
Let w(m) = 7*m - 20. Let k be (4 + (-28)/8)*(1 - -5). Let u be w(k). Let s be u/(-2)*0/3. Solve s = 3*y - 3*l + 3, 3*y = -0*y - 3*l - 9 for y.
-2
Suppose 2*c - 2*z + 624 = 654, 5*c + z - 39 = 0. Solve -3*b - c = g, 0 = 4*b - 4*g - 4 for b.
-2
Let r(f) = -3*f + 20 + 6 - 23. Let g be r(0). Solve -g*v - 3*u - 11 = 13, -2*v - 1 = -u for v.
-3
Suppose -4*g = 5*l + 49, 7*l - 5 = 24*g - 25*g. Suppose -y - y + 4 = 0. Solve -i = -o - 6, 2*i - y*o + l*o - 3 = 0 for i.
3
Suppose 11*a - 10 = -2*w + 7*a, -2*w + 4*a = -2. Suppose 5*k + 0*k - 15 = 0, k = 5*i + w. Solve 0 = z + 1 - i, -5*v - 2*z = 12 for v.
-2
Let u(r) = r**3 - 68*r**2 + 51*r - 3463. Let k be u(68). Solve 5*i = -a + 36 - 26, 0 = -a + k for i.
1
Let y = 301 - 296. Suppose -20 = -u - v - 12, 0 = u + y*v - 4. Solve -3*r = -0 + u, 2*r = 3*w + 6 for w.
-4
Let d = 13 + -95. Let c = 85 + d. Let s(y) = -y**3 + 3*y**2 + 5*y - 3. Let t be s(c). Solve -3*x - t = -3*v, 2*x - 3*v = -2*x - 14 for x.
-2
Suppose 21 = -2*v + 5*v. Suppose -p = -10 + v. Let a be 3*(0 - (-5)/p). Solve a*z + 4*u = -30, 2*z - 5*u - 33 = 6*z for z.
-2
Suppose 4*t - 1012 = 3*l - 5*l, -5*t - 499 = -l. Let q = l - 501. Let m = -2 - -5. Solve -4*f + 5 - 2 = -3*y, 3*f = -q*y - m for y.
-1
Let o(p) = -22*p + 1. Let y be o(1). Let s be -14 + (7 + -1)*14/y. Let g = s + 26. Solve -2*n + k + 4 = 0, -g = n - 0*k + 2*k for n.
0
Let q = 12 + -15. Let h be -3*(q - -2)*1. Suppose -25*z = -26*z + h. Solve 0 = -2*o + 3*c - 9, o = z*c + 2*c - 22 for o.
3
Suppose -2*i = -8 + 64. Let s(w) = -7*w - 56. Let b(f) = -8*f - 56. Let v(t) = -5*b(t) + 6*s(t). Let g be v(i). Solve -q + 2*a + 35 = 4*q, g = 3*a + 15 for q.
5
Suppose 0 = -2*b + 4*l + 358 - 2004, -4*b = 4*l + 3244. Let f = b + 817. Solve f*h - 3*p - 15 = 0, 18 = 2*h + 3*h - p for h.
3
Let s(z) = -2*z**2 - 159*z + 2623. Let b be s(14). Solve b*o - 5*t = 0, -3*o + 4 = 3*t - 8*t for o.
-2
Let p = 2165 + -2151. Solve 3*r = z, -15 = r - p for z.
-3
Let a(r) = -18*r - 430. Let l be a(-24). Let m = 25 - 18. Let w = -5 + 6. Solve f = -f - v + w, m = -f - l*v for f.
3
Suppose 3 + 461 = 86*s - 396. Solve -5*b + 2*t - 25 = 0, -b - 3*t - s = b for b.
-5
Let r(u) = 3*u - 13. Let x(g) = g**3 - 4*g**2 - 9*g - 13. Let t be x(6). Let y be r(t). Suppose -i = y*i - 12. Solve 0 = -5*o + 15, 2*o - 4 = i*l - 2 for l.
1
Let s be (8 - (12 - -5)) + 11. Solve -4*t + s*z + 2 = 0, -6*z = -5*t - 3*z + 1 for t.
2
Let l be 1 - (2 + 1*-4). Let r = -816 - -818. Suppose -d + l*q + 31 = d, -10 = r*q. Solve -3*f + 1 = -d, 5*f = 3*n + 6 for n.
3
Let y(k) = 12*k + 86. Let x be y(7). Suppose 4*p = 2*w + x, -w + 1 - 2 = 0. Let v be 74/26 + 0 - p/(-273). Solve 0 = 4*j + 5*f + 21, -3 = v*j + 5*f + 14 for j.
-4
Let s = -8706 - -8711. Solve 4*u + 2*k + 14 = k, 5*k - 30 = s*u for u.
-4
Let y = 25 + -30. Let g be 8/y - 3*8/60. Let u be ((-24)/(-20)*g)/(2/(-5)). Solve -2*c + u = 0, -5*b + 37 = -0*b + 4*c for b.
5
Let r(m) = 4