 4. Let k be d(24). Suppose 308 = -k*n + 18*n. Solve 0 = 5*h - 2*f - 24, f + 0 = 5*h - n for h.
4
Let t(j) = -j**3 - 38*j**2 - 296*j + 29. Let p be t(-27). Solve 2*c = -s - 13, -p*s = -5*s - 4*c - 29 for s.
-3
Let k be 13 + -5 + (4 - (-11 - -18)). Solve 3*y + n = 19 - k, -2*y + 13 = -3*n for y.
5
Suppose -13*y + 90 + 235 = 0. Let s = y + -16. Solve -4*r + 0*r - 12 = 2*z, 3*r + s = 5*z for r.
-3
Let x be (-6)/42 + 170/14. Solve x*w - 9*w = -y + 2, -10 = -5*y for w.
0
Let l(d) = d**3 - 37*d**2 + 254*d - 14. Let q be l(9). Solve -21 = -4*p + f, -q*f = 9*p - 4*p for p.
4
Let k = -43 - -47. Suppose k*n - 4*d = 72, 2*n + 2*d + 9 = 29. Let t(w) = -w + 19. Let z be t(n). Solve z*f = 15, -3*h - 5 = -h - 5*f for h.
5
Suppose 403 = -5*l + b, -l - 2*b - b = 87. Let v be l + 80 + 2*3. Solve 3*j - 1 = -4*t + 4, -v*t + 15 = -5*j for t.
2
Let b(v) be the second derivative of v**4/12 - 25*v**3/6 + 66*v**2 + v + 36. Let j be b(7). Solve -32 = -5*l + 3*u, 3*l - j*l = -2*u - 20 for l.
4
Let s = 52 + -50. Suppose -10 = -5*x, s*x = 4*t - 0*x. Let r be 28/7*(t - 4)/(-3). Solve 4*i + r*a - 16 = 0, -i + a - 2 = -a for i.
2
Suppose -26*i = -10*i - 32. Suppose 17 = s + 3*r, s = 2*r + i*r - 11. Solve -3*q - s*k + 26 = 0, -3*q - 3*k + 16 = -q for q.
2
Let c be 4/9 - (-1248)/351. Suppose -5*k = -3*s - 10*k - 8, c*s + k = 12. Solve 4*h + 0*f = s*f - 24, 3*h - 5*f = -28 for h.
-1
Let t = -38 - -43. Let z be (5/t)/(1 - 12/13). Let n = 11 + -8. Solve w + z = 5*u - u, n*u - 11 = w for w.
-5
Let o be 62/(-133) - (-206)/(-1957) - (-64)/14. Solve o*i = 20, m + 43 = -3*i + 54 for m.
-4
Suppose 4*k - g - 12 = 0, 4*k - 36 = -0*g - 5*g. Let u = -1037 - -1496. Suppose 4*i = -u + 467. Solve 0 = -5*q + k*s + 11, -i = 4*q + s - 15 for q.
3
Let u = 1606 + -1576. Solve 3*a - u = 5*n, -5*n + a - 20 = -0*n for n.
-3
Suppose -3*z = -z. Let c be 1/(-3)*0*(-6)/(-6). Suppose 7*a = -c*a + 21. Solve -i - a*g + 4 + 10 = z, -2*g + 8 = 2*i for i.
-1
Suppose 5*n - 4*q - 27 = 2*n, n = -q + 2. Solve 25 = 3*c + 2*j, -n*c - 3*j + 8 + 32 = 0 for c.
5
Let b = -9 + 12. Suppose -b*s + 318 = 2*a, s = -2*a + 4*a + 114. Let t be 6/(-27) + 1104/s. Solve m - 4*n = t, 0 = 4*m - 0*n + n - 6 for m.
2
Let c(m) = 9*m**2 + 6*m + 12. Let t be c(-2). Suppose 32 = -a + t. Solve 2*q - q + 8 = -a*n, q = 0 for n.
-2
Let u(d) = -2*d + 122. Let j be u(51). Suppose 5 - 19 = -2*n. Suppose 4*y - 4*p = 4, 5*y - 2*y - n = -p. Solve -3*s = -z - 7*s - j, -5*z + 10 = -y*s for z.
0
Let m = 484 + -611. Let p = 130 + m. Solve 3*f + 2*x = -8, 0 = 5*x + 23 - p for f.
0
Suppose -p - 3*u - 7 = 0, 5*p = u + u - 103. Let h = 27 + p. Suppose g + 2*s - 6*s = h, 0 = 3*s + 6. Solve -2*n - a = g, 0 = 5*n - a - 0*a for n.
0
Let j be (-4)/(-1)*(-13 + 405/30). Suppose 0 = -3*t - 45 + 135. Solve 5*i + t = 5*g, -g + j*g + 14 = -4*i for i.
-4
Suppose -62 + 2 = -12*x. Suppose x*v + 25 = 40. Suppose 4*c - 4*m = 0, 2*c - v*m - 1 + 4 = 0. Solve -3*g = -6*n + 4*n - c, -2*g = 5*n + 17 for g.
-1
Suppose -8503 = 54*b - 8665. Suppose 22 = 3*d - 4*s, -d - 4*s - 8 = 3*d. Solve -5*l = 2*f - d, 3*f + 0*l - l - b = 0 for f.
1
Let t = 2 - 18. Let c = t + 18. Suppose 3*n + 3 = 5*b, -2 = n - 5*b + 3*b. Solve 18 = -n*j + c, -4*q = 4*j - 4 for q.
5
Let o(q) = -48*q**2 + 5*q + 2. Let b be o(-3). Let z = b + 447. Solve 5*s + 22 = -z*i, 2*s = -3*i + 4*s + 5 for i.
-1
Let b(f) = -2*f**2 + 45*f - 41. Let g be b(21). Suppose 0 = -27*l + 16*l + g. Solve -3*d - l*d + 3*s - 5 = 0, 4*s = -3*d - 3 for d.
-1
Let f be ((-16)/(-20))/((-8)/(-40)). Let c(q) = -10*q + 75. Let w be c(f). Solve -m + 10 = -3*d - 3, 5*m + w = -5*d for d.
-5
Suppose -z + 5 = 0, 4*r - 34 - 15 = 3*z. Suppose -r*c - 71 = -471. Solve -4*o - c = -5*x, 21 - 6 = -4*o - 5*x for o.
-5
Let k be (27 - 30) + (4 - 1). Suppose -5 = -0*t - 4*t + b, -3*t + 5*b - 9 = k. Solve g + 0*s + t*s = 1, 2*s = 3*g - 11 for g.
3
Suppose 5*w + r - 1838 = 0, 4*r + 1657 = 4*w + 177. Let g = w - 364. Solve 3*v = m + 9, 0 = g*v + m + 1 - 6 for v.
2
Let w(k) = -3*k**2 + 66*k + 24. Let g be w(14). Suppose -g = -30*n + 300. Solve -x - n = -4*a, -2*x = -5*x + 4*a - 26 for x.
-2
Let h(o) = 7*o + 60. Let l be h(-8). Suppose 3*r + l*k - 80 = 0, 0*k = 5*k - 10. Solve 4*q = -2*v - 3*v + r, 0 = -5*q + 5*v - 15 for q.
1
Let g = 448 + -447. Let u be (3 - g/4*0)*1. Solve 2*o - 9 = 5*t - u, -5*o - 5*t = 20 for o.
-2
Let v be (-576)/(-480)*5/2. Solve -v*q + 23 = z + z, 3*z - 5*q = -13 for z.
4
Suppose 0 = 41*k + 3*k + 74*k + 4*k. Solve 5*n - 5*u = k, -7*u = -11*u + 16 for n.
4
Let y(n) = -n**2 - 4*n + 14. Suppose 46*d + 15 = 51*d. Suppose 34 = -5*j + z, -5*j + d*z = 46 - 4. Let q be y(j). Solve -11 = -4*v - 3*p - q*p, -2*p = -6 for v.
-1
Let i(y) = -29*y - 1447. Let u be i(-50). Solve g - 4*g - 4*n + 23 = 0, 0 = -2*g - u*n + 16 for g.
5
Let s be ((-57)/(-76))/(-2 - (-25)/12). Suppose -f + 2*f = 3*n - s, 5*n = -5*f - 5. Solve x - 7 = -4*m + n*x, 3*m = 2*x + 9 for m.
1
Let t = 4817 - 4809. Solve a + 5*n - 18 = 0, -2*a - 8*n + 5*n + t = 0 for a.
-2
Suppose 4*r - 4 = -2*z, -4*r + 5 = -z - 11. Let u = -6 + 7. Suppose -x + u = -2. Solve h - r*o - 12 = 0, 2*h - 6 = -x*h - 3*o for h.
3
Let w(m) be the first derivative of -6*m**2 + 38*m - 111. Let x be w(3). Solve 3*n - l - 7 = -0*n, -13 = -3*n - x*l for n.
3
Let a(c) = 3*c**2 + 28*c + 35. Let g be a(-8). Solve -4*o = -g*u - 5, 3*o - 8*o + 13 = 3*u for u.
1
Let q(r) = -6*r + 1. Let k be q(-2). Let o be (-13)/65*15 - -3. Solve o*n - n = 5*h + k, 3*n = 2*h - 5 for n.
-3
Suppose -213 = -7*n + 165. Suppose -w - n = -10*w. Suppose -2*x - 3*t = 3, 0 = 4*x + t - 3 - w. Solve -l = -2*c - 5, -4*c = -l - x*l + 8 for c.
-3
Suppose -5*w - 4 = 3*x - 8, -5*w - 14 = -3*x. Let h be (3 + x)/(4 - 2). Suppose 2*l = 4, 0 = 3*m + h*l - l - 10. Solve 4*g = 2*g - 4, -5*i - 14 = m*g for i.
-2
Let g(w) = 11*w**2 - 319*w + 5. Let j be g(29). Solve j*a + 4*k + 14 = -0*a, 0 = -3*k - 3 for a.
-2
Let p = 7042 + -7037. Solve 4*o - 2*r + 10 = 0, -p*o = -r + 3 + 8 for o.
-2
Let x(r) = 7*r**2 + 160*r - 20. Let t be x(-23). Solve -j + 4*j = 2*c + 13, 0 = -t*c - 6 for j.
3
Let h(b) = -b**3 - 8*b**2 - 10*b + 5. Let r be h(-6). Let w(n) = 77*n + 544. Let d be w(r). Let x be 1/2*(2 - -18). Solve -t + 4*j = -d*t, -j + x = -t for t.
-5
Let s be (4/5)/(2/5). Let v = 106760 - 106747. Solve -3*p - v - 11 = -3*y, -y - p - s = 0 for y.
3
Let t(n) = -12*n**2 + 445*n - 25. Let i be t(37). Solve -3 = -4*h - 3*b, -h - 13*b + i*b + 1 = 0 for h.
0
Let v be (-11 - -7) + 8 - 0. Suppose -12*m + 17*m + 3 = v*t, -5*m - 5 = -5*t. Solve -k = -0*k + 1, -5*k - m = -4*s for s.
-1
Suppose -5*t + 23 = -82. Let z = -19 + t. Suppose -f + z*f = 5*l - 14, -3*l + 4*f = -22. Solve x = -l*x - u - 20, -4*u = 2*x + 30 for x.
-5
Suppose 46*p + 39 = 47*p - 5*d, 3*p + d - 37 = 0. Solve 4*s = -2*b - p, -5*s + 5*b = 6*b + 22 for s.
-5
Let x = 421 - 419. Let u be ((-1)/x)/(5*8/(-160)). Solve -j = q - 3*j - 7, 3*q = -u*j - 19 for q.
-3
Suppose -2*u + 4*v = 140, 2*v = u - 3*v + 76. Let q = -64 - u. Suppose 10 = 5*o + 4*j, -q*o + 3*j = o - 33. Solve 3*k - o = r, -2*r - 3 - 7 = -5*k for r.
0
Suppose -f - 11 = -3*m, 4*f - 2*m = -4*m + 26. Suppose 3*x - 6 = -2*q, -5*q + f*x = -0*q - 61. Solve -3*t + 7*i = 3*i + q, 2*t + 3*i - 11 = 0 for t.
1
Suppose 4*i + 2 = 2*i - 4*u, 3*u = -i - 5. Let p be (6 - (-7 + i)) + -4. Solve -4*c = -5*v - 45, p*c - 35 = -2*c + 3*v for c.
5
Let o = -142 + 6. Let l = o - -139. Suppose -18*b + 75 = -l*b. Solve 11 = -b*k + 2*g, -4*g - 13 = k + g for k.
-3
Let p = 158 - 137. Suppose 6*i - p = -3. Solve 10 = -x - 0*j + i*j, -x - 5*j + 6 = 0 for x.
-4
Suppose -5*c = 5*t + 56 - 16, -5*t - 28 = -c. Let w be (4/t)/((-16)/432). Suppose -3*d + w = -0*d. Solve -3*i = -d, -2*x - 3*x - 2 = 4*i for x.
-2
Let l(m) = -m**2 + 14. Let c = 416 + -419. Let o be l(c). Solve -3 - 16 = -o*w + 4*x, -5*w + 2*x + 17 = 0 for w.
3
Let t(z) = -z**2 + 22*z + 131. Let l be t(17). Suppose -27*n - l = -36*n. Solve -4*c + 4 = 20, -4*h - n = 3*c for h.
-3
Suppose 0 = 32*u + 2*u - 2*u. Solve -r - 5*x + u - 26 = 0, -x - 8 = 3*r for r.
-1
Let z be (6/(-8))/((-22)/88). Let x be 3/(-5) + 2/((-20)/(-26)). Solve 0 = q - 3*y + z, -5 = -q - 2*q + x*y for q.
3
Let c(h) = h**3 + 13*h**2 + 23*h + 23. Let y be c(-11). Suppose 3*l = y - 27. Let b be l/(((-2)/3)/((-8)/(-12))). Solve b*d + 12 = 2*d, -5*d = -2*w + 28 for w