a = 8 + -5. Suppose 2*b - 22 = a*k - 8*k, -3*k = 3*b - 15. Solve 4*w + 8*g - 4*g = 8, i = -k*w + 3*g for w.
0
Let f be 20/8*(-72)/(-60). Solve -2*c - 2*c + u + 2 = 0, 2 = -f*c - u for c.
0
Suppose -5*f = -3*f - 14. Let w(j) = 12*j + 501. Let i be w(-41). Solve -5*u + 3*q = -7, 3*q - i = 4*u - f*u for u.
2
Let h = 1573 - 1573. Solve -i = q - 0*i - 3, h = -3*i + 12 for q.
-1
Let w be (2*2)/((-35)/(2975/(-68))). Solve -7 = -4*t + 5*v, -2*t + w*v = -40 + 29 for t.
-2
Let i = -937 - -947. Solve -5*d + 5 = -z - i, -18 = -2*d - 2*z for d.
4
Suppose m + 6 - 8 = 0. Suppose -4 = f + 3*a, a + 4 = 2*f - m. Suppose -f + 8 = h. Solve -g - 2*k = -6, 2*g - 4*g - h = -5*k for g.
2
Suppose -8*l - 35 = -15*l. Solve -2*n - 5*z = 0, -19 = -l*n + z - 4*z for n.
5
Let c(n) = -3*n - 2. Let i be c(-3). Let r = i - 9. Let t be 6/(-24) + r/(-8). Solve -10 = -2*u - 2*x, -u + 25 = -t*u + 5*x for u.
0
Suppose -4*h = -10*h + 42. Suppose 3*n + 33 = 3*v, 4*n + 4*v + 13 = -h. Let m = -6 - n. Solve 0 = 5*o, 3*o + 2 = -2*z - m*o for z.
-1
Let y be 4/(-8)*-4*1. Suppose 0 = 3*s - 4*j + 5, 0*j = -3*s + y*j + 5. Solve 3*x + x + 22 = -3*m, s*x + 10 = 5*m for m.
-2
Suppose 3*q + 1 = -s + 3, 5*q = -2*s + 5. Solve 0 = -2*a - s*x - 30, -a + 6*x = 4*x - 3 for a.
-5
Suppose -6*q + 18 = -0*q. Suppose -q*s = -6*s + 36. Solve f + 5*t - 12 = -f, 0 = -3*t + s for f.
-4
Suppose -m + 10 = n, -2*m = -4*n - 7*m + 35. Solve 0 = -5*t - 2*o + 19 + 1, 5*o - n = 5*t for t.
2
Let u(o) be the second derivative of o**4/12 - o**3/3 + 3*o**2 + 9*o. Let n be u(0). Let f be ((-4)/6)/(n/(-9)). Solve a + f = -k, 0*a + 4*k + 1 = -a for a.
-1
Suppose 16*c = 8*c + 112. Let d(f) = -f**3 + 14*f**2 - 2*f + 28. Let y be d(c). Solve -4*v - 3*u = -y + 6, v + 1 = -u for v.
-3
Let j(c) = -c**3 - 7*c**2 + 11*c + 28. Let v be j(-8). Suppose -v*h - h = -30. Solve 0 = -4*y - 3*a - 6, -4*y - 4 - h = 5*a for y.
0
Suppose -380*j - 63 = -401*j. Let u be 1 + ((-3)/3)/(-1). Solve 4*y = u*a - 8, -j*y = 4*a - 5*a + 7 for y.
-3
Let o(g) = 2*g**3 + 33*g**2 + 15*g - 14. Let m = -26 + 10. Let w be o(m). Solve -3*c = -4*t, 10 = -0*t - w*t - c for t.
-3
Let c(s) = s**3 + s**2 - 13*s - 1. Let q be c(-4). Let z(f) = -f**2 - 7*f - 8. Let a be z(-3). Solve 5*y + 5 = q*j, -j + 6 = -a*y + j for y.
-4
Suppose -4*c = -1 - 23. Let o be (2/c)/1*(9 - 3). Solve o*j - 7*j + 4*f = 8, -5*j + 2*f - 4 = 0 for j.
0
Let k(m) = -3*m - 10. Let j be k(-5). Suppose -13 = 5*d + 2*q, -j*d - 2*q = -d + 10. Let x be -1 - d/(-6)*-2. Solve 4*p + x*p - 5 = -5*z, -2*z + 2*p = -2 for z.
1
Let f = -578 - -583. Solve f*a - 4*g = a, -4*g + 1 = -5*a for a.
-1
Suppose -96 = -4*b + 8. Let s = -7 - 8. Let o = s + b. Solve 0 = -j - 2*f + 3 + 1, o = -j + 3*f for j.
-2
Let l be (-4)/(-2) + 5 - (3 - -1). Solve -2*u - l*w - 10 = -0*w, -4*u = 5*w + 20 for u.
-5
Let y(v) = 32*v + 513. Let j be y(-16). Solve 8 = 2*b - 5*c, -3*b - j = -0*b - c for b.
-1
Suppose -3*j + 5*q + 25 = 0, -20*q + 14 = 4*j - 17*q. Solve -j*h + y = -3*h - 4, -5*y + 2 = h for h.
2
Let t = -21 - -23. Let a be ((-198)/27)/(3*t/(-9)). Let o = -5 + 5. Solve 3*m - m = -2*b + 2, o = -2*b + m + a for b.
4
Let n(p) = -32*p**2 - 2*p - 1. Let b be n(-1). Let k = b - -35. Solve -4 = -2*i, -k*i + 2*i + 6 = 2*l for l.
1
Suppose 86 - 241 = -31*j. Solve 0 = -5*h + 5*r + j, -h + 8 = -4*r - 8 for h.
-4
Let p(i) = 2 - i**3 - 4*i**2 + 7 - 15 + 0*i**2 - 6*i. Let a be p(-3). Solve 0*u = a*u + 12, 13 = -3*s - 4*u for s.
1
Let f(n) = -6*n + 226. Let h be f(37). Solve -2*z + h = a - 7, -a = -5*z + 10 for z.
3
Let u(r) be the third derivative of 6*r**2 + 0*r - 1/12*r**4 - 1/2*r**3 + 0 + 1/60*r**5. Let z be u(-4). Solve -4*g - 1 = 3*o, -2 - z = 5*o - 4*g for o.
-3
Let o = 443 + -441. Suppose -3*v = v - 12. Suppose v*i + 8 = 3*b + 2, 0 = -i - 3*b + 18. Solve -u = 4*u - 3*x + i, -o*u + 3*x - 3 = 0 for u.
0
Let p(i) be the third derivative of i**6/60 + i**5/60 - i**4/24 + i**3/3 - 29*i**2. Let k be p(2). Solve -2*o + 3*b - 16 = -4*o, 0 = 5*b - k for o.
2
Let v(f) = -3 + 0 + 7*f - f**2 + 2*f**2 - 12. Let u be v(-9). Solve -o + 3*k - 3 = 6, k - u = 2*o for o.
0
Suppose -10 = 3*u - 4*u. Let d be (-1)/((-2)/10*1). Suppose -4*a = 4*y, 2*y - d*a - 18 = -2*y. Solve y*r + u = 7*r + 5*g, -r + g = 0 for r.
1
Let s = -118 - -123. Solve -5*z - s*c = 20, -2*z - 3*c = -0*c + 10 for z.
-2
Let w = -18 + 15. Let n be w/9 + 96/18. Suppose -10 - 30 = -4*r. Solve -2*v - 2*h + 4 = -0*h, n*h + r = 5*v for v.
2
Let y(m) = -m**2 + 16*m - 16*m + 1 + 4*m**3. Let u be y(1). Let p = 16 - 11. Solve u*w + 2*t + 26 = 0, -p*t + 0 = -5*w + 5 for w.
-4
Let d be 2 - 6*((-12)/8 - -1). Suppose 0 = -d*f + 19 - 9. Solve f*r - 5 = -1, -15 = 3*q - 3*r for q.
-3
Let r = -285 - -290. Solve 11 = 3*u + 2*p + 1, r*p - 25 = -3*u for u.
0
Let p be (-132)/(-330) + (-13)/(-5). Solve -15 = -4*r + 3*k + 3, p*k = -2*r for r.
3
Suppose 4*l = 1 + 3. Suppose 3*x = -l - 2. Let v be (x/(-2))/(3/36). Solve -v = 2*y, 3*g + 0*g - 12 = 5*y for g.
-1
Let n(r) = 4*r + 6. Let o(c) = 5*c + 5. Let z(g) = 4*n(g) - 3*o(g). Let l be z(-7). Solve -2*v = 4*m + l, 3*v = 3*m + v + 19 for m.
-3
Suppose m + 0*m - 6 = 4*f, -f + m - 3 = 0. Let z be f*(-2 + 2)*(-5)/10. Solve 0 = r + 5*u + 27, 2*r - 3*r - u - 7 = z for r.
-2
Suppose -3*r - 11 = 5*i, -3*r - 4*i = 10 - 3. Suppose 0*j + 3*t = 2*j - 22, r*j - 11 = -t. Solve -j*h - 10 = 0, 13 = 3*o + h - 3*h for o.
3
Let a = -312 + 317. Solve 3*x = 4*j + 8, -a*x + 4*j = -6 - 2 for x.
0
Suppose -5*z + 5 = t - 20, -10 = -2*z - 4*t. Solve -12 = -d + z*j, -j - 5 = d + 1 for d.
-3
Let m = -17 - -19. Let h be 11/m*16/8. Suppose -4*y + 32 = 3*c, 3*c = y - c + h. Solve 4*u = 6*u - y*r - 5, 0 = 2*r + 6 for u.
-5
Let z(l) = -l**2 + 6. Let w be 2/(-2) + (0 - -1). Let v be z(w). Let y be 8/10*(v + -1). Solve b - y*d - 16 = 0, -4*b + b = -3*d - 21 for b.
4
Let a = -123 - -129. Let k be 18*(-2)/8*-2. Let t be k/(a/2) - 0. Solve -4*m - 19 = -t*f - 0, -5 = -f for m.
-1
Let x(f) = -f**2 + 13*f - 29. Suppose 0 = 3*c - 4*c + 4*s - 6, -4*c - 4*s + 56 = 0. Let n be x(c). Solve 0 = -h + 2*z + n, 4*z + 26 - 6 = -4*h for h.
-3
Suppose 0 = 4*y - 11*y. Solve -h + 2*x = -y*x - 7, h = 3*x + 9 for h.
3
Let j be 30/9 - 2/(-3). Let d(a) = a**3 - 13*a**2 + 2*a - 21. Let f = 46 + -33. Let n be d(f). Solve 0 = n*k - j*t + 7, 2*t + 6 = 2 for k.
-3
Let x = 254 + -404. Let r be x/9 + 2/3. Let v = r + 20. Solve 0*g + v*w = 2*g + 2, 0 = -2*w for g.
-1
Suppose -2*j - 10 = 3*s, s = -3*j + j - 6. Let v be j/3*18/(-4). Solve 5*q = p + v*p - 33, 0 = -q + 3*p - 11 for q.
-5
Let r = -110 + 113. Solve 6 = -5*c - v, r*c = 2*c - 2*v + 6 for c.
-2
Let n(y) be the third derivative of y**4/4 - 7*y**3/3 - 40*y**2. Let g be n(3). Solve m + 4*w - 13 = 0, -g*m - 3*w + 24 = -w for m.
5
Let x be 2/(-7) - (-16)/7. Let m be (-12)/((-7)/((-168)/9)). Let g be (-22)/77 - m/14. Solve -g*b - 14 = 3*d, 6*d = x*d - 2*b - 16 for d.
-2
Let p be 2*(0 - -1) - -3. Let g = 54 - 49. Suppose -3*t + g = 17, -5*t - 23 = -n. Solve 16 = -i + p*i, n*i - 16 = -z for z.
4
Suppose -8 = -5*n + w, -5*w + 2 + 8 = 0. Solve 0*u - 12 = -n*f - 3*u, 0 = 2*u - 8 for f.
0
Suppose 3*y - 322 = -277. Solve -f - y = 4*f + 4*u, 2*f + 6 = -5*u for f.
-3
Let o(c) = c + 28. Let a be o(-23). Suppose 2*t + 4*t + 8*t = 0. Solve t = -3*h + q - 10, a = 4*h - 3*h - 2*q for h.
-5
Suppose -12 - 33 = -9*y. Solve 4 = 4*h - 0*h + 4*p, -3*p = -y*h - 19 for h.
-2
Let f(v) = -v**2 + 12*v + 17. Let p be -2*(-2)/16 + 51/4. Let n be f(p). Solve 18 = -2*u - 5*a - 17, n*u + 4*a + 40 = 0 for u.
-5
Suppose 0 = -14*z - 1231 - 1205. Let q be 7 + z/36 + 2/(-12). Solve q*b = -s - 2, -3*b = -5*s + 33 - 4 for s.
4
Suppose -4*r = -32 - 60. Let j be (20/25)/(-1)*1*-25. Let d = r - j. Solve -2*b = -d*p + 1, 9 - 2 = 4*b + 3*p for b.
1
Let y(m) = m**2 - 15. Let x be y(7). Let k = x - 29. Solve -j - k*i + 10 = 0, 2*j + j + 5*i = 20 for j.
5
Let n = 469 + -451. Solve -s - 4*s + 4*h = -n, 0 = 5*s - h - 12 for s.
2
Let c(p) = p**2 - 11*p - 9. Let z be c(6). Let q = z + 44. Let s(m) = -m + 4. Let j be s(-5). Solve -4*v + h = -q, 4*h + 11 + j = 0 for v.
0
Let f(d) = -d**2 + 4*d + 33. Let v be f(0). Suppose 3*g - 3*b - 9 = 0, -2*b + 0*b + 6 = 4*g. Solve 3*o + 1 = -g*r + 6*r, -5*o - 2*r = -v for o.
5
Let z = -720 + 722. Solve n + 16 = -3*g, -z*g - 3*g = 2*n + 28 for n.
-4
Let w(n) be the third derivative of n