k = -20 - -32. Suppose 2*n - k = -2*n. Solve 2*i - n = -i for i.
1
Let l = 64 - 62. Solve -l*g = 4*g + 30 for g.
-5
Let k(t) be the first derivative of 3 + 0*t - 1/3*t**3 + 0*t**2 - 3/4*t**4. Let p be k(-1). Solve p*w = -0*w - 10 for w.
-5
Let v = -99 + 110. Let i be (-17)/(-4) - ((-132)/16)/v. Solve 12 = i*k + 2 for k.
2
Suppose 64 + 6 = 2*b. Suppose -4*a + 36 = 5*f, -3*f = 5*a + 3 - b. Suppose -36 = -2*x - 4*q, -3*x + 8*x = f*q + 20. Solve -g + x = g for g.
4
Suppose -4*d + 14 = i, -4*d = -5*i + 1 - 3. Suppose -2*r = -r - i. Solve -6 = 4*g - r for g.
-1
Let l(g) be the first derivative of g**4/4 - g**3 - 5*g**2 + 4*g + 9. Let q be l(4). Let a = q + 24. Solve 0 = h - a*h for h.
0
Let d = -17 + 19. Let v = d - -8. Suppose 5*f + 22 = 3*i, 0 = 2*i - f - 0 - v. Solve 2*g + i = 6*g for g.
1
Let u be -3*1*-2 - (-119 + 123). Solve 6*c = u*c for c.
0
Suppose 17*r - 7 = 18*r. Let x be (-603)/(-21) - 2/r. Suppose -4*s + x = 3*q, -2*q + 22 = 2*s + s. Solve 0*h = -4*h - s for h.
-2
Suppose -5*p + 5*r = 75, r + 82 = -5*p - 17. Let m = 20 + p. Solve -3*w + 11 + m = 0 for w.
4
Suppose 0 = 3*x - 2*x. Let t(y) = y**3 - 2*y**2 + 5*y + 4. Let n be t(0). Solve s + x - n = 0 for s.
4
Let i(n) = 2*n**2 + 8*n. Let t be i(3). Solve -8*b = -29*b - t for b.
-2
Suppose -4*c - 3*w = 2*w - 2, 14 = 4*c - w. Let s(v) = 2*v + 2. Let a be s(c). Solve l + a = 5*l for l.
2
Suppose -2*t = 2*u - 22, 8*u - 5*u = 3*t + 15. Solve -u*n = -13*n for n.
0
Suppose -2*k = -60 + 62. Suppose 0 = 2*q - 1 - 1. Let w = q + k. Solve 0 = 3*z + 9 - w for z.
-3
Let o(c) = c**3 + 15*c**2 - 16*c - 22. Let s be o(-16). Let d be (6 - (-64)/(-11)) + (-260)/s. Solve 0*a - d = -4*a for a.
3
Let v = 84 + -81. Suppose 5*z - 10 = -f, -3 + 30 = 4*z - v*f. Solve 16 - 7 = z*n for n.
3
Let z(y) = -y**3 - 16*y**2 - 14*y + 17. Let s be z(-15). Suppose -4*r - s*f + 5*f = 0, -2*r - 5*f + 26 = 0. Solve -4*j - r + 7 = 0 for j.
1
Let a = 1134 - 1120. Solve -115 = -a*o - 9*o for o.
5
Suppose 4*n - l + 26 - 90 = 0, -2*n + 10 = 5*l. Solve 10 = n*v - 13*v for v.
5
Suppose -13*v - 6 = -14*v. Solve 0 = 5*s - v - 9 for s.
3
Let t be (-1)/3 + 19/3. Let w(m) = -m**3 + 5*m**2 + 5*m + 8. Let l be w(t). Let g be ((-2)/(-8))/((-22)/(-176)). Solve -l*o + 3*o + g = 0 for o.
-2
Let h = -598 - -598. Solve 0 = -4*p - h + 16 for p.
4
Suppose 4*l - 3*g - 236 = 0, 9*l - 4*l - 326 = -4*g. Suppose -s = -l + 57. Let w(t) = -t. Let k be w(-5). Solve s = 5*o - k for o.
2
Suppose -4*a = -0*a - 2*x + 2, 1 = x. Suppose 0 = -a*h + h. Solve h = -r - 4*r - 5 for r.
-1
Let l(t) = -t**2 + 7*t + 7. Let p be l(7). Let w = -7279 + 7281. Solve -w*d + p*d = 0 for d.
0
Let k = 0 - -5. Let i = -5 - -38. Suppose -2*t + i = k*n, -n + 18 = t + 2*n. Solve 11 = 4*y - t for y.
5
Let u(y) = -y**3 - 8*y**2 + y + 8. Let f be u(-8). Let w(s) = s**3 - s**2 - s + 2. Let m be w(0). Let z be -2 + -1 + 6 + m. Solve f = p - z + 1 for p.
4
Let j = -117 + 121. Let b be (-1)/(4/(-2))*0. Solve w + j*w = b for w.
0
Suppose -8 = 3*t - 2*k, 3*t + 5*k - 23 + 3 = 0. Suppose -4*x - 4 = -0*x, t = -3*h + 2*x + 8. Suppose 0 = h*s + s. Solve s = -0*p + 5*p + 10 for p.
-2
Let f(s) be the second derivative of 0*s**2 + 0 + 1/6*s**3 - 1/6*s**4 - 5*s + 1/20*s**5. Let q be f(3). Solve b = 5*b - q for b.
3
Let x be (424/12 - 2)/(4/6). Suppose -x = 21*v - 26*v. Solve -v*y + 12*y = -10 for y.
-5
Let r be -1*(-1)/(-2)*-6. Let s be -1 - 0 - (-2 + 2 + -2). Suppose s = 6*g - 53. Solve r*x - 3 - g = 0 for x.
4
Suppose 2*n - 5*y = -168, 0 = -5*n + 5*y - 456 + 66. Let d = -68 - n. Solve 0*j + 2*j = -d for j.
-3
Let n be (-42)/(-9)*(-54)/(-63). Let s(b) = 3*b**2 - 3*b - 3. Let j be s(-2). Solve 0 = -z - n*z - j for z.
-3
Let l(c) = c - 1. Let j be l(9). Suppose 2*d + 29 = x + 41, -d - 3 = 4*x. Solve d*k - j = k for k.
2
Suppose 5*t - 2 = -o, -4*t = o + 1 - 3. Let v be -2 + (1 + -1 - 0). Let c be 0/(2 - (o - v)). Solve c = p + p for p.
0
Let b be (9 + (-225)/27)/(2/12). Solve b - 2 = -a for a.
-2
Let o = -4 + 0. Let n be 4/o + 10 - 4. Solve n*j = -0 + 5 for j.
1
Suppose 14*n + 1558 = 4190. Solve -16 = -n*d + 184*d for d.
4
Let f = -373 - -543. Suppose -3*l = 2*l - f. Suppose 3*d - l = -5*u, -13 = -u + 3*d + 1. Solve u = -s - 3*s for s.
-2
Let v(x) = x**3 - 4*x**2 + 3. Let m be v(3). Let p = 3 - m. Let a = p - 3. Solve -a*o = -o - 5 for o.
1
Suppose -13*j + 36 = -19*j. Let o be (-33)/j - (-4 - 9/(-2)). Solve -o*y + 1 = -4*y for y.
1
Let s = 45 - 45. Let q(y) = -5*y + 7. Let t be q(s). Let i(m) = -4*m + 1. Let f be i(-6). Solve t*p - 2*p + f = 0 for p.
-5
Suppose 0 = 8*j - 22 - 18. Suppose 80 = 3*x - j*g, 2*x = 5*g + 19 + 36. Solve 9*z + x = 4*z for z.
-5
Let q(b) = b**3 + 5*b**2 + 2*b - 5. Let w = 37 - 64. Let p be ((-6)/2)/(w/(-36)). Let z be q(p). Solve 3 = -z*y - 0*y for y.
-1
Let f = 38 + -5. Suppose -2*l + 4 = 3*u, -2*l + 2*u = -f + 9. Let g = l - 3. Solve 0*c = g*c for c.
0
Let q(t) = t**3 + 3*t**2 - t - 1. Let r be q(-2). Suppose -3*u - 14 = r*c, 4*c + 0*c + 24 = 4*u. Suppose u*s - 5*s + 9 = 0. Solve 8 = -s*o + 5*o for o.
4
Suppose 19 = -3*a - 2*u, -a + 0*a - 4*u = 23. Let b = 8 + a. Solve 2*s + 12 = b*s for s.
4
Let t = -9 + 11. Suppose 7*p - t*p - 35 = 0. Solve 0 = 3*b - 1 + p for b.
-2
Let a = 31 + -22. Suppose -13*k = -a*k - 20. Suppose -3*b = 3*i + 6, 2*i - k*b - 31 = -0*i. Solve n + 16 = -i*n for n.
-4
Suppose -5*x + 2*h = -11, 4*x + 6*h - 5*h = 14. Solve d - 7*d = x*d for d.
0
Suppose 4*u - 24 = -4*m, -2*u - 2*u = 0. Suppose -4*k + 15 = k. Let b = 6 - k. Solve -b*v - m = -3 for v.
-1
Let q = 487 + -483. Solve 0 = 55*f - 59*f + q for f.
1
Suppose 4*i = -f + 24, -4*i - 1 = -13. Solve -5*a = 27 - f for a.
-3
Suppose -12*w + 5*w = -21. Solve 2*z + 9 = w for z.
-3
Suppose 0 = -21*r + 19*r + 32. Suppose -5*w = -12 + 2. Let q = 4 + w. Solve q - r = -5*n for n.
2
Suppose 1 = -2*i + 47. Let a = -20 + i. Solve s = a*s for s.
0
Suppose 3*b = -4*g + 15, 4*b - 23 = g - 3. Solve b = 5*m - 10*m for m.
-1
Suppose 2*f - 6*f + 20 = 0, 4*f + 22 = 3*p. Suppose 35*y + p = 42*y. Solve 0 = 6*a - y*a for a.
0
Let c = 65 - 64. Let a be (-250)/(-20) - c/2. Solve -8 = -5*b + a for b.
4
Suppose 39 = -5*l + 3*b, -5*l - 2 = -b + 31. Let a be (32/(-6))/(4/l). Solve 0 = 3*k + 1 + a for k.
-3
Suppose -22*z + 364 = -8*z. Solve -z*r = -22*r - 16 for r.
4
Let b(u) = u**3 - 7*u**2 + 2*u - 6. Let h be b(7). Let w be ((-3)/(-4))/(3/h - 0). Solve a = -w*a + 12 for a.
4
Let c = 981 + -955. Solve -38*f = -c*f - 36 for f.
3
Suppose 3*u - 3 = -c + 4*u, -c - 2*u + 3 = 0. Suppose -5 = -c*o + 2*o, 2*y - 15 = -o. Solve 0 = -y*j - 4 - 21 for j.
-5
Let u(o) = o**3 - 8*o**2 + o - 4. Let h be u(8). Let v(l) = -3*l**2 + 7*l + 7*l**2 + l**3 - 1 - 9*l**2 - 5. Let x be v(4). Solve 0 = -z + h*z + x for z.
-2
Let w be (4/(-2))/(1 + (-45)/27). Solve w*c = 2*c + 3*c for c.
0
Let t be (-22)/(-10) - (-2)/(-10). Let b = 17 + -15. Suppose 0 = 2*h - b - t. Solve 20 = h*v - 7*v for v.
-4
Suppose 4*n - 1536 = -60*n. Solve -n = -12*v + 12 for v.
3
Let f(s) be the first derivative of 2*s**3/3 + 3*s**2/2 - 3*s - 7. Let r be f(-3). Solve -4*y - 14 + r = 0 for y.
-2
Let l be (-56 - -57)*-4*2/(-4). Solve -f = -l*f for f.
0
Let o(l) = l**2 - 5*l + 6. Let n be o(7). Suppose -21*x = -n*x - 6. Solve 5*y - 26 = -x for y.
4
Let p(q) = q + 4. Let k(o) = o + 5. Let x(i) = -6*k(i) + 5*p(i). Let t be x(-11). Solve 0 = -b - 1 - t for b.
-2
Let m be 2/(-5) - (185/25)/(-1). Solve -7*c + m = -14*c for c.
-1
Suppose -3*h - 1 + 13 = 0. Let q = -19 + 27. Suppose 4*v + 10*n = q*n + 2, v = n + 5. Solve 8 = -h*a + v*a for a.
-4
Let l(h) = h + 17. Let v be l(-13). Suppose 0 = -v*x - 4*o + 4, x - 7*o - 25 = -2*o. Solve -4*t + x = -7 for t.
3
Let m be -35 + (-3)/(-1) + -2 + -3. Let f = 40 + m. Solve 2*h - f = 3*h for h.
-3
Let l = -5 - -7. Let n be 2 - -1*(5 + -2). Solve n*g = l*g for g.
0
Let l(w) = 2*w - 1. Let f be l(7). Let g = f - 13. Let d be 3/(-3) + g + 3. Solve 4*i - 2 = d for i.
1
Let c = -91 + 95. Solve 0 = -4*d - 16 + c for d.
-3
Let v(y) = -y**3 - 8*y**2 - 9*y - 9. Let o be 2/7*42/12. Let n be (o - 4 - -5) + -9. Let z be v(n). Solve 2 - z = -i for i.
3
Suppose 0 = 4*r + 26 - 2. Let k(m) = -12*m - 70. Let h be k(r). Solve h*x = -x + 12 for x.
4
Let w be (9/(-5))/(-3) - (-385)/25. Solve -9*b - w = -b for b.
-2
Let y(p) = p**3 - 10*p**2 + 11*p + 5. Let s be y(10). Let f 