t d be ((-10)/20)/(1/(-6)). Solve r + 0 + d = 0 for r.
-3
Let b = 71 + -67. Solve -t = -b*t - 9 for t.
-3
Let x be 4/10 - 4/10. Suppose -4*o - 2*n + 6 = -2*o, 3 = o - 5*n. Solve o*l = -x*l - 9 for l.
-3
Suppose 4*p = -p - 20. Let z = 0 - p. Let u = -63 + 63. Solve u = -3*c + z*c for c.
0
Suppose -t - 9 = -3*o, -4*o + 0*t = 2*t - 12. Solve 0 = 3*h - 12 - o for h.
5
Let u(d) = d**3 + 6*d**2 - d - 3. Let c = 3 + -9. Let i be u(c). Suppose 0 = -0*s + i*s - 12. Solve 5*w = s*w - 5 for w.
-5
Let j(t) = -3 - 2*t**2 + t**3 + 1 - 3*t + 3*t**2. Suppose 0 = q + 3, a - 4*a + 5*q + 9 = 0. Let i be j(a). Solve i*h = -h + 1 for h.
1
Suppose 4*z - 3 = 3*z. Suppose -z*j + 4*j = 0. Let f = j + 0. Solve 15 = -3*t - f*t for t.
-5
Suppose 83*n - 80*n = 6. Suppose 0 = o - 3*g - 12, -62 = -3*o - 5*g - 12. Let r = o + -2. Solve n + r = 3*k for k.
5
Suppose 0 = -3*w - 2*w - 15. Let n be -28*((-6)/(-4))/w. Solve 2*p - n = -4 for p.
5
Suppose -96 = -4*s - 0*s. Suppose 3*g - s = -g. Solve -g = -3*r - 18 for r.
-4
Suppose -4*n + 4*m + 32 = 0, 3*n + 4*m - 1 = 2. Let x = n + -3. Solve 0 = -3*r - x*r for r.
0
Suppose 78 = 5*p - 27. Let o = 13 - p. Let k(d) = d + 11. Let v be k(o). Solve 2*l + v*l = -15 for l.
-3
Let c = -134 - -134. Solve -f + 4*f = c for f.
0
Suppose q = -m + 4, 3*m - 2*m = 2*q - 2. Solve q*t - 3*t = -4 for t.
4
Suppose 5*r = 2*r + 21. Suppose 3*w = -3*v - 6, -14 - 12 = -3*w + 5*v. Solve -r = -w*q - 1 for q.
3
Suppose -21 = -2*t - 3*m, 3*m + 33 = 3*t + 7*m. Solve t = 2*i + i for i.
5
Let h = 9 - 7. Let u be 3/6*2 + h. Let b = -2 + u. Solve 0 = r - 2 + b for r.
1
Let t = -4 - -2. Let c = 1 - t. Solve -c*d - 4 = -d for d.
-2
Suppose 4*o + 2*y - 23 = 5, 3*o - 3*y = 3. Solve -w - o = 4*w for w.
-1
Let n(v) = -7*v - 3. Suppose u + 1 = 3*z - 1, 6 = 4*z + 2*u. Let o(y) = y + 1. Let g(s) = z*n(s) + 6*o(s). Let c be g(0). Solve -4*d = -c*d for d.
0
Let z be (-3)/6*-5 - 6/(-4). Solve -z*r + 4 + 4 = 0 for r.
2
Suppose -6*o - 24 = -4*r - 5*o, 0 = -4*r - 4*o + 4. Solve -j = -r*j for j.
0
Suppose 4*z - 1 = 7. Suppose 0 = -3*g + z*g. Solve k = -g*k for k.
0
Let j be 5/(-2) + (-3)/(-6). Let r = j - -4. Solve -l + r = -2*l for l.
-2
Let i be (0 - (-4)/3)*36/3. Solve 3*q = -q + i for q.
4
Let r(y) = 3*y**3 - y. Let w be r(1). Let u be 2/10 - (-1)/(-5). Solve -z + w*z + 2 = u for z.
-2
Let s(w) = 11*w**2 - 2*w + 14. Let t(l) = -4*l**2 + l - 5. Let r(f) = 3*s(f) + 8*t(f). Let a be r(4). Solve -a = -5*v - 1 for v.
5
Suppose 0 = u + u - 4. Let c(g) = -g**2 + 6*g + 7. Let t be c(7). Suppose 5*q + u*f = 2, t*q - 3*f = -3*q - 3. Solve -25 = -q*b - 5*b for b.
5
Let o(y) be the third derivative of y**4/24 + 7*y**3/6 - 3*y**2. Let t be o(-5). Solve -8 + 2 = t*l for l.
-3
Suppose 0 = -6*b - 33 + 153. Solve -3*p = p - b for p.
5
Let c(t) = 2*t + 26. Let i be c(-11). Solve 0 = i*l - 16 - 4 for l.
5
Suppose -4*m + 5*i + 19 = 0, 0 = i + 4 - 1. Let b be m/(-4) + (-399)/(-12). Let n be b/7 - 8/(-28). Solve 3*j + n + 10 = 0 for j.
-5
Suppose 2*b = 3*b. Solve 4 = -b*d + 4*d for d.
1
Suppose -3*h - h + 4*v = -8, 2*v + 4 = 3*h. Let p be (h - -1) + 5 + -3. Solve -p*n - 3 = 9 for n.
-4
Let r(x) = 5*x + 41. Let l be r(-8). Let d be (-2)/(-4) + 26/4. Solve 0 = -4*c + l + d for c.
2
Let i be 1896/156 - (-4)/(-26). Solve 4*m - i = -0 for m.
3
Let f(g) = 2*g**3 - 2*g + 5. Let q be f(0). Solve q = 3*j - 8*j for j.
-1
Suppose 2*h + 0*h - 24 = 0. Suppose -r = 4*r. Solve r - h = 3*f for f.
-4
Let b be (-56)/(-6) - 7/21. Let v = b + -6. Solve -v = -2*f + 5 for f.
4
Let m be 12 + 4 + (-6 - -2). Solve -3*v - m = v for v.
-3
Suppose -3*f - 2 = 1. Suppose 0 = a + 4*a - 25. Let d be (12/a)/(f/(-5)). Solve -4*q = -q - d for q.
4
Suppose -b + 22 = 5*s, -3*s + 6 = -0*s - 3*b. Suppose 2*c - 4*w - 28 = 0, 0*c + 2*c - 4 = -s*w. Solve 4*a + 0 = c for a.
2
Let o(r) = -r + 1. Let u(m) = 6*m - 10. Let v(t) = 10*o(t) + u(t). Let j be v(-5). Solve -3*k = k - j for k.
5
Let a(u) = -3*u**3 - 10*u**2 + 16*u - 9. Let j(t) = -2*t**3 - 7*t**2 + 11*t - 6. Let z(q) = -5*a(q) + 7*j(q). Let d be z(2). Solve d = -3*k - 0 for k.
-3
Let d = -12 - -20. Let w be (12/21)/(2/14). Solve w*l + d = -0 for l.
-2
Let w be ((-24)/(-21))/(2/7). Let b = -1 + w. Solve b*u = 6*u - 6 for u.
2
Let y(f) = f**3 + 4*f**2 - 5*f + 5. Let w be y(-5). Suppose -2*b = 4*m - 8, -2*m - w*b = 2*m - 8. Let d = -2 + m. Solve d*a = a + 3 for a.
-3
Suppose 3*i = -p + 2, -4*p + 2*i = -3*p - 7. Solve p*v + 14 + 1 = 0 for v.
-3
Suppose 5 = -v + f, 2*v + 4*f - 20 = -3*v. Solve v*p = -p + 4 for p.
4
Suppose 0*r - f - 10 = -4*r, -5*f = 10. Solve -1 = -j + r for j.
3
Suppose 3 = 2*z - 3. Suppose -i - 2*i = -z. Solve -i = -5*t - 11 for t.
-2
Let i = 18 + -1. Suppose -3*v = -i + 11. Solve v*n + 5 = -5 for n.
-5
Suppose 2*w = 3*r - 5 - 6, 0 = 4*r - 20. Suppose w*i - 4*i + 4 = 0. Let u be (2 - 1)/(1/i). Solve u*l = -l for l.
0
Suppose -5*c + 60 = -2*c. Solve q = 6*q + c for q.
-4
Let m = -4 + 13. Let u(s) = -s**2 + 11*s - 13. Let a be u(m). Suppose 4*f - a*t - 4 = 32, 0 = -4*t - 16. Solve -f = -x - 0 for x.
4
Let y be -2*(45/(-6) + 0). Let k = -10 + y. Suppose 2*f + 3*d - d + 8 = 0, -3*f - 2*d - 7 = 0. Solve k*u = 4 + f for u.
1
Let f(m) be the first derivative of m**2/2 + 8*m + 1. Let b be f(-6). Suppose -5*o - 25 = a, -b*a - 3*a - 5 = o. Solve -2*r + 4 = -a for r.
2
Let j(d) = -d**2 - 5*d + 3. Let h be j(-5). Solve -6 + 3 = h*f for f.
-1
Let p = 13 + -6. Solve p*n - 3 = 4*n for n.
1
Suppose 140 = 5*q + 20. Let y = 39 - q. Solve -5*g + 10 = -y for g.
5
Let v be 2 - (3 - (4 + -3)). Solve 2*x + 0*x - 2 = v for x.
1
Let b = 26 + -17. Solve 5*o + b = -11 for o.
-4
Suppose 0 = 2*c - 6 - 14. Suppose -w - 4*w = c. Let a be ((w + 2)/(-1))/2. Solve a*j = -4*j for j.
0
Let p(m) = -m**3 + 28*m**2 + 29*m + 12. Let z be p(29). Solve 3*b + 3 = z for b.
3
Suppose -2*b + 0*o = 5*o + 5, 0 = -5*o - 5. Suppose 5*t - 7*t + 14 = -2*p, b = 2*t - 5*p - 26. Solve -t - 2 = h for h.
-5
Let t be 9 + 0/(-1 + 3). Suppose -4*y + 5*r + 0*r - t = 0, 3*r = -y + 19. Solve y*s = -s for s.
0
Suppose -4*y + 120 = a + 3*a, -y + 130 = 5*a. Let s = a + -23. Solve s*w = 5 + 1 for w.
3
Let l = 18 + -12. Suppose l = -4*y + 3*y. Let b = -4 - y. Solve -b*m - m = -9 for m.
3
Let v(h) = h + 13. Let m be v(-7). Let y(g) = g**2 - 5*g - 4. Let n be y(m). Solve 0 = o + n + 3 for o.
-5
Let b(m) be the third derivative of -m**6/24 - m**3/6 + m**2. Let a be b(-1). Suppose -8 = a*z - 24. Solve 0 = -4*s - z - 0 for s.
-1
Let t = -3 + 5. Let c = -2 - -6. Let k(g) = 2*g. Let h be k(1). Solve t*w - c = -h for w.
1
Suppose -4*o - 4*m + 19 = -1, -4*m = 12. Let s be 0/(3*o/12). Solve -4 = -s*x + x for x.
-4
Let i be 46 - (-4)/(1*-4). Let w be 2/(-5) - (-153)/i. Solve w*l + 1 = 7 for l.
2
Let s be (-3 + 10/4)*0. Suppose -3*g + 6 = -s. Solve -g*d - 3*d = 20 for d.
-4
Let c(m) = -m - 6. Let v be c(5). Let t(w) = -2*w**2 - w - 2. Let j be t(-2). Let g = j - v. Solve 2*x = -x + g for x.
1
Let b(l) = -l**2 + 5*l + 37. Let n be b(9). Solve n + 3 = -2*z for z.
-2
Let p(a) be the third derivative of a**6/120 + a**5/20 - a**4/8 + a**3 - 12*a**2. Let o be p(-4). Suppose 0 = -3*x + 4*x - 3. Solve -o*r + x*r = 2 for r.
2
Suppose 0 = -p + 1 + 2. Let f(t) = t - 6. Let j be f(-6). Let x = j + 17. Solve 2*n = x*n - p for n.
1
Let g = -62 - -68. Solve g = 5*c - 9 for c.
3
Let p(d) = -d + 4. Let s be p(6). Let c be 2 + 1/(s/16). Let t be -2 - (c - -1 - -3). Solve -3*a = -t*a + 3 for a.
-1
Let r = -55 + 55. Solve i = -r*i for i.
0
Let q = -9 + 12. Let x be (-28)/(-12) - 2/6. Let o = 2 + x. Solve 0 = -o*m + m - q for m.
-1
Let n(p) = p**2 + 3*p + 4. Let x be n(-3). Solve 0 = -v + x*v for v.
0
Let g = 8 - 6. Suppose 4*o + 5*s - 28 = 0, -3*s + 14 - 4 = -o. Let h(b) = -b**2 - b. Let n be h(0). Solve n*m - g*m = o for m.
-1
Suppose 0 = -x - 2*x + 2*a + 107, 2*x - 5*a - 53 = 0. Let h be 72/x + 4/26. Solve 2*k = -h - 2 for k.
-2
Suppose -3*b = -w + 18, 2*w + 3*b + 8 = -1. Suppose -11 = 3*s - 3*p - 2, s - 17 = -w*p. Solve 6*o - s*o = 0 for o.
0
Let n(o) = -6 - 2*o + 5*o - 5*o. Suppose -12 = r + 2*r. Let g be n(r). Solve -10 + g = 4*i for i.
-2
Let h = 222 + -220. Suppose -3*s - k = -8, 0 = 5*k - 6*k - 1. Solve s*l = -h + 11 for l.
3
Let j be 2 + (-4)/(-2)*-2. Let b(f) = -f**3 - 2*f**2 + f - 1. Let a be b(j). Let i be -2 + 3*(-4)/a. Solve i*c = 6*c + 20 for c.
-