m - 10 = -5*l, a = 3*l - 2*m - 3 - 1 for l.
-2
Let y = 21829 + -21829. Solve 3*i - 5*r + 15 = 8*i, y = -4*i - 5*r + 11 for i.
4
Let h = 318 - 312. Suppose b + 2*v = -4*b - h, 3*v + 9 = -5*b. Solve b = 3*t - 2*w - 13, 0 = -3*t + 4*w + 20 + 3 for t.
1
Let v = -531739 - -531743. Let k(q) = 3*q + 2. Let w(y) = 1. Let s(f) = -k(f) + 3*w(f). Let j be s(-1). Solve 3*p + p = j, -2*r = v*p - 10 for r.
3
Let q(m) = m + 7. Suppose -4 = 23*f - 24*f. Let y be q(f). Let j be (-2)/(-3) + (-13)/(-3). Solve -5*h + 3*u = -u - 3, 3*u + y = -j*h for h.
-1
Suppose 7*j - 9*j - 4*t - 4 = 0, -5*t = 30. Solve j + 5 = -5*c - 4*x, 3*c + 9 = 2*x for c.
-3
Suppose 5*j - 7*j + 18 = 0. Let s be j/3 + -2 - -13. Suppose -5 = -5*y, -y = 3*g - 5*y - s. Solve 5*a - x = 2*x + 10, 0 = 3*a + 3*x - g for a.
2
Let i = 773 - 769. Solve -y + 10 = 4*y - i*c, 0 = -4*y + 5*c + 17 for y.
-2
Let p = -20486 - -20515. Solve -v + 8 = m, -14*v - p = -17*v - 4*m for v.
3
Suppose 149 - 92 = 3*w. Solve k + 3*t - 2 = 0, -w = -2*t - 15 for k.
-4
Let o be 7*(-6)/30*-10. Let n be (-2 - -2)/(o + -7 + -6). Solve n = 4*s - 8, 5*x - 3*s - 23 = -9 for x.
4
Let p = -3598 + 3606. Solve p = m + m + 2*b, 4*b - 20 = 0 for m.
-1
Let v(p) = -7*p + 66. Let z be v(10). Let w = z + 6. Suppose 2*b + 2 = -8, 5*s = -4*b. Solve s - 1 = -y, 4*y + 16 = w*k for k.
2
Suppose -w - 1 + 29 = 6*w. Solve -5*i - 26 = -2*g, w*i + 4*g + 75 - 71 = 0 for i.
-4
Suppose -3*b - g = -2*g - 6, -2*g + 18 = 4*b. Let n = -8 + 11. Suppose 69 = 4*l + n*z, -l = l - 2*z - 52. Solve -3*r + 4*m = -10, r + 4*m - b = -l for r.
-2
Let q(z) = z**3 + 9*z**2 + 5*z - 18. Let b be q(-8). Let s be 26/b + (-12)/36. Solve 3*y + 5*m + 21 = -y, 3*y - s*m + 8 = 0 for y.
-4
Suppose 0 = -d, 6*d + 6 = p + 3*d. Solve -3*n = p*x - 2*x + 17, -5*n = 4*x + 23 for x.
-2
Suppose -4*l + 85 = -3*o - 0*o, -3*l = -o - 65. Let p be 2*(-3)/(-12)*l. Let b = -23 + 52. Solve 3*n = 3*a, -a + p - b = 5*n for n.
-3
Suppose -8*k = -5 - 75. Suppose -5*y - k = 5*l, 0*l - y = 2*l + 2. Suppose l*w - 4*z - 28 = -2*w, 5*z + 37 = 3*w. Solve w*u + 8 + 3 = -3*h, -u = 4*h - 7 for h.
3
Let k(s) = -s**3 + 20*s**2 + 10. Let p be k(20). Suppose 6*v = v + p. Let a(r) = 6*r - 10. Let t be a(v). Solve -i - 9 = -2*l, -l + 2*l - t*i = 12 for l.
2
Let i = -5643 + 5647. Solve -33*f + 30*f + 5*u + 24 = 0, -i*f + 5*u = -27 for f.
3
Let n be (-6)/(-4)*(-80)/(-60). Let i be 1/n*(-15 - -15). Solve 2*r = 2*b - 3*r - 19, i = -4*b + 5*r + 23 for b.
2
Suppose -287 = -9*g + 343. Suppose -g = -26*b + 86. Solve 5*p + o = 11, 4*p - 4*o + 2 = b for p.
2
Suppose 113*r + 45 = 122*r. Solve -4*c - 3*h = -15, -c - r = -0*c - h for c.
0
Suppose -75*z - 122 = -272. Suppose -4*p = -9*p + 15. Solve 2*j + z*c - 5 = -j, 1 = p*j + c for j.
-1
Let j be -4 + 60/16 - 8/(128/(-84)). Let u = -1 - -3. Solve -4*p + j*t + 0 = -u, 0 = -2*p + 4*t + 4 for p.
-2
Let l be 3/2*11/(165/2260). Let q = l + -221. Solve -2*p - 2*t = -5*t + 10, -3*t + q = -p for p.
-5
Let b be (-3825)/(-50) + -2 - (0 + 3/6). Solve -3*k + b = -4*r + 78, -12 = -2*k - r for k.
4
Let n(w) = 2*w - 22. Let b(y) = y**3 - 30*y**2 + 2*y - 49. Let d be b(30). Let k be n(d). Solve -22 = 4*g - 3*o - k*o, 3*g = o - 14 for g.
-4
Suppose -7*u = -151 + 536. Let m = u + 57. Suppose -m*l = -l - 19. Solve 5*z + l = -b, b + 0*b = 2*z + 9 for z.
-4
Let n(c) = 59*c + 2836. Let x be n(-48). Solve -z = x*k - 5 - 7, 3 = k + 5*z for k.
3
Suppose 337*r - 340*r + 15 = 0. Let s = 1 + 1. Suppose 15 = s*h - h - 5*l, 5*h - 15 = r*l. Solve 5*d - 2*c + 25 - 3 = h, -d - 2 = 2*c for d.
-4
Suppose 29*k - 114*k = -170. Solve -5*a + k - 15 = 3*c, 0 = -2*a - 4*c + 6 for a.
-5
Suppose -4*u = -4*j - 12, -22 = -j - 9*u + 5*u. Solve -5*i - j*d - 2*d - 2 = 0, -12 = 3*i - 3*d for i.
-2
Suppose 38 = -4*v - 14. Let z be v/((-20)/6 + 3). Let c be (1 + -4)*(-13)/z. Solve c = -2*d + 3*a, 2*a = 3*a + 1 for d.
-2
Let f(w) = -2*w**3 + 32*w**2 + 70*w + 38. Let k be f(18). Solve -4*b - 20 + 6 = -k*o, 3*o = 2*b + 1 for b.
-5
Let u(a) = a**2 + 73*a - 225. Let h be u(-76). Solve 7 = 4*l + 19, 0 = -h*o - 5*l - 21 for o.
-2
Suppose 4*i = -4*s + 16, 5*i - 2 = s - 0*i. Let b be (-1 - 1) + s + 1 + 30. Let o = b + -30. Solve -o*f = -4*l - 8, -5*f - l = 1 + 12 for f.
-2
Let l = 1 - 0. Let s be l/1 - 8/(-2). Suppose -271*c + 1146 = 80*c + 444. Solve -u - 14 = -c*u + 2*j, -15 = -s*u - j for u.
4
Let z(m) = m**2 - m - 19. Let h be 70/(-245) - (-37)/7. Let n be z(h). Solve -g + 0 + n = -2*v, 4*v - 4*g + 12 = 0 for v.
2
Suppose -263*f = -259*f - 24, 4*f = 3*h + 24. Solve h = -5*l + 5*v + 30, 25*l + v - 4 = 21*l for l.
2
Suppose -p - 11*p + 72 = 0. Suppose -b + p = -2*q + 19, 17 = 3*q + b. Solve i + 3 = -0*i, 3*v - i - q = 0 for v.
1
Let g = -270 - -273. Solve -2*z - 8 = -g*p, 0 = 2*z - 24*p + 19*p + 12 for z.
-1
Let l = -759 - -1285. Let x = 526 - l. Solve o + 1 = x, -2*o + o - 2 = -n for n.
1
Suppose 0 = -482*i + 481*i, q + 3*q - 12 = 5*i. Solve 0 = -3*o + 3, -q*w + 7 - 5 = -o for w.
1
Suppose 286*b - 1400 = 6*b. Solve -b*n + 3*h = 3, -30*h = -2*n - 28*h + 2 for n.
-3
Suppose 5*g = 2*g + 66. Let s = g + -11. Let l(q) = q**3 - 2*q**2 - 7*q + 5. Let n be l(-2). Solve -n*y - 12 = f, 5*y - 2*f + s = -9 for y.
-4
Let q(c) = -c**2 - 28*c + 35. Let z be q(-22). Let b = -163 + z. Solve -1 = f - 0, 0 = -n - b*f - 6 for n.
-2
Suppose -42830 = 20*f - 42890. Solve v = 3*m - 2, 13*v - f = -m + 11*v for m.
1
Let s(v) = 139*v - 2917. Let h be s(21). Solve 10 = -r - 3*a, 21*r - 23*r - h*a = 4 for r.
2
Let p = -25 + 10. Suppose t + 25 = -5*s, 20*t + 4*s + 41 = 15*t. Let q be 1 - t/p*-3. Solve 35 - 10 = -5*u, 0 = -4*w + q*u + 18 for w.
2
Suppose -27*h + h = 42*h - 2380. Let r = -3 - -5. Suppose -s + 13 = 3*a, 25 = 3*a - 3*s - r*s. Solve -2*v - h = v + a*m, -4*v - 3*m = 32 for v.
-5
Suppose -12*v - 120 + 168 = 0. Solve -4*x + m = 23, -5 - 12 = v*x + m for x.
-5
Let b = 115 - 217. Let n(q) = -q**3 - 25*q**2 - 86*q - 3016. Let s be n(-26). Let v = b - s. Solve r + v*i - 9 = -0*i, 4*r = 2*i + 16 for r.
5
Let a(h) = 615*h + 1238. Let u be a(-2). Solve -4*v = 4*m - u, 4*m + 8 = -0*m + 4*v for m.
0
Suppose -2 - 7 = -3*u. Let d(z) = 142*z - 211. Let r be d(3). Let b = 219 - r. Solve -b*a = 2*p + u*p + 12, 0 = 2*a - p + 6 for a.
-3
Suppose 297*k - 1408 = -47*k + 312. Suppose 26 = -2*c + 4*c. Solve 0*o + 2*g - c = o, 2*o + k*g - 19 = 0 for o.
-3
Let z(o) = 2*o**2 + 45*o - 19. Suppose 0 = 6*i - i - 10. Let u be 1 + i + -31 + 5. Let h be z(u). Solve 0 = 4*w - 2*n - 22, n - 2 = h*w - 21 for w.
4
Suppose 19*k + 4*u = 71, -3*k - 3 = -0*u + 3*u. Solve q + 4*r - 8 = 0, 9*q + 2 = k*q + r for q.
0
Let g be (10*14/35)/((-2)/(-30)). Suppose -5*b + 15 = -5*q + g, 4*q - 8 = -3*b. Solve -5*c = -6*t + 2*t + 21, -10 = q*t + c for t.
-1
Let r = -11222 - -11223. Solve 18*w - 19 = -3*l + 23*w, 0 = -3*l - 4*w + r for l.
3
Let c = -19126 + 19131. Solve 2*a - 6 = 0, 7*q = 6*q - c*a + 17 for q.
2
Let w be (-13)/13*-23 + (1 - 0) + -6. Solve -20 = 4*q + q + a, -q - 3*a - w = 0 for q.
-3
Let a = -97701 - -97717. Suppose -3*l = -2*v + 6, -2*v + 5*v - 9 = -2*l. Solve -2*m = -v*p - a - 3, 4*m - 23 = p for m.
5
Suppose -15*x = -14*x + 264. Let h = x + 183. Let b = 84 + h. Solve 0 = -2*s + b*i + 1, 3*s - 2 = 4*i - 0 for s.
2
Suppose 3*p - 58 = 2*p + 2*l, -5*l - 73 = -p. Let s = -44 + p. Solve 5*n - 5*i = -4 - 11, -i = s*n - 3 for n.
0
Suppose 27 = -75*w + 66*w. Let s be w*(-4 - 5/(-3)). Solve s*i = 2*t + 5*i - 4, -2*i + 2 = 0 for t.
3
Suppose d = -5*z + 37, 7*d = 5*z + 6*d - 33. Solve -15 = z*x - 9*x - 5*k, 4*x - 5*k = -15 for x.
0
Let h = 645 + -681. Let d(l) = -l**3 + 3*l**2 - 4*l + 1. Let w be d(4). Let x = w - h. Solve 2*g + 5*q = -21, 0 = x*g - 2*g + q - 1 for g.
2
Let t be 9 - (-2)/((-1)/(5/2)). Solve 2*r = -r + 4*z - 32, 2*r + t*z = 12 for r.
-4
Suppose -5*l - 3 = 2. Let t(y) = 3*y**2 - 2*y - 1. Let b be t(l). Suppose 9*p - 8 = 10. Solve q + b*w = 2, -5*w = -p*w for q.
2
Suppose 85*x - 266*x = 107*x - 864. Suppose 0*z = -4*z + 20. Suppose 4*k - 26 = -2*y, 0 = z*k + 9 - 29. Solve -y*g = 3*w + x + 8, g + 13 = 3*w for w.
3
Let l(r) = -56 + 475*r**2 - 946*r**2 + 470*r**2 - 32*r. Let x be l(-30). Solve 2*q = -d - 5, d + x*q = -3*d - 12 for d.
-1
Let g = -306 - -308. Suppose 708 = g*n + 678. Solve -5*a + 4*b + 45 = 0, b = -0*a + 2*a - n for a.
5
Let w be -17 + 9*(-85)/(-45). Solve 0 = y