 + c + 3 = 0 for c.
-1
Let u be 16/2*(-1)/(-1). Let g(v) be the third derivative of -v**6/120 + 2*v**5/15 + v**4/24 - v**3 - 27*v**2. Let l be g(u). Solve -8 = -4*n + l*n for n.
4
Let k = 53 + -16. Solve 5*n - k + 12 = 0 for n.
5
Suppose -3*q + l + 10 = 0, 0*q + 12 = 4*q - 2*l. Solve -3*v = -7*v + q for v.
1
Let m = -4 - -10. Solve -3*o = -o - m for o.
3
Let y(i) = i - 6. Let c be y(6). Suppose -s - 1 = -c. Let b be s*(2 - (8 - 3)). Solve 0 = -0*j + b*j + 9 for j.
-3
Let n = 8 + -6. Suppose 3*o - n*o = 2. Let y = -2 + o. Solve 4*j = -y + 4 for j.
1
Let n be 77/4 - 3/(-4). Suppose -3*j - 2*j - n = 0. Let v = j + 4. Solve 0 = -v*s + 2*s for s.
0
Let z = -11 - -16. Let b be ((-22)/(-2) + 3)*3. Let n = b + -25. Solve -n + 2 = z*q for q.
-3
Let m(i) = 30*i - 21. Let x(f) = -3*f + 2. Let v = 76 + -118. Let o(q) = v*x(q) - 4*m(q). Let z be o(1). Solve 0 = -4*t - 2 - z for t.
-2
Suppose 3*s + 4 - 22 = 0. Solve 0 = -k + 5 - s for k.
-1
Let x(l) = -l**2 - 6*l - 4. Let d be x(-3). Suppose -5 = -d*y - 0. Suppose -2*w + 9 = y. Solve 7*z = w*z + 12 for z.
4
Let l be (-3*1 + 2)*-2. Suppose 4*b = -t + 12, 4*b = l*t + 2*t + 12. Solve -n + 0 + 2 = t for n.
2
Suppose 0 = 2*p + 2*p. Let z = 3 + -2. Solve -r + p = z for r.
-1
Let c(s) = -s**2 - 5*s + 6. Let u be c(-5). Suppose 2*i - 3*m - 23 = 0, 2*m - 10 = 4*i - 36. Suppose i*v - 5 = 7. Solve -u*g + v*g = 0 for g.
0
Let h = -7 - -7. Suppose -6*q + 4*q + 6 = h. Solve -v - q = 1 for v.
-4
Let k = 10 - 6. Solve t - 5 = -k*t for t.
1
Suppose -2*r + 23 - 3 = 0. Let m(y) = -y**2 + 11*y - 6. Let q be m(r). Solve q*c = c - 15 for c.
-5
Let c = 0 - -4. Solve -c*u - 15 = u for u.
-3
Let p(c) = -c**2 + 5*c - 3. Let d be p(4). Let n be ((-9)/(-27))/(d/9). Solve -n*b = -b + 2 for b.
-1
Let y = -2 + 3. Let n = y + 1. Solve -n*a - 20 = 3*a for a.
-4
Let w = -33 + 48. Let n be -6*(13/(-6) + 1). Suppose -z = -0*z - 5*b, -2*z + 3*b + n = 0. Solve -z*p + 0 = -w for p.
3
Let y = 20 + 0. Suppose y = 3*s + s. Solve -s*k = -10*k - 20 for k.
-4
Let q(g) = -g**3 - 2*g**2 + 2*g + 6. Let b be q(-2). Let j(c) = c**3 + 2*c**2 - 5*c - 3. Let d be j(-3). Solve -b - 1 = -d*w for w.
1
Let n = 32 - 29. Solve 2*a = n*a - 5 for a.
5
Let z = -4 + 4. Solve z = -2*d - 8 - 0 for d.
-4
Let p(z) = -3*z - 4. Let h be p(-2). Solve -3*a - 5 = -h for a.
-1
Let p(z) = z - 2. Let r be p(5). Solve -2*a - r*a = -20 for a.
4
Suppose -3*d + 41 = -4*f - 13, -12 = -4*f. Suppose -d = 5*k + 68. Let t be (k/8)/(3/(-8)). Solve -t = -5*y + 14 for y.
4
Let o be -1*-1*3/3. Let k be (0/o)/((-14)/(-7)). Suppose 5*b = -k*b. Solve -y + 5*y - 12 = b for y.
3
Suppose y + 2*y - 3 = -3*k, 0 = 2*k - 2*y + 2. Suppose -3*s = -k*s - 54. Suppose -4*n - 12 = 4*u, 2*n + s = 2*u + 2*u. Solve u*a + a = 0 for a.
0
Suppose -6 = -5*b + 9. Solve -y = -2*y + b for y.
3
Let y = 5 + -3. Suppose -3*j = -0*j + 5*d + 20, 8 = -2*d. Solve j = -0*s - y*s for s.
0
Let q(b) = -b + 11. Let r be q(6). Suppose -2*g - 20 = 3*g + 5*f, r*g + 12 = -3*f. Solve 0*d + d + 3 = g for d.
-3
Suppose -12 - 9 = -3*h. Solve h = 5*i - 8 for i.
3
Suppose -2 = -5*d + 23. Let m = -286 - -286. Solve m*n + 20 = d*n for n.
4
Let a be 8/(-2) + (-7)/(-1). Solve -a*f + 0*f = 15 for f.
-5
Let w(h) = h - 3. Let c be w(6). Suppose 0 = -2*m - c*d + 4, -m - 4*d + 1 = -1. Let g = m + 0. Solve -g*k = k - 9 for k.
3
Suppose 0 = -2*t + 15 - 3. Solve 3*r = t*r - 9 for r.
3
Let t = -21 - -14. Let i = t - 0. Let a = -5 - i. Solve 5*j = 6*j - a for j.
2
Let l be (-11 - 1)*5/(-3). Suppose -3*t + 5*t - l = 0. Solve 4*v + 6 + t = 0 for v.
-4
Let c(i) = i**2 - 1. Let v be c(-2). Let q = 5 - v. Let r = q + -2. Solve 3 + r = -3*x for x.
-1
Let v be (-3)/((-3)/2) + 0. Let j be v/5 + 46/10. Solve 15 = -5*y + j for y.
-2
Let l(k) = -2*k**3 - 9*k**2 - 5*k - 1. Let z be l(-4). Solve 3 = -0*s + z*s for s.
1
Let o be 1/((3/75)/1). Solve o = 4*l + 9 for l.
4
Suppose 3*f + 23 = 2*f - 3*q, 3*q = 2*f + 1. Let b = f + 10. Solve 0 = 5*x + 3 + b for x.
-1
Let z be (75/9)/(2/6). Suppose -4*m = m - z. Solve 0 = -m*i + i for i.
0
Let v(d) = d**2 + 4*d - 3. Let u(b) = b**2 + 4*b - 2. Let q(o) = -4*u(o) + 3*v(o). Let p be q(-3). Suppose 0 = 3*f + 2*f. Solve -p*r - r = f for r.
0
Let k = -16 + 8. Let j = -7 - k. Solve h = j + 2 for h.
3
Suppose -3*f + 0 - 5 = -5*q, 0 = -3*f. Let o be (3*15/9 + -2)*1. Solve 7 - q = -o*a for a.
-2
Let x(n) = 5*n - 1. Let j be x(3). Let i be 32/14 + (-4)/j. Solve p - 3 = i*p for p.
-3
Let g = 25 - 22. Suppose -3*b - 4*n = -27, 2*n = 5*n. Solve -b = -0*d - g*d for d.
3
Suppose 0 = 2*y + 2. Let l = y - -3. Solve -5 = x - l for x.
-3
Let z(l) = -l**2 - 3*l - 1. Let h be z(-3). Let b(p) = 3*p**2 + 3*p + 3. Let c be b(h). Solve 4*w + c = 7 for w.
1
Suppose -4*q = -t - 12, -2*t - 5*q = -q - 24. Solve t + 1 = u for u.
5
Suppose -24 = -7*c + 3*c + 2*s, 12 = 2*c + 4*s. Solve -3 = 3*b - c*b for b.
1
Let d be (-1 - (-6 + 2)) + 1. Let o(h) = -4*h**2 - 6*h + 2. Let n be o(d). Let k be (-1)/3 + n/(-6). Solve -3*t + k = 5 for t.
3
Let b be ((-609)/(-14))/((-6)/(-8)). Let p be b/18 - (-8)/(-36). Solve p*i + 2 = i for i.
-1
Let t(i) = -i**2 - 6*i + 4. Let l be t(-4). Solve 5*s - 13 - l = 0 for s.
5
Suppose -2*r + 11 = 7. Solve r*g + 2*g = 0 for g.
0
Let k(w) = -w**2 - 3*w. Let q be k(-2). Let y(v) = v**3 + 4*v**2 - 6*v - 5. Let a = -7 - -2. Let n be y(a). Solve q*l = -n + 4 for l.
2
Let v be 3*-1 + -8 + 15. Let h(f) = -f**3 + 6*f**2 - 5*f - 2. Let o be h(v). Solve r + o = -r for r.
-5
Suppose -55 - 1 = -4*n - 4*q, -4*n - q = -41. Let c be (1 - 4)*1 + n. Solve -5*p + 4 = -c for p.
2
Let w be 4/3*(-3)/(-2). Let c(z) = z**2 + 1. Let q be c(1). Solve w*g = 3*g - q for g.
2
Let d = -31 - -38. Solve 2*w - 1 = d for w.
4
Suppose -v - v + 70 = 0. Suppose -5*l - b = 15 - v, 3*l - 3*b = -6. Suppose -l*s = s - 4. Solve 1 + s = -i for i.
-2
Let k be ((-2)/(-6))/((-2)/(-18)). Let p = k + -8. Let n = 5 + p. Solve 3*u - 5*u = n for u.
0
Suppose 25 = -4*l - l. Let d = 10 + l. Solve d*o - 2 = 8 for o.
2
Let b be (-5)/(-15) + (-3)/9. Solve b = -4*l - l - 10 for l.
-2
Let n(g) = -3*g - 11. Let j be n(-5). Suppose 0 = -5*u - 25, -3*c - 4*u - j = 4. Let t(k) = -k**3 - 2*k**2 - k. Let l be t(-1). Solve c*r - 20 = -l*r for r.
5
Suppose -4*g + 0*h = 5*h - 18, 4 = 2*h. Solve -x - g*x = 0 for x.
0
Suppose -3*a = -2*w + 8, 2*a + 6 = 3*w - 6. Suppose a = -2*s + 3*c + 33, 4*s + 0*c - 3*c - 57 = 0. Solve -4*y + 0*y = -s for y.
3
Let u be (2 - 2)/(-2) + 0. Let y be 3/2 + (-196)/(-8). Suppose 2*f - 3*c + 9 = 0, 2*f + 4*c - y = -0*f. Solve u = -q - f*q + 16 for q.
4
Let u(s) = s**3 - 7*s**2 + 2. Let l be u(7). Suppose i - 23 = -3*n + 5*i, 0 = l*i + 4. Let r = 6 + -4. Solve 0 = -v + n - r for v.
3
Let o = -11 + 20. Let w(g) = g - 6. Let h be w(o). Solve h*t = t for t.
0
Suppose q = 3*q. Suppose q*r + 4*b + 7 = -3*r, b = -4*r + 8. Solve r*k = 6*k for k.
0
Suppose 2*j - i = -5, -3*i = 3*j - 0*i - 15. Suppose j = -3*l + 8 - 2. Suppose -l = -f - 0. Solve -7*u + f*u = -15 for u.
3
Suppose 0*z + 3*z + 93 = 0. Let a = -11 - z. Solve 0 = 4*p + p - a for p.
4
Suppose 0 = 5*w + 26 - 86. Suppose u - w = -0*u. Suppose 0*c = 3*c - u. Solve c*m = -m + 15 for m.
3
Let c(l) = l + 6. Let z be c(4). Suppose 4*r = -a + z, 2 + 0 = -2*a + 3*r. Solve a = -4*q + 6 for q.
1
Let m(v) = v**2 - 2*v - 9. Let c be m(-3). Solve 2*y = 4*y + c for y.
-3
Suppose -2*h - 3 = -2*i - i, -8 = -4*i + 4*h. Let x = -2 + 0. Let q be (i - (x - 0))*3. Solve -8*y = -q*y for y.
0
Let f = -8 + 10. Suppose -3*g - 3*w - 3 = 0, -4*w + f*w = -2*g + 18. Suppose -a + 5 = 4*a. Solve v + g = a for v.
-3
Let t be 2/(-7) - 90/(-21). Suppose 20 = t*r + r. Solve r*x + 6 = x for x.
-2
Suppose -15*h + 4*h = -55. Solve 0 = -h*m + m - 20 for m.
-5
Suppose 0 = 3*m + z + 121, -2*m + m - 47 = 2*z. Let q be (-228)/(-39) - 6/m. Solve -q + 3 = 3*u for u.
-1
Suppose 5*k + 4 = -6. Let o be (-1)/k*0*1. Let p(j) = j**2 - 2*j + 3. Let t be p(2). Solve t*v - 10 + 1 = o for v.
3
Let k(x) = -x**2 - 11*x. Let c be k(-11). Let i = 0 + c. Solve l - 1 - 2 = i for l.
3
Let j = -776 - -782. Suppose q - 2*q = -2. Suppose h + 0*l - 4 = -l, -4 = 3*h - 5*l. Solve -q = h*n + j for n.
-4
Let b(d) = 2*d**2 - 2*d + 1. Let m be b(2). Let i(n) be the first derivative of 3*n**2/2 - 7*n - 6. Let g be i(m). Solve -3*w = -4 - g for w.
4
Let q(s) = -8 + s - 8*s + 1 + s**2. Let w 