 - 0*o + 186. Let t be 72/q + 6/(-51). Solve -h - 1 = 0, m - h - 2 = t for m.
3
Suppose -2*q + 28 = -4. Suppose 4*b + 0 = -4*l + q, -5*l - b + 16 = 0. Suppose 0 = -5*j + l*j + 14. Solve -4*d + j = -5*t, -3 = -t - 2 for d.
3
Let c(z) be the second derivative of z**4/6 - z**3/6 + z**2/2 - 2*z. Let g be c(1). Solve g*y - 21 = -3*v, 4*y = -2*v - v + 27 for y.
3
Let x(h) be the third derivative of 5*h**4/24 + h**3/6 - 2*h**2. Let m be x(1). Let p be 2 - (m + 0)/(-3). Solve -4*c = p*s, -s + 45 = -5*s + 5*c for s.
-5
Let z = 3 + 1. Solve 0 = z*g + 3*b - 28, g = -0*g - 4*b + 20 for g.
4
Let s(i) = -i**3 + 7*i**2 - 6*i + 1. Let w be s(6). Let j(m) = 5*m**3 + 1. Let k be j(w). Solve -c + 14 = -k*v + 3*v, 22 = -5*v + 3*c for v.
-5
Let m(d) = -d + 3. Suppose -3*s - 18 + 51 = 0. Let p(c) = c**2 - 10*c - 8. Let l be p(s). Let i be m(l). Solve a + 4*k + k + 11 = i, -5*k = -4*a + 31 for a.
4
Let b = 16 - 14. Let o = b + -1. Solve -2*h + 8*c = 3*c - 14, -h + o = -c for h.
-3
Let t(d) = d**3 - 5*d**2 - 9*d + 2. Let i be t(6). Let f be 40/i*(-4)/5. Solve f*g + 1 = 3*g + y, -4*g + 8 = 2*y for g.
3
Let c = -11 - -14. Let k(z) = -z**2 - 6*z + 8. Let u be k(-6). Solve -c*y = -5*l - 10, 0*y - y = 3*l - u for l.
1
Let h(u) = 13*u - 7. Let k be h(4). Solve -1 = -3*w + i - 11, -4*w = 5*i + k for w.
-5
Let c be 3/(0 - 6/(-4)). Suppose -s + 72 = c*s. Solve -4*f = -4*a - 0*f + s, f - 14 = -4*a for a.
4
Let y = -5 + 6. Suppose 0*s + y = -s. Let k be (-5 + 5)/(0 + s). Solve 4*h + 4*w - 3*w + 2 = k, 0 = 5*w - 10 for h.
-1
Suppose -4*w - 4 = 16. Let t be 3 + (-5 - -1) - w. Solve b + k + 6 = 0, t*b - 3*k - 10 = 3*b for b.
-2
Let m(y) = -y**3 + 4*y**2 - y - 1. Let f be m(2). Suppose -4*q - f*b + 14 = 0, q + 1 = -0*b + b. Solve 5 = 2*s - q, 3*l - s - 12 = 0 for l.
5
Let p = 17 - 26. Let z be (-3)/p - 4/3. Let w be (-1 - 0)*3*z. Solve 2*r + 4*o + 19 = r, -17 = w*r + 4*o for r.
1
Let a(j) = -j**3 + 10*j**2 - 9*j. Let o be a(9). Solve 0*q - 2*q = 3*c + 17, o = 4*c + 2*q + 22 for c.
-5
Let z be (2/1 - 0)*2. Let o(q) = -q + 1. Let a(s) = -7*s**2 - s + 1. Let l be a(1). Let h be o(l). Solve 3*j + v - h = -v, z = v for j.
0
Let p be (-1)/(-4) + 22/8. Let a be (9/(-6))/(p/4). Let o = a + 2. Solve -2*v = 5*l + 6, -4*l = -5*v - o*v + 18 for l.
-2
Let p(j) = -j + 1. Let b be (9/6 + 2)*-2. Let s = -11 - b. Let y be p(s). Solve 5*g - 3*n = 5, -4 = g - y*g - 5*n for g.
1
Let z(a) = 4*a**2 + 5*a - 3*a**2 + 0*a. Let l be z(-6). Let q = l - 4. Solve o - q*t = -2 + 8, -2*o = 3*t + 16 for o.
-2
Let k be 3 - 4/12*0. Let t = 8 + -4. Suppose 3*a - 2*j - 7 = 0, -5*a + 3*j + 2*j = -10. Solve k*r + 4*f = 2 - 19, -t*r - a*f = 11 for r.
1
Let k(v) = v**2 + 10*v + 13. Let r be k(-9). Solve 2*f + 5*h = 3, -6*f + 2 = -4*f + r*h for f.
-1
Suppose -4*z + 15 = -13. Let p = -7 + z. Solve -20 = -4*w - 4*r, p*w - 4 = 2*w - 5*r for w.
3
Suppose -j = -3*z + 18, -3*z + 18 = j + 3*j. Let b(q) = 5*q + 1 - 4*q + q**2 + q - 4*q. Let r be b(2). Solve 10 = -5*v, -z = 3*c + v - r for c.
-1
Suppose 0 = -f + z - 2*z + 7, 2*z = 10. Let n(b) = -f*b**2 - 6 - 2 + 3*b**2 - 7*b. Let d be n(8). Solve u - 5 = r, -4*r - 5*u - 22 + 2 = d for r.
-5
Suppose 0 = 3*h - 4 - 8. Suppose 5*d - 49 = 51. Solve -v = 3*v - 2*t + 14, 0 = h*t - d for v.
-1
Let a = 1 + 6. Let p(x) = -x**2 + 6*x + 4. Let b be p(a). Let v be b + 4 + 1*15. Solve -5*h - 13 = -3*w - 1, v = 4*w + h for w.
4
Let g be ((-30)/(-9))/((-3)/18). Let c be (2 + -3)/(4/g). Solve n - c*k = -7, k = -3*n + 3*k + 5 for n.
3
Suppose -5*x = -2*v - 34, -4*v - 2 = 2*x - 6. Solve -4*n + 4*z - 6 = -2, 4*n - 3*z = -x for n.
-3
Suppose m = -w, 2*w + 10 = -0. Let k be ((-2)/2 - -2)*2. Suppose 4*t = -4*a + 7 + 5, 0 = k*a + 2. Solve -2*r = -t*r - 2*f + 6, 0 = 4*r + m*f - 15 for r.
0
Let a = 31 - 28. Solve a*n = 5*l + 11, 2*n + 2*l + 0*l + 14 = 0 for n.
-3
Suppose 4*c + 28 = 4*q, -2*q + 5*c = -25 - 4. Suppose -b + q = -0*b. Let z be (2/(-4))/(1/(-6)). Solve -29 = 3*o - z*d - 2, 5*d = b*o + 30 for o.
-5
Let n(y) = y - 4. Let a be n(4). Suppose b - 20 = -b. Let g(f) = f - 5. Let h be g(b). Solve 4*v = -v - 3*d + 24, h*v - 5*d = a for v.
3
Let t(j) = 2*j**2 - 2*j + 4 + 5*j**2 + j + 2*j. Let a be t(-2). Solve 5*x = -5*m + a, 3 = 4*x - 5 for m.
4
Let v(n) = n**2 + 5*n + 6. Let r be v(-4). Let b(x) = x**r + 1 + 9 + 6*x + 2*x. Let j be b(-7). Solve 5*k + 5 = -j*o, 0 = 4*o - 6*k + 3*k + 26 for o.
-5
Let y(t) = t**3 + 6*t**2 + 4*t - 2. Let q be ((-10)/8)/((-1)/(-4)). Let x be y(q). Suppose -f + 16 = x*f. Solve -5*n - f = 2*a + 4, 0 = 3*n + 4*a + 2 for n.
-2
Suppose -a - 2 = -0. Let d be a/(-2) + 0 + -1. Solve 0 = -4*h + z - d - 19, h = 5*z - 19 for h.
-4
Suppose 3*a - a = -6. Let q(o) = 5*o. Let b(k) = 6*k - 1. Let t(m) = -4*b(m) + 5*q(m). Let i be t(a). Solve -3 = -j + x + x, 4*x + i = -3*j for j.
1
Let o be 0 - (-2 - (-4 - 2)). Let h be 252/135 + o/(-30). Solve -h*k + 6 = -3*y, -6*k = -2*k - 5*y - 8 for k.
-3
Let g be 39/(-4)*32/12. Let k = g - -38. Solve 0 = -2*i + 2, -5*c + 3*i - k = i for c.
-2
Let k be 5/(4/(4 + 0)). Solve k*a + 5*d = 35, 1 = 3*a - 5*d - 4 for a.
5
Let c = 8 - 0. Let u = c + -3. Solve -4*q - u*j + 1 = 0, -2 = 2*q + 3*q + 3*j for q.
-1
Let q = 4 + -1. Suppose -q*d = -j + 13, -8 = -2*j - 0*j. Let o be (d + 3)*1/(-2). Solve -p + 6*p + 3*u = 8, -2*p + 2*u = o for p.
1
Suppose -3*s + 2*o + 10 = 0, 4*o + 5 = 3*o. Suppose s*h - 2*h + 8 = 0. Suppose 0 = -h*b - b. Solve 2*m = 4*c - c + 8, -3*m + 2*c + 7 = b for m.
1
Suppose 2*a = 2*m, 7*a + 2 = 3*a + 3*m. Let v = 5 + a. Suppose 3*o - v*k = 6, 17 = 3*o + 5*k - 13. Solve 4*r + 2*u = -4, r - 2*u = 2*r - o for r.
-3
Suppose -5*x + 0*x = -3*l + 31, 9 = -3*l - 3*x. Solve -3*k + c + 7 = l*c, -4*k + 36 = -4*c for k.
4
Suppose -2*b + 5 = -5*c, -b = -0*b + c - 6. Solve -b*r - 32 = -2*w + 6*w, 0 = -5*r - 3*w - 29 for r.
-4
Suppose 6*q = 13*q - 14. Solve 12 = 3*t + t, q*h - 5*t + 15 = 0 for h.
0
Let a = -9 - -16. Suppose w + f = 7, 0*w - a = -4*w + 3*f. Suppose 13 = 7*i - 3*i + y, 0 = -i - w*y - 8. Solve -o - i*x = 20, 2*x + 2*x = 3*o - 4 for o.
-4
Suppose -3*i + 3 + 3 = 0. Suppose -3*o - 9 = -m, -2 = i*o + 2. Let y be -3 - (-4 + 3)*3. Solve 4*a - 8 = 2*c, -c - m*a + y = -11 for c.
2
Let l be 5*((-23)/5 + 5). Solve -5*q = -x + 2*x + 10, q = l*x - 2 for x.
0
Let i(x) = -x**3 - 11*x**2 + 13*x + 14. Let m be i(-12). Solve f = -4*g - 14, 3*f + f + 14 = -m*g for g.
-3
Suppose 0 = -5*n - 4*z + 27, 2*n + 2*z = -3*z + 4. Let m(j) = j**3 - 6*j**2 - 6*j - 3. Let v be m(n). Solve 2*l - 21 = -5*p, -v - 1 = -p for l.
-2
Let q be 1/(-1 - 4/(-3)). Let z = 6 - q. Suppose 0 = 2*v - z*v + 5. Solve 0*h = 4*c - 4*h - 20, v*c - h - 13 = 0 for c.
2
Suppose 2*o + 2*h - 10 = 0, 2*o = -2*o + 3*h + 13. Solve -20 = -5*t, 0 = -k + 3*t - 13 - o for k.
-5
Let p be (-5 + (-10)/(-4))*-2. Solve p = -5*x, 4*a - 4*x = 5*a + 2 for a.
2
Let r be 2 - 1 - (-2 + -1). Suppose -3*z = 5*v - 32, -2*z + 8 = 4*v - 4*z. Solve -15 = -q - v*q + 3*x, -r*q = -x - 5 for q.
0
Suppose 12 = -3*j + 7*j. Solve 16 = j*m - 2*r, -5*r - 2 = 2*m - 0*m for m.
4
Let c(o) = 2*o**3 - o**2 + 3*o - 2. Let k be c(1). Solve 2*s - 6 = 0, 5*x - 3*s + 12 = k*x for x.
-1
Let d = -10 + 4. Let x = d - -14. Solve -5*i + 16 = 4*u - 2*i, -i = 4*u - x for u.
1
Let j(t) = -t**2 + 12*t - 14. Let n be j(10). Solve -n*f - 2*d + 10 = -2*f, -d = 3 for f.
4
Suppose 27 = 4*z - 5*k, 2*k - 67 = -4*z - k. Solve 2*c - 5*u + 19 = 0, 5*c + z = 2*u - u for c.
-2
Let f(v) = -v**3 + 9*v**2 - 6*v - 12. Let s be f(8). Solve -18 = -s*n - 4*g + 2*g, -g + 13 = 3*n for n.
4
Suppose -4 = -2*c - 2, -3*c - 43 = -2*n. Let a = -12 + n. Suppose 5*u - v = a, -4*v - 6 = -0*u - u. Solve 0 = 5*d + u*s, -s + 5 = 5*d + 10 for d.
-2
Suppose y = 4*r - 12 - 12, -5*r = y - 30. Let w be (64/r)/((-6)/(-18)). Let i be 39/4 - 24/w. Solve 2*a + 2*l + 1 = -1, 0 = -a + l - i for a.
-5
Let q(l) = l**3 + 2*l**2 - 2*l - 1. Let h be q(-3). Let o be 2/h*1*0. Let m be (2 + -2)/(o + -1). Solve 4*s - 3*w + 16 = m, 4*s - w - 4 = 5*s for s.
-4
Let v = -6 - -9. Suppose -t = -6*t + v*s, -4*t + 22 = 2*s. Solve 2*y + 4 = -t*p, -y + 0*y = -4*p - 20 for p.
-4
Let n(w) = -w**3 + w. Let v = -6 - -9. Let z(s) = s**2 - 4*s + 4. Let m be z(v). Let a be n(m). Solve -10 = -5*y - 2*l, 0*y + y + 2*l + 6 = a for y.
4
Let j(l) = 2*l**2 + 39*l + 21. Let m be j(-19). Solve 6*s - m*i - 11 = 3*s, -5*s + 