1 = -c*y for y.
-1
Let z = -14 + 6. Let t = z + 14. Solve -t = 4*b - 2 for b.
-1
Let c(s) = s**2 + 2. Let b be c(0). Suppose 3*g + 0*k - 38 = -2*k, b*g + k - 24 = 0. Solve -2*p - 3*p = -g for p.
2
Let s be (-1 - (-14)/4)*2. Solve 0*q + s*q + 15 = 0 for q.
-3
Suppose 0 = a - 2*a. Solve -8*j + 3*j + 10 = a for j.
2
Suppose -97*p + 96*p + 2 = 0. Solve p*f + 6 = 10 for f.
2
Suppose 0*m = -2*m - 2. Let y(n) = -2*n**3 + n**2 + n + 1. Let c be y(m). Suppose 2*o + 6 = 5*o. Solve 1 = -o*k + c for k.
1
Suppose q - 21 = -2*j, -4*j + 2*j + 54 = 4*q. Solve -1 - q = -3*y for y.
4
Suppose -4*w - 2 = -2*y, 5*w - 1 = -4*y + 3. Suppose -5*i = -0 - 10. Solve i*c + 2*c = w for c.
0
Suppose c + 4*f + 10 = 0, 10 + 5 = 3*c + 3*f. Solve 13*t + 9 = c*t for t.
-3
Let k(y) = y**2 - 5*y - 4. Let s be k(6). Suppose 0 = -5*r - 5*p - 5, 0*p + 15 = -5*p. Let w = -50 - -50. Solve w - r = s*j for j.
-1
Let b(y) = -y**2 - 16*y - 8. Let f be b(-14). Suppose 4*r - 5*k - f = 0, -7*k = -4*r - 3*k + 24. Solve 1 = -3*q + r for q.
3
Let k(v) = -2*v - 2. Let m be k(-5). Solve 0*c - 4*c - m = 0 for c.
-2
Let w(y) = -y - 5. Let x(f) = -2*f - 11. Let q(o) = -7*w(o) + 3*x(o). Suppose 6*m - m + 10 = 0. Let a be q(m). Solve 0 = -4*v - a - 4 for v.
-1
Let g(n) = n + 2. Let w(x) = x - 9. Let a be w(7). Let o be g(a). Solve -3*h + h + 8 = o for h.
4
Let p be 4/(-6)*48/(-16). Let q = 10 + -14. Let r be 1/q - 122/(-8). Solve -p*x - x = -r for x.
5
Let l be (1 - 13)/(8 + -10). Solve -l = 5*h + 4 for h.
-2
Let i be 102/48 - (-1)/(-8). Solve -i*j + 3 = 11 for j.
-4
Let f = 6 + -1. Let q(t) = -t**3 + 6*t**2 - 4*t + 1. Let o be q(f). Solve o = -p + 3*p for p.
3
Let c = 3 - 4. Let o = c + 1. Solve -1 + o = -s for s.
1
Let s(m) = m**2 + m. Let a(w) = 1 - 5*w + 5*w**2 - 2 + w**3 - 1 + 4. Let n be a(-6). Let t be s(n). Solve 0*c + t = 4*c for c.
3
Suppose -6*f + 21 = f. Solve -f*c - 1 = -4 for c.
1
Let t be 15/3 + (-2)/2. Solve -4*n + 12 = t for n.
2
Suppose -4*l - 25 + 9 = 0. Let v be (-6)/(-4) + (-10)/l. Let g = v - 3. Solve -2*j + 1 = -g for j.
1
Suppose -2*f + 2 = -2*g, -3*f - 2 = g - 5*f. Suppose 2*o + 4*a - 10 = -a, 2*a = g. Solve -o*n = -16 + 41 for n.
-5
Let y = 31 - 25. Suppose 0 = -6*i + i - 10. Let v be (-1)/(((-6)/(-9))/i). Solve y + v = -3*j for j.
-3
Let k(h) = -2*h + 18. Let w be k(9). Let q = 4 + -2. Solve q*b - 4 + w = 0 for b.
2
Suppose 3*l - 2 - 4 = 0. Solve 0 = l*x - x for x.
0
Let u(m) be the second derivative of -m**5/20 + m**4/12 - m**2 - 2*m. Let a be u(-2). Let w be (4*2)/(a/5). Solve 0 = w*x - 8*x + 16 for x.
4
Suppose 0 = -4*h - 3*q - 6, -h = -6*h - 4*q - 8. Solve d + h = 1 for d.
1
Let f be (-33)/11 + ((-1)/(-1) - -6). Solve -f*p - p + 10 = 0 for p.
2
Suppose 3*p = -s + 7 + 7, -s = -5. Solve -p*l = -4 - 11 for l.
5
Let c be 1 + (1 + 0)*-1. Let l = 16 + -8. Let v be l - -1 - (-16)/(-4). Solve c = -g - 0 - v for g.
-5
Suppose -n + 5 = -5*w, 2*w - 4*w + n - 5 = 0. Solve w = 4*f - 0*f + 20 for f.
-5
Let y = -13 + 19. Let p be 3/(-2*(-2)/4). Suppose 5*h = -15, z = 2*z - h - p. Solve -3*q = -y - z for q.
2
Suppose 4*i + 4*z = 38 - 2, -i + 12 = -2*z. Let v = 8 + -12. Let b be (0 + v)*1/(-2). Solve -4*h - b = i for h.
-3
Let i be 6/21 - (-6)/(-21). Let m = 2 + i. Solve -2*y = -0*y + m for y.
-1
Suppose 13 = 4*f - 3*w - 10, 0 = 4*f - w - 13. Solve 0 = f*h - h - 3 for h.
3
Let c = 52 + -48. Solve 0 = 2*p - p + c for p.
-4
Let o(q) = -3*q**3 - q**2 + q + 1. Let g be o(-1). Solve 4*y + g = -6 for y.
-2
Suppose -h - 2*h + 18 = 0. Suppose w - h = -3. Solve -4*j - 11 + w = 0 for j.
-2
Let u(d) = d**2 - 4*d + 5. Let x be u(5). Suppose -4*c - 2 + x = 0. Solve -1 = -b + c for b.
3
Let l(o) = -o**3 - 10*o**2 + o + 12. Let n be l(-10). Let c(y) = 3*y - 1. Let w be c(5). Solve -4*m = w - n for m.
-3
Let r(m) be the third derivative of -1/6*m**4 + 1/60*m**5 + 4*m**2 + 0*m - 1/2*m**3 + 0. Let p be r(5). Solve 6*i + p = 4*i for i.
-1
Let l(q) = -q**3 + 5*q**2 + q - 1. Let o be l(5). Let d be (0/4)/3 - -25. Solve -o*u - d = u for u.
-5
Let p = 10 - 20. Let q = 15 + p. Solve 4*t = q*t - 1 for t.
1
Let g(q) = q + 15. Let h be g(-8). Solve 2*k - h - 3 = 0 for k.
5
Let c(k) = -k**2 - 7*k - 1. Suppose -3*o + 27 = -4*l, -l - 4 = 5*o - 3. Let j be c(l). Solve -j*t = 3 + 2 for t.
-1
Let q = 2 + 6. Solve 0 = 2*t - 2 + q for t.
-3
Suppose 0 = 2*u - 4*v + 17 - 5, 5*u - 2*v + 6 = 0. Solve u = -0*w - 4*w - 4 for w.
-1
Suppose 5 = 5*a - 5. Suppose 6 = l + a. Let p(n) = -n**3 + 5*n**2 + 6*n + 3. Let w be p(6). Solve -w*y + l = -2 for y.
2
Suppose -2*a + 0*a + 16 = -2*z, 0 = 5*a - 4*z - 36. Suppose i + a*i - 3*t = 0, -2*t = 2*i. Solve i = -b + 6*b - 25 for b.
5
Let r = 23 + -15. Suppose -o + j + r = 0, 2*j = -4*o + j + 12. Solve -o*a = -9 - 3 for a.
3
Suppose -4*r - 40 = 64. Let u be r/(-7) + 8/28. Solve -2*c + c + u = 0 for c.
4
Suppose 0 = 3*n - 3, 2*w - 2*n = -0 + 4. Suppose -w*s + 7 = -2. Suppose -3*x - 4*l - s = 0, 5*x + 3*l - 3 = -l. Solve 7*a - x*a - 16 = 0 for a.
4
Let h(b) = -b**3 + b**2 + 5. Let z be h(0). Suppose -5*g - f = -3, -7 = g + 3*f + f. Let y(r) = 3*r + 1. Let q be y(g). Solve z = i + q*i for i.
1
Let k be ((-10)/15)/(2/(-15)). Solve 3*m + 10 = k*m for m.
5
Let l = -4 + 6. Let t be l/7 - (-2)/(-7). Suppose 5*g = -5*u, 4*u + 1 = -5*g + 6. Solve -g*i + i = t for i.
0
Let o be (5 - 4) + 0 + -4 - -5. Solve -o*j + 4 = -4 for j.
4
Let z(c) = -c**3 - 6*c**2 + 3*c + 20. Let y be z(-6). Solve 2*w + y*w = -8 for w.
-2
Let o(r) = r**2 - r + 2. Let y be o(2). Suppose -y = -n - 1. Solve -n*p + p = -4 for p.
2
Let x = -5 - -5. Suppose x = 4*h - 3*m - 36, -5*h + 3*m + 30 = -12. Solve -8 = 2*b - h*b for b.
2
Suppose g - 3*g + 10 = 0. Suppose 0 = -b - g*s - 21, 0 = -5*b - 3*s - s. Suppose b*t + 5 = -11, 5*o + 4*t + 6 = 0. Solve -q = -0*q - o for q.
2
Let w(h) = h - 1. Suppose -9 = -4*p + 11. Let y be w(p). Solve y*b - 14 + 2 = 0 for b.
3
Let i be 1/5 + (-57)/(-15). Suppose 0*m + i*m = 0. Solve -g + 5 = -m for g.
5
Let i = 2 + 1. Solve 0 = 4*f - 5*f + i for f.
3
Suppose 30 - 3 = 9*i. Solve v - 20 = -i*v for v.
5
Suppose 2*o = 6*o - 44. Suppose -1 - o = -4*r. Let a be (-2 - r/(-2))*0. Solve 2*t + a*t + 4 = 0 for t.
-2
Let v = -4 + 20. Let q(k) = -k. Let m be q(-1). Suppose -r - 2*o + 3 = m, 0 = -2*r - 2*o + 6. Solve -4*y = -r + v for y.
-3
Let p = -3 - -4. Suppose 0 = -z - 3*l - 3, 4*l = 5*l + 5. Let f be -4*(1 + (-21)/z). Solve -a - f - p = 0 for a.
-4
Let x be -6*9*(-4)/8. Let w be 2*1 - (-2 + 1). Let b be w*3/(x/6). Solve 0*z + b*z + 2 = 0 for z.
-1
Suppose -2*w = 3*i - 19, 5*w - 21 - 4 = 0. Solve 3*h + i = 6 for h.
1
Let f(b) = 5*b**2 + 3*b + 2. Let w be f(-2). Suppose 2*t + 10 = 7*t. Solve t*h + 2*h - w = 0 for h.
4
Let j = 71 - 67. Solve -5*w - j = 6 for w.
-2
Suppose u - 12 = -p, -3*p + 32 = -0*u - u. Let f = 13 - p. Solve v = -f*v for v.
0
Let z be (-1 - (1 + -1))*-3. Suppose 0 = w - 0*w + 4. Let t = -1 - w. Solve -3*l + z + t = 0 for l.
2
Suppose -4*q - t + 6*t - 1 = 0, 34 = 4*q + 2*t. Let i = 1 - 0. Let h = i + 1. Solve q = -h*r - 0*r for r.
-3
Suppose -3*d + 5*q + 11 = 0, -2*d - 3*q = -4*q - 5. Let o be -1 - 26/(-2) - d. Solve -g - o = 4*g for g.
-2
Suppose -4*f = -15 - 1. Suppose -5*i - 25 = -5*d, f*i + 5*d = 19 + 6. Suppose 5*w - 10 = i, 2*w - 6 = n - 3*n. Solve -11 = 2*a - n for a.
-5
Let p(d) be the third derivative of -7/24*d**4 - d**2 + 0 + 0*d + 1/60*d**5 - d**3. Let x be p(8). Solve x*t = -2*t for t.
0
Suppose 0 = -4*z - 9 + 41. Suppose 40 = 4*u + z. Solve 0*w + u = 4*w for w.
2
Let f(d) = 3*d**2 + 3*d + 2. Let a be f(-2). Let m be (-78)/(-10) + (-4)/5. Let x(g) = -g**2 + 6*g + 9. Let s be x(m). Solve -s*q - 2 - a = 0 for q.
-5
Suppose 3*b - 5 = 10. Let v(d) = -5*d + 3 + d**2 - d + 4. Let i be v(5). Solve b*w - i - 3 = 0 for w.
1
Suppose 8*g = 7*g + 3*p + 13, g + 1 = -4*p. Solve -g*v = -5*v for v.
0
Let j be ((-2)/(-6))/((-6)/(-36)). Solve -1 = j*b - b for b.
-1
Let a = 24 - 8. Suppose -34 - 66 = -4*l. Let m be 60/l - (-3)/5. Solve -m*c - 1 = -a for c.
5
Let w = -1 - -4. Solve -j + w = 1 for j.
2
Let x = -105 + 114. Solve -2*j - x = j for j.
-3
Suppose -4*i - i = 4*u - 4, -i = u. Suppose -z = -3*z + 26. Suppose 2*w = 4*k + w - z, k - i*w = 7. Solve 8 = k*g - 7 for g.
5
Suppose 2 = 3*k + 20. Let h be k*((-32)/12 + 2). Solve l + h*l = 0 for l.
0
Suppose 1 = 3*z - 14. Let i be (-3 - 12/(-4))/(-3)