 for m.
-5
Suppose -3*c - 52 = 2237. Let w = -756 - c. Solve -b = -a + 6, -w*b + 3*b - 23 = -3*a for a.
1
Let z = -17 + 19. Suppose b = -0*b + 5*i, z*b - 5*i + 10 = 0. Let p be -4 + b/(-5) - -6. Solve -4*k + 12 = -p*w, 3*k - w = -3 + 16 for k.
5
Let w = -1001 + 1003. Let q(a) = 2*a - 11. Let j be q(8). Solve h + j*x = -h, 0 = -h - w*x for h.
0
Let s be (-102)/(-30) - 15/(-25). Solve -2*m - 2*k = s, 0 = -m - 25*k + 22*k for m.
-3
Let h(p) = 2*p**2 - 5*p - 17. Let x be h(6). Suppose -4*n - x = -b, 2*b = 2*n + 25 - 5. Solve 0*j = -j - b, -3*q = 2*j + 19 for q.
-3
Let i = 143 + -140. Suppose 6 + 5 = -b + 3*g, i*b = -g + 17. Suppose 2*h - 4 = -2*x, b*h + 2 = x + h. Solve -3*n - x = -2*n, s + 9 = -3*n for s.
-3
Let o(n) = -184*n + 1658. Let a be o(9). Solve -5*l + 16 = y - 8, 0 = l - a*y + 4 for l.
4
Let p(d) = -d**3 - 107*d**2 - 416*d - 11. Let a be p(-4). Solve -30 = 61*z - 57*z - 5*u, a*z + 19 = -3*u for z.
-5
Let k(a) be the second derivative of a**3/3 + a**2/2 + 4*a. Let i = 88 - 86. Let h be k(i). Solve -4*v = -v + 4*t - h, 0 = 2*v - 2*t - 8 for v.
3
Suppose -5*k = 3*a - 27, -6 = -5*a - 4*k + 26. Let v be -9*3/(-45) - 30/50. Solve v = -4*h + j - 4, a*j = 1 + 15 for h.
0
Let d(n) = -2*n**2 - 13*n - 15. Let g be d(-5). Suppose g*t - 11 = -3*t - 4*f, 2*f = -3*t + 7. Solve -5*r - 4*k - t = 15, r + 1 = -3*k for r.
-4
Let u(i) = -i**3 + 3*i + 1. Let k be u(-2). Suppose -h - h - 8 = -k*f, 5*f = 20. Suppose 786 = 63*g + 41*g + 158*g. Solve 5*j - b = -25, h*b = -g*b + 25 for j.
-4
Let b be 1/(-3) - 589/(-3). Let f = 198 - b. Suppose 2*g - 15 = -g. Solve -f*r + 3*d + 15 = -2*d, 5*r = g*d for r.
-5
Let d = -174 - 1045. Let w = d + 114. Let p be 1/(-6) - (w/30)/17. Solve -p*o - o - 4*t = 11, 4*o + 10 = -3*t for o.
-1
Let v be 4 + 62/(-14) + -5*681/(-105). Solve 5*d = -2*u - v, u = 7*d - 4*d + 6 for d.
-4
Let w = -45 + 63. Suppose -7*r = -17 - w. Suppose 3*s - 17 = -2*j, r = 3*s + 5*j - 15. Solve 0 = -i - i + 5*o + 18, -s*i = 4*o + 21 for i.
-1
Let s(d) = d**2 - 8*d - 1. Let z be s(8). Let c = z - -4. Let m = -169458 - -169472. Solve f - 8 = 2*v - 0*f, 4*v + m = c*f for v.
-5
Suppose -16*n = -11*n + 280. Let i be 8/(n/3)*-7. Solve -2*a + i*a = -2*q - 2, 3*q - 2*a = -3 for q.
-1
Let m(r) = 10*r - 427. Let n be m(44). Solve 2*v + 4*s = -2, 43*s + n = v + 38*s for v.
3
Suppose -115*c + 24 = -107*c. Suppose 13*a - c = 10*a, 3*r - 10 = -a. Solve 0 = -2*p - 2*j - j - 1, -r*p - 1 = 5*j for p.
-2
Let o(g) = -g**3 + 23*g**2 - 115*g - 17. Let u be o(8). Solve -u = -f - 4*x, 17 + 13 = 5*f + 3*x for f.
3
Let t = -6046 + 6173. Solve r = -5*o + 2, 4*o + 18 = 129*r - t*r for r.
7
Suppose -2*t = 3*g - 13, -t + 2*g = g - 4. Let p = 415 - 411. Suppose -p - 6 = -2*l. Solve 0 = -3*y + 5*y - 5*z - 10, -t*y - 10 = l*z for y.
0
Suppose 0 = -62*s + 54*s + 384. Let t be 4/(s/(-20))*-6. Let i be -2*(2 + -3 - 1). Solve 4*x = 3*m + t, 0 = 3*x + i*m - 9*m - 13 for x.
1
Let m(o) = -2*o + 24. Let n be m(2). Suppose -n*v + 609 = v. Solve v = -5*z + 3*l, -l + 11 = -2*z - 0*l for z.
-4
Let f(y) = -y**3 - 2*y**2 + 45*y - 14. Let s be f(-10). Let g be (6/4)/(-4*(-7)/s). Solve -3*d = 2*n + g + 1, -4*n + 7 = -3*d for d.
-5
Suppose 13 = 3*g - 17. Let p be -2*(g/4 + -3) + 1. Solve -o + 5*z = 19, 0*z - 6 = -p*z for o.
-4
Let a be -1 - (-2 + 17 + -8). Let p = 15 + -27. Let y = a - p. Solve 3*b - 5*v = -5, 0*v + y = -2*b + 3*v for b.
-5
Let m be (-60)/4 + 88 + -69. Solve -5*w - 2*p + 15 = 0, w - 2*p + m = -p for w.
1
Suppose -15*b + 19*b = 0. Let h(r) = -r**3 - 3*r**2 + r + 4. Let s be h(-3). Let f = s - -4. Solve m + 2*p - 1 = b, -f*m - 5*p + 0*p - 5 = 0 for m.
-3
Let a(y) = y**3 + 8*y**2 + 10*y - 8. Let i be 3/36 + 584/(-96). Let p be a(i). Solve u + u - p = -2*w, 0 = 5*w + 2*u - 13 for w.
3
Suppose -206*z + 212 = -200. Solve 186*a - 18 = 189*a - 3*o, -3 = a + z*o for a.
-5
Let m(n) = n**2 - 4*n + 2. Let w be m(5). Suppose -i - 456 = w*i. Let v = 59 + i. Solve 2*p + 8 = -3*j, -5*j + v*p = -j + 6 for j.
-2
Let y = 6 + -12. Let c be (0 - -2) + y + 6. Solve c*w = -4*d - 24, -3*d + 2*w + 3*w - 5 = 0 for d.
-5
Let i(f) = -9*f + 92. Let z be i(10). Let b be 1/(31/(-16) + z). Solve b = 4*c + 3*y, 0*c - 5*y + 22 = 2*c for c.
1
Let a(k) = -k + 5. Let i(w) = -3*w - 29. Let s be i(-9). Let z be a(s). Suppose 8 = 3*l - z. Solve 5*u + 22 - 1 = -f, -l*f - 17 = 3*u for f.
-1
Suppose -4*j + 16 = -4*b, -2*b + b = -4*j + 10. Let n be 3 + (3/3)/2*j. Suppose 5*y = 23 - 3. Solve s = 3*x - n, 2*s - y*s - 3*x = -1 for s.
-1
Suppose 4*z - 14 = 2*u, 4*z - 154*u + 155*u - 23 = 0. Solve -19*f - 20 = z*c - 17*f, 2*f + 6 = 2*c for c.
-2
Let r be 4/(-128)*-4 - (-11)/(-264)*-477. Solve -3*z - r*q = -18*q - 7, 3*q = -3*z + 9 for z.
1
Suppose -4*v - 294 = -2*c - 6*v, 5*v = 3*c - 401. Let m = -142 + c. Solve 2*j - r - 1 = m, 4 + 1 = r for j.
3
Suppose -223 + 70 = 5*i + 2*f, -2*i - 66 = -4*f. Let t = 12 - i. Let z = t - 40. Solve -4*n - 5*g + 14 = 0, -z*g = 5*n - g - 9 for n.
1
Let u = -20879 - -20916. Solve -4*n = -5*y - u, 5*y - 77 = -102 for n.
3
Let y be (-28)/(-36) - (-8)/36. Suppose 0 = -u + 3 - y. Suppose -u*r = -4*h - 26, h + 2 = -3*r + 6. Solve 5*c - 12 = -4*o + 10, r*o + 1 = 5*c for o.
3
Suppose 7*v - 38 + 528 = 0. Let z be v/(-45) - 24/(-54). Solve -y + z*j - 7 = 0, 0*y - 6 = 2*y - 2*j for y.
1
Suppose -14*d - 14136 = 24*d. Let r = d - -375. Solve -15 = -2*n - n + 3*k, 0 = -n - k - r for n.
1
Suppose -1 = -i + 1. Suppose 3*h - i*h - 28 = -3*o, 0 = o + 2. Suppose -9 = h*g - 37*g. Solve 5*r = -g*z - 21, -2*z - 19 = 3*r + 3*z for r.
-3
Let u be (-392)/(-5) + 2 - 18/45. Let b be u/30*((-10)/(-4) - 1). Suppose 6*q + b*q - 60 = 0. Solve f = -q*p + p - 18, p + 18 = -5*f for f.
-3
Suppose -243 = 5968*q - 5995*q. Solve -3*h - q = 2*f, 2*h - 5*h - 9 = -5*f for h.
-3
Suppose 12 = 7*u - 30. Let w(n) = n**3 - 5*n**2 - 14*n + 50. Let y be w(u). Solve -2 - 2 = 4*a, 0 = -y*f + 4*a + 2 for f.
-1
Suppose -79*f + 116 + 200 = 0. Solve 4*a = 3*a + 5*t + 2, 4*a = -f*t + 8 for a.
2
Let q(t) = 4*t - 41. Let i be q(11). Suppose -7*p + h = -9*p + 13, p - 3*h = i. Solve -4*c = -20, 5*b = -p*c + 2*c + 5 for b.
-3
Let s be -40*(36/6 + 5). Let b = -435 - s. Solve -b*n + 3*k = -3*n - 3, -9 = -n + 4*k for n.
-3
Suppose -20*t + 2*t + 14652 = 0. Suppose 1661 = 5*h - t. Suppose -d = -16*d + h. Solve j + 5*i + d = 3*j, -4*i = 3*j + 8 for j.
4
Let r = -842 - -1248. Let l = -405 + r. Solve 0 = 4*j - 5*q + 17, -2*j = 7*q - 2*q + l for j.
-3
Let t be 2/((-8)/(-18) + (-35)/(-63)). Solve -3*w + 2*i + 27 = 6, w + i = t for w.
5
Suppose 26*c - 155 = 27*c. Let y = c - -94. Let s = y - -79. Solve -5*q + s = t - 2*t, 0 = 2*q - 3*t - 15 for q.
3
Let w(q) = 2*q + 2*q**2 - 3*q**2 - 7*q - 13 + 14*q. Let u be w(7). Let x = 11 - u. Solve 3*r - x = 2*h + 13, 4*h + 1 = -3*r for r.
5
Suppose -u + 2*p + 2 = 0, 6 = -4*u + 2*p + 20. Solve 13 = -k + 2*y, 27 = -u*k + 25*y - 22*y for k.
-3
Suppose -599 = g + w - 139, 2*w = -4*g - 1844. Let n = -459 - g. Solve 0 = -0*b + b + 5*r + n, -2*b - 5*r = 6 for b.
-3
Let f(k) be the third derivative of -17*k**4/24 - 37*k**3/3 + 29*k**2. Let p be f(-6). Let h = p - 23. Solve 2*m - h*i = -22, -4*m + 9 = -m + 3*i for m.
-1
Suppose -3*o - 30 = -45. Suppose -13*t = -o*t - 96. Let r = -12 + t. Solve -s - 3*m - 2 = r, 5*m - 2*m = -3*s for s.
1
Let z(q) = 110*q + 1324. Let b be z(-12). Solve b*p - 3 = -3*m, 3*m + 3*p - 6*p = 3 for m.
1
Let u = -10512 - -10524. Solve 3*h = 3*k + 9, u*k + 3*h = 10*k + 4 for k.
-1
Let v(q) = -49*q - 2. Let n be v(-1). Suppose 40 + 32 = -2*j. Let y = j + n. Solve -4*h - 3*c = 4, 2*h = 5*c + y - 39 for h.
-4
Suppose 0 = 132*t - 1400 - 1099 + 519. Solve f + t = -4*y, f = 2*y + 2 + 13 for f.
5
Let d = -2021 - -2026. Solve 5*g - 4*b = 19, -d = b + 4*b for g.
3
Let r = 1774 - 1771. Solve -r*i = 2*q + 2*i - 15, 4*i = q + 12 for q.
0
Let m be (-2)/32 + 1888724/9536. Solve 194*w - m*w = 5*u - 20, 4*u + w = 5 for u.
0
Let r = -143 + 142. Let p(s) = 5*s**2 + s. Let v be p(r). Solve 5*c = t, -v*c + 9 = -t + 2*t for c.
1
Let p(k) = 23*k**2 - 758*k - 23. Let s be p(33). Solve -4*d + g = 20, 2*g - 6*g = -2*d - s for d.
-5
Let b = 5159 - 5154. Solve -b*r + 5*s = -10, r - 6*r = 2*s + 25 for r.
-3
Let u(d) = d**3 + 16*d**2 + 26*d - 28. Let i be u(-14). Suppose -3*n - b = 3*b, i = 2*n - b. Solve -4*p + 7*p - 3*f = n, 3*p + 6 = 5*f 