r be c(-3). Suppose 0 = -n - 3*a + 4, -a - 12 = -3*n + 5*n. Let l = r + n. Solve k - 1 = -l for k.
-2
Let z(p) = p**2 + 3*p + 2. Let w be z(-3). Suppose -2*c + 16 = w*c. Solve -g + c*g = 0 for g.
0
Suppose 5*y - p - p - 8 = 0, 3*p = 2*y - 12. Suppose y = -10*k + 14*k. Solve 2*t + k*t = 0 for t.
0
Suppose 0 = -5*w + 2*t + 2 + 8, -3*t - 8 = -4*w. Suppose 0 = -u - 2*u + 18. Solve -w*k - k = -u for k.
2
Suppose g + 1 = -3*n, g + 2 = 2*n - g. Suppose 3*i + 0*i = 0. Suppose 3*f - 15 = 0, 0 = 2*j - i*j + 5*f - 29. Solve -j = -y - n*y for y.
2
Let i be (9/6)/(12/16). Solve -6*x - 16 = -i*x for x.
-4
Let c be (-2 - 1*-8) + -1. Suppose 0*h - 5*h + c = 0. Suppose 4*v - h - 7 = 0. Solve 0 - 8 = v*r for r.
-4
Suppose -5*w + w - 12 = 0, w = 3*d - 6. Suppose d + 9 = 5*n. Let p(x) = 5*x**2 + 2*x - 1. Let t be p(1). Solve 20 = n*k - t*k for k.
-5
Let o = -13 + 16. Solve 6*a - o*a - 6 = 0 for a.
2
Let t(o) = -o**2 + 5*o + 4. Let n be t(5). Suppose 0*u = 2*u + 3*w - 8, -u + n = -4*w. Solve u*h = -h - 20 for h.
-4
Let o = -1 + 3. Suppose 4*v + 4 = -z, -o + 12 = 3*z + v. Suppose -4*n - 24 = -5*x, 0*x - z*x = 5*n - 11. Solve -x*j = -20 - 0 for j.
5
Let y be ((-15)/6 - -2)*-4. Solve -4*n = -y*n for n.
0
Let n(h) = h + 16. Let v be n(-11). Solve 10 = -3*z - v for z.
-5
Let o be (1/(-3))/(3/(-9)). Let f be 2/o + -4 - -6. Let c be f/(-16) - 2/(-8). Solve 0 = -c*u + 3*u - 9 for u.
3
Let b = -2 - -2. Suppose 5*r - 13 = 3*y, 4*r = y - 4*y + 32. Solve b = 2*n + 1 - r for n.
2
Suppose 2*q + 8 = 4*q. Suppose 4*s + f = -2*f + 16, q = s + 3*f. Suppose -a + 2*a = 4*r - 10, -s*a = -r - 20. Solve -y = a - 2 for y.
-4
Let x be (2 + -2)/(8 + -11). Solve d - 5*d - 20 = x for d.
-5
Let w = -274 + 278. Let s = 9 - 4. Suppose -4 = -4*q - 4*r, -2*r = -4*q - 0*r + 16. Solve s*b = q*b + w for b.
2
Let a(s) = -1 - s**2 + 0*s - 4*s + 6*s. Suppose 2 = 5*p + 2*i - 3, 3*p + 2*i - 3 = 0. Let b be a(p). Solve -2*w - 6 + 2 = b for w.
-2
Let l = -19 - -10. Let h = 66 + -92. Let s = l - h. Solve 3 = -4*i - s for i.
-5
Let s be 6/(-4)*2/(-3). Let x be s + 26 + (1 - 3). Solve -x = a - 6*a for a.
5
Let o = 1 + 2. Suppose z - o*z = 3*l - 104, l - 36 = -z. Solve -5*j - l + 7 = 0 for j.
-5
Suppose -q + 3 = -s, 2*s - 12 = 5*s - 4*q. Suppose 2*f = v + 4*v + 3, -5*f - 4*v + 57 = s. Solve 1 = 2*i - f for i.
5
Let d(n) be the first derivative of 3*n**2 - 5*n + 1. Let s be d(4). Solve -s = -4*f + 1 for f.
5
Suppose 4*g - 1 - 3 = 0. Let i = 4 + g. Solve -27 + 7 = -i*j for j.
4
Let p = 0 + 4. Let c = 4 - p. Suppose -q + 2*q - 2 = c. Solve 0*h + q*h = -4 for h.
-2
Suppose -1 = -2*j + 5. Suppose 2*b + 20 = 3*i, -4*i + 2*b + 35 = b. Solve -i = -j*z + z for z.
5
Let p = 25 + -36. Let k = -3 - p. Let c(o) = o**3 + 5*o**2 + 3*o - 2. Let t be c(-4). Solve t*z + 2 = -k for z.
-5
Let u be (6/4)/((-12)/16). Let m be (u/7)/((-1)/7). Solve -4 = o - m*o for o.
4
Let m be ((0/(-2))/3)/2 + 5. Solve -5*t = -m - 0 for t.
1
Suppose -15*a = -10*a + 4*n - 27, 0 = 4*a + 3*n - 21. Solve a*d = 8*d + 15 for d.
-3
Let q be (2 + -1)/((-11)/33). Let o(h) = h - 5. Let t be o(0). Let a = q - t. Solve -3*d = -a*d for d.
0
Let f = -10 + 35. Suppose 3*i = -2*i - 2*l + 34, 20 = 3*i + l. Suppose b = i*b - 20. Solve p = -b*p - f for p.
-5
Let y = -12 + 31. Suppose 8 = 3*j - y. Suppose 0 = 3*n - j - 0. Solve 2*k = -n*k - 15 for k.
-3
Let g = 3 + 2. Suppose -n = -g*n, 2*t - 3*n = 6. Solve 5 = k + t for k.
2
Let q = -137 - -145. Solve 0 = -15*w + 11*w - q for w.
-2
Suppose -3*q = -0*q - l - 11, 19 = 3*q + l. Solve q + 0 = -i for i.
-5
Let k be (-40)/(-2)*3/3. Let p be (-5)/(k/(-12)) - -2. Solve -27 + 2 = -p*j for j.
5
Let a = 9 + -5. Let t be 6/4*(-40)/(-12). Solve -t*z - a = -z for z.
-1
Suppose -d = 3*d - 20. Suppose -3*s - f = -2*f + d, -3*f + 15 = -2*s. Solve s*c = 4*c + 16 for c.
-4
Let y(f) = -f**2 + 5*f + 7. Let x be y(-5). Let a = x - -63. Solve -a = -3*z - 5 for z.
5
Let z = 28 + -13. Suppose 5*b - 2*b = z. Let y be (-2 - 1)*16/(-12). Solve y*m - b*m - 5 = 0 for m.
-5
Let u = 8 + -8. Suppose 7*n - 2*n = u. Solve n*r + 3 = r for r.
3
Let u(v) = v**2 - 7*v + 7. Let a be u(6). Let z = -2 + a. Let q = z + 1. Solve 5*y - 10 - 10 = q for y.
4
Suppose 0 = -y + 5*z - 12, 0 = -4*z + 17 - 5. Solve y*v = -2*v - 5 for v.
-1
Suppose -3 = -5*q + 17. Solve -10 = q*k + 6 for k.
-4
Let t = -11 + 19. Solve t + 12 = 4*m for m.
5
Suppose -3*l = -5*l + 16. Solve l*v = 3*v - 15 for v.
-3
Suppose 4*f = 5*y + 5*f - 20, 4*f = -4*y. Solve y*v - 12 = 3 for v.
3
Let j be (-6)/(-4) + 14/4. Suppose -2*f + j*f = 9. Solve f*o = 2*o + 2 for o.
2
Let w(v) = -3*v - 20. Let u be w(-10). Solve -2 - u = 3*i for i.
-4
Let o = 37 + -11. Let k = -15 + o. Solve k = 3*c - 4 for c.
5
Let z(o) = 3*o + 61. Let f be z(-19). Solve -f*v + 20 = -8*v for v.
-5
Suppose 3*u + 5*m + 0 - 20 = 0, 0 = u + 4*m - 9. Solve 0 = -0*x - 5*x - u for x.
-1
Suppose 0 = -5*n + d + 59, -3*n = d + 1 - 30. Solve -9 = 5*b + n for b.
-4
Suppose 3 = 3*r - 24. Let m be 4/3 + 6/r. Suppose k = m*k + h - 13, 0 = -3*k - 5*h + 35. Solve -2*f = f - k for f.
5
Let p(l) = -l**2 - 4*l + 5. Let f be p(-5). Suppose -2*i = 1 - 7. Let a be (0 + -2)/((-2)/i). Solve 0 = -f*r + r + a for r.
-3
Let s = 56 - 38. Suppose -s - 12 = -3*p. Solve -3*l + p = 2*l for l.
2
Suppose 0 = 2*r + r - 21. Suppose -g - r = -5*o, -6*g + 3*g = o - 11. Solve 0 = 2*d + g*d - 10 for d.
2
Let z = 20 + -15. Suppose 0 = a + 2*m - 16, -a - a + 33 = z*m. Solve 5*i + 6 = -a for i.
-4
Let u(k) = 3*k - 11. Let n be u(5). Solve -n*s = 1 + 3 for s.
-1
Let q(f) = -8*f**3 + 2*f**2 + 2*f + 1. Let x be q(-1). Suppose 0 = c - 3*k - 11, -c + x = -5*k - 8. Let z = -23 + 32. Solve 0 = -c*s - s + z for s.
3
Suppose 0 = -5*b - 5*p + 20, 0 = -2*b + p + 10 + 7. Solve -9 - b = -4*x for x.
4
Suppose -8*m + 13*m - 20 = 0. Solve -m*b = -5*b for b.
0
Suppose -7*q + 2*q = -3*l - 31, -5*l + 3*q = 25. Let o be 0 - (23 - (-3 - l)). Let f be ((-1)/(-3))/((-2)/o). Solve -y = f*y for y.
0
Suppose 2*k + 2*k - 16 = 0. Suppose -2*m + 2 = -k*o, -3*m + 3 = 4*o - 0. Solve 3*t + m = 4*t for t.
1
Suppose g = -4 + 7. Solve 0 - g = 3*a for a.
-1
Suppose 2*u - 3 = -u. Let l be (-3)/(-1) - u*-3. Solve l + 9 = -5*f for f.
-3
Suppose -d - 2*d = -3*z - 15, -4*z = 2*d + 32. Let s = z + 7. Suppose -4*x + 26 = 3*g, -2*g + s*x = 3*x - 18. Solve -r = -4*r + g for r.
2
Let q = 3 - 1. Suppose -4*a - w + 29 = 0, 5*a - 5*w = -0*w + 5. Let s = a + -4. Solve -r = -q - s for r.
4
Suppose 5*f - 4 = 26. Solve 3*m - f = -0 for m.
2
Suppose 0*d + 18 = 4*d + 2*t, -12 = -5*d + t. Solve 1 = 4*o - d for o.
1
Suppose -d - 3*b = -0*d + 3, 20 = -4*d - 4*b. Let t be 2*(-9)/d - 0. Suppose t*g = -g. Solve -k + 2*k - 1 = g for k.
1
Let r(f) = -8*f**3 + 2*f**2 + 12*f - 4. Let i(w) = -7*w**3 + w**2 + 11*w - 4. Let n(u) = 7*i(u) - 6*r(u). Let d be n(-6). Solve d*g + 2*g = 0 for g.
0
Let m(g) = 2*g**3 + g**2 + g. Let w be m(-1). Let c = w - -4. Solve 4 = -2*p + c for p.
-1
Let r = 0 - -13. Suppose 7 + r = 4*b. Solve 4*z = 3 + b for z.
2
Let n(u) = -2*u**3 + u**2 - u. Let y be 1 + (0 - -2) + -2. Let p be n(y). Let m be 2/p + (-16)/(-1). Solve -k = 2*k + m for k.
-5
Let g(f) = -2*f - 6. Let i be g(-5). Solve -5 = -o - i for o.
1
Let d(u) = -u + 6. Let n be ((-3)/12)/((-2)/16). Suppose 15 = 3*q + n*q. Let i be d(q). Solve 0*f = -f - i for f.
-3
Suppose 0 = 5*x - 7 - 3. Suppose 0 = -x*m + 9 - 3. Solve -6*o + m*o = 0 for o.
0
Let j be (3/2)/(21/(-28)). Let g be 1*(-3 + (-30)/j). Solve 0 = -3*v - 3 - g for v.
-5
Let h(y) = 4*y - 17. Let m be h(5). Solve 3 = -m*r + 12 for r.
3
Suppose -d - 5*y - 281 = 3*d, -3*y - 15 = 0. Let g be (15/4)/((-12)/d). Solve 8*p = 3*p + g for p.
4
Suppose q = -k, q = 2*q + 5*k - 12. Let z be (-8)/((-2 - q)*-2). Let u = z - -2. Solve 3*l + 15 = u*l for l.
5
Let w be (-1 + (3 - 1))*3. Let q(i) = i**2 + 9*i + 4. Let r be q(-8). Let d = 4 + r. Solve 0 = n - d - w for n.
3
Let l = -5 + 8. Let r be (6/(-10))/(l/(-15)). Let w = r - -3. Solve w*y = y for y.
0
Let w(b) be the first derivative of -b**4/4 + 2*b**3 + 7*b**2/2 + 3. Let p be w(7). Let d = p - 0. Solve 0*t + t + 5 = d for t.
-5
Let y be (-9)/(0 + 2/(-6)). Let j be (-32)/(-18) - (-6)/y. Solve 5*d - j - 8 = 0 for d.
2
Let w(x) = -4*x**3 - x**3 - 6*x**2 - x - 1 + 4*x**3. Let v be w(-6). Suppose 4*j + h = -0 + 2, -6 = -v*j - 3*h. Solve -2*t + 1 - 9 = j fo