pose -h - 3 = 5*d - 0*h, 4*h = -5*d - 12. Suppose 0 = 3*z - d*z. Solve -v = -z*v for v.
0
Let x(i) be the second derivative of -i**3/6 - 2*i**2 - 6*i. Let d be x(-5). Solve 0 = 3*g + 5 + d for g.
-2
Let o = -24 - -28. Solve 5 = -v - o*v for v.
-1
Let u be 2*(0 - (-1 - 0)). Suppose 0 = -u*z + 20 - 6. Let n be (4/z)/((-4)/(-14)). Solve -n*y = -3*y - 2 for y.
-2
Let f(m) = m**3 + 4*m**2 + 3*m + 1. Let a be f(-2). Solve -2*z + a*z = 0 for z.
0
Suppose t = -t + 6. Solve t*o + 4 = o for o.
-2
Let v(l) = 6*l**3 - 2*l**2 + 2*l - 1. Suppose -t + 3*t = -14. Let u be 4/(-10) + t/(-5). Let n be v(u). Solve -n*k + 2 - 22 = 0 for k.
-4
Let f = 15 - 14. Solve 1 = 2*v - f for v.
1
Let w be (5 - 6)*(-4 + 1). Suppose 5*p - 12 = w. Let s be 2/(-6) - (-1)/p. Solve s = 2*m + 3 + 1 for m.
-2
Suppose 0 = 2*b - 0*b. Solve b = w + 2*w - 9 for w.
3
Let d(c) = -c**3 - 2*c**2 + 2*c + 3. Let b be d(-3). Solve -5 = -u + b*u for u.
-1
Let r(s) = 2*s + 10. Let n be r(-6). Let y(i) = 4*i**2 + i - 2. Let g be y(n). Solve -2*x = -6*x + g for x.
3
Let w = 9 + -13. Let r = -2 - w. Suppose -18 = -5*j - 3. Solve j*l + 5 = r for l.
-1
Let q be -3 - (-18 - (-2 - 1)). Solve d - q = 5*d for d.
-3
Suppose 5*v + 4*h = 1, 4*v - 5*h + 6 - 15 = 0. Let f(w) be the third derivative of w**4/24 - 2*w**3/3 - 2*w**2. Let p be f(4). Solve p*y = y + v for y.
-1
Suppose 3*l - 5*j - 3 = 8, 4*j + 14 = 5*l. Let q be l/9 - 183/(-27). Suppose 0 = -4*k + 17 - 9. Solve -k*r = -q*r - 20 for r.
-4
Suppose -s + 0*s = 0. Let i(f) = -1 + 4*f + 18 - 3*f. Let u be i(-8). Solve -3*l + s*l = -u for l.
3
Let v(b) = -b**3 - 5*b**2 - 2*b - 1. Let a be v(-5). Suppose -5*d + 3*d - x = -a, -5*d - 2*x = -22. Solve -d + 8 = -p for p.
-4
Let b = 127 - 125. Solve -2*c + 8 - b = 0 for c.
3
Suppose -d = -4*d. Suppose d = -5*n + 9 + 1. Solve 4*b - n*b = 0 for b.
0
Suppose -4*v + v + s + 10 = 0, 5*v - 13 = -2*s. Let i = -7 - -10. Let k(g) = -g + 6. Let w be k(0). Solve -w = -i*m - v for m.
1
Let t be 1 + 1 - (2 - 2). Let m be 2 + 1/((-1)/4). Let c be (-4)/(16/10)*m. Solve t*l - c*l = -6 for l.
2
Let y be 2*-2*1/(-2). Let p be (-1 - -2)/(-1*(-4)/16). Suppose -13 = -y*a - f, -a = p*a + 4*f - 37. Solve -a*n = -n + 20 for n.
-5
Let q = 4 + -8. Let c = q + 7. Suppose -c*v + 2*v = 0. Solve 2*d + 2*d = v for d.
0
Let k(o) = -o**3 + 9*o**2 + 7. Let w be k(9). Let c = w + -5. Solve -3*j + c - 5 = 0 for j.
-1
Let d(s) = s**3 + 9*s**2 + s + 12. Suppose 0 = -4*a + 18 + 2. Suppose 4*p + a*w + 63 - 2 = 0, -3*w = -2*p - 3. Let k be d(p). Solve -3*o = -6 + k for o.
1
Suppose 0 = -2*y + 1 + 5. Solve -y*x - x = 0 for x.
0
Suppose -5*p + 12 = -3*p. Let h = 5 - p. Let d(m) = 5*m**2 + 1. Let w be d(h). Solve -5*o + 4 = -w for o.
2
Suppose -11 = -5*u + 2*n - 3, 1 = 3*u - 5*n. Solve -7*w + u*w - 15 = 0 for w.
-3
Let w be (-111)/(-12) - (-1)/(-4). Let d(t) = 2*t - 1. Let z be d(-4). Let k be (-3)/(-6) + z/(-6). Solve 0 = -a - k*a - w for a.
-3
Let l(k) be the first derivative of -7*k**2 - k + 1. Let z be l(-1). Suppose 0 = 4*i + 1 - z. Solve -5 = i*a - 2 for a.
-1
Suppose 4*f = 4*t + 16, -2*t + 8 = 3*f - 4. Let y = 9 - 6. Solve -v - y + 1 = t for v.
-2
Let n be (-2 + (-12)/(-5))*5. Solve 5*a = 3 + n for a.
1
Suppose w - 3*s - 2*s = -21, -w = -4*s + 16. Let x be -42 - (4/(-2) + 2). Let n be 3/(-15) - x/10. Solve -w*u - n = -0*u for u.
-1
Let z = -3 - -3. Let p be 12/(-80)*-28 + (-2)/10. Solve -k + p = -z*k for k.
4
Suppose 4*u - 3*u - 3 = 0. Let n = 6 - 3. Suppose -18 = -u*s - n. Solve -2 = -x - s for x.
-3
Let d = 11 + -6. Suppose -1 = -2*c + d. Solve c*y + 0 + 6 = 0 for y.
-2
Let a = 14 - 20. Let n be (-24)/9*a/8. Solve -5*i = -n*i for i.
0
Suppose x = 5*v + 23, -x + 2*v + 25 = -1. Suppose 4*i - 10 = 3*s, -5*s + 26 = i + 3*i. Suppose s*t + 4 = x. Solve 3*u + u = t for u.
3
Let m(s) = -15*s - 7. Let a be m(-2). Let q = -20 + a. Solve -q*l - 10 = -5*l for l.
5
Let y = -4 + 5. Solve -4*t - 7 = y for t.
-2
Let i = 10 - 5. Suppose -4*q = -i*n - 3*q + 28, -3*q + 11 = 4*n. Solve 8 + 17 = -n*j for j.
-5
Suppose -3*v = -2*v + 6. Let o(t) = t**2 + 6*t + 4. Let z be o(v). Solve -c = z*c + 25 for c.
-5
Suppose -5*y - 4*k - 47 = 0, -5*y = -3*k + k + 29. Let l = 9 + y. Solve 2 = l*b - 8 for b.
5
Let t be 7 + (-12)/8 + 1/2. Solve 4 - t = -2*r for r.
1
Let k(t) = -2*t**3 + 9. Let z(j) = -j**3 + 8. Let y(c) = -2*k(c) + 3*z(c). Let l be y(0). Solve 3*u - l*u = 6 for u.
-2
Let t = 11 + -9. Suppose 0*c = -c + t. Solve 0 = -r + c*r - 3 for r.
3
Let l(t) = 6*t**3 + t + 8. Let k(m) = -7*m**3 - 2*m - 9. Let w(n) = 5*k(n) + 6*l(n). Let i be w(2). Suppose 0 = -2*f + 3*f - 4. Solve i*z = -z - f for z.
-1
Let x be ((-2 + 2)/(-3))/(-2). Let v(d) = -d + 2. Let a be v(x). Solve -a*h = -3*h + 4 for h.
4
Let i(r) = -2*r - 2. Let g be i(-3). Let b(m) be the first derivative of m**3/3 - 5*m - 1. Let a be b(5). Solve t - a = -g*t for t.
4
Let n(r) = 16*r + 2. Let h be n(4). Let z = h - 41. Solve 0 = 5*f - z for f.
5
Suppose -3*q = 2*t + 3*t - 34, 4*t - 4*q = 8. Let y be 14/4 - (-6)/12. Solve -y = t*z + 1 for z.
-1
Suppose 2*b + 0 - 2 = 0. Suppose -r = -5*n + r, -4*r + 28 = 4*n. Let o = n - -7. Solve -2*l = o + b for l.
-5
Suppose 4 = 4*i - 12. Suppose o - 4*z = 16, -5*z + 3*z = 2. Let g(y) = -3*y + 27. Let f be g(9). Solve -d + i*d - o = f for d.
4
Suppose 0 = 2*m - 0*m - 12. Solve -m*b + b = -5 for b.
1
Let v(u) = u**3 + u**2 + u + 3. Suppose 0 = -r - 0*r. Let y be v(r). Let g(n) = n**2 + 3*n - 2. Let x be g(-4). Solve x*z = -z - y for z.
-1
Let s(j) be the first derivative of j**5/60 + j**4/4 - j**3 + j**2 + 1. Let r(k) be the second derivative of s(k). Let m be r(-8). Solve 5*a = -0*a + m for a.
2
Let s(o) = o**3 - 4*o**2 + 6*o - 6. Let f be s(4). Let r(h) = h**2 - h - 1. Let x be r(-2). Solve x*c + f = 8 for c.
-2
Suppose -48 = -5*q - 8. Let o = -3 + 5. Suppose 0 = -4*y - t + 12, -o*y + 0*y + 8 = t. Solve -y = 3*b - q for b.
2
Let k = 64 - 61. Solve -p = k - 0 for p.
-3
Let g(z) = 2*z**2 - 4*z - 2. Let y be g(-4). Suppose -5*x = -29 - y. Solve -2*r - r = -x for r.
5
Suppose 0 = -2*p - p, -4*m + 5*p + 32 = 0. Let s be 108/48 + (-2)/m. Solve 0 = -u + s - 1 for u.
1
Let m(q) = -q**3 - 13*q**2 - 12*q + 6. Let k be m(-12). Solve 0 = -2*y - 4 - k for y.
-5
Let h = -6 + 5. Let g be (-1)/((-3)/(h + 13)). Solve g*p - 5 = 11 for p.
4
Let p be -10*(1 - -12*(-6)/40). Solve 0 = 5*d + p - 23 for d.
3
Let i = -33 + 37. Let t be 2/6 + 1/(-3). Solve i*z + 4 = -t for z.
-1
Suppose -23 + 3 = -5*w. Solve 1 = w*x - 7 for x.
2
Let n(x) = -x**3 + 12*x**2 + 14*x - 8. Let v be n(13). Suppose v*p - 3*w + w - 39 = 0, -13 = -3*p - 4*w. Solve -2*a - 3 = p for a.
-5
Suppose -4*g - 16 = 4*j, 5*j - 2*g - g - 20 = 0. Let n be (2/(-2))/(j/(-10)). Let u = n - 3. Solve 0 = 5*w - 8 - u for w.
3
Let v be (-3)/(3/(2 + -5)). Let k be 2*((v - 1) + 0). Suppose 2*r + 30 = k*r. Solve -5*t - r = -5 for t.
-2
Let l = -11 - -11. Solve 3*b + 15 = -l*b for b.
-5
Suppose -2*l + 13 - 1 = 0. Suppose l*d - 15 = d. Suppose 6*x = d*x + 12. Solve 1 = -x*m - 19 for m.
-5
Let u(k) = -2*k + 26. Let a be u(9). Solve a = -4*y - 0*y for y.
-2
Let u be -2 - (-11)/4 - (-105)/84. Suppose 4*o - 67 = d + 8, 4*o - 90 = -2*d. Solve -o = -u*j - 3*j for j.
4
Let b(z) = -z**3 + 6*z**2 + 8*z + 9. Let q(i) = 6*i**2 - 2*i - 1. Let l be q(-1). Suppose h + 0*h = l. Let r be b(h). Solve -5*u = 9 + r for u.
-5
Let v be 6 + -7 - -4*1. Solve 0*i = v*i + 9 for i.
-3
Let p be 12 + 0 + (1 - 3). Let g = p + -8. Solve d = g*d + 1 for d.
-1
Suppose -4*m - 2*k = -3*k - 7, 10 = -5*m - 5*k. Solve 5*l = m + 4 for l.
1
Suppose -12*c + 7*c = -10. Suppose 6 = 2*m + m. Solve 0*g = -m*g - c for g.
-1
Suppose -3*f - n + 12 = -6, -3*n - 1 = -2*f. Solve 11 = f*o - 4 for o.
3
Let y(p) = 3*p - 27. Let r be y(17). Let s be (-14)/(-3) - (-1)/3. Solve s*w + r = -1 for w.
-5
Let i be -1 + 2 - 1/(-1). Let v = -1 + i. Let r = -816 - -821. Solve 3*u = v + r for u.
2
Let k = -37 + 39. Solve 10 = -0*w - k*w for w.
-5
Let k(r) = r**2 + 3. Let g be k(0). Solve g + 0 = -t for t.
-3
Suppose -2*y + 6 = -0. Suppose -n - p + 1 = 0, -3 - 3 = y*p. Solve -3*w = -n - 3 for w.
2
Let v = -56 - -58. Solve -4*l + 3*l = v for l.
-2
Let w be (-4*(-4)/(-20))/(2/(-15)). Solve -m = -w*m - 5 for m.
-1
Let h(i) = i**3 + 2*i**2 - 3*i - 4. Let k be h(-3). Let y be k + 3 + 3 + 1. Solve -y*c = -6*c + 9 for c.
3