 - n = i for h.
5
Suppose 5*b - 9 = -3*o, 0 = o - b - 75 + 56. Solve t - 2*v = 8, 2*t + 2*v - 3*v - o = 0 for t.
6
Suppose -23*m = -20*m - 768. Let b be (-5 - 1)/((-48)/m). Suppose -9*x + b = -5*x. Solve 0 = 4*t - x*o + 3*o, o = -5*t for t.
0
Let h(m) = -m**2 - 7*m - 5. Let s be h(-2). Suppose 10*x - s*x = 25, 4*x = 5*n + 10. Solve -4*b - 2 = -2*o, n = -o - 4*b + 3 for o.
1
Suppose -2*f = -3*u, 10*f - 4*f + 5*u = f. Solve -4*j = -5*k - 7, -8 = -f*j - j - 5*k for j.
3
Suppose -1555 = -22*m + 425. Suppose -m = s - 92. Solve -3*y + 13 = -s*p - 0*y, -5 = -y for p.
1
Suppose 0 = 200*s + 152*s. Solve 17*o + 14 = 15*o - 2*d, -5*o - 2*d - 29 = s for o.
-5
Let c be 18/(-12)*10/(-3). Suppose -2*b = a - b - 7, c = b. Suppose 8*f = -a*f + 20. Solve -u + f*m + 2 = -6, 0 = 4*u + 4*m - 8 for u.
4
Suppose 4*o - k - 432 = -5*k, 306 = 3*o - 3*k. Let i be (1 - 7)*o/30. Let v = -18 - i. Solve -v*n - n = 2*z + 14, -4*n - 16 = 0 for z.
1
Suppose 14*p = 43*p - 1972. Let j be (-3)/(-4) + p/16. Solve -j*y = -0*y + 4*n + 29, -n - 6 = y for y.
-5
Let y = -58 - -60. Suppose -4*s + 23 + 8 = 5*k, -20 = -5*s. Solve -2*g + 5 = -5*o + k*g, g = -y*o - 5 for o.
-2
Let f = 100547 - 100542. Let c = 2 + 5. Solve -2*q - 5*a + 17 = 0, 4*a = f + c for q.
1
Let n(p) = -167*p - 59 + 334*p - 180*p. Let a be n(-5). Solve 5*x = -2*j + 9, 2*j + x = -j - a for j.
-3
Let n be 2 + 2 + -5 + 12/2. Solve -5*d + 10 = -x, 11*d - 7*d + n*x = -21 for d.
1
Suppose -3*x + 17 = 4*s, 0 = -5*s - 3*x - 0 + 22. Suppose -s*p - 17*p = -418. Solve 6 - 16 = -b - 5*u, -5*b - 2*u = p for b.
-5
Suppose -5*n + 45 - 15 = 0. Suppose -x + 16 = n. Suppose -3*d - 2 = -5*d + 4*y, -5*y = -x. Solve d*s - 14 = 4*c + 7, 7 = -3*c + 2*s for c.
1
Let m(y) = y**3 + 4*y**2 - 2*y + 83. Let b be m(-7). Suppose -72 = 4*a + 88. Let l be (-5)/(-2)*a/b. Solve -3 = 3*w + 3*u, -5*w + l*u = -3 + 1 for w.
0
Let n(w) = w**3 - 4*w**2 - 33*w - 2. Let i be n(-4). Solve -2*a + i + 8 = -4*u, -5*u - 5 = -4*a for u.
-5
Suppose 2*q + 5*l - 35 + 24 = 0, 4*l = 3*q - 28. Solve -10 = 4*x + 2*t, 5*x + q = -2*t - 5 for x.
-3
Suppose 3*n - 11*s = -8*s - 3, 0 = 5*n - 3*s - 5. Solve n*j - 5*y + 16 = 0, -4*j + 20 = 32*y - 28*y for j.
1
Let d be (-2 - 16/(-12))*((-7 - -10) + -6). Solve 3*r = -5*l + 12, d*l + 2*l = 0 for r.
4
Suppose 3*s - 21 = -85*m + 88*m, -3*s - 4*m = -49. Solve 4*n = -3*w + 5, n - w + s = 21 for n.
5
Suppose 4*o = 10 + 14. Let s(h) be the third derivative of -h**5/30 + h**4/2 + h**3 - 245*h**2. Let i be s(o). Solve -c + 3*m = -i*c - 5, -2*m + 1 = -c for c.
-1
Let w = -34 - -40. Let j(m) = m**2 - 3*m - 8. Let i be j(7). Suppose w*u - i = 2*u. Solve n + 10 = 3*b, u*b - 7 = -5*n + b for n.
-1
Let t = 22 - 16. Suppose -24*k = -18*k - t. Let h be (14/10 - k)*5/2. Solve -h = -q + 3*s, q + 8 - 1 = -s for q.
-5
Let v = -225 + 349. Let z = -86 + v. Solve 5*a - n + 10 = 0, 3*a = -3*n + 14 - z for a.
-3
Let p be (-6)/(-4) - 1 - (-39)/26. Suppose v + 0*v - p = 3*d, d = -2*v + 11. Solve 5*f - c + 16 = 0, -v*f = -3*c + 12 + 6 for f.
-3
Let s = -1 - -1. Suppose s = -8*h + 4*h + 64. Suppose 3*p - h = 2*g, 0 = -g - 8 + 3. Solve t - 9 = p*v, -2*t - 3 - 3 = 2*v for v.
-4
Suppose -73*d + 104 + 60 = -55. Solve 2*y - 10 = -7*s + d*s, -3*y - 5 = -4*s for s.
2
Let s(i) = 77*i - 1753. Let z be s(23). Solve -l + z = 3*t + 4*l, 2*l = 2*t + 4 for t.
1
Let r = -129063 - -129063. Let c = 3 + 0. Solve -13 = -c*k + v, -2*k + 4*v = -r*k - 22 for k.
3
Let r = 100 - 101. Let l be (r + 2 + -7)/(-2). Solve -5*m + 2*x = 12, -l = -5*x + 2 for m.
-2
Let k(w) = -64 + 35 - 25*w**2 + 3*w**3 + 8*w + 34. Let v be k(8). Suppose -v*d = -4*o - 17, -4*d = 2*o - 4 - 20. Solve d*z + 10 + 5 = 2*f, 15 = f - 5*z for f.
0
Suppose -457*r = -972 - 1313. Solve -4*m = 3*a - 32, -36*a = -r*m - 33*a + 13 for m.
5
Let r = -9848 + 9850. Solve 4*s - 5 - 9 = -2*b, -r*s = -3*b - 3 for b.
1
Suppose 11*t + 5*d - 40 = 0, -16 = -5*t + 3*d - 6*d. Solve t*o + k = -70 + 65, 5*o + 2*k = 0 for o.
-2
Suppose 0 = 5*k, -j - 19 = -5*j - k + 5. Solve 3*y + 14 = -r, -r - 300*y = -302*y - j for r.
-2
Let b be -1 - (-9 + 19 + -18). Solve 529*t + 3*w = 533*t + b, -4*t + 1 = 5*w for t.
-1
Let j be -27 + 3033 - (2 - -1)/(-1). Let u be j/39 - (-2)/(-13). Let a = u + -75. Solve -3*x - 20 = -4*q, 0 = -a*x + 4*x - 5*q + 25 for x.
0
Suppose 0 = 6*j - 2858 + 14. Let m = j - 471. Solve 0 = -l - p - m + 6, 2*l - 21 = -5*p for l.
-2
Let j(g) = 274*g + 5207. Let b be j(-19). Solve -2*m + 2 = 2*d - 6*m, -2*d + 5*m = -b for d.
3
Suppose -3 - 6 = -3*c. Suppose c*x = -2*g - 0*x + 24, 5*g + 2*x = 71. Suppose g = 82*y - 77*y. Solve 3*j = -3*p - 24, -4*p - 5 - 24 = y*j for p.
-5
Let k = 64 + -60. Suppose -3*c + l = -3 - 2, k*c + l = 16. Solve o - c*o + 26 = -4*n, 0 = 4*o + n - 7 for o.
3
Let h = 3176 + -3152. Solve -5*a + 3*s = s - h, a = 3*s + 10 for a.
4
Let z be (3/(-21))/((-59)/1239). Solve -3*a + 2 = -z*g - 10, 0 = 4*g + 8 for a.
2
Suppose 3*f - 16 = d, 2*d + f = 28 - 39. Let k(h) = h**3 + 8*h**2 + 39*h + 228. Let o be k(d). Let a = -34 - -49. Solve o*t + b = -a, 6 = -3*b - 3 for t.
-3
Suppose -3*r - 22 = 5*m, -m = 4*r + r. Let z be 4/r + 12/(-3). Let h be -3 + (1 - z) + 2. Solve -n - 13 = 2*n + 5*i, h = 5*n - 3*i - 1 for n.
-1
Let y(w) = 26*w - 69. Suppose 0 = -6*v + 22 - 4. Let r be y(v). Solve -4*i + 5*h = -2*i - r, -3*h - 11 = -4*i for i.
2
Suppose -2*l + 4*l + 62 = 0. Let y = l - -23. Let x(a) = -a**2 - 8*a + 3. Let o be x(y). Solve 3*s = -3*m - m - 10, m - 5 = o*s for s.
-2
Suppose -20*m - 32 - 28 = 0. Let q be 11 - (-24)/(m + -1). Solve 0*i = -q*h - 4*i - 41, -9 = h + i for h.
-5
Suppose 0 = -38*b - 2124 + 2618. Solve 4*o - 4*u + 8 = 0, b - 5 = 4*u for o.
0
Suppose 0 = -3*i - 6, 1 = v + 2*i + 2. Let a be 20*v/72*3*2. Solve -4 = 2*u, -2 = -a*n - 2*u - 1 for n.
1
Let h(d) = 49*d - 175. Let u be h(7). Let a = u + -164. Solve 0 = 2*w + 5*t - 9, -a*t = 3*w - 0*t - 10 for w.
2
Let a be ((-2028)/130)/(2/(-5)). Let h be (-3)/(-2)*(a/9 - -1). Suppose -34*o = -30*o - h. Solve s = -4*m - 0*m - 17, -o*m + 4*s = -14 for m.
-3
Let t = -100 - 156. Let s = 258 + t. Solve 5*m + 15 = -4*y, 4*m + 8 = 2*m - s*y for m.
1
Let h = 574 - 571. Suppose 0 + 6 = m. Suppose m*w - w = 20. Solve 3*d + l + 4*l = -5, -w*d - 26 = -h*l for d.
-5
Let s(h) = -h**3 + 2*h**2 + 65*h - 1. Let j be s(9). Solve -4*p + j*k - 15*k = -2, -p + 2*k = -8 for p.
-2
Let c be (-1)/8 - (6 - (-325)/(-40)). Let p(w) = -w - 31*w**2 + 30*w**2 + 2 + w. Let j be p(0). Solve 3*y + 3 = j*b, -3*b = y + c*b + 1 for y.
-1
Let w = 25136 + -25105. Solve 0 = 4*v - 5*z - 28 - 2, -5*v + w = -3*z for v.
5
Let k be ((-11)/44)/(2/(-24)). Suppose 0 = k*o - 102 + 96. Let f be (-2)/(-7) + 270/35. Solve o*d + 0*d - x = -f, 4*d = -2*x for d.
-2
Let d be 145/(-174) + 610/12. Suppose -m + d = 5*n, 0*m - 2*m + 40 = -2*n. Solve m = j + 4*j, 4*j - 16 = -4*l for l.
-1
Suppose 21 = -14*x + 133. Suppose x*g = 13*g - 20. Solve -2*d + 6 = -4*m - g, 2*d = -3*m - 18 for d.
-3
Suppose -89*n = 157*n - 5658. Solve -5*w + 3*o - 16 = 0, -n = -w + 2*o - 29 for w.
-2
Suppose 17 = 2*y + 1. Let h = -9 + y. Let x be 3 + 12/(-5 - h). Solve -2 = -x*v + v, -3*v = -2*b - 4 for b.
-5
Let m(i) = -i**3 - 13*i**2 + 6*i + 83. Let w be m(-13). Solve -2*f = w*b - 27, -f - 4*b = 4*f - 25 for f.
1
Suppose 0 = -3*v + 32 - 8. Let q(g) = 1153*g + 11532. Let l be q(-10). Solve l*f + j - 3*j = -v, 2*f = 4*j - 12 for f.
-2
Let x(t) = -24*t**2 + 49*t - 4. Let g be x(1). Solve -26*j = -g*j - 4*m - 37, 3*m - 16 = -5*j for j.
5
Let m = 107 + -107. Suppose -2*d - 106 - 138 = m. Let y = d + 122. Solve 3*j - 4*j + 2*r - 10 = y, 0 = 3*j + r + 2 for j.
-2
Suppose 5*d = d. Let m(j) = j**3 - 5*j**2 - 24*j + 20. Let w be m(8). Let u be w/9 + -2 + 430/90. Solve 3*g - 27 = -u*c - d*c, 5*g = c + 17 for g.
4
Let n = -4 - -8. Suppose -2 + 8 = 3*j. Suppose 2*v + 22 = -6*o, 0 = -v + o - 33 + 42. Solve v*t + 16 = j*f + n, -15 = 5*f - t for f.
-4
Suppose 129 = -2*d + 3. Let x be (-8)/(112/d)*16/18. Solve 4*y = -2*a + x, -3*a - 3*y = y - 6 for a.
2
Suppose 8*d - 2365 = 27. Let p = d - 296. Solve 0 = -0*h - h + l - p, 2*h + 5*l = 15 for h.
0
Suppose -4*u - 3*c = -38, 2*c - 37 = -u - 4*u. Solve -2*d = 5*a + 5, 5 = -5*d - d - u*a for d.
0
Let q(u) = u**3 - 6*u**2 + 5*u + 6. Let m be q(5). Suppose 0 = 52*k - 100 - 160. Solve k*t = -2*a + 3, -4*t = -5*a + 30 - m fo