4*k = -q*t, 3*t - 16 = -k - 0*k. Solve 0 = t*o - 15 - 5 for o.
5
Let b(o) = -o**3 - 26*o**2 + 32*o + 136. Let y be b(-27). Let d = 8 - 5. Solve -5 - y = -d*p for p.
2
Let w be (-4 - (-2352)/30) + (-15)/(-25). Solve 0 = w*j - 76*j + 1 for j.
1
Let o = -24 + 22. Let j = -6 - 0. Let b be (-117)/(-27) - o/j. Solve -8 - 12 = b*l for l.
-5
Let d be (-2)/((-16)/44)*2. Let c(o) = -9 + 6 - 4 - d - 2*o. Let r be c(-12). Solve -5*w + r - 1 = 0 for w.
1
Suppose 6 = 2*i + 2*q, 0 = -i - 3*q + 21 - 16. Solve -i*x = 1 + 9 for x.
-5
Suppose -4*g = 33 - 17, 4*t - 5*g = 40. Solve -w = -2*w + t for w.
5
Let a(t) be the third derivative of -t**6/120 + t**5/5 + t**4/12 - 8*t**3/3 - 3*t**2. Let l be a(12). Let k be 1 + l/(-2) + 4. Solve 0 = j - 5 + k for j.
4
Let p be -3 - 1*(-14 - 1). Solve 4*h + p = -4 for h.
-4
Suppose -18 = -2*a - 6. Suppose -6 = -a*s - 0. Solve 5*j - 6 + s = 0 for j.
1
Let q be ((-2)/6)/((-419)/(-84) + -5). Solve q*v - 10 = 23*v for v.
2
Let b = -6 - -12. Let x(t) be the third derivative of t**6/120 - 7*t**5/60 + 7*t**4/24 - 2*t**3/3 + 31*t**2. Let w be x(b). Solve w*l + 0*l - 4 = 0 for l.
2
Let l = 222 - 211. Solve 4*v = -l + 23 for v.
3
Let s(l) = 13*l**2 - l**3 - 7*l - 6*l + 68 - 54. Let o be s(12). Solve 4*f = 6 - o for f.
1
Let g(z) = 1. Let p(i) = 3*i - 23. Let v(k) = 6*g(k) + p(k). Let h be v(8). Let w = h + -1. Solve 0 = -5*d - 4 - w for d.
-2
Suppose -3*r - 130 = -1. Let q = r + 43. Solve -5*s = -q + 15 for s.
-3
Let a be (3/6 - -1)*6. Let x = 20 - a. Suppose d - 2 + 4 = 2*j, -x = -j - 2*d. Solve 0 = j*m + m - 16 for m.
4
Suppose 7*n - f = 2*n + 14, 2*n + 2*f + 4 = 0. Solve 5*z = -27 + n for z.
-5
Let l = -23 - -30. Suppose 5*v = l*v. Solve -2*y - 3*y - 10 = v for y.
-2
Suppose -4*s - 64 = -8*s. Suppose -5*r = -4*k + 37, 3*r + s = 5*k - 14. Solve 0*m - k*m = 15 for m.
-5
Let n = 251 - 243. Solve n + 1 = -3*m for m.
-3
Suppose -22*f - 19*f + 205 = 0. Solve 0 = f*x + 7 + 13 for x.
-4
Let g be 0*(-6)/(-9)*18/(-48). Let h(q) = -q**3 - 4*q**2 + 5*q + 2. Let v be h(-5). Suppose v = 2*r - 10. Solve g = -p + r*p for p.
0
Let x(n) = -n**3 + 8*n**2 + 32*n + 11. Let k be x(11). Solve m - 3 + 4 = k for m.
-1
Let t be 488/8 + 4 + -6. Solve 43 - t = -4*d for d.
4
Suppose 0*g + 0*g + 8*g = 8. Suppose 4*y - 4 = 4. Solve 3*w - y = g for w.
1
Let g(y) = y**3 + 8*y**2 + 2*y + 31. Let q be g(-8). Suppose 29 - 9 = 5*w. Solve w*x = -x + q for x.
3
Suppose 3*u - 5*u = z - 14, 3*z = 4*u + 62. Let p be (-4)/18 - (-58)/z. Let s be 2/(1*p/6). Solve -s*b - 6 = -b for b.
-2
Let g = 28 - 12. Suppose n - g = -8. Solve -4*f + n = -2*f for f.
4
Let v(o) = -2*o + 15. Let p be v(5). Suppose -k - 3*y + 6*y + 14 = 0, p*y + 40 = 5*k. Solve -3*d + k*d = -4 for d.
-2
Let n(z) be the third derivative of z**5/10 + z**4/24 - z**3/6 - 2*z**2. Let s be -1*((-1)/1)/1. Let f be n(s). Solve 0 = a + a - f for a.
3
Let a(c) = -c**3 - 4*c**2 - 4*c + 1. Let h be a(-3). Let m(y) = 6*y - 7. Let q be m(h). Suppose -2*n = -5*f + 21, 3*n + 4*f - 9 - q = 0. Solve -v = -n*v for v.
0
Let x(g) be the first derivative of 1/3*g**3 + 5 + 5/2*g**2 + 8*g. Let c be x(-5). Solve -5*v + c = -7 for v.
3
Suppose -h = 4*t - t + 9, -4*t = 4*h + 36. Let a = h - -12. Solve a + 6 = 3*x for x.
3
Let m(o) = o**2 - 2*o + 1. Let f be (-35)/(-21) + (-1)/(-3). Suppose f*w - 5 = 1. Let q be m(w). Solve -q - 4 = 4*g for g.
-2
Let i = -101 - -112. Solve -3*u + 8 = i for u.
-1
Suppose 5*b = 4*b - 1. Let j(m) be the third derivative of -m**4/6 - m**3/6 + 2*m**2. Let y be j(b). Solve d - 4 = -y for d.
1
Suppose -3*q = -q + 3*l - 14, l - 6 = -q. Let i be (2/4)/(1/2). Let c(a) = -14*a**2 - 380*a - 49. Let m be c(-27). Solve -q = m*d + i for d.
-1
Let s = -4 + 5. Let c(p) = 2*p**2 + 2*p - 1. Let u be c(s). Suppose -7*y = -0*y - 14. Solve 0 = y*v - u*v for v.
0
Let c be -2*(2 + (8 - 22)). Solve -72 = -0*o + c*o for o.
-3
Suppose 2*w + 18 + 30 = 0. Let m = w - -27. Solve c - 8 = -m*c for c.
2
Let c = -31 + 40. Let i = c - 9. Solve 0 = -i*t + t + 2 for t.
-2
Suppose 3*f = 16*f - 52. Let v be (0*f/8)/(-1). Solve 0 = -i - v - 3 for i.
-3
Let x(k) = -k**2 - 10*k + 21. Let j be x(-11). Solve 0 = -5*o - j for o.
-2
Let a = 246 + -241. Solve 0*g = g - a for g.
5
Let v(y) = y**3 - 10*y**2 + 5*y + 4. Let r be v(9). Let s = -31 - r. Solve 4*m + 11 = -s for m.
-3
Suppose -3*o = -2*o - 3. Let l(w) = 0 + w**o - 1 + 4*w + 6*w**2 - 1. Let i be l(-5). Solve 6*b - i*b = 0 for b.
0
Let g be 0/(4/6*3). Suppose 20 = -0*o + 4*o. Let x be -2*((-315)/(-6))/(-7). Solve g*w = -o*w - x for w.
-3
Let c be (-2 + -1)/(-1)*(-4)/(-4). Suppose 3*o + 3*u = 24, o + c*u - 6*u + 8 = 0. Solve 0 = -o*v + 2 + 6 for v.
2
Suppose 4*n - 8 - 12 = 0. Suppose 2*c = 3*c - n. Suppose 3*t - c = 4. Solve 3 = t*i - 3 for i.
2
Suppose 4*c - 2*l - 126 = 0, l + 154 = 5*c + 2*l. Let k = -27 + c. Solve k = -4*m - 4 for m.
-2
Suppose 16*s - 179 = -51. Solve -5 + s = -d for d.
-3
Let q = -1237 - -1237. Solve q*d = -6*d + 7*d for d.
0
Suppose 0 = -3*x + 2*z + 15, 3*x - 5*z - 4 = 2. Solve 2*q = x*q + 15 for q.
-3
Let p be -1 + 57 - (0 - -5). Let i = p - 49. Solve b = i*b for b.
0
Let y(j) = -2*j**2 + 10*j - 20. Let l be y(6). Let v = 44 + l. Solve 0 = 4*u - 0 + v for u.
-3
Let l(j) = j**3 - 3*j**2 - 2*j - 3. Let x be l(4). Let d(w) = -w**2 - 5*w - 2. Let f be d(-3). Suppose 0 = -f*r - r + 10. Solve 18 + r = -x*i for i.
-4
Let t(m) = -3*m**2 - 56*m + 6. Let d(p) = -p**2 - 19*p + 2. Let h(n) = -17*d(n) + 6*t(n). Let l be h(-14). Let k = 12 + l. Solve -4 = -k*z + 4*z for z.
-1
Let k = -268 + 273. Solve -30 = 5*t - k for t.
-5
Suppose 4*p = -2*n - 6, -n - 3 = 7*p - 4*p. Solve -5*h + h = p for h.
0
Let d = 238 + -234. Solve m - 15 = -d*m for m.
3
Let g be (-48)/32*(-32)/6. Solve 8*i = g + 16 for i.
3
Let b be ((-119)/14 + 8)*(2 - 42). Solve 2*o + 8*o - b = 0 for o.
2
Let l(z) = -z**3 - 9*z**2 - 23*z - 27. Let q be l(-6). Solve -q*v = 43 - 40 for v.
-1
Let l be -1 - -12*(-3)/(-12). Solve 0 = -l*n + 7 - 3 for n.
2
Let i(u) = -u + 4. Let j be i(4). Suppose -2*s = -j*s. Solve s*z + z = 0 for z.
0
Let o be ((-2 - 2) + 0)*(-900)/144. Suppose 36 = -2*u + 132. Let q be u/9 + 2/3. Solve b + o = q*b for b.
5
Suppose 361 - 46 = 9*j. Solve 18*u - 11*u - j = 0 for u.
5
Suppose 0 = 3*g - 5 - 7. Solve -1 = -g*i + 7 for i.
2
Let n = -23 - -48. Suppose -4*m + 9*m = -n. Let t be 9/(-15) + (-18)/m. Solve 0 = -5*x + t*x for x.
0
Suppose 2*w + 0*q = -2*q - 2, q + 5 = 0. Suppose -4*c - 2*y + 11 = -y, -4*c - w*y - 4 = 0. Solve -c*n - 9 = 7 for n.
-4
Suppose 4*a = 9*a + 3*p - 20, 5*p = 0. Solve 3*h = -a - 2 for h.
-2
Let w(d) = -2*d - 1. Let m be w(-6). Suppose 2*r + 3 = m. Let z = -25 + 27. Solve -z*k = -r*k - 10 for k.
-5
Suppose -12 = -49*m + 45*m. Solve 0*p - m*p = 15 for p.
-5
Let l be -6*((-5)/(-30))/((-2)/8). Suppose 4*f + l*w - 12 = 0, -3*w = f - 3 + 4. Solve 24 + 1 = -f*g for g.
-5
Let u(z) = 9*z - 207. Let p be u(24). Solve p*v + 8 = -1 for v.
-1
Let h be 6/(-6*2/(-8)). Let u be (-6)/(-8)*(0 + h). Solve u*v = -v for v.
0
Let p(m) = -m**2 - m + 17. Let u be p(-4). Suppose u*r + 16 = o, -4*r - 28 = -3*o + r. Solve o*a - a + 10 = 0 for a.
-2
Let f(t) = -t**2 - 10*t - 16. Let c be f(-2). Solve c*r + 2*r = -4 for r.
-2
Let a(s) = -s - 2. Let h be a(-3). Let u be (h/(-2))/(2/4) + 20. Solve 4*b + 7 = u for b.
3
Suppose 46*h - 51*h + 5 = 0. Let z be 2 + h - (-11 - -13). Solve 0 = -2*s + z + 7 for s.
4
Let r(c) = 32*c + 326. Let b be r(-10). Let g(v) = -v + 10. Let x be g(7). Suppose -t + p = 2*p - 5, 0 = x*t + 4*p - 17. Solve -t*z + b = -z for z.
3
Let z = 585 + -582. Let d = 3 + 2. Solve -d*h - 17 = z for h.
-4
Let n(w) be the first derivative of 3*w**4/4 + w**3/3 - w**2/2 - w - 17. Let t be n(1). Solve -t*g - 2 = -g for g.
-2
Suppose -8*q + 4*q + 15 = a, 4*a = 4*q. Solve 7*v = -a - 18 for v.
-3
Suppose 2*n - 2*x = 44, 0*n + 4*n = 3*x + 84. Suppose 215 = -3*g + 920. Let o be (-4)/n + g/45. Solve -o*b = -b + 16 for b.
-4
Let h(o) = -o**3 - 5*o**2 - 7*o - 9. Let i be h(-4). Suppose 0 = i*s - 8*s + 20. Suppose -5*l = 2*y - 8 - 36, 3*l - 18 = -s*y. Solve x + 5 = l for x.
5
Let g(d) = -d**3 - 8*d**2 - 9*d - 10. Let w be g(-7). Suppose -w*u + 24 + 33 = 3*v, -9 = -2*u + 5*v. Solve -2*q + 4 = u for q.
-4
Let b(l) be the third derivative of -l**5/60 + l**4/3 - l**3 - l**2. Let w be b(6). Suppose -6*n + w = -4*n. S