+ f*z. Solve 2*v + 5 = -5*s, -6*v = -z*s - 4*v - 16 for s.
-3
Let t be (0 - (-15)/(-6))*-2. Suppose -2*u + 3*u - 4 = 0. Solve v = t*s - u*v + 10, s + 3*v = -14 for s.
-5
Let y(o) = 4*o**2 - 2*o - 2. Suppose 9*a = 14*a - 10. Let j be y(a). Suppose 2*s + 6 = j. Solve 25 = -5*w - 5*z, -4*z = -s*w - 3*z - 1 for w.
-2
Let a = 162 - 144. Solve -v + 3*l = -0 - a, -4*v = -5*l - 37 for v.
3
Let z = 447 - 442. Solve d = z*h + 9, -2*d - 5*h = -4*d + 13 for d.
4
Let d = -3 - -8. Suppose 0 = 3*q - u - 55, q - 23*u = -25*u + 9. Solve -d*y + q - 2 = f, 0 = -y + 5*f + 3 for y.
3
Let m = -5 + 11. Let k be ((-48)/18)/((-4)/m). Suppose k*l - 8 = 2*l. Solve -2*w + 1 + 1 = -r, -3*r - l*w = -14 for r.
2
Let n(y) = -3*y**3 - 6*y**2 + 9*y + 4. Let p(a) = a**3 - a - 1. Let c(u) = n(u) + 2*p(u). Let v be c(-7). Solve 0 = 5*r - 2*h - v, -4*h + 0*h = -4*r - 8 for r.
2
Let t = -38 + 23. Let u be 66/15 - 9/t. Solve 4*z + 3*q + 20 = -3, 4*z + u*q = -25 for z.
-5
Let l(k) = k + 17. Let h = 37 + -50. Let n be l(h). Solve p + 12 = -3*v - 2*p, 5*v + 2 = n*p for v.
-2
Suppose 5*y = -j - 0*j + 2, 6 = 3*y + 3*j. Solve 2*k + 2*b = -2, -3*k = -y*b - 4*b + 10 for k.
-2
Let r(f) = f**2 + 6*f - 5. Let d be r(-7). Let h(s) = -7*s + 13. Let w be h(1). Solve -5*g = 5*i + 35, -d*g - w = -3*i + i for i.
-2
Let a = -243 + 249. Let b be (-24)/(-10)*(-45)/6. Let v be b/((0 - -2)/(-1)). Solve -q = -4*m + 23, -3*m = -v - a for q.
-3
Suppose 0*z + 5*w = z + 18, -z = -4*w + 18. Let c be (12/18)/((-4)/z). Suppose 18 = 3*o + c. Solve 0 = -x + 5*h + 7, 5*x = -0*h + o*h - 5 for x.
-3
Let r be 7 + (-2 - 2)/4. Suppose -z = 4*x - 3*z - 2, r = 4*x + 2*z. Solve 20 = -5*b + 3*p, b + 3 = p - x for b.
-4
Let u be (10/(-6))/(21/(-63)). Solve g + u*m = -8, 11 = -4*g + m - 0*m for g.
-3
Let w(b) = 5*b**2 - b. Let h be w(1). Let l(m) = -51*m + 26*m + 24*m + 7. Let g be l(h). Solve -t - 3*r = 2 - 3, -g = -3*t - 3*r for t.
1
Let u = -29 + 31. Suppose -3*c - 4*h + 25 = 0, 2*c + 0 = u*h - 2. Solve 3*t - 34 = -3*m - 13, -m - c = -4*t for m.
5
Suppose 140 = 4*z + z. Suppose 24*g + 12 = z*g. Solve -4*q = -2*b - 19 - 1, g*b + 12 = 0 for q.
3
Let z be (3/(-2) - 0)/((-18)/24). Suppose 0 = l - 3 - 4. Let y(u) = -u**2 + 6*u + 10. Let p be y(l). Solve -5*m + 12 = t, -p*t + 2*t + 6 = z*m for m.
2
Suppose 7*h = -6*h + 195. Suppose 4*n + h = 5*n. Solve -4*c - c = -3*b + 7, -5*c - 5*b - n = 0 for c.
-2
Let u be (-3 - (-2 + -3)) + 1. Suppose -16 = -u*x + 2*o, o + 0 - 10 = -3*x. Solve 6*f - 2*f - x = 4*g, 0 = -5*g + 3*f - 11 for g.
-4
Let f = -1 - -6. Solve f*m - u - u = -20, -14 = -3*m - 4*u for m.
-2
Let p = -245 - -251. Solve 0 = 3*o + 2*h + p + 3, 0 = -3*o + h - 18 for o.
-5
Suppose 6*b + 384 = -2*b. Let p = -44 - b. Solve 5*i - 8 = -p*w, -3*w + 0*i + 6 = -4*i for w.
2
Let m = 20 + -29. Let d be 3*6/m + 4. Let i be (2/d - -28) + -4. Solve 2*g - 5*b + i = -g, 0 = 5*b - 25 for g.
0
Suppose 0 = 4*y + 13*t - 8*t - 73, 2*y - 19 = t. Solve 0 = -4*k - 5*u + 25, y = k + k + 2*u for k.
5
Let v = -104 + 106. Solve v*c = -5*f - 2, -13*f + c + 1 = -11*f for f.
0
Let m(y) = -y**2 - 14*y - 6. Let b be m(-13). Solve b = 5*p - 8, 0 = v - 5*p + 12 for v.
3
Suppose -4*r - 2 = -7*r + 4*g, 4*g - 40 = -4*r. Solve -4*f + r = 2*k, 8 = -0*k - 2*k + 3*f for k.
-1
Let s(a) be the third derivative of -a**5/60 - 11*a**4/24 - 7*a**3/6 + 11*a**2. Let d be s(-10). Solve -2*v = d*u + 7 + 4, -4*u = v + 8 for u.
-1
Let j(w) = w**2 + 3*w + 1. Let v be j(-4). Let l be (-4)/(-20) + (3 - (-19)/v). Solve -3*k = -2*t + 1 + l, -5*t = -5*k - 15 for t.
1
Let l be 40/16 - (-8)/(-16). Let i(h) = 3*h - 1. Let y be i(2). Suppose 5*f - f = 40. Solve -3*v = y*r - 15, 11*r - 6*r + f = l*v for v.
5
Suppose 48*d - 156 = 84. Suppose -4*p - p = -25. Solve -4*q - 25 = -y, -2*q + 10 = p*y - d for q.
-5
Let r = -96 - -99. Suppose -r*x = x. Solve -7 = o + 2*p, 3*o + 3*p = -x*o - 15 for o.
-3
Let x be (-8)/6*(-315)/210. Solve 3*g = b + 7, -5*b = -x*b - 2*g + 7 for b.
-1
Suppose 3*u = 8*u - 10. Suppose -5*i + 6 = -p, 6 = p - u*i + i. Suppose 4*n - p = 7. Solve -n*t = 2*g - 4, 3*t + 12 = -4*g + 5*t for g.
-2
Suppose 0 = 7*s + 23 - 114. Suppose 9 - s = -2*v. Suppose 3*y - 24 + 0 = 0. Solve 0 = -5*r - v*q + 28, -5*r - q + y = -4*r for r.
4
Let d be (-506)/(-18) - (-1)/(-9). Let h = d + -26. Solve 0 = 2*s + s - z + 5, h*z = 3*s + 1 for s.
-3
Let n be 12 + -13 - 1*-4. Let l = 432 - 429. Solve r + 3*y + 2 = -7, -n*r + l*y = 3 for r.
-3
Suppose 3*b - 8*b + 20 = 0. Suppose 2*m - 6 = b. Let x be (6/2)/(m/10). Solve 19 = -k + 3*n, 2*k - 2*n + 12 = -x for k.
-4
Suppose 0 = -3*u - k + 67, -3*k + 15 - 3 = 0. Solve -7*j + 2*j + 4*g = -u, -3*j - 4*g = 13 for j.
1
Let n be 4 + 6 + -3 + -2. Solve -3*v = -4*f + 8*f - 13, -11 = -4*f - n*v for f.
4
Let d(q) = 4 + 4 - 4 + 5 + 2*q. Let l be d(-3). Solve -3*g = -5*i - 13, -4*g = 5*i - l*i + 26 for i.
-5
Let i(s) = s**3 + s**2 - 5*s - 9. Let n be i(-3). Let h be n/(-20) - 36/(-15). Solve -5*y - 9 = -2*y - h*p, -4*y = 5*p + 30 for y.
-5
Let t be (4 - 8)*10/16*-2. Solve -4*d - 4 = -0*g - g, 2*g - 2 = t*d for d.
-2
Suppose -2*n - 5*g = -4*g - 15, -2*n = 5*g + 5. Let u be 38/5 - (-4)/n. Let w = -6 + u. Solve -5*x = -o + 7 + 13, -2*x + w*o = 8 for x.
-4
Let x be -4 - (-117)/12 - (-1)/4. Let t be 2 + 12/(-3) + (x - -1). Solve -5*l - t*o - 10 = 0, l - 4 = -3*l - o for l.
2
Let t = 35 + -27. Suppose t = 3*g - 28. Solve 2*r - 11 = 2*f - 5, -2*r = f - g for f.
2
Let d(k) be the third derivative of -k**4/12 - k**3/3 - 6*k**2. Let u = -1 - 1. Let i be d(u). Solve -i = -4*z + b - 3, 2 = -z + 2*b for z.
0
Suppose 33*d - 31*d - 6 = 0. Suppose 5*s = d*y + 34, 5*s + 5*y - 6 = 4. Solve -3*u + s*q = -11, 3*u - u = -q + 3 for u.
2
Let d(g) = -2*g**2 - 26*g + 340. Let p be d(8). Solve -3*r + 4 = -2*r + p*x, 2*r + 4 = 4*x for r.
0
Let l = 253 - 249. Solve -c - p = 1, -5 = l*c + 7*p - 2*p for c.
0
Let w(b) = 2*b**2 + 8 - 11*b - 4*b + 5*b. Let z be w(8). Let x = -36 + z. Solve -6 = -4*a + g + 9, x = 5*a - g for a.
5
Suppose 87*y - 67*y = 120. Solve 4*m - 2*l + y = 0, 3*m + 17 = 4*l - 0 for m.
1
Let v(w) = -w**3 - 26*w**2 - 47*w + 24. Let i be v(-24). Solve -a - p + 8 = -2*a, -a + 2*p - 11 = i for a.
-5
Suppose 16*n + 102 = 13*n. Let p be n/(-12) + (-3)/(-18). Solve p*s = -5*b + 28, -2*b + 5 + 9 = 4*s for s.
1
Let f be (-1 + (-90)/(-78))*26. Solve 0 = 4*c - q - 1, -c - 2 = -f*q - 21 for c.
-1
Let c(x) = -x**3 + 3*x**2 - x. Suppose 8*p - 16*p = -16. Let r be c(p). Solve 4*a = r*l, -5*a - l = 3*l for a.
0
Suppose 0 = 4*q + 3*z - 20, -3*z + 7 + 3 = 2*q. Solve -4*d = -3*s + 7, 3*s = d - 0 - q for d.
-4
Let l be 12 + 0 - (3 + 1). Solve -l = 4*n, 4*m + n = m + 10 for m.
4
Let h = 26 - 35. Let q be 3/h + 201/9. Solve 3*w - 23 = 4*r, -4*r - 6 = -4*w + q for w.
5
Suppose 0 = -5*l + 7*l - 32. Let m = l + -16. Suppose -6*b = -3*b, 0 = -2*c - 4*b + 6. Solve m = c*y - u + 5, -5*y + 3 + 2 = -5*u for y.
-3
Let g be (0 + 2/(-1))*(-8)/4. Solve -2*p + 0*d = -5*d - g, p - d + 1 = 0 for p.
-3
Let d = 110 - 105. Solve a = -d*s + 16, -4*a - 16 = a + s for a.
-4
Suppose -9*t + 6*t = -15. Solve -2*r - 12 = -2*d, -3*d = t*r - 2*d for r.
-1
Let l = -33 + 30. Let u be 2*((-60)/(-8))/l*-1. Solve 0 = -2*v - 3*j + 16, -3*v - u*j + 25 = -0*j for v.
5
Let h = -8 + 2. Let g(x) = -x - 1. Let o be g(h). Solve -o*p - 4*m + 15 - 37 = 0, 2*p = 2*m + 2 for p.
-2
Suppose 2*c - 4*s = -12, -5*s + 33 = 4*c - 2*c. Solve 5*j = -4*o - 7, -5*o - 11 = -c*j + 8 for o.
-3
Let j(d) = d**2 + 15*d + 28. Let b = -26 + 13. Let f be j(b). Solve -i = s + 8, 3*s - 18 = 5*i - f for i.
-5
Suppose -39*j + 14*j + 50 = 0. Solve 3*w = -3*o + 6, -2*w - j*w + 4*o = -16 for w.
3
Let r(a) = a**2 - 18*a + 52. Let q be r(14). Let o be (0 - -2) + (q/4)/(-1). Solve 2*t - o*b = -7, -2*t + 2*b = 1 + 3 for t.
1
Let z(o) = -o**3 + 0*o**2 + 16 - 5*o**2 + o - 6*o**2. Let h be z(-11). Solve 4*l + 2 + 2 = 0, -i = l + h for i.
-4
Let h = -4 + 9. Suppose 3 + 1 = -4*y - 4*x, -5*y = -4*x - 4. Suppose -3*t - 92 + 98 = y. Solve 11 = -3*c + 2*g, g = -h*c - t*g - 31 for c.
-5
Let u be (-196)/(-112) + (-18)/(-8) + -2. Solve f = -3*i - 12, 4*f = u*f - 2*i - 12 for f.
-3
Suppose 1 = -w + 3. Suppose -s + 4*t - 7 = 0, 7*t - 23 = -4*s + 6*t. Suppose s*x - 76 = -4*i, -2*x + i + 13 = -20. Solve 5*f = -5*u - x + 6, -u - 3 = w*f for f.
-1
Let d(l) = 0*l**2 + 7 - 4*l + 0 - l**