0 = 2*n. Let v(x) = -x + 15. Let c be v(n). Solve -c*u + 10 = 5*k + 2*u, -4*u = 0 for k.
2
Let x(o) = -o**3 + 6*o**2 - 4*o - 6. Let s be x(5). Let g = -1 - s. Let q be (g/3)/(-3 + 2). Solve -2*r + 4*k + 10 = q, -k = -2 + 7 for r.
-5
Suppose 2 = 3*s - 13. Solve -4*l - s*p = 5, -p = -4*l - l + 1 for l.
0
Suppose 2*x - r = -3, -2*x - 2*r - 18 = 2*r. Let l = -5 - x. Let c be (-64)/(-10) - l/(-5). Solve 2*d - 34 = 5*q - c, 5*d - 24 = q for d.
4
Let o(d) = d**2 + 2*d + 2. Let m be o(0). Solve 3*a = m*y + 17, 6*y - y = 4*a - 32 for a.
3
Suppose -20 = -i - 4*f - 1, -5*f = -15. Let q(u) = i + 6 - 4 - u**2 + 8*u. Let r be q(9). Solve 0 = -2*v - 2*y - 10, r = -4*v + 9*y - 4*y + 25 for v.
0
Suppose 4*g = -3*w + 28, -3*g - 4 = -8*g + 4*w. Let c be ((-3 + -57)/5)/(-1). Solve 6 = 2*t, 3*z - g*t + 7*t = c for z.
1
Let w = 3 - 1. Suppose w*b + 14 = 4*n, -n + 3*b = -0 - 11. Suppose -2*u = 2*u. Solve -3*k + u*r + 8 = -4*r, k + n = -r for k.
0
Suppose 3*k + 10 = k, 4*j - 13 = k. Let h be (2 + (-6 - -3))*-22. Solve -2*d - h = -4*o, 4*d - j*o + 13 + 13 = 0 for d.
-5
Let i = -2 + 5. Suppose -m - 24 = 5*v, -i*v = 5*m + 25 + 7. Let s be v*(1/2)/(-1). Solve -5*y + 4*y = -4*l + 19, s*y = -5*l + 14 for l.
4
Suppose 3*f - 3*w = 5*f - 16, 2*f = 4*w - 12. Solve -3*o = -f*o - d, 0 = 5*d + 15 for o.
-3
Suppose 2*o - 4*w = 48, 0*o + 62 = 2*o + 3*w. Let l be (-200)/(-11) - 4/22. Let g = o - l. Solve 5*b = -10, 4*x + 2*b - 6 - g = 0 for x.
5
Let q(j) = j**2 + 4*j - 5. Let r be q(-5). Solve 6 = 2*p, 4*g - 5*p = -r*g - 15 for g.
0
Suppose -3*u - u = -4*x + 12, -4*x - 3*u = -26. Solve -10 = x*f, z - 4*f + 4 = -2*z for z.
-4
Suppose 4*g + 0*h + 4*h = -196, -g - 4*h - 37 = 0. Let k = -20 - g. Solve k = -2*d - 5*f, 7*f + 24 = -d + 3*f for d.
-4
Suppose -x - 7 = -3*n, -2*n - 3*n + 19 = 2*x. Let q = 3 - n. Let k be (-20)/(-5) + 0 + q. Solve -j + 4*v + 6 = -15, 1 = -3*j - k*v for j.
5
Suppose -33*u + 29*u + 16 = 0. Solve -4*z + r = 5*r, 0 = 3*z - u*r - 21 for z.
3
Suppose 0 = 5*w + 4*i + i - 40, 3*i = 2*w - 21. Suppose 0*s = s - w. Let d = 10 + -6. Solve 9 = -q + d*p, -s = -3*q - 2*q + 2*p for q.
3
Suppose 3*d = -w - 7, 0 = 4*w - 0*d - 4*d - 4. Let f be (0/2 - -1)/w. Let g = 1 + f. Solve -4*t + 5*x - 15 = g, -3*x + 2 - 5 = 0 for t.
-5
Let q(t) = -t**3 - 6*t**2 + 5*t - 10. Let h be q(-7). Solve -5*v - d = -16, -4*v - h*d + 10 = -6 for v.
3
Suppose 0 = 2*y + 6*u - 3*u + 2, -u - 2 = 0. Solve 3 = y*r - 4*w - 1, -r = w - 2 for r.
2
Let i be (-6)/(-21) - 15/(-21). Solve 25 = -4*p - 2*y - i, -2*p - 1 = -3*y for p.
-5
Suppose 77 = 4*m - 3*q, 2*q + 23 = 4*m - 3*m. Let k = m - 14. Solve -k*d + 40 = -5*x, 3*d = -x + 6*d - 20 for x.
-5
Let k be -1 - -3 - (-1 + 1). Suppose 0 = -k*s, 2*s - 10 = -c - c. Let b(d) = -d + 10. Let o be b(-3). Solve -4*f - 2*j - 2*j = 4, j = c*f - o for f.
2
Suppose 0*g + 116 = 4*g. Suppose g + 43 = 3*f. Suppose -4*m + 24 = -f. Solve -4*r + 2*n - 3*n = m, 0 = r - 5*n + 3 for r.
-3
Let m(b) = b**2 - 6. Let r be m(6). Solve -h = -t, -t - r = h + 4*h for h.
-5
Suppose 3*h + 14 + 13 = 0. Let d be 2/h + 188/36. Suppose d*n - 13 = 12. Solve -3*v + 2 = 3*u + n, u = v + 9 for v.
-5
Let w be (-47)/(-15) - (85/75 - 1). Solve 0 = -5*v + 4*a + 5, w*v + 0 = a - 4 for v.
-3
Let u = 19 + -9. Let o = u + -7. Let w(n) = n. Let t be w(o). Solve -t*m = -4*r + 10, 16 = m + 3*r + 2 for m.
2
Let c(n) = 2*n - 6. Let l be c(8). Solve -2*v - 2*r = l, -r - 1 = -0*v - 3*v for v.
-1
Suppose 4*b = 4*l, 0 = 4*l - 0*b - 3*b - 4. Solve -2*a = l*t + t - 21, -2*t - 2*a = -12 for t.
3
Suppose 0 = -3*w + 2*w + 5. Solve 7 = -m + 3*t + t, -t + 28 = w*m for m.
5
Let j(s) be the third derivative of s**4/6 + s**3/2 - 2*s**2. Let w be j(4). Solve i = 4*f + 23, 3*f + 2*f + w = -2*i for f.
-5
Let l(f) = 0*f + 0*f + f - 4. Suppose -4*c - c = -35. Let x be l(c). Solve 0 = -4*b - 5*j - 31, 4*b - 5*b = x*j + 13 for b.
-4
Let p(q) = 9*q. Let d be p(6). Let b be (2/6)/(6/d). Solve f + s - 2 + b = 0, 3*f = 2*s - 18 for f.
-4
Suppose -2*s - 3*s = -10. Suppose u - 5*l - 14 = -2*u, -2*u = -l - 7. Solve -3 = u*w + 2*h, s*w - 3*w - 9 = -2*h for w.
-3
Let b(i) = i**2 + 8*i + 9. Let f be b(-7). Solve 27 = -f*z - 5*r + 8, -4*z = -r + 5 for z.
-2
Suppose 0 = -2*i - 4*d + 2 + 36, -d - 22 = -i. Let l(c) = -c**3 + 6*c**2 - c + 1. Let q be l(3). Solve -m - i = 3*o - 8, -q = 3*o + 4*m for o.
-3
Let z = -38 - -48. Solve 4*r + 3*g = -21, 3*r + g + z = -2 for r.
-3
Let h = 4 + 12. Let a = 6 + -3. Let o be (4/a)/(2/3). Solve 3*l = -l - h, l - o = -2*u for u.
3
Suppose -s - s + 6 = 0. Let o = s - 0. Let k = o + 0. Solve -k*w + w - 3*a = 7, -3 = 3*w - 3*a for w.
-2
Suppose 3*w + 7 = 4*y, 3*y - 2*w = -y + 2. Let c be 11 + (-3)/(-2)*y. Solve 0 = -n - 2*b + 11, 4*n - 2*b = -c + 2 for n.
1
Let q(d) = d**3 + 4*d**2 + d - 1. Let w be q(-3). Solve -w*k + k - 13 = o, -2*o = 4*k + 18 for k.
-2
Let y(a) = a**3 - 4*a**2 - 5*a. Let l be y(5). Let i(n) = n**3 + 2*n**2 - 6*n - 7. Let o be i(-3). Solve -2 = o*v + j + 3*j, 2*j = l for v.
-1
Let g(k) = -k**2 - 6*k - 5. Let j be g(-4). Solve 4*a - j = 9, 0 = 2*l - 5*a + 7 for l.
4
Suppose n - 4*n - r + 5 = 0, 15 = -5*n + 3*r. Solve 4*w + 31 = -3*a - 0*a, 2*a - 2*w + 2 = n for a.
-5
Let p be ((-18)/(-8))/(2/(-8)). Let w = 1 - p. Let r be (-3 + 0)/((-9)/12). Solve l + l = -i, -r*l + w = -3*i for l.
1
Suppose -3*l + 14 = -8*v + 12*v, 0 = -2*l + 5*v - 6. Suppose -3*m + 6 = 3*w, w - 3*w + 9 = 3*m. Let s = -1 + m. Solve a - l*c - 2 = 1, -4*c = -s for a.
5
Let i = -10 - -13. Suppose -3*s + 2*y + 21 = -i*y, -2*s - 3*y = 5. Solve -s*m + 12 = -4*h, m + 5*h + 16 + 6 = 0 for m.
-2
Let w(a) be the third derivative of a**5/12 + 2*a**2. Let k be w(1). Solve 0 = k*z + 5, 16 = -5*j - 0*z + 4*z for j.
-4
Let q(a) be the second derivative of 1/6*a**3 + 2*a + 4*a**2 - 1/2*a**4 + 0 - 1/20*a**5. Let u be q(-6). Solve -3*i - 7 = u*r - 6*r, -3*r = -12 for i.
3
Suppose 3*v = 2*v + 3. Suppose k - v*k = -2. Solve d + 12 + 1 = 5*p, 0 = -d - 2*p + k for d.
-3
Suppose -6 = 2*i - 10. Solve i*l + 0 = 3*o - 7, -5*l + 17 = 4*o for o.
3
Let q be (2 + 0)*(-1)/2*-2. Let o = 1 + -1. Solve 5*i = 3*m - 10 - 21, i + q*m + 1 = o for i.
-5
Let f(o) = -o**3 + 2*o**2 + 5*o - 4. Let r be f(3). Solve 0 = -2*g - 4*v - 14, -r*v + 3*v + 4 = -g for g.
-1
Let j = -100 + 102. Solve -4*u = -4*p - 28, -12 = 3*u + 4*p + j for u.
2
Let p(s) = s**2 - 27*s + 26. Let t be p(26). Solve t*g = 4*z + g + 11, 3*z - 6 = 4*g for z.
-2
Let l = 188 + -180. Solve -4*u + l = -3*q, 4*q - 2*u + 4 = -0 for q.
0
Let t(n) = n**3 + 4*n**2 + n - 4. Let h be t(-3). Let f = 9 - 6. Let m be 5*(f + h*-1). Solve -12 = 4*b + m*d, d = -d for b.
-3
Let l(n) = n**3 + 3*n**2 - 2. Let b be l(-3). Let o = b + 4. Solve -h = -4*h - o*q - 7, 0 = h - 5*q - 26 for h.
1
Suppose 0*o = -3*o. Suppose o = p + 3 - 8. Solve -k = -4*t - 1, 2*k - 1 = 2*t - p for k.
-3
Let l(x) = -x**2 - x + 1. Let b = 2 + -2. Let u be l(b). Let g(s) = -s**3 + 4*s**2 - s - 3. Let p be g(3). Solve -5*y + 2*c + u = 0, 2*y + p*c = 7*y - 4 for y.
-1
Suppose 4 = p - 3. Suppose -4*a + p*a = 4*v - 157, 4*v + 3*a = 163. Solve 2*x - 3*k - 30 = -3*x, -5*x + 5*k = -v for x.
3
Let a be -35*(48/(-20))/6. Solve -a = j + 4*b, -2*j + 4*b + 12 = -8 for j.
2
Let b(a) = a**2 - 10*a + 15. Let h be b(9). Let k be ((-2)/4*0)/2. Suppose -3*l + l + h = k. Solve 0 = -z + l*n - 13, -z - 2*z - 2*n + 16 = 0 for z.
2
Let z be (-1 + 1)/(6/(-2)). Suppose -5*a - 4 = w + 3*w, -w - 1 = -5*a. Suppose 0 = 5*s - a*s - 75. Solve 2*g - p + 3 = 0, z = -0*g + 3*g + 5*p - s for g.
0
Suppose z - 1 = 4. Suppose 0 = s - z*s. Suppose -q = -5*q. Solve s = 5*x - 4*b + 9, 4*x = b - 5 - q for x.
-1
Suppose -3*o + 2*o = -12. Let p be (1/(-3))/((-2)/o). Solve -5*s = p*t - 7 - 10, -2*s + 1 = -5*t for t.
1
Let t(x) = 5*x**2 + x. Let y be (-2 - 10/(-4))*-2. Let c be t(y). Solve s + 2*s + 25 = -5*h, -3*s + c*h = -20 for s.
0
Suppose -3*n + 7*n = 32. Solve -k = 4*d + 19, -3*d = k + n + 7 for d.
-4
Let t(v) = -2*v - 17. Let o be t(-10). Suppose -w + 5*w = 12. Solve -14 = -5*p - o*u, -3*p + 3*u = w + 3 for p.
1
Suppose 6*h - h = 10. Let m(y) = 5*y**h - 1 + y - 3*y + y - y**3. Let v be m(2). Solve 6 = 2*l - 6*l - 2*q, -4*l + q = -v for l.
1
Let f be ((-12)/(-10))/(12/40). Solve k + 0*k + f = -4*u, -2*k = 2*u + 8 for u.
0
Suppose -50 + 5 = 5*j + 3*r, -2*j - r - 17 = 0. Let q be 3/9 - (