 = 11*h - 16*h. Solve 0 = -0*o + h*o for o.
0
Suppose -5*y + 6*y = 3. Let o(i) = -i**3 - 8*i**2 - 8*i - 5. Let d be o(-7). Suppose -d*m + 9 = -1. Solve y*v - m = 4 for v.
3
Suppose -8*m + 3*m + 25 = 0. Solve -15 = m*l - 0*l for l.
-3
Let j(r) = 2*r**2 - 7*r - 3. Let z(g) be the third derivative of g**5/60 - g**3/6 - 2*g**2. Let f(x) = j(x) - 3*z(x). Let t be f(-7). Solve -2 = -t*k + k for k.
-2
Suppose 8*n = 7*n. Solve l - 3*l + 6 = n for l.
3
Let q(h) = -h**3 + h**2 + 6*h + 3. Let m be q(-2). Solve 0*r = r - m for r.
3
Let j(z) = 7*z**3 - 21*z**2 + 7*z - 27. Let p(t) = 3*t**3 - 10*t**2 + 3*t - 13. Let x(c) = 2*j(c) - 5*p(c). Let k be x(8). Solve k*l - 8*l = 5 for l.
-1
Let s(m) = -m**2 - 5*m - 3. Let r be s(-6). Let q = -8 - r. Solve -6 = f - q for f.
-5
Let n = -3 - -6. Suppose 2*f + 2*m - 64 = 0, 99 = 4*f - n*m + 6. Solve -7 = -5*b - f for b.
-4
Let d be (-1)/(-5)*10/2. Solve 0 = -4*t - d + 13 for t.
3
Let k be 6/9 + 20/(-3). Let r = k + 14. Suppose -3*c = -7 - r. Solve l - c = -4*l for l.
1
Let i be (-6)/(3 + 0) - 2. Let x be (2 + i)/((-6)/9). Solve x*c + 0*c = -15 for c.
-5
Let o be (-10)/(-3)*(0 + 3). Let d(f) = f - 17. Let l be d(7). Let j = l - -16. Solve o = j*q - q for q.
2
Let q = 10 + -24. Let b be (q/4)/(-7)*4. Let w(p) = p**3 - p**2 - 3*p + 2. Let o be w(b). Solve o*h = -2*h for h.
0
Let d = -32 - -42. Let n be (0 + 0)/(5/(-5)). Suppose -2*j + 2*h = -h + 1, n = 5*h - 15. Solve -d - 6 = j*s for s.
-4
Suppose -2*m + 2*s - 4 = -2*s, -5*s = -5*m. Solve 3*y - m - 1 = 0 for y.
1
Let h be (2*-30)/(1 - 0). Let u be 16/3*h/(-16). Let z = -1 + 3. Solve -z*l = 3*l - u for l.
4
Let d(h) = h**3 - 19*h**2 + h - 13. Let r be d(19). Solve -2 + r = 2*w for w.
2
Suppose 4*j + a - 4 = 0, -3*a = -0*j - 5*j - 12. Solve j = 4*h + 4 for h.
-1
Suppose -6 = -2*b - b. Suppose 5*z - 34 = r, 0 = -2*z + 5*r + 30 + b. Suppose 4*i + 10 = 5*n, z = i + 3*n - 0*n. Solve -5*g + i - 20 = 0 for g.
-4
Let s = 13 + -12. Solve -3 + s = d for d.
-2
Suppose 2*r + 11 = 3*u, 3*r + 2*u = 3*u + 1. Suppose 0 = -v + r - 0. Solve -v*m - 14 = -4 for m.
-5
Suppose -g = 4*g - 10. Suppose 4*i - q = 5, 2*i = -g*q - q - 15. Solve 0*y + 5*y + 20 = i for y.
-4
Let q(d) = d**3 + 5*d**2 - 7*d - 2. Let l(o) = -o**3 + o - 6. Let f be l(0). Let w be q(f). Solve 0 = g - w - 1 for g.
5
Let d be (27/15)/((-6)/(-20)). Solve -2*g + 4 = -d for g.
5
Suppose -5*v = -4*c - 4, -5*v + 6*c - c = -5. Solve q + 0 - 5 = v for q.
5
Suppose 2*b - j - 4 = 11, 0 = -3*j - 15. Solve -b*n - 6 = -2*n for n.
-2
Suppose 0*h - 4*h + 16 = 0. Let s = h + -6. Let t = s + 5. Solve t*j + j = 4 for j.
1
Let q(c) = -2*c + 2. Let z be q(3). Let w = -1 - z. Suppose i - k = -2*k + 9, i - 4*k = -16. Solve -b - i = -w*b for b.
2
Let r(x) = -4 - x**2 - 2*x**2 + 3*x + 4*x**2. Let j be r(-4). Solve j = 2*n - 0 - 6 for n.
3
Let w be ((-14)/(-4))/((-1)/(-2)). Suppose w*b + 9 = 4*b. Let u(g) = -g - 1. Let x be u(b). Solve -7 - 3 = -x*o for o.
5
Let t be -3 + 5 + -3 - -10. Solve -25 = -t*n + 4*n for n.
5
Suppose 2*j - t = -2*t + 4, -t = -2. Let c(m) = 2*m. Let d be c(j). Suppose 4*g - l = -d, -2*g + 5 = 4*l - 3. Solve -w - 3*w - 20 = g for w.
-5
Suppose -9*m = -5*m. Solve h = -m*h for h.
0
Let o(p) = p**2 - 5*p + 6. Let m be o(6). Let k = m + -3. Solve -4*w + k = 21 for w.
-3
Let a = 13 - 18. Let u = 8 + a. Let q(j) = -j**3 - 7*j**2 - 6*j + 3. Let h be q(-6). Solve u*g - h = 12 for g.
5
Let l(m) = 4*m - 2. Let a be l(1). Solve -a*r + 7*r = -20 for r.
-4
Suppose 2*x = 5*x - 6. Let q = 2 - 0. Solve -2 - x = q*j for j.
-2
Let q = -10 + 19. Let t be (-6)/18 + 21/q. Solve 0*u = -t*u - 10 for u.
-5
Let w = 2 - 4. Let q be 9/(-2) - 1/w. Let l be 2/q + 10/4. Solve -l*x + 0 = -4 for x.
2
Suppose 13 + 63 = 4*r - 4*k, 5*r + 3*k - 95 = 0. Solve 0 = 4*x - r - 1 for x.
5
Let k = -26 + 21. Let w(j) = j**3 + 6*j**2 + 5*j + 4. Let d be w(k). Solve -4*h = -2*h + d for h.
-2
Let b be (-14)/21 + (-16)/(-6). Solve 2*q + 4 - b = 0 for q.
-1
Let g be ((-6)/4)/((-39)/(-12) + -4). Solve 0 = 4*j + 18 - g for j.
-4
Suppose -c - 4*o = -10, 4*o - 16 = -6*c + 2*c. Let x(b) = -2*b - 3. Let h be x(-2). Solve -c*l - 9 = h for l.
-5
Suppose -5*u - a = 0, 0*a = a. Solve -2*c - c + 6 = u for c.
2
Let g be 4/(-2) - 234/(-9). Suppose 0*w = 3*w - g. Let d be 2/11 - 436/(-22). Solve w*l - 3*l = -d for l.
-4
Suppose i - 3*c = 2*i, 4*c = 0. Solve -j + 3*j = i for j.
0
Suppose 7 = 4*l - 13. Solve -l*y + 36 = 16 for y.
4
Let f(d) = -2*d - 39. Let r be f(-21). Solve 5*k + r - 8 = 0 for k.
1
Suppose 3*l + g + 5 - 4 = 0, 0 = g + 1. Suppose 3 = -5*j + 13. Solve l = -c - j*c for c.
0
Let g(v) = -v**3 - 6*v**2 - 4*v + 4. Let d be g(-5). Let t be 0/(d*(1 + 1)). Suppose t = 3*s + 4 - 34. Solve 5*w - s + 35 = 0 for w.
-5
Let o = 45 - 43. Solve 5 = -o*b - 3*b for b.
-1
Let x(h) = 2*h**2 - 2*h - 2. Let j be x(-2). Suppose 0*o = -4*o + 12. Solve -o*d - j = 2 for d.
-4
Let h be 8/20 - (-47)/(-5). Let u be (15/h)/(4/(-12)). Solve -3*z - u = -8*z for z.
1
Let g = -1 + 4. Suppose -3*z + 2*w + 7 = 0, 5*z - 5*w - 12 = -2*w. Let l be (0/8)/(1 + 0). Solve -g*a + l = -z for a.
1
Let x = 28 - 43. Let r be (10/x)/(1/(-6)). Solve -r = -0*a + a for a.
-4
Let w be (105/(-20))/7 + (-7)/(-4). Solve -i = -w + 2 for i.
-1
Let c(v) = -v**3 - 3*v**2 + 2. Let b be c(-3). Solve -1 = -b*t + 3 for t.
2
Let y(u) = u**3 - 8*u**2 + 8*u - 7. Let t be y(7). Suppose t*d = 2*d. Suppose 3*c = 4*o - 19 - 12, -5*o - 4*c = d. Solve o = 5*l - l for l.
1
Suppose 3*k - 2 = 4*h + 2, -3*k - 2*h - 2 = 0. Solve k = r + 2 - 6 for r.
4
Let y(j) = -j**2 - j - 5. Let x be y(-4). Let u = x + 42. Solve -5*w + u = -0*w for w.
5
Let c(b) = 3*b**3. Let h be c(1). Suppose -h*w + 11 = -43. Solve -3*z + 3 - w = 0 for z.
-5
Suppose 0*r + 3*r - 5*p = 25, -4*r + 18 = p. Let b = -4 + r. Let h(y) = 4*y**3 - y**2 - y + 1. Let z be h(b). Solve z*g - 2*g + 4 = 0 for g.
-4
Let q(f) = f**3 - f - 1. Let r(k) = -5*k**3 - 5*k**2 + 9*k - 2. Let s(d) = -4*q(d) - r(d). Let m be s(-6). Solve -3*x + m*x = 15 for x.
-5
Let p be 11 - 4/(1 - 3). Let u = p - 9. Solve -v = u*v for v.
0
Let i(q) = q - 11. Let j be i(9). Let b = 1 + j. Let u = b - -3. Solve u*y = y for y.
0
Let t(w) = -3*w**3 + 0*w**3 - 7*w + 7*w**2 + 0*w**3 + 2*w**3 + 5. Let b be t(5). Solve 3*o + b = -o for o.
-5
Let y(f) = 3*f + 1. Let a be y(-1). Let m = a - -7. Solve -m*v - 5 = 5 for v.
-2
Suppose -7 - 8 = -3*x. Suppose -u = -5*i + 8, 0*i - 50 = -5*u - x*i. Solve -4*n - 5 = u for n.
-3
Suppose 2 + 2 = -4*s. Let r be -2*(-1)/(-2) - s. Solve -4*g + 7 + 13 = r for g.
5
Suppose d - 6*d + 15 = 0. Let h be 4 - 8*(-1)/(-2). Solve d*x - 7*x = h for x.
0
Let f be 5 + -2 + (0 - 1). Let r be f/(-7) + 30/7. Solve k = -r*k for k.
0
Let o be 12*1*(-1 - -2). Suppose -r = -o - 1. Suppose 2*x = -5 + r. Solve -b + x*b = 0 for b.
0
Let d = -2 + 2. Let g = 1 + d. Solve 0 = z - g + 3 for z.
-2
Let t(f) = f**2 - 6*f - 9. Let d be t(7). Let o be 1/d*0 - -3. Let p be (o + (-3 - 0))/(-1). Solve -c - c + 6 = p for c.
3
Let l = -1 + 4. Suppose 0 = -l*m - 5*g - 19, 0 = -0*m + 3*m + 4*g + 14. Solve 4*o + m = 6 for o.
1
Let x = 3 + -7. Let s = x - 28. Let q be s/(-4)*6/8. Solve -h = h - q for h.
3
Suppose 0 = -x + 5 - 2. Suppose -x*l = -1 - 5. Solve -15 = -l*u - u for u.
5
Let b = 14 + -8. Suppose -o - o = -b. Solve 7 = -4*c + o for c.
-1
Let m be (-1)/(258/87 + -3). Suppose -39 = -4*a + 3*x, 5*a - 37 - m = -2*x. Solve 3*p = -0*p - a for p.
-4
Suppose 0 = 3*s + 4*g, 0 = -4*s - 3*g - g + 4. Suppose -s*r = r. Suppose r = 5*p - 4*p. Solve 3*z - 9 + p = 0 for z.
3
Let b be (4 - 4) + 1 + 3. Suppose -11 = -b*f - 3. Solve -f*k = -1 - 1 for k.
1
Suppose 5 = -o, 6*o = -3*l + 3*o - 27. Let r = l - -4. Solve r = 5*s - 2*s + 9 for s.
-3
Let i(d) be the first derivative of -d**4/4 + 3*d**3 - 7*d**2/2 - 7*d - 4. Let g be i(8). Solve 0*z + z = -g for z.
-1
Let m be 2/(1/(-3) - -1). Suppose -8 = 4*g, -m*g = -5*z - g + 124. Let k = -441 - -445. Solve z - k = 4*v for v.
5
Let n be (-10)/(-2) - (-8 - -8). Suppose 2*l + s - 2 = 0, -4*l = 2*s + 2*s. Suppose l*g = 3*g - 1. Solve -g = -2*w - n for w.
-2
Suppose 7 = -c + i, -3*c + 8*c + 3*i = 5. Let n be (c - -25) + 3 - 3. Solve n = 3*t + 8 for t.
5
Suppose 7 = 3*x + 1. Let a be (2 + -2)/(x/(-2)). Solve 2*q - 3 + 9 = a for q.
-3
Let r be (-4)/6 + 26/3. Let n be (-4)/2 + 4 + r. Suppose 2 + n = 