 + m, -4*d - 6 = f*n for n.
-2
Suppose 0 = -l + 7 + 30. Suppose -2*u - l = -57. Suppose 4*q = q + 12. Solve 0 = 4*p - q*j + j + 7, u = -5*p + 4*j for p.
2
Let d = 15379 + -15374. Solve -10*j + l = -6*j + 12, 4*l - 26 = d*j for j.
-2
Suppose -141*d + 871 - 944 + 2611 = 0. Solve 17*r - d*r = -k + 2, -4*r = -2*k + 4 for k.
2
Let c be 7 - 4*35/28. Solve -c*j - 2 = -2*w - 5*j, -5*j = -2*w + 2 for w.
1
Let a(q) = -q**3 + 163*q**2 - 181*q + 3081. Let b be a(162). Solve -t - 12*m = -7*m + 14, 4*m + 34 = b*t for t.
6
Let r(t) = 170*t + 1877. Let j be r(-11). Solve -5*a = j + 13, -5*c + a - 26 = 0 for c.
-6
Let z be (-11 - -13)/(-2 + 3). Suppose l - 3*l = -2*o + 54, 2*o + z*l - 42 = 0. Solve x - 5*u + o = 4*x, -4*u = x - 15 for x.
3
Let c = -11560 - -11560. Solve -3*r - 4*i = 0, 0 = 3*r - 3*i - 21 - c for r.
4
Suppose -5*o = -5*c + 15, 4*o - 5*c = 3*o - 23. Let f = -343 + 350. Solve 4*g = 5*p, -f*p = -5*p + o*g for p.
0
Let k be 94*8*2/32. Suppose 11*j + k = 190. Solve 5*m = m + 12, n + 3*m = j for n.
4
Let j = -229 - -236. Let r be -4 + j + 13 - 4. Solve 0 = -4*c + 2*x - r, -5*c = -4*x - 6 + 15 for c.
-5
Suppose -4*x - 18 = 2. Let a be 1 + (-67)/(x + 6). Let q = a - -81. Solve 2*k = -5*f - q, 4*f = -5*k - 4 - 25 for k.
-5
Let o(n) = n**3 - 10*n - 2. Let l be o(-3). Solve -2*g = h + 13, -5*h + l - 31 = 3*g for h.
-3
Suppose -39 + 29 = -5*p. Solve -b + p*s = -9, 2*s - s + 3 = -b for b.
1
Let h(d) = -3*d**3 + 14*d**2 - 14*d + 231. Let p be h(6). Let t = 0 - 1. Let n = t - -4. Solve 4*q - 24 = -p*w, -3 = 3*w + n*q - 24 for w.
4
Suppose g - w + 51 = 3*g, w = -4*g + 105. Suppose 0 = -2*v - 7*v + g. Suppose 16 = v*q + q. Solve 2*u = 2*o - 8, q*o = u + 2*o + 6 for u.
-2
Let j be 2 - (2 + -2)/4. Let b be (2/(-7))/j + 4608/(-84). Let n = -27 - b. Solve 3*v - 32 = 5*q, -v = -4*q + 2*v - n for q.
-4
Let f = 2864 + -2859. Solve 3*b - 23 = 2*h, f*b - 3*h - 33 = -h for b.
5
Let a = -3160 + 3173. Solve -5*n = 5*p, a - 5 = 2*n for p.
-4
Suppose -5*c = 3*s + 20, -16 = -4*s + 25*c - 21*c. Solve s = 2*r + 3*n - 27, 3*r - 31 = -3*n + 2 for r.
6
Suppose 480 = 22*y - 488. Let s(q) = q**3 - 42*q**2 - 88*q + 16. Let l be s(y). Solve -24 = -4*n + 2*m, l = 6*n - n + m for n.
4
Let v(t) = -2*t**3 + 39*t**2 + 23*t - 52. Let q be v(20). Let w be -1 + 1 - (q - 10). Solve 0 = 4*f + 16, h = f - w*f + 1 for h.
5
Let m(p) = -4*p - 49. Suppose -37 + 76 = -3*r. Let t be m(r). Solve -4*b - t*v = -7, -5 = -5*b - v + 1 for b.
1
Let t = -7453 - -7465. Solve -2*n + 4*w + 14 = 0, 11*w = n + 8*w - t for n.
-3
Let a = -93 + 98. Suppose 3*y = 4*o + 17, a*o - 5*y + 22 = -y. Let q be (-7)/(35/o)*(-20)/(-2). Solve 3*j + 2*r + 9 = 0, -q*j - 8 = 2*r + 2 for j.
-1
Let a = -1252 + 1261. Let m = 20 + -17. Solve -m*h + 1 = -2*h, 0 = 5*u + h + a for u.
-2
Suppose 2*g - 41*n + 27 = -48*n, -3*n - 7 = 2*g. Solve -5*v + 25 = -5*d, v - 1 + 16 = -g*d for v.
1
Let z be ((-2782)/(-321) - (-4)/3)*1. Solve -6*l = -8*l - z, l = i for i.
-5
Suppose -8 = 5*s + 22. Suppose 2*t - 18 = -5*k, 0*t - 5*t + 5*k + 10 = 0. Let p be s*2*t/(-12). Solve 4*h - 24 = -p*f, -1 = -2*h - f + 8 for h.
3
Let r = -1308 + 1312. Solve 2*c + 5*j - 7 = 0, 0 = 5*c + 4*j - 5*j - r for c.
1
Let h(o) = -3*o - 57. Let k be h(-19). Suppose k = -15*l + 17*l. Let v be ((-4)/(-10) - l)/(28/280). Solve p = 3*u - 10, -v*u + 12 = 2*p - 18 for u.
5
Suppose -69*f + 196 = 81*f - 554. Solve -10*m - i = -f*m - 20, -4*m = 3*i - 27 for m.
3
Suppose 5*q + 73*q + 16 = 328. Solve 3*m + 12 + 5 = q*w, 3*w - 10 = 5*m for m.
1
Let a = -309 - -313. Let d(b) = 9*b - 27. Let f be d(4). Let n = f - 4. Solve k + a*k + l = -19, n = 5*l for k.
-4
Suppose -6 = p, -2*y + 3*p = -66 + 48. Solve 27 = -11*k + 16*k - 4*q, -3*k - 4*q - 3 = y for k.
3
Let d = -172 + 179. Suppose m = -3, -5*w - m - 18 + 85 = 0. Suppose 0 = -7*u + w + d. Solve -u*i - 2 = -h - 6, 0 = -3*i + 4*h - 2 for i.
2
Let m(j) = -12*j + 327. Let h(z) = -13*z + 328. Let s(n) = 4*h(n) - 5*m(n). Let v be s(43). Let p = -22 - -37. Solve d = -d - 5*r + p, -4*d + v = r for d.
5
Suppose -98 = 5*h + 67. Let m = h - -63. Suppose 2*x - 15 = -5*p, -2*x - 3*p + m = -p. Solve -4*n = x, d - 3 - 6 = n for d.
4
Let u = -193 - -198. Let y be (u/(-2))/(280/(-448)). Solve 5*w + 17 = -5*t - 23, 0 = y*w + t + 17 for w.
-3
Let j = 18 - 36. Let p be (-248)/j - (-4)/18. Suppose -r = 8, 4*y - 172*r - 132 = -174*r. Solve 4*u - y = 5*c, 2*u = 5*u - c - p for u.
3
Let i(x) = -2*x**2 + 130*x - 1963. Let h be i(41). Solve -s - 5*a = 15, 5*a + h = 4*s - 7*s for s.
5
Let d = 16367 + -16367. Solve 5*a + 54 - 14 = 5*u, d = u - 5*a - 24 for u.
4
Let v = 35 - 30. Let g be (-39)/(-12) + (-20)/16. Solve 0 = v*p + 4*q + 10, 5*q + 21 = g*p - 4*p for p.
2
Let m = 4917 - 4896. Solve 3*o = -27*t + 22*t + m, 0 = -4*t - 5*o + 22 for t.
3
Suppose 6*o = 4*o + 296. Suppose 0 = -5*z - 3*t + 185, 0 = -4*z - 0*z + 3*t + o. Let u = z - 32. Solve 0 = 3*d - 2*j + 14, u*d + 0 = -3*j + 2 for d.
-2
Let i(y) = 23*y + 1534. Let o be i(-66). Solve 20 = -3*z - 5*v, 183*z + 4*v - o = 187*z for z.
-5
Let c = -11 - -11. Suppose c = 2*w + w - 0*w. Suppose -i - 2 = 5*x - 2*i, w = -4*x + 2*i - 4. Solve -3*j = 3*h, x = 5*j + 5*h - 3*h for j.
0
Suppose -6*o + 248 = 2*o. Let n = o + -40. Let p = -4 - n. Solve -a - 2*g = 2*a - 6, 5*a - p*g = -15 for a.
0
Let o(a) be the third derivative of a**6/120 - 31*a**5/60 + 4*a**4/3 - 47*a**3/6 + a**2 + 1. Let u be o(30). Solve -6 = 2*f, 2*r + 0*r = 3*f + u for r.
2
Let v be ((-27)/5 - 1) + 9/(-15). Let x(m) = 3*m + 3. Let s be x(v). Let q be 3/6 + s/(-12). Solve -3*i = 4*f - 3, 2*i = f - q*f + 2 for f.
0
Let c = -4843 + 4848. Solve -2*z = -2, -7*r = -c*r + 2*z - 10 for r.
4
Let v be (1*-4)/(1928/(-3374)). Solve -5*i = 10, -v*y - 3*i - 6 = -14*y for y.
0
Let m be 7 + (-159)/(6 - 7). Let x = -136 + m. Solve 0 = -2*n + n - 3*y + 10, -y = -5*n - x for n.
-5
Let x(g) = g**3 - 5*g**2 - 13*g + 33. Suppose 0 = 4*q - 0 - 24. Let z be x(q). Let o be (-48)/z + 3/(-9). Solve -o*p = 4*u - 31, -u + 4*p + 0*p = 8 for u.
4
Let c be (2/(-4))/(8/(-176)). Let x(l) = -l**3 + 12*l**2 - 11*l + 8. Let v be x(c). Suppose 0 = 3*w - v + 2. Solve -2*d + 2 = -a, 0 = a - w*a + 4*d - 8 for a.
4
Suppose -16*s + 25 = -167. Suppose s = 10*r - 6*r. Suppose -v = a - 4, r*v - 7*v + 8 = -4*a. Solve 0 = 4*d - v*u + 4, 6*d + 4*u + 36 = d for d.
-4
Suppose 0 = -97*w + 92*w + 15. Suppose -4*v + 20 = w*p, 2*p + v + 2 = 6*v. Solve 4*s = 5*i + 32, -s - 4*s + 31 = -p*i for s.
3
Suppose u = -5*p + 8, 6 - 1 = 5*p. Let q = 382 - 313. Suppose 3*w - 5*v = -0*v + 71, u*w = 3*v + q. Solve -c - 5*a = -0 + w, 0 = -c + 2*a + 6 for c.
-2
Let u be (-3)/(0 + 54/(-18)). Solve 4*a - 4*l = -9*l - 6, -3*a = 2*l + u for a.
1
Let w = 38 + -38. Let l(k) = 2*k**2 - 2*k. Let n be l(w). Solve c + 4*s - 5 = n, -s + 2 + 12 = -4*c for c.
-3
Let s(y) = 10*y + 9*y - 18*y - 18. Let k be s(-18). Let p be ((-48)/k)/(1/3). Solve -2*g = -3*g + 1, p*g + 12 = 4*r for r.
4
Let m(c) = 22*c**2 + 462*c + 3. Let j be m(-21). Solve -16*w - 18 = 2*l - 12*w, -w = -2*l - j for l.
-3
Suppose 2*n = 18 - 22, -10*n = -3*r + 26. Solve 2 = -d + w + 6, 9 = d - r*w for d.
-1
Let b be 3/2*(-8)/(-6). Suppose b*v - 21 = -v. Let a(t) = -181*t + 2358. Let i be a(13). Solve -i*q + 4*d = v, 3*d - 12 = -3 for q.
1
Let x(q) = -q**3 - 19*q**2 - 10*q + 149. Let p be x(-18). Solve 3*z = 5*l - 28, p*l + 5*z - 7 = 13 for l.
5
Suppose -16 = -3*g + u, 0*u = 5*g + 4*u - 4. Suppose 4*t - g*v = -8, -130*t + 2*v = -126*t. Solve 5*n - 5*j - 10 = 0, -5 = 4*n + t*j - 1 for n.
0
Suppose 0 = 8*q + 28 + 52. Let z be (-1)/((-15)/(-6))*q. Solve -5*v - 1 = 3*g + g, -2*g = -z*v + 20 for g.
-4
Suppose 0 = 2*l - s - 19, -557*l + 555*l = s - 13. Solve l = -2*t - 5*u, 4*u + 11 = -4*t - 5 for t.
-4
Let m be 2/(-4*(3 + 748/(-248))). Suppose 12*y = 5 + m. Solve 2*g - o - 1 = -2*o, o = -y*g + 3 for g.
2
Suppose 3*f - 3*q = q + 1691, q = -4*f + 2223. Suppose -9 = -560*d + f*d. Solve 3*j - 12 = d*p, 2*j - 5*p - 20 = j for j.
0
Let r be (-197)/(-13) + (-2)/13. Suppose -70*w - r = -73*w. Solve w*z - i = 2*i + 12, -2*i = -3*z + 7 for z.
3
Suppose -1227*c = -1234*c + 14. Solve -3*n + 10*d - 15*d - 2 = 0, -c*n + 2*d = -4 for n.
1
Let w = -23852 + 23856. Solve 60*t - 4 = 4*a + 64*t, -3*t = -w*a - 18 for a.
-3
Suppose -3*p = -4*m + 20, 1378*m - 1373*m - 5*p = 25. Solve 0 = -m*s - 2