-2*a = -d*k + 2*k - 2, -3*k = 2*a - 2 for a.
1
Let t = -24 + 46. Let c = 485 + -344. Let x = 147 - c. Solve 4*w + 3*p = x, 0*w + 5*p = 4*w - t for w.
3
Suppose 0 = -j + 4*y + 6, -5*j + 6*j + 2*y = 0. Suppose 3*i - j - 31 = 0. Let h = 4557 + -4552. Solve 4*z + 36 = -h*x, 2*x + i + 13 = -4*z for x.
-4
Let g(z) = z**2 - 16*z + 66. Let d = -600 + 612. Let k be g(d). Solve 3 = 3*f + 4*v - k, 5*v = -4*f + 27 for f.
3
Suppose 2*h - 10 = -2*y + 4*y, -70 = -5*h - 4*y. Solve 2*k - 5*b = h, 5*b = -3*k - 5 - 30 for k.
-5
Let c(p) = p**2 - 20 + 7*p - 7*p - p. Let g be c(5). Suppose -5*y = -2*y - 9. Solve 5*o - 5*z = g, z = y*z + 4 for o.
-2
Let r(m) = m**2 - 9*m - 7. Let k(b) = -b**3 + 4*b**2 + 2*b + 2. Let u = -67 + 71. Let f be k(u). Let p be r(f). Solve 4*n = -p*v - 1 + 22, 4*n = 3*v + 3 for n.
3
Let m(c) = -2*c + 34. Let p be m(16). Suppose p = 4*s - 14. Solve 5*u - 5*y = -20, s*u + 8 = -0*y + 2*y for u.
0
Let o = 426 + -279. Let z = o + -144. Solve f = -3, 4*n + z*f = -1 - 0 for n.
2
Let l(c) = -3*c - 1. Let a(r) = -20*r**2 + 66*r - 10. Let f(w) = -a(w) + 5*l(w). Let h be f(4). Solve k + 15 = 4*o, 22 = 5*o - 2*k + h for o.
3
Suppose 3*z = -4*z + 3*z + 8. Solve -z*i = -4*k + 22, -4*k + 8 = 5*i - 7 for k.
5
Let i(r) = -26*r - 1. Let g be i(-1). Suppose l = -6 + g. Let n be 4624/1088 + (18/(-8) - (16 + -18)). Solve 5 = s, l = -n*x - 0*s + 3*s for x.
-1
Let t = -254 - -292. Suppose -t = -28*m + 102. Solve -j = 2*j + 3*f - 30, -5*j + 4*f + m = 0 for j.
5
Let b = 119 + -67. Suppose 0 = 4*k - 8, 9*l - 3*k = 12*l - 39. Suppose b = 4*d - 2*u, -l = -2*d - 5*u + 3. Solve -t = -3*z + 4*t + 1, 0 = 2*z + 3*t + d for z.
-3
Let z = -4458 + 4463. Solve 0 = -3*y + 4*c + z, 4*y + 6*c - 11*c - 7 = 0 for y.
3
Let k be -1*3 + 1/(-1). Let x = -2 - k. Let t be 1/11 + 4171/1067. Solve -j - x*q = -5*q + 6, -q = -t*j - 13 for j.
-3
Let j(i) = i**2 + 7*i. Let d be j(-8). Let r = 12 - d. Suppose 6*o = 11*o - 125. Solve -p + 15 = r*l + 2*p, -5*p = -3*l - o for l.
0
Let y(q) = -q**3 - q**2 + 20*q + 6. Let d be y(-5). Solve 2*j - d = 2*f, -5*f = j + 4*j - 35 for f.
2
Let x = -5572 + 5592. Solve 7 = 19*k - x*k - 2*f, k + 22 = -5*f for k.
3
Let p(l) = l**2 + 21*l + 24. Let d be p(-20). Suppose 0*n - 3*n + 2 = -q, -d*n - q + 5 = 0. Solve b - n = 3*i + 10, 5*i + 11 = -2*b for i.
-3
Let l be (-12)/4*(-4)/12. Suppose 5*i - 10 = 2*d, -d = -54*i + 53*i + 2. Solve -3*f + 4*x + i = 0, -3*f + 0*x + l = -5*x for f.
2
Let g = -5859 + 5866. Solve z - g*h = -3*h + 20, -12 = -5*z - 2*h for z.
4
Let o(v) = 9*v**2 + 44*v + 40. Let q be o(-1). Solve 0 = -2*h - 3*r + q*r - 2, 0 = 5*r - 5 for h.
0
Let i(a) = -3*a**2 + 61*a - 20. Let o be i(20). Suppose 5*p - 5*y - 35 = o, -3*p + 5*y + 40 = 9. Let q = 1 + 2. Solve -p*l - q*u = 1, l + 6 = -3*u + 1 for l.
4
Suppose -4*c - 3*r + 12 - 1 = 0, 0 = 2*c + 4*r - 8. Solve c*x = -x + 2*l + 13, l = 2*x - 8 for x.
3
Suppose 5*p + 3*g - 15 = 157, -3*p + 2*g + 88 = 0. Let c = p + -87. Let i = -53 - c. Solve i*z - 5 = -4*t - 1, 2*t - 4*z + 8 = 0 for t.
0
Suppose s - 47 + 26 = -2*b, -4*b = s - 13. Solve 5*t = -2*x - s - 1, 2*t - 3*x = 7 for t.
-4
Let u = 11057 + -11051. Solve 0 = 3*f - 4*p + 6*p + u, p + 10 = -5*f for f.
-2
Let d be 2*(-35)/8 - 10/40. Let t be (21/d)/((-3)/(2*45)). Let a = 74 - t. Solve 5*s + j = 10, a*j + 13 = 5*s + 3 for s.
2
Let t = -1012 - -1015. Solve -t*q - 10 = 2*g, -15*q - 25 = -14*q + 5*g for q.
0
Let n be -9*-10*12/216. Solve g = n*u - 16, -g - 5*u + 48 - 24 = 0 for g.
4
Suppose 2*s + 417 - 423 = 0. Let b be s - 5/1 - 2 - -8. Solve -2 = -2*n - 3*f, -b*f + 20 = -5*n + f for n.
-2
Let a = -62 + 66. Suppose 2*m - 2 = -5*f + 3*f, 14 = -a*f + 5*m. Let z be 2 + f + (-2)/(6/(-9)). Solve -2*w = 2*w - 4*u + 20, z*u = 12 for w.
-2
Suppose g + 9 = -4*h - 20, g = -5*h - 25. Let s = -50 - g. Let l(t) = t**3 + 6*t**2 + 3*t - 8. Let b be l(s). Solve -p - 5*u = -6, -4 = b*u - 4*u for p.
-4
Let o be 8717/184 - (-1 - 11/(-8)). Suppose 9*a - o = -38. Solve -5*w - 2*p = 13, -2*w - 7 = -2*p + a for w.
-3
Suppose 0 = -5*m + 2*x + 26, -x - 10 = 16*m - 18*m. Let o = 14 - m. Solve -2 = 2*a - 12, -4*f - 4*a = -o for f.
-3
Let u = 85 - 73. Suppose 5 = -u*v + 65. Solve 0 = -5*a - o + 3*o - 30, -3*a = -v*o + 37 for a.
-4
Let l = 26 - 22. Suppose -l*d + 58 = 2. Solve -2*x = -o - 3*o + d, 2*x = 2 for o.
4
Let p(d) be the third derivative of 7*d**4/12 + d**2. Let r be p(-6). Let n = r + 98. Solve -s - 2*s = 4*b + n, -6 = s + 2*b for s.
-2
Let r be (28/(-8) - -4)*4. Let w be (-144)/(-40) - 6/10. Suppose -3 + 0 = -5*k - 4*f, -f = w. Solve d - r*g = 7, 6*d - k*d + 9 = -4*g for d.
1
Suppose -188*b = -55*b - 85*b - 96. Solve l - 7 = -4*z, -b*l + 6*l - 2*z = 10 for l.
3
Suppose o - 239 = -5*z, -6*z + 2 = -4*z. Suppose 0 = -55*v + 96 + o. Solve -5*y - 5 - v = 2*a, -3 = a for y.
-1
Let h(a) = 295*a + 309. Let q be h(-1). Solve 62*g + q = 59*g + y, 5*g + 24 = y for g.
-5
Let t(f) = -201*f - 1802. Let p be t(-9). Solve 3*l + 17 = -2*z, l + 4*z + 16 = p for l.
-5
Let p be 1/(15/(-24)) - 3/(-5). Let k be (-292)/(-24) + 0 + p/6. Let n be 58/10 + k/(-15). Solve -4*z - n*y - 1 = -2*y, -4*z - 6 = -2*y for z.
-1
Let g = 2850 - 2847. Solve u = -g*p - 2, -3*p + 8*p = 4*u + 8 for p.
0
Suppose 17 = 5*s + 3*h, 0 = -s - 5*h + 8*h + 7. Suppose 8 = n - 14*l + 12*l, 0 = 2*n + l + s. Solve 22 = -2*c - n*t - 4*t, 3*c + 8 = -t for c.
-1
Let g(h) = 4*h**2 - 179*h + 149. Let i be g(44). Solve 2*m + 2*v - i = -v, 10 = 4*m - 2*v for m.
4
Suppose 0 = -29*q - 161 + 306. Solve -q*m + 2*z - 31 = 0, -5*m = 100*z - 97*z + 16 for m.
-5
Suppose 26*b - 5863 = 15*b. Let g = 535 - b. Solve -z + g*d = 14, 13 = 3*z - 0*z + 5*d for z.
-4
Let y(o) be the third derivative of -o**6/40 - o**5/60 + o**4/6 + o**3/6 - 51*o**2. Let q be y(-2). Solve 3*n + q + 3 = -4*k, 4*n - 4 = k for k.
-4
Suppose -4*i = -300 + 276. Solve -8*g + 16 = -3*q - i*g, -g = 3*q + 10 for q.
-4
Suppose -128*g + 5*g + 109 = -137. Solve 10 = -2*a + g, -5*a = -2*i + 20 for i.
0
Let m(z) = 3*z**3 - 189*z**2 + 4*z - 235. Let f be m(63). Solve 5*u = 4*h + f, -7*h + 4*h = -4*u + 13 for h.
-3
Let i = 58 + -54. Let x be 1/4 + (-1)/i. Suppose x = 6*d - 4 - 14. Solve -d - 1 = 3*t - 4*k, -4 = -4*t + 3*k for t.
4
Let c be (-5 + 1)/(16/(-60)). Let w be (-150)/20*(-4)/c. Solve 3*q - 4*s = 1, 0 = -4*q + 5*s - 3*s - w for q.
-1
Let v(r) = -14*r**2 - 121*r - 70. Let g be v(-8). Solve 5*b - 9 = -3*n + 13, 0 = g*n - 2*b + 12 for n.
-1
Let u = -3 - -7. Suppose 69 = u*k + 21. Suppose -105*v + 101*v = -4*s - 24, 4*s + 12 = v. Solve 5*n = -5*w + 33 + 2, -k = v*w - 4*n for w.
2
Let s(w) be the third derivative of w**5/20 - w**4/6 - w**3/6 - 13*w**2 + 3*w. Let o be s(2). Solve 2*j + 6*f - 1 = 3*f, 3*j = -o*f for j.
-1
Let i = -297 + 283. Let g be (23 - (3 + 1)) + i + 15. Solve 0 = 5*o - f - g, 6*f = 2*f + 20 for o.
5
Let q(h) = -23*h**2 + 264*h + 146. Let j be q(12). Solve -5*c + 5*x + 244 - 239 = 0, c - 7 = -j*x for c.
3
Suppose 13 = 2*s - 9. Let o = -24 - -35. Let r = s - o. Solve 5*j - 3*a - 1 = r, a - 5*a - 11 = 3*j for j.
-1
Let m(b) = 4*b**2 - 3*b - 10. Let u be m(4). Suppose 0 = -7*o + u - 21. Solve 2*i = s - 5, -3*i = -o*s - 0 + 15 for i.
0
Let m be (6 - (-319)/(-66))*2*36/21. Solve 5*b = 4*v - 4, m*v - 1 - 3 = -3*b for v.
1
Suppose 5*t = -6*o + 5*o + 1725, -5*o + 1013 = 3*t. Let w = 348 - t. Solve 0 = f + 4*f - 5*n - 40, -w*f + 24 = -4*n for f.
4
Let a be 70/22 + 3/(-1 + (-62)/4). Solve -5*x + a*g = -17, -3*g + 8 = -x + 9 for x.
4
Suppose 3*g = -g + 4*x + 36, -3*g + 4*x + 32 = 0. Let r = -144 + 145. Let a be (2 + (-1)/r)*(-7 + 7). Solve a = q - g, -2*i + 22 = -5*i + 4*q for i.
-2
Let t be 5*1/(10/8). Let j(h) = -2*h**2 - 25*h - 17. Let k be j(-11). Let q be k/112 + 54/14. Solve 3 = q*m + t*f - 1, f = m + 1 for m.
0
Suppose 21 = -q - 27. Let o = q + 122. Let v = 85 - o. Solve 0 = 5*d + 5*y + 15, -v = d + 3*y - 0 for d.
1
Suppose 26 = 5*o - 2*g, g + 21 = 4*o + 2. Suppose 12*k + 8 = 14*k - 3*c, -k + 4 = 2*c. Solve -k*h - a - o = 3*a, -3*h - 4*a = 8 for h.
4
Let w = -18315 - -18317. Solve -5*a = t - 15, -39 + 43 = -3*a + w*t for a.
2
Suppose 4*k - 53 = -x - 40, -k + 1 = -2*x. Solve -11*g + 6*g - x = -3*w, 2*w - 9 = -5*g for g.
1
Let w = -4417 + 4433. Solve 28 = -4*m + 2*i, 0 = m - 5*m - i - w for m.
-5
Let k be (-7)/(-3) + 19/(-57). Suppose -4*i = -8, k*x + 3*i + 4 - 18