s - 2*f = 2*f - 8, a*f - 8 = 0 for s.
0
Let p = -35 - -43. Let d(k) = k**2 - 8*k + 6. Let b be d(p). Solve -4*v - 35 = -3*y, -2*y + 2*v + b + 14 = 0 for y.
5
Let m = 5 - 2. Solve 0 = 5*k + m*w - 4, 0*w - 5*w = 5*k for k.
2
Suppose 7*q = -254 + 289. Solve q*p + 28 = 3*c, 2*c - 14 = 3*p + 3*c for p.
-5
Suppose 0 = -2*t + r + 3, 25*t = 26*t + 3*r - 5. Solve -19 = -4*b + 5*x, 4*b - b + t*x + 3 = 0 for b.
1
Let f(h) = -h**3 + 23*h**2 + 24*h. Let y be f(24). Solve -5*j - 40 = -4*x, y*x - 3*x - 5 = 5*j for x.
5
Let m(p) be the third derivative of p**4/12 - 4*p**3/3 + 19*p**2. Let v be m(5). Solve 2*k + 3*k = 2*d + 21, 9 = k + v*d for k.
5
Suppose w = 5*w + 4*a - 32, -4*a = 2*w - 22. Suppose -w*x = 3 - 28. Solve t - 6*t = 4*n - 19, 5*t + x*n = 20 for t.
3
Let j(c) = -4*c + 4. Let s be j(-6). Let b = s + -19. Let g = 13 - b. Solve 2*l + 3*h + 2*h = -g, 4*h = -5*l - 10 for l.
-2
Let c be -1 + 4 + 1 - 6/3. Solve -4*h - v + 0*v = -4, -5 = -5*h - c*v for h.
1
Suppose 0 = 4*q - 3*c + 41, -q + 2*c - 9 = -0*q. Let s be q/(-2) + 2/(-4). Let x = s - 0. Solve -3*n = -x*y + 2, -7*y = -2*y + 4*n + 26 for y.
-2
Suppose -5*k - 19 = -l, 5*l - 5*k = -10*k + 5. Solve l = -f - 5*w - 6, f + 2*w = -7 for f.
-5
Let b = -47 + 51. Suppose -b*a - 6 + 14 = 0. Solve -20 = 4*t - a*g - g, -t - 5 = -3*g for t.
-5
Suppose 3*c = -0*c + 15. Solve 4*w + 3*h = 3*w + 7, -2*w - c*h + 13 = 0 for w.
4
Let s = -15 - -20. Suppose -r = 3*i - s, i = -2*r + r + 5. Solve -g + 2*z - 3 + r = 0, 5 = -2*g + z for g.
-4
Let x(u) = -u**2 - 22*u + 89. Let o be x(-25). Solve 0 = 2*k - 4*l + o, -4*k - 4*l = k + 21 for k.
-5
Let x(n) = 5*n - 6. Suppose 0 = 4*s - 16 - 0. Let g be x(s). Let i be 32/g - 8/28. Solve i*j = 3*b - 16, j - 14 = 6*j - b for j.
-2
Suppose 6*p - 2*p = 16. Suppose -p*q + 13 = l, 2*l + 4*q = -3*l + 145. Solve -5*z + l = 2*d, 2*d - 6 = 5*z - 23 for d.
4
Suppose -17*m - 32 = -83. Solve -t = -2*b + m, -5*t + 15 = -10*t + b for t.
-3
Let a be (0 - -3) + 5 + 1 + -4. Suppose -a = 2*i - 9. Solve -3*r + i*t = -0*t - 11, -5*t = 5*r - 10 for r.
3
Suppose 1 = g - 1. Suppose 0 = -g*m + 4*r - 2*r - 24, -2*m - 2*r = 8. Let u = 11 + m. Solve -23 = 4*z - 3*n, z + 2*n + 0 = -u for z.
-5
Let h = 20 + -16. Let m(y) = -y**3 + 14*y**2 + 16*y - 12. Let j be m(15). Solve h*a - 5*s - 1 = 0, -s = j*a + 2*s - 21 for a.
4
Let c(i) = 8*i - 4. Let f be c(1). Let y(o) = -o**2 + 3*o + 9. Let b be y(f). Solve -20 = 4*q + 4*h, -2*q + 10 = 2*h - b*h for q.
-1
Let x = -1012 + 1015. Solve -x*j - g - 4*g = 17, 12 = -3*g for j.
1
Suppose 17 = 5*d - 4*q, -3*d + 0*q + 25 = 5*q. Let r = d + -3. Solve -11 = 4*i - y + 2*y, i - r*y = -14 for i.
-4
Suppose 124 + 44 = -12*a. Let u be (1 + 9/(-6))*-46. Let n = a + u. Solve 0*g = -g + 1, -5*g + n = j for j.
4
Let g(z) = -3*z**3 + 2*z**2 - 4*z - 5. Let n be g(-1). Solve -2*p - 10 = h, 3*h - 3*p - 13 = n*h for h.
-4
Let a be (-4)/(-6) + (-3298)/51. Let b = a + 71. Solve z + b = -5*m + m, z = -2*m - 3 for m.
-2
Suppose 3*z - 19 = 2*w - 4*w, 0 = w + 4*z - 17. Solve j + 4*p - 6*p + w = 0, 2*j = 3*p - 6 for j.
3
Let b = 4 - 0. Let f = b + -1. Suppose f*k + 5*u = 6, k + k - 2*u = 20. Solve -5*x = -o - o - k, -o - 8 = -4*x for o.
4
Let q be 4 - (1 - -6) - -5. Suppose -8 = -2*t + q. Solve 0 = g - s - t, 2*g + 5*s + 18 = 0 for g.
1
Let o(i) = 2*i - 13. Let n be o(9). Suppose 3*a - a = -n*s + 9, 4*s + 3 = -5*a. Solve -m - 2*b + 20 = s*m, -3*m = b - 13 for m.
3
Let g be (-8)/(-6) - (-396)/27. Solve -z - g = 4*z - 3*i, -5*z + 4*i - 13 = 0 for z.
-5
Suppose 4 = 5*b - 3*b. Let j be b/(-12) - 31/(-6). Suppose f - 3*l + 5 = -1, 5*l - 10 = -j*f. Solve -u + 2*u - 8 = 2*x, 2*u + 3*x - 2 = f for u.
4
Let j be (-4)/(-6) + (-2)/3. Let g be ((-7)/5 - -3)/(10/25). Suppose -3*y + g*y - 10 = j. Solve x + 2 = -b - 0, -x - y = 5*b for x.
0
Let i = 194 - 190. Solve i*l + 20 + 5 = y, -l - 5*y = -20 for l.
-5
Suppose o - 15 = -4*o. Let t = 11 + -8. Let r be (1/(-4))/(-2*3/48). Solve -3*f + 2*v = -t, 0 = -5*f + o*v + r*v for f.
3
Let x = -18 - 37. Let j be 11/(x/10) - -4. Solve j*s + 5*n + 7 = 0, -2*s - 2*n = 1 + 3 for s.
-1
Suppose 12*l + 91 = 5*l. Let b = l + 19. Suppose 3*m - 12 = -m. Solve o = -5*t + b*o - 20, -3*t - 6 = m*o for t.
-3
Suppose -14*a + 1 = -13*a - d, -5*a + 11 = -2*d. Solve 5*k + a*l - 1 = 0, 0 = 5*k + 4*l - 3 + 5 for k.
2
Let a = -23 - -31. Suppose -3*x - q + 16 = 2*x, -2*x - 5*q = -11. Solve -4 = 5*i + 3*s, 4*i + s + x*s = -a for i.
1
Let k = -89 + 89. Suppose -5*i + k*r = 2*r, -5*r = -5*i + 35. Solve -4*o = 2*b + 8 - i, 4*b = -2*o + 12 for o.
-4
Suppose 19 = -7*g + 61. Solve 3*q = z - 5, -z = -2*q + g*q - 5 for z.
5
Let v(i) = i**3 - 16*i**2 - 13*i - 64. Let h be v(17). Solve -4*m - 5*t = -45, m - h*m - 2*t + 25 = 0 for m.
5
Let n = -2037 + 2042. Solve 0*m - 15 = -3*m, -m = n*b for b.
-1
Suppose 3*k = -z + 8, -4*z + 8*z + 2*k = -8. Let l be (z + 21/6)*(-3 + -1). Let j be (-11)/(-2) - (-1)/(-2). Solve f + 2*s = -2*s + 21, j*f - l*s = -5 for f.
1
Suppose -3*p + 8 = -q - p, -2*p = -3*q - 24. Let r be 1 - 28/q*4. Suppose -5*z = -0*z. Solve z = a + 5*n - r, -2*a = -0*a - 5*n for a.
5
Let h = 2362 - 2361. Solve 10*c - 6*c - h = i, 4*i = c + 11 for c.
1
Let v(u) = 2*u**2 - 19*u + 24. Let n be v(9). Suppose n*m + 1 = 1. Solve -5*g - 2*r - 3 = m, 5*r + 25 = 3*g + 2*g for g.
1
Let f(q) = -q**2 - 2*q + 2. Let c be f(-2). Suppose -c*w - 3 + 7 = 0. Let l = -112 - -115. Solve w*i + 0*i = l*y - 4, -6 = 3*y for i.
-5
Let t(v) = 9*v - 124. Let k be t(14). Let h be (17/51)/(2/18). Solve -12 = -h*j + 3*s, k*j + s - 23 = 6*s for j.
-1
Let q be (36/(-63))/((-3)/(-63)*-3). Solve -3*v + 15 + 0 = q*f, -2*v - 10 = -4*f for f.
3
Let r(j) = -109*j - 215. Let d be r(-2). Solve -3*k + 27 = -d*t, -3*k - 2*t - 2 = -4 for k.
4
Suppose 0 = 2*g - 6*g + 8. Let f(a) = 36*a + 831. Let r be f(-23). Solve -3*t + 8 = g*c, -r*c + 3*t + 7 = 5*t for c.
1
Let z be (-4)/(-22) - 198/(-242). Let o be 16/(-12)*3/(-4) + z. Solve u + 3*l + 18 + o = 0, -4*u = -4*l for u.
-5
Suppose z = -0*a - 3*a + 4, -3*a + 3*z - 12 = 0. Suppose 4*m + 28 = 2*f - m, m - 16 = -5*f. Suppose -d + f*d = a. Solve 5*w + 20 = d, 4 + 8 = -5*p + 2*w for p.
-4
Let i be ((-178)/4)/((-3)/(-6)). Let j = -87 - i. Solve 3*z - b = -z + 12, j*z + 5*b - 6 = 0 for z.
3
Let s(f) = f + 7. Let l be s(-3). Suppose q - l*m + 5 = 0, 3*q = 7*q + 3*m - 18. Solve -3*o = c - 0*c - 13, -q*c = -12 for o.
3
Let x be 2/(-1) + (-1 - -20). Suppose -6*h - 5 = -x. Solve 0 = z - 5*z + m - 13, 4*z + h*m - 2 = 0 for z.
-2
Let z be ((-63)/6)/(-3) + 12/(-24). Solve -q + 5 = 3, q = -z*c + 2 for c.
0
Let g = 30 - 27. Suppose -8 + 23 = g*i. Solve 0 = 2*k + o - 3, -i*o - 2 - 1 = 4*k for k.
3
Suppose -5*v - 7 = -3*b, -2*b + 7*v + 3 = 2*v. Suppose -7*f + 6*f + b = 0. Solve 2*q + 0 + f = 2*i, -18 = -3*i - 3*q for i.
4
Suppose -8 + 13 = -5*a, -29 = 3*x + 2*a. Suppose -5*t - b - 3*b = 30, b + 5 = -t. Let k = x - t. Solve -10 = -2*h, -g + k + 1 = h for g.
-3
Suppose -n + 6 - 1 = 0. Suppose 41*y + 5*s + 28 = 42*y, 4*y - 2*s - 22 = 0. Solve -l - 6 = y*q, l + n = q - 3*q for l.
-3
Let p(y) = -2*y**2 - 13*y - 4. Let o be p(-5). Suppose 3*g + 5*q - 75 = o, -2*g = 2*q - 52. Solve 3*c + g = 4*b, -c = -4*c + 2*b - 14 for c.
-2
Let j be (-1)/(-4) - (-34)/(-136). Solve -2*o + j*c + c = 4, 2 = c for o.
-1
Let x(a) = a**3 + 28*a**2 + 53*a + 30. Let t = 57 - 83. Let z be x(t). Suppose -7 = -5*j + 3. Solve -2*i + 2*g - 22 = j*i, -z*i = -g + 19 for i.
-4
Suppose 6*v + v - 21 = 0. Suppose -9 - v = -4*g. Solve 4*j + 7 = g*m, m - 2*m - 2 = 3*j for m.
1
Let y(t) = 24*t**2. Let s be y(-1). Let q = s - 16. Solve -2*x - 5*n + 22 = -n, 0 = 4*x - 5*n + q for x.
3
Let w(y) = -y**3 - 9*y**2 - y + 3. Let h = 8 + -17. Let n be w(h). Suppose -2*z = -5*s - 15, 0 = 3*z + 2*z + 4*s + n. Solve -a - 3*a + 12 = z, a = x + 5 for x.
-2
Let h(u) = -u**3 - u**2 - 6*u - 4. Let n be h(-2). Suppose n = 11*y - 10. Solve -o - 25 = 3*o + 5*i, -y*o + 4*i = -20 for o.
0
Let b be (-2)/11 + -211*4/(-44). Suppose 0 = -4*v - 5*q + 12, 9 = -0*v + 3*v - 2*q. Solve v*g + 3*c - 46 = -b, -4*c = -20 for g.
4
Let o be (-2 - 0)/((-10)/40). Let f = -3 + o. Suppose -3 = -3*r - 2*d, -2*d = 2*r - f + 3. Solve q - r = 2*k, k - 5*q - 16 = 6 for k.
-3
Let w = 1334 - 1331. Solve 4*u + 4 = 0, w*d + 11 = -u + 2*u for d.
-4
Let r = 14 - 14. Let g be (r/4 - 2)*1. Let n be (6