pose -5*n + 3*z = -22, 4*n = 3*n - 4*z - 14. Suppose -22*i = -23*i + 4. Let k = 7 + -4. Solve i = n*y - k*y for y.
-4
Suppose -2*o = 2*w - 12, -4*w + 18 = 3*o - 0*w. Solve -o*h + h - 10 = 0 for h.
-2
Suppose 6*n = 9*n - 12. Solve m + n*m - 5 = 0 for m.
1
Suppose t = -n + 4 - 0, 2*t - 10 = -4*n. Solve 0*i - n = i for i.
-1
Let t = 15 - 14. Solve 4*m + t = -15 for m.
-4
Let x(h) be the first derivative of h**4/4 - 2*h**3 - h**2/2 + 8*h + 1. Let z be x(6). Solve z*q + 5 = 3*q for q.
5
Let m be (-29)/(-3) + (-6)/9. Suppose -5*p = 2*x - m, -4*x - 11 - 1 = 0. Suppose 4*d - 3*d = 8. Solve y - p*y + d = 0 for y.
4
Suppose 12 + 56 = -2*o + 2*q, 3*o + 108 = 5*q. Let d = 93 + -50. Let m = d + o. Solve 0*a + m = -3*a for a.
-4
Let q be 5/2 + (-2)/4. Suppose 4*o = -3*b + 7 + 3, -b = -5*o + 22. Let w = 4 - b. Solve -5*r - w = -q*r for r.
-2
Let y be (-5)/10 - (-75)/6. Solve 2*n = 6*n + y for n.
-3
Suppose 4*x - 4*c - 48 = -c, -2*x - c = -14. Suppose 0 = -0*y - 3*y + x. Suppose -6 = -3*r + 6. Solve -d = y*d - r for d.
1
Let i(r) = -r - 2. Suppose 0 = -5*a - 3*v - 19, 1 = 5*a + 4*v + 18. Let m be i(a). Solve 0 = -5*n + 2*n + m for n.
1
Let s be 0 + 0 + 60/5. Suppose 6*i - s = 2*i. Let k be (-21)/(-9)*(i - 0). Solve -5*h + 3 + k = 0 for h.
2
Suppose -2*p - 20 = 5*z, -6*z + z = -2*p. Let c = p + 5. Suppose c = 2*v - 4*v. Solve v = -5*y + 5 - 20 for y.
-3
Suppose v - 2*v = -4*t - 12, 2*t - 30 = -4*v. Suppose -d = d - v. Solve -d*r - 20 = r for r.
-4
Suppose 5*j = 0, -3*c + 2*j + 0*j = 0. Let k = -217 - -218. Solve -a - k = -c*a for a.
-1
Let t(r) be the first derivative of -r**3/3 - 4*r**2 - 2*r - 1. Let v be t(-7). Suppose 0 = -4*b + v*b. Solve b = -k - 0*k for k.
0
Let j = -17 - -28. Let g be 163/j + (-8)/(-44). Solve g + 10 = -5*d for d.
-5
Let b be (-72)/(-10) + 1/(-5). Let j(i) = -i - 11. Let z be j(-5). Let p = b + z. Solve 1 = 2*t - p for t.
1
Suppose -5*r - 23 = 3*m + m, -5*r - 2*m - 29 = 0. Let o be ((-8)/28)/(1/r). Solve 5*f - o = -12 for f.
-2
Let k(m) = -m - 1. Suppose 3*t = -2*t - 4*v - 41, 11 = t - 4*v. Let f be k(t). Let q be 18/5 + (-6)/10. Solve -q*a = f + 2 for a.
-2
Suppose 0 = -5*u - 49 - 1. Let d(p) be the first derivative of p**4/4 + 10*p**3/3 - p**2 - 12*p - 3. Let n be d(u). Solve 0 = -2*g + n - 0 for g.
4
Suppose -s = -4 - 0. Suppose -s*u = -8, -5*u = 3*j - 6 + 29. Let i = -6 - j. Solve -4*n - n = -i for n.
1
Suppose -3*y + 3 = -3. Suppose -3*w = -3*k - 6, -w + 44 = 3*w + 5*k. Suppose -c = u, 0 - w = -y*u + c. Solve d - 3*d + u = 0 for d.
1
Let r = 2 + 0. Let t(w) = 4*w - 24. Let l be t(9). Solve 2*k = -r*k - l for k.
-3
Let h be 7/5 + ((-6)/15)/1. Solve 3 + h = -2*l for l.
-2
Let v(o) = o**3 - 6*o**2 - 4. Let j be v(6). Let l be ((-2)/j)/((-1)/(-4)). Solve l*x = -0*x for x.
0
Let b be 0 - (0 + 0)/(-5). Solve 3*l = -b - 3 for l.
-1
Let n be ((-2)/1)/((-2)/6). Suppose -n*r = -4*r. Suppose r*t = 5*t - 15. Solve t*c = 2*c + 4 for c.
4
Suppose -3*g - a + 13 - 5 = 0, -4*a = -4*g + 16. Suppose g*l = -l + 28. Solve -2*j = -l*j for j.
0
Let p(u) = 5*u**2 - 5*u + 2. Let h be p(3). Suppose -v = -3*n - 15, 4*v - n = 4*n + h. Solve -v*m + 14 = -1 for m.
5
Let x = 57 - 49. Solve 3*i + 4 = -x for i.
-4
Let w be -2*(-3 + (-9)/(-6)). Solve -w*r + r + 2 = 0 for r.
1
Suppose -12 = 5*m + 8. Let y be (m*1)/((-6)/6). Solve y*s + 16 = -0 for s.
-4
Let d be (4 + 3/(-1))*7. Let r be (-1)/d + 8/7. Suppose 3*j + 61 = 4*f, f - 3*j = j + 25. Solve -r = 4*s - f for s.
3
Let u = -3 - -3. Let k be (14/(-6))/(1/3). Let r be 2/k + (-18)/(-14). Solve u = a + 2 - r for a.
-1
Suppose 4*c - 45 = -0*c + 3*z, -5*c + 33 = 4*z. Solve 25 = -4*s + c*s for s.
5
Let o(v) = -v**2 - 2*v + 2. Let g be o(-2). Suppose 0 = g*u + a, 6*a - 2*a = 0. Suppose u = -p + 1 - 0. Solve -p = b - 4 for b.
3
Let z be (2/3)/((-2)/18). Let o = -94 + 98. Let f be (-2)/o*z + -3. Solve 0*g - 4*g = f for g.
0
Suppose 68 = 5*p + 58. Solve 0 = -p*r - 1 - 7 for r.
-4
Let i be (-40)/(-18) - 6/27. Suppose l - i = 1. Solve f + l*f = -12 for f.
-3
Let v be (-1)/((-60)/21 + 3). Let o(t) = t + 11. Let d be o(v). Solve -2 + d = -i for i.
-2
Let h(w) = -w + 7. Let s be 126/(-12)*(-2)/3. Let y be h(s). Suppose 0 = 3*m - 18 - y. Solve -3*b - m = -b for b.
-3
Suppose 7 + 0 = 3*j + v, 0 = -4*v - 20. Suppose 0 = 2*d + j*d. Let p be 1/(-4) - 34/(-8). Solve -4*t + 0*t - p = d for t.
-1
Let v = -15 + 20. Solve -2*o + v*o = -9 for o.
-3
Suppose 0 = 3*k - 2*k + 4, -5*k = -3*b + 53. Let w(a) = a**2 - 10*a - 4. Let h be w(b). Solve -5*s + h - 22 = 0 for s.
-3
Let r = 10 + -8. Suppose -2*w = 4*a - 26, r*w - 10 = -5*a + 4*w. Solve a*y = y - 6 for y.
-2
Suppose -6*z + z = 5*p - 30, -2*p + 8 = 0. Solve -z*w - 3*w = -10 for w.
2
Let o(v) = 8*v - 8. Let k be o(9). Suppose -k = 6*s - 10*s. Solve 0*y + s = 4*y for y.
4
Suppose -3*w + 53 + 13 = 0. Suppose z = d - 5, 7 = 3*d + 3*z + w. Let j be ((-16)/(-8))/(2/4). Solve d = u + j for u.
-4
Let x(t) be the first derivative of t**2/2 + 8*t - 1. Suppose 0 = -5*p - 30 - 10. Let q be x(p). Solve q*a = 2*a for a.
0
Suppose x + 12 - 27 = -5*i, -20 = -2*x - 5*i. Suppose -2*o - 2*r = -2, 5*o + 0*r = r + 23. Solve 1 + o = x*n for n.
1
Suppose d = 2*d - 3. Suppose 0 = -4*i + d*l + 30, -3*l = 2*i + 2*i - 18. Solve -i = 5*y + 9 for y.
-3
Let g(x) = -x**3 - 11*x**2 - 11*x - 5. Let y be g(-10). Let j = 5 - y. Solve 10 = -2*i - j*i for i.
-5
Suppose 3*d - 44 = -d - 3*c, 5*c + 22 = 2*d. Let i = -1 + d. Solve 0 = -7*q + 2*q + i for q.
2
Let w be (-21)/(-12) + 1/4. Suppose 0 = 3*l - q - 2*q - 12, 2*q + 4 = -2*l. Suppose w*m = 3 - l. Solve 4 = j - m for j.
5
Suppose -3 = -j - 6. Let k be (-1)/j - (-2)/(-6). Solve k - 8 = 4*n for n.
-2
Suppose 5*p + 0*p = 0. Let m = -5 + p. Let g be m/(4/6 - 1). Solve 6*k - 3*k = g for k.
5
Let v be (-7)/((-3)/(-1 - 5)) + 2. Let l be (4/(-6))/(2/(-3)). Let s = l - v. Solve s - 1 = 3*u for u.
4
Suppose -5*o - 15 = 0, -7*d + 3*d - 2*o + 194 = 0. Suppose -d = -5*v + 170. Suppose 5*c + 4*w = 2*w + v, -3*c + 4*w + 16 = 0. Solve c = -y + 3*y for y.
4
Suppose -4 = -3*o + 2. Solve -2 = -o*v + 3*v for v.
-2
Suppose 0 = -5*l + 5*r + 65, 0 = -5*l - 4*r + r + 65. Suppose -4*v + l = -4*w + w, -4*v = 2*w - 18. Let h be (0 - 15/6)*64/(-80). Solve -w = -3*y + h for y.
1
Let q(v) = 4*v + 3. Let i be q(0). Solve 10 = -5*z + i*z for z.
-5
Let r = -16 - -22. Let p be (-1)/((8/r)/(-4)). Suppose 2*x + 4 = -2*u, 5*u - 4*x - 10 = x. Solve 3*a = -p - u for a.
-1
Let o be (-3 - -2)/(2/(-4)). Solve 0 = -2*i - 0 + o for i.
1
Suppose 5*y - 8 = -3*f, -3*f = -8*f - 4*y + 35. Solve 3*h = -f - 4 for h.
-5
Let h(d) = 9*d - 10*d + 2*d. Let o be h(2). Solve 0 = -o*t - 0*t - 4 for t.
-2
Suppose 0*o - 135 = -3*o. Let q be 5/(-2)*(-54)/o. Solve 2*u - 3*u + q = 0 for u.
3
Suppose -f + 9 = 2*o - 2*f, -f + 5 = 0. Solve o*k + 8 = 3*k for k.
-2
Suppose -4*o + 26 = -3*b, o = 7*b - 3*b + 13. Let j(t) = t**3 - 4*t**2 - 3*t + 7. Let y be j(o). Solve -5*w + 3 = -y for w.
4
Suppose -h + 3*h + 3 = -3*b, h - 2 = 2*b. Suppose -2*s + 5 + 1 = h. Suppose -16*c - 26 = -29*c. Solve -s*y - c = -4*y for y.
2
Suppose -3*b + 2 = 4*j, 0 = -b - 3*j - j - 2. Solve -b*k + 0*k + 8 = 0 for k.
4
Let v be (2/(-2) - 3)/2. Let d be (-1 - v)*1 + 4. Solve 1 = -d*y - 14 for y.
-3
Suppose -6 = 2*f - 5*t + 2*t, 0 = 2*t - 8. Solve 5*y + 10 = f*y for y.
-5
Let m = -16 - -20. Solve -6 = -m*h + 2 for h.
2
Let c = 39 - 56. Let v = c - -20. Solve v*z + 2 = -4 for z.
-2
Let u = -36 - -39. Let n(x) = x**3 - 2*x**2 + x. Let y be n(2). Solve y + u = 5*i for i.
1
Let a(s) = s**3 + 8*s**2. Suppose -d - 47 + 7 = 5*m, m + 5*d = -8. Let k be a(m). Solve -4*l + l - 15 = k for l.
-5
Let c = 30 - 10. Solve 0*v - 5*v - c = 0 for v.
-4
Let y be 4/(-2) + 0 + 57. Suppose 0*i - y = -5*i. Let k = i + -7. Solve -n + 0 = k for n.
-4
Let f be 2 - 3/(6/(-4)). Suppose 0 = -f*r + 14 + 2. Solve -t = -r*t - 12 for t.
-4
Let i(s) = s**3 - 6*s**2 + 6*s - 4. Let g be i(5). Suppose 3 = 4*n - g. Solve -n + 3 = -2*a for a.
-1
Let i = -16 - -27. Solve i = 5*r - 4 for r.
3
Let o = -4 + -2. Let h be ((-72)/60)/(o/20). Let a be ((-4)/((-4)/5))/1. Solve 3*s = a + h for s.
3
Let n = -11 - -13. Suppose n*b = -b + 36. Solve -t - b = -5*t for t.
3
Let q(b) = 2*b**2 + 3*b. Let k be q(-4). Let a = k + -1. Suppose -2*z - 6 = -2*h, 0 = 2*z + 5*h - 2*h - a. Solve -z + 0 = 2*r for r.
-1
Let d be (-