uppose -2*m = 3*f - 12, -f + z*m + 3 = -1. Solve -c - f*c - 5 = 0 for c.
-1
Let x(z) = z**2 - z + 1. Let d be x(0). Suppose -5*p - d = -11. Solve 2*b + p*b - 12 = 0 for b.
3
Suppose -a + 0*a = 13. Let y = a + 15. Solve -y*r = -2 - 2 for r.
2
Let t = 49 - 45. Solve -2*c + 0 = -t for c.
2
Suppose 4*r - 7 = -5*c, -r - 2 = c + 4*c. Let q = c - -6. Solve -13 = q*s - 3 for s.
-2
Suppose 4*q = -4*c - 12, 0 = 5*q + c - 1. Let t be 20/30*q*3. Solve -t*j + 9 = j for j.
3
Let f(h) = h**3 - h**2 - 2*h. Let g be f(3). Let o(a) = a**3 + 13*a**2 + 11*a - 12. Let q be o(-12). Solve q*l - 3*l = g for l.
-4
Suppose -2*w = -4*w + 2*n + 6, 4*n = -4*w + 12. Suppose -5*o + 2 - 24 = -w*f, -3 = 3*f. Let i be 2 + (-8)/2 - o. Solve i*m - 16 = -m for m.
4
Let k = -1 + 2. Suppose 22 = r + 2*h, -6*h = 4*r - 3*h - 68. Let t be k/(((-6)/r)/(-3)). Solve -3*s = -t*s + 16 for s.
4
Let a be (-20)/2 + 0 + -2. Let h be (a/(-2))/(2*1). Let v = 98 - 88. Solve 0 = 2*g + h*g - v for g.
2
Suppose 4 = -2*k, -4*m = 8*k - 3*k + 6. Let f be (0/5)/(1/m). Suppose 2*w + f - 2 = 0. Solve -2*h + w + 3 = 0 for h.
2
Let i = 12 - 10. Suppose -2*o = l + 4*l - 19, 2*l - 16 = i*o. Solve l*v - 8 - 2 = 0 for v.
2
Suppose 4 = -5*o - 4*j, 5*j + 1 = -4*o + 4*j. Solve o = -0*h - 4*h + 4 for h.
1
Let l(n) = n**3 - n - 2. Let r be l(0). Let q be 9/6*r*-1. Solve q*u + 16 = -u for u.
-4
Suppose -3 = -2*x + 3. Solve -x*f = -5*f - 2 for f.
-1
Suppose m = 4*b - 27, -2*b = -4*b + 5*m + 27. Solve 0 = q - b*q - 20 for q.
-4
Let i be (-1 - (-7 - 2))*1. Let b be ((-2 + 12)/1)/(-2). Let l = i + b. Solve -u + l*u + 2 = 0 for u.
-1
Let h = 3 - -97. Suppose -r + 20 = 7*d - 2*d, -3*r + 5*d = -h. Suppose -k + 6*k - r = 0. Solve -4 = -2*y + k for y.
5
Suppose 4*z - 1 = -2*o + 21, -1 = o. Let q(y) = y. Let w be q(z). Let t be 18/5 - w/10. Solve t*l + 20 = 5 for l.
-5
Suppose 0 = -s + 1 + 2. Let x be (2/6)/(9*(-1)/(-189)). Solve 16 = x*d - s*d for d.
4
Let a = 15 - 8. Let x = -2 - 14. Let y(o) = -o - 7. Let h be y(x). Solve 4*k = -h - a for k.
-4
Suppose -4*y + 10 = -2*y. Suppose t + 4*t = l + 64, y*t - 2*l = 63. Let p(n) = -3*n - 3. Let r be p(-2). Solve 2*u - r = -t for u.
-5
Let b be (-44)/(-10) + 14/(-35). Suppose 14 = i + b*i + 4*a, -4*i = -4*a - 40. Solve i = -r + 2 for r.
-4
Let n = 34 - 24. Let x be -3 + 3/6*n. Solve -x*y - 16 = 2*y for y.
-4
Let x be 29/5 + 8/40. Solve -6*o + 3*o = x for o.
-2
Let h = 44 - 36. Solve -3*f - h = f for f.
-2
Suppose 2 = -2*h + 16. Let j = -5 + h. Suppose j*g + 2*g = -5*y + 28, -4*y + 22 = 3*g. Solve -m + g*m + 4 = 0 for m.
-4
Suppose 3*x - 5*x = -4*u + 38, 4*u - 56 = -4*x. Let y = 92 - u. Let k be 2/9 - (-144)/y. Solve 0*i - 2 = -k*i for i.
1
Suppose 0 = -j - 5, 6*b + 3*j = b. Suppose q - 12 = -q. Suppose i + 2*h = 6, -q*i - h = -i - 30. Solve b*d + 0 = i for d.
2
Let c(b) = b + 1. Let n(d) = 3*d + 3. Let o(p) = 5*c(p) - 2*n(p). Let q be o(-6). Let a(r) = -r**2 + 5*r - 4. Let z be a(3). Solve 0 = -z*x + q*x for x.
0
Suppose 5*f + 1 = 2*m - 7, -f = -5*m - 3. Let t be (4 - -3) + 6/f. Let d = -4 + 8. Solve 2*n = d*n + t for n.
-2
Suppose 0 = -3*t - 12, -2*s - 2*t - 6 = -s. Solve -s*d + 7 - 1 = 0 for d.
3
Let o(q) = q + 14. Let u be o(-12). Suppose -u*g = -5*g + 12. Let b = -9 - -15. Solve -g*j + 2*j = -b for j.
3
Suppose 0 = 2*g + g + 15. Let y(b) = -2*b + 4. Let t be y(g). Let a be 74/t + 4/(-14). Solve 0 = -a*u + 3*u for u.
0
Suppose 6*o = 3*o + 9. Solve -2*x = o*x - 5 for x.
1
Suppose 5*s - 5*q - 40 = 0, 9*s - 8*s = 5*q + 16. Solve s = 5*f - 4 for f.
2
Suppose -5*r - 3 + 19 = g, -2*g - 5*r = -22. Solve 4*u = g + 14 for u.
5
Let n be 2*(-2 - -1)*1. Let g = n - -4. Suppose 3 = 4*y - 5. Solve -g*s = y*s + 20 for s.
-5
Suppose -4*t + 19 = 5*s, -4*s + 0*t + 14 = 2*t. Solve -4*z = -s*z for z.
0
Let r be (-9)/6*-4*1. Let k be 4/r + (-2)/(-6). Let i = -6 - -8. Solve 0 = -i*h + h + k for h.
1
Let l(w) = w**3 - 8*w**2 + 7*w - 8. Let j be l(7). Let g = j + 8. Solve g = i + i + 4 for i.
-2
Suppose -2*h + 17 = 3*f - 3, h + 3*f = 16. Solve 0 = -h*v - 0*v - 12 for v.
-3
Suppose 0*d + 2*d + 22 = 0. Let n be d/(-5) + (-2)/10. Solve -h = 3 - n for h.
-1
Let o be 0/(-1) - (-20 - 3). Suppose -3*q + 20 = 2*c + 3*c, -5*q + o = -2*c. Solve -2*s + 3 = c for s.
1
Let c(n) = 2*n - 4. Let o be c(3). Let w = o - 0. Solve -f - f = w for f.
-1
Let p be (-16)/(-12) + -1 + (-40)/(-24). Let a = -5 - -9. Solve 6 = a*b - p*b for b.
3
Let f = -7 - -10. Suppose -m - 2*t + 4 = 0, 2*m - f*m = 5*t - 10. Solve m = 3*r - 2 - 4 for r.
2
Let u(f) = f**2 + 2*f. Let w be u(-3). Suppose -5*t - 4*g + 17 = 0, 4*g = w*t - 0*g - 23. Solve -t*h + 15 = -5 for h.
4
Suppose 0 = -4*b + 2*w + w + 3, -2 = 3*b + 2*w. Solve -4*d = -b*d for d.
0
Let v(n) = n**3 + n + 1. Let z(s) = 3*s**3 + 4*s**2 + 3*s + 1. Let w(f) = -4*v(f) + z(f). Let c be w(3). Solve 6*g = c*g for g.
0
Suppose 3*w - 18 = w. Suppose 8*n + 2 = w*n. Solve 1 + 1 = n*d for d.
1
Let g(d) = -5 + 2*d - 9 + 3 - d. Let i be g(13). Solve -6*k + i*k = -16 for k.
4
Let k be (-1)/(-2) + (-10)/(-4). Suppose j - 5 = -k. Suppose -2*g + j = -4. Solve 3*t = g - 6 for t.
-1
Let v = 8 - 12. Let z be 1/4*-2*v. Solve -4*t = 10 - z for t.
-2
Let n = 44 - 35. Solve 0 = -5*w + 24 - n for w.
3
Let w(p) = -p**3 - 7*p**2 - 7*p - 4. Let h(f) = 6*f. Let a be h(-1). Let b be w(a). Suppose n = -b*n + 6, 2*n - 19 = -5*t. Solve -t*l - 2 = -l for l.
-1
Let j be (-37)/(-7) + 4/(-14). Suppose -a = j*i - 29, -3*i + 0 - 5 = -5*a. Suppose -a*p = -p - 6. Solve 2*r + p*r - 20 = 0 for r.
5
Let h(l) be the second derivative of l**5/20 - l**4/4 - l**3/6 - 3*l. Let g be h(4). Let r = -6 + g. Solve d - r = 3*d for d.
-3
Let h(u) = -2*u**2 + 12*u + 2. Let r be h(6). Solve r*y = 5*y for y.
0
Suppose -6*h = -h. Suppose -a = -h - 2. Solve a*q = 6*q + 20 for q.
-5
Suppose o = 5*r + 5*o - 23, -o = -r + 10. Solve 3*x + 22 = r for x.
-5
Suppose -5*m + 30 = -5*q, 2*q = 3*m - 0*q - 16. Suppose 2*n = -4*b + 28, m*n = 2 - 10. Solve -4*a - b = 8 for a.
-4
Let i = 10 - -25. Let o = i - 17. Let x be 0/(-1) - o/(-2). Solve x + 3 = -3*j for j.
-4
Let z(b) be the second derivative of b**5/20 - b**4/2 - b**3/6 + 7*b**2/2 + b. Let u be z(6). Let g = -1 + u. Solve p = -4 - g for p.
-4
Suppose -2*j + 4*q = -7 - 21, -4*j + q + 49 = 0. Solve -i = 2*i + j for i.
-4
Suppose -w = -0*w - 2. Suppose 3*c - 5 = w*c. Solve 0 = -0*q - c*q + 15 for q.
3
Let d = 1 - -1. Let w = -20 - -25. Solve w*s - d = 3 for s.
1
Let r(d) = -d**3 - 7*d**2 + 9*d + 11. Let p be r(-8). Suppose -l = -p*l. Solve b - 1 = -l for b.
1
Let a be ((-15)/4)/((-3)/32). Let g = a - 25. Solve -2*s + g = s for s.
5
Let h = -7 - -3. Let q be (-202)/(-18) - h/(-18). Solve q - 36 = 5*m for m.
-5
Suppose f = 6*f. Solve -w = -f*w for w.
0
Let z = -16 - -22. Suppose l = 4*k + 18, 5*k + 50 = 5*l - l. Let p be -9*(l/z - 2). Solve 2 + p = -5*y for y.
-1
Suppose -8 + 2 = -2*f. Suppose -f*s + 54 = 5*p, -3 = -3*p + s + 21. Suppose 4*m - p = m. Solve -2 = -m*x + x for x.
1
Let w(i) = -i**3 + 10*i**2 - 7*i + 2. Let r be w(9). Solve 6*a - r = a for a.
4
Let d(c) = c**3 - 2*c - 4. Let w be d(-4). Let n = w - -160. Suppose -4*i = -2*s - 86, -5*i - 3*s + n = -4*s. Solve -4*z - 1 - i = 0 for z.
-5
Let t(g) = g. Let z be t(0). Suppose z = -4*q + 23 - 3. Solve 0 = -0*y + 5*y + q for y.
-1
Suppose 3*h = 4*i + i + 80, 0 = 3*i - h + 44. Let k = -9 - i. Solve 0 = k*f - 1 - 3 for f.
1
Let c be 2/(-6) + 13/3. Let g = c - 4. Let a be -1 - g - 2/(-2). Solve 7*b - 4*b + 9 = a for b.
-3
Let w(z) = -z - 7. Let a be w(-7). Solve a = 5*m - 7 - 18 for m.
5
Let u be 2/(3 - (-1 - -2))*1. Solve 2*x + u + 1 = 0 for x.
-1
Suppose 3*n = -5*u + 12, -n + 4 = -3*u + 5*u. Suppose 2*g - 4*o - 10 = u, -o - 7 = -g - g. Solve 0 = -g*v + 9 + 3 for v.
4
Suppose 0 = 5*x + 5*i + 7 - 22, -3*i - 9 = -3*x. Solve -20 = k + x*k for k.
-5
Suppose 5 = 5*d - 5*w, 0*d = 5*d - 2*w - 2. Solve 0*u + 3*u = d for u.
0
Let y be (-4)/(-14) + (-16)/56. Suppose -s + 18 = 8. Solve y = -0*c + 2*c + s for c.
-5
Let q be 57/21 + 4/14. Let s = 6 - q. Suppose s*p = 1 + 11. Solve 0 = -0*l + p*l + 16 for l.
-4
Let m be (-18)/(-5)*(4 - 21/9). Solve -5*b + m*b = -1 for b.
-1
Let v(p) = -p**3 + p**2 - p + 1. Let x be v(1). Solve x = -k + 4*k for k.
0
Suppose -5*z + 7 = -o, -5*z + 2*o + 4 = -0*z. Let r(h) = h**3 + 3*h**2 - 2*h. Let c be r(-3). Solve 0 = -0*f + z*f