4*x + 5*z, -2*z = -t*x + 2 for x.
2
Suppose -30*q - 251 = -29*q. Let u = q - -253. Solve a - 7 = i, i + 25 = -u*i + 5*a for i.
-5
Let j be (-8)/3*37/((-666)/54). Solve -4*x + 5*b + 31 = 0, -2*x + 3 = -b - j for x.
4
Let p = 773 - 768. Solve 4*n + z = 7, p*z = n - 5 - 2 for n.
2
Let q be 0/(-2) + (-2)/(-1). Let z be (120/2)/2 + 0 + 4. Suppose 0 = 39*p - 161 - z. Solve 0 = -5*y + 30 - p, -q*y + 10 = -4*r for r.
0
Let k = -486 + 630. Suppose -k = -33*w - 12. Solve 0 = -h - x + 2, -x = -w for h.
-2
Let p = 26444 - 26442. Solve -2*d - 4*q = -901 + 883, 0 = -p*q + 10 for d.
-1
Let t = -60809 + 60811. Let a = 0 - -1. Solve a = -p + 3, 0 = 5*z - t*p + 29 for z.
-5
Let x = -4281 - -4301. Solve 5*j + x = 0, -5*c = -3*j - 2*j - 20 for c.
0
Let r be 4 - -2 - ((-36)/27)/((-4)/18). Solve -5*z + 9 = 4*x, -3*x + r*x = 4*z - 8 for z.
5
Let i be (-6)/(7/(-560)*-4). Let t = i + 123. Solve 4*f + 13 = -4*z - f, z + 5 = -t*f for z.
-2
Let z = 100 + -108. Let u be (-6)/z*-2*(-8)/2. Suppose 5*n = u*n. Solve n = -2*i + 2*c - 2, -5*i = 3*c + 4 + 1 for i.
-1
Let t(i) = i**3 + 9*i**2 - 8*i - 36. Let k be t(-9). Suppose 0 = -22*y + k + 74. Solve 2*z - y = 5*o, 0 = -0*o + 3*o - 4*z - 11 for o.
-3
Let d(j) = j**2 + 7*j + 4. Let v be d(-7). Solve 0 = -v*w - p - 16, -3*w + 3*p - 32 = -5 for w.
-5
Suppose -80 = 2*g - 4*g + 5*s, s + 2 = 0. Suppose -g + 17 = 3*x. Let k be 3 + -1 + 0 + (-3 - x). Solve 0 = -d + 3, -d = k*t + 2*d - 29 for t.
4
Suppose 100 - 114 = -5*c - 2*s, 0 = -3*c - 2*s + 10. Solve c*t + 3*j + 18 = 16, 0 = -t - 2*j for t.
-4
Let f = -104 + 78. Let t = 40 + f. Let i be (t/5)/(26/65). Solve -3*d = 5 + i, 2*c = -5*d - 14 for c.
3
Let t = 176 + -123. Let a = t - 49. Suppose -9 = -s + 3*v, 5*v - 5 = -s - a*s. Solve i + 6 = 2*w, -s*w - 15 = -8*w for i.
0
Let l(j) = -8*j - 63. Let m be l(-11). Suppose -a = -0*a - 5*u - m, 5*u = -2*a - 10. Solve 0 = 5*c - a*h - 30, c - 15 = 2*h - 5 for c.
2
Suppose 0 = 39*h - 38*h + 5*j - 27, 3*j = 3*h + 9. Solve -2*m = -p, h*p = -137*m + 136*m for p.
0
Let w(p) = -458*p - 5946. Let q be w(-13). Solve 72*d - 76*d = -q, 4*d + 8 = 4*l for l.
4
Let s(q) = 13*q**3 + 2*q**2 - 1. Let t be s(1). Suppose -15*j + t*j + 6 = 0. Let l = -4 + j. Solve 6 = -3*f + 4*x, 0 = -3*f - 0*x + l*x - 6 for f.
-2
Suppose 86*q = 94*q. Suppose 0*k - 2*k = 0. Suppose -2*t + t = 2*y, k = 2*t - y - 5. Solve q*d = m + d - 8, d = m + t for m.
3
Let p(u) = 12*u - 57. Let q be p(-11). Let t be 1/7 + (-540)/q. Solve 5*x = 5*g, 2*g - t - 1 = 0 for x.
2
Let o = -8324 - -8329. Solve -12 = -o*c - 2*k + 4*k, 0 = 4*c - 3*k - 4 for c.
4
Suppose 0 = 4*a + a - 25. Suppose 24*y - 28*y = -80. Suppose -y - 40 = -15*r. Solve j = r*j - a*d - 17, 0 = -4*j + d for j.
-1
Let m be (-55)/44*((-4)/30 + (-330)/225). Solve 2*u = -4*x - 2, -4*u - m*x = -1 + 5 for u.
-1
Suppose -12*m + 4 = -8*m, 4*m + 6 = 5*y. Suppose 4*i - 18 = y*o, 3*o + 16 - 1 = 3*i. Solve -g = 0, -2*f - i*g = 12 - 4 for f.
-4
Suppose 9 = -t + 7. Let x be -3 + t + -1 + (-2 - -17). Suppose 5*h + f = 1, 5*f - 8 = 4*h - 3. Solve w - 3*v + 3 = 14, -3*v - x = h for w.
2
Let f = 63713 + -63711. Suppose 3*z - 10 = 2. Solve -u = -3, -f*u + 3*u = -z*j - 1 for j.
-1
Let f = -10 - -13. Suppose 4*n + 3*d - 240 = 0, -2*n + f*d + 126 = 6*d. Suppose 2*v = 4*y + 3 - n, 2*v + 6 = 0. Solve -15 = 3*t + k, 20 = -5*t - 4*k - y for t.
-4
Let v(q) = 7*q**2 + 307*q - 44. Let s be v(-44). Solve -4*o - 2*t - 10 = s, -3*o + 3*t = -3 + 6 for o.
-2
Let c(z) = 3*z + 1 + 7 + 0 + 0*z. Let s be c(-2). Solve 0 = s*o - 4*l + 18, -3*l + 16 = o - 0*l for o.
1
Let k = -5001 - -5013. Solve -4*f + 2*b + 12 = 3*b, -2*b + k = 4*f for f.
3
Suppose g = -21*g - 198. Let d be (1/(-3))/(g/162). Suppose k - 2 = 5*r, 0 = 2*k + 3*r - 6*r - 4. Solve -4*l + 5*i = -18, d*i = -3*l + k*i - 2 for l.
2
Suppose -37*w - n - 408 = -41*w, -510 = -5*w - 2*n. Suppose 15*l + 27 - w = 0. Solve -o - l*k + 6 - 26 = 0, -12 = o + 3*k for o.
0
Let k be 16/(-72) - (-609)/189. Solve k*q - 19 = 4*i, -7 = i + q - 11 for i.
-1
Let a(t) = -3*t**3 - 43*t**2 + 7*t + 321. Let k be a(-14). Solve -4*f - i = k, -68*f - 2*i = -72*f - 18 for f.
-6
Let l = -2703 + 2708. Solve -l*s - 7 = b, 4*s + 0 + 4 = 0 for b.
-2
Let c be 1/((-3)/(-9))*1. Suppose -c*z - 2*z = z. Suppose z = -5*o - 4 + 24. Solve 0 = o*p + 2*m - 26, 4*p - 5*m + 17 = 2*p for p.
4
Suppose 11*j = 7*j + 64. Suppose -4*v + j = -16. Suppose 0 = 6*z - v + 2. Solve 3*a = -2*x - z, 5*x - a - 7 + 1 = 0 for x.
1
Let u = -55 + 60. Suppose 83 = 5*q + c - 20, -3*q - u*c = -53. Let j = -9 + q. Solve -3*r + 21 = 2*i + 2*r, i - 2*r + j = 0 for i.
-2
Suppose -2*t = 57*t. Let s be (15/12)/((-2)/(-8)). Let g be -1 + s - (-1 - t). Solve 0 = 5*n, -3*i + g*n = -0 + 3 for i.
-1
Let a(f) = 2*f**3 - 2*f**2 - 10*f + 12. Let h be a(1). Solve 0 = 5*x - h*z + 6 + 3, -3*z + 1 = 5*x for x.
-1
Let q be 19 - (-6)/15*-10. Suppose -i + q = 2*i. Suppose -f + 6*f - 5*o - 20 = 0, 20 = f - i*o. Solve f = b + 1, 4*b + 3 = 4*s + 11 for s.
-3
Let s be 4/(-8)*-17*2. Suppose -s*h - 15*h = 0. Solve -2*z - 12 = -5*j, -2*z + h*z + 12 = j for j.
4
Suppose 66 = -0*m + m. Let k(a) = 20*a + 18. Let h be k(-4). Let d = m + h. Solve -d*r + 3*j = -7, j - 3*j = -6 for r.
4
Let z be (-58)/145*(-20)/(-8) - 1*-4. Solve 3*p - z*b = 4*p - 2, 0 = -5*b for p.
2
Let c = -5732 + 5732. Solve -b + 12 = 4*s, s - 6 + 2 = c for b.
-4
Suppose -3*w + 2*o + 42 + 73 = 0, 2*w - 85 = 3*o. Suppose -31 = -22*c + w. Solve 0 = c*b - 4*q - 18, 3*b - 2*q - 12 = -0*q for b.
2
Let p(s) = 2*s**2 - 5*s - 1. Suppose -5*t = -t - 12. Let d be p(t). Solve 5*o + 8 = d*x, 5*o - 11 = -5*x + 9 for o.
0
Suppose -109*v = -744492 + 744165. Let c be 3*(1 - 4/(-6)). Suppose w - 4*w + 24 = 0. Solve r = -3*a + 9, a - w = v*r + c for r.
-3
Let o(m) = 4*m - 88. Let w be o(21). Let b be 6 - (-5 + w) - -5. Solve -3*k - 4*l = 29, -7*k - b = -2*k + l for k.
-3
Suppose 4*x + 70 = 18*x. Suppose 2*w = -2*w + 4, -x*w + 8 = a. Suppose a*z - 9 = -m, -3*m + 4 = -z - m. Solve -3 = s - 2*t, 0 + z = s + 3*t for s.
-1
Let u = -600 + 389. Let g = -206 - u. Solve 3 = c, -c + g*c - 7 = -n for n.
-5
Suppose -15*v + 2*v = -45*v + 128. Solve -5*m + u = 5, 9*m - 8*m = -v*u - 1 for m.
-1
Suppose -j + 2*j - 1 = -2*k, -2*k - 11 = -3*j. Suppose -10 = 2*q, j*u - 42 = 3*q - 12. Solve -b = -3, -h = -3*h + u*b - 23 for h.
-4
Suppose 0*x - 6*x = -2424. Suppose -411*f = -x*f. Solve f = 2*a + 2*a - b + 2, -b - 7 = 5*a for a.
-1
Suppose -3*r = 10*r - 13. Let o be (18/4)/(3/2) - r. Solve -3*s - o - 4 = -3*k, 5*k = -15 for s.
-5
Let m = 1 + 4. Suppose 38*a = 34*a - 4*u + 4, 2*u + 5 = -a. Solve 4*w + 9 = w - s, 0 = -2*w - m*s + a for w.
-4
Let l be ((-148)/(-333))/(0 + 0 + 10/45). Solve -5*m + 15 = -l*d - 15, -m = 2*d + 6 for m.
4
Let k(p) = -p**2 + 9*p - 5. Let f be k(8). Suppose x - 20 = 5*o, f*o = x + 5*o + 1. Solve 2*y + 3*j + 1 = 6*j, -1 = -2*y + x*j for y.
-2
Let l be 80/72 + (-546)/(-189). Solve -2*q - 4*w + 6 = -10, -2*w = -l for q.
4
Let g be 22/(-2*1) - (-163 - -143). Solve i - 2 = -3*c - 6, -4*c - g = 5*i for c.
-1
Let d = -143000 - -143002. Let k(y) = -y + 4. Let r be k(0). Solve -m = d*b - 0*m + 3, b = -r*m + 9 for b.
-3
Let s be 5 + 7/(-14) - 2/(-4). Suppose 8*p - s = 11. Solve 5 = -m + w + w, p*w = 3*m + 11 for m.
-3
Let m be (-4)/(-10) - -3*744/120. Solve 2*n + 3*r = 6 + 5, 0 = 4*n + 5*r - m for n.
1
Suppose 9942 = -23*v + 1156. Let f = v + 407. Solve -5*p + 5*q + f = 0, p - q + 13 = 6*p for p.
3
Let o(g) = -3*g**2 + 41*g - 102. Let j be o(10). Solve -y = 3*a + j, -3*y + 4*a = 7*a + 18 for y.
-5
Let f be (-2 - 21/9*-1)*0. Let u be (-1 - f)/((-30)/60). Suppose -5*a + 5 = -u*d - 9, 2 = -d. Solve 5*g - 24 = g + a*q, 3*q = -6 for g.
5
Suppose 497 = 26*k + 185. Solve -3*t - 4*r + 31 = 0, -4*t + r = -r - k for t.
5
Let m(t) = 7*t**3 + 1 - 5*t**3 - 3*t**3 - 9 - 3*t**2. Let v be m(-4). Suppose -v*d + 3*d = 0. Solve 2*u - 3*o = -0*u - 4, -u + o - 2 = d for u.
-2
Let n(v) = -v**3 + 28*v**2 + 3*v - 77. Let m be n(28). Let h(u) = -15*u + 108. Let b be h(m). Solve 3*w + 2 = 2*r, b*w = 2*w + 2*r - 2 for w.
0
Suppose -2*j + 20 = 2*j. Suppose 686*w = 717*w - 148 + 24. Solve 4*a + a = 2*t - 16, j = -w*a - t for a.
-2
Let l = 2797 + -2792. Solve -4*f - 4*h - 14 = -2*f, 0 = l*f + h - 10 for f.
3
Let u(z) = 4*z + 27. Let b be u(-3). Suppose -3*m = b*m - 36. Solve m*h = 4*d - 2*