Let s = 41 + -29. Let c be s/4*(2 + -1). Solve -l + c = 6 for l.
-3
Suppose 5*c + 5 = 20. Suppose c*o - 8*o = -40. Suppose -p + 3*a - 11 = -0*p, o = 2*a. Solve 0 = -x - p for x.
-1
Let n(r) = -4*r - 10. Let y(v) = -5 + 0*v - 4 - 5*v - 1. Let m(s) = -4*n(s) + 3*y(s). Let h be m(-5). Solve -h*i - 8 = -i for i.
-2
Suppose 7 = 3*f + 1. Solve 4*n + 4 = f*n for n.
-2
Let t be (-2 + 2)/((-2)/1). Suppose 0 = -t*k + 4*k - 16. Let f be k - (2 + -1)/1. Solve -f = -2*i + 3 for i.
3
Suppose 3*s = 4*s. Solve 6*o - 2*o + 12 = s for o.
-3
Suppose -c = 2*s + 4, 2*s = 3*s + 2. Solve c = 4*b - 0 + 4 for b.
-1
Suppose 40 = 4*q + r, -3*q + 0*q + 3*r = -30. Solve 0 = -x - 4*x + q for x.
2
Let g(z) = -z**3 - 6*z**2 + 6*z - 3. Let m be g(-7). Let p = m - 2. Solve -3*t = 10 + p for t.
-4
Let c be (-16)/(-40) - 36/(-10). Solve -c*n + n = 6 for n.
-2
Suppose 2*o - o = 0. Let y be (o + -1)*15/(-5). Suppose y*f + 2 = 11. Solve -f*h = -7*h + 12 for h.
3
Let y be 456/88 - (-2)/(-11). Solve y*t - t = -20 for t.
-5
Let w = -48 + 48. Solve w*k + 16 = -4*k for k.
-4
Let l(i) = -2 + i - 2 + 0 - 1. Let s be l(7). Suppose -7*b = -s*b - 20. Solve -8 - b = 3*d for d.
-4
Suppose -3*w + 7 = -5. Suppose w*o - 3*g - 1 = 0, -4*o - o = -3*g - 5. Suppose -5*t = -q - 0*t + 22, 40 = 4*q + o*t. Solve -3*l + q = l for l.
3
Let b(r) = 3*r - 54. Let t be b(18). Solve 0 = -5*j - t*j for j.
0
Let u = 49 - 30. Suppose -3 = d - 1, 2*d + u = 5*t. Solve -5*z + 28 - t = 0 for z.
5
Let f(t) = t**2 - 1. Let w(y) = -y**3 + y**2 + 6*y - 6. Let r(h) = -6*f(h) + w(h). Let l be -5*1 + 1 + -2. Let o be r(l). Solve o = -4*m + m for m.
0
Let g = 10 + -9. Solve -1 = 2*l + g for l.
-1
Suppose 0*z - 33 = -z - 2*o, 3*o = 5*z - 113. Suppose 0*p = -5*p - x + 5, p + 5*x = z. Solve 5*h + 15 - 5 = p for h.
-2
Suppose -3*g - 3*t + 6 = -0*t, 2*t = -2. Solve -14 - 1 = g*i for i.
-5
Suppose -3*b = -138 + 129. Solve 13 + 2 = b*w for w.
5
Let r be ((-18)/(-4))/((-3)/(-18)). Suppose 6*l + 2*j = l + r, -4*l - j + 21 = 0. Suppose -l = -2*t - 3. Solve 0*d = -d + t for d.
1
Let t(j) = 2*j**2 + j - 2. Let v be (-7)/2 - (-5)/10. Let k be t(v). Solve 3*u - k = -1 for u.
4
Let m(y) = -y**3 + 7*y**2 + y - 5. Let c be m(7). Let r(b) = 1 - 1 - 7 + 6*b + 3 - b**c. Let n be r(5). Solve -1 = -o + n for o.
2
Let l be (-6 - -3)/1*-1. Suppose l*s + 2*s + 10 = 0, -2*t + 20 = -2*s. Solve 5*m - 2 = t for m.
2
Let a(v) = v**3 - 7*v**2 + v - 5. Let o be a(7). Suppose o = 3*f - 4. Suppose -k + 4*t = -22, f*k - 3*t = 5*k - 6. Solve -k*n + n + 15 = 0 for n.
3
Let g(y) = y**2 + 14*y + 37. Let m be g(-11). Solve f - 15 = m*f for f.
-5
Suppose 3*x = -f + 5, 0 = -4*x + 4*f - 7 + 19. Solve -8 = 6*i - x*i for i.
-2
Let l(n) be the third derivative of n**6/720 + n**5/15 + n**4/12 - n**2. Let c(r) be the second derivative of l(r). Let h be c(-6). Solve h*a = -a for a.
0
Suppose -7*s + 4*x = -2*s + 7, -4*s + 2*x - 2 = 0. Let i be (-6)/(-2) + (1 - s). Solve i = -2*a + 1 for a.
-1
Suppose 3*p - 4 - 5 = 0. Suppose -p*i = 3 - 9. Solve i*t = -3 - 1 for t.
-2
Let b be 42/2*(-2)/(-2). Let l = 23 - b. Solve l*t = t for t.
0
Let w be ((-1)/(-2))/((-6)/(-12)). Solve 2*l + 5 - w = 0 for l.
-2
Let b(x) = -5*x**3 - x**2 + x + 1. Suppose -1 = -5*r - 6. Let h be b(r). Solve h*o - 2*o = 0 for o.
0
Suppose -l + 1 = o, o + 4 = -4*l - 7. Solve o = 4*r - 11 for r.
4
Let n(b) = b + 15. Let k be n(-9). Suppose 0 = -3*t + k - 3. Let g be 2 + (2 - 3) - t. Solve g = -2*r + 8 for r.
4
Let c(r) = 0*r**2 + 0*r**3 + 0*r**2 + 2*r**3. Let f be c(1). Suppose -5*k + 40 = 3*g, 0 = -f*g - 3*g - 4*k + 58. Solve 0 = -d - d - g for d.
-5
Suppose 3*m = 7*m - 28. Suppose m*j = 2*j. Let i be 36/(-48) - (-7)/4. Solve p + 0 + i = j for p.
-1
Let v be (-10)/(-15) - 26/(-6). Suppose -10 = -0*q - v*q. Solve a = q*a for a.
0
Suppose 4*x = -3*z - z + 4, 0 = -4*z + 2*x + 4. Suppose 4 - 6 = -2*t. Let f = z - t. Solve 3*c + f*c - 6 = 0 for c.
2
Let k be 1 + 9 - (-7 - -7). Let d be (8/k)/(1/10). Let g = d + -3. Solve -g*v + 7 = 22 for v.
-3
Let w be 5*1 - 24/6. Solve w = -5*u - 14 for u.
-3
Let c be (12/10)/(3/40). Let z be (c/20)/((-2)/(-5)). Let x be 129/6 + (-1)/(-2). Solve 0 = 4*a - z + x for a.
-5
Let q(h) = h**2 - 6*h + 3. Let m(o) = 4*o**2 + 9 - o**2 - 18*o + 0*o + 0*o. Let t(l) = -6*m(l) + 17*q(l). Let n be t(5). Solve -n = -z + 1 for z.
3
Let t be (-70)/(-21)*(-18)/(-4). Solve 2*w - 7*w = -t for w.
3
Suppose -2*p - 4*y + 56 = 2*p, -5*y = -25. Suppose -4*k - 36 = -4*n, -2*n + 3*k = -n - p. Solve -4*b - 3 = n for b.
-3
Let t(u) = u**3 - 4*u**3 + 2*u**3 + 12. Let n be t(0). Let w = 11 - 7. Solve w*h = h + n for h.
4
Suppose -4*j + 2*q = -2, 5*j + 0*q = -4*q - 30. Let l = j + 5. Solve l = 4*s + 23 for s.
-5
Let y(c) be the second derivative of c**4/12 - c**3/6 + 2*c. Let n be y(1). Solve 2*s + 0 - 10 = n for s.
5
Let v(p) = p**3 - 7*p**2 + 7*p - 1. Let k be v(6). Suppose -3*w = -k*c - 5*w + 9, 3*w - 9 = -3*c. Solve z + c = -1 for z.
-2
Suppose -3*c - 4*t + 23 = 0, -2*c = -0*c + t - 12. Solve h + c = -0*h for h.
-5
Let o(v) = -v**2 + 2*v + 6. Let m be o(3). Solve -15 = 4*t - m for t.
-3
Suppose 5*f + 255 = 2*r + 3*r, 4*r + 36 = -f. Let c be f/(-9)*30/8. Solve 0 = -2*b + 6*b + c for b.
-5
Let h = 138 - 104. Solve -h = -5*o - 9 for o.
5
Let s = 5 - 2. Let i be -1*(-3)/3*0. Solve 2*k - k - s = i for k.
3
Let o = -7 + 10. Suppose -91 = -3*n - 4*x, o*n + 0*x + x = 79. Solve 3*u - 8*u - n = 0 for u.
-5
Suppose -o - 1 + 4 = 0. Suppose 3*j = -4*l + 145, -o*j = 2*l - 76 + 11. Let w be (l/(-15))/(4/(-6)). Solve 2*z = w*z for z.
0
Let p = -38 - -68. Suppose -f + g - p = -4*f, 53 = 4*f - 3*g. Solve 5*o + 14 = -f for o.
-5
Suppose -3*p = 28 - 4. Let i = p - -11. Solve -i*j + 8*j - 25 = 0 for j.
5
Let r(t) = t**2 - 4*t + 3. Let q be (-30)/(-25)*20/6. Let w be r(q). Solve w*p - 6*p = 6 for p.
-2
Let h = 20 - 20. Solve h = -0*n + n - 2 for n.
2
Let m be -5*3*1/5. Let g(v) = -2*v - 2. Let u be g(m). Solve 2*f = u*f for f.
0
Let n be (-1)/(-2 - (-45)/21). Let y(f) = -3*f + 6. Let v(p) = p - 1. Let k(b) = -4*v(b) - y(b). Let u be k(n). Solve 0 = -u*q - 13 - 2 for q.
-3
Suppose -5*a + 3*a + q = -8, a = 4*q + 4. Solve -a*o + 0 = -16 for o.
4
Let n be (8/(-12))/(1/(-6)). Solve 1 = n*i - 3*i for i.
1
Suppose -2*p - 2*p + 32 = 0. Let y be ((-2)/4)/((-2)/p). Let h be 8/(24/(-15) + y). Solve -8*x + 3*x = h for x.
-4
Let w(d) be the first derivative of d**4/4 - 2*d**3 - 3*d**2 - 5. Let z be w(7). Solve -4*u = 1 + z for u.
-2
Let k be 2/(-8) - (-174)/24. Suppose -2*v = 2*o - k + 3, 0 = 4*o + v - 8. Solve 4*b + 6 = -o for b.
-2
Let g(p) = p**2 + 6*p - 8. Let h be g(-8). Solve l + l = -h for l.
-4
Suppose -2*r - 40 = -3*b - 3*r, -b + 32 = 5*r. Suppose 16*h - b*h = 20. Solve 0*d + h = d for d.
5
Suppose 4*q + 3*m - 8 = -m, -4*q - m = -8. Solve 3*o + 25 = -q*o for o.
-5
Let x(u) = -u + 7. Let r be x(4). Let a = r - -2. Suppose 5*y + 4*h + 0*h - 17 = 0, 4*y + 11 = a*h. Solve 0 = 3*c - 10 + y for c.
3
Let u = 1 + -1. Solve u*s = 4*s - 4 for s.
1
Suppose 26 = -2*c + 4*o, 0*o - o + 38 = -4*c. Let l be (1 - 2)/(2/6). Let t be (2/l)/(2/c). Solve -t*z + 5 = 2 for z.
1
Let r be 2/6*(0 + 0). Solve r*u + 4*u - 20 = 0 for u.
5
Let p = -64 + 67. Solve p*n = 5*n for n.
0
Let s(o) = 12*o**2 + o + 1. Let q be s(-1). Suppose 0 = 4*l + 3*j + j - q, 0 = 5*j - 5. Solve -l*d + d = 2 for d.
-2
Let x be (-4)/(-14) + 120/21. Let y be x/4 - 21/14. Solve 3*p - 4 + 1 = y for p.
1
Let z(n) be the first derivative of n**4/4 + 2*n**3/3 + 4*n + 2. Let v be z(-3). Let q = 6 + v. Solve q = k + 5 for k.
-4
Let r(n) = n**3 + 9*n**2 + 9*n + 8. Let g be r(-8). Solve -3*b = -g*b for b.
0
Suppose -b = 4*b - 25, 4*y - 3*b - 1 = 0. Solve 3*j = -j + y for j.
1
Let s be 2 - (-1)/((-2)/(-6)). Solve s*h + 3 = 2*h for h.
-1
Suppose 5*z = -3*z. Solve -a - a = z for a.
0
Suppose 25*m = 26*m - 4. Solve -h = -m*h - 9 for h.
-3
Let k = 4 - -4. Let n = -6 + k. Suppose 4*l - 11 + 3 = p, -n*l + 2*p + 10 = 0. Solve l = -m - 0 for m.
-1
Suppose x = -x + 6. Let s = 8 + -14. Let o = 0 - s. Solve -x*p = -o*p for p.
0
Let m = 28 - 39. Let c = m - -11. Solve c*s = -2*s + 10 for s.
5
Let z(l) = -22*l + 2. Let w be z(-1). Let r be (-3)/(w/52)*-2. Solve 3*k = -1 + r for k.
4
Suppose -3*u + 9 = 2*n, -2*u = 2*n - 6*n + 10. Suppose 4*t - x = u, 2*t + 0*t - 2 = 2*x. Solve t*b - 6 = 3*b for b.
-2
Let 