4*u - 2*u + t, 3*u + 8 = -4*b for u.
-4
Suppose -3*p = -6*p + 3. Solve -o - 2*g + 4 = -p, 5*g - 10 = -2*o for o.
5
Let p be (1/(-3))/(4/(-156)). Suppose -p = d - 2*d. Solve s = -s + 2, 0 = -4*i - 5*s + d for i.
2
Suppose -2*p + 4*n = p - 12, 4 = p + 3*n. Let d = p + 3. Solve 4*x - d = k, -2*x - 10 - 9 = -5*k for k.
5
Let a be 26/10 - 27/45. Solve -a*r + 7 = -2*t - 5, 2*t = -3*r + 3 for r.
3
Suppose 52 = 113*h - 109*h. Solve -3*k - 32 = f - h, -3*f - 17 = k for f.
-4
Suppose 2*y - 5*c = -101 + 34, 0 = y - 2*c + 34. Let m be (6/(-4))/(3/y). Solve -g - 4 = -3*q, 5*g + 2 = 5*q - m for g.
-4
Suppose c + b - 7 = 5*b, -3*b - 24 = -2*c. Suppose 4*x - 1 = c. Let m be 445/35 + (-2)/(-7). Solve 4*q - m - 27 = -x*t, -t - 3*q = -20 for t.
5
Let v be 20/(-3)*3/(-2). Solve v = -4*t + 2*d, 5 + 5 = -5*t + 2*d for t.
0
Let w(q) = 12*q + 14. Let u be w(-1). Solve 3*l + 3 = -3*d, -u*l = -4*d - l - 4 for d.
-1
Suppose 3*a - 20 = -4*o, o - 3*a + 10 = 3*o. Solve 0*i + 4*k = 2*i + 8, -8 = -o*i - 4*k for i.
0
Let k be 1/(-2)*(1 + -11). Solve -2*d + 0*w - 4*w - 18 = 0, 0 = k*w + 15 for d.
-3
Let y = -8 + 7. Let a be ((-4)/(-10))/(y/(-10)). Suppose -a*j + 28 = 12. Solve 4*n - 5*p = -14, -4*n + p + 2 = j*p for n.
-1
Let c = -5 + 10. Let x be 12 - (3 - 2 - 0). Let r = x - 11. Solve s + 1 = q, r*q - c*s + 35 = 3*q for q.
5
Let i be (-24)/(-10) + 3/5. Suppose 0 = -i*y + 9 + 45. Solve -y + 3 = 3*z - 3*p, z = 5*p - 25 for z.
0
Let t = 34 + -6. Solve 5*m - m = 4*n + t, 5*n - 5 = -5*m for m.
4
Let b be (-7 - -8)*(0 - -44). Suppose -z - b = -5*z. Solve 0 = 4*k - 3*p + z, k + 14 = -0*k + 3*p for k.
1
Suppose -q + 3*a - 6 = 2*q, 3*q - 18 = -3*a. Let s be (-777)/(-70) + (-4)/40 + 4. Solve -g + 4*b = -s, -b - 15 = q*b for g.
-5
Let n be 9/(-18)*(1 + -23). Solve 0*o + 2*o + w = 7, w + n = 4*o for o.
3
Let m = 2 - -1. Suppose -4*w = -m*x - 3, w - x + 12 = 4*x. Solve v = -4*f + 6*v - 8, -w*f = v - 13 for f.
3
Let t(n) = n**2 + 12*n - 26. Let d be t(-14). Solve -2*r - 14 = 4*l, d*l + 2*r + 3*r = 5 for l.
-5
Let b be (-3 - -1)/(24/(-180)). Let r be b/7 + 5/(-35). Solve 7*x + 3*h = 3*x + 23, 4*h + 6 = r*x for x.
5
Let v = -6 + 9. Suppose -v - 1 = -2*t. Solve -4*a + k - t = 0, -k = -a - 1 + 2 for a.
-1
Let i = 3 + -1. Suppose -i*j - 3 = -9. Solve 0 = j*v + 4*f + 2 + 6, 4 = -2*v - 4*f for v.
-4
Suppose 0 = -d - 4*r, 0*d + 16 = d - 4*r. Let u = d - 4. Solve 3*a = u*o - 6, a + 17 = 5*o + 2*a for o.
3
Let w = -17 - -16. Let t be (3/15)/(w/(-10)). Solve k = -3*c + c + 7, -5*c = -t*k + 5 for c.
1
Let g = 3 - 3. Suppose g = -3*k + 4*k. Let l = k - -5. Solve i + 4*w + l = 2*w, w = 5*i + 25 for i.
-5
Let u(v) = -v - 1. Let x be u(-1). Suppose 2 = -x*z - 2*z. Let d = 3 - z. Solve -d*m = -5*b + 40, -b + 3*m + m = -24 for b.
4
Suppose 6*o = o + 15. Solve -4*m + 35 = 5*j, m = -o*j - 3*m + 29 for j.
3
Let v = -1 + 2. Suppose -1 = 3*d - r - 7, 2*d = -2*r - 4. Let s be 3 + -4 + 0 + d. Solve -4*w = b - 0 - v, s = -2*w - b + 3 for w.
-1
Suppose -3 = -2*a + a. Solve -3*x = 2*r - 9, -5*r - 4*x + a + 9 = 0 for r.
0
Let h = -7 + 18. Let b = h + -6. Solve -4*q - 9 = -5*j + 10, 4*q + b*j - 11 = 0 for q.
-1
Suppose 2 = -h + 5. Let j be (34/6 + 1)*h. Suppose g - 6*g + j = 0. Solve 24 = -5*r + a, -3*r + g*a = -r + 24 for r.
-4
Suppose 5*z = 3*v + 13, 5*v - 2*z = -6*z + 40. Solve 2*f + 4*n = n - v, 4*n = 0 for f.
-2
Let n(r) = -r**2 - 11*r + 11. Let b(p) = p**3 - 11. Let i be b(0). Let a be n(i). Solve 2*l + w = -l + a, l - 12 = -2*w for l.
2
Let h = -6 + 6. Suppose 0 = 5*w + x - 25, h*x = 4*w - x - 11. Solve 5*p = -0*p + 3*l + 9, 3*p = -w*l - 12 for p.
0
Let k = 5 - 7. Let n be (2 - 1)*(-2 + k). Let o = n + 6. Solve -5*x + 1 = -4*b, -3*b - x = -6*b + o for b.
1
Suppose 61 + 15 = 5*b + o, -3*o = 12. Suppose v - 2 = b. Solve -2*m + v = -3*f - 1, m = 2 for f.
-5
Suppose -3*n - g + 10 = -4, -5*g + 19 = -2*n. Solve -3*x + 2*h = 6*h - 3, -3*h + n = 3*x for x.
1
Let d be (3 - 2) + 1/(5/75). Solve 0 = 3*u + 5*w + d, -4*w = u - 5*u for u.
-2
Suppose -3*s = 2*s - 10. Suppose 0 = -2*u - 3*w + 2, -u - 4 = -3*u - s*w. Solve -2*h + 8 = -3*z, -4*z + 2*h = 3*h - u for z.
0
Suppose 6*y + 84 = 10*y. Let j = y + -21. Solve a = -4*c + 3, -2*c + j = 5*a + 3 for a.
-1
Let g(o) = -5 - 2*o - 3*o + 2*o. Suppose 3*p = -d - 20, d + 40 = -2*d - 5*p. Let n be g(d). Solve -5*w = n, 2*k + w - 2 = -3*w for k.
5
Suppose -3*c = 2*c - 25. Let r(v) = -v**2 + 5*v + 6. Let n be r(5). Suppose c*x = n + 14. Solve -5*q + 3 = -3*m, -2 - 2 = -q + x*m for q.
0
Let c(f) = f**2 - f - 4. Let v(s) = -2*s**2 + 3*s + 8. Let d(h) = -11*c(h) - 6*v(h). Let x be d(9). Solve 1 = -b - p - 5, b - 3*p = x for b.
-1
Suppose 0 = -9*g + g + 32. Solve 4*t + 4*y = -0 - 4, -2*y = -g*t + 14 for t.
2
Let p(k) = 3*k - 13. Let s be p(6). Solve f = -2*l + 11, s*f = l + 36 - 14 for l.
3
Suppose -8 = -2*u + 4. Suppose -3*j + 5*y - 7 = -4*j, 0 = -2*j + 2*y + 2. Solve k + j*k = 2*h + u, -6 = -5*k + 2*h for k.
0
Let w be (-9)/(-4) - 1/4. Let p(a) = a**2 + 4. Let h be p(0). Suppose 36 = h*r + 12. Solve -29 = -3*d + 4*l, -4*l - w = -4*d - r*l for d.
3
Suppose -8*k + 25 = -3*k. Solve -5 = -5*g + 2*w, 20 = -k*g + w - 4*w for g.
-1
Let q = 14 + -12. Suppose 18 = 5*s - q. Suppose -u = 3, -4*m + 6 + 110 = -4*u. Solve 2 = -s*a + 6*a - 5*t, 3*t = -5*a - m for a.
-4
Suppose -3*t = -t - 48. Let z = t - 12. Solve -2*y + 2*v + 6 = 0, 5*v + z = -4*y + 6*y for y.
1
Suppose -25 = -4*k - 13. Solve 4*d + 4*z + 16 = 0, d - 2*z = k*z + 2 for d.
-3
Suppose 0 = 2*m - 24 + 20. Solve m*v + 12 = 4*i, -14 = -v - i - i for v.
4
Let k be (-418)/7 - 4/14. Let c be k/(-33) - (-2)/11. Solve c*b - 6*b = 4*t - 16, -4 = -4*b - t for b.
0
Let o(d) = -d**3 - 24*d**2 - 25*d - 43. Let r be o(-23). Solve -3*k + 14 = 2*f, -r*k = 2*k - 20 for f.
1
Let w(v) = -6*v + 6 + 3*v - 5. Let q be w(1). Let g(z) = 2*z**2 + 3*z. Let o be g(q). Solve 0 = 4*k - 4*i - 8, -o*i - 2 = -4*k + 10 for k.
4
Let d(t) = t**3 - 9*t**2 + t - 4. Let s be d(9). Let u = 22 + 8. Suppose -r + 3*o + 3 = -o, -3*r + u = -5*o. Solve -4*c = s*w + r, 5*c + 2 = w + 5 for w.
-3
Let i(w) = w**2 + 4*w + 3. Let d be i(-1). Solve 3*s - 4*u + 0 + 8 = d, 0 = -s + 5*u + 1 for s.
-4
Suppose 5*m + 0*h = -3*h + 60, 2*m + 5*h = 5. Let o be (4/(-5))/((-3)/m). Let v(n) = -n - 3. Let a be v(-6). Solve -w + 2 = 5*t, t + a*w = -4*t - o for t.
1
Let y be 3/(-4)*96/(-36). Solve 0 = 3*t + 2*h - 5, 5*h + 27 - y = 5*t for t.
3
Suppose 6 + 3 = 3*b. Solve -d - 3*p + 1 = b*d, -15 = 3*p for d.
4
Let x be (-16)/(-24) + (-1)/(-3) - -2. Solve -u - x = 2*i - i, -4*u = -4*i - 20 for i.
-4
Let d = -87 + 89. Solve q + p - 4*p - 8 = 0, 0 = -d*q - p - 5 for q.
-1
Let c be -54*2*2/(-12). Suppose -2*x = 2*w - 5*x - 4, -4*w = -x - c. Solve -4*f = -n + 2, n + 0*n + w = -3*f for f.
-1
Suppose -s + m = 0, -3*m = -4*m + 2. Solve x = -s, 2*u + 3*x = -u for u.
2
Suppose 2 = -2*j + 3*j. Solve -5*v = 2*n - 7, 0*n = -j*n + 5*v - 23 for n.
-4
Let p(h) = h + 8. Let b be p(-6). Solve -3*s = b*s + 5*c + 25, -2*s - 10 = c for s.
-5
Suppose -5*p - 4 = 4*b, -3*b - 4*p - 30 = -7*p. Let h = b + 8. Let f be ((-12)/15)/((-4)/10). Solve 2*g + 6 = h*j, f*j + 2*j - 2 = 2*g for g.
-5
Let m = -92 - -96. Solve -4*u + 20 = -4*v, -m*u = -0*v + 3*v + 8 for v.
-4
Let n = 37 - 20. Solve -2*c - 3*c = -i + n, 3*c - 4*i = -17 for c.
-3
Let f(b) = 9*b - 30. Let s be f(5). Suppose g - 7 = 2*i, 4*g + 0*i - 2*i - 22 = 0. Suppose g = -4*j + 13. Solve 0 = -3*w + 2*a + s, j*a + 0 = 4*w - 18 for w.
3
Suppose -5 = -4*n + 4*g - 1, -1 = -4*n + g. Solve 5*x - 24 = -2*j, 2*x - 6 = -n*j + j for x.
4
Let m be -1*(-23 - (1 - -1)). Solve 3*k - m = 5*b - 0, -k = -4*b - 20 for k.
0
Let v be 4*-1 - 108/(-9). Solve -r - 5*s = 10, -6*r - 3*s - v = -5*r for r.
-5
Let q(f) = f**3 + 2*f**2 - 2*f + 3. Let o(b) = b**2 - 7*b - 3. Let t be o(7). Let u be q(t). Solve 2*c - 4 = 2*h - 0*c, u = -c for h.
-2
Let k = 15 + -10. Solve x - 7*c = -2*c - 30, 0 = -k*x + 2*c - 35 for x.
-5
Suppose 8*k - 18 = -k. Solve -2*p + 0 = -k*c - 2, c = -p - 9 for c.
-5
Suppose 10 = -4*x - 2*r + 42, 4*x = -4*r + 40. Suppose -x*v = -2*v. Suppose v*m = -2*m. Solve 5*k + 24 = -z, -2*z + 4*k + m = -8 for z.
-4
Suppose 0 = r + 118 - 125. Solve -n + 2 = r, 0 = -5*g + 2*n for g.
-2
Let z(v) = -2*v**3 - 3*v**2 + 4*v + 1. Let q be z(-3). Suppose r - 5*b - q = 1, 2*b + 2 = -2*r. Solve w - 4 = 