 -h for b.
-2
Let l(a) = -23*a + 72. Let f(j) = 11*j - 37. Let c(i) = 5*f(i) + 2*l(i). Let m be c(5). Solve 20 = -5*p + 5*u, -m*p = -0*u + 2*u - 14 for p.
1
Let i(o) = -o**2 + 4*o - 1. Let h be i(3). Suppose 878 + 152 = 10*x. Let v = x + -100. Solve k = -y, 4*y - v = -h*k + 3 for k.
-3
Suppose -3*y + 69*a = 73*a + 16, 0 = -2*a - 14. Solve 0 = -y*b + k + 6, 4*k - 41 = -5*b - 2 for b.
3
Suppose -428 + 1377 = 73*l. Solve 3*p + l = -5*j, 2*p = -j - 3 + 6 for p.
4
Let w(a) = 3*a**2 - 3*a + 6. Let j be w(3). Let l = j - -15. Suppose -4*t = -3*f - 52, -3*t + 5*f + l = -0*f. Solve 7 = 2*v - 4*q + q, -5*v + 3*q = -t for v.
2
Let v(x) = 6*x + 17. Let p be v(-7). Let j = 38 + p. Suppose 18*a - 25 = j*a. Solve g = -2*r - 4 - 6, 0 = a*r - g + 11 for r.
-3
Let k = 72 - 55. Suppose -9*r + k*r = 16. Solve -3*a = r*w - 23 - 2, -a + 2*w = 5 for a.
5
Let z = -297 - -115. Let u = z + 187. Solve -4*p - 8 = 5*a - 3*a, -p = 4*a - u for p.
-3
Let t = 8 - 2. Let i(g) = -g**3 - 31*g**2 - 79*g - 604. Let o be i(-29). Solve w = y - 1, y - w = -o*w + t for y.
2
Let q(w) = -2*w + 26. Let g be q(-7). Let y be 20/6*(-8 - (-368)/g). Suppose 5*j - y = -4. Solve 0 = 5*a - 3*m + 40, 3*a + j*m = m - 20 for a.
-5
Suppose -126 + 42 = -2*b. Suppose 35*d + 21 = b*d. Solve 5*y = 4*p - d*p + 11, 5*y - 8 = -2*p for y.
2
Suppose 3*j + 2*a - 494 = 0, j - 5*a = -12 + 154. Suppose -30 = 12*u - j. Solve 4*s - u = 5*o + 22, s - 2*o - 12 = 0 for s.
2
Suppose -15*s + 17*s - 16 = 0. Suppose 46 = s*u - 2. Solve y + 3*i = -u, -2*y - 3*i = -0*i + 3 for y.
3
Let i = -3642 - -3647. Solve 2*b + i*v = -21, -24*b + v = -19*b + 12 for b.
-3
Let b(p) = p**3 - 13*p**2 + 39*p - 85. Let h be b(10). Solve 3*f = 8*f + 5*m + 40, h*f = 5*m for f.
-4
Let s(b) = b**2 - b. Let y be s(0). Suppose 0 = -a - 2*t, 3*t + 1 = -a - y. Solve 4*o - 5*p = a*o - 27, 0 = -5*o - 4*p + 15 for o.
-1
Let q = -12 + 12. Suppose q = -v + 10*v - 36. Solve v*i - 8 = -f, 4*i - 3*f - 8 = -8*f for i.
2
Let t(i) = 156*i**2 - 5*i + 19. Let n be t(3). Let v be (6/(-4))/((-66)/n). Suppose -6*m - 2*m = -v. Solve -5*b + m*b - d = 1, -4*b - 6 = 5*d for b.
1
Suppose 8*i + 220 - 620 = 0. Suppose 3*o = -3*f - 17 + i, 5*o = -2*f + 40. Suppose -68 = -o*v + 40. Solve 0*t - v = -t + 3*b, 4*b + 20 = 0 for t.
3
Let s = -7190 - -7205. Solve s*i - 13*i = -f - 14, 0 = 3*f + 18 for i.
-4
Suppose -5*d + 12 = -2*i - 2, -2*d + i = -5. Let y be (418/(-57))/(d/(-6)). Solve 2*q + a + 2 = y, 4*a - 27 = -5*q for q.
3
Suppose 0 = 2*d + 5*x + 16, -14*x + 15*x - 1 = d. Let k = d + 5. Solve 0 = 4*w - 2*u - 2, k*w = 3*w - 4*u - 11 for w.
-1
Let l be 95/10 + 15/6. Suppose 15*d - 66 = l*d + a, 5*d = -5*a + 90. Solve -4*i = -5*x + 35, 4*x - 2*x = 3*i + d for i.
-5
Let c(s) = s**3 - 3*s**2 - 4*s + 2. Let u be c(4). Let k(w) = -w**3 + 16*w**2 + 59*w - 36. Let m be k(19). Solve 6*d = m*h + u*d - 16, 25 = -5*d for h.
-2
Let v = -53 - -8. Let m be 100/v*81/(-18). Solve -i - 2*y - 7 = 0, -2*i - 4*y = -4*i + m for i.
-1
Let d = 727 - 668. Suppose 4*n - 222 = 4*l + 2*n, 0 = -n - 3. Let g = d + l. Solve -2*x + 3*h + 5 = 0, -g*x - x - 30 = 3*h for x.
-5
Let i(c) = -c + 8. Let f be i(6). Let z(t) = 80*t - 34 - 25 - 3 - 80*t**2 + 4*t**3 - 2*t**3. Let a be z(39). Solve r + f*r - 2 = 5*u, 3*r = -2*u + a for r.
4
Let j be ((-30439)/(-122))/(1/2). Let v = j + -489. Solve 0 = -4*k + 2*k + v, -19 = -3*s - 5*k for s.
-2
Suppose -5*w = 5*d - 50, -43*d + 47*d - 28 = -w. Let l = 22 - 9. Solve v + 5 = x, -w*x + v + l = -x for x.
4
Suppose -w = -35*p + 40*p - 15, -3*p - 5*w - 13 = 0. Solve -34*d + 2*x - p = -38*d, -3*d = 3*x - 3 for d.
1
Let a be (-7 + 0)/((1/3)/(18/(-27))). Solve -3*s + a = 2*m, -37*m = 5*s - 35*m - 22 for s.
4
Let k(w) = -4*w - 7. Let f(i) = 2*i - 14. Let p be f(8). Let n be (-36)/32*p - (-2)/8. Let a be k(n). Solve y = -a, 5*v - 21 = -3*y - 4 for v.
4
Suppose 0 = 4*i + 20, 0 = 65*j - 68*j + 3*i + 51. Solve 0 = -5*w + o + j, -5*w = 2*o - 22 + 1 for w.
3
Let o(h) be the second derivative of -1/6*h**3 + 1/2*h**2 - 3*h + 0. Let c be o(-3). Solve u = -u - l + 5, -10 = 2*u - c*l for u.
1
Let b be ((-9*(-2)/12)/(-3))/((-2)/8). Solve 3*f - b*f - 9 = -3*q, 2*f + 2*q = 6 for f.
0
Let w be (-12)/(-3) - (79 + -79). Solve 5*t + 2*n + 14 = 0, -w*n - 80 + 92 = 0 for t.
-4
Let l be 3*(-11)/(-9) + 2/12*-4. Solve -w = -2*p - 3, l*p + 5*w + 4 = 6 for p.
-1
Let f be (-2)/((-9)/((-351)/(-6))). Solve 5*c = 3*p - 7, -c + 12*p - 15*p + f = 0 for c.
1
Suppose -134*v + 13122 = 242*v + 110*v. Solve 9 = 4*p + 5*i, 38 = p + 3*i + v for p.
-4
Let p be ((-2898)/12)/(-7)*2/1. Suppose -p + 69 = 2*x. Solve 5*f - 5 = -5*v, x*v - 3*f = -v - 11 for v.
-2
Let n be 6/(378/28 - 12). Solve l + 1 = 5*z - n*z, -3*l = -5*z + 9 for l.
2
Let z = 24 - 30. Let q(u) = u**3 + 7*u**2 + 6*u + 3. Let v be q(z). Solve -v*f + 5 = 2*x, -2*x = -3*f - 4 + 5 for x.
1
Let z(c) = 60*c + 1562. Let u be z(-26). Solve u*b + 11 = -3*l - 0*l, -2*b - 5 = l for b.
-1
Let u be (14/4)/(3/6) - 1. Let v be (-3*u/63)/((-1)/7). Suppose 0 = v*c + 2 - 6. Solve -5*i = -t + 19, c*i + 0*t - t + 10 = 0 for i.
-3
Let b(w) = 128*w - 766. Let p be b(6). Solve -2*z - 4*q + 26 = -0*z, -31 = -p*z - 5*q for z.
3
Let g be (-1)/(-6) + (-742)/(-12) + 3. Let t = g + -65. Solve -j + t*i = -5*i + 22, -2*j + 21 = 3*i for j.
3
Let x = 203 - 203. Suppose f + 2 = 3*u, x*f = 5*u + 3*f - 22. Solve -2*k - 11 = 3*s + u*k, s = -3*k - 2 for s.
-5
Suppose 29*f + 1235 = 24*f. Let a = 253 + f. Solve 0 = 2*c - 4, a = 4*b - 5*c + 4*c for b.
2
Suppose 4*l - 23 = -x, -12 = 319*l - 320*l + 6*x. Let q = -2 - -5. Solve -l = -3*s + q*d, -6 - 8 = -s - 3*d for s.
5
Suppose 4*m + 4*h + 268 = -0*m, 140 = -2*m + 4*h. Suppose 6*x - 3*j - 333 = x, j + 65 = x. Let r = x + m. Solve -k - 5 = -2*t - r, 0 = -5*t + 2*k + 11 for t.
3
Suppose 8*i - 192 = 80. Let d be i/14 - 39/91. Suppose -d*r - 20 = -7*r. Solve 5*n + 3 = 5*h + 43, -r*n + 12 = 0 for h.
-5
Suppose -44*r = 63*r - 535. Let q(s) = -s**2. Let l be q(0). Suppose -r*a + 5 = -x, 3*x + l = -a + 1. Solve 2*b - m + 2*m + 5 = 0, -b + 2*m = x for b.
-2
Let u = -72 + 93. Let x be 12 + -3 + (u/7 - 8). Solve -3*r = -8*q + 3*q + 12, x*r = -3*q + 13 for r.
1
Suppose -12*z + 26*z - 280 = 0. Let t be 48/(-81)*-3 + 2/9. Solve 2*h - 4*v = -t*v - 8, 2*v = 5*h + z for h.
-4
Suppose 4*d + 2*n + 18 = 0, 4*d - n + 3 = 3*d. Let z be ((-4)/(-18))/(d - 114/(-27)). Solve -j + 15 = -5*m, -m + 4*j - 4 + z = 0 for m.
-3
Suppose -12 = -r + 8. Suppose 8*n = r + 28. Let k be (-4)/n + (-220)/(-60). Solve 0 = 2*c + 3*p + 6, 0 = -5*c - 0*c - 3*p + k for c.
3
Suppose -22*v - 4*x + 103 = -17*v, x - 21 = -v. Let n be 8/(7/((-21)/(-6))). Solve n*g - 5*d = -v, 4*g + 7 = -0*g + d for g.
-1
Let d(i) = -7*i**3 + 35. Let j be d(0). Suppose j*s + 41 = 39*s - 5*f, 0 = -4*s - f + 35. Solve 2*g - c + 3 = 1, -c + s = 5*g for g.
1
Let k = 22 - 13. Let o be (-6)/((-1)/(k/6)). Suppose -3*i - u = -4 + 6, 2*u = 5*i - 4. Solve y - 1 = g, 4*y - g + 2 + o = i for y.
-4
Let x = 543 - 978. Let l = -434 - x. Solve -1 = 2*p + 1, 2*z + p - l = 0 for z.
1
Let l(g) = 6*g - 210. Let t = -141 - -176. Let s be l(t). Solve 5 = 5*k - 2*i + 6*i, 2*k + 3*i + 5 = s for k.
5
Let u(m) = m**2 - 15*m + 28. Suppose -3*q = -3*h + 30, -55 = 2*h - 6*h - q. Let c be u(h). Solve 3*g = -2*f - 19, -c*f - g = 18 - 5 for f.
-5
Suppose 0 = -88*i + 98*i - 50. Solve -3*r = i*n + 23, 22*r = 17*r - 3*n - 17 for r.
-1
Let f = 7360 + -7358. Solve -5*h = 3*n - 23, 3*n + f*h - 12 = -n for n.
1
Suppose -a + 30*a = 6*a + 368. Solve a = -2*d + 2*h, 0 = -3*d + 5*h - 28 - 4 for d.
-4
Let z = 26 - 22. Suppose -z*d + 22 = 2*n, 12*d = -n + 9*d + 14. Solve -5*b = 5*c - 30, b - 22 = -n*c - 4 for c.
3
Let y be (-15)/(-12) - ((-1224)/96 + 4). Solve -2*q + 14 - 19 = f, -f = -q - y for q.
-5
Let a(n) = -15*n**2 - 8*n**2 + 10*n**2 + 2*n**3 + 10*n - 4. Let r be a(6). Solve -6*i + 2*i - 4*f = 0, 2*f - r = 2*i for i.
-5
Let s(r) = -r + 1. Suppose 0 = 2*n - 5*u - 34, -5*u - 85 = -0*n - 5*n. Suppose -5 + n = -6*w. Let p be s(w). Solve 0 = -g - 0*m - p*m - 2, -2*g + m = -3 for g.
1
Let j(p) = -p**2 + 13*p - 42. Let z be j(8). Let d(q) = -27*q - 7*q - 11 + 20*q. Let k be d(z). Solve 5*y + k = -4*i, -4*y - 14 = y + 3*i for y.
-1
Let y be (-6*(-6)/(-24))/(21/(-28)). Solve y*u = -p - 15, -4*u + 204*p - 201*p = 5 for u.
-5
Let s = -103 + 159. Let p be s/(-2