, 2*h = -3*h - j*t - w for h.
1
Suppose -2*u - 3*n + 72 = 3*u, u - n - 8 = 0. Suppose 28 = 4*f - u. Suppose 3*k - 6 = -5*q, -q = -5*k - 4*q + f. Solve 0 = -l - 2*a - 2 - 5, l + a = -k for l.
3
Suppose 10*z = -1727 - 3893. Let g = -557 - z. Solve 4*b - 2*b + 28 = g*c, -5*c + 20 = 0 for b.
-4
Suppose 3*h - 12 - 24 = 0. Let r = 28339 + -28336. Solve -20 = -5*j + g + g, -r*j + 5*g = -h for j.
4
Suppose 2*c = -s - 43 + 41, 0 = 2*c + 12. Solve 0 = r - 5*k - 9, r - s*k - 7 = -6*k for r.
-1
Suppose 3*v - 47 = -11. Let m(j) = 6*j**2 + 10*j - 37. Let u be m(-11). Suppose u*r - 3 = 578*r. Solve -5*l = -2*o + v, -r*l - 3*o + 4 = 7 for l.
-2
Let o(v) = v**3 + 5*v**2 - 4*v + 90. Let r be o(-7). Solve n = -5*m + r - 9, n = 3*m - 5 for n.
1
Let h(y) be the first derivative of -2*y**3/3 + 4*y**2 + 2*y - 68. Let l be h(4). Solve -5*a = 2*q + 2*q - 4, 0 = 3*a - 2*q + l for a.
0
Let h = 6 - 2. Suppose 5*l - 5 = 5*b, 5*b - 3*l + 0 = 3. Suppose -2*n + b*k = 0, 3*k + 4 = 5*n - 14. Solve -n*p + 9 = s - p, 6 = -h*s + p for s.
-1
Let a be (-2208)/(-528) + 2/(-11). Suppose -a + 0 = -4*p - 2*f, 4*p - f = 16. Solve -2*q = -v - 1, -4*q + 2*v - 13 = p*v for q.
-2
Let k = -30143 + 30181. Solve -37 = -i + j - k, i + 2*j + 1 = 0 for i.
-1
Let c(x) be the second derivative of -x**5/20 - 23*x**4/12 + x**3/6 + 23*x**2/2 + 69*x. Let r be c(-23). Solve -3*i - 4*f = 14, 3*f + r = 2*i - 19 for i.
2
Let r(m) = -13*m**2 - 3*m. Let f be r(0). Solve -3*l + 4*y = f, 5*l - y - 9 = -26 for l.
-4
Suppose 3*y = 2*u + 26, 0 = 5*y + 827*u - 824*u - 18. Solve 13 = -10*r + y*r + 3*f, 4*f = 4*r + 12 for r.
-4
Suppose -2*v = -3*f - 428, -v + 110 + 91 = 5*f. Let i = v - 209. Solve 4*g = 3*b + 8, -4*g = -b - i*g - 6 for b.
4
Let c(l) = 63*l - 27. Let m be c(-5). Let v = 347 + m. Solve -v*j - 15 = 5*k, -1 = 3*k - j - 4*j for k.
-2
Let d = -1 - -10. Suppose 0 = 2*r + 3*y - 13, -2*r + d*y = 4*y - 21. Solve 0 = 5*q + 5*p, 4*q - 5*p = r*q for q.
0
Suppose -7*f = 17*f + 2*f - 130. Solve 14*k - f*p = 10*k, 0 = 6*k + p for k.
0
Suppose 2*g + 19 = -249. Let i = g + 136. Solve 0 = -i*u - s + 2 - 11, 0 = u - 4*s - 9 for u.
-3
Let a be (-2)/8 + 66/8. Let i = a + -5. Let b = -592 - -596. Solve -f = 3*x + f + 16, -b*x + i*f = 10 for x.
-4
Let m = -1739 + 1756. Solve -3*z + m = 2*g, 4 = -4*z + 7*g - 3*g for z.
3
Let w(g) = -g**3 - 12*g**2 + 46*g + 18. Let q be 10/20*(-30 - 0). Let j be w(q). Solve 2*l + l - j = 2*x, 0 = 2*x for l.
1
Let v(a) = 2*a**2 + 79*a + 154. Let u be v(-2). Suppose -u*f = r - 2*r + 14, -3*r - 3*f + 42 = 0. Solve -4*o - r = 2*h + 2, -35 = 5*o - 5*h for o.
-5
Suppose 15 = -0*f + 5*f. Let m be -2 + (1 - -4 - -2). Solve -f*z + y + 4 = 14, 0 = -y - m for z.
-5
Suppose 115*q = 76*q + 468. Solve -5*i - h + q = 0, -3*i = 11*h - 12*h - 12 for i.
3
Let n(g) = g + 8. Let x be n(-3). Suppose -9*j + 104 = x. Solve 0 = 4*i - 12, -4*f = 5*i - 2*i + j for f.
-5
Let b be 2 + 2 - (19 - 20/5). Let t(w) = w**2 + 4*w - 1. Let u be t(b). Let g = -72 + u. Solve 3*c + 3 = -4*o, c - 15 = -g*c for o.
-3
Suppose 1027*m - 890*m - 548 = 0. Solve 10 = -3*l + z, m*z = 5*l + 4 + 22 for l.
-2
Suppose 10*j - 20*j + 70 = 0. Suppose 4*c = -4*r + 12, -r + j*c = 3*c - 18. Suppose 22 = 2*t - r. Solve -3*b + t = -p, -10 + 28 = p + 5*b for p.
-2
Suppose 0*p = p - 5. Suppose 0*h + 90 = p*h. Let z(x) = -x**2 + 19*x - 12. Let u be z(h). Solve u*r = 4*y + 2*r + 12, 0 = 3*y + 3*r - 9 for y.
0
Suppose 3*l + d = 44, 7*l - 4*d - 96 = 2*l. Let o(g) = 3*g - 45. Let j be o(l). Let k be 6 + 132/(-20) + (-86)/(-10). Solve -w - 3*w = 16, j*w - k = -5*c for c.
4
Let f(d) = -43*d**2 - 8*d + 1. Let i be f(-2). Let x = -150 - i. Solve 2*n - n = 3*w, -4 = 3*n - x*w for n.
-3
Let s(h) = -h**2 - 113*h - 112. Let t be s(-1). Solve 2*z + 2*a = 0, z + t*z - 3*a + 8 = 0 for z.
-2
Let p(l) = 131*l + 11. Let k be p(1). Let t = -140 + k. Solve 0 = 2*h - t*j - 3*j + 12, 3*j = 2*h + 4 for h.
4
Let x be 6/46 - (-10087)/253. Solve 2*s - 6 = 16*w - 17*w, 4*w - 8*s = -x for w.
-2
Let z be (2 + (-26)/12)/(98/(-1764)). Solve -z*i - 7 = -r, -3*i - i - 18 = 3*r for r.
-2
Suppose 18*f = 593 + 199. Suppose 9*h = f*h - 140. Solve 12 = -h*w - 4*l - 0, 0 = 3*l - 6 for w.
-5
Let n = 32 - 54. Let l = 24 + n. Suppose 2 = l*c - 6. Solve -5*q - c*f = 32, -q - 7 = 5*f + 12 for q.
-4
Let r be (2*21/10)/(11 - 270/25). Solve -n - r = -5*i, -4*i = n - 4 - 20 for i.
5
Let w = -969 - -971. Suppose -4*y - w = 2*o, 2*y + 11*o = 15*o + 14. Solve -4*b - 4*s = 0, s = 5*b - 7*b + y for b.
1
Let p be (1 + -2)/((-69)/(-46))*-6. Solve -7*h = -8*h + 3*l + p, 2*l = -4*h - 26 for h.
-5
Let v be -8 + (11 + -8)*6/9 - -9. Solve -10 = v*i - h, -6*h + 8 = -i - 18 for i.
-2
Let q = 8803 - 8795. Solve -4*r = -4*o - 4, -2*r - q = o - 4 for o.
-2
Suppose 4 - 6 = -f. Suppose -62 = -5*c + z + 18, f*c - z - 29 = 0. Let h = -14 + c. Solve -4*p = -j + 5, 0 = -4*j + 3*j - h for p.
-2
Let p be -3 - 54/(2 - 11). Solve 0 = -2*l + p*q - 8*q - 5, -2*q = -3*l + 2 for l.
0
Let v = 7 - 5. Let u be (0/(-1) + 0)*(-2)/(-4). Suppose 9*z - v*z - 56 = u. Solve -f + k + 4 = 0, -k = 3*f - 5*f + z for f.
4
Let n(z) = 2*z**3 - 9*z**2 + 4*z + 3. Suppose -q - 5*i + 2*i = -7, -2*q + 9 = i. Let j be n(q). Solve -4*p + 13 = -3*f, -21 + 6 = -j*p - 3*f for p.
4
Let f = 6 - 4. Let y = 3 - 0. Let z = 8 - y. Solve -2*n - 7 = f*i - 1, 3*n + z = -5*i for n.
-5
Let o = -758 - -773. Let c(y) = -2*y**2 - 5*y**2 - 3*y**2 + 7 - 3*y + 0*y**2 - y**3. Let q be c(-10). Solve -l = 5*g + 12 - q, -2*l + o = 3*g for l.
0
Let y be (-7 - -9) + -10 - -11. Solve -4*a = 2*z + y + 13, 3*z - a - 4 = 0 for z.
0
Let a(f) = -3*f + 4*f**2 + 4*f + 6 + 0*f + f**3. Let n = -147 + 144. Let y be a(n). Solve -2*r + 4 = 2*o, -y - 6 = o - 3*r for o.
-3
Let p(i) = -i**2 + 9*i - 14. Let m be p(5). Let f be (56/(-12))/(3/45). Let c be (-4)/(-10) - 42/f. Solve 0 = 2*n + m, 4*n - c = u + 3*n for u.
-4
Let u = -11853 - -11867. Solve 18 = -0*h + 5*h + 3*k, 2*k - u = -4*h for h.
3
Suppose -5*r + 17 = -2*r - f, -4*f - 24 = -r. Suppose o + 6 = -3*l, r*o - 2*l = -3*l + 9. Solve -j + 5*y + 12 = 0, 0 = j + 2*j - o*y for j.
-3
Let q = -93 + 96. Let k = 15 - q. Let w be (1*k)/2*(-8)/(-16). Solve -5*h - 3*u = -23, -w*h - u + 13 = -0*u for h.
4
Let f(z) = 4*z**3 - z**2 - 3*z + 3. Let o be f(2). Let j(t) = -34*t - 947. Let q be j(-28). Solve q*d + 5*u = -o, -4*u + 12 - 4 = -3*d for d.
-4
Let o = 4314 - 4310. Solve 5*m - 10 = -15, 2*m - 18 = o*l for l.
-5
Let u = 3348 - 3339. Solve 15 = -4*l - o, 0 = -5*l + 2*o + u - 31 for l.
-4
Suppose 0 = -25*n + 40*n - 105. Suppose 152*k + n = 159*k. Suppose -2*h + 26 = -0*h. Solve 4*a + h = 5*y, 2*a + 3*y + k = -0*a for a.
-2
Suppose -6*x + 846 = -9*x. Let p = -153 - x. Let b = p - 128. Solve -3*v + 5*j + 10 = 0, -6 = -5*j - b for v.
5
Let n(k) = 9*k + 4 - 18*k + 10*k. Let d be n(-18). Let i be (-4)/d - (-33)/7. Solve -u = 2*u - p - 9, i*p = u + 11 for u.
4
Let r be 8/(-12)*(-6)/(-2). Let x(g) = 6*g - 3*g - 6*g + 2*g. Let p be x(r). Solve -s = p*k - 7, k - 4*s = 2 - 12 for k.
2
Let v be (6/5)/(10*1/25). Let s = v + -3. Solve 19 = -z - 3*u, s*u + u = 4*z + 11 for z.
-4
Let b(w) = 314*w - 3765. Let f be b(12). Solve -2*x + 5*d = 2*x + 36, 2*d = f*x + 20 for x.
-4
Let s(k) = k**3 + 27*k**2 - 26*k + 59. Suppose 0 = 10*b + 185 + 95. Let d be s(b). Solve 3*n = -3*g + 15, 5*g - d*n = n + 25 for g.
5
Suppose 0 = n - 6*o + 2, 3*o - 37 + 18 = -4*n. Solve n*b - 6*b = 5*i - 20, -4*i + 23 = 3*b for b.
5
Suppose 34 = a + 2504*h - 2506*h, -5*a - 2*h + 110 = 0. Solve -u + 4 = -0, -4*m - 3*u + a = 0 for m.
3
Let l be (-3)/3*(-2 + 0). Let n(p) = -p**3 - 54*p**2 - 157*p - 204. Let t be n(-51). Solve -5*f + 4*m + 23 + 9 = t, l*f - 3*m - 17 = 0 for f.
4
Let k = 2369 - 2365. Solve -4*z - 3*b = -15, k*z - 3*b = -12 - 3 for z.
0
Let b be (708/15)/2 - (-10 - (-301)/35). Solve 2 = 2*h + b*s - 23*s, 19 = -h + 3*s for h.
-4
Let t(c) = c**3 - 29*c**2 - 30*c - 1. Let p be t(30). Let j = p + 6. Suppose h = 5*y - 19, -h - 3 = 4*y - 11. Solve 4*k - 16 = 5*m, j*k - 20 = -0*k + y*m for k.
4
Let c(p) = -152*p + 1373. Let b be c(9). Solve b*k = -l + 6, 2*k - 2 = 3*l - 3 for l.
1
Let v = -726 + 258. Let m = v + 468. Solve -5*q - 17 = n + n, -4*n - 2*q - 10 = m for n.
-1
Let z(b) = -29*b**3 + 2*b + 1. Let h be z(-2). Suppose -195 = 8*q + h. Let f = q + 55. Solve 5*n - 3*j - 34 = 0, f*j =