= -3*c - q*c - 25 for c.
-5
Suppose -x = 5*a - 8, -2*x = a - 2*a - 5. Suppose 0 = x*v - 18. Suppose 0 = -4*d + 18 - v. Solve -d = -3*t - 0 for t.
1
Suppose 3 - 9 = -3*r. Suppose 0*k + 3*k = 5*d + r, -2*k + 8 = 0. Solve -d*m - 1 - 1 = 0 for m.
-1
Suppose 0 = -5*b - 10. Let d be ((-2)/b)/(2/8). Solve -c = c + d for c.
-2
Let k = 11 + -3. Suppose 0 = 3*y - k*y. Suppose 2*w = w + 4. Solve w + y = -4*d for d.
-1
Let c(k) = -k**2 + 4*k - 1. Let i be c(3). Suppose i = 4*n - a - 82, 4*a + 72 = 4*n. Solve -4*y - n + 2 = 0 for y.
-5
Suppose -h + 6*h - 10 = 0. Let o(q) = -q**2 + 9*q. Let b be o(8). Solve -h*w + 4*w - b = 0 for w.
4
Let h(i) = i**3 - 6*i**2 + 2*i + 3. Let p be h(6). Solve 4*t - t = p for t.
5
Let c = 2 + 0. Suppose 4*t = 0, -14 = c*v - 4*v + t. Solve 0 = -2*q + v*q + 20 for q.
-4
Let j be 1/(-1)*(1 - -1). Let u be j/((-2)/(-3)) + 12. Suppose 1 = -2*c + 3. Solve -5*r + u = -c for r.
2
Let h(k) = k**2 - 4*k + 1. Let d be h(3). Let o be d/(5 - 3)*-2. Solve 4*g - 2 = o*g for g.
1
Suppose j + 9 = 4*j. Suppose -28 = -5*l - j. Solve -m + l = 4 for m.
1
Let l(b) = 2*b**2 + b + 1. Suppose -2 = 4*r - 3*r. Let y be l(r). Suppose 2*f = y*f - 35. Solve -4*g = -f*g for g.
0
Let q(x) = x**3 - 4*x**2 + 2*x + 3. Let y(o) = o**2 + 5*o + 3. Let a be y(-5). Let i be q(a). Solve -2*r + 1 + 1 = i for r.
1
Let m(k) = -2*k - 13. Let q(j) = j + 6. Let r(y) = -6*m(y) - 13*q(y). Let v be r(-3). Solve v*t - 6*t = -15 for t.
5
Let t(a) = a + 6. Let j be t(-7). Let x be 86/18 - (-4)/18. Let h = j + x. Solve k = -3*k - h for k.
-1
Let w(y) = -y**3 - 5*y**2 - y + 1. Let v be -3 + ((-6)/(-3))/(-1). Let g be w(v). Let q = g - -1. Solve -4*p - 9 = -q*p for p.
3
Let m(u) = u - 2*u**3 + 7*u**2 + 3*u**3 + 4 + 1 - 3*u**2. Let p be m(-4). Solve 9 = -5*j - p for j.
-2
Let n(k) = k**3 - 6*k**2 + 8*k - 11. Let w be n(5). Solve -a = 1 - w for a.
3
Let k(s) = -76 + 8*s**2 + 75 + s - 4*s**2 + 2*s**2. Let j be k(1). Solve j*n - 2*n = 4 for n.
1
Suppose -w = 7*h - 2*h - 42, 2*w + 2*h = 44. Suppose 5*t = -3*s + s + 39, -2*t + w = s. Solve -2*m - 3 - s = 0 for m.
-5
Let x = 5 - -1. Let q be 6 - (5 + -2) - 4/(-2). Solve -x = q*y - 2*y for y.
-2
Let k(f) = 7*f. Let w be k(1). Let m = -3 + w. Suppose 5*n + 3 = -5*y + 73, 0 = -4*y - n + 65. Solve -y = m*a - 5 for a.
-3
Let g be (-76)/16 - -5 - 23/(-4). Solve 5*o + g = 2*o for o.
-2
Let w be (-2)/7 + 24/(-14). Let r = w + 7. Solve 2 = u + r for u.
-3
Suppose 2*a - 2*p - 13 = -5*p, -a - 13 = -5*p. Solve 0 = -4*s + a*s + 2 for s.
1
Suppose -u - 6 = -y - 4*y, 0 = 5*y - 5*u - 10. Solve p = -1 - y for p.
-2
Let p be 3 + (1 - 3) - -26. Let r = 16 - p. Let b = -6 - r. Solve -b*n = 8 + 7 for n.
-3
Suppose 4*u + 8 = -4*q, 4*u - 2*q = -0*u + 16. Solve 4*o = 14 - u for o.
3
Let w(v) = -21*v - 58. Let z be w(-3). Suppose -2*l = -4*m + 6, -m = -7*l + 3*l + 16. Solve z*b + l = 4*b for b.
-5
Suppose -5*u + 3 + 0 = 4*y, 0 = -3*y - 5*u + 1. Solve 0 = -y*w - w - 9 for w.
-3
Let m = -3 - -12. Let x = m - 6. Suppose j = x*j. Solve 0 = 3*b - j*b + 6 for b.
-2
Let x(b) be the third derivative of b**5/60 - b**4/8 - b**3/3 - 2*b**2. Let a be 1/(-2)*(-8 + 0). Let i be x(a). Solve 5 = i*z - 5 for z.
5
Let t be -2 + 1*(5 - 2). Let c = 16 - t. Solve 0 = -2*j - c + 5 for j.
-5
Let r(d) be the first derivative of -d**4/4 + 4*d**3/3 - d**2/2 - 4*d - 3. Let o be r(3). Solve o*t + 10 = -0*t for t.
-5
Let g be 5/(-10)*(-12 - -4). Solve 0 = -g*n + 16 - 0 for n.
4
Let d = -42 - -43. Suppose l + 13 = 3*g, -l + 3 = -2*l + g. Solve -5 = l*b - d for b.
-2
Let o = -5 - -8. Suppose -5*i = -6*i - 3. Let t = i + 5. Solve -f - o = t for f.
-5
Let o(i) = 2*i - 23. Let z be o(23). Solve -4*d + z - 3 = 0 for d.
5
Let p(s) = -s + 2. Let x be p(-3). Suppose 2*j + j = -3*r - 6, 2*j = -3*r - 6. Let f = 63 - 38. Solve j = -x*t - 0*t + f for t.
5
Suppose 10*f - 4 - 36 = 0. Solve f*o - 6 = 2 for o.
2
Let m = -5 - -19. Let v(n) = 3*n**3 + n**2 - 2*n + 1. Let i be v(1). Suppose i*k = 1 + m. Solve -2*f + k = -7*f for f.
-1
Suppose 4*r + z - 31 = 0, 0*r + 3*z = 4*r - 35. Let l(s) = -s + 11. Let g be l(r). Solve y = g*y for y.
0
Let c(f) = -3*f + 17. Let l be c(5). Solve 4*y + l = 10 for y.
2
Suppose -3*f + 2 = -7. Suppose 2*j = -4*c - 6, c - 24 = -f*j + 6*c. Suppose -q = -2*i - 3*i - 20, 2*q = j*i + 12. Solve 2*s - 1 - 1 = q for s.
1
Let j be ((-24)/(-9) + -3)*-15. Solve -j*i = 38 - 13 for i.
-5
Let t = -4 - -19. Solve 0*a + t = 3*a for a.
5
Let r(k) be the second derivative of k**4/24 + 7*k**3/6 + k**2/2 - k. Let z(q) be the first derivative of r(q). Let a be z(-3). Solve a = 2*f - f for f.
4
Suppose -15 = -3*g - 0. Suppose v = g*v - 16. Solve v = -p - p for p.
-2
Suppose -1 = -5*k + 2*p - 8, 2*k = -2*p - 14. Let o(l) = l**2 + l - 1. Let t be o(k). Suppose 4 = t*g - 11. Solve -g*f + 5 = -8*f for f.
-1
Suppose -p + 2 = -0*p + s, 0 = 3*p - s - 10. Solve -p*y - 2*y = -20 for y.
4
Suppose 6*x - 2*x - 69 = -5*o, -2*o + 22 = -4*x. Let t = o - 5. Solve -4*c = -t*c + 12 for c.
3
Let w(k) = k**3 - 7*k**2 + 5*k + 6. Let r be w(6). Let q(j) = -j**3 + 5*j**2 + 3*j. Let s be q(5). Let b be (s/10)/((-2)/(-4)). Solve z - b*z - 2 = r for z.
-1
Suppose 9*u = 4*u + 35. Let n = -7 + u. Solve -2*m = -n + 4 for m.
-2
Let c be (-1 + 0/(-1))*-3. Suppose 0 = 2*d + g - 6, -16 = -c*d + 2*g. Suppose -d*x = x - 5. Solve 0 = -4*h + 19 + x for h.
5
Let g be -2*(-12)/(-16)*2. Let r be 2/2*1*-1. Let y = r - g. Solve 2 - 4 = -y*i for i.
1
Let y(x) be the third derivative of -x**6/120 + x**5/15 + x**4/4 - 2*x**3/3 - 2*x**2. Let s be y(5). Solve s = -k - 2 for k.
-3
Let r(d) = -6*d. Let x be r(-1). Suppose 3*t - 3*g = 7*t - x, -t + g + 5 = 0. Solve 0 = 2*y + 5 - t for y.
-1
Let m be (6/4)/(6/12). Solve -15 = m*f - 0*f for f.
-5
Let j(w) = 5*w. Let v be j(1). Suppose -v*u + u = 0. Suppose -d + u*d = 0. Solve -s + 3 - 6 = d for s.
-3
Let x be 1/(-3 + 122/40). Solve -o = 4*o - x for o.
4
Suppose 0 = -s + 2 - 1. Let q be 3*2/2 + s. Solve 0*m = m + q for m.
-4
Suppose 0 = d - 6*d + 10. Suppose -3*l - 2*x + 7 + 12 = 0, 2*l - 20 = -5*x. Let f be l - ((-15)/(-3) - 3). Solve d*v = -v + f for v.
1
Let x be (-3)/(-2 - (3 - 4)). Solve -d + x = -2 for d.
5
Suppose 0 = y + 4*s - 29, -2*y + 54 = -3*s + 7. Suppose a = 4*a. Suppose 7*o - 3*o = a. Solve w - 6*w + y = o for w.
5
Suppose 21 = -0*u + 3*u. Let g = u - 7. Suppose 0 = -5*c + 5 - g. Solve -c = -t - 0 for t.
1
Let k(m) = 8*m**3 - 2*m**2 + m. Let g be k(1). Suppose 4*n + 3*i = 27, -6*n + 3*n + i + 4 = 0. Solve 5 = -n*o - g for o.
-4
Let g = -90 - -84. Let s(h) = h - 1. Let m be s(7). Let j = g + m. Solve j = -0*c + 2*c - 6 for c.
3
Let z be 7/(21/(-18))*1. Let x = z + 8. Suppose 0 = -x*p + 2*r + 20, -5*r = 3*p + 3 - 17. Solve 5*m = m - p for m.
-2
Suppose 4*v = -0*v + 8. Suppose 3*p = 3*q - 21, -2*p - v = 4*q - 0*p. Solve -q = -2*k + 3*k for k.
-2
Let y = 2 + -3. Let i be (-12)/(-9)*(2 - y). Suppose 4*x - 20 = -0*x. Solve x*u - 1 = i*u for u.
1
Suppose 3 = i + 1. Solve i*f + 2 = 3*f for f.
2
Suppose 2*v - 30 = 4*v. Let p = -10 - v. Suppose -7*s + 32 = -3*s. Solve a = p*a - s for a.
2
Let h be 2/((6/(-8))/3). Let i = 11 + h. Let t = -4 + 20. Solve i*q - t = -q for q.
4
Suppose -2*y + 10 = -2*b, 4*y = 8*y + 3*b - 13. Solve -2*h + 6 - y = 0 for h.
1
Let b(a) = -a**3 - a**2 - a - 1. Let k(l) = 4*l**3 + 14*l**2 - 2*l + 6. Let c(y) = 5*b(y) + k(y). Let m be c(8). Let n = -5 + m. Solve n*g + g = 0 for g.
0
Suppose 3*h = -t + 13, 3*h - 5*t = -13 + 2. Solve o - h*o = -8 for o.
4
Let n = -1 - -3. Suppose 8 = 3*t + n. Suppose v = 4*x - 14, t*x + 2*x - 8 = -2*v. Solve i - 1 = x for i.
4
Let r = -188 - -199. Solve r - 3 = -4*q for q.
-2
Let o be (0 + 1 - -5) + 0. Let g = -31 + 45. Let a = g - o. Solve -a - 7 = 5*d for d.
-3
Let i be (-58)/(-8) - 2/8. Let g = 8 - i. Solve 4 = b - g for b.
5
Let u be 50*((-16)/(-10))/4. Solve 0 = 2*h + 3*h + u for h.
-4
Let l = 30 - 28. Suppose 3 = l*c - 1. Let g(q) = 3*q**3 - q + 1. Let b be g(1). Solve n + b = c*n for n.
3
Suppose 1 = -x - 5*s, 2*s + 14 = 2*x + 4*s. Solve -2*v - x = -3 for v.
-3
Let c(g) = -g**3 + 5*g**2 + 5*g + 7. Suppose 3*w = 4*w - 5. Let d = w - -1. Let m be c(d). Solve -m = -4*y + 3 for y.
1
Let p(r) = -r - 1. Let f be p(-9). Let m = -2 + f. Let i(x) = -2*x - 9. Let l be i(-6). Solve 0 = -l*j - 0*j + m for j.
2
Let c(s) = s**3 - 7*s**2 - 8*s + 5.