15, -3*g + 1236 = 3*d. Let r = -411 + d. Solve 0 = 7*h - r*h + 25, 2*l - 4*h - 28 = 0 for l.
4
Let w(r) = -r + 10. Let i be w(6). Suppose -3*y + 5 = -5*v, 0 = -3*v + 2*y - i*y + 16. Suppose -3*x + 24 = x. Solve 5*o + 2*f = -f + 29, x = 3*o - v*f for o.
4
Suppose -2*i + 2*g - 2 = -0*g, 2*g + 13 = -3*i. Let n be i*4/2*(-2)/6. Solve a = -5*w + 3*a + 15, 0 = -n*a for w.
3
Let s(x) = 3*x**2 - 39*x - 26. Let o(q) = q**2 - 13*q - 8. Let t(d) = -8*o(d) + 3*s(d). Let g be t(14). Solve a + 3*j - 2 = g, -3*a = -3*j + j + 16 for a.
-4
Let o(t) = -22*t**3 + t**2 - t - 2. Let z(l) = 2*l**2 - 3. Let i be z(1). Let k be o(i). Let m = 10 + -6. Solve -2*b = 4*f, b - f - k = -m*b for b.
4
Let s = 20074 + -20072. Solve 3*o = 4*u + 17, -s*o - 3*u - 16 = -o for o.
-1
Suppose 16 = 5*u + 109*i - 108*i, 4*u - 2*i = 10. Suppose -4*t - 4*x + 8 = 0, -2*x = -u*t + 8 - 2. Solve -4*z - 10 = -2*j, 4*z - 5*j = -21 + t for z.
-1
Suppose -5*q + 3*p + 8 = -22, 0 = -p - 5. Suppose 56 = -q*i + 65. Let b be 2/i - (-56)/24. Solve -3*n = -4*c - 14, 7 = -2*c + b for n.
2
Let y(a) = -a**2 - 85*a - 470. Let t be y(-6). Solve 3*o + 43 - 51 = 2*w, -4*w - 8 = -t*o for w.
2
Suppose 5*g - 26 = -4*l - 0*l, 0 = -g + 3*l - 10. Let m be (244/(-244))/((-2 - 0)/6). Solve 0 = m*o - 6, 2*o = -i + o - g for i.
-4
Let k be (-221)/(-68) - (-1)/(-4). Suppose a - k = -1. Suppose -2 = -2*x, a*b + 2*x + 3*x = 53. Solve -5*r + b = 4*h, 4*h = h - 4*r + 19 for h.
1
Let z(q) = q - 6. Suppose -10 = -3*k - 2*t, 4 = -2*t + t. Let l be z(k). Suppose 17*b - 13*b - 20 = l. Solve m + 2*d = -4*m - 20, 0 = -m + b*d + 23 for m.
-2
Suppose 3 + 96 + 13 = 56*k. Solve -k*z = -z - 2*n + 4, z = n - 4 for z.
-4
Let u(s) = 2*s**3 - 19*s**2 - 31*s + 360. Let r be u(9). Solve r = -4*v, 3*x + 5*v + 6 = -3 for x.
-3
Suppose 15*o - 100 = -40. Solve -23*j + 4*r + 19 = -26*j, -2*j - o*r = 14 for j.
-5
Let f be (67 + -70)*(2 + -3)*5/3. Solve -36*j - 4*i + 4 = -40*j, 0 = f*j + 5*i - 5 for j.
0
Let h be (-3)/(4/(-48)*4). Let i be ((-15)/h + 0)/(-1)*6. Solve o + 3*o = 16, -2*j - 3*o = -i for j.
-1
Let p = -155 - -164. Suppose -5*m = 4*a - 59, -2*m + 9 + p = 3*a. Solve -4*b - 5*z = m, -2*b - 4*z = z + 5 for b.
-5
Let p be 2/(-6) + (380/15 - 5). Suppose 5*v = -p + 20. Solve v = c + 2*r + 6 - 20, 11 = -c + 3*r for c.
4
Let m be 3/2 - (-6)/(-8)*-2. Let b be (2/(-4))/(m/(-24)). Solve -b*u + 6*d - 12 = d, 0 = 3*u + 4*d - 22 for u.
2
Let m be (-42)/(-54)*6 + 2/6. Let o = 203 + -189. Solve -4*c = 2*n - o, -2*c - 8 = -m*c - n for c.
1
Let r(b) = -546*b + 1641. Let m be r(3). Solve 4*c + m = 3*p + c, -3*p + 3 = -2*c for p.
1
Suppose -166*j = -164*j - 2. Let s be ((-21)/28)/(1*j/(-4)). Solve 3*h = -2*c + 5, -s*h + 2*c + 40 = -3*c for h.
5
Let c(b) = -b + 23. Let g(d) = d - 22. Let a(y) = 4*c(y) + 3*g(y). Let q be a(18). Solve 5*n - 10 = 0, -5*r + q + 5 = 4*n for r.
1
Suppose -f + 2*p = -3 + 1, 0 = 5*f + 3*p + 3. Solve 5*v - 16*o = -11*o - 20, f = -v + 5*o - 20 for v.
0
Let h = -654 + 646. Let j be 2695/616 + 3/h. Solve -u = -0*o + 3*o - 3, -j*o - 2*u = -4 for o.
1
Let h be (-5)/(-2)*18/15. Suppose 6*x - h*x + 12 = 0. Let v be x*3/(-36)*(8 + 1). Solve -v*z - 1 = -z + 5*j, -7 = 2*z - j for z.
-3
Suppose -1946 = 23*v - 2038. Solve -v*p = -r + 16, 19*p - 8 = 21*p - 5*r for p.
-4
Let x be (-7980)/(-2128) - (-10)/8. Solve 25 = -247*w + 242*w, 5*a - x*w = 5 for a.
-4
Let l be (-45)/7 + 324/756 - -1*9. Suppose 18 = 3*j - 3*r, -4*j + 2*j + 4*r = -16. Solve -l*x - f = -2*x, -j*f + 10 = -x for x.
-2
Let m(f) be the third derivative of -5*f**4/24 - 59*f**3/2 - 3*f**2. Let q be m(-37). Solve 0 = -h - 4*t + q - 26, -35 = -5*h + 5*t for h.
2
Let u be ((-1)/(-3))/((-6)/9 + 1). Suppose -4*c = -17 + u. Let f(s) = 16*s**2 - 4*s + 3. Let t be f(1). Solve c*o = -a - t, 4*a = o + 2*o - 3 for o.
-3
Let c(o) = o**3 - 4*o**2 - 7*o - 24. Let u be -5 - 0 - (-1 + -10). Let h be c(u). Solve k - 4*y - 5 = 0, -4*y + 2 - h = 0 for k.
1
Let q(i) = 8*i**2 + 6*i + 8. Let v = -730 + 729. Let r be q(v). Solve 3*x + 1 = -b - 3, -5*x - b = r for x.
-3
Let a = 15740 + -15738. Solve -o = -1, -3*u + 4*u = a*o - 4 for u.
-2
Suppose -j - 1 = -3. Let p(y) = -7*y - 1. Let v(b) = 16*b + 2. Let z(f) = 11*p(f) + 5*v(f). Let w be z(j). Solve 3*x + w = 2*d, 9*d - 4*d - 2 = 4*x for x.
-3
Suppose 3*w - 4*u - u = 194, -5*w = 5*u - 270. Suppose w = 42*c - 656. Solve 0*l + 4*s - 32 = -4*l, -4*s + c = -l for l.
3
Suppose 3*h - 43 = v, 11*h - 4*v + 10 = 13*h. Solve 5*w = -u + 19, 13*u = 8*u + 2*w - h for u.
-1
Let i(l) = l**3 - 11*l**2 + 31*l - 47. Let s be i(8). Solve -3*h + 1 = -w, -2*w - 5*h + s = -0*w for w.
2
Let u(d) = 3*d**2 - 46. Let i be u(8). Let b = -143 + i. Solve -3*y = -0*y + 4*o + 5, b*o + 6 = 0 for y.
1
Let w be (-1)/10*-4 - 32/5. Let l be (w/(-9) - (-12)/9) + 2. Let j be l + ((-12)/(-4))/(-3). Solve 5*h = -5*a, -h - 4 = j*a - 0*a for a.
-2
Let v be (21 + 1)*(-6 + (-117)/(-18)). Suppose -v*f = -21*f + 30. Solve -4*t - 4*h + f*h + 10 = 0, 3*t - 8 = -h for t.
2
Let k be (-8 + 14 - -2) + -6 - -2. Solve k*o - 3*t + 9 = 0, 0 = 3*o + 3*t + 3 - 12 for o.
0
Let j(b) = 5*b**3 - 2*b**2 + 15*b - 13. Let a be j(1). Solve a*h - 7 = -4*w, h - 6 = -2*h - 3*w for h.
-1
Let z = 36 + -45. Let l(b) = -2*b**2 - 17*b + 22. Let a be l(z). Suppose 0 = 2*c + 7 - a. Solve c*p = -r - 12, 5*r - 2 - 8 = -p for r.
3
Let u(b) = -10*b + 106. Let o(s) = 10*s - 104. Let m(q) = -3*o(q) - 2*u(q). Let d be m(10). Solve 3*t + 17 = p, d*p + 11 = -3*t - 2*p for t.
-5
Suppose 0 = 2*p + 2*o, 0*o + 32 = -p - 5*o. Solve -39*u + 4*f = -37*u - p, -3*f = 3*u - 3 for u.
2
Let w(f) be the first derivative of f**2 - 20*f + 6. Let b be w(13). Let y be 4 - (1 + (b - 3)). Solve y = c - 4*g - 2, 5*c + 7 = -2*g - 5 for c.
-2
Suppose 125*c - 14 = 121*c + f, 3*c + 3*f - 48 = 0. Let x(d) = d**2 - 7*d + 4. Let u be x(6). Let t = u - -19. Solve 3*q = -15, 5*q + t + c = -y for y.
2
Let s = -16181 - -16192. Solve 3*m - 18 = -3*j, s + 9 = 5*j + 3*m for j.
1
Let z be (-16)/24 - 17/(-3). Let w be (z/(-2))/5*10/(-1). Suppose 4*x - w*l = 19, -5*l - 9 = -x + 7. Solve -2*n = 10, -n + 3 + x = -3*i for i.
-3
Suppose 2*z - 4 = 0, 31*z = -2*y + 34*z + 2. Solve -28 = -5*s + y*b - 27, 2*b + 1 = 3*s for s.
1
Let l = -5019 + 5024. Solve 0 = -u - l*t - 25, 3*u - 6 - 19 = 5*t for u.
0
Let w(t) = t**2 + 5*t - 64. Suppose -4*h = -11*h - 77. Let y be w(h). Let a = -2 - -2. Solve 2*g + 3*l - 5 = a, 1 - 4 = -y*g - 5*l for g.
4
Let q be 2/(6/189*1). Suppose -24*a + 19*a = -2*c - 296, -4*a + 248 = 4*c. Let u = q - a. Solve u*g = 6*n - 2*n - 5, -12 = -2*g - 5*n for g.
1
Let o = 65 - 50. Let p be 92/20 + 6/o. Suppose p*w + 4*w - 279 = 0. Solve -3 = m, 2*x + 6 = 5*m + w for x.
5
Suppose -m = -t - 17, m - 5*t - 7 = 2*m. Suppose -m*a - 5*a = -5*a. Solve -o + 5*u = -a*u + 20, 0 = 3*u - 12 for o.
0
Suppose 0*s - 5*s = -110. Let q(t) = -10*t + 265. Let y be q(23). Let j(n) = n**2 + 5*n - 9. Let w be j(-7). Solve y = -w*k + 5*z, 2*k + 2*z = 6*k + s for k.
-4
Let p(l) = -l**3 + 7*l**2 + 15*l + 14. Let n be p(8). Let c = n + -67. Solve -u + 10 = -5*g - 6*u, -c*g - 6 = 2*u for g.
-2
Let k be 1*3/(-18) - 106/12. Let v be 8 + 4/(12/k). Solve 7*m - 16 = 2*m - 4*f, -v*f = -20 for m.
0
Let l = -49 - -53. Suppose l*h + 19 - 35 = 0. Solve 5*m + 0*m - 4*u = 20, m - h = u for m.
4
Let k be ((-1)/(-14))/(38/1596). Solve -2*r + r = y + k, -28 = 4*y - 4*r for y.
-5
Let x be 48/(-72) + 85/(-30)*(-1 - 1). Solve 0 = 2*f - x*q - 6, 3*q + 10 = f + 7 for f.
3
Suppose -2*a = -5*x + 4, 0 = -2*x - 3*a - 10 + 4. Solve 0 = 4*f + 12, 3*t - 3*f + f - 18 = x for t.
4
Suppose 0 = 3*w + d + 2*d + 15, -11 = 2*w + d. Let u be 21/w*(-12)/21. Let s be (15/(-27))/(4/(-36)). Solve 0 = -3*k + 3, s*k = -u*v - 0*v - 5 for v.
-5
Suppose -3*s + 13 = 7. Let q be 5 + (3 - s - 0) + -3. Solve 8*o = 3*o - 5*y - 5, 0 = q*o + y + 3 for o.
-1
Suppose -79 = -5*k - 69. Suppose d - 3*g = 0, d = g + 2 - 0. Solve -d*c + 25 = -5*a, 4*c - k*a - 22 = -a for c.
5
Let i be (1*(-6)/(-2))/(-14 + 15). Suppose -15 = -5*t + a, t + 8*a = 10*a + i. Solve -4*m = -3*n + 7 + 7, 3*m = -t*n for n.
2
Let u(x) be the second derivative of -x**5/10 - 4*x**4/3 - 9*x**3/2 - 5*x**2/2 + 2*x + 35. Let w be u(-6). Solve 1 = r, -3*g = -8*g + 2*r + w for g.
3
Suppose 0 = 93*d + 147 - 1821. Solve -d = -3*z - 3*m + 6*m, 0 = -z + 5*m + 26 for z.
1
Suppose 0 = y +