Let f(n) = n + 24. Let s be f(0). Suppose 16 + s = 5*t. Solve 2 = -l, 5*v + l = 5 + t for v.
3
Let n be 2/(-9) + (-6)/(-27). Let c be (-85)/(-25) - (-4)/(-10). Solve n = -b + 4*k + 3, 4*b + 14 = c*k for b.
-5
Let t = 12 + -7. Let f = t - -5. Solve -5*h - f = 0, -12 = -a + h + 3*h for a.
4
Suppose -6*p + p = 0. Let h = -4 + 7. Suppose p*f - h*f + 15 = 0. Solve -2*m - 2*m = -3*g + 12, -5*m - 15 = -f*g for g.
0
Suppose -2*o + 12 = 2*o. Let r(d) = -d**3 - d**2 + d + 1. Let q be r(-1). Suppose 8*s - 4*s = q. Solve o*b - n = -2, s*n = n + 1 for b.
-1
Let m(z) = z**2 - 7*z + 7. Let j be m(5). Let u be j/(-9) + (-14)/(-3). Suppose u*v - 20 = v. Solve 3 = -0*k - k, -7 = 4*h + v*k for h.
2
Suppose 6*t - 12 = 12. Suppose 0 = -p + 4*x + 10, -3*p - 1 - 3 = 5*x. Solve p*q - t*k - 4 = 0, 5*k = k - 8 for q.
-2
Let n(d) = -d**2 + 3*d - 3. Let o be n(4). Let t = 11 + o. Suppose -t*j + j = 0. Solve 4*b + 17 = -3*v, j*b - 2*v + 2 = -4*b for b.
-2
Let c = 9 + -4. Let t(p) be the third derivative of -p**6/120 - p**5/20 - 5*p**4/24 - p**3/2 + p**2. Let a be t(-3). Solve a = 4*w, -2*k + 9 = c*w - 0*w for k.
-3
Suppose -n + 8*n = n. Solve 0 = -t + 4*u - 25, n = 5*t - u - 4*u + 50 for t.
-5
Let f = -9 + 11. Suppose 5*k = -0*d - 5*d + 10, 2*k + 3 = 5*d. Solve -j - 2*n = -k, 0*j - 4*j - f*n - 14 = 0 for j.
-5
Let p be 290/14 + (-30)/(-105). Solve 2*h - 5*i = 9, 4*h = -i - 2*i - p for h.
-3
Suppose 3*f = 8*f - 15. Solve 3*m + f*w + 15 = 0, -3*m = -6*m + 5*w + 9 for m.
-2
Let x be (0 - (3 - 3)) + 69. Let r = 100 - 60. Let b = x - r. Solve b = c + 4*c + k, -3*k - 8 = -4*c for c.
5
Let z(k) = k**3 - 6*k**2 - 10*k - 3. Let m be (-8)/(-2*2/4). Let v be z(m). Let q = -29 + v. Solve 0*u - 2*u = 4*g + q, -5*u = -5*g - 35 for u.
2
Suppose -12*l + 25 + 11 = 0. Solve 6*g = -3*y + 3*g + 27, -3*y = -l*g + 3 for y.
4
Suppose -51 = -2*z - 15. Suppose -b - z = -3*n - 4, -4*b = 20. Solve n = 3*q - 2*j - 3, 5*q - j - 17 = 0 for q.
4
Let x be ((-2)/(-2))/((-2)/(-4)). Solve -2*i + 10 = -3*z - i, x*z + 4*i = -16 for z.
-4
Suppose -4*d - 5 = 4*u + 7, 5*d + 12 = -4*u. Let z be (-1 - u) + -3 - 1. Let s = z - -4. Solve -3*v - 2 = -0*v - s*n, 0 = -2*v + 5*n - 5 for v.
0
Let o be 18 + (-1 - 8)/3. Solve -3 = -5*v + 3*s + 1, -5*s - o = 0 for v.
-1
Let u(c) = c**2. Let f be u(-2). Let o = -303 - -305. Solve 0*y = o*y - 3*b - 1, f*y = -b - 5 for y.
-1
Let x = -3 + 2. Let y be (x - 1) + (-322)/(-2). Suppose 0 = 4*q + r + 4*r - y, -4*q = -4*r - 132. Solve -4 = -3*k + 4*c - 3, -4*c - q = 4*k for k.
-5
Let j(f) = f**3 - f. Let c be j(-2). Let g be (c/8)/((-13)/52). Solve 3*y = z - 3, -z - y = -g*y - 1 for z.
-3
Suppose -4*m + 3*n = -57, 2*m = 4*n + 22 + 4. Let a be (-1*m)/((-12)/16). Solve i = -3*r - r + a, -r - 8 = -3*i for i.
4
Let d(g) = -g**2 + 4*g - 2. Let r be d(3). Let b be 14*r + -1 + 2. Suppose 3*n - 8*n = 0. Solve 5*l + b = n, 4*l = -4*f + f - 15 for f.
-1
Suppose -2*j = s - 5*s - 12, 4*s + 12 = -3*j. Suppose 6*k - 27 = k + 2*p, 4*p + 4 = j. Solve -5*t + 3*t = -3*d - 7, 0 = k*t - 25 for d.
1
Let c = 11 - 7. Suppose -l - c*i - 12 + 3 = 0, 5*l - 18 = i. Solve 5*g = -l*z + 19, -3*g + 3 = 5*z - 2 for z.
-2
Let s(n) = n**2 - 3*n - 10. Let k be s(5). Solve -b - 2*b + 4*a + 1 = k, -4 = -2*a for b.
3
Suppose 9*w - 7*w = 4. Solve -5*z - w*v - 3 = 0, 4*v - v + 2 = -5*z for z.
-1
Suppose -z = -3*j - 5, 3 = -3*j - 0. Solve 4*w - 20 = 0, w - 21 = 2*i - z*w for i.
-3
Let w(t) = 2*t + 1. Let y be w(1). Let h(g) = g**3 + 0*g**3 - 2*g**y + 4*g - 2*g**2 - 2*g. Let v be h(-3). Solve -3*z = 4*s - 4*z + 16, -2*z - v = -s for s.
-5
Let c = -4 + 7. Let r be (2 - -1) + -3 + c. Suppose 3*a - 3*j = -0*a + 81, 2*a = -4*j + 54. Solve 4*w + m = -0*m - 16, r*m = 3*w + a for w.
-5
Suppose c + 1 - 4 = 0. Suppose 2*u - 13 = -c. Solve 5*w - u*o = 6*w - 12, -3*w + 8 = o for w.
2
Suppose 10 = 2*y + m, 0 = -2*y - 2*y - 5*m + 32. Solve -4*l - 3*c + y = -4, c - 7 = l for l.
-2
Suppose -3*g - 2*g = -45. Let u = 13 - g. Suppose -5*o - 32 = m - u*m, -4*m - 3*o + 4 = 0. Solve 0 = m*r + 5*t + 8, -5*r - 2*t + 4 = -r for r.
3
Let p be 0/(-1)*9/18. Solve 3*x - 7*x + n = -17, -2*x + 3*n + 21 = p for x.
3
Suppose -3*i = -0*i - 84. Suppose i - 3 = 5*h. Solve o + 19 = h*g - 2, -5 = o - g for o.
-1
Let a(f) = -f**2 - 8*f - 3. Suppose -s - 6*t - 23 = -2*t, 3*t = 5*s + 23. Let p be a(s). Solve -j = -p*u - 0*j + 11, -u = j - 9 for u.
4
Suppose -w - 4*p + 4 = -2*w, 3*w = -2*p + 30. Solve 0 = -2*m + 3*b + 18 - 0, 0 = 4*m + 5*b + w for m.
3
Let o be ((-2)/4)/((-4)/24). Solve -2*p + y - 5 = 2, -o = -y for p.
-2
Let t(r) = -4*r - 12. Let z be t(-4). Solve -5*v + z + 7 = q, 4*v - 28 = 4*q for v.
3
Let j = 59 + -56. Solve 37 = 3*c + 5*i, j = -3*i + 18 for c.
4
Suppose 0 = -2*j + 11 + 15. Suppose -17 - j = -5*x. Solve 0 = -2*s - 2*m - x, 5*s - m = 4*m - 25 for s.
-4
Let a(x) = 2*x - 5. Let o be a(4). Suppose -o*i = -8*i + 10. Suppose -c + 4*c = 0. Solve -i*j + 5*k - 5 + 0 = c, 0 = 2*j - k + 9 for j.
-5
Let z be 2 - 0*(-2)/4. Suppose z*w - 4 = w. Solve -2*q = w*a - 8, -a - q + 20 = 4*q for a.
0
Let q(x) = -4*x + 3. Let t be q(0). Suppose -3*d = -2 - 7. Solve -t = -4*o - d*z, 0*z = -o - z for o.
3
Let u be (-1)/(-1) + -1 - -4. Let g be 0 + (1 + 0 - -3). Suppose g*l = -2*c + 22, 2*l - 7*l + 2*c = -23. Solve -2*t + 20 = -7*t - l*r, -u*r = -2*t + 4 for t.
-2
Let c be (-60)/(-14) + 4/(-14). Suppose s - 4 - 2 = 0. Solve 2*y - c = -5*t + s*y, -4*y + 12 = -t for t.
4
Suppose 4*y - 50 = 2*y. Let d be ((-24)/(-21))/(4/14). Let s be (-18)/d*4/(-6). Solve 5*r - 3*m - y = -m, -s*r + m = -14 for r.
3
Suppose 2*k = -4*s - 0*k, 0 = 3*s + k. Suppose -4*h = -3 - 9. Suppose 2*n + 2*n = 28. Solve h = c, z - n = -4*c - s*c for z.
-5
Suppose 0 = 3*i - 2 - 4. Solve -x - 1 = 0, x = -q - 0*q + i for q.
3
Suppose -6*u + 36 = -3*u. Solve -2*f - 1 - u = 5*p, -4*f + 19 = -5*p for p.
-3
Let m be 3*(-1 - 0)*-1. Suppose -3*b + 0*b = -3*y - 27, -5*b - m*y = -53. Solve 2*r - 2*d = 0, 0*r = -2*r + 4*d - b for r.
5
Let f = 25 + -22. Solve 0 = -4*x - 8, 5*p + 0*p - 31 = f*x for p.
5
Suppose -5*b - 5 + 14 = 4*w, -w - 24 = -4*b. Solve q + 5*a = 15, b*q - 5 - 4 = -3*a for q.
0
Suppose 1 = 5*l + 6, 23 = 4*w + l. Solve -5*x - y - 27 = 0, -w*x = -5*x + 4*y + 13 for x.
-5
Let u(f) = f + 4. Let l be 2/4*-2 - 0. Let n be (l + 0)*(-6)/2. Let y be u(n). Solve 2*d = -3*p + y*d + 13, 2*p + 4*d + 6 = 0 for p.
1
Suppose 2*i - 5*v - 12 = 0, 3*i - 4*v - 22 = -4. Solve 2*q + 4*t - 20 - i = 0, -28 = -q - 5*t for q.
3
Let q be ((4 - -3) + 3)/2. Solve 0 = -y + q*c - 29, -4*y = -7*y - 3*c + 3 for y.
-4
Let b = -8 + 11. Let f be (-2 - b/3)*-1. Solve 1 = -3*x + f*p + 4, -x - 5 = -3*p for x.
4
Let x(l) = -2*l + 8. Suppose -p = 2*p - 24. Let n be x(p). Let u be 6/(-8)*n/3. Solve -5*o + 6 = -3*y + u, 0 = 2*y - o - 2 for y.
2
Let c be (3 + -1 - -2)/(-1). Let m = c - -6. Solve 3*t - 15 = -i, 2*i - 2*t + 10 = m*t for i.
3
Let y = 3 - 3. Suppose 4*v + y*v = 0. Let t = -1 + 1. Solve d + 4*f + 8 = v, t = -0*f + 4*f + 8 for d.
0
Let b(x) = -x**3 - x**2 + 4*x + 7. Let c be b(-2). Solve c*p - w + 15 = 0, -3*p + 3*w = 6*w + 3 for p.
-4
Suppose -2*c - s = -0*s - 12, 2*s = 0. Let f be c/(((-9)/2)/(-3)). Solve -2*u - 3*k = 2*u + 13, f*u = k - 1 for u.
-1
Suppose 0 = 5*a - 60. Let d be a/(-5) + 2/5. Let m be d + 3 - (4 + -3). Solve m = -2*i + 4*y + 16, 0 = i + 2*y + 4 for i.
2
Suppose 5*w - 6 - 79 = 0. Solve 4*q - 7 = m, -5*m + 2*q - w = -0*m for m.
-3
Let b(f) = -f**3 - f + 3. Suppose 3*s + 3*o = -s, -4*s = -4*o. Let u be b(s). Solve 3*g - 4*d + u = 2*g, 4*g - 5 = -d for g.
1
Let c = 52 + -50. Solve 3*a = -3*k + 9, 7*a = 4*k + c*a + 33 for k.
-2
Let w be (-4)/3*(-1 + -5 - -3). Solve -3*m - 5 = 2*m + w*j, 5*j - 45 = 4*m for m.
-5
Let q be (-1)/(0 - (-2)/(-6)). Solve -2*i + 5*n - 6 = -17, 3*i = n - q for i.
-2
Suppose -q = 3*n - 16, 0 = -0*n - 5*n + 5*q + 20. Suppose 16 = n*d - d. Solve -5*u + 10 = 0, -d*h + 3*u = u + 8 for h.
-1
Suppose 2*k + 6 = 0, -4*k = 2*l + 66 - 26. Let v = l + 16. Solve 0 = -m - v*h - 13, -3*m + 5*h + 11 = h for m.
-3
Suppose 2*j + 0*j = -3*a, 3*j - 13 = 2*a. Solve -t - 7 = 4*r + 11, j*t + 19 = -5*r for t.
2
Suppose 0*l = 4*t + 3*l - 29, -5*l + 20 = t. Let x(k) = k**2 + k + 5. Let s = -4 + 4. Let h be x(s). Solve -10 = h*u, t*u - 5 + 24 = -3*w for w.
-3
Suppose -4*f + 11 = -7*f + 5*o, -2*o = 4. Let s = 7 + f