 be w(-4). Solve a + t = v*a + m*f, 0 = -f + 4 for a.
-2
Suppose 12*d = -0*d + 24. Solve 0 = 3*t + 7*l - 2*l + 35, 0 = -5*t + d*l - 17 for t.
-5
Suppose -3*s = s, 3*s = -3*d. Suppose d*x = 4*x. Suppose x = c + 4*n - 1, 3*c + 2*n + 0*n - 13 = 0. Solve 3*j = -3*o + 3, -c*j - o + 5 = 2*o for j.
1
Suppose -z - 4 = 3*j + 28, 10 = -2*z. Let b = j - -13. Suppose -62 = -4*g + 2*m + 38, 0 = -3*g - b*m + 53. Solve 4*s + g = 5*v, -v - 2*s = v - 2 for v.
3
Suppose -52*x + 99*x = 0. Solve 5*c = 5*m + 4*c, x = 5*m - 2*c + 5 for m.
1
Let d(m) = -27*m + 137. Let i be d(5). Solve q - 13 = -i*y, 0 = 2*y + 12*q - 7*q - 33 for y.
4
Let u(n) = 4*n. Let s be u(0). Suppose 0*y + 5*y - 70 = s. Solve -3*p - 1 = -w - y, w = -5*p + 19 for p.
4
Let m be (-2)/(1/((-3)/2)). Suppose -l + m*l = l. Solve -2*g = 2*o + 5 - 3, l = 4*o + g + 7 for o.
-2
Let z(u) = 6*u**2 + 5*u + 1. Let c(r) = -r**2 - r. Let w(o) = 5*c(o) + z(o). Let d be w(1). Solve 2*p + 10 = -2*b - 0*p, 2*b = d*p - 10 for b.
-5
Let r = -804 - -815. Solve 0 = 2*q + f + 3, -6*q - r = -2*q - 3*f for q.
-2
Suppose 2*u = -q + 7, -13*q + 21 = 5*u - 14*q. Solve -4*f - 12 = 0, -5*o = u*f - 0*f + 22 for o.
-2
Let g be 3*((-25)/3 - -2). Let f be (-12)/16 - 1776/(-64). Let d = g + f. Solve 2*k + 2*v = -v + d, -4*k - 16 = -2*v for k.
-2
Let t = 122 - 120. Solve -3*c = -0*c + t*b - 5, -b = 2*c - 2 for c.
-1
Suppose b = 3 - 0. Let s be (-2)/3*5319/(-394). Solve -2*a + t = -3, -b*a + 8 = t - s for a.
4
Let v be 11 - (-4 + 5) - (2 + 0). Let t(o) = 0 - 10*o**2 - 8*o + 4 + 11*o**2. Let u be t(v). Solve d = u*j - 7, -2*j - 5*d - 18 = -5*j for j.
1
Suppose -4*i - 4 = 0, i - 2 = -5*m + 2. Let b(u) = -u + 1. Let j be b(-3). Solve 2*z - j*k + m + 3 = 0, z + 9 = -5*k for z.
-4
Let s be 173/9 - 6/27. Suppose -3*m + 3 = 0, 13*m + 9 = 4*b + 10*m. Suppose 5*h = 5*r + b*h - s, 0 = 4*h + 8. Solve -2*z + 0*z + 4 = -u, -r*z = -2*u - 7 for u.
-2
Suppose 2*h = -4, h - 2*h + 46 = 3*j. Suppose 3*u = 5*u - 82. Suppose m + u = 45. Solve 3*p = -m*g + 31, j = 2*g + 2*g for p.
5
Let i = -421 - -425. Let h(b) = -b**2 - 6*b + 4. Let j be h(-6). Solve 0 = -2*o - j*f - 18, f = -o + i*f + 6 for o.
-3
Let m = 0 + 0. Let n = -86 + 88. Suppose 10 = -m*t + n*t. Solve -4*b - 2*d - 23 = -3, -b - t*d - 14 = 0 for b.
-4
Suppose -67*x + 66*x + 5 = 0. Solve -7*u + 2*u - 4*w + 4 = 0, -40 = -5*u + x*w for u.
4
Let p = -36 + 44. Solve 3*c + p = c + 4*s, 5*s - 5 = 0 for c.
-2
Let c be (4/(-3) + 0)*945/(-70). Suppose -2*d - 4*d = -c. Solve d*m + s = -13, 3*m - 2*s + 19 = -0*s for m.
-5
Suppose 45*x + 34 = 62*x. Solve 0 = -o - x*o - 5*p - 32, -4*o = p + 20 for o.
-4
Suppose -2 = -23*y + 22*y. Solve -5*q - 10 = 5*u, 2*q - 17 = u - y*q for u.
-5
Let k(z) = z**2 - 70*z + 138. Let t be k(2). Solve 4*f + 0*r + t*r - 20 = 0, 3*f - r = 10 for f.
4
Let j = -20 + 23. Let q(p) = -5*p - 8. Let s(a) = -6*a - 7. Let x(k) = -5*q(k) + 4*s(k). Let f be x(0). Solve f = j*z, 2*z = 2*v - z + 8 for v.
2
Suppose 10 = k - 4*s, 8*s - 12*s - 18 = -5*k. Solve 4*v = 0, -k = -2*n + 5*v + 4 for n.
3
Let q(u) = -u**2 - 65*u + 278. Let p be q(4). Solve 2*s - 20 = c - p*s, -3*c = -3*s + 15 for c.
0
Let n(i) = i + 3. Let d be n(2). Suppose 9*b = d*b - 72. Let v be 2/(-9) - 76/b. Solve 2*j - v*p = -5*p + 11, j + 2 = p for j.
3
Suppose -5*o = -o + 216. Let b = -51 - o. Solve 3*j - 9 = b*h, -2*j - 3 - 1 = 3*h for h.
-2
Let f be ((-300)/375)/((-1)/25). Solve 5*k = 5*z - f - 30, -4*k - z = 15 for k.
-5
Let x(u) = -u**3 + 14*u**2 + 25*u + 117. Let r be x(16). Solve 0 = 5*a - 4*s + r*s + 20, 2*s + 12 = -3*a for a.
-4
Let i(f) = -f**3 + 16*f**2 - 29*f + 22. Let v be i(14). Solve 0 = -5*k + 2*n - 8, -4*k - v = -9*k - 2*n for k.
0
Let d(b) = -2*b**2 + 3*b + 2. Let q be d(0). Solve 4*g + 20 = -g + c, g - q = -c for g.
-3
Let n be 32/24 - (-44)/(-6). Let v be n/9*(2 + 39/(-6)). Solve 6 = -p - v*x - 0, 2*p = 3*x + 6 for p.
0
Let x = -33 + 54. Suppose -4*t - 5*j + x = -0*j, -4*j = t - 8. Solve -n - 4*i - 10 = t*n, -3*n + 21 = -3*i for n.
2
Let i = 15 - 10. Let w = -9677 - -9679. Solve k - w = -2*k - z, -i*k - 30 = -5*z for k.
-1
Suppose 5*f - 7*o = -8*o + 95, 3*o - 85 = -5*f. Let l be f/40 - (-5)/2. Solve -5*g + 0*x + 19 = -x, -l*x - 12 = 0 for g.
3
Let c = 20 + -9. Suppose -c*z - 17 = -39. Solve -2*w + 14 = -2*f, 5*f + 26 = z*f + 4*w for f.
-2
Suppose 8*d - 15 = 3*d. Let u be d/6*(-16)/4. Let k(n) = -n**3 + 2*n + 1. Let t be k(u). Solve -3*p - 6 = 5*r - 19, -5*r + 5*p + t = 0 for r.
2
Suppose -3*m + 2*b + 8 = 0, 2*m + 5 = -2*b + 17. Solve -m*s - a + 5*a = -8, 0 = -5*s - 2*a - 18 for s.
-2
Suppose 812*g - 32 = 804*g. Solve -5*o - 2*v - 18 = 0, -9*o - 20 = -7*o + g*v for o.
-2
Suppose 5*o - 2 = k - 3, -29 = -4*k - 5*o. Let z be (-10)/k + 1 + (-112)/(-24). Solve z*h = 2*g - 12, -5*h + g + 2*g = 16 for h.
-2
Suppose -20 = -2*m - 30. Let k be 3*(-5)/(m/3). Solve -2*l + l + 2*h - 7 = 0, -h + k = 5*l for l.
1
Let r be 2/(-2)*(0 + 2 + -7). Solve -r*o - 5*q - 35 = 0, 2*o - 1 = -3*o + 4*q for o.
-3
Let b be 2 + (-1)/2*(7 + 3). Let f(m) = -m**3 - 3*m**2 - 3*m - 4. Let t be f(b). Solve q + 0*j = j + 2, -30 = -5*q - t*j for q.
4
Let k(o) = -2*o**2 - 51*o + 34. Let c be k(-26). Solve 12 = -x - 3*y, -2*x + 4*x - 2*y - c = 0 for x.
0
Let x(q) = -q**2 + 14*q - 11. Let n be x(5). Let f = -26 + n. Solve 4*c + 6*d = 2*d, -5*c - d + f = 0 for c.
2
Let b(w) = -2*w**2 + 18*w - 10. Let d be b(8). Let p be (2/d)/((-2)/(-54)). Solve 3*h + g + 5 = -p, -g = -1 for h.
-5
Let y be (39 + -31)/(1 - -1). Solve 3*h = -y*x + 17, 3 = -2*h - h for x.
5
Suppose -4*c + 2*c = -10. Let n(w) = w**3 + 9*w**2 + 16*w + 3. Let h be n(-9). Let t = h - -141. Solve t = c*v + 10, 2*g + 2*v = 4*g + 4 for g.
-4
Let o(k) = 11 + 2*k**2 - 12 + k + 3*k**2. Let m be o(-1). Solve -5*v = 6 + 4, -m = -f + v for f.
1
Let s(f) = f**3 + 6*f**2 + 5*f + 2. Let z be s(-5). Let h be (6 - z) + 5*(-6)/(-30). Solve -h*p + 0*u + 3 = u, -2*p - 2*u = -6 for p.
0
Let q(l) = l - 13. Let x be q(16). Suppose 4*c - 2*u - 6 = 0, -2*u + x = -5*c - 3*u. Solve 4*w = -4*j - 16, 2*j + 14 = -5*w - c*j for w.
-2
Let p = 7 - 3. Let r(d) = 3*d**2 - 9*d - 3. Let k be r(p). Solve -4*m + k = 5*q, 2*m + 13 = 2*q - 5 for m.
-4
Let u = -69 - -72. Solve 2*a - 2 = 2*q + 6*a, u*a = -3*q - 3 for q.
-1
Let f = -206 - -214. Let q = -20 + 55. Solve 5*c - 17 = -n, 3*n = f*n - 5*c + q for n.
-3
Suppose -w - 420 + 423 = 0. Let x = 23 + -14. Let c = 43 + -26. Solve 3*h - c = -4*k, 0*k + w*k = -h + x for k.
2
Let h(m) = 2*m - 7. Let z be h(6). Let t = -10 + z. Let b = -2 - t. Solve -2*v - 9 = -3*p, -p + 3 = v - b*v for p.
3
Let t(i) = -3*i - 11. Let g(m) = -m - 4. Let a(b) = 8*g(b) - 3*t(b). Let j be a(1). Suppose -214 = -39*l + 59. Solve 5*n - 4*s = -s - l, n = j*s for n.
-2
Suppose -4*j - 5*a - 27 = -7, 2*j + 5*a = -20. Solve 4*r + 5*x + 7 = -0*x, -3*r - x + 3 = j for r.
2
Let c be ((-24)/18)/((-4)/3 - -2). Let p(k) = -3*k**3 - k**2 + 6*k + 7. Let f be p(c). Solve 2*b + f = -5*x - 12, -4*b = -x - 1 for x.
-5
Let z = -3245 + 3247. Solve -5*u + 10*u - z*x = 11, 3*u = -3*x - 6 for u.
1
Let t = -12 + 14. Suppose 2 = t*h - 2. Suppose 0 = -5*a + h*a. Solve 7 = -2*s + j, a = -s + 3*s + j + 5 for s.
-3
Suppose 0 = -12*i - 3 + 51. Solve n + 2*c = -2*n - i, -5*n - 3*c - 8 = 0 for n.
-4
Suppose h + 64 = 5*y - h, -2 = -y + 4*h. Let j be (-8 - -2) + 12 + -12. Let m = j + y. Solve -2*n - 5*x - 33 = 0, -n + m = -3*x - 3 for n.
-4
Suppose -3*t + 2*h = -h + 6, 2*t + 2*h = 4. Suppose -z - 2*r = -3, 3*z + t*r - 9 = r. Let d be ((-8)/4 - -2)/(-5). Solve l - 1 = d, 5*u = z*l - l - 27 for u.
-5
Suppose -2*n - 2 = -10. Suppose n*z - 2 = 6. Solve -2*u + 4*k - 3 = 3, 2*u - 2 = z*k for u.
5
Let x = 212 - 210. Solve -3*v = x*t - 9, -4*v + 9 = -2*t - 3 for v.
3
Let k(g) = 2*g**3 + 17*g**2 + 13*g - 16. Let c be k(-7). Solve -2*p + c = 5*j - 6*p, 0 = -3*j + 2*p + 22 for j.
4
Suppose 4 = j - 1. Suppose 0 = 5*m + 4 - 24. Suppose 0 = -3*o + 3*v + 18, 289*o - 5*v = 291*o + 2. Solve -n + o*b + 0*b = 4, -n - m = -j*b for n.
-4
Let v = 3 - 2. Let h be (-135)/(-54) - (6/4 - 1). Let p = h + v. Solve 4*l = 5*b + 16, l = p*b + 4*l + 15 for b.
-4
Let v = 698 + -696. Solve v*z = -n + 5*n - 8, -2*z - 2 = -2*n for n.
3
Suppose -2*a = -3 - 7. Suppose 5 + a = 2*t. Suppose t = v + 2. Solve 6*d + 5*j = 3*d - 7, -3*d - 9 = v*j for d.
-4
Let g be (-6 - (-6 + 5))*