 - x = -v*f + f, -4*d - 12 = f. Solve f = -4*k + k for k.
0
Let d(a) be the second derivative of -a**4/12 + a**3 - 2*a**2 + a. Let m be d(6). Let u be m/(-6) - 6/9. Solve 0 = -u*t + t for t.
0
Let l = 6 + -2. Suppose 2*b - 12 = -b. Suppose b*u + 8 = 4*z, -17 = -l*z + 2*u - 5. Solve r = -z*r for r.
0
Let u = -107 - -116. Solve -3*s = -0*s + u for s.
-3
Suppose 11*q - 6*q = 45. Let x = 14 - q. Solve 0 = -y + x for y.
5
Let w be (0 + (-5 - 2))*(-1 + 0). Solve 0 = 5*d - w - 18 for d.
5
Let d be (-1 - 0)*(-6)/2. Let v = 19 + -19. Let u be 1 + v + -2 + 3. Solve d*l = u*l + 3 for l.
3
Suppose 3*s - i + 1 = 4, -3*s + 3 = -2*i. Suppose 2*l - s = 11. Let q(m) = 21*m**2 - 1. Let x be q(1). Solve x = 2*h - l*h for h.
-5
Let b(y) = -y**2 - 6*y + 6. Let k be b(-6). Solve -3*w - k = 3 for w.
-3
Suppose -4*b + 15 = -5*m, 2*b + 0*m - 35 = -3*m. Let j(z) = z**2 + 2*z - 3. Let w be j(-4). Solve 0*s = -w*s - b for s.
-2
Let r = -5 - -8. Let h(o) = -o + 5. Let c be h(r). Solve 4*y - c*y = 2 for y.
1
Let x(y) = y - 74 + 74. Let r be x(3). Solve r*q = -5 - 1 for q.
-2
Let t be (132/(-2))/(-2) + (-4)/(-2). Solve -t = -5*y - 10 for y.
5
Let h(x) = x**3 + 14*x**2 - 17*x - 22. Let a(f) = 3*f + 3. Let y be a(-6). Let k be h(y). Solve 5*v - k - 12 = 0 for v.
4
Suppose 2*u - 10 = 7*u. Let x = -25 + 28. Let g = u + x. Solve 0 = -w + g for w.
1
Let z = 4 + -4. Suppose p + 4*m - 4 = 2*p, 4*m = z. Let j = 6 + p. Solve j*l - 1 = 5 for l.
3
Suppose -5*o = -4*o - 2. Suppose o*q = -q. Solve -4*h = -q*h for h.
0
Suppose -d = -5*x + 15, -5*d - 2*x - 3*x + 45 = 0. Suppose 5*a - 7 = -3*n + 16, 0 = -5*a - d*n + 25. Solve l = a*l for l.
0
Let m(c) = c**2 - 2. Let x be m(2). Let b(u) = 5*u**2 - 2*u + 2. Let y be b(x). Suppose 0 = -6*t + 3*t + y. Solve -5*z + t = -19 for z.
5
Let c(k) = -k**2 - 4*k + 7. Let z be c(-5). Suppose 3*p = p. Suppose -5*g = 4*j - z, g + 4*j + 0*j + 6 = p. Solve g*l - 3 = 3 for l.
3
Let z = -124 - -216. Let n = z - 62. Suppose -3*w - 2*w = -n. Solve w = o + o for o.
3
Let c(o) = -o**2 - 2*o. Suppose 5 = 5*f + 3*l - 8*l, -4*l - 16 = 2*f. Let n be c(f). Let v = -97 - -101. Solve -v*i + 19 - 3 = n for i.
4
Let s be ((-50)/(-15))/((-2)/(-3)). Solve -1 - s = 2*t for t.
-3
Let s(r) = -2*r**3 + 3*r**2 - 1. Let c be s(2). Let b = 15 + c. Solve -b = 7*q - 2*q for q.
-2
Suppose -2*j = -j. Let m = 1 + -7. Let p be (-2)/m*9/1. Solve 3*g = -p - j for g.
-1
Let x be (-8)/2*2/4. Let l be (-14)/x + (4 - 7). Solve 6 + l = 5*f for f.
2
Let j(m) = 2 + 3 + m - 5. Let d(y) = -4*y**3 - 2*y - 1. Let u be d(-1). Let s be j(u). Solve -s*b - 5 = -0 for b.
-1
Let f = -23 - -26. Solve 0 = -s + f*s for s.
0
Let h(s) = -87*s. Let r(n) = -n**2 + 9*n + 2. Let p be r(9). Let l be h(p). Let k be l/(-21) + 2/(-7). Solve 4*g + k = 4 for g.
-1
Suppose -3*i + h + 2 = 0, 4*i - 2 = 2*h + 4. Let r be (2 - 2)/(-3) - i. Solve 5*x + r = 6 for x.
1
Let i be 13 + ((-8)/4)/1. Solve -4*w + i - 31 = 0 for w.
-5
Let l = -38 + 38. Solve l*h = -2*h for h.
0
Let f be 16/(-6)*3/(-2). Suppose 5*t - 16 = f. Solve -3*l - t - 2 = 0 for l.
-2
Let a(o) = o**3 - 5*o**2 - 4*o - 8. Let p be a(6). Let z(k) = -k**2 + 6*k - 2. Let t be z(p). Solve -2*v = -0*v + t for v.
-3
Let q be 26/6 - (-3)/54*-6. Solve 2*j = 6 + q for j.
5
Let s = -9 + 19. Solve 0 = -7*x + 2*x + s for x.
2
Let g be (2 + -1)*(-2 - -7). Suppose 2*a + 4*j = -2*a + 24, -2*a - g*j = -12. Solve d + a = -d for d.
-3
Let y(f) = -f**3 + 7*f**2 - 6*f + 2. Suppose -3*p + 2 = -2*p. Suppose u = -4*u - d + 32, 4*d - 20 = -p*u. Let r be y(u). Solve 4 = l - r*l for l.
-4
Suppose -28 - 4 = -3*s - 4*w, 3*w + 15 = s. Solve 3*c - s = -c for c.
3
Suppose -f + 6*f + 45 = 0. Let a = 0 - f. Suppose -6 = -4*l + 2*p + 4, 0 = -3*l + 5*p - 3. Solve l*n + 21 - a = 0 for n.
-3
Suppose 4*g = 16*g - 120. Solve 0 = -l + 3*l + g for l.
-5
Let c(v) = -2*v**2 - 3*v + 12. Let h be c(2). Suppose r - 10 = -4*j - 3, -4*r = 4*j - 4. Let i be (r/h)/(2/8). Solve -i = -3*g + 4*g for g.
-2
Let o = -48 + 50. Solve -o = 2*c - 0 for c.
-1
Let w be (-6)/3 + (0 - -50). Suppose -2*r = -3*a - 28, r = -4*r + 2*a + w. Solve 3*c = -c - r for c.
-2
Suppose -3*k - 1 + 7 = 0. Solve -k*p = p for p.
0
Let w(d) = -14*d**3 - 24*d**2 + 38*d + 21. Let m(r) = 5*r**3 + 8*r**2 - 13*r - 7. Let g(x) = 11*m(x) + 4*w(x). Let h be g(-9). Solve 0 = h*a - 2*a - 20 for a.
4
Suppose -5*p + 5*m = -5 - 10, 5*p = m + 19. Suppose 2*y = -p*a + 6, -10 = -5*y + a + 5. Suppose y*b - 4 - 2 = 0. Solve 0 = b*u - 0 + 10 for u.
-5
Suppose 2*j + 1 = 13. Solve -r - j = -4*r for r.
2
Suppose -2*b + 31 = 3*h, -5*b - 18 = 2. Let r be ((-4)/8)/(2/(-16)) + 1. Solve r*n + h = -2 for n.
-3
Suppose 32*q - 18*q - 280 = 0. Solve 0*h = -5*h - q for h.
-4
Let l(d) = d + 5. Let q be l(-5). Solve q = 5*u + 3 + 17 for u.
-4
Let p = 31 - 11. Solve -3*i = 2*i - p for i.
4
Let w(x) = -x**3 - 11*x**2 + 12*x + 4. Let k be w(-12). Suppose -59 - 5 = -k*p. Solve z = 5*z + p for z.
-4
Let u(x) = -x - 1. Let r be u(-3). Suppose -5*o + 5 - 15 = -r*i, -i = 4*o - 18. Solve -3*a - i = 2*a for a.
-2
Suppose 5*n - 9 = 2*n. Suppose -n*p = 2*p - 20. Suppose -2*m + 0*m + p = 0. Solve -4*c = -m*c for c.
0
Let g be 12/5 - (-12)/(-30). Suppose 19 = -2*r + 5*i, 5*r - 25 = -0*r - g*i. Solve -4 - 2 = r*d for d.
-2
Let w = 51 - 49. Solve 2*z + 12 = -w*z for z.
-3
Suppose 36 = -8*r + 6*r. Let j = -68 + 28. Let s be j/r - 10/45. Solve 2*u - s = -0*u for u.
1
Let l(b) be the third derivative of b**6/120 - 7*b**5/60 + 2*b**3/3 - 2*b**2. Let x be l(7). Solve 0 = -3*s + x - 19 for s.
-5
Let y(s) = s**3 + 5*s**2 + 7*s + 4. Let i be y(-3). Let j(f) = f**3 - 2*f**2 - f - 1. Let n be j(3). Suppose i = -4*k + n. Solve k = -u + 2 for u.
1
Suppose 0 = 4*t - 2*t - 6. Let w = t + -1. Solve -z = -w*z - 1 for z.
-1
Let c = 10 - 10. Suppose c = 4*i + i - 25. Suppose -i*y + 15 = -2*y. Solve 0 = -3*g - 7 - y for g.
-4
Let s(f) = f**3 - 7*f**2 - 6*f - 4. Let v be s(8). Solve i - v = -3*i for i.
3
Let i be (15/20)/(-3)*-20. Solve 0 = i*w - 20 + 5 for w.
3
Suppose -4*o - 26 = -5*m, 4*m = -m - 5*o + 35. Suppose -3*f + 15 = -m. Solve f*d = 3*d - 12 for d.
-3
Suppose 5*l = -0 + 35. Solve 4 = 6*x - l*x for x.
-4
Let t = 130 + -121. Solve t = -0*g + 3*g for g.
3
Suppose -3 = 5*q - 4*h - 13, -2*q = -5*h + 13. Solve -q + 0 = -2*o for o.
3
Let p be -2*14/(-8)*4/7. Solve 0*b = -p*b for b.
0
Let b be (-10)/4*-2*-1. Let l(i) = -i - 3. Let z be l(b). Suppose p + 3*v - 33 = -4*p, -3*p = -2*v - 16. Solve -z*x - 2 = p for x.
-4
Suppose -5*o = -s - 7, -s + 2 = 5*o - 11. Let a be (-4 - -3 - 2) + 9. Solve a = s*z - 9 for z.
5
Let k = -4 + 3. Let r be (2 + -2)/(0 + k). Suppose 0 = -c - 3*w, -2*c + 0*w - w = r. Solve g + c + 2 = 0 for g.
-2
Let h = -1 + 9. Suppose -h = -10*i + 6*i. Solve i*u = 5*u + 6 for u.
-2
Suppose 5*w = 5*b - 20, -2*b + 4*w = -0 - 4. Solve f + b = 1 for f.
-5
Suppose 0 = 3*t + 1 + 17. Let v = -4 - t. Let h = 5 - v. Solve -r = -2*r + h for r.
3
Suppose -5 = 2*y - 5*z + 3, 2*z = -2*y - 8. Let m be (-1 + y/(-4))*-1. Solve m = 2*f - 6*f - 4 for f.
-1
Let z be 3/9 + 82/6. Suppose h + 0 = z. Suppose -4*c + h = -2. Solve 1 = 3*y + c for y.
-1
Suppose 2*u - n - n + 12 = 0, 0 = -u - n - 6. Let a be (2/u)/(2/(-12)). Solve -2*b + b + a = 0 for b.
2
Let o(l) = -5*l - 8. Let i be o(-2). Solve -i*a = -3*a - 5 for a.
-5
Let p(z) = z**3 - 2*z**2 + z - 1. Let f be p(3). Let d = 0 + f. Solve -5*g - 4 = d for g.
-3
Suppose -13 - 7 = -5*j. Solve 0*i - j*i + 20 = 0 for i.
5
Suppose 0*j + 4 = -2*j - 3*l, 0 = -4*l - 16. Solve -q + j = -2*q for q.
-4
Let f = -6 - -11. Suppose f*a + 3*g + 18 = -2, -a - 2*g + 3 = 0. Let i(z) = -3*z - 7. Let v be i(a). Solve -4 + v = 2*m for m.
5
Let h be (2/3)/(4/30). Suppose 4*k - 5*k = -h. Solve -k*i - 2 = 13 for i.
-3
Let i(x) = x**2 + 7*x + 9. Let k be i(-6). Suppose -2*u = k*u. Solve -2*m - m = u for m.
0
Let q be (-1)/(1 + -2)*1. Let s(m) = -m**3 + 6*m**2 + 8*m - 5. Let h(o) = -o**3 - 5*o**2 + 4*o - 5. Let g be h(-6). Let k be s(g). Solve -q = f - k for f.
1
Suppose -b + 1 - 35 = 4*z, -10 = 2*z. Let h be (-13)/(-26) - b/4. Suppose n + 0*n = 4. Solve n*j + h - 20 = 0 for j.
4
Let f(p) = p - 12. Let o be 11 + (-2)/(-2) + 0. Let m be f(o). Solve m = 5*v - 2*v - 6 for v.
2
Suppose -2*i = -5*c - 111, 2*c - 4*i + 11 = -43. Let w = c - -27. Solve 3*m - w = 5*m for m.
-3
Let c(m) = -3*m**2 + 2*m*