ppose -x - 6*m = -2*m + u, 5*m + 32 = 2*x. Let b = 8 - x. Solve 10 = 4*p - b for p.
3
Let o(i) be the third derivative of -i**6/120 - i**5/15 + 5*i**4/24 + i**3/2 - 4*i**2. Let n be o(-5). Solve 0 = -n*q - q for q.
0
Let h(c) = 2*c**2 - 2*c - 2. Let v be h(2). Let m(r) = r**2 + 3*r + 6. Let t be m(0). Solve t = -z + v for z.
-4
Suppose 4*x = -0*x. Let c(f) = f**3 - f + 1. Let w be c(x). Solve -p + w = -0*p for p.
1
Let s(w) = -w**3 + 3*w**2 + 6*w - 4. Let z = -6 - -10. Let y be s(z). Let x = y + -1. Solve -x*i - 2 - 7 = 0 for i.
-3
Suppose 0 = 2*f + 4*z - 7*z - 19, 0 = 3*z + 15. Solve f*j = 7*j for j.
0
Let l(x) = -x - 12. Let a be l(-5). Suppose 0*s - 3*b - 7 = 2*s, 3*s = 5*b + 18. Let q be (1/1)/s - a. Solve j = -j + q for j.
4
Let o(x) = x**3 - 5*x**2 - 4*x + 4. Let l be o(6). Let k = -11 + l. Suppose 0 = -0*h + h + 2, 3*h = 4*q - 66. Solve 0*g + k*g - q = 0 for g.
3
Suppose -3 = -i + 2. Suppose 4*h - 28 = i*r, 4*h + 5*r = -15 + 3. Solve -h*f - 10 = -0*f for f.
-5
Suppose -2*x - 3*x + 250 = 0. Suppose 3*r = 8*r - x. Solve -5*u - r = 15 for u.
-5
Let b be (-9)/(-4)*(-48)/(-18). Solve 9*m - 9 = b*m for m.
3
Let w be 52/16 - (-1)/(-4). Suppose 0 = h - n - 13, -5*h + w*n + 57 = -0*h. Let t be (-1)/((-7)/3 - -2). Solve -t*l + 3 = -h for l.
4
Suppose -2*j = -20 - 4. Suppose 0 = 3*a - 6*a - j. Let i be (-3)/(-2)*(-8)/a. Solve 2*u + i*u + 15 = 0 for u.
-3
Let c(j) = j**2 - 5*j + 6. Let t be c(4). Let s be 14 - 10 - (-1 + 3). Solve t = -s*g - 2 for g.
-2
Suppose 4*l = 1 + 7. Solve 4*d - l = 18 for d.
5
Suppose -3 = 4*r - 15. Solve -2*c + r*c = -5 for c.
-5
Let s be 0 + -1 - -4 - -7. Let v be s + -6 + 2/(-2). Suppose -5*h = -2*n - 17, -2*n = v*h - n - 8. Solve -h*d = -d for d.
0
Let m = -23 - -12. Let c = -8 - m. Suppose 4*f = -0*f - c*w, 0 = 4*f - 3*w - 24. Solve -f*l - 21 = -6 for l.
-5
Let q(d) = -d**2 - 3*d + 3. Let j(v) = 2*v**2 - 2*v - 2. Let l be j(2). Let b = -5 + l. Let p be q(b). Solve 0 = p*y + 2*y for y.
0
Let x(u) = -5*u + 4. Let l(h) = h - 1. Let w(i) = -9*l(i) - 2*x(i). Suppose -2*y + 0 = 2. Let v be w(y). Solve v + 6 = 3*c for c.
2
Suppose -i - 3 = -5*a - 1, -30 = -3*i - 3*a. Let b be 1*2*1/2. Let h be (i + -1 + b)*1. Solve -o - 3 = -h for o.
5
Suppose 3*s + 2 = 3*i - 4, -5*s = -4*i + 6. Suppose -3*j + 30 = 12*j. Solve -2*r - j = -i*r for r.
1
Suppose 0 = 3*d + d - 12. Suppose -j + 2 = h, 5*j - h + 5*h - 10 = 0. Solve j*n = -n + d for n.
1
Let o(r) = -5*r**2 + 2*r - 1. Let h(p) = -p**2. Let u(w) = -6*h(w) + o(w). Let j(g) = 5*g + 16. Let c be j(-3). Let x be u(c). Solve -x = -b - 0 for b.
2
Suppose -7 = o + 5*g, -2*g - 13 = -o + 3*g. Suppose -4*s = -o*s - 5. Solve 5*i = -0*i - s for i.
-1
Let p(i) = i**2 + 6*i + 2. Let h be p(-6). Let c be (1 - 2)*2/h. Let j be (-2)/3*12/c. Solve 4*v = j*v for v.
0
Let r be (-5)/((-40)/12)*2. Suppose -4*m + r*n = 1, 2*m - m - n + 1 = 0. Solve 4*d = m*d for d.
0
Let v be (-2)/(6 + 320/(-52)). Solve 5*w - v = 12 for w.
5
Let v(x) = x**3 + 5*x**2 - 7*x - 7. Let b be v(-5). Suppose k + 22 = 5*l, 5*l + k - 5*k - b = 0. Solve l*d + d = 0 for d.
0
Let x be 1*8 - 0 - -2. Suppose 0 = -i + 5*i - 144. Let a be 3/(-5) + i/x. Solve a*d + 14 + 1 = 0 for d.
-5
Suppose -3*x - 4*k + 30 = -5*k, 2*x = 5*k + 7. Suppose x = 4*s + 3. Solve r = 1 + s for r.
3
Let q = 86 - 16. Suppose 4*j - q = -j. Let z be (-5)/(-2) + (-1)/(-2). Solve -z*u - j = -2 for u.
-4
Let i be 10/(-35) - 12/7. Let r be (i/(-3))/1*3. Suppose -2*s = 2*k, -4*s = k + r*k - 1. Solve -1 - s = a for a.
-2
Let m(s) = s**2 - 2*s + 1. Let t be m(1). Suppose 0*b = 3*b - 4*z - 31, t = -2*b - 2*z + 2. Let c = 23 + -21. Solve 1 = c*q - b for q.
3
Suppose a = 2*a + 24. Let z = 40 + a. Solve -4*w = -0*w - z for w.
4
Let t be 13/((-3)/(-2) + -1). Let g = t - 6. Let i be ((-8)/10)/((-2)/g). Solve -y = y + i for y.
-4
Suppose 3*v - 36 = -3*r, v - 2*v = -5. Solve -y - r = -5 for y.
-2
Suppose 2*v - 26 - 54 = 0. Suppose y + 7 = v. Suppose -l + 16 = -5*h, y - 5 = 3*l - 5*h. Solve 2*m + l = -m for m.
-2
Let s(r) = r**2 - 13*r - 5. Let h be s(15). Solve 5*n = -0*n - h for n.
-5
Let n be (-12)/(-24)*(-42)/1. Let j = -13 - n. Solve -j = -2*m - 2*m for m.
2
Let s(o) = 4*o**3 - o**2 + 1. Let y be (1/4)/((-4)/(-16)). Let k be s(y). Solve k*l = 5 - 1 for l.
1
Let x(a) = -a. Let g be x(-2). Let o = 3 + 0. Let b(y) = y - 4. Let l be b(4). Solve l = -o*t + g*t for t.
0
Suppose -n + 2*n = 0. Let i be ((-10)/(-3))/(6/9). Solve -3*g + 2*g + i = n for g.
5
Let a be 22/4 + (-10)/20. Solve c + a = 8 for c.
3
Let v(w) be the first derivative of w**3/3 - w**2/2 - 2*w - 1. Let s be v(2). Solve 2*n + 0 - 2 = s for n.
1
Suppose -4*n = 5*g - 25, -3*g - 30 = -4*n - 13. Let b be g/2 + 22/4. Solve -r + b*r = 15 for r.
3
Let j = 0 + 0. Solve -w - 1 + 5 = j for w.
4
Suppose 0 = 2*u - 3*u + 3. Solve u*y = -y for y.
0
Let d = -6 - -10. Solve -8*u = -d*u for u.
0
Suppose 0 = 2*x + x + 5*f - 25, -3*x - 5 = -f. Solve 15 = 3*g - x*g for g.
5
Let l(x) = x + 4. Let w = 9 + -14. Let i be l(w). Let k = 2 - i. Solve 0*z - k*z - 9 = 0 for z.
-3
Suppose -5*p + 6 = -2*t, 5 = -2*p - t + 2. Suppose a + w = -3, 3*a + p*w = -2*w - 10. Let z be (-22)/a + 4/(-8). Solve -1 = -z*x - 11 for x.
-2
Let p be 6 + 2 + 0 + 1. Solve p = -4*t + t for t.
-3
Suppose -2*d + 8 + 4 = 4*t, 0 = -3*t + 4*d + 9. Suppose -4*h + 1 = -t. Solve 5*n + 21 = h for n.
-4
Suppose -d = 4 - 0. Let j be 38/5 + d/(-10). Solve 3*w - w - j = 0 for w.
4
Suppose -9 = -57*s + 54*s. Solve 0 = -3*x - s for x.
-1
Suppose -5*t + 0 + 15 = 0. Let f be (8/(-10))/(6/(-75)). Solve t*c = -2*c + f for c.
2
Let x be (-245)/(-77) + (-2)/11. Suppose -4*u + 29 + 1 = -2*l, x*u - 5 = -2*l. Solve -k = -u*k + 20 for k.
5
Suppose 5*h = 4*j - 16, -j + h + 1 = -3. Solve 0 = -y + j*y + 6 for y.
-2
Let y be -2 - -8 - (-2)/(-2). Let t = 53 + -59. Let s be t/10 + 23/y. Solve s*c + 12 + 8 = 0 for c.
-5
Let p be 2/(-3) + (-8)/(216/(-99)). Solve p*g = -2*g for g.
0
Let m = -12 - -14. Solve -g + 0 = m for g.
-2
Suppose -v = -d + 3, -2*v + 16 = 5*d + 1. Suppose d*y - 4 = 2. Suppose 0 = -y*t + 4. Solve t*x = -x for x.
0
Suppose 0 = -2*k - 10, 4*x + 13 = -0*x - 5*k. Suppose x = -2*q + 11. Solve 0 = -0*t + t - q for t.
4
Let x(t) = 3*t + 6. Let w be x(-4). Let s = w - -3. Let b be 3 - (-1)/((-1)/s). Solve -i - i = -b for i.
3
Let a(k) = k**3 - k**2 - k - 1. Let z be ((-6)/(-12))/(1/4). Let w be a(z). Suppose -2*v = -w - 9. Solve -h - 4 = -v for h.
1
Let y be 712/32 + 2/(-8). Let x = y + -19. Solve 0 = x*q + 4 - 13 for q.
3
Suppose 18 = 6*p + 12. Suppose 0 = 3*k + 2*k - 20. Solve -b + p = -k for b.
5
Suppose 0 = 3*a, 5*a = -5*u - 0*a + 50. Let z be 46/u - 12/(-30). Solve 22 = z*x + 2 for x.
4
Let f(a) = -a + 13 - 2 + 3 - 1. Let z be f(9). Solve 2*h = h - z for h.
-4
Suppose -9*a = -25*a + 96. Let p = -3 + 0. Let l be (-10)/p*12/10. Solve a = -5*t - l for t.
-2
Let n be -1 + 9 + 0*3/(-6). Solve -n = -x - 5 for x.
3
Let g = 6 - 3. Let x = g + 29. Suppose 0 = -v + 4*y + y + 24, -4*y = -4*v + x. Solve 0 = 2*b - v*b for b.
0
Let q(g) = g**3 - 10*g**2 - 11*g + 5. Let t be ((-51)/(-2))/(2/4). Suppose -18 = 3*d - t. Let a be q(d). Solve -a*z + 4*z = -4 for z.
4
Suppose 3*x - 50 = -44. Solve 15 = x*q - 5*q for q.
-5
Suppose -6*f + 15 = -f. Let k be 3 + 0 + f + -2. Solve -a = a - k for a.
2
Suppose 4*i + i = -10, 2*d + 5*i = -2. Let f be 8/36 - 2/9. Suppose -n + 7 = a - 3, a - d*n - 5 = f. Solve 2*h + h = a for h.
3
Suppose 0 = y - 2. Let v = 7 - y. Suppose -3*t + v*q - 1 = -6*t, 2*t - 7 = 3*q. Solve -2*p = t*p - 4 for p.
1
Let b(c) = 4*c + 15. Let l(n) = 3*n + 10. Let a(o) = 5*b(o) - 7*l(o). Let i be a(0). Solve i*j = 2*j - 6 for j.
-2
Suppose -24 = -4*h - 6*s + 3*s, 0 = 3*h + s - 18. Let p be 0 + 2/3*h. Solve 3 + 1 = -p*a for a.
-1
Let j(z) = z**3 + 6*z**2 - 9*z - 7. Let a be j(-7). Let c = a - 6. Solve n + 0*n = c for n.
1
Let v = 23 - -7. Let t = v - 27. Solve 0 = -2*g + t*g + 5 for g.
-5
Suppose 14*w - 20 = 9*w. Solve 2 = -2*x + w for x.
1
Let y be -4*(-3 - 15/(-6)). Suppose 3 = -h + y*h - 3*d, 4*h - 57 = -3*d. Solve -3*i + 0 = h for i.
-4
Suppose 3*r - 13 = -2*g, -g + 3*g - 3*r = -5. Let d(k) = -k + 14. Let q be d(10). Suppose 0 = -2*m + q + 4. Solve 3*l = -m - g for l.
-2
Suppose -g - 12*g + 39 = 0. Solve -4*x = 5 + g for x.
-2
Let t(a) = a**2 - 8*a + 7. Let o be t(7). Solve o*r - 10 = -2