e 2*(15/(-2))/(-1). Solve 0*a + c*a + g = 0 for a.
-3
Let h be (-4)/(-10) + (-69)/(-15). Suppose -4*l + 2*d + 12 = 0, d - 1 - 28 = -h*l. Solve 0*n + l = -5*n for n.
-1
Let x(v) = -2*v**3 - 2*v**2 + 3*v + 3. Let l be x(-2). Suppose 0 = -9*m + 4*m + l. Solve 4*y + 9 = m for y.
-2
Let m be 18/(-72) + 17/4 + 2. Solve m + 9 = -3*r for r.
-5
Let i be (-1 + 16 + -3)*-1. Let u = i + 15. Solve 17 - 2 = u*p for p.
5
Let d(i) = -i**2 + 6*i - 2. Let z be d(5). Let w = -1 + 5. Solve -w*k = z + 9 for k.
-3
Suppose 4*i + 0*i = -2*w + 16, -5*i = w - 23. Solve -3 = -o - i for o.
-2
Let t(q) = -q**2 + 7*q + 1. Let s be t(6). Let o = -4 - -7. Solve -s - 2 = o*u for u.
-3
Let n = -16 - -16. Solve n*z + z = 2 for z.
2
Let u(b) = -6*b**2 + b**3 + 4*b**3 + 4 - 7*b - b**3 - 3*b**3. Let m be u(7). Solve 3*l = 5*l - m for l.
2
Let s = 5 + 0. Suppose -2*h = h - 3. Suppose z + h = s. Solve -w + 5 = z*w for w.
1
Suppose -5*b - 9 = 2*g, -5*b = 17 - 2. Let l be 8/(-12) - (-8)/g. Suppose 0 = -5*c + 4*t + t - 10, 3*c = l*t - 4. Solve -v = -c*v - 1 for v.
1
Let o(p) = 3*p - 7. Let v be o(5). Suppose 0 = -5*y + 42 + v. Let q(c) = -c**2 + 10*c + 102. Let h be q(16). Solve 0 = -h*t + 4*t - y for t.
-5
Let p be (-3)/(-12) - (-33)/12. Suppose -19 = -5*f - g, p*g = f - 0*g + 9. Solve f*m = m for m.
0
Let x(s) = -s + 10. Let k be x(0). Let l = k - 6. Suppose 5*c + 2*w = 40, -c + 5*w + 1 - 20 = 0. Solve -l = -5*f + c for f.
2
Let c(b) = b**2 + 10*b + 12. Let z be c(-9). Let j be 16/7 + 10/(-35). Solve z*r = j*r - 4 for r.
-4
Let g = 36 + -30. Solve 0 = -2*l + g*l - 12 for l.
3
Suppose 6 - 16 = -5*y. Solve 0*x - 2 = y*x for x.
-1
Suppose 2*a - 16 = -o - a, 28 = 2*o + 5*a. Solve 3*q = o*q for q.
0
Suppose -4*k - 5*f + 55 = -0*f, 4*k = 2*f + 34. Let y = k - 6. Let o be (2/(-3))/(6/(-99)). Solve -5*b - o = y for b.
-3
Let x = -27 - -27. Solve x = -5*a + 19 + 6 for a.
5
Let a = 56 - 49. Solve -a*b + 15 = -4*b for b.
5
Suppose 2*d = -5*d + 28. Suppose -45 = -3*i - 0*i. Suppose -2*k = -5*k + i. Solve -3*n + d*n = k for n.
5
Let l = -19 + 34. Solve -3*y + 0*y - l = 0 for y.
-5
Let n = -65 + 43. Let w = -18 - n. Solve 5 = w*p - 3 for p.
2
Suppose -c + 2*c = 0. Suppose -5*t + 13 - 3 = c. Solve t*m = -m for m.
0
Let u(o) = o**2 + 2*o + 4. Let z be u(-2). Solve b = 5*b - z for b.
1
Suppose -9 = 2*h - 21. Suppose -t = -0*t - h. Solve -4*r + t = 22 for r.
-4
Let i(j) = j**3 - 2*j**2 - 4*j + 3. Let h be i(3). Let l = 2 - 2. Solve h = -l*a - 2*a - 6 for a.
-3
Let r = 5 - 4. Solve 0 = -n + 6 - r for n.
5
Suppose -4*m + 10 = -2*n, 7*m = 4*m - 2*n + 25. Solve x + 8 = m*x for x.
2
Let k = 5 + 2. Suppose -46 = -5*j - 3*w, -3*j + 2*w + 21 - 1 = 0. Solve -k*f - j = -3*f for f.
-2
Let i(k) = 2*k**2 - 5*k + 5. Let r be i(1). Let p(t) = t**3 + t**2 + t + 3. Let a be p(0). Solve a*o = r*o for o.
0
Let v(d) = d**3 + 12*d**2 - d - 2. Let a be v(-12). Solve -4*w - a = -6*w for w.
5
Suppose -j + 4 = 3*l - 10, 2*l = 5*j - 19. Suppose l*u + 5 = 20. Solve -4*b + u*b - 4 = 0 for b.
4
Suppose 3 + 1 = 4*a. Let g be 3 + 0 + -2 + a. Suppose 4*i - g = j - 0*j, 0 = 4*i - 12. Solve 6 = -4*b - j for b.
-4
Let o = 50 + -46. Solve o*g = -0*g + 20 for g.
5
Suppose -10 = 55*f - 56*f. Let p = 6 - 3. Solve r = p*r - f for r.
5
Let y(p) = p**3 + 2*p**2 - 11*p - 17*p**2 + 0*p**3 - 6*p + 20. Let f be y(16). Solve -3*k + 1 = f for k.
-1
Let m be ((-5)/15)/((-3)/54). Solve 3*l = -0 + m for l.
2
Let k be (-10)/(-75) + 317/(-15). Let a = -17 - k. Solve -a*t = -7*t + 6 for t.
2
Let p be ((-2)/(-2))/((-4)/60). Let g(q) = -2*q**2 + 8*q + 4. Let v be g(7). Let o = p - v. Solve -5*n = o - 8 for n.
-3
Suppose 2*b + 11 = 3. Let c = 4 + b. Solve -1 = -c*j - j for j.
1
Suppose -s - 5 = -b, 6 = -3*s + 3. Solve 11 = -5*c - b for c.
-3
Suppose 1 = 3*q - 5*f - 0, -9 = -3*q + 3*f. Suppose -3*g + q = -68. Solve -g = 3*c - 8*c for c.
5
Suppose -m - 4*x = -54, 3*x - 7*x + 92 = 2*m. Let w = m - 9. Suppose -4 = -4*j + 4*o - 0, -5*j + w = o. Solve 0*b = 5*b + j for b.
-1
Let i = -11 - -20. Solve -i = -2*s - s for s.
3
Let r = 13 - 2. Suppose 2 = -3*n + 14. Suppose -n*i = -19 - 1. Solve i*v = 9 + r for v.
4
Suppose 69 = 5*z + 2*o + o, 2*z - 3*o = 36. Suppose 0 = v - x + 6*x + z, -2*x = 3*v - 7. Solve v*g = -4 - 6 for g.
-2
Suppose -3*t - 6 = -5*q, 2*q - 12 = -5*t + 9. Solve 16 = t*j + 4 for j.
4
Suppose -n + 5 = l, -3*l - n + 4*n = 3. Solve 0 = -4*u + l*u + 4 for u.
2
Let i = 7 - -2. Let x = 15 - i. Solve -b = -x*b + 5 for b.
1
Let t(p) = 2*p - 3. Let j be t(4). Let v(k) = -4*k - 7. Let c(b) = 3*b + 7. Let d(o) = 5*c(o) + 4*v(o). Let u be d(5). Solve -7*a + u*a = -j for a.
1
Let n be 6/(-8) - 2/8. Let m = 3 - n. Suppose -5*i + 4*i + 2 = -2*a, -m*i = 2*a + 2. Solve 4*v = -i*v + 12 for v.
3
Let v = -4 + -3. Let a = -7 - v. Suppose -2*u + u = a. Solve -3*x - 12 + u = 0 for x.
-4
Let t = 43 + -37. Solve 2*n + 0*n - t = 0 for n.
3
Suppose 2*f = -0*f + 56. Let v = -43 - -46. Solve -v = -5*n - f for n.
-5
Let a(h) = -6*h + 3. Let j be a(7). Let k = -18 - j. Solve k = 4*g + 5 for g.
4
Suppose 3*a - a = 20. Solve 0 = -5*q + 10 + a for q.
4
Suppose 3*x = 5*h + 12, 3*h - 2*x = -9 + 1. Solve s - 6*s = h for s.
0
Let o = 19 + -15. Solve 2*u - o*u = 10 for u.
-5
Let a(r) = r**2 + 8*r + 5. Let m be a(-8). Let g(k) = 3*k**2 + k + 2. Let p be g(0). Solve -p*w - 12 = -m*w for w.
4
Let t(d) = d**2 - d. Let v(i) = -2*i**2 + 7*i + 1. Let h(y) = 6*t(y) + v(y). Let n be h(-2). Solve -n = 3*k + 2*k for k.
-3
Suppose 4*h - 20 = -0*h. Suppose 0 = 5*n + 1 - 11. Solve h = -3*k + n for k.
-1
Let y(o) = -3*o**2 - 5*o - 4. Let q be y(-4). Let c = -13 - q. Solve 0 = -3*z + c - 4 for z.
5
Let c(f) = 5*f - 33. Let t be c(7). Solve b - t = -0 for b.
2
Suppose -4*k - k = -10. Let n = -7 + 9. Suppose 2 = -n*y, h + k*y = -1 + 4. Solve -b + 2 - h = 0 for b.
-3
Let m be (0 - 0)/(3/(-3)). Suppose c + 5*v = m, c + v - 5*v = 0. Solve c = -0*y - 4*y for y.
0
Suppose 5*y = y + 3*y. Solve j - 3*j - 2 = y for j.
-1
Suppose 3*l - 8*l - 25 = 0. Let f = l - -5. Solve f = -3*u - 0*u + 3 for u.
1
Suppose -8 = 7*k + 13. Suppose 2*c + 4*i - 26 = 0, -3*i + 37 = -3*c + 7*c. Let m = c - k. Solve -m = -0*z - 5*z for z.
2
Let j(v) = -16*v - 79. Let d(y) = 3*y + 16. Let t(o) = 11*d(o) + 2*j(o). Let f be t(-16). Solve 0 = -f*m - 6 for m.
-3
Let q = 22 + -16. Suppose 5*v + 2*o - 12 = q*o, -3*o - 9 = -v. Solve v = c + 3*c for c.
0
Suppose -6*m = -3 - 9. Solve m*o - 7*o = 0 for o.
0
Suppose 3*v = -v + 5*f + 65, -f = 4*v - 83. Suppose 4*r + 8 = 28. Solve -z + r*z = v for z.
5
Suppose -9 = -7*b + 5. Solve b = -p + 3*p for p.
1
Let t be (1 + 2 + -1)/(-2). Let i be t/((-1)/(-2 - -6)). Solve 5 = i*f + f for f.
1
Let h(v) = -v**2 - 4*v - 2. Let s be h(-2). Suppose -10 = -s*a + 5*g, -4*a - 4*g + 20 = -2*g. Solve d - a*d + 8 = 0 for d.
2
Let i(y) be the second derivative of y**5/20 + 5*y**4/12 - 3*y**2/2 - 2*y. Let x be i(-5). Let d = -3 - x. Solve d = b - 3 - 2 for b.
5
Let p(g) be the second derivative of -g**5/20 + g**4/2 + 4*g**3/3 - 3*g**2/2 - 12*g. Let w = 3 - -4. Let n be p(w). Solve -14 = n*y - 2 for y.
-3
Suppose 6 = b + 4. Suppose -3*o + 4 - 13 = 0. Let k be (-1)/(2/o)*2. Solve b*t + k = t for t.
-3
Suppose 5*l - 4*l - 74 = 0. Let s = l - 45. Suppose 5*v + s = -3*j + 89, -5*j + v + 100 = 0. Solve j = g + 3*g for g.
5
Let q be (-6)/(-4)*544/24. Let v be 17/q - 2/4. Solve l - 3*l + 2 = v for l.
1
Suppose -4*t + 46 = 6. Let m = 30 + -12. Let z be 24/m - 2/(-3). Solve z*c - 4*c = t for c.
-5
Let c(s) = s**2 + 3*s - 7. Let a be c(-5). Suppose 6 = -o - o. Let v(n) = n**3 + 3*n**2 - n + 1. Let l be v(o). Solve l*z = 3*z + a for z.
3
Suppose -5*w + 15 = -4*q - 10*w, -4*q + 4*w = -12. Suppose -h + 6 - 4 = q. Solve 3*z - z + h = 0 for z.
-1
Let r = -40 - -19. Let g(s) = -4*s**2 - 3*s - 3. Let a be g(-2). Let k = a - r. Solve -k = 5*u - 3 for u.
-1
Suppose -3*r + 8 = -5*v + 19, -5*r = -4*v + 1. Suppose -2 + 12 = -5*l, -27 = -5*j - v*l. Solve 0 = -j*a + 2*a for a.
0
Let z = -9 + 5. Let d be 70/30 + z/(-6). Suppose -3*c - w + 10 - d = 0, 3*c - 5*w = 19. Solve -8*u + 15 = -c*u for u.
3
Let g(s) be the second derivative of 1/3*s**3 + 1/4*s**4 + 0 + 1/20*s**5 + s + 1/2*s**2. Let x be g(-1). Solve 4*a = -3 - x for a.
-1
Let c = -5 + 5. Suppose -q + 4 = -2*i, i - 3*q + c*q = -12. Solve p - 4*p + 12 = i for p.
4
Let x be (2 - 2) + 3 +