 3*t + 4. Let j be s(k). Solve 4*m = -2*u + 2*m + 4, j*u - 2*m = -q for u.
-2
Suppose -v = -311 + 310. Let g be ((-3)/v - -1) + (106 - 103). Solve -4*w = -3*f + g, -11 + 1 = 2*f for w.
-4
Let l(j) = 85*j + 8. Let y be l(1). Let v = y + -91. Let w(d) = -d**2 - 6*d + 3. Let q be w(-6). Solve q = s - v*f, -3*s = -s + 2*f + 18 for s.
-5
Let a be (-26)/(-4) - (-231)/(-462). Solve 5*m = 2*f - 16, -m = -17*f + 18*f + a for f.
-2
Let k be (48/(-336) + (-41)/7)/(-2). Solve -65 + 59 = -4*n + 5*t, k*t = -6 for n.
-1
Let v be (2/4)/(-1)*0. Let t(h) = -2*h**2 + 29*h - 25. Let y = -1077 + 1089. Let b be t(y). Solve v = s - 2*d + 2, -4*s - s = 5*d - b for s.
4
Let l(b) = -6*b**3 + 2*b**2 - 6*b + 8. Let q be l(0). Solve 0 = 4*o + q, 2*x - 4*o + 7 = 7*x for x.
3
Let x(n) = -n**3 - 5*n**2 - 5*n - 2. Let k be x(-4). Suppose 0 = 3*r + k*a + a - 72, 5*r = -a + 124. Let j = 27 - r. Solve o = -4*m, o + j*m = -3*o - 14 for o.
-4
Let s = 0 + 3. Suppose -11 = 3*y - u, -4*y - u + 3 = 6. Let z be (57/114)/((-1)/y). Solve 0 = -3*k - 6, s*b + z = -4*k + 2*k for b.
1
Let i(t) = -t + 4. Let u be i(0). Let g = -229 + 245. Suppose g*s - 88 = 8. Solve 0 = o + u*n - 3 - s, 0 = 4*o - 5*n - 15 for o.
5
Let i be ((-912)/(-1520))/(6/20). Solve -3*c + i*p = 10, -12*c + 4*p = -14*c + 20 for c.
0
Suppose 5*r = 4*d - 41, -38*d + 43*d = r + 25. Solve 5*c + 2*h = -18 + 8, 4*h + d = -2*c for c.
-2
Let r(m) = -7*m - 78. Let p be r(-20). Suppose p*t - 17 = 61*t. Solve 4*u - t = 5*k, 5*k = 2*k - 5*u - 25 for k.
-5
Let y(j) = -7*j - 33. Let f be (-1 - -3)*(-20)/8. Let o be y(f). Solve -4*t + 4*k = 2*k + 16, o*t + 3*k + 8 = 0 for t.
-4
Let u be ((-24)/(-144))/(2/36). Solve -t - w = 2*w - 1, 0 = -u*t - 5*w + 3 for t.
1
Let m = -186 - 3. Let q = 191 + m. Solve f + 3*d = 6, 0 = -3*f + 4*f - q*d - 1 for f.
3
Let a = 132 + -123. Suppose 3*k = r - a, k - 10 = -12*r + 8*r. Solve -r*p = -2*n + n - 11, -4*p + 5*n + 33 = 0 for p.
2
Let u be -6 + 0 - ((-36)/3 + 6). Solve -n = 3*o - 10, n + 5*o - 14 = -u*n for n.
4
Let h(v) = v**2 - 14*v + 43. Let l be h(5). Let j be 1*3 - l*(-4 + 6). Solve 0 = 4*d + 5*k - 4 + 19, 3*k = -2*d - j for d.
-5
Suppose 0*g + 3*d = 4*g - 112, 2*d - 117 = -5*g. Suppose -3*v = -2*i + 61, i + 68 = 3*i + 4*v. Let n = i - 27. Solve -q = n*p - g, -q + 11 = 2*q - p for q.
5
Suppose -5*a = -2*k + 404, 0*a + 2*k - 324 = 4*a. Let x = a + 85. Let q = -1 + 3. Solve -6 = -q*l - 2*w, -2 = 3*w - x for l.
2
Let l = -11 + 7. Let i(q) = -q**2 - 3*q - 1. Let z be i(l). Let n(d) = -d - 3. Let a be n(z). Solve 5*r - 25 = 0, a*c + r - 20 = -c for c.
5
Suppose 311 - 63 = 8*x. Suppose -x = -2*i - 5*a - 10, -4*a + 24 = -2*i. Let h be (i - -2) + -4 + 4. Solve -v - y - 4 = -h, 0 = 2*v - 2*y for v.
-2
Suppose -x + 13 = 2*y, 2*y + 0*y - 6 = 0. Suppose -2 = -2*f + 6. Suppose -4*u = -f*u + x*u. Solve -3*c + 3*d - 7*d + 14 = u, 3*c + d = -1 for c.
-2
Suppose 15*z - 20*z = -80. Suppose 8 + 13 = -g - 5*k, g + 4*k = -z. Solve 0 = -4*x + f + 2*f + 14, 0 = 2*f + g for x.
2
Suppose 4*v + 30 = 2*s, 2*v = -s - v. Suppose 6 - s = r. Let x be 4*((-2)/(24/(-51)) + r). Solve -2*w - 3*k = -4*w + 1, 3*k - 11 = x*w for w.
-4
Let g = -236 + 224. Let s be (-3 + (-84)/(-30))*(g - 3). Solve -j - s = x, x + 0 - 5 = j for x.
1
Let h = 291 + 44. Let g = 339 - h. Solve s + g*s = 5*x - 10, -1 = x + 2*s for x.
1
Let j be (-9)/12 - 364/(-16). Solve 8 = -2*s - 4*w, -2*w = -s + 26 - j for s.
0
Suppose -2*m - 1092*d + 29 = -1097*d, 2*m - 4*d = 24. Solve 0 = 4*l - 20, 85*i - 82*i + 7 = m*l for i.
1
Let w(s) = s**3 - 83*s**2. Let a be w(83). Solve -6 = 2*b - 4*k + 4, -5*b + 5*k - 5 = a for b.
3
Suppose -92*b + 5*k - 89 = -94*b, -4*b + k = -123. Solve 7*g = 3*g + 4*z + b, z + 14 = 3*g for g.
3
Let b = -14 + 23. Let n be b/(-12) + (-76)/(-16) + -3. Let j be ((-15)/12*n)/((-6)/24). Solve k - 8 = -k + 5*i, k - j*i = 4 for k.
4
Suppose 0 = 25*m + 585 - 660. Solve 3*a = m*k + 27, -4*a - k - 5 = -21 for a.
5
Let p(r) = -48*r - 2832. Let z be p(-59). Solve 3*n - 2 = 2*s, 4*s - 36 + z = -4*n for n.
4
Suppose 1560 = -4*z - 9*z. Let t = 120 + z. Suppose 2*x - 5*f = -x + 9, -3*f = -x + 3. Solve s + 11 = x*i, t = 3*i + i - 12 for s.
-2
Let p = -100 - -104. Suppose 0 = p*d + 112 - 120. Solve -5*b + d*s = -3, 5*b - 6*s + 2*s = 1 for b.
1
Suppose 2*n = -y - 51, 3*n - 2*n - 153 = 3*y. Let m = y + 71. Suppose -m = -11*t + 57. Solve r - t = 5*u + 2*r, 3*r = -2*u + 5 for u.
-2
Suppose -61*a + 153 = -52*a. Suppose -3*q - 2*w + a = -2*q, 4*q - 2*w = 28. Solve 3*v + 4*z = -4, -q = 2*v - 4*z - 33 for v.
4
Suppose 0*m - 19 = -g - m, -3*g + 58 = 4*m. Suppose 5*f - 4*a - 28 = 0, -f - a - g = -5*f. Solve -f*i - 2*x = -10, 3*i - 10 = -0*i - 2*x for i.
0
Let s = 21208 + -21203. Solve -s*t = 2*y - 18, -7*t = -4*y - 5*t + 12 for y.
4
Suppose -8*v + 85 = -13*v. Let k = 20 + v. Suppose -k*n = -n - 8. Solve -20 = 5*b - 5*a, 0*b + n*a = 2*b + 6 for b.
-5
Suppose 0 = 5*o - 10*o - 3*u + 11, 4*u = 3*o + 5. Solve 4*f - 126 + 154 = 4*n, 5*f - o = -4*n for f.
-3
Let q(h) = -h - 1. Let p(s) = -8*s + 53. Let c(y) = p(y) - 2*q(y). Let k be c(8). Suppose 13*w - 30 = k*w. Solve -5*f = -3*o - 13, -f + 0*o + 7 = -w*o for f.
2
Let r = -57 + 456. Let x = -394 + r. Solve -20 = -5*o + 5*s, -13 - 1 = -x*o - s for o.
3
Suppose 0*a + 3*a - 2*y = 3, -3*a = 3*y + 12. Let w be (a + 19)*(-4)/(-12). Suppose x = -11*x + 48. Solve l + x*s + 10 = 0, -w*l + 9 = -3*l - s for l.
2
Let h(o) = 17*o**2 - 3*o + 3. Let a be h(1). Suppose 3*f = a*f. Solve 3*d - 5*w - 13 = -f*d, 19 = -d - 3*w for d.
-4
Let o = 5016 - 5014. Solve 2*v = -11 + 1, m = v + o for m.
-3
Suppose 3*h = -q - 8, -13 = -4*q - 8*h + 5*h. Solve -l = -3*v - 8, -q*v + 8*v + 3*l + 16 = 0 for v.
-4
Let o = -39 + 61. Suppose -5 = -t, 5*u - o = -t + 8. Let i be (-22)/(-6) - (-2)/6. Solve -i*x + 0 + 16 = -4*h, 4*h - u*x = -20 for h.
0
Let j be 10 + -1 + (-60)/10. Let o(l) = -13*l - 9*l + 7 + 18*l - l**3 - 6*l**2. Let w be o(-5). Solve -w*m + 4*g = -8, 5*m - j*m + g - 8 = 0 for m.
4
Let n = 15 - 8. Let z = n - 7. Let f(j) = j**2 - 5*j + 2. Let b be f(5). Solve q - 1 = -c, b*c + z*c = -q + 4 for c.
3
Suppose 0 = -21*a - 64*a + 425. Solve 0 = -4*v, v = -a*t + 5 + 10 for t.
3
Let c be (-13057)/55 + 3/(-5). Let k = c + 238. Solve -3*q + 4*g + 6 = k, 2*g - g = 5*q + 7 for q.
-2
Let u = -166 - -168. Suppose 5*p = 2*g + p - u, -3*g + 5 = -4*p. Solve w - 5 = -x - g, 6 = 3*x for w.
0
Let n(f) = 5*f - 29. Let s be n(6). Suppose -4*q - 4 = 4*b, 3*b + 5*q = 7*b - 23. Suppose -b*t + 9 = -s. Solve -x - 4 = 6*d - 2*d, 4*d = t*x - 4 for x.
0
Suppose 2*b + 3*b = -150. Let p = b + 21. Let m be (-10)/(-6)*(p + 12). Solve 6 = -3*j - 3*a, 0 = -5*j - m*a + a - 5 for j.
3
Let u(j) = 3*j - 22. Let x be u(-8). Let z = 49 + x. Suppose -m - 3*w = z, 3*m + 2*w + 4 = 2. Solve 2*c - 2*o = -4 - 8, -4*o + 20 = m for c.
-1
Let x(s) = -s**3 + 19*s**2 + 19*s + 22. Let v be x(20). Suppose -2 = o, 4*q - o = v*o + 70. Solve z - u - 6 = -z, 2*u - q = -3*z for z.
4
Let j(u) = -19 + 11*u - 4*u - 3*u. Let i be j(4). Let l be (-6)/(-1)*(-2)/i. Solve -3*d - 4*a = a - 31, l*a - 14 = 3*d for d.
2
Let o(q) = 5*q**2 - 1. Let u be o(-1). Let r be 9*10*6/36. Suppose -d - 25 = 4*t + t, d - 3*t = r. Solve 3*x + u*h + 1 = -3, 2*x + 4*h = d for x.
-4
Suppose -l + 3*w - 25 = 0, -w = 5*l + 4*w + 185. Let r = -6500 - -6471. Let q = r - l. Solve 2*v + 3*j - 2 - 7 = 0, -15 = v - q*j for v.
0
Let s(g) = g**3 - 32*g**2 + 4. Let k be s(32). Solve -2*z - 4*h = -k, -h = 5*z + 2 - 12 for z.
2
Let k = -21 - -37. Let f be (-4 - (-17)/4)*k. Let c be 170/51 + f/(-3). Solve -c*o = -4*t + 2, -3*o = -5*t + 3 - 1 for t.
1
Let t = -12 + 73. Suppose -3*k = -12, 0 = 5*f - 2*f - k - 185. Let n = f - t. Solve -n*b = -7 - 1, 4*s - 2*b + 20 = 0 for s.
-3
Let p be 1*((-17)/14)/(-17) + (-123)/(-42). Solve 3 + 6 = -x - p*v, -2*v = -2*x - 2 for x.
-3
Let r = -149 - 332. Let s = r - -486. Solve l - 3*c - c + 5 = 0, 3*c + 2 = -s*l for l.
-1
Let h(f) = -f**2 + 52. Let y be h(-7). Let m be ((1 - y) + -2 + 4)/(-2). Solve 5*t + 7 = -m*s - s, 9 = -t - 4*s for t.
-1
Suppose p = 26*p - 25. Solve t + p = 5*j - 0, 3*t + 5*j = 17 for t.
4
Let y = 3702 + -3700. Solve y*c - 3*d = 6, 3 = c - 34*d + 33*d for c.
3
Let p be (-1)/((-6)/27) - 9/6. Let m(n) = -3*n**2 - 2 + n + 5*n**p + 2*n**3 - 3*n**3 - 2*n**3. Let d be m(2). Solve b - 13 = 2*s, d*s 