a = -5*d + g, -j*d + 26 = -5*a + d for a.
-2
Let w = 6426 - 6423. Solve -w*i - 16 - 16 = -4*k, -4*k = 5*i for k.
5
Let w(n) = 16 - 3*n - 2*n - 4*n + 59 + 0*n. Let k be w(8). Solve -j - v = -1, 3*j + 2 = 5*v - k*v for j.
0
Suppose -3*d + 20*d - 187 = 0. Solve 0*s = -4*v - 2*s + 20, -v - 2*s + d = 0 for v.
3
Let j = -6364 - -6374. Solve -183*s + 188*s = -2*v + 10, 5*s = -3*v + j for s.
2
Let u = -216 - -225. Suppose -u = v - 11. Solve 4*c + 9 = -z, z = -0*z - v*c - 5 for z.
-1
Let s be ((10 + -4 - 10) + 28/6)*3. Solve 119*m - s*d + 18 = 121*m, -5*m + 5*d = -5 for m.
5
Let z(c) = 29*c - 38. Let f be z(3). Let u be (525/f + -11)/(2/(-70)). Solve -5*x = 4*q + 18 - 4, u = -4*x - 2*q for x.
-2
Let c(o) = -o**2 - 58*o - 284. Let s be c(-6). Solve -6 = 2*j - 2*u, 11 = 4*j - 5*u + s for j.
2
Let p be 2/6 + (-22)/(-6). Let z be 10 + 11/(374/(-272)). Solve 0*y = -p*y + z*o + 16, -5*o = -y + 4 for y.
4
Suppose 2*k = -2*k + 4*a + 284, a = 3*k - 215. Suppose v = -2*v + 4*h - 191, -k = v - 3*h. Let u = v - -61. Solve -7 = -3*t + 2*z, -u*z = -5*t - 3*z + 7 for t.
1
Let o be 5/2 + (-7)/(-14) + 13. Suppose 2*h - 7 = -2*n - 3, o = 2*h - 4*n. Solve -5*k = -3*q - 35, -h*q = q + k + 21 for q.
-5
Suppose -4*c + 3*d + 6 + 29 = 0, 3*d = 3*c - 27. Let p be (24 + -25)*c*(0 - 1). Solve 0 = -3*f - 4*a + 19, 0*a - 2*a = -p for f.
1
Suppose -211 - 709 = 5*d. Let w = d + 186. Solve -5*l + x - 3 = 0, -5*l + 7 = w*x + 1 for l.
0
Let o(a) = 158*a + 3479. Let s be o(-22). Solve -s*q = -15, -4*l + 10 = 4*q + 6 for l.
-4
Suppose 0 = 9*g + 7*g + 1456. Let a = -167 - g. Let j = a - -76. Solve -5*s = -4*w - j*s + 26, 5*w - s - 22 = 0 for w.
4
Let g be (30/9 - 4)/((-26)/78). Solve 3*t + 2*r - 3*r = -g, -3*t - 4 = r for t.
-1
Let i be (35/4 + 0 + -2)/(227/908). Solve 0 = -5*j - 21*t + 20*t - i, -3*j + 3*t - 9 = 0 for j.
-5
Let j be (27/5)/(495/1650). Solve -3 = 2*r + 4*a - 1, j = -5*r + 3*a for r.
-3
Suppose 20*x = 25*x + 15. Suppose 0 = -21*b - 4 - 38. Let a be x/b + (-3)/(-6). Solve 5*q + 5*v = 5, 4*q + a*v + 5 = v for q.
-2
Suppose -473*c + 435*c = 0. Solve x - 4*r = c, 11*r = -5*x + 9*r - 22 for x.
-4
Let n be ((-3)/6)/(15/(-60)) + 2/1. Solve 2*t + n*o = -10, -3*t + 4*o + 16 = -7*t for t.
-3
Let w be 1572/14 - 8/28. Let l = -110 + w. Suppose 8 = -3*p + 4*a, p - l*a + 7*a - 10 = 0. Solve p = -3*j - 2*t + t + 6, -j - 6 = 3*t for j.
3
Let f = 30459 + -30455. Solve -9*t = -5*q - 61, 0*t - f*q = -2*t + 28 for t.
4
Let s be (8/(12/(-3)))/(-1). Suppose s*l - 6*l = -240. Suppose 0 = -4*g - 2*v + l, 2*g = -3*g - 3*v + 77. Solve c + g = 3*n + 2*c, -c = -2*n + 12 for n.
5
Suppose 332 = 4*x + m - 215, 2*m = 5*x - 687. Suppose 0 = -132*y + x*y. Solve r + f - 1 = y, -5*r - 2*f + 1 = f for r.
-1
Suppose 5*n = p + 16, -3*p - n = 2*p - 24. Solve 7*i = 3*i + 3*u - 15, p*u - 20 = 2*i for i.
0
Let h = -58 + 55. Let r be (h*6/(-27))/(10/45). Solve o - 2*o - 4*f - 23 = 0, 3*o = -r*f - 24 for o.
-3
Let h be 6 + (1/1 - -6)*1428/(-2499). Solve 3*m - 1 - h = -3*q, -5*q - 2*m + 11 = 0 for q.
3
Let u be 7 + (-9)/108*-8*-9. Solve 0 = -a + 3*b + u, 4*a - 36 + 15 = -5*b for a.
4
Suppose -130*y + 125*y + 20 = -2*v, v + 3*y = 23. Solve -v*u - 4*t = -10, -2*u + 2*t + 2*t = 24 for u.
-2
Suppose -v - 12 = -4*c, -3*v - 2*v - 2*c = -6. Solve v*h - 7 = -3*h + 5*r, 0 = -4*h + 3*r + 13 for h.
4
Let f = 611 + -572. Suppose 36*c = f*c - 42. Let q = 1 + 3. Solve -8 = 4*g, -g = q*n - 0 - c for n.
4
Suppose -86*v + 93*v = 0. Suppose 3*s - 6 = -0. Solve v = s*m + 5*y - 15, -2*m + 5 + 4 = 3*y for m.
0
Suppose 0 = -2*f + 4*m + 30 - 78, -3*m = -12. Let x be ((-168)/(-32))/(-2 - 44/f). Let a = 11 - 11. Solve 5*n - i + 2 = a, 3*i + 1 = -n + x for n.
0
Let g(b) = -2*b - 39. Let s(l) = 4*l - 12 - 13 + 30 + 5*l. Let p be s(-3). Let r be g(p). Solve w = 5*z - 19, 2 = z + r*w - 7 for z.
4
Let c = 21 - 15. Let r = -441 + 443. Suppose -2*w + 70 = r*x, -4*w = -0*w + 2*x - 132. Solve 0 = -2*f + c*f + 5*i + w, -5*f - i - 23 = 0 for f.
-4
Let j be (-1)/(2/(-140*1)). Suppose 0 = 88*w - 74*w - j. Solve w*o - 3*n - 24 = n, 0 = -o + 4*n + 8 for o.
4
Suppose -77*h = 24 - 255. Solve -h*r = 5*y + 24 - 44, 12 = 2*r + 3*y for r.
0
Let s(k) = 2*k - 10. Let j be s(5). Suppose j = -2*p + 4 + 2. Suppose 13*m + 10*m = 0. Solve p*i + 2*z + 12 = 0, 7 = -5*i - m*z + z for i.
-2
Let d(b) = -5*b + 3. Suppose 60 = 22*v - 17*v. Suppose 2*t - 16 = 4*u, -t = -4*t + v. Let o be d(u). Solve c - o = 3*i, 4*i = -2*c - 2*c - 28 for c.
-2
Suppose 33*o - 641 + 529 = 5*o. Solve f = 3*d + 2 - o, 0 = 6*d for f.
-2
Suppose -5*r = -5*w + 3 + 2, -5*w - 4*r = -41. Let t be 2 - (0/1 + -1). Let y = -9021 + 9026. Solve t*n + 20 = -w*x, -2*x + y*x = 4*n - 12 for n.
0
Let g = -172 + 177. Let o(n) = 2*n**2 - 8*n + 7. Let q be o(5). Let j = -17 + q. Solve 25 = 2*h + 4*x + x, j = g*h - 4*x - 13 for h.
5
Let z(q) = -4*q - 36. Let o(n) = 5*n - 3. Let p be o(6). Let i = p - 41. Let h be z(i). Solve 3*g = -4*s - h, s - 5*s - 20 = -g for g.
0
Let b = -54 + 58. Solve -2*x - 4 = 5*n + b, 5*n + 12 = -3*x for n.
0
Suppose -2*b = 2*h - 18, 124*b - 17 = 2*h + 119*b. Solve -h*z + 9 = x + 17, x + 2*z + 4 = 0 for x.
0
Suppose 3*x + 1 = -4*g, 0 = -4*g - 2*x - 1869 + 1871. Solve 4*u - 2*a = -24, 10*u - 6*u = -g*a - 16 for u.
-5
Let o = -111 + 111. Let r be (4 + 1)/(1 - o). Solve 5*j - i = -4*i + 4, 3*j - 16 = r*i for j.
2
Let b = 130 - 123. Let j be 1 + 35/b - 3. Solve -j*q + 4*o = -11, -5*q + o + 18 + 6 = 0 for q.
5
Let g(i) = -10 + 17*i + 22*i - 37*i - 2*i**2 + i**3 + 8*i**2. Let x be g(-5). Solve -c = c + x*n + 29, -n = -3*c - 1 for c.
-2
Suppose -53 = 18*x + 2521. Let j = x - -144. Solve g + 2*c = 3, 3*g + 18 = c - j for g.
-5
Suppose 21*j - 4*j = 340. Suppose -j = 4*w - 28. Solve -w*m + h - 17 = -6*m, h = -2*m + 11 for m.
3
Let p be (-2)/4*-16*(-14)/(-56). Solve -p*a + 4 = -v, 0 = -2*v + 6*v + 2*a - 24 for v.
4
Let s be ((-14)/77)/(36/(-396)). Solve d - 2*b + 8 = 0, 3*d - s*b + 24 = -2*d for d.
-4
Suppose 10*l = 3*l + 70. Suppose v = 3*c - 16, c + 2 - l = v. Solve -q = -5*h - c*q + 26, -2 = -q for h.
4
Let t be 17/(102/56)*(-15)/(-20). Solve 0 = -q - 5*f + t, 0 = -4*q + 2*q - 4*f + 2 for q.
-3
Suppose -4*v = -1 - 11. Let l be (v - (-55)/(-15)) + 8/12. Suppose -2*z + j + 9 + 0 = l, 16 = 5*z + 4*j. Solve 0 = -z*d - 4*n - 4, d - 1 = -3*n + 4 for d.
-4
Let g(s) = -s**3 + 19*s**2 - 17*s - 35. Let v be g(19). Let t = v - -360. Solve -4*d - t*i = 0, -2*i = -5*i for d.
0
Let p = 9935 + -9931. Solve -3*v + p = -2*n, 6 = -5*n - 19 for v.
-2
Let f be ((-1)/(-2))/((-292)/48 - -6). Let x(o) = o**3 + 6*o**2 - 4*o - 21. Let m be x(f). Solve m*y - k = -4 + 2, -5*y + 5*k + 10 = 0 for y.
-2
Suppose -12 = 4*d, -224*u + 221*u + 93 = 5*d. Solve 3*z + 2*h - 6 = 0, -2*z - 39*h - 1 = -u*h for z.
4
Let q(r) = r**2 - 47*r + 46. Let j be q(46). Solve -8 + 10 = -4*n - 2*f, n - 3*f + 4 = j for n.
-1
Let y = 777 + -775. Solve -5*g = -y*n + 4, -3*g - 5*n + 2*n = 15 for g.
-2
Let r = 3657 - 3653. Solve -2*h - 2*h + r = 4*n, 3*h - 5*n + 37 = 0 for h.
-4
Let m = -296 - -296. Suppose 52*s - 57*s + 25 = m. Solve 4*a - 8 = 4*x, -2*a - 5*x = -4*a - s for a.
5
Let x be -4 + 4/(16/(-884)). Let u be 4/8 + (-3 - x/6). Solve 3*y + u = -4*s, 0 = 3*y - s - 3*s - 5 for y.
-5
Let r(p) = -p**2 + 38*p + 219. Let l be r(43). Solve 25*j - h = 30*j + 13, j = -l*h + 5 for j.
-3
Let x be ((-3 - -1) + 7)*1. Let y be (x - (-58)/(-10))*(-5)/2. Solve 0 = -4*i + 12, -4*i = -y*a - 1 - 11 for a.
0
Let j be (-4)/3*(-33)/44*4. Solve -j*f - 2*o = -14, -f + o + 2 = -6 for f.
5
Let y be 12/(-16)*2/(-3) - (-12)/8. Solve 0 = 2*u - 4*g + 20, -3*g = -y*u - 0*g - 15 for u.
0
Let s(h) = h**3 + 7*h**2 + 5*h - 26. Let f be s(-4). Solve 0 = 2*d + 2*c - 10, 6*d = f*d + 5*c - 7 for d.
2
Suppose 192 = 85*c + 22*c - 129. Solve -13*h = -14*h + i + 1, 2*h - i = -c for h.
-4
Let w(j) = -124*j**2 + 747*j + 8. Let u be w(6). Solve 2*c - 8 + u = 4*h, 0 = -3*h + 15 for c.
1
Let b be (100/(-44) - -3)*(-220)/(-40). Solve -5*w = -3*f - 7, -b*w - 115 = 5*f - 128 for w.
2
Suppose 0 = -5*w - g + 183, -2*w + 4*g - 192 = -7*w. Suppose -15*d = -24*d + w. Solve 8*f + 20 = -2*b + 4*f, -2*b + 4*f + d = 0 for b.
-4
Suppose -5 = h, -30 = -o + 6*h - h. Let m be ((-7)/4)/(2/(-24)). Let n = -13 + m. Solve 9 = 3*u, 0 = o*a + u - 5*u - n for a.
4
Suppose -2 - 14 = 4*o, d + 2*o = 8. Let x(h) = d + 