 u = 4 + -5. Let d(c) = -c. Let a(k) = 12*k. Let f(i) = -a(i) - 9*d(i). Let t be f(u). Solve 0 = 2*v + v + t*l + 24, 4*l + 14 = 2*v for v.
-3
Suppose -4*t - 3*t = 0. Suppose t = 2*o + 3*o - 3*w - 38, 3*w = -5*o + 32. Solve 9 = n - 4*p - o, -5*p = 3*n + 20 for n.
0
Suppose -17*y = -4*y - 39. Suppose -3*s - 2*o + 5 = 0, 6*o - 3*o = -s - y. Solve -m + 5 = -s*i, 3*m - 5*i + 0 = 7 for m.
-1
Let c be (-1)/3 - 21/(-9). Let w(q) be the third derivative of -5*q**4/12 - 13*q**3/3 - 31*q**2. Let b be w(-3). Solve -v = -y, 2*y + v + c = -b for y.
-2
Let a(k) be the first derivative of -k**3/3 + 8*k**2 + 15*k + 7. Let f be a(16). Solve -3*r - 10 = 2*w, -39 = 5*r - 4*w - f for r.
-4
Let p be (-27)/90 + (-453)/(-10). Let t be ((-6)/8)/((-1)/20). Let b = p - t. Solve -5*z + 2*j + 16 = 0, 4*z + j + 12 = b for z.
4
Let u be ((-28)/3)/(0 + 2/(-3)). Suppose -s - v - v + u = 0, -3*s = -2*v - 2. Solve -5*h = 10, 4*h + 5 = s*f - 3 for f.
0
Let n = 1902 + -1900. Solve 5*i + 7 = g - 0, n*i = -3*g - 13 for i.
-2
Let a be (-24)/18 + (-4)/(-3). Solve 4*d - 6*d = a, 4*k + 16 = -d for k.
-4
Let t = 76 + -73. Suppose -3*h - 43 = 5*p - 7, -39 = 3*p - 4*h. Let q = t - p. Solve 0 = -3*y - q, -4*z + 7 = -z - y for z.
1
Suppose -5*n = 45 - 145. Let l be 1/2*(-10 + n). Solve -4*o = 4*v + 16, -2*o - 4 = -l*o + 5*v for o.
-2
Let j be (-13)/(-5) - ((-49)/35 - -2). Solve j*z - 4*y = -z + 17, -5*z - 4*y - 25 = 0 for z.
-1
Let w(q) = q**3 + 15*q**2 - 6*q + 14. Let k be w(-15). Suppose -49 - k = -9*p. Let c = p - 17. Solve c*a - 4*j + 24 = -a, -2*j = a - 6 for a.
-4
Let v be 0*((-2)/4 + 1). Let f(n) = -n**3 + 15*n + 5*n**3 + 3*n**3 - 8*n**3 - 11 + 13*n**2. Let h be f(14). Solve h*j + 4*b = v, -3*j - b - 2 - 7 = 0 for j.
-4
Let x be (9/3 + 5)*9/12. Let f = -12 + 16. Solve -3*g + 2*z = 0, -2*z = -x*g + f*g for g.
0
Let l = -166 + 172. Solve 0 = 3*k + r + 6, l*k + 18 = 3*k + 3*r for k.
-3
Let t be -1 - -1 - (-4 - (-6)/3). Solve 4 = -t*i + g - 0, 3*g - 12 = -4*i for i.
0
Let n be (-3)/(-1)*((-35)/15 + 4). Let d = 7 + -5. Let k = -3 + 8. Solve 0 = -2*w - d*x + 3*x - k, -5 = n*w - 5*x for w.
-4
Let c(z) = -z**3 - 17*z**2 - 68*z - 16. Let q be c(-11). Solve -s = 2*r - 5, -2*s + q + 4 = -3*r for s.
5
Let o(r) = -r**3 - 9*r**2 - r - 6. Suppose 32 = -3*p + a, -2*a + 55 = 2*p - 7*p. Let c be o(p). Solve 3*i - 1 = 4*i - 2*q, c*q - 3 = 0 for i.
1
Suppose -2*f = -8, -3*z - f + 91 = -0*z. Solve x + 1 = 2*i, 4*x + x + 2*i = -z for x.
-5
Let g(f) = -f + 11. Suppose 48 = 4*i - t + 5*t, 2*i + t = 19. Let q be g(i). Solve 0 = q*u - 4, -2*v + 2*u - 14 = -2*u for v.
-5
Suppose 5*t - 5 + 0 = 4*l, -4*l + 4*t = 0. Suppose -3 + 3 = l*s. Solve -a = 5*o - s*a - 3, 0 = 5*o - 5*a + 15 for o.
0
Suppose h + 2 - 18 = -w, -4*w = -4*h + 64. Let m = h - 17. Let x be m + 1 - (-1 - 1). Solve -5*k - 2*j + 10 = 0, j - 5*j - 4 = -x*k for k.
2
Let s(q) = 2*q - 12. Let f be 18/2*2/3. Let b be s(f). Let n be b + 4/((-8)/(-10)). Solve t = n*o + 16, 0 = -2*t + 3*o - o for t.
-4
Suppose -4*u + 8 = i - 5*i, 3*u - 2*i - 7 = 0. Let s be 0/((-4 - -4) + u). Solve -3*t - 3*b + b = -3, s = 5*t - 4*b - 27 for t.
3
Let u = -24 - -29. Suppose 0*l + u*z = 4*l - 57, -2*z = -6. Solve -w + l = w + 2*g, 3*w + 4*g = 32 for w.
4
Let d(i) = i**2 + 3*i - 25. Let z be d(-7). Solve -3*p + 7*y = z*y - 11, -5*p + y + 7 = 0 for p.
1
Suppose 5*u - 3 = 2*c, -c + 2*c - 1 = 0. Let g = -423 - -426. Solve -5*n + 1 = -g*j - 19, j + u = -4*n for j.
-5
Suppose 1536*w - 1518*w - 180 = 0. Solve -25 = 5*k + j, j - w = 2*k + 5*j for k.
-5
Let n(h) = -h - 3. Let c be n(-6). Suppose -3*t = 5*m - 21, -2*m + 3*t + 9 = c*m. Solve -d = m*k - 16, 2*d + 5*k = 17 + 10 for d.
1
Let u be -3*(-4)/12*-21*-2. Let w = 46 - u. Solve 3*n - 4*a + 6 = 0, -w*a + 11 = -2*n + a for n.
2
Suppose 23*m = 20*m + 195. Let o = m + -53. Solve 5*z = -4*q - o, 3*z + z = 0 for q.
-3
Let z(n) = -54*n - 103. Let a be z(-2). Solve -2*f - 13 = -3*x, a*f + x + 4*x - 30 = 0 for f.
1
Let f(x) = -36*x + 3. Let a be f(0). Suppose 3 = 2*y - 1. Suppose -4*l = 3*j - j + y, 0 = 3*j + a*l - 3. Solve 3*c = -0*c - 6, -j*c = -2*d + 4 for d.
-1
Let u be ((-12)/8)/((-6)/8). Solve m = 5*w + 3, u*w - 2*m + 1 = -5 for w.
0
Let r be ((4 - 4) + -1)*-2. Suppose 2*b - 11 = -3*g, 4*g + 2*b - 16 = -r*b. Solve 2*q - u = 7*q, 0 = -2*q + g*u + 17 for q.
1
Let m be (-171)/(-15) - 26/65. Solve -4*f + 3*h - 3 = m, 5*h - 20 = 5*f for f.
-2
Let h(z) = 2*z**2 + z - 16. Let n be h(3). Suppose 0 = 10*b - 3*b - 7. Solve n*d = -2*a - b, 2*d + 0 = 2*a + 8 for a.
-3
Let u = 84 + -141. Let t = u + 62. Solve -5*x + w + 10 = -0*w, t*w = 3*x - 6 for x.
2
Let m = -8 + 6. Let y = 79 + -86. Let z be y/(m/(-6)*-3). Solve -5*u - 2*i + z = 0, 1 = 3*u + u - 3*i for u.
1
Let c(p) = -4*p**3 - 3*p**2 + 2*p + 4. Let a be c(-1). Solve 2*y = a*l - 18, 2*l - 5*y - 25 + 2 = 0 for l.
4
Let g(v) = v - 37. Let u(h) = -19. Let p(q) = 6*g(q) - 11*u(q). Let o be p(3). Solve -4*i + 0*w - 12 = w, -o*w + 20 = 0 for i.
-4
Let d(q) = -q**2 - 17*q - 33. Let l be d(-10). Suppose -3*m - 3*s + l = 2*s, s - 9 = -m. Solve -6*j + j + 24 = -a, 0 = -4*a - 5*j + m for a.
-4
Let t be (2/6*(0 - 0))/(-2). Let q(n) = n - 15. Let c be q(24). Solve t = 5*u + d + 17, 3*u - d + c = -6 for u.
-4
Let k be (-3 - (-4 + 1))/(-1). Suppose 3*x = -k + 96. Solve -s - 4*o - 7 = -4*s, -x = 4*s + 5*o for s.
-3
Let n(v) = v. Let d(f) = -7. Let j(l) = -d(l) + n(l). Let r be j(-5). Solve 2*u = -2*z - 0*z - 10, r*u + 10 = z for z.
0
Suppose -3*r - 3*i = -7*i + 3, 5*r - 5*i = 0. Solve 2*h + 3 = k + 3*h, -4*k - h = -r for k.
0
Let v = 8 + -7. Let l = v + 3. Suppose 9*t + 2*y = l*t + 70, 0 = 2*t - 3*y - 47. Solve -4*r - 3*k - t = -k, -22 = 5*r + 3*k for r.
-2
Suppose 219 - 227 = -4*y. Solve 8*k - 26 = -n + 3*k, y*k = 10 for n.
1
Let y be (51/(-34))/(3/(-6)). Solve 0 = 4*t + 2*z - 10, 4*z = -t - y*t + 4 for t.
4
Suppose 3*t = 3*y - 42, 25*t - 110 = -5*y + 20*t. Solve -6*x - 32 = -2*x - 3*u, -2*u + y = -2*x for x.
-5
Suppose -72 = -24*z + 15*z. Solve -5*r + 2*j = 30, 0 = 3*r - 5*j + 29 + z for r.
-4
Let d(w) = 2*w**2 + 15*w + 6. Let f(c) = c**2 + c + 1. Let k(a) = d(a) - 3*f(a). Let s be k(12). Solve o + s*b = -0*b + 14, 3*o - b = -8 for o.
-1
Let b(m) = -8*m**3 - 2*m - 2. Let n be b(-1). Solve -4*i + 2*z = 6*z - n, 0 = 3*z for i.
2
Let o be 2009/28 + 18/8 + -2. Let z be o/27 - 1/(-3). Let b be (0*3/3)/(-1). Solve k = -z*u - 3, -2*k + b*k - 6 = u for k.
-3
Let b(q) = 11*q - 39. Let n be b(4). Solve x = -3*k + 9, -x - 15 = 3*x - n*k for x.
0
Suppose 2*w - 2 - 6 = 0. Let b = 7 + -6. Let r be b*(5 - (-4 + 3)). Solve -c + h - r = 0, h = -w*c - c - 12 for c.
-3
Suppose -3*q - 4*z = -8*z + 11, -5*q = -5*z + 10. Solve y + 4 = -4*h, h = -2*h - 3*y - q for h.
-1
Let i(t) = t**2 - 4*t - 8. Let m(n) = 4*n - 2. Let g be m(2). Let c be i(g). Let x be ((-7)/c)/(2/(-8)). Solve 4*h + 6 = -2*a, h = a - 2*h - x for a.
1
Let q = 2 - 2. Let z be -6 + -5 + 8 - -7. Solve q = -5*f + 3*b - 37, z*f + 3*b + 8 = -0*b for f.
-5
Suppose q - 3 = -5*w + 8, 2*w = -3*q - 6. Solve m = w*u + 4, -4*m + m = 2*u - 1 for u.
-1
Suppose 3*z - 9 = 3*a, 0*z + 3*a = z - 1. Suppose m = -z*m + 75. Let b = -114 + 116. Solve 3*s - 2*x = 2*x + b, -m = -5*s - 5*x for s.
2
Suppose 25*o = -9*o + 68. Solve -2*w = 8, 4*c + 6 = o*c - 2*w for c.
1
Let b(r) = r**3 - 3*r**2 + 5*r - 3. Let i be b(4). Let h = 36 - i. Solve -5*t - h*d + 4*d = -1, 5*t = -5*d + 25 for t.
1
Let i(a) = a**2 - 17*a - 102. Let h be i(22). Solve h = -5*c - t, 3*t = -4*c + 5*t + 2 for c.
-1
Let i be 2/10*-42*20/(-8). Suppose 12*x - i - 15 = 0. Let j(g) = g**2 - 5*g - 6. Let u be j(6). Solve -p - x*n - 12 = 0, p - 13 + u = 2*n for p.
3
Suppose -f = -x - 4*x + 288, -2*f + 62 = x. Suppose 4*y = -2*q - 2 + 70, 3*y = -5*q + x. Solve w + 3*i - 3 = 0, 3*i - y = -5*w - 1 for w.
3
Suppose 2*o = 3*k - 4*k - 7, -33 = 3*o - 3*k. Let r be 16/6*o/(-4). Suppose 2*n = r*n - 10. Solve 2*l = n*m - l - 12, -3*l - 12 = 5*m for m.
0
Let m = 15 + -16. Let h be 2 + 14/42*(1 + m). Solve -5 = 5*g + 3*f + 2*f, -10 = 4*g - h*f for g.
-2
Suppose 5 = l - y + 2*y, 3*l = y + 3. Solve b - 15 = -l*b, 4*b = 5*k + 20 for k.
0
Let p be (-7 - -2)*(65/25 - 3). Solve -w + 5*r = -2*w - 20, 5*w + p*r = -31 for w.
-5
Suppose -59 = -7*b + 81. Solve -5*l - 22 = 2*g - l, 4*l = -b for g.
-1
Suppose -m + 3*m + l + 7 = 0, 0 = 3*l + 3. L