*n = 14, -4*m + 6*n - n + 26 = 0. Suppose -v = -4*k + 2*k + 8, -m = -v - 2*k. Let u be c(v). Solve -6*p + 8 = -u*p for p.
2
Suppose -2*c + 83 = 83. Solve c = 4*q + 3 + 1 for q.
-1
Let t be 12/4 + 6/(-2). Solve -2 = -t*c + c for c.
-2
Let n = -3 - -2. Let b be -1*0/(n + 3). Solve -2*u + b = 4 for u.
-2
Let x = -6 + 8. Let q = x + 0. Let l(d) = d**2 - 2*d - 3. Let i be l(-2). Solve q*p + i = -1 for p.
-3
Let t = -31 - -71. Suppose 3*b + b - t = 0. Solve 3*w + 1 - b = 0 for w.
3
Let q(n) = n**2 - 10*n - 10. Let x be q(11). Solve 0 = j - x + 2 for j.
-1
Let h = 8 + 0. Solve 2*o - 2 = h for o.
5
Let i = -19 + 31. Suppose -5*n - 5 = t - 2, 4*t + i = 5*n. Suppose -4*v + 21 = 3*z + v, 3*z - v - 3 = n. Solve 0 = -z*u - 3*u for u.
0
Suppose -4*z + 5 = -5*u - 8, u - 4*z = -9. Let q = u - -2. Let o = q - 1. Solve -2*g + g - 3 = o for g.
-3
Let l be (6/1)/(-4 + (8 - 3)). Solve -9 = 3*y + l for y.
-5
Let s be 4 + 1*(-3 + 1). Let g = s - 2. Suppose q - 5*q = -3*n - 14, 2*q + 5*n - 20 = g. Solve q*p + 2 = 4*p for p.
-2
Let y(z) = -2*z - 4. Suppose 6 = c - 0. Let x = -14 + c. Let o be y(x). Solve -4*q + o = -q for q.
4
Let m(b) = -b**3 - 5*b**2 + 4*b - 7. Let l be 90/3 + (3 - 1). Suppose -4*w = 4*n + l, n - 5*n = -5*w + 14. Let v be m(n). Solve -2*u - v = -u for u.
-5
Suppose 2*d = -5*x - 10, d + 7 = -3*x - 0. Let m(a) = a**2 - 5*a - 6. Let l be m(6). Solve -d*c + 25 + 0 = l for c.
5
Let i be (4 - 1) + -2 + 13. Let a be 86/7 - 4/i. Solve a = -5*v + 27 for v.
3
Let c(a) = -a**3 - 7*a**2 + 8*a - 3. Let h be c(-8). Let u be 0/(h + 1 + -2). Solve u = 2*v + v for v.
0
Let t(b) = b**3 - 3*b**2 - 3*b - 2. Let z(x) = -x**3 + 8*x**2 - 7*x + 4. Let g be z(7). Let j be t(g). Solve 1 = -j*f + f for f.
-1
Let o be ((-8)/(-2)*2)/(18/27). Solve 0*y - o = 4*y for y.
-3
Suppose -25 + 5 = -5*h + o, 5 = -2*h + 3*o. Suppose 3*p - 21 = 4*m, h*p = 3*p + 3*m + 14. Solve 2*x - p*x - 15 = 0 for x.
-3
Let a be 0 + (6 - 3) - 5. Let z = 11 - a. Solve 5*m + z = -12 for m.
-5
Suppose 11 = -r + 14. Solve 2 = -b - r for b.
-5
Let u(n) = n**3 - 4*n**2 - 2*n. Let p be u(5). Solve -k - p = 2*k for k.
-5
Let x(s) = 0*s + 6*s + 3 - 7*s**2 + 3*s**3 - 2*s**3. Let p be x(6). Solve -5*c + p*c = 2 for c.
-1
Let y = -24 - -24. Solve 2*j + y*j = 0 for j.
0
Suppose -11*m = -7*m. Solve y + 3 + m = 0 for y.
-3
Suppose 31 = 6*d - 29. Solve -f = -6*f + d for f.
2
Let k = -28 - -30. Solve -2 = -u + k*u for u.
-2
Let p be 2/(-23 - -7) - (-17)/8. Solve -3*b - p = -2*b for b.
-2
Suppose 4*g - 16 = -4*x, 1 + 15 = x + 5*g. Solve -13 = -3*k - x for k.
4
Suppose -5*g + g + 3*t + 23 = 0, 3*g - 12 = -3*t. Solve -g + 21 = -4*x for x.
-4
Suppose 3*v - 3*r = -21, 2*v + 4 + 4 = -4*r. Let u = v + 10. Let b be ((-2)/2)/(u/(-12)). Solve b*x - x = 0 for x.
0
Suppose 0 = 2*h - 1 - 5. Suppose -6 = h*r - 0*r. Let n = 3 + r. Solve -n = d - 2 for d.
1
Suppose x = -0*x. Suppose x = 4*s - s - 12. Let k = -36 - -36. Solve k*w + s = -4*w for w.
-1
Let v(n) = n + 2. Let r be v(2). Let m be (72/16)/(2/r). Solve 0 = 4*u - m*u for u.
0
Let u(z) = z**3 + 4*z**2 - 6*z + 4. Suppose -4*k - 5 = -3*k. Let l be u(k). Solve -3 = 3*i - l for i.
2
Let k = 77 - 72. Solve 0 = -0*j - j - k for j.
-5
Suppose 3*l - l = 5*l. Solve l = f - 3 for f.
3
Let v(l) = l**3 + l + 1. Let y(r) = -6*r**3 - 5*r**2 - 10. Let p(s) = -5*v(s) - y(s). Let x be p(-6). Let z be x - -2 - (-8)/8. Solve -m = -3*m + z for m.
1
Let d(i) = i + 6. Let p be d(-6). Suppose 0 = 7*v - 3*v - 20. Suppose -4*c + 3*c + v = p. Solve c*x - 25 = -10 for x.
3
Suppose -6*v = -9*v + 15. Solve -v*r + 4 + 11 = 0 for r.
3
Suppose -2*j = -0*y - 5*y + 127, -5*j + 20 = 0. Suppose w = 4*n + n - y, -15 = -3*n + w. Solve -p = -n*p for p.
0
Suppose -3*l - 2*k = -4*l + 14, 0 = -2*l + 5*k + 33. Suppose -l*m + 1 = -7. Solve 0 = m*b + 4 - 0 for b.
-2
Let n(b) be the third derivative of b**7/840 + b**5/120 + b**3/3 - 2*b**2. Let z(o) be the first derivative of n(o). Let u be z(2). Solve -3*c + 2 = -u for c.
4
Let k(s) = -s**3 + 6*s**2 + 9*s - 10. Let n be k(7). Suppose -4*g = -0*g - n. Let o = g + -1. Solve 4*z - 1 + 5 = o for z.
-1
Let t = 15 - 12. Solve -t*q + 3 = 6 for q.
-1
Let k be (-2)/(-5) + 46/(-115). Solve 0 = -z - k*z for z.
0
Suppose 13*w = -4*w. Let b(s) = -2*s + 3*s**2 + 3 - 4*s**2 - s. Let m be b(-3). Solve -m*a - a - 4 = w for a.
-1
Let i = 12 + -4. Let o = -11 - -23. Solve 5*c - i - o = 0 for c.
4
Let d = -6 - -6. Solve -12 = 3*y - d*y for y.
-4
Let x be -2 + 2 + (8 - 3). Solve -x = -j - 2 for j.
3
Let m(l) = 7*l - 1. Let o be m(-1). Let a be o/3*3/(-2). Solve q - 3*q = -a for q.
2
Let q be 6*3/(-6)*-1. Suppose -2*r + 25 = q*r. Solve -3*b + r = 2*b for b.
1
Let h(p) be the third derivative of p**6/120 + p**3/3 - 6*p**2. Let x be h(0). Solve x = 4*n - 18 for n.
5
Suppose 4*f - 30 = 6. Let a be 25/9 + 2/f. Suppose -7*g = -a*g. Solve -4*i = -g*i - 12 for i.
3
Suppose -2*l = -0*l + 4*l. Solve -3*b = -l*b for b.
0
Let a(w) = -w**3 + 5*w**2 - 4*w - 1. Let i be a(3). Solve -i*b - 14 - 11 = 0 for b.
-5
Let x = 3 + -3. Suppose x = 4*y - y. Solve y*m - 3*m + 12 = 0 for m.
4
Suppose 0 = -3*s - 1 + 13. Suppose -2*a = t - 4, 3 = -a - t + s. Suppose a = h + 1. Solve -3 = -5*r + h for r.
1
Let n = -4 + 1. Let u be (12/2)/((-6)/n). Suppose 4*l = u + 13. Solve 0 = -2*x + l*x for x.
0
Let s = 14 - 14. Solve -b - 1 = -s for b.
-1
Let t = -2 + 0. Let j be (-1)/t*0/(-1). Let p be (-5 - -5)/(-1 + j). Solve -8 = -p*g - 2*g for g.
4
Let g = 91 - 91. Solve 3*v - 13 + 1 = g for v.
4
Let q(n) = n**2 - 3*n - 5. Let a be q(6). Suppose 3*i = a + 2. Let j = 5 - i. Solve 0*o - o = j for o.
0
Let j = 36 + -33. Let r = 0 + 2. Let a be (3 - (-2)/(-1))*r. Solve -a*s - s + j = 0 for s.
1
Let t(u) = u - 1. Let a be t(5). Suppose 3*l + a = 5*l. Solve 0 = l*o + 3 + 7 for o.
-5
Let j(y) = -y + 1. Let m(l) = l**3 - 3*l**2 - 7*l + 6. Let w(i) = j(i) - m(i). Let z = -7 + 11. Let a be w(z). Solve -2*p - a*p = 15 for p.
-3
Suppose -f + 2 = m - 5*m, -8 = -4*f - 4*m. Let h = f - 4. Let t = 2 + h. Solve b + 3 - 2 = t for b.
-1
Suppose 0 = -2*l + 3*n + 15, -3*l + 2*n = 2*l - 10. Suppose 3*o + l*o = 45. Solve 6*u = 3*u - o for u.
-5
Suppose -f = s - 4*s - 5, -2 = -2*f - 2*s. Solve 1 + 5 = f*h for h.
3
Let h(f) = f + 5. Let r be h(9). Suppose u - z = 6*u - r, 5*z = -5. Solve -u*w + 6 = 21 for w.
-5
Suppose -36 = -4*v + 12. Suppose 2*d = 4*r - v, -5*r + 12 = -2*d - 3. Solve 1 = 4*c - r*c for c.
1
Suppose 6*y - y = -3*m - 1, 7 = 5*y - m. Let d be y/(2*2/12). Let v be (1 - d) + 3 + 1. Solve -6 = -l - v for l.
4
Let g be 2 - 2 - (3 + -3). Suppose -12 = -5*b + 2*b. Let r = 5 - b. Solve g = -v + 4 - r for v.
3
Let w = -4 - -4. Let p be 46/3 - (-3)/(-9). Solve w*u - p = 5*u for u.
-3
Let t(w) = -w**2 - 3*w + 2. Let m = -8 - -14. Suppose c + m - 3 = 0. Let f be t(c). Solve 2*g + f*g = 8 for g.
2
Let k be 10/(-8)*3*-4. Let q = -28 + k. Let t = q - -25. Solve -t = -2*d - 2 for d.
5
Suppose 3*p = p + 4. Solve 0 = p*l - 0*l - 8 for l.
4
Let u = -18 - -9. Let y = 9 + u. Solve -2*z = -y + 8 for z.
-4
Let p(z) = -z + 7. Let v be p(5). Suppose 10 = 3*r - v*r - 5*h, 5*r = 2*h + 27. Suppose 10*o - o = 0. Solve o*y - y = -r for y.
5
Suppose -2*u - 2*z - 2 = 0, -4*u - z + 2 - 3 = 0. Suppose -x = -3, -5*m + 2*x + 5 = -3*x. Solve 2*y = -u*y - m for y.
-2
Let n be (-5)/(-3) - 13/(-39). Solve -9 = q + n*q for q.
-3
Suppose -5*b = -11*b + 18. Solve -b*h - 5 = 2*h for h.
-1
Let r(g) = -15*g**3 - 6*g**2 - 17*g + 3. Let n(v) = -5*v**3 - 2*v**2 - 6*v + 1. Let x(q) = -17*n(q) + 6*r(q). Let f be x(-1). Solve 11 = -3*m - f for m.
-5
Suppose -2*h = -5*h + 15. Solve -1 = h*b + 9 for b.
-2
Let p be (14/3)/(4/6). Suppose 0 = -p*r + r. Solve 4 = 4*o - r for o.
1
Let j(c) = c**3 + 5*c**2 + 6. Let i be j(-5). Solve -i*u + 2*u = 12 for u.
-3
Let f be -14*(1 - 6/4). Let o be (4 - 0) + (-2 - -1). Suppose 0*t - t + o = 0. Solve 2*y = -f + t for y.
-2
Let l = 80 - 76. Solve 0*d - 8 = -l*d for d.
2
Let t = 104 - 102. Solve f - 3*f = -t for f.
1
Let m(o) = -8*o - 11 + 7 + o**2 + 8. Let u be m(8). Solve -1 = u*r - 13 for r.
3
Let t be (0 - 0) + 0/(-3 + -3). Solve i - 5*i - 20 = t for i.
-5
Let r(n) = 8*n + 3. Let t be r(-3). Let b = t + 26. Solve -b*c = -0*c for c.
0
Let m be 1/3 - (-11)/3. Suppose -3 = n - m. Solve 5 + n = -2*g for g.
-3
Let f be ((-1)/1)/((-4)/24). Solve 0 = 5*t - f 