 = 4 + -1. Let r be (-6)/9 - (-8)/u. Solve 0 = -j - 1, -6*a + r*j = -2*a + 14 for a.
-4
Let q(v) = -2*v + 14. Let t be q(6). Solve 0 = -u - 1, t*u = 5*h - 8 - 4 for h.
2
Let s be 7/3 - (-2)/(-6). Let w = 11 - 7. Suppose -w*m + 35 + 5 = 0. Solve 5*p = -s*g - 18, -2*p + p - m = 2*g for p.
-2
Let c be (-34)/(-6) - ((-4)/3 - -2). Solve 7*o - 4*q - 20 = 3*o, -c*o - 3*q = -9 for o.
3
Suppose r - 1 = -z + 9, 0 = -2*z - 3*r + 22. Suppose h = 1 + z. Solve 0 = -3*b + 3*g - h, 6 = b + 5*g + 21 for b.
-5
Suppose 0 = 9*a - 17*a + 16. Suppose 5*y = -4*h - 2 - 3, -2*y - 3*h - 9 = 0. Solve a*k = y*k + l - 5, -3*l + 9 = 0 for k.
2
Let d(a) be the third derivative of -a**5/60 - 5*a**4/24 - 2*a**3/3 + 2*a**2. Let j be d(-3). Solve c + 4*t = 11, -t - j*t + 8 = c for c.
-1
Let q be (2/(-5))/(2/(-60)). Let a = 81 + -54. Let n = a - q. Solve 5*z = 5*m + n, 0*z = -2*m - 3*z - 11 for m.
-4
Let a be (25 - 2) + (2 - -1). Suppose -p - 4*k = -20, 0*k = 2*p + k - a. Solve f + 4*x - 2*x = 4, -4*x = f - p for f.
-4
Let w be (-1)/(-5) + (-9)/(-5). Suppose -w*g + 17 = -1. Suppose 1 = -4*o + g. Solve 4 = 2*i + 4*v, -2*i - 10 = i - o*v for i.
-2
Let o(s) = -3*s**3 - s**2 + 2*s - 1. Let u be o(1). Let l be 0/(u - 2/(-1)). Solve 0 = -3*j - x + 2, 4*j + 3*x - 6 = -l*x for j.
0
Suppose 4*p + 4 = -2*k, -5*k = -k + 5*p + 2. Solve -2*s - 4*c + 4 = -k, 0 = -5*s - 2*c - 1 for s.
-1
Let d(b) = -b**2 + 5*b - 2. Let n be d(4). Suppose -4*j = -2*k + 4, -5*j = -0*j - 2*k + 3. Solve 3*p + 2 = u, -n*p + 3*u - 2*u = j for p.
-1
Suppose -5*k + 23 = 2*i, 3*i - 2*k = -2*i + 14. Suppose 5*v - 6*v + 15 = 0. Solve -d - i*x = -v - 3, -d + x - 2 = 0 for d.
2
Suppose -2*t + 6 = t. Solve -z + 8 = -3*x, t*z - z - 4 = -x for z.
5
Let i be -2 - 2*-5 - 3. Suppose 10 = i*b + n - 4*n, 0 = -n + 5. Suppose 2*t - t - 4*o - 25 = 0, -2*t - 2*o = 0. Solve -5*s = -b*m - 3*s + t, m - 5*s = 1 for m.
1
Let g = -13 + 20. Solve -5*s - 2*l = -19, 0 = -2*s - l + g - 0 for s.
5
Let p be ((-66)/(-55))/(6/20). Solve 3 = x + b, -9 = x + b - p*b for x.
0
Let o be 0/((-2)/(-8)*4). Suppose -i = -o - 3. Solve -i*t = 4*q - 1 - 0, -5*t = 5*q - 5 for t.
3
Let t(q) = -q**2 + 8*q - 3. Let p be t(5). Solve -5*g + 5*j + p = -g, -10 = g + 2*j for g.
-2
Let w(j) = -3*j + 14. Let q(b) = 3*b - 15. Let n(f) = -2*q(f) - 3*w(f). Let i be n(5). Solve -i*h = -3*v - 6, -2*v - 2*v - 14 = 2*h for v.
-3
Let d be (-28)/(-35)*(-10)/(-4). Solve 0 = 2*a + d*i - 16, 5*a - 2*i - 3*i = 10 for a.
5
Let q be (-4)/4 + 10/2. Suppose q*f = 13 - 41. Let l = f + 12. Solve -j - 2*u = -l, -j - u + 2 = -2 for j.
3
Let n be 1 + (-2 - (-1 - -1)). Let v = -3 - -4. Let q = v - n. Solve 4*p + 25 = -s, -5*p - q*s + 7*s = 0 for p.
-5
Suppose 0 = 5*v - a - 60, 3*v - 4*a - 53 = -0*a. Suppose 3*w + 25 = 2*u, -20 = -u - 0*u + 3*w. Solve 2 = 5*p + 2*k + 28, p = u*k + v for p.
-4
Suppose -5*g - 4*v = -3*v - 10, 2*g + 2*v + 4 = 0. Solve -t = -4*t + 3*r - 6, -g = 4*t - 3*r for t.
3
Suppose -4*j = -w - 12, 5*w - 2*j = -0*w + 30. Solve c - w = -2*s, s + 11 = -2*c + 6*s for c.
2
Let x = 18 + -14. Let y be (-2)/5*(4 - -1). Let s = y + x. Solve -3*j = -2*o - 4, -3*o + 2*j + s*j - 7 = 0 for o.
-5
Suppose 8*g = 3*g. Let f(a) = 3*a - 1. Let o be f(1). Let x be 5 + 15*1/(-3). Solve 3*q - 3*v = x, -2*q - o*v + 20 = -g*v for q.
5
Suppose -3*t - s = -2*s - 9, 0 = -t - 2*s + 3. Let m = 30 - 28. Solve -d = -o - m - 3, -t*o = 0 for d.
5
Let g(o) be the second derivative of o**4/12 - o**3/3 + o**2 - o. Let r be g(2). Solve -j - 12 = -4*y + 3*j, r*j = 4 for y.
5
Let f = -48 + 69. Let x = 15 + -13. Let r be ((-18)/f)/(x/(-14)). Solve -t - a + 4 = 0, 3*t + 5*a + r - 20 = 0 for t.
3
Suppose j - 3 = -7. Let u be ((-102)/(-9))/(j/(-6)). Let y(x) = -x**2 - 5*x - 3. Let c be y(-2). Solve -3*p = 2*w + 1 + 6, -c*w + u = -p for w.
4
Let c(l) = -3*l**3 + 2*l**2 - 1. Let f = 6 - 7. Let q be c(f). Let u be (-1)/q - (-9)/4. Solve -4*o - m + 4 = -0, u*o - 2 = -3*m for o.
1
Suppose -6 + 2 = 2*x + 3*l, -3*x = 3*l + 9. Let o(n) = -n + 4 + 2*n + 6. Let j be o(x). Solve 0*u - 5*u = 5*k - j, k + 7 = -5*u for u.
-2
Let r = -2 - 3. Let h be (-1)/((10/18)/r). Solve -c - 11 = -4*w, 5*w - h = 2*c + 7 for w.
2
Suppose 0 = 2*n - 4 + 2. Suppose -2*p = -5 - n. Suppose 23*i - 15*i - 32 = 0. Solve -2*b - 5*k = -p*b + 13, -i*b = 4*k - 4 for b.
3
Let f = -11 + 15. Solve -6 + 2 = f*a, 2*l + 2*a = -10 for l.
-4
Let t = -2 + 0. Let u be t - -2 - 1*-29. Solve 2*j = 5*f + 20, u = f - 3*f + 5*j for f.
-2
Let u(m) = -m**3 - 13*m**2 + 13*m - 9. Let y be u(-14). Solve -3*q - 3*i = 12, -2*q = q + y*i + 10 for q.
-5
Suppose -44 = -4*y + 4. Solve 0 = 4*n - 5*d + y, -8 = 3*n + 5*d + 1 for n.
-3
Suppose -2*m + 4*p - 6 = p, 35 = 5*m + 5*p. Solve 5*t - 4*f - 10 = -f, -f + 6 = m*t for t.
2
Suppose -2*q - 2*q = 16. Let t(l) = -4*l - 2. Let u(v) = v. Let c(h) = -t(h) - 5*u(h). Let j be c(q). Solve -18 = -p - 5*n, -j = -5*p - 3*n - n for p.
-2
Let g(u) = -u**2 + 15*u - 16. Let v be g(13). Solve -v = 2*b, 4*b + 15 = -2*m - 3*m for m.
1
Suppose p + 4*i + 4 = -1, 5*i + 4 = -2*p. Suppose 0*v - p*v = 0. Suppose -r - 3*r = v. Solve -5*o + 0*z - z - 3 = r, 0 = o - z + 3 for o.
-1
Let x(r) = r**3 - 2*r**2 - 2*r + 2. Let y be x(3). Let k = y - -1. Solve 2*v = -2*d + k, -15 = -5*v + d - 2*d for v.
3
Let n be (-1)/(-3) - 29/(-3). Let o(k) = 5*k**2 - 1. Let q be o(-1). Suppose -2*f = -q*f + n. Solve 2*h = -f*c, -15 = 5*h + 10 for c.
2
Let h(q) = -q**3 + 4*q**2 - 3*q. Let l be h(2). Suppose -3*s = -16 - 5. Let w = 57 - 39. Solve -3*u - s = -5*i, -4*u - 4*i + l*i = w for u.
-4
Suppose 0 = 2*w - 3*u - 6, -6*w + 2*w = 3*u - 12. Let g = w - 3. Suppose g = -0*b - b - i - 2, -5*b + i = -2. Solve 0*y - 12 = 3*z + 3*y, -3*y - 3 = b for z.
-3
Suppose -2*w - 4*w + 36 = 0. Solve w*u - 5*u - 5 = -2*y, -3*y + 10 = 2*u for u.
5
Let l(c) = -c**3 + 4*c + 3. Let d be l(-2). Solve -3*v - 5 = -4*a + 7, 0 = 2*v - d*a + 8 for v.
-4
Suppose -5*n + 3 = -22. Suppose 0 = -2*v + 4*i - i + 12, -3*i = 3*v - 18. Let g = -6 + 11. Solve -2*m = -n*j, j + g*m = v*j for j.
0
Let g = -25 - -18. Let v be (-1)/g + (-6)/42. Solve 4*c + 12 = -4*r, 5*r + c + 0 + 3 = v for r.
0
Let h = -4 + 6. Suppose -32 = -4*w + 4*j, h + 2 = w + j. Solve -2*g - 5*f - 10 = 0, g + w + 1 = -3*f for g.
5
Suppose 5*c - 13 - 12 = 0. Suppose -3*j + r = 4*r - 18, -5*r + 20 = 0. Let z = c - j. Solve -m = -4*w + 13, -3*m + 0 = z for w.
3
Let a = 9 - 11. Let w be (-1)/(a - (-21)/12). Solve -2*l + 12 = 5*x, 4*l + 4*x + w = x for l.
-4
Let n(t) be the third derivative of -t**4/8 - t**3/6 + t**2. Let o be n(-2). Let w be o/(-15) - (-20)/6. Solve 2*u + 1 = g - 7, -w*u - 9 = -3*g for u.
-5
Suppose -5*t + 14 = -26. Let c = 45 - t. Suppose -c = -3*h + 32. Solve 5*k + 2*a = 30, -2*k = -4*k - 3*a + h for k.
4
Suppose -12 = -4*b + 4. Solve 14 = 4*u + 2*h, 3*h - 6 = -5*u + b*u for u.
3
Let p(l) = 2*l - 1. Let d be p(-1). Let j be 14/21 - (-11)/d. Let h be j*((-8)/3 + 2). Solve h*o + 1 + 12 = v, -3*v + 34 = -5*o for o.
-5
Let j be ((-6)/(-15))/(2/20). Suppose i = -3*u + 4, -j*u + 3*i + 0 = -14. Solve -w = 1, 4*l + u*w - 11 = 7 for l.
5
Let z = -19 - -49. Let c = 53 - z. Let u be c/5 - 12/(-30). Solve 3*m - u*m = 4*a - 12, 5*a = 5*m + 15 for m.
0
Let p be (-3)/(-18)*-2*-6. Suppose -2*z = 3*x - 29, -x = 4*z + x - 38. Solve -z = -p*h + y, -3*h - y = -2 - 1 for h.
2
Let m be 4/(-10) + (-1792)/20. Let r be m/(-9) - (-1 - -1). Solve 3*u + u = -5*v - 8, -4*v - r = 2*u for u.
3
Let n(i) = -4*i - 7. Let b be n(-3). Solve -45 = b*q - 5*z, -z + 0 - 16 = 4*q for q.
-5
Let y be (-105)/10 - (-1)/2. Let b be 18/4*y/(-15). Solve 0 = b*l + g - 9, 2 + 5 = -4*l + 5*g for l.
2
Let b be (-6)/2 - 42/(-3). Let f = b - 0. Solve 0 = -m - 5*k - 6 - 1, -k - f = -3*m for m.
3
Suppose -w + 1 + 0 = 0. Let h be w/7 + 2/(-14). Solve -3*c + 5*f - 3 = h, 1 = -3*c - f - 2 for c.
-1
Let y = 19 + -10. Solve -2*v = 3*g - y, 4*v - g - 2*g = 9 for v.
3
Let y be (-8 + 5)*15/(-9). Solve f = -4*f - 5*r, -10 = y*f + 3*r for f.
-5
Let f be 81/(-18) + (-3)/2. Let l be (-3)/(-9) + (-22)/f. Solve -21 = -5*c - 2*s, -l*s = 3*c - 3*s - 13 for c.
5
Suppose 0 = -3*f - 1 - 11. Let a(i) = -i - 5. Let v be a(f). Let t be (-2)/(1/v) + -2. Solve 26 = -5*r - z, -5*r + t*z - 3*z - 28 = 0 for r.
-5
Suppose 7*i = 4*i + 9. Solve 3*z + 1 = 2*d + 2*d, -3*z = i*d + 15 for z.
-3
Suppose -6 = -4*f + 3*n, 