3, -2*s - 42 = 3*m. Let g = -18 - m. Let w be (-12)/8*20/g. Solve w*f + 16 = f for f.
-4
Suppose 0*b - 4 = b, 2*z - 4*b = 22. Suppose z*h = 4*h. Suppose h*f + 4*f + 8 = 2*m, 0 = 3*m + f + 2. Solve m*s = s for s.
0
Suppose -9 = -0*l + l. Let m be 2/l + 296/36. Suppose -x + m = x. Solve -x*f - 2 = 2 for f.
-1
Let k(v) = 2*v**2 + 0 - v**2 + 5*v + 6. Let q be k(-5). Let y(n) = -4*n + 35. Let z be y(8). Solve -z*t = -q*t for t.
0
Let c = 64 - 61. Solve -2*x + 4 = -c*x for x.
-4
Let j(g) = g**2 + 6*g + 2. Let d be j(-6). Let h be 2/4*(-2 - 2). Let z be -3 + d + h/(-2). Solve z*v = v for v.
0
Let n be 0 + (3 - 4 - -1). Suppose 0 = -x + 5*m - 23, 0 = x - 4*m + 12 + 6. Solve 0 = -n*p - x*p for p.
0
Let v(a) = 3*a**3 - a**2 - 8*a**3 + 8 + 4*a**3 + a. Let c be 0/(-2 - (1 + -1)). Let g be v(c). Solve 2 = -2*q - g for q.
-5
Let x = -40 + 19. Let y be (-6)/x - 26/(-7). Solve 0 = -y*j + j + 9 for j.
3
Suppose t = 2*t - 3. Suppose -1 = -t*o + o - c, c = -o - 2. Solve -1 = 2*u + o for u.
-2
Let g = -45 - -55. Solve -3*l - 2*l - g = 0 for l.
-2
Let d be (-3)/(-9) - (-10)/6. Let t = d - -1. Solve -2*s = -1 + t for s.
-1
Let c = -24 + 29. Solve c = 4*r - 3*r for r.
5
Suppose 14 + 6 = 5*s. Solve 0*r = r - s for r.
4
Suppose 3*z = z. Let j = 1 - -4. Let a = j + -1. Solve z = -y - a*y for y.
0
Let l(b) = -b**2 + 2*b - 6. Let u be l(5). Let t be ((-3)/(-9))/((-1)/u). Suppose q - 5*h - 15 = 0, -h + 4 = 5*q + t. Solve q = -5*k + k - 12 for k.
-3
Suppose 2*j = 5*a - 16, a - 1 + 5 = -2*j. Suppose -3*l - a*l + 10 = 0. Suppose 2*w - 4*t + 19 = t, -26 = -l*w - 4*t. Solve -3*x + 2*x - w = 0 for x.
-3
Suppose 5*o + s = 17, -7 = o - 6*s + s. Suppose -o*t = -5 - 4. Solve -2*h - t*h - 25 = 0 for h.
-5
Let v(c) = -2*c - 8. Suppose -a + 12 = 18. Let f be v(a). Solve -2 = -3*g + f for g.
2
Suppose -15*q = -11*q. Solve q = 3*z - 6*z - 6 for z.
-2
Let a(s) = -s + 2. Let f(b) = 3*b - 5. Let m = -2 + 0. Let w(d) = m*f(d) - 5*a(d). Let v be w(0). Solve v = -2*j + 3 - 11 for j.
-4
Let c = -1 - -3. Suppose -4 = -4*h + 16. Let u = 5 - h. Solve -r + u = -c for r.
2
Let g = 0 + -9. Let i be ((-3)/2)/(g/6). Solve 3*h - 4 = -i for h.
1
Let k(z) = -z**3 - 3*z**2 - z + 4. Let w be k(-3). Suppose -4*s + 18 = 3*n - w*s, 7 = 2*n - s. Let g be 1 - (1 - 1) - n. Solve g*q = 2*q + 6 for q.
-3
Let y be (8/6)/((-28)/(-63)). Solve -7*x + y*x = 0 for x.
0
Suppose -2*y = -0*y + 2*f, 8 = -2*f. Solve 8 = 3*q - y for q.
4
Suppose 0 = 2*o + 3*o - 40. Suppose 0 = -5*b - 4 + 19. Suppose 2*w + 4 = 0, w = 3*x - b*w - 14. Solve 0 = x*q - 0 - o for q.
4
Suppose -4*h + 12 = -4. Solve h*j = 9 + 11 for j.
5
Let x = -59 + 64. Solve -x*b + 4*b = -1 for b.
1
Suppose -5*s - 9 = -6*s. Solve 5*v + s = 24 for v.
3
Let n(h) be the first derivative of h**2/2 + 7*h + 4. Let s be n(-6). Solve -g = -2*g + s for g.
1
Let d(w) = -w**2 - 7*w. Let b(q) = -5*q**2 - 28*q. Let k(c) = -2*b(c) + 9*d(c). Let a be k(6). Let n be (0 + 1 - a)*1. Solve n*z - 2*z - 5 = 0 for z.
1
Suppose 5 + 1 = 2*h. Let v(l) = -3 - 4*l + 4 + h*l + 4*l. Let g be v(1). Solve -g*w - 6 = 10 for w.
-4
Let h = 15 + 1. Suppose 4*l = -0*l + h. Suppose b = -l*b. Solve -3*w + b = -3 for w.
1
Let v = -20 - -36. Let h = v + -11. Solve -h*q + 0*q = 15 for q.
-3
Suppose 5*j = 18 - 3. Solve j*q - 2*q - 3 = 0 for q.
3
Let m(z) = -2*z - 3. Let q be m(-3). Solve q*u = 5*u for u.
0
Let y(d) = -5*d + 3. Let o(w) = -w + 2. Let j be o(0). Let c be y(j). Let x(p) = p + 10. Let v be x(c). Solve -v*h + h = 10 for h.
-5
Let h be 6 + (-5)/(5/2). Solve h*c = 3*c - 2 for c.
-2
Let r be (-6)/3 + 0 - -7. Suppose -3*t - 2*t - 24 = 3*l, 3*l = 2*t - 3. Let b be (-3)/t - (-4 - -5). Solve -r*m + 5 + b = 0 for m.
1
Let f(n) = -2*n + 14. Let k be f(7). Suppose -2*w - 8 = 4*c - k, 0 = -w - 4. Solve 2*t + 3*t + 25 = c for t.
-5
Let h be 75/(-2)*(-8)/10. Let f = -14 + h. Suppose 0 = -4*j + f. Solve 4 = -j*v + 8 for v.
1
Suppose -q + 3 - 2 = 0. Let p be 6/3 + (1 - q). Solve 4*y = p*y + 8 for y.
4
Suppose -1 = 4*f - 9. Solve -f = w + 2 for w.
-4
Suppose -4*j + 16 = -5*r + 49, 0 = 2*j + 4. Solve -4*x + r = x for x.
1
Suppose 0 = 5*j + 6 + 34. Let p = -8 - j. Suppose p = -2*v + 3 - 1. Solve -v - 3 = -2*d for d.
2
Suppose -5*a = -2 - 3. Let r be (-6 - -6)*(-1)/a. Solve -n + 4*n - 6 = r for n.
2
Let l = 2 + 0. Solve 2 + 8 = l*a for a.
5
Let n(l) = -l**2 + 3*l + 3. Let u be n(4). Let r be ((-6)/(-7))/(u/(-7)). Suppose -3*h + r*h = -5*g + 115, 0 = 4*g + h - 85. Solve 5*p - p = -g for p.
-5
Let z = 1 + 1. Suppose f = 1 + z. Solve f*v + v = 20 for v.
5
Let f be (-22)/143 + (-54)/(-13). Solve 0 = -2*j + f - 8 for j.
-2
Let l(v) be the second derivative of -v**4/12 - 3*v**3/2 + 6*v**2 + 2*v. Let y be l(-10). Suppose 0*s = -y*s. Solve -5*m + s*m = -15 for m.
3
Let x be 14/(-7) + 0/2. Let u(w) be the second derivative of w**4/12 + w**3/6 - w**2/2 + w. Let m be u(x). Solve m + 4 = -n for n.
-5
Suppose 2*w + 3*w - 295 = 0. Suppose 3*d = 1 + w. Solve 5*p + 0*p - d = 0 for p.
4
Suppose 5*m - 164 - 1 = 0. Suppose -20 = -3*u + 4*u. Let o be ((-8)/10)/(2/u). Solve m = -5*i + o for i.
-5
Let l = -3 - -2. Suppose 3*q - 4 + 5 = o, -2*o = -5*q - 1. Let m = l - q. Solve 5*f = -m*f + 10 for f.
2
Suppose -4*k + 4 = -4. Let u be k + -1 - 1/1. Solve 4*i - 2*i = u for i.
0
Suppose 2*w = 4*a + 2, 4*a + 4*w = -0*w + 28. Suppose 0 = 3*k + 2*q + 8 - 29, -a*q = -4*k + 14. Solve k*v + 21 = 1 for v.
-4
Suppose 5 = l - 2*l. Let i be (6/(-15)*l)/1. Solve i = j + 1 for j.
1
Suppose 0 = -5*z - n + 5*n + 26, 3*z + 5*n = -14. Solve 0 = -3*g + 5*g - z for g.
1
Let s be 36/10*30/(-9). Let x be s*(3 + 20/(-6)). Solve 5*t - x = -14 for t.
-2
Let z(c) = -c**3 - 20*c**2 + 21*c + 6. Let r be z(-21). Solve -i = -r*i for i.
0
Let b(i) be the third derivative of -1/60*i**5 - i**2 - 5/6*i**3 + 0*i + 1/4*i**4 + 0. Let n be b(5). Solve n = 2*w - 3*w + 5 for w.
5
Suppose -2*c - 15 - 5 = 0. Let z = 16 + c. Solve 0 = 3*x - 5*x - z for x.
-3
Let l(g) be the first derivative of g**3/3 + g**2/2 - g - 3. Let k be l(-3). Solve -k*o = -o + 4 for o.
-1
Let f be (-102)/(-21) - 9/(-63). Let i be (2 + 0 - 1) + 2. Let t = f - i. Solve -t*s - 12 = 2*s for s.
-3
Let u(w) = w**2 + 8*w + 22. Let v be u(-4). Solve -v*g = -g + 15 for g.
-3
Let u(t) = t**3 + 5*t**2 + 5*t + 6. Let z be u(-4). Solve 0 = -0*o + z*o - 6 for o.
3
Let o(i) be the second derivative of -i**3/3 - 3*i**2 - i. Let k be o(-5). Suppose -k*h + 26 = -2*h. Solve 7 + h = 4*y for y.
5
Let r(p) = 4 + 0 - 2 + p. Let y be r(2). Suppose -y*w + 16 = 3*q, 3*w - 7*w = -5*q - 16. Solve q = 3*k - 2*k for k.
0
Suppose 3*a + a - 109 = 5*k, -3*a = -2*k - 45. Let t = k + 21. Solve t = -3*l + 15 for l.
5
Suppose 5*a - 37 - 48 = 0. Suppose q + d = 2, -q + a = 2*d - 6*d. Solve w = q*w for w.
0
Let g be 0*1/2*(-4 - -3). Solve g*r = 2*r for r.
0
Let r = -107 + 111. Solve u - 12 = r*u for u.
-4
Suppose -14 = -3*v + 31. Suppose 0*w = 3*w + 12. Let g = w - -9. Solve 0*j + v = g*j for j.
3
Let y = 23 - 20. Solve -1 = -y*d + 4*d for d.
-1
Let f(t) = t. Suppose g + 0*g = -1. Let y be (-2)/(g + -1)*5. Let o be f(y). Solve -o*n + 0*n = 20 for n.
-4
Suppose 5*k - 31 = -2*u, 0 = -u - u + 6. Solve -3*l + 8 = -k*l for l.
-4
Suppose -24 = -3*y + 2*o - 5*o, 2*y - 24 = -4*o. Let r(t) = -t**3 + 4*t**2 + 2*t - 6. Let h be r(y). Let s = h + -2. Solve 3*g + 0*g - 6 = s for g.
2
Suppose 5*a - 2 = -22, -4*a + 2 = -3*g. Let b(c) = c**3 + 7*c**2 + 6*c + 2. Let d be b(g). Let r = -6 + 8. Solve -d*o = r - 0 for o.
-1
Let f = 37 + -30. Solve -4*n + f = -5 for n.
3
Let w(h) = h**3 - 2*h - 1. Let z be w(-1). Solve z*u + 2*u = -8 for u.
-4
Let l(g) = 11*g - 2. Let x be l(2). Let h be x/(-130) - (-67)/13. Solve -3*p + h*p + 6 = 0 for p.
-3
Suppose 3*h - 3 = 0, -4*j = 4*h - 16 - 20. Solve -j = 3*q + 7 for q.
-5
Let w(h) = -h**3 + 3*h**2 + 3. Let b be w(3). Suppose 0 = -2*t - b*t + 25. Let k = 12 - 10. Solve 0 = -k*a + t*a for a.
0
Suppose 2*w - 4 = -4*c + 8, 5*w + 4*c - 48 = 0. Solve 5*u - w = u for u.
3
Let y be -2 + (-2 - (-4 + 0)). Solve t + 1 + 2 = y for t.
-3
Let s(v) = -4*v - 4. Suppose -3*t + 3 = 12. Let l be s(t). Solve 4*r - 6*r = -l for r.
4
Suppose -4*n + 5*n = 18. Suppose j = 4*r - 21, -j - j - n = -2*r. Solve 0 = -r*y - 7 - 5 for y.
-3
Let i = 2 - -1. Suppose -7 = -2*y - i. Solve 0 = c - y - 0 for c.
2
Let w = -21 - -12. Let n = w + 13. Suppos