k = 0 for w.
0
Suppose 0 = -3*c - 3*d + 15, -4*c + 3 = -5*d - 8. Suppose 0 = -8*f + c*f + 16. Solve -f*k = 0, 2*k - 4 = 4*t - 0 for t.
-1
Suppose 126 = 15*h - h. Suppose -n = 4*d - h, -4*d + 6 = -0*n - 2*n. Solve -15 = -3*l - 3*x, -6*l + 2*l - d*x + 16 = 0 for l.
3
Let o(w) = 29*w + 4. Let c be o(0). Solve 5*q + 3 = z + 28, -c*q + 20 = 5*z for q.
5
Let m be ((-8)/6)/(14/105*-5). Solve m*x + 3*x - 4*c = 0, x = -5*c for x.
0
Let b be (4/5)/((-12)/(-30)). Let m be (21/(-35))/(b/(-30)). Let h be 7/2 - m/(-6). Solve s = -0*a - a + 3, 2*a + 3*s = h for a.
4
Suppose 307*f - 312*f = -35. Solve c = -5*m + 2, 0 = -2*m - 4*c + f + 1 for m.
0
Suppose 0 = -4*o - 2*v + 142, -3*o - 136 = -7*o - 4*v. Let k = o - 34. Solve 2 + 7 = 3*t - k*z, -2*t - 5*z = 15 for t.
0
Let a = 12 - 9. Solve 4 + 1 = a*o - f, 3*f + 15 = -2*o for o.
0
Suppose 0 = -10*w + 13*w - 183. Let h = -58 + w. Solve h*m + 15 = 4*x, 5*x + 4*m + m = -25 for x.
0
Let q = 41 + -25. Let n = q - 10. Solve -3*p + 2*c - 4 = 0, -3*c + n = -p + 14 for p.
-4
Suppose -12 + 28 = n. Solve 6*h - 3*h + n = x, -3*x - 3*h = 0 for x.
4
Let d(p) = p**3 + 5*p**2 + p + 8. Let b be d(-5). Solve b*x + 2 = 2*r - 5, -x = -2*r + 1 for x.
-3
Let z(x) = -x**2 + 6*x - 6. Let j be z(4). Suppose -5*l - 7 = -j. Let k be ((-2)/l - -2) + -2. Solve 5*c = -2*d + 16, -2*c + 4*c = k*d - 2 for c.
2
Suppose -5*n + f + 12 = 0, -4*n - f + 16 = -5*f. Solve 4*m - 1 = -3*o, -2*m + n - 3 = 3*o for m.
1
Let b(l) be the first derivative of l**4/4 + 2*l**3 - 5*l**2 - 16*l + 14. Let o be b(-7). Solve -j + 3 = n + 10, 0 = -4*n + o*j + 17 for n.
-2
Let v(i) = -i**3 - 8*i**2 - 8*i - 17. Let y = -12 + 5. Let k be v(y). Let s be (-26)/k - (-6)/(-10). Solve -j - 3*b = -9, 3*j + s*b - 8 - 5 = 0 for j.
3
Let r = 303 + -301. Solve -2*l + 0*l = -r*b - 4, -5*b - 10 = 0 for l.
0
Let z(v) = -v**3 - 3*v**2 - v - 1. Let g be z(-3). Solve 4*o + 4*w - 6 = 6*w, 2*o = g*w - 2 for o.
4
Suppose -4*j = 96 + 176. Let q = j + 98. Let d be ((-10)/(-25))/(2/q). Solve 0 = -5*l - 5, -2*w = 2*l + d for w.
-2
Let o(c) = -c + 6. Let x be o(4). Let z = -25 + 4. Let u(g) = g**2 + 23*g + 45. Let q be u(z). Solve 4 - x = j - q*w, 4 = j - w for j.
5
Let a(j) = j + 11. Suppose -7 = 2*p + 15. Let t be a(p). Solve -3*u + 3*s = -3, 2*u + s - 5*s = t for u.
2
Suppose 5*v - 2*v = 21. Let m = v - 2. Suppose -4*j = -m*j. Solve t - 2 = o - j*o, 5*o + 3*t + 18 = 0 for o.
-3
Suppose 9*x - 32 = -14. Suppose 5*h - 6 + 26 = 0, 4*m - 224 = h. Let r = m + -28. Solve k - x*b - 13 = 0, 3*k - r = b + 2*b for k.
5
Let n = -170 + 174. Suppose 14 = 4*m + 2. Let i(p) = p**3 - 3*p**2 + 2*p + 1. Let a be i(m). Solve n*s - 13 = -4*x + s, -4*s + a = -5*x for x.
1
Let a(b) = -b**3 + 22*b**2 - 38*b - 36. Let z be a(20). Solve 0 = -5*m - 4*q - 16, 0 = z*m + 5*q - 1 + 12 for m.
-4
Suppose -2*h = -5*v, 0 = h - 6*h - 2*v + 58. Solve -4*r + 2*g + h = 0, -r - 1 = 2*g + 4 for r.
1
Suppose -10*m + 165 - 115 = 0. Solve -3*t - 5*s = 20, 0 = -5*t + m*s - 22 + 2 for t.
-5
Let r = -38 + 40. Suppose 16 + 10 = -2*j. Let v = -8 - j. Solve r*c + 5*s = v*c - 14, -2 = 3*c - s for c.
-2
Suppose -5*g + 4 = -6, -4*g = d - 13. Suppose -v - 2*s + 11 + 13 = 0, -v = -d*s + 11. Solve v = -2*a - 4*u, 0 = 4*a + 5*u + 14 + 8 for a.
-3
Let z be 8/6*(-2)/(8/(-6)). Let c(s) = 2*s - 2. Let i be c(z). Solve 0 = -0*l - l - i*o + 2, -4*o + 12 = -2*l for l.
-2
Let o(u) = u**3 + 12*u**2 - 11*u + 28. Let m be o(-13). Solve -4*a + 4*l + 2 = m*l, 5*a + 3*l = -25 for a.
-2
Suppose -30 = -9*y - 3. Let w = 1 + y. Solve -w*s + 0*x + 7 = -5*x, -17 = s + 5*x for s.
-2
Let a be -1*(-10*2)/4. Suppose 0 = -a*i + 8 - 3. Suppose 3*k + 1 = -3*t - 2, -2*t + 3 = -3*k. Solve -4*c - 22 = 2*b, -4*b + 0*c + c + i = t for b.
-1
Let s = 44 + -21. Let x(d) = d - 4. Suppose 3*g - 20 - 1 = 0. Let m be x(g). Solve r = -5*j + s, 2*j = m*j + r - 7 for j.
4
Suppose -136 = -118*l + 84*l. Solve -4*n - 16 = 9*j - l*j, 0 = -n - j - 3 for n.
1
Suppose -2365 = 11*d - 2464. Solve -5*i = -a + d, 3*a - 6 + 1 = 4*i for a.
-1
Let x = 131 + -129. Let r be -5 - (9 - x)/(-1). Solve -k + t + r = 0, 3*t - 2*t + 22 = 5*k for k.
5
Suppose 3*q + 1 = 16. Suppose q*i = 11 + 14. Suppose -224*s = -241*s + 85. Solve z - s - 2 = -3*n, -5*n = i*z + 5 for z.
-5
Let h(l) = l**2 - 8. Let r be h(-6). Suppose f - 2*c = 2*c + r, -20 = -2*f - c. Suppose -3 = -5*i + f. Solve 5*b = -3*k - 11, -i*b + 5 = -5*k - 2 for k.
-2
Suppose 34*v - 18*v - 22*v = 0. Solve 3*a = -5*z + 37, v = -z + 3*z - 10 for a.
4
Suppose 3*f + 451 = 466. Solve 4*n + 5*z - f = -2, 4*n - z = 9 for n.
2
Suppose 613 = -62*f + 2783. Solve 5*v + f = -4*l, 3*l + 17 = -4*v - 10 for l.
-5
Let w = -800 + 800. Solve -8 = 3*l - 4*o, 3*l - 5*o = -w*o - 10 for l.
0
Let i = 26 + 11. Let t = -19 + i. Suppose c - 4*f = f - 23, c - 4*f = -t. Solve 8 = -2*m - c*s, 4*m - 5*m - 6 = 3*s for m.
-3
Suppose -4*o + o = -15. Suppose -6*z + 380 = -z. Let b = z + -72. Solve 4*u + o*n = -17, u - b*n + 0 = 1 for u.
-3
Let b = 3 - -1. Let j be (-2 - 21/(-12))*-48. Solve 25 = 5*q, -2*q = b*l - 34 + j for l.
3
Let y be 0*(6/(-8))/((-3)/(-2)). Solve y = l + 3*w - 12, 0*l + 8 = 4*l + 4*w for l.
-3
Suppose 0 = -4*v - 2*y + 20, -4*v = -5*v + y + 2. Solve -2*r + 16 = 4*n, v*n - 5*r - 1 = 1 for n.
3
Let h(d) = 18*d**3 + 3*d**2 - 4*d + 2. Let f be h(1). Let l be 4*1 + (17 - f). Solve l*b = -k - 3*b + 17, -2*b = -3*k for k.
2
Suppose 14 + 2 = 4*h. Let y be ((-4)/(-12))/(h/24). Suppose c + c - 5*g = 42, -y*g + 12 = c. Solve -3*n - 18 = -n - 4*p, -2*n = -3*p + c for n.
-5
Let c(w) = 2*w**2 + 8*w + 16. Let j be c(-4). Let u be 3/12 + 44/j. Solve -4*y - u*l + 12 = l, -y = -l + 7 for y.
-2
Let l(f) = 2*f**2 - 16*f + 28. Let k be l(6). Solve 5*t + 3*m = k*m - 16, 3*t + 4*m = -28 for t.
-4
Let p = 1 - -3. Suppose 2*v + 2 = -3*u + 15, -4*v + 4*u = p. Solve -2*g + 5*h - 21 = 0, v*h = 5*g - 3*g + 6 for g.
2
Suppose o + 703 - 707 = 0. Solve -2*w + 1 + 3 = 3*x, o*w + 4*x = 8 for w.
2
Suppose 0*g - x = g + 24, -90 = 4*g - 2*x. Let s = g - -30. Let n(b) = -16*b - 4. Let j be n(-1). Solve -s*p + 3*p = -2*c - j, -3*p - 5*c = 4 for p.
2
Suppose 3*q - 5*p = 4*q - 54, 0 = -5*p + 15. Let t = q + -18. Let v(w) = w**2 - 10*w + 3. Let n be v(10). Solve 13 = -a - n*c, -c = -4*a - 8 + t for a.
2
Suppose -q + 9 = 2*q. Suppose -34 = -3*l - 4*b, -3*l - 12 = -q*b - 60. Let n = l + -10. Solve 4*j - 4*h - 6 = -5*h, 5*h - 14 = -n*j for j.
1
Let z(f) = 4*f**3 + 8*f**2 + 7*f - 3. Let p(n) = -n**3 - n**2 - 1. Let w(k) = 5*p(k) + z(k). Let i be w(4). Solve 5*x = -4*r - 12, i*r + 2*x - 4 = x for r.
2
Let c be (-46)/(-6) - (-1 + 8/12). Suppose 3*o + 4*g = -8 - c, 0 = -2*o - 3*g - 12. Solve -2*u = -d + 6*d + 22, o = 5*d + 5*u + 25 for d.
-4
Let y(q) = -2*q**3 - 3*q**2 + 3*q + 5. Let l be y(-4). Let g = l + -56. Solve 3*b + g = -0*o - o, 4*b + 18 = o for o.
-2
Let h = 1044 - 1859. Let d be h/(-55) - (-2)/11. Let q = d + -10. Solve -3*j + 10 = -q*z - 8*j, 0 = 5*z - 5*j + 10 for z.
-2
Let m(p) = -p**3 + 3*p**2 + 4*p + 6. Let z be m(4). Let b be (12/(-9))/((-4)/z). Solve -3*u - b*u + v = 23, -2*u = -5*v for u.
-5
Suppose -1 = 5*z + 19. Let o = 4 - 4. Let t be (2 + o)/(-2) - z. Solve 5*f - 12 = -s, -3*s = 2*s + t*f + 6 for s.
-3
Suppose -144 = -25*t - 44. Solve -f - a - t = -5*a, 0 = a for f.
-4
Let r(q) = -2*q**3 - 10*q**2 - 8*q - 1. Let w be r(-6). Let z = w - 119. Solve 2*l - 19 = 5*t - 1, z = -l + 3*t + 11 for l.
-1
Let t(m) = 4*m - 6*m - 5 - 9. Let z be t(-8). Solve -i - z*i = -c + 14, -4*c = -5*i - 35 for i.
-3
Let c = 29 + -25. Suppose -2*x + 4*w + 26 = 0, 0*w + c*w - 65 = -5*x. Solve -4*f - d = x, -3*f + 2*f - 4*d = 22 for f.
-2
Suppose 0 = -4*r + r - 9, -3*r - 9 = 4*v. Solve 5*k + 24 = 4*a, 25 = -5*k - v*k + 5*a for k.
-4
Let h(w) = w - 5. Let c be h(10). Let d(j) = j**2 + 8*j - 7. Let a be d(-9). Solve -a*x = -f + 5, c*x + 4*f + 45 = -0 for x.
-5
Suppose 120 = -9*m + 4*m. Let x = -19 - m. Suppose -u + 20 = 5*v + 4*u, -4*u = -x*v - 16. Solve 4*b = 2*q + 2, -3*q - 5*b = 3 - v for q.
-1
Suppose u - 3*h - 3 = 2*u, -30 = 2*u - 2*h. Let k be 2/(-5) + u/(-5). Suppose -2 = k*c - 12. Solve -2*m + 14 = -3*y + 7*y, 0 = -c*y + 3*m + 34 for y.
5
Suppose -180 = -5*m - 7*m. Let z = m + -11. Solve -x + 15 = -z*n, -21 = -0*x - 3*x + 4*n for x.
3
Let b = -4 - -8. Suppose -r + 85 = 4*r. Suppose 5 = -3*k + r. Solve b*z - p = 