f = -3*s + 2, 0 = 3*f + y*s - 2 for f.
2
Suppose 4*y - 61 = 19. Let l = 7 - y. Let g = -2 - l. Solve 3*s = -4*k + 17, -2*k + 4*k = s + g for s.
-1
Let n be 1 + -5 - 200/(-4). Suppose 0 = 4*u - 3*u - n. Let z = u - 44. Solve 3*q - 23 = 4*o, -9 = -2*o - 3*q + z for o.
-2
Let a = 8037 - 8033. Solve 2*t = -3*p, 0 = 3*t - t + p + a for t.
-3
Suppose -17 = 12*j - 197. Suppose 0 = c + 4*n + 57, -2*c - 53 = 3*n + 41. Let w be c/(-8) + (-2)/16. Solve -q + 2*q = -w*i + 15, -3*q + j = 5*i for q.
0
Suppose -k = -l - 3, 48*l = 47*l + 3*k - 13. Solve -12*m = -14*m + 10, l*m = -r + 14 for r.
4
Let r be (-13 - ((-60)/6 + -6))/((-3)/(-2)). Solve -7*q + 2*q - k = -r, -3*q - 3*k = 6 for q.
1
Let c = 342 + -337. Suppose 3*x - 7*x + d + 21 = 0, c*d = -5*x - 5. Solve 13 = -x*q - 3*y, -3*y - 4 = -2*q - y for q.
-1
Let c = 39990 - 39986. Solve 5*k = 5*v - 35, -28*k + 24*k - 4*v - c = 0 for k.
-4
Suppose -332*f + 335*f = 5*t - 69, -t - 3*f = -3. Solve -5*w - 4*d + 26 = 0, 7*w - 9*w = 2*d - t for w.
2
Suppose 0 = o + 1091*t - 1089*t - 38, 2*o - 60 = -2*t. Solve y - 7*c = -4*c - 8, 3*c + o = -5*y for y.
-5
Suppose 404 - 110 = 2*r. Suppose -2*h = -r - 41. Suppose 103 = 3*x + h. Solve -2 = 2*n - 2*u - 0, x*n = -u + 13 for n.
3
Suppose 5*x = 4*z - 27 - 13, 0 = -z - 3*x - 7. Suppose -300*t - 44 = -311*t. Solve -28 = -2*k + z*h, t*k + 15 = 3*h + 43 for k.
4
Let b be 129 + 2 + -6 + 0. Suppose -64 - b = -3*l. Let y = l - 50. Solve 0 = 5*t - 3*q + 34, q - y = 5*t + 15 for t.
-5
Let n be 9*((-6)/(-8) - (-115)/(-276)) - -4. Solve 4*c + n*z - 4*z - 19 = 0, -c - 5*z + 9 = 0 for c.
4
Suppose -3*t = -4*t + 8. Let a(s) = -3*s + 17. Let m be a(t). Let j(o) = o**2 + 5*o - 11. Let z be j(m). Solve 3*n - 5*h = 13, 0 = z*n + 2*n - 2*h + 10 for n.
-4
Let x(r) = r**3 - 4*r**2 + 5*r + 8. Let g be x(4). Suppose 10 = u - 2*h - 2*h, u + 2*h = g. Solve q + z - 6*z = -28, 5*z - u = -q for q.
-3
Let d = -147 + 77. Let l = 7 + d. Let y = 65 + l. Solve -1 = 3*t - 5*b + 19, -3*b = y*t + 7 for t.
-5
Let t be ((-57)/(-12) + 2)/(6/64). Let x be t/21 - 12/(-21). Solve -3 = x*j + w + 4, -5*w - 15 = 0 for j.
-1
Let x be 8/(-68) + 18 + (-944)/68. Solve 0 = -5*c - 3*m + 3 - 5, x*c - 2*m - 16 = 0 for c.
2
Suppose 27 - 2 = 2*t - 5*p, 5 = -p. Solve -4*z - 20 = t, 7*v + 30 = 2*v - 4*z for v.
-2
Let m be 23 + (-4727)/203 - 16/(-7). Solve 0 = x - m*a + 9, -78*a + 5 = -77*a for x.
1
Let j be 5/(-5)*3 - (-234 + 3). Suppose -13*f - j = -25*f. Solve 3*a = -2*a - q - f, -3*q + 3 = 0 for a.
-4
Suppose 0 = 3*c + 4*n - 6*n - 320, 4*c + 3*n = 438. Suppose 0 = 12*m - 16*m + c. Suppose 15 = -4*w + m. Solve 0 = i - w*z + 7, 0 = -5*z - 0 + 5 for i.
-4
Let u = 1950 - 1948. Solve -7*n + 16 = 4*q - 11*n, 0 = 2*q + 3*n + u for q.
2
Suppose 7 = -5*y + 11*d - 14*d, -y + 17 = -4*d. Let o be (4 - y)/(-3)*(-2 + -9). Solve l - 4*g - 7 - o = 0, 5*l = 4*g + 10 for l.
-2
Let q = -35 - -30. Let s(t) = -t**3 - 4*t**2 + 3*t - 6. Let c be s(q). Let y be (2 + c)*12/18. Solve 1 = 3*d - y*u, 2*d - u - 2 = 3*d for d.
-1
Suppose -q + w + 0 = 2, -16 = -4*w. Let u = 3182 - 3180. Suppose 0 = 3*b + c - 0*c - 38, q = -u*c. Solve g + 4*l = -g - 16, 5*g = -l - b for g.
-2
Suppose l + 48 = 5*l. Let t = 2455 - 2452. Solve -4*s = s + g - 20, -g = t*s - l for s.
4
Let u(q) = q**2 - 31*q + 60. Let h be u(29). Suppose 0*r + 5*r - 4*p = 24, 0 = -r + h*p + 6. Solve -5*o = r*a - 27, -o + 5*a = -8 + 20 for o.
3
Let a = -12715 + 12817. Solve 7 = -2*z - 5*o, -100*z + a*z + 3 = -o for z.
-1
Let t = -165 - -160. Let p be t*(72/20 + -4). Solve 2*h = 5*h + r + p, 20 = -4*r for h.
1
Let v = -30251 + 30263. Solve -2*a = 2*o + 6, -16*o = 3*a - v*o + 14 for a.
2
Suppose 10*i - 12*i = -43*i - 4*i. Solve -2*o + 9 - 12 = x, i = -o + 5*x + 26 for o.
1
Let v = 323 - 239. Let o = -80 + v. Solve -5*l - 1 = -2*l - o*j, -4*l + 2*j + 12 = 0 for l.
5
Suppose -4*h + 25 = y, -8*y + 25 = -3*y. Solve -27 = h*c - 3*t, -17*t + 16*t = 4*c + 8 for c.
-3
Let g be 4 - (1 + -10 - (-30 + 17)). Solve -11*l + 18 = -7*l - 2*f, g = -2*f + 2 for l.
5
Suppose 77*m = -394*m + 1675 + 9158. Suppose 2*a - 6*a = 4, y = -5*a. Solve -5*l + 10*v - y*v - 35 = 0, -v = 5*l + m for l.
-5
Let s be (-4)/(-6)*((-609)/14)/29 - -6. Solve 2*c - v - 8 = 0, -s*v = 5*c - 0 + 10 for c.
2
Let v be (-28 + 28)/((5 - 1)*14/(-56)). Solve v = 3*m - 3, m = -5*p + 6*p + 6 for p.
-5
Suppose -5*d + 1 = -9. Suppose d*b - 14 + 0 = 0. Suppose 7*f + 2*s + 32 - 39 = 0, -3*s - 18 = f. Solve -2 = -2*v, -v + f*v = -o + b for o.
5
Suppose -2*a + 6*a = 60. Suppose 43*b = 29*b + 826. Suppose 3*y - 3*j - b = -y, y - a = j. Solve 11 = 3*k + 4*x, -3*k = 4*x - 3*x - y for k.
5
Let n(r) = -r**3 + 8*r**2 + 20*r + 12. Let i be n(10). Suppose 0 = -5*q + 13 + i. Let y be (q/(-4) + 1/4)*-3. Solve -4*z + y = -3*d + 6, 0 = d - 5*z - 1 for d.
1
Suppose 2*x + 5*o = 31 + 4, 0 = 2*o - 10. Solve x*r = 2*t + 8, -r + 18 = -3*t + 19 for t.
1
Suppose 49*y = 12*y. Suppose -h + y*a = a - 26, 0 = 3*h - 3*a - 78. Solve 3*v + h = 2*v - 5*w, w = -5 for v.
-1
Suppose 0 = -33145*a + 33139*a + 186. Solve 49*w + 3*h - a = 45*w, 5*h - 21 = w for w.
4
Suppose 4*m = 12 + 4, 3*q + 3*m + 24 = 0. Let h be ((-4)/q*6)/1. Suppose 3*c - 4 = -h*c + p, 0 = 4*p - 4. Solve 7 = -2*d - c, 0 = -3*v + 3*d + 9 for v.
-1
Let d(v) = -252*v + 1514. Let h be d(6). Solve -2*l + 2 = -l - r, -4*l = -h*r - 12 for l.
4
Suppose 23*s - 15*s = 192. Suppose 28*r = s*r + 32. Solve 4*q + 20 = 0, q + 3 = 5*u + r for u.
-2
Let k(a) = -7*a - 81. Let i be k(-12). Suppose -17 = -4*m + i*x, 0 = 4*m + 6*x - 2*x - 24. Solve 0*q - m*q - 2*t = -1, -2*t + 7 = -q for q.
-1
Let o be (-4779)/(-135) - 6/(-10). Suppose -44 + o = -4*r. Solve -4*f = r*q - 6*f - 4, 2*f = -3*q + 1 for q.
1
Let t be ((-9)/12)/((5/(-44))/5). Let x = -19 + t. Let n(s) = s**3 - 15*s**2 + 14*s + 3. Let r be n(x). Solve 10 = 5*i, 7*i - r*i - 8 = d for d.
0
Let i be (2 - (0 + 0))/(100/7600). Let b = 153 - i. Solve b + 8 = -m - 4*w, -4*m - 6 = w for m.
-1
Suppose l + 5*s = -17, -196*l + 3*s + 21 = -193*l. Solve -n + 5*g - 6 = 0, -8*n + 3*n - l*g - 2 = 0 for n.
-1
Suppose 0*s = -3*s + 1332. Suppose 13*b = b + s. Let y = -31 + b. Solve 0 = -3*w - i + y, -2*i + 1 = 3*w - 5 for w.
2
Let l be (-264)/(-216)*9 + 10. Solve -2*u - l = -4*b - 31, -5*b = 0 for u.
5
Suppose -56*o + 67*o - 55 = 0. Suppose 0*z + 4*h = -4*z, -o*h = 0. Solve z = 4*r - 5*d + 4 + 37, 4*r - 4 = -4*d for r.
-4
Let a(o) = o**3 - 6*o**2 - 3*o - 9. Let d be a(7). Let j = -516 + 538. Let n = j - d. Solve -13 = 2*w + n*p, 0 = -5*p - 4 - 1 for w.
-5
Let g = -252 + 356. Let k = -88 + g. Solve 0 = -3*t + 12, -5*f - 13 = -t + k for f.
-5
Let f(z) = 2*z**3 + 43*z**2 + 201*z. Let i be f(-7). Solve -3*d = 2*n - i + 7, 0 = 4*d - 20 for n.
-4
Suppose -17*w = -5*y - 19*w + 3231, -3237 = -5*y + w. Suppose y*f + 32 = 655*f. Solve 2*d = -f*j + 16, 7*d - 4*d - 8 = 2*j for d.
4
Let l = -44 + 47. Suppose -333 = 4*s - 2*w + 7*w, 4*w - 78 = s. Let i = s - -85. Solve -l*a = -3, -u + 3*a + i = 4 for u.
2
Let f(q) = 3*q**3 + 21*q**2 - q - 5. Let n be f(-7). Solve -2*m - n*w = 4, 0 = 14*m - 10*m - 4*w + 16 for m.
-3
Let h(k) = -94*k - 67. Let l be h(-2). Suppose 11*g + l = 319. Solve 4*v = 5*i - 5, 0 = -2*v - 2*i + g + 2 for v.
5
Suppose 4*j - 3*v = 29, 4*j + 3*v = -v + 8. Let d = 75 + -63. Suppose 3*s - 2*s - d*s = 0. Solve -2*q + 0*q + 1 = 5*c, s = -j*q + 15 for c.
-1
Let s(h) = -41*h + 210. Let b be s(5). Suppose 15 = 2*z - 3*z + 4*f, z - 2*f = -b. Solve z - 2 = 3*l + 3*r, 3*l + 21 = 5*r for l.
-2
Let a(r) = 25*r + 50. Let x(n) = 6*n + 12. Let k(j) = -4*a(j) + 18*x(j). Let w be k(0). Solve 0*p - 2*h = -2*p + 12, w = -4*h for p.
2
Let q(x) = 3*x - 10. Let v be q(4). Suppose -5*w = -k - 10, -k + 1 = v*w - 3. Solve -4*r = y, -19 + 5 = w*r - 3*y for r.
-1
Let m = 9082 - 9080. Solve 0 = 2*n - m*i, n + 11 = -2*i + 20 for n.
3
Let d be 2/(-6)*(15/1)/(42 + -43). Solve d*f = -4*r + 24, -5*f - 9*r + 6*r = -23 for f.
4
Suppose -5*g = -6 - 9. Suppose 0 = -c - 2*q + 14, 5*q = -3*c - c + 41. Let t be (c + -2)*1 - (-6 + 5). Solve -d = l - g, 3*l - 6 = d - t*d for d.
3
Let b = -18279 - -18294. Solve -3*a = -3*v + 15, 3*a + 14 = -v + b for v.
4
Let w = 3625 + -3617. Solve -5*y + 5*g - 10 = 0, 4*y + 5*g - 20 - w = 0 for y.
2
Let t(k) = -k**3 + k**2 + 4*k + 4. Let g be t(3). Let r = 36 + g. Suppose -r = -9*z + 11. Solve 2*j - z