*x = 3*t + 5*x + 13, -4*t - 22 = -i*x for t.
-5
Let n(k) = 25*k**2 - k - 8. Let m be n(-2). Let h = -106 + m. Let j be 2/(-7) - h/126*24. Solve 4*t = -5*f + 2, -f + t = j + 3 for f.
-2
Suppose -6 = -h, 0 = -2*u - 6*h + 4*h + 12. Solve -l - 5*r + u*r = 18, -r - 3 = 0 for l.
-3
Let o(p) = -p**2 - 58*p + 1012. Let g be o(-72). Solve 0 = -3*z - 3*a, z = g*a + 157 - 132 for z.
5
Suppose -1367*s = -1350*s - 51. Solve -2*x - 36 = -24, s*x + 6 = -4*o for o.
3
Let k = -13198 - -13218. Solve -5*c + 4*x - 35 = -k, x = c + 3 for c.
-3
Suppose -39*k = 40*k + 47*k - 4410. Solve -5*l - 8*y = -3*y - k, -3*l - 5*y + 31 = 0 for l.
2
Suppose -10*s = -6*s - 148. Let h be s - 5/25*5. Let q = h - 21. Solve -5 = 2*k + k + c, 0 = 5*k + 3*c + q for k.
0
Let h = -1982 + 1984. Solve 2*u = -4*f - f - h, -u = -3*f + 1 for f.
0
Let v(n) = n**2 + 9*n + 9. Let z be v(-7). Let q be (2 - 0)/((-8)/(-44)). Let f = q + z. Solve -p - 4*p = 3*j + 2, p - 5*j = -f for p.
-1
Suppose 13 = -4*v - 63. Let y(q) = q**2 + 17*q - 34. Let g be y(v). Solve o + 8 = -2*m, -5*o + g = -0*m - m for o.
0
Let j be (3 - -3 - 2)/2. Suppose -62 = -2*l + s, 0 = 4*l + 814*s - 815*s - 118. Solve -3*u + y = -j*y + 18, -5*u - l = -4*y for u.
-4
Suppose -10 = 58*a + 14*a - 10. Solve -b + 3 - 4 = a, 0 = -5*h - b + 9 for h.
2
Suppose -65*v = 134*v - 398. Solve -k - 3*x - 17 = 0, 0 = 7*k - 5*k + v*x + 18 for k.
-5
Let o = -12 - -24. Suppose -3*k + 180 = 33*k. Solve 4*n - o = 8*n, -1 = 4*l - k*n for l.
-4
Let a = -5992 + 5994. Solve -a*w = s - 1, -4*s + 4*w + 4 = -w for s.
1
Let z be 1236/(-206) + 3*3. Solve 2*c = 4*n - 8*n + 10, 15 = -3*n + z*c for n.
0
Let b(u) = -6*u - 2. Suppose 0 = -4*c + 5*o - 84, c + 2*c + 63 = 2*o. Let h = c - -20. Let a be b(h). Solve 3*y + a*d = 9, 4*y + 12 = 8*y + 2*d for y.
3
Let m be (1/(6/200))/((-17)/102). Let f = 208 + m. Solve -3*l - 5*u - 1 = -f, 5*l = -2*u + 18 for l.
4
Let i(u) = u**3 - 3*u**2 + 5*u - 4. Let n be i(3). Suppose -2*a + n = 3*h, 15*h = 10*h - 4*a + 17. Solve -3*d + r = 5, 3*r = -4*d - 6 - h for d.
-2
Let c(q) = -q**2 + 117*q - 666. Let l be c(6). Solve -14*v = -11*v - j + 13, l = -5*v - 2*j - 7 for v.
-3
Suppose 3*z - 3 - 18 = 0. Let h be 9/(1 - -5 - z - -2). Solve 2*u - 11 = 5*j, -14*j - 17 = -h*j - 4*u for j.
-1
Suppose 19*w - 36 = w. Suppose w*t = 3*f - 32 + 6, -3*f + 40 = 5*t. Solve p = -5*k - 12, 3*k + f = -k - p for k.
-2
Let o(u) = 86*u**2 + 603*u + 15. Let z be o(-7). Solve -24 = -4*x + 3*r, 2 = 2*x - r - z for x.
3
Let h = 7 + -4. Suppose h*m + 36 = -3*n, 2*n - 16 = 4*m + 2. Let r = m + 29. Solve -2*c = 5*q + r, -12 = -2*q + 5*q for c.
-1
Let q = -55 - -80. Suppose -q = -23*d + 44. Solve 0 = -d*g + 3*t, 0 = t - 2*t + 2 for g.
2
Let r(k) = -3*k - 26. Let l be r(-15). Suppose 16 = 5*y - l. Let f = y - 4. Solve 4*v + 12 = -2*g, -2*g - f = -0*g + v for g.
0
Suppose -697*q + 34 = -680*q. Solve -4*f = 3*x - 13, -f + q*f + 5*x = -1 for f.
4
Let v = -225 - -269. Suppose -4*o = -15*o + v. Solve -o*m = -2*p + 26, -p = 4*m - 0*m + 11 for m.
-4
Let r be (-81)/3 - -4*(-4)/(-8). Let x(d) = -2*d - 48. Let l be x(r). Suppose 15 = 5*q - 20. Solve -3*o - 5*i = 4 + q, -4*i = -o + l for o.
-2
Let c(h) = -2*h**2 + 6*h + 11. Let z be c(2). Let n(x) = 4*x**2 - 2*x + 1. Let y be n(-2). Solve 4*k + y = -i, 3*k + z = i - 2*k for i.
-5
Let m(n) = -324*n + 1309. Let h be m(4). Solve -3*w - 4*s = -18 + 29, -3*w - 2*s - h = 0 for w.
-5
Let b be (-3)/2*(-4)/2. Let h = -593 - -618. Let q be (h - 4)*4/12. Solve b*x + 3 = 3*j, 4*j - q = 2*x + 5 for j.
5
Let s(j) = j**3 - 13*j**2 + 21*j + 140. Let x be s(9). Solve -1 + 8 = -3*i - 2*p, i + x*p = 15 for i.
-5
Let d be (-5 - -6)*6/(-3). Let h be 13 - 12 - 1*d. Solve 2*k - h*x = -2, -8*k - 4*x - 28 = -3*k for k.
-4
Let o = -405 + 414. Suppose -6*a - o = -9*a. Solve r - 4 = -a*l, -3*l - r = -6*r + 2 for l.
1
Suppose 7*q - 25 = 2*q. Let s = -3 + q. Suppose 0 = 4*g + s*n - 18, -12 - 14 = -5*g + n. Solve -4*d + 16 = -2*r - 0*r, -d + g*r - 5 = 0 for d.
5
Let a = -1 - -4. Let h(u) = -17*u**2 - 22*u - 2. Let d be h(-1). Suppose 4*s + 5*j = 4*j + 18, -s - d = 4*j. Solve 0 = b, 3*c - s*b = -a + 12 for c.
3
Let k = -108 - -123. Suppose -3*s - 5*b - 31 = -6*s, -k = 3*b. Suppose s*x + 13 + 3 = g, 3*g + x = 13. Solve 3*z - 14 = -4*q, 2*q - 5*z = 14 + g for q.
5
Let w(s) = s**2 + 8*s - 16. Let u be w(-10). Suppose -u*b + 23 = -5. Suppose 31*h - 24*h = b. Solve 5*o - h = 3*i - 20, -25 = 5*i + 3*o for i.
-2
Suppose -72 = 5*t - 12*j + 9*j, -2*t = -4*j + 26. Let q be 14 - (48/(-6) - t). Solve -y + 0*y = u - q, -u + 17 = 3*y for u.
2
Suppose -2*s = 6, 4*v - 4*s - 10 - 14 = 0. Suppose -52 + 130 = -13*p. Let k be ((-32)/p - 2)*v/2. Solve -2*d = 5*b + 10 + 21, 2*b - k = 5*d for b.
-5
Let z = 5262 - 5262. Let m(c) = c**2 + 11*c + 3. Let p be m(-11). Solve z = j + y - 6, -y - 9 = -j - p*j for j.
3
Let c = -27991 - -28006. Solve 0 = -18*t + 15*t + 2*z + 1, -3*z = c for t.
-3
Let s = -84 + 80. Let l be ((-20)/(-8))/((-5)/(-6 + s)). Solve 3*c = c - v + 4, l*c + 5*v = 10 for c.
2
Let t be (3 - 105/(-7)) + -15. Let r = -5 + 9. Solve 4*v + r = -0*v - 2*p, -4*v + t*p = 14 for v.
-2
Let p(d) = -d**3 - d**2 + 4*d - 4. Suppose 12*a - 9 = 9*a. Let x be p(a). Let q = 30 + x. Solve -5*g + 3*r + q = -7, 0 = -g + 4*r - 5 for g.
3
Suppose 3*r = 18 - 27, -5*r - 19 = -g. Solve -3*h = g*m + 12, -h = -6*h - 5*m - 15 for h.
0
Let g be 129/27 - (-6)/27. Let q(s) = -7*s**2 - 8*s**3 - s + 4 + 7*s**3 + 5 + 12*s**2. Let o be q(g). Solve z - 3*z - o*m - 28 = 0, -m - 1 = -z for z.
-4
Let n be (138/184)/((-9)/(-48)). Solve 5*q - 15 = -n*m, -5*m + 14*q + 18 = 20*q for m.
0
Let f be 1/((41/26)/41). Solve 0 = h + 6, 2*h + f + 2 = -4*c for c.
-4
Let m(a) = -102*a - 14281. Let n be m(-146). Solve 3*z - n*q = -610*q + 11, 2*z - 11 = -3*q for z.
4
Suppose -5*k = m + 4*m + 30, -4*k - 10 = -3*m. Let u be (49/(-7))/(-1) + k. Solve h - 5*w = -15 + 3, -u*h + 2*w = 10 for h.
-2
Suppose 2*n + 5*k = 62, -22*n + 20*n + k = -14. Solve -4*h = -61*p + 63*p + 6, 0 = h - 2*p - n for h.
1
Suppose 3*b + 4*o + 10 = 0, o - 4 = 41*b - 45*b. Solve -u + b*u = -5*g + 10, 2 = g - 2*u for g.
2
Let v = 10409 - 10407. Let c = 10 - 6. Solve c*x + 3 = -q + 6, v*x = -2*q + 6 for q.
3
Let v be 0*((-4)/6)/((-18)/27). Suppose -4*y + 2*o = -58, v = -2*y - 5*o + 36 + 11. Solve 0 = -4*l + 20, k - 4*l + 3 + y = 0 for k.
1
Let v(b) = 9*b**2 - 25*b - 4. Let k be v(3). Solve 0 = -k*w - 10, -5*w = 5*n - 2 + 12 for n.
3
Suppose -3*d = -2*l + 40, 4*l - 100 = -2*d + 3*d. Suppose 4*y = -l - 10. Let o be 1/3*y/(-1). Solve 2*g + 2*g - 25 = -5*r, 0 = o*r + g - 8 for r.
1
Suppose 3*l + 14 = -g - 119, l + 49 = 2*g. Let x be (-24)/(-9) - 3*5/l. Solve 5 = 2*r + x*b, 3*b + 5 = 5*r + 8*b for r.
-2
Let h be (6/(-8))/((-13)/156). Suppose -h*s + 13*s = -14*s. Solve s = -3*a - 5*v, a - 2*v = 13 - 2 for a.
5
Let b be -2 - -4 - (-1 + -23). Let z = -45334 - -45344. Solve 0 = 5*h - 4*a + a + b, z = -2*h + a for h.
-4
Let y = 9463 - 9459. Solve 2*p + 6 + 0 = 0, -y*l + 2*p = -22 for l.
4
Let y(n) = 24*n + 2. Let c be y(14). Let x = 345 - c. Solve -u + t = -x, -5*t = 3*u - 2*t - 3 for u.
4
Let s = 571 - 567. Suppose -s*l - 7*y - 7 = -10*y, -3*l = -5*y + 19. Solve 24 = -7*j + l*j + 4*m, -10 = 3*j + 2*m for j.
-4
Suppose 45*l - 36*l = -4*i + 44, -6 = -i - l. Let q(j) = -j**3 - 5*j**2 + 3*j - 4. Let f be q(-6). Solve 5*t + 2 - 23 = 3*n, -4*n = -i*t + f for t.
3
Let b be ((-4)/3)/((-2)/(-3)). Let i be -6 + 1 + 3 - 2*b. Suppose -3*o + c = -c - 49, -10 = i*c. Solve -4*x + 14 = -4*u - 6, -4*x + o = 3*u for x.
4
Let k(r) = -5*r**2 + 28*r - 11. Let p be k(5). Solve 0 = 5*f + p*o - 4, 9*f - 4*f - 2 = -2*o for f.
0
Suppose 0 = 211*t - 214*t + 69. Let h(p) = p - 8. Let j = 9 + 2. Let n be h(j). Solve x = q - 4, 3*x + x = -n*q - t for q.
-1
Let d be (-52)/2*(187/(-22) - -6). Suppose -44 = 43*l - d*l. Solve k + 0*t + 10 = -l*t, -t - 8 = 2*k for k.
-2
Suppose -x + 19 = -j - 10, -3*j = -5*x + 139. Suppose 0 = x*r - 25*r - 8. Let m be 1 - (3 - r) - 1. Solve -13 = i + m*p, -13 = i + 3*p - 4 for i.
-3
Let h be (-14)/18 - 4/18. Suppose 589*g + 4 = 606*g + 38. Let m be h*(12/(-3) - g). Solve -c + m = -5*r, c = -r - 2 - 2 for c.
-3
Let h(m) = -77*m + 3. Let j be h(1). Let v = 29 + j. Let c = 50 + v. Solve -2*f + 11 = -4*t - 5*f, 5*t = 5*f - c for t.
-2
Let i = -1168 - -1181. Let w