= -4*h, 0 = -2*h - d*u + 15 for h.
0
Suppose 13*c - 50 = 158. Let l(n) = 8*n**2 + 12*n + 5 - n**3 + 2 - 18 - c. Let m be l(9). Solve -2*z + 2*i + 2 = m, 2*i - 6*i = -8 for z.
3
Let l(c) = 25*c + 630. Let m be l(-25). Solve -2*f - 12 = 2*y, 2*f = 5*f - m*y - 14 for f.
-2
Suppose -28*q + 1 = -2*q + 1. Solve -8 = -m - 4*d + 2*d, m - d + 10 = q for m.
-4
Let o be 11 + -11 + (6 - 4)*(-12)/(-8). Solve -5 + 4 = -m - i, -o*i + 12 = 0 for m.
-3
Suppose 4*b = 3*l - 1172, 4*l - 1112 = 5*b + 354. Let d = 295 + b. Solve -3*k = -3*t - t - 2, k + d*t - 7 = 0 for k.
2
Let s(m) = 4*m**2 + 7*m + 2. Let t be s(-2). Suppose -21 = 4*g - 9, 4*g + 20 = t*v. Solve 0 = x - 6*x - 5*p + 15, -v*p = 4 for x.
5
Suppose 2 + 55 + 72 = 43*a. Solve 6 = -4*d + 2*s, -2*s - 3 = -d + a for d.
-4
Let p be ((-2)/4)/((-16)/1184). Let t = p + -22. Let u be (-114)/(-10) - t/(-25). Solve 3*i - u = -4*n + 5, 2*n = i + 1 for i.
3
Let m(p) = -6*p - 55. Suppose 125*t - 123*t = -20. Let w be m(t). Solve -2*b = -4*s + b + 17, 15 = 2*s + w*b for s.
5
Let z be ((-28)/(-7) + -3)/((-2)/(-6)). Solve z*c + 13 = -5*u, u - 1 + 3 = 0 for c.
-1
Suppose 46*q = 45*q - 65. Let r = -93 - q. Let v be (44/(-6) - 0)*42/r. Solve o = 3*c + 6*o - 18, -5*o = -4*c - v for c.
1
Let j be (-6)/21*1470/(-20). Solve -14*q + 18*q - j = d, -2*d + q = 14 for d.
-5
Let h(g) = -15*g - 91. Let w(s) = 14*s + 86. Let m(k) = 3*h(k) + 4*w(k). Let u be m(-6). Solve 4*n + n - u = 0, 0 = x - n for x.
1
Let s(a) = a**2 - 42*a + 332. Let q be s(32). Solve 2*h + q = -2*t, 3*t + 16 = -60*h + 58*h for t.
-4
Let l(h) = 17*h - 153. Let u be l(24). Let y be u/9 - 2/6. Solve -3*g + 4*o + 7 + 15 = 0, 0 = -4*g + 5*o + y for g.
2
Suppose -3*v + 45 = -2*l, -3*v - 3*l = -21 - 39. Solve 4*q + 7 = 3*a, 0 = -a + v*q - 12*q + 17 for a.
-3
Suppose 1349*a = 2*b + 1344*a - 31, -b = -a - 8. Solve 4*r = -3*i + b*r + 17, -i + 5*r = 21 for i.
4
Suppose -8*o - 31 + 78 = 31. Solve 4*p + 20 = -t, 197*t + 16 = 195*t - o*p for t.
-4
Let j = 2575 - 2568. Solve 32 = -4*q + 3*v - j*v, 2*q = 2*v for q.
-4
Suppose 5*n = g + 14, -g + 2 = -122*n + 125*n. Solve 0 = -2*f + 2*m + 8, 3*f + 24 = n*m + 32 for f.
0
Let u(j) = -j**2 - 50*j - 331. Let o be u(-8). Solve 0 = z + o*m + 6, 4 = m + 5 for z.
-1
Suppose 211*l + 24 = 223*l. Solve -2*o + 10 = 3*i, 28 = -l*i - 5*o + 53 for i.
0
Let j(h) = 75*h + 1502. Let u be j(-20). Solve -3*q - 6*z - 2 = -10*z, 2*z + u = 0 for q.
-2
Let d = 26591 - 26586. Solve -4*f - 3 = -444*y + 441*y, -15 = d*f for y.
-3
Suppose -45*l + 46*l = -5*m - 4, -5*m - 1 = 4*l. Solve 2*n = 4*s - 19 + l, 5*n = s - 27 for n.
-5
Suppose 0 = -3*t - 11 + 146. Suppose 3*b - 32 = -a - 94, 2*b = -a - 66. Let k = 79 + a. Solve 4*c - p - 11 = c, -k*p + t = 5*c for c.
5
Let r = -26 - -61. Let m = r - 34. Let l be 0/m*3/6. Solve l = -3*g - 2*q - 2*q, 0 = 4*g - 2*q for g.
0
Let v = 104 + -51. Let c = -37 + v. Solve -4*x = -j + 1, 2*x + 5*j = x - c for x.
-1
Let s = 3 + -3. Let p = s - -5. Let b(l) = 3104*l - 3104. Let i be b(1). Solve 3*q - p*c + 6 = i, 2*c - 4 - 6 = 5*q for q.
-2
Let f(i) = -4*i**2 + 19*i + 32. Let c be f(6). Solve c*w - 3 = -3*v - 2*w, v = 4*w + 1 for v.
1
Let w(i) = -i**3 + 9*i**2 - 2*i - 8. Let p be w(8). Let y = p - 32. Let s(n) = -n**2 - 13*n + 4. Let j be s(-13). Solve -c + y = -3*a + 4*c, 0 = -j*c + 4 for a.
-1
Suppose -15*d + 12*d = 4*a - 14, -2 = 2*a - 3*d. Suppose -7*j - 107 = -2*j + 3*r, -a*r = -j - 24. Let f = 25 + j. Solve 2*s = f*p - 0*p - 7, 2*s = -4*p for p.
1
Let b(o) = -2*o - 4. Let f = 5 - 7. Let v be 6*(-6)/10 + f/5. Let z be b(v). Solve 0*u + 10 = -2*u, 5*l - z*u = 0 for l.
-4
Let s(i) = -i**3 + 3*i**2 - i + 3. Let r be s(3). Suppose -7 + 22 = f. Let x = -14 + f. Solve r = 5*v - 2*p + x, 0*p - 3*p = -2*v - 7 for v.
1
Suppose 120*f + 20 - 70 = 110*f. Solve -3*w - f*x = 5, -w + 5*x - 10*x = -5 for w.
-5
Let w(y) be the third derivative of 0*y + 1/120*y**6 - 1/6*y**4 + 0 - 23*y**2 - 1/20*y**5 + 2/3*y**3. Let b be w(4). Solve -4 = -a + b*n, 4*n = -0 - 4 for a.
0
Let z = -1445 + 1450. Solve 4*l + 2*q - z*q - 7 = 0, 3*l = q - 1 for l.
-2
Let o be (25/(-25))/(9/(-81)). Solve 3*p + t = -o, -5*p - 3*t - 25 = 2*t for p.
-2
Suppose -30 = 17*i - 149. Solve 3*y - 8 = 4*x, 3*y + i = -5*x + 6*y for x.
1
Suppose -2*f - 23 = 5*d - 15, d + 10 = f. Suppose 3 = t - 0*t. Solve 19 - f = -3*k + 2*y, -t*k - 7 = y for k.
-3
Let h = -44 - -50. Suppose -7*s = h - 34. Suppose 14 = s*x - 6. Solve 2 + 8 = 3*w - x*i, 0 = w + 2*i + 15 for w.
-5
Let u be (((-42)/(-4))/7)/((-18)/(-48)). Suppose 2*k = 4*k - u. Let d be 22/(-12) + k + (-1)/6. Solve 2*a + 14 = -l, l - 5*a - 9 - 12 = d for l.
-4
Suppose -n - 516 + 519 = 0. Suppose -2*i - n*a + 41 = 0, 5*i - 111 = -33*a + 34*a. Solve -3*h + i + 5 = -3*z, 0 = -3*h - 4*z - 1 for h.
5
Let h(w) = -24*w - 5. Let r(o) = -32*o**2 - 11*o - 18. Let c be r(-2). Let b = 123 + c. Let y be h(b). Solve -3 = -5*d + 4*n, y = d + 5*n + 1 for d.
3
Suppose 0 = -4*f - 5*a - 30 + 35, -2*f + 13 = -a. Solve 5*j = -f*x + 33 - 28, 5*x + 11 = -j for j.
4
Let q = -10229 + 10234. Solve -7*g = 4*v + 48, -4 = 5*v - 4*g + q for v.
-5
Suppose -2*h + 35 = -42*o + 47*o, -35 = -3*h - 5*o. Solve h*d = d - 4*t - 3, -2*d = 2*t + 4 for d.
-1
Let q(h) be the first derivative of -h**3/3 + 11*h**2 + 29*h - 7. Let b be q(23). Solve -2*j - 3*j = -i - 12, j = 3*i - b for j.
3
Let u = 5485 - 5485. Let l = 0 + 5. Suppose -3*r + 7 + 5 = 0. Solve -3*b + r*b + 5*o - 25 = u, -4*o = -l*b - 20 for b.
0
Let r(q) = 3*q + 59. Let a be r(-20). Let g be (-124)/155 - (-14)/(-5)*a. Solve 11 = -5*j + g*f, 5*f - 3 + 4 = 3*j for j.
-3
Suppose -3*z - 2*i = -7 + 5, 5*z = 3*i + 35. Suppose 4*x = -m + 6, -2*m = z - 0. Solve -c = 2*j - 3, 0 = -3*j + x*c + c + 27 for j.
4
Suppose -5*f + 35 = -l + 3*l, 4*f + 5 = 5*l. Suppose -18*g + 16 = -20. Solve -5*c + f*o = -5, 0*o = -g*c - 2*o - 18 for c.
-4
Let o = 316 + -311. Suppose -o*f + 308 = 298. Solve -4*y + 4*u = 0, 0 = -0*y + 3*y + f*u - 25 for y.
5
Let n be 108/(-24)*(-3 - -1). Let h be -1*5/(-10)*(-11 + 1). Let g = 7 + h. Solve 4*m - n = -j, -g*m - 6 = j + 3*j for m.
3
Let c(l) = l**3 + 32*l**2 + 68*l + 243. Let k be c(-30). Solve 3*i = 3*a - 0*a - 9, -k*i + 7 = a for i.
1
Let p = -1810 + 1892. Solve 4*s + 87*h = p*h + 9, -3*h + 7 = 2*s for s.
-4
Let z(c) = 4*c**2 - c**3 + c + 0*c**2 + 4*c**2 + 38*c + 2*c**2. Let j be z(13). Solve 2*h - 2*u = j, -3*h + 3 = -4*u + 4 for h.
1
Let w = 159 - 35. Let k = -262 + w. Let s = -125 - k. Solve -g + s = 2*q, 2*g = -3*g + 2*q + 17 for g.
5
Let a = -73 - -93. Suppose a + 12 = 16*l. Solve 0*h + 5*y = -4*h + 41, -5*y + 33 = l*h for h.
4
Let d be -6 - 1 - 39/((-351)/90). Solve -3*k = -u + 17, -d*k = u - 14 + 21 for u.
5
Let h = -398 + 402. Let i be (-190)/(-70) - h/(-14). Solve -i*s = -3*o, -s = -3*o + 3 + 1 for o.
2
Suppose 146*o - 39*o = -57*o + 328. Solve b = 5*r - 13, 3*b + 2 = -o*r - 3 for r.
2
Suppose -q = -6*q + 20. Let r(d) = -4*d**2 - 16*d + 93. Let m be r(-26). Let k = m + 2195. Solve k = 4*p + 4, -2*z + q*p + p + 1 = 0 for z.
-2
Let b(n) = 4*n + 148. Let m be b(-19). Suppose 61 = 3*y - 5. Suppose -25*a + y*a = -m. Solve 2*c + s + s = 0, 5*c - s = a for c.
4
Let y(m) = 52*m - 1918. Let o be y(37). Solve 0 = -5*c + z + 7, 0 = -9*c + o*z - 11*z - 1 for c.
1
Let c = -38 - -65. Suppose 3*t = -2*f + 4*t + 78, -39 = -f - 4*t. Let n be f*(3 - ((-7)/3)/(-1)). Solve -6*y = -4*z - 4*y - n, 4*y - c = 3*z for z.
-5
Suppose -52 = 11*m + 14. Let g be m/(-57) + -1*(-752)/76. Solve 0 = 5*o - 5*j + g, -o - 4*j - 4 = o for o.
-2
Suppose y - 5*n = -17, n - 35 = -5*y + 2*n. Suppose 0 = -y*c + 27 + 5. Solve -u + 0*l = -l - c, 0 = -2*u + 5*l + 11 for u.
3
Suppose 4*h = 5 + 3. Suppose -h*g + 53 = -13. Let s = -27 + g. Solve -5*n + 4*n - s = -2*f, -f + 3 = n for f.
3
Suppose i + 5 = -2*i + m, 0 = i - 5*m + 25. Let o be 2164/18 - (-9)/(729/(-18)). Let b = o - 118. Solve 0*y - 4*y + b*j + 10 = i, 0 = 4*y + 5*j - 3 for y.
2
Let x = 190 - 2. Let o = 190 - x. Let k be (-4 - -2)*(-13)/2. Solve 1 = -5*c - o*n - k, -2*n - 2 = 2*c for c.
-4
Suppose 3*a = 2*v + 12, -v = 3*a - 0*v - 12. Suppose 6*k + 7 = -29. Let g be k/(-9) + 28/12. Solve 6*n - 2*o = n, 14 = -g*n + a*o for n.
2
Let o(q) = 5*q**2 + 90*q + 3. Let i be o(-18). Suppose 12 = -z - 5*a, -i*a = 4*z - a - 6. Solve 3*j - 4*n = -7, 0 = -3*j - n + z - 5 for j.
-1
Supp