
Let o be 16/56 + (-74)/14. Let l = 8 + o. Solve -3*w - l = -2*h + 3*h, 0 = 2*w + 4*h - 8 for w.
-2
Suppose 0 = -2*t + 19 - 9. Solve 0 = -3*z - t*c + 40, -35 = -z - 2*z - 4*c for z.
5
Suppose 14 + 26 = 8*m. Solve 3*j - 21 = -3*c, -m*j + 3*c + 0*c = -19 for j.
5
Let t be ((-6)/8)/(4/(-32)). Let v be (-4)/t - (-14)/3. Solve -2*q = 4*c + 2, -c + v = -4*q + 3*c for q.
-1
Let q = -11 - -5. Let t(l) = -l**2 - 7*l - 2. Let w be t(q). Solve 0 = -k - w*j + 5, 2*j + 5 = -0*k - 3*k for k.
-3
Suppose 0 = -4*y + 3*d + 9, 0 = 4*y - y + 5*d - 43. Let b = y + -9. Let x = b + 6. Solve 4*q = -2*n - 0*q - 12, -x*n - 9 = -3*q for n.
-4
Let h = -67 + 83. Solve n + h = -4*u, 3*u + 12 = 3*n - 0*n for u.
-4
Let z be 3/(6/1)*6. Let d be (-6 - 0)/(z/(-10)). Solve -5*k - 4*i + d - 7 = 0, 3*k - 5*i = 30 for k.
5
Let a be 7 - 1/(-2)*-4. Suppose 13 = -0*w + w + 5*f, -10 = -a*f. Let u be (-3)/(-2) - 80/(-32). Solve 7 = -3*d + 3*p + 16, -w*p - 9 = -u*d for d.
0
Suppose 0 = -0*j + 7*j - 35. Solve 5*x + 3*w + 0 = j, -3*w + 23 = -4*x for x.
-2
Let z(f) = 10*f**2 + f + 1. Let k be z(-1). Suppose -w + 3*w = k. Solve -6 = -h - l, -h - 2*h - w*l = -22 for h.
4
Let o(k) = 2*k**2 + 2*k + 2. Let b be o(-2). Let i = b - 11. Let m be (i + 3)/((-4)/30). Solve 2*c + 3*z = -m, -5*z - 30 + 6 = 3*c for c.
-3
Let p(q) = -1 + 3*q - 15*q + 11*q. Let w be -1 - 4 - (2 - 4). Let z be p(w). Solve -z*g - 15 = 5*x + 4, 4*g - 32 = 4*x for x.
-5
Let q be 4 - (-6)/(-3) - 4. Let p = q + 6. Solve -4*c = p*d, 2*d - 3*d - 3*c + 10 = 0 for d.
-5
Let d(l) = -l - 5. Let f be d(-5). Suppose v - 3*y - 19 = f, v + 0 = -y - 1. Solve 0 = -a + u - 4, -5*a - v*u + 8 + 8 = 0 for a.
0
Suppose 6*d - 4*d = -3*l + 31, 3*l - 15 = 0. Suppose -3*z = -d + 2. Suppose -3*m = -z*m - 2. Solve -2*f = 3*n - 2*n - 1, 3*f + m*n = 0 for f.
2
Let v be (-2 + 7)*(-1)/(-1). Let t = v + 0. Solve g = 2*w - 7, 3*w + 0*w - 30 = -t*g for w.
5
Suppose 21 = b + 3*w, 2*b = 5*w - w - 8. Let n(i) = i**3 - 6*i**2 - 9*i + 16. Let g be n(7). Suppose 2*r = b - g. Solve -r*v - 20 = 4*c, 3*v = 4*v for c.
-5
Let s = 71 - 27. Suppose s = 5*x - 51. Let u = 11 + -6. Solve -u = -2*m - 5*d + x, 4 = d for m.
2
Let r(a) be the second derivative of a**3/2 + 5*a**2/2 + 2*a. Let d be r(6). Let i = d - 11. Solve -4*m = k + 11, 3*m = -k - k - i for k.
-3
Let m = -36 - -52. Let a = m + -12. Solve 15 = -3*r - 2*r + 5*f, -2*r = -3*f + a for r.
-5
Let c be (-2 - 0) + (-8)/(-1). Suppose c*k - 15 = k. Solve 4*x = -0*x - 20, k*n + 2*x - 2 = 0 for n.
4
Let h(k) = 9*k**3 - k**2 + k - 1. Let m be h(1). Suppose z - 5*z + m = 0. Let a = 53 + -50. Solve 2*f - 22 = 4*j, -z = -2*f - a*j - 1 for f.
5
Suppose 4*v - 12 = -4. Suppose 3*b + v*f - 10 = 0, b + 4*b + 4*f = 20. Solve 6*s - 4*s - 5*n + 18 = b, -3*s - 4 = 4*n for s.
-4
Suppose -2*m + 9 + 3 = 0. Solve -3*g + 2*i + m = -g, 15 = -5*g - i for g.
-2
Suppose -2*p + 2*s - 4*s - 2 = 0, -s - 1 = -3*p. Solve p*f + 4 = f - l, -4*l - 4 = -f for f.
4
Suppose -7*i = -2*p - 2*i + 13, 0 = -p - 3*i - 10. Let s = p - -4. Let b be 2 - 1*(-2)/2. Solve -b*u - 3*j = -u, -7 = -s*u - j for u.
3
Let v(y) be the third derivative of y**4/24 - y**3 - 2*y**2. Let z be v(12). Solve z*m - m = 3*l + 23, 5*m - 18 = -2*l for l.
-1
Suppose 19*d = 12*d + 14. Solve 0 = -3*a + l + 11, d*a + 4*l + 8 = 5*a for a.
4
Let w(v) = v**2 + 7. Let p be w(0). Let z = p - -20. Let n(j) = -j. Let c be n(-5). Solve c*k - b - z = -0*k, 2*b + 29 = 5*k for k.
5
Let x be (-2)/(-10) + (-78)/(-10). Solve x = -u - u, -4*u = 5*i - 4 for i.
4
Let p(v) = -v**2 - 6*v + 3. Suppose -4*u - 21 + 1 = 0. Let m be p(u). Solve -o = 4*i - 9, -4*i + m = 4*o - 4 for i.
2
Suppose 11*b = 6*b + 35. Solve 2*g = -5*v + b*g - 10, -2*v - 3*g = -16 for v.
2
Let n = -14 + 7. Let v = 9 + n. Let c be 4/6 - 183/(-9). Solve -c = 3*w + v*h, -w + 5*h + 5 + 5 = 0 for w.
-5
Let n(m) = -m - 8. Let q be n(-10). Let t be 41/3 + q/(-3). Suppose 2*f = 2*y - 6 - 4, -3*y + 2*f + t = 0. Solve 0 = 5*j + 2*l + 35, -l - 40 = y*j + 4*l for j.
-5
Suppose -5*c + 13 = -2*d, 2*d - 3*c + 10 = -c. Let n = -1 - d. Solve 0 = -4*q - f - 13, n*q - 4*f = -4 - 1 for q.
-3
Suppose u - 5 = 0, 4*v + 2*u = -0*u + 22. Solve v*q + 35 = -5*n - q, -2*n - 3*q = 21 for n.
-3
Let o be (-1)/2*2 + (-5)/(-5). Solve o = -2*y - 4*t - 4 - 0, -3*y - 4*t - 2 = 0 for y.
2
Suppose -4*v - 5*m = -26, 4*v + 3*m = 29 - 7. Let z = v - 5. Let y = z - -3. Solve -17 + 2 = y*x - 5*t, 15 = 3*t for x.
5
Let n = 21 - 21. Suppose 0 = 2*p - n*p - 12. Solve -m = -3*v, -p*v + v + 7 = -4*m for v.
-1
Suppose -7*s + 10 = -5*s. Solve -2*z + 2 = -2*k, s*k + z + 3 = 4*z for k.
0
Let y = -264 - -271. Suppose 3 = w - 0*w. Solve 0 = -w*v + u - 5, y = 3*u - 8 for v.
0
Let f(c) = c**2 + 8*c - 2. Let z be f(-8). Let g be 46/z + 2 - 2. Let o = g - -35. Solve -5*m + o = -3*w, -2*w - 8 = -5*m - 0 for w.
-4
Let o = 167 - 158. Solve 5*v = 5*z + 40, 2*z = -3*v - 0*z + o for v.
5
Suppose -c = 7*c. Solve 4*a = -a + 5*g + 10, 2*a + 2*g - 4 = c for a.
2
Let o be ((-20)/(-14))/(2/14). Suppose -4*j + o = -2. Solve 1 = -j*w - w + 3*n, -5*n - 9 = 4*w for w.
-1
Let s(d) = 9*d + 56. Let j be s(-6). Let c(p) = -p**3 - 5*p**2 + 5*p. Let z be c(-6). Solve -j*x + 5*x = -5*a - z, 2*x - 4*a = -4 for x.
-2
Let r(d) = -d**2 + 3*d - 2. Let p be r(1). Solve s - 9 = 5*n - 34, p = -5*s - 5*n - 5 for s.
-5
Let q(x) = -2*x**3 - 2*x**2 + 2*x + 2. Let j be q(-2). Suppose -j*a + a = -25. Solve z = -5*n - 0*z - 21, 0 = a*n - z + 29 for n.
-5
Let j = 6 + -4. Let y = 18 + -26. Let w be 1/4 - 94/y. Solve -2 = -0*t + j*t, 3*t - w = -3*q for q.
5
Let s(j) = -j**3 + 7*j**2 - 6*j + 7. Let x be s(6). Let p(h) = h - 5. Let z be p(x). Solve 3*i - 8 - 13 = z*c, -2*c - 11 = -i for i.
5
Suppose -4*c - 16 = 0, 2*i - 65 = 4*c + 13. Solve -5*h = -2*a + a + 29, -3*h + 4*a - i = 0 for h.
-5
Let t = -86 + 91. Solve 0 = 2*o - l + 10, -l + 3 = o + t for o.
-4
Suppose -3*v - t - 2*t + 24 = 0, -5*t - 10 = 0. Suppose -3*n = -n - v. Solve -4*s = -s + 5*m - 28, n*s - 30 = -5*m for s.
1
Let o(y) = -y - 1. Let b be o(-1). Solve 3*j - 2*j + 2 = b, m - j + 1 = 0 for m.
-3
Suppose 2*f = 4*h - 17 + 3, -2*f + 21 = 3*h. Solve -2*i - 2*w = -3*w, i = 2*w - f for i.
1
Suppose 3*m - 9 = -0. Let z = 10 + -5. Suppose -z*c = -m*c. Solve -3*i + t + 11 = 0, 0*t - t + 4 = c for i.
5
Let y(v) = -2*v**2 + 36*v - 31. Let f be y(17). Solve -5*n - 2 = 4*u - f, -u + 2 = 3*n for u.
-1
Suppose -3*h - 3*y + 21 = 0, 4*y + 3 = 4*h - 1. Suppose h*n + 0*n = 4. Solve 5*r - n = 4, 5*r = -3*b + 20 for b.
5
Let h(l) = 2*l - 5. Let v be h(5). Solve -2*f = 2*t - 2, v*t = -4*f + f + 3 for t.
0
Suppose v + 347 = -5. Let m be v/(-56) + (-4)/14. Let g be m + -3 + (-4)/(-2). Solve 4*z = -y + 21, z + 5*y = 5 + g for z.
5
Suppose 4*a = -7*f + 4*f + 5, a + 1 = -3*f. Solve x = a*p + 3, -x + 1 + 2 = -p for x.
3
Let r = -32 + 44. Solve -2*t + 3*t = 4*s + 3, 4*t = 2*s + r for s.
0
Suppose 5*u - 54 = -2*n, 2*u + n = -2*u + 42. Suppose u = -x - 4*x, 12 = 5*z + 4*x. Solve v + 0*i + 2*i = 4, z*v + 5*i = 16 for v.
4
Let k = 1 + 1. Solve 4*w - 5*q = 31, -k*q + 6 = 3*w - 0*q for w.
4
Let g be 9/(-15) + 6/10. Solve -3*n + 4*f = -2 - 5, 2*n + 4*f + 2 = g for n.
1
Let v(m) = -m**3 - 10*m**2 + 12*m + 12. Let u be v(-11). Solve 4*r + u - 7 = -3*a, 0 = 4*a - 2*r + 14 for a.
-2
Let o = 1 + 5. Let d be (-2)/(-8)*2*o. Solve d*w - 9 = 0, 3*w = -y - 0*w + 7 for y.
-2
Suppose 5*b + 10 = 0, 0 = -2*l + 3*b + 8 - 2. Solve -4*f + 4*c + 4 = l, -4*f - 23 = 6*c - c for f.
-2
Let b = -8 + 13. Solve -2*z = 4*t + b + 3, t + 1 = 0 for z.
-2
Let t(h) = -h - 7. Let g be t(-5). Let q be (g/5)/((-5)/25). Solve -22 = -4*s - 5*r, 5*s - 16 = s - q*r for s.
3
Let k(p) = 2*p**2 + 3*p - 4. Let c be k(-4). Suppose -4*g + 4*a - 14 = 2, 5*g - c = -4*a. Solve n + 2*s + 7 = 0, 3*s = -g*n + n - 8 for n.
-1
Suppose b - 4*b = -15. Suppose 8*x = 4*x. Let r = x + 6. Solve 12 = b*t - k - r, -3 = k for t.
3
Let x be (-6 + 1)*2/(-5). Solve 4*y - h = -22, 3*y + x*y = -h - 23 for y.
-5
Suppose -w + 0*w + 14 = 0. Suppose -5*l + 4 = 5*q + w, l + 2*q + 4 = 0. Solve -4*x + 8 = -2*u, x = 3*u - l*x + 2 for u.
0
Suppose 8*h + 0*h = 16. Solve 0*l - h*l + 2*i = -8, 5*l - 26 = -i for l.
5
Let v = 12 + -8. Suppose -5*u + v*u = -5. Solve o + 7 = -u*p, -5*p + 1 - 4 = -o for o.
-2
Suppose 17 = 2*w + 7. Let c = -17 + 21. Solve w*l = -r + 8, 5*r - 1 = c*r + 