et h(a) = a**2 - 6*a - 1. Let u be h(6). Let j be (u/2 - -1)*0. Let d = 0 + j. Solve 2*z - 6 = -d*z for z.
3
Let n(y) be the third derivative of -y**6/60 - y**5/60 + y**3/6 - 3*y**2. Let w be n(-1). Let f be 3*(1 + w/3). Solve 5*o - 4*o = -f for o.
-5
Suppose 0 = -10*u + 9*u. Solve -4 = -p - u for p.
4
Suppose 0*l = -3*l + 6. Solve l*w + w = 9 for w.
3
Let m(n) = n**2 - 2*n + 6. Let o be m(4). Let q be ((-35)/o)/((-2)/4). Solve 2*a + 3 = q for a.
1
Let x(v) = v**2 - 2*v + 2. Let n be x(3). Solve -m = -n*m for m.
0
Let i be (-1 + 5)/((-1)/(-2)). Let b = -3 + i. Solve 3*j - b = 1 for j.
2
Let i = 4 + -3. Let d = i + -1. Let y(x) = x**3 - 2*x**2 - 5*x + 3. Let p be y(4). Solve d = -0*q + 3*q + p for q.
-5
Let l be 28/8 - 3/(-6). Solve z - l + 1 = 0 for z.
3
Suppose -1 = -4*g + z, 4*g - g - 4*z - 4 = 0. Suppose 0*u = j - 2*u - 1, -j - u + 7 = g. Solve 4 = -d + j for d.
1
Suppose 6*j = 2*j + 3*l + 36, 2*l = j - 14. Solve v - 3*v - j = 0 for v.
-3
Suppose 0 = -10*p + 15*p - 5. Suppose 13 - p = 4*u. Solve -3*m = -0*m - u for m.
1
Let k = 1 - 1. Suppose -d = r - 2, -r + 26 = 5*d - k*r. Let j = -134 + 139. Solve j*c + d = 26 for c.
4
Let r be (-14)/(-4)*(-5 + 7). Solve -r = b - 2 for b.
-5
Suppose 5*f = 2*m - 0*f - 36, -40 = -4*m + 2*f. Suppose -6*d = -m*d + 10. Solve d*i = -6 - 19 for i.
-5
Let g be 3*(0 - -1) - 1. Solve p = g*p + 2 for p.
-2
Suppose -5*z + 18 = 4*b - 22, 13 = 5*b - 3*z. Suppose -5*u + 13 = -5*t + 3*t, 4*t = b*u - 11. Solve 2 = u*l - 1 for l.
1
Let c = 25 + -20. Let u = 6 + -4. Suppose 0 = -u*w + 3*w - 3. Solve -w*o - c - 10 = 0 for o.
-5
Let n(v) = 5*v + 2. Let o(q) = -q. Let t(r) = -n(r) - 6*o(r). Let k be t(5). Suppose -m + 2 = 2*b, 4 = -3*m - k*b + 13. Solve m = 3*z - 2*z for z.
4
Let u be (1 - (-2)/(-2))*3/6. Solve 2*o + 3*o - 25 = u for o.
5
Let n = 105 - 105. Solve 4*t - t + 12 = n for t.
-4
Let j(z) = -z**3 + 10*z**2 + 12*z - 9. Let b be j(11). Solve b = -3*c - 1 for c.
-1
Let o = 0 - 0. Let u be (-2)/(-4)*(0 - o). Let h be (-30)/(-7) - 4/14. Solve u = h*i - i for i.
0
Let r(o) = 2*o + 18. Let k be r(-8). Solve -s + k*s = -5 for s.
-5
Let x = -38 - -43. Solve 5*m = 25 - x for m.
4
Let n(l) = 1 + l - 1. Let k be n(0). Let i(q) = q**2 - q + 11. Let y be i(k). Solve y - 31 = 5*v for v.
-4
Let f = 144 + -141. Solve 5*s - 6 = f*s for s.
3
Suppose -2*c = -5*c. Let v = -26 + 16. Let i = v + 12. Solve c = -i*x + 1 + 5 for x.
3
Let b = -3 + 7. Suppose b*j = 2*j. Solve 1 = -s - j for s.
-1
Let k be 6/15*(3 + 2). Suppose -k*s + 20 = 3*s. Solve h - 1 = -s for h.
-3
Let i(x) = x**2 + 2. Let d be i(0). Let y(r) = 2*r + 2. Let b be y(-2). Let h = d + b. Solve h*f - 4 = -f for f.
4
Let n be (-18)/24*(-60)/9. Solve -n = 2*f - 15 for f.
5
Suppose -5*z + z - 3*b = -48, -5*z = -4*b - 60. Suppose 7*d + 1 = 29. Solve d = -2*r + z for r.
4
Suppose 2*t - 50 = -0*t. Suppose -m + 3*m = 0, 0 = -5*d + 3*m + t. Solve -1 = -d*q - 6 for q.
-1
Let g be 2/(-4)*0/(-3). Solve g*f - 10 = 2*f for f.
-5
Let a = -2 + 2. Let w = 4 - a. Solve 0 = 2*h + 2*h + w for h.
-1
Let m = 14 + -10. Suppose 2*g + m*n - 5 - 3 = 0, 5*n - 10 = 0. Suppose 4*b + 12 = 0, -24 = -g*t - 3*t + 5*b. Solve -t*a = 2*a for a.
0
Let v(u) be the third derivative of -u**4/8 + u**3/6 - 2*u**2. Let b be v(6). Let t = b - -25. Solve -k - k = -t for k.
4
Let n be 0*(-4)/12 - 11. Let s = n - -11. Solve s = -k - k + 10 for k.
5
Let p = -9 + -31. Let n be ((-2)/(-4))/((-5)/p). Solve q + 5 = -n*q for q.
-1
Let a(g) = g - 1. Let i be a(1). Suppose 4*j - j = i. Let q = j + 4. Solve 4*f + 4 + q = 0 for f.
-2
Suppose 0 = -c - 3*c + 16. Let z be (10/8)/(c/16). Suppose -2*n = -3*f - 10, z*n = f - 8 + 33. Solve -1 - 4 = n*s for s.
-1
Let a = -55 + 55. Solve -q = -a*q + 2 for q.
-2
Suppose 4 = -4*r + 24. Suppose -2*l + r = c - 6*c, -c - 1 = -l. Solve 2*b - 6 = -l for b.
3
Suppose 3*x + 4 = -t - x, -12 = -2*t + 2*x. Solve -t*c - 3 = 5 for c.
-2
Let s = -1 - -5. Suppose -9 = -0*q - 3*q, s*q = 3*y + 6. Let k = 5 - y. Solve -l = k*l + 20 for l.
-5
Let f be 8/4*3/6 + 2. Solve -2*d - f = 5 for d.
-4
Let c be 2/6 - (-5)/3. Let n be (3/c)/(6/8). Let m = n + -2. Solve m*x - 3*x = 0 for x.
0
Suppose -5*a = 4*d - 8, -4*a = -3*a - d + 2. Solve -2*x = -a - 10 for x.
5
Let r(p) = p**3 + 4*p**2 - 7*p - 5. Let o be r(-5). Suppose -4*h - 3*c + 24 = 0, h + o*c - 2 - 21 = 0. Solve 2*b - h*b - 1 = 0 for b.
-1
Let f = -2 + 2. Suppose -3*x = 12, f*x + 2*x + 2 = s. Let q be 4/(-6)*s*1. Solve 3*i + q = -i for i.
-1
Suppose -3 = 5*c - 13. Solve 0 = c*v + 2*v - 16 for v.
4
Suppose i + 2*i = 6. Solve -i - 4 = -2*y for y.
3
Let m be 9/6*(-8)/(-3). Let s = 5 - m. Let u(z) = z**2 + 1. Let d be u(s). Solve 0*l = -d*l + 8 for l.
4
Let c = -4 + 7. Suppose 23*d - 4 = 21*d. Suppose c*s - f - 28 = 0, 0 = -6*s + 2*s - d*f + 24. Solve 0 = 5*y + 7 + s for y.
-3
Let x = 9 + -9. Solve -2*m + 2 = -x*m for m.
1
Let b = 9 + -6. Let y = 3 - b. Solve -2*v - v + 3 = y for v.
1
Let x = -34 - -38. Solve 6 = -2*g + x for g.
-1
Suppose f - 1 = -2*b + 5, 0 = 4*b - 4*f - 36. Solve 4 = y + b for y.
-1
Let a = -1 + -7. Let h be (a - -5) + 0 + -2. Let b = 15 + h. Solve -3*m - b = 2*m for m.
-2
Suppose 0 = 5*w - h - 32, w = -4*h - 2 - 0. Suppose 2*m = -2*y + 5 - 3, -m = -4*y - w. Let u(l) = -l**2 - 6*l - 2. Let r be u(-5). Solve -v = -r*v - m for v.
-1
Suppose -4 = b, -4*b = -c - b + 16. Suppose -6 = -3*t - c*h + 28, -h = -3*t + 14. Solve 0 = -f + t - 1 for f.
5
Let f(j) = 11*j**3 + 2*j - 1. Let h be f(1). Let k be (-3)/(-9)*h*1. Suppose 0 = -0*q - k*q, -y + 5 = -5*q. Solve 0*i - y*i + 20 = 0 for i.
4
Let n(a) = a**2 - 14*a + 20. Let k be n(8). Let g = k + 30. Suppose i = -0*i + 6. Solve -i = -g*l - 16 for l.
-5
Suppose 2*i = 2*k - 2*i, 0 = 5*k + i. Solve -2 = b - k for b.
-2
Suppose 12 - 2 = 5*g. Solve 4 - g = 2*k for k.
1
Let u = -9 - -15. Solve b - u*b - 5 = 0 for b.
-1
Let z = 23 - -2. Solve i = -4*i - z for i.
-5
Let p(u) = 3 + 3*u**2 - 4*u**2 + 9*u - 2*u. Let n be p(7). Solve -v - 2 = -n for v.
1
Let a = 5 + -2. Solve -m = -5 + a for m.
2
Suppose 4*h - 16 = 2*o - 0, o + 16 = 4*h. Solve o*r - r - 5 = 0 for r.
-5
Suppose -2*m = -4*w, 4*w - 5*m = -0*w. Solve 0 = 4*t - 16 - w for t.
4
Let s(u) = -5*u + 37. Let c be s(7). Let p(l) = -l**3 + l**2 - l + 4. Let q be p(0). Solve -2 - c = -q*d for d.
1
Suppose -9 = -k - 7. Solve -k*r - 20 = 3*r for r.
-4
Let v = -31 + 33. Solve v*b + 10 = 12 for b.
1
Let k(v) = 6*v**3 - v**2 - 4*v + 9. Let c(w) = -5*w**3 + 3*w - 8. Let o(s) = 5*c(s) + 4*k(s). Let f be o(-4). Solve f = -h - h for h.
0
Let d(m) = -m**3 + 17*m**2 - 16*m + 6. Let t be d(16). Solve -g - 5 = -t for g.
1
Let u(k) = -2*k. Let l be u(-1). Suppose -l*y + 1 = -3. Suppose 8 = 2*q - y. Solve 0 = q*b - 0*b + 20 for b.
-4
Let m(c) = c - 1. Let x be m(6). Let b(l) = -l**3 + 5*l**2 + 3*l - 7. Let t be b(x). Suppose k - 3 = t. Solve 3*w = k + 1 for w.
4
Suppose 2*p + 0*q - 12 = -2*q, 28 = 5*p + 4*q. Suppose -w = -p*w. Let d = 22 - 17. Solve -d*g = -w*g for g.
0
Let b(o) = 5*o - 28. Let l be b(6). Solve -l*y + 4 + 4 = 0 for y.
4
Let x(j) = -j**3 - 5*j**2 + 5*j - 5. Let i be x(-6). Solve -n - i = -0*n for n.
-1
Let t(a) = a**2 + 5*a - 5. Let p = -2 + 7. Suppose 5*s - q = -9 - 26, -s - 7 = p*q. Let c be t(s). Solve -3*z = -0*z - c for z.
3
Suppose 92 = 2*k + 2*b, 3*k - k - 2*b - 108 = 0. Suppose -2*g - 3*g = -k. Let c(v) = v - 8. Let j be c(g). Solve j + 0 = -a for a.
-2
Let c(u) = u + 10. Let g be c(-6). Let p be (3 - 1) + 2/1. Suppose p*x + z = 1, 5*x + 3 + 2 = 5*z. Solve x*t = g*t - 12 for t.
3
Let b = 133 + -127. Let a(c) = -4*c - 1. Let u be a(-1). Suppose m + u*m - 24 = 0. Solve 4*l + m = -b for l.
-3
Suppose 5*q - 3*y + 6 = 0, -3*y + 6 = 4*q - q. Solve 5*x - 3*x = q for x.
0
Suppose 10 = 2*t - 16. Suppose -2*w = -2*l + 3 + 1, 2*l = -w + t. Suppose 4*n - l = 3*n. Solve p - n = 2*p for p.
-5
Let d be (-3)/2*(-204)/9. Let k = 50 - d. Solve 0*p = -4*p - k for p.
-4
Suppose 4*m = -5*p - 11, m + 0 = -4. Solve 0 = -4*s - p - 7 for s.
-2
Let q(g) = 4*g**2 - 4. Let i be q(-5). Suppose 6*m + 0*m = i. Solve 9 + m = 5*w for w.
5
Let k = -17 + 11. Let x be (3/k)/(1/(-10)). Suppose 4*m - 13 = -5*z + x*m, -18 = -4*z - 3*m. Solve -v = -z*v - 8 for v.
-4
Suppose 5*x - 9 = 2*x. Solve 4*q + x = q for q.
-1
Suppose -n + 5*n = 12. Suppose 0*y - 7 = -3*y - 4*i, -n*i - 11 = -y. Let g b