 Solve z - s = 5*v - 0*z, 5*z - 25 = 0 for v.
-4
Let v(m) = 2*m**2 - m + 3. Let j be v(-3). Let b = j - 12. Suppose 3*t - b = 3. Solve 2*o + 0*y + 5 = -5*y, 0 = -5*o - t*y + 10 for o.
5
Let g(o) = o**2 - 14*o - 1. Let u be g(15). Suppose -3*z = -u - 16. Solve -s + 0*s + 1 = 2*t, z = 3*s - t for s.
3
Let b be 2/(-11) + (-4)/(-22). Solve -2*i - 2*f = -3*i + 9, b = 3*i - 5*f - 23 for i.
1
Let s = 269 + -267. Solve -o = -3*l - 16, -4*o - s*l = -0*o + 6 for o.
1
Let g(k) = -114*k + 116. Let n be g(1). Let t(z) = -z**2 - 6*z + 4. Let i be t(-3). Solve 0 = -n*s - 3*h + i, 4*s + 4*h - 27 = -11 for s.
-1
Let v be (2/(-6))/((-6)/36). Solve 0 = -3*t - 3*s - 15, v*t + s = -t - 5 for t.
0
Let z = 19 + -13. Suppose 1 = z*f - 5*f. Let u(i) = 3*i + 1. Let b be u(f). Solve 2*g + b*q = 24, -3*g + 3*q - 8 = -2*q for g.
4
Let o = -61 - -110. Let q = 64 - o. Solve 1 = 5*p + 2*i, 8*i - 3*i - q = 0 for p.
-1
Suppose -3*i = -0 - 18. Suppose -i*b + 22 = -2. Solve b*o + 16 = -h, 0*o - 4*o + 2*h = 16 for o.
-4
Let b be (0 - -5) + 10/(-10). Solve -2*i + b*i = -w + 13, 3*w = 15 for i.
4
Let d = -52 + 55. Solve 2*s + 3*f = -5, -d*s + 3 - 13 = 2*f for s.
-4
Suppose 2*k - 1 = 13. Suppose -10*o + 6 = -k*o. Solve i + i = -o*y - 8, 4*y + 3*i = -15 for y.
-3
Suppose 1 = 6*a + 1. Suppose 3*f - 41 = 19. Solve 0 = 3*k + 2*k - 3*u - 40, a = -k - 5*u - f for k.
5
Let f(z) = 2*z**2 - 8*z + 20. Let h be f(3). Solve h = -3*t - s, -2*t + 7 = -3*t + 2*s for t.
-5
Suppose -q = -l - 1, 6 = l + 2. Solve -j + 6*j - 3*v - q = 0, -v - 7 = j for j.
-2
Let c be 99/4 - (-45)/(-60). Suppose 5*g - c = 4*g. Solve 3*w + 4*q = 26, -2*w = -4*w - 4*q + g for w.
2
Let v(d) = -9*d - 43. Let m(q) = 11*q + 44. Let i(a) = -3*m(a) - 4*v(a). Let u be i(-12). Solve b + 25 - 9 = 3*r, u*b + 4 = 0 for r.
5
Let q(i) = 2*i - 7. Let s be q(5). Suppose 4*v = 5 + s. Solve 5*w = v*m + 18, 3*m - 2*m + 11 = 3*w for m.
1
Let u = -367 - -370. Solve -u*r = -5*g + 19, 2*g = 3*r - 2*r + 8 for g.
5
Suppose 3*c - 4*f + 44 = 0, -4*c + 4*f - 78 + 26 = 0. Let t(v) = 2*v**2 + 17*v + 10. Let r be t(c). Solve r*a = 5*u + 13, 7*u + 16 = 3*a + 3*u for a.
4
Let c(n) = -9*n + 19. Let y be c(8). Let x = y + 69. Solve 5*j - 20 = -2*a - 3*a, 0 = -4*j + 4*a - x for j.
0
Suppose -4*p - 4 = -5*p. Let v(b) = -2*b - 82. Let o be v(-41). Solve 3*k + 0*q + 16 = -5*q, 3*k - 5*q - p = o for k.
-2
Let a(k) = -k**3 + 9*k**2 - 17*k - 10. Let y be a(4). Solve -6*f + 4*f = y*u, -3*u - 5*f - 10 = 0 for u.
5
Let z = -17 + 14. Let y be (-2 - -1)/(z - -2). Suppose -2*m - y = -7. Solve 2*k = -5*h + 15, -4*h - 8 = 5*k - m for h.
5
Let c be 24/(-54)*9/(-2). Solve v = m - 1, v - 6*v + c*m + 1 = 0 for v.
1
Suppose u + 91 = 4*u - 2*k, 65 = 2*u + 3*k. Let z be 0 - -2 - 4/(-4). Suppose 2*s = z*s - 5. Solve -s*p - f = 5, p + 5*f = -u + 6 for p.
0
Suppose -65 = 122*r - 135*r. Solve 2*o - 3*o - 1 = 0, -r*o + 11 = 4*t for t.
4
Let l(u) = -2*u**3 + 9*u**2 - 4*u + 1. Let n be l(4). Suppose 4*o = 5*x + 22, 3*o + 4*x - n = -0*o. Solve 4*z + 21 = z - o*m, -5*m = -2*z + 14 for z.
-3
Let g be (-6)/27 + (-1749)/27. Let y = g - -68. Solve w = -6*b + b - 10, y*w - b - 2 = 0 for w.
0
Suppose -4*d = -8*d + 8. Solve -8 = -4*m + d*i, 2*i = -1 - 3 for m.
1
Let w = 40 + -25. Suppose 4*z - 55 = -w. Solve -4*c + 10 = 2*u, 3*c + z = 3*u + 8*c for u.
-5
Let c(d) = -2*d + 49. Let v be c(22). Solve -v*b - 19 = 3*t, -1 + 8 = b - 3*t for b.
-2
Let l(r) = -6*r - 6 + 18*r - 10*r. Let z be l(3). Solve -y + c = -3, z*c + 9 = -y - 3*c for y.
0
Suppose -5*h = -l - 3*h + 23, h = -5*l + 71. Let c be (-273)/35 - 1/5. Let g = c + 12. Solve -i + 3 = 4*z, -5*i - g*z + l = -0*z for i.
3
Suppose -3*f = 2*l - 31, 5*f - 29 = 2*l - 4. Suppose -3*c - 1 = -f. Solve -2*n - 8 = -c*w, 0 = 2*n + n - 5*w + 22 for n.
1
Let j(b) = -b**2 + 8*b - 7. Let m be j(5). Suppose -29*k + 76*k = 26*k. Solve m = 2*f + 2*w, 0 = f - k*f - 2*w + 2 for f.
2
Suppose 11 = -l + 3*u - 0*u, -3*l - 3 = -3*u. Solve -x + 12 = l*x + i, -2*x + 2 = -i for x.
2
Suppose -f - 3 = -2*f. Suppose -2*n = 4*u + 30 + 10, -f*u - 33 = 3*n. Let b = 14 + u. Solve -b*y - 2*o = -o + 24, 3*y + 2*o = -20 for y.
-4
Suppose -2*z = 2 - 6. Let v(g) = g**3 - g**2 - g + 2. Let q be v(z). Solve -6*y - q*b + 8 = -2*y, 3*b = -3 for y.
3
Let r be 1/(((-1)/1)/9). Let b = 11 + r. Suppose 6*x - 3*x = -b*d + 12, -x + 4 = 4*d. Solve 12 = -5*i - x*u - 16, 20 = -3*i - 4*u for i.
-4
Let j = -9 + 12. Suppose 11 = 4*o - r, -o + j*o - 11 = -5*r. Solve -5*l = 2*n + 18, 5*n = 2*l - o*l + 1 for l.
-4
Suppose -14*s = -6*s - 40. Suppose 0 = 3*o + s*i + 20, 0 = o + 2*i - 5*i - 12. Solve 5*f = -0*h - 2*h + 30, o = 3*h + 3*f - 27 for h.
5
Suppose 52 = 3*u + 22. Let a = 22 - u. Solve 3*h + 2*m = 4*m - 20, -a = -3*m for h.
-4
Let i = -127 - -132. Solve 4*m - 16 = -0*m, -i*m + 36 = -4*h for h.
-4
Suppose -39*v = 5*i - 36*v - 20, i - 4 = v. Solve -2*s + i*l = 28, 4*s - s + 3*l - 3 = 0 for s.
-4
Suppose 0 = -22*j + 5*j + 136. Solve 0 = 2*o - 5*s - j, 2*o = -0*o - 5*s - 12 for o.
-1
Suppose -2*r - 20 = -3*r + 5*x, -4*r - 3*x = -11. Solve h + 14 = 4*t, -14 = -r*h - 3*t + 8 for h.
2
Suppose -50*x + 55*x = 5. Let a be 69/21 - (x + (-5)/7). Solve -a*z = -5*t - 15, -5*z + t + 0 = -25 for z.
5
Suppose -15 = 2*j - 5*j. Suppose l + j = 2*l. Solve 4*v - 2*y = -2, -3*y = -4*y + l for v.
2
Suppose -25*b + 23*b + 6 = 2*n, 0 = -5*b + 4*n + 24. Let y = -2 - -14. Solve 0 = o + 4, -y = -b*l + 3*o - 2*o for l.
2
Suppose 2*t = 4*m, t = -5*m - 3*t. Solve -4*y + w + 4*w = -6, y + w - 6 = m for y.
4
Suppose 4*z - 80 = -z + 5*d, -5*z - 5*d + 70 = 0. Suppose 5*w - z = -0*w. Solve -3*v = w*k - 9, -k + 5*k = 2*v + 6 for v.
1
Let z be 8/(-12)*105/(-14). Let p = -8 + 3. Let c be (-25)/p + -2 + 2. Solve -z*o = 20, -4*k + 2*o - c*o - 4 = 0 for k.
2
Let j = -732 + 732. Solve -2*w + 23 = 2*n + 3*w, 5*n - 4*w - 8 = j for n.
4
Let n = -950 - -971. Solve 0 = -0*b - b - 4*g - n, -5*g = b + 25 for b.
-5
Let z be 1 - -2 - (0/(-4))/4. Solve -z*d + 15 = 3*c, 4*c - 7 = 4*d - 3 for c.
3
Let w(t) = t**3 + 3*t**2 + 3*t + 3. Let u be w(-2). Suppose o + 3*k = -3*o + 27, 2*k = -6. Let f = o + -5. Solve -f*p - 3 = 3*z, 9 + u = -5*z - 5*p for z.
-5
Let v = 63 + -61. Suppose 0 = 4*f + 8, 3 - 9 = -v*l - 2*f. Solve 3*g = -3*r - 18, -l*g = -3*g + 5*r + 27 for g.
-1
Suppose 0 = -0*u + u + 8. Let q be 60/(-8)*(-2 - u). Let l be (-935)/q + (-2)/(-9). Solve 2*j + 10 + l = -5*d, 5*d = -5*j - 40 for d.
-5
Suppose -16*v + 1448 - 312 = 0. Let n = -65 + v. Solve 3*w - j = n, 4 = 4*w - 5*j - 4 for w.
2
Let o = 269 + -264. Solve 5*r + o = 4*q, -4*q = 2*r - 0*r - 26 for q.
5
Let c(b) = -43*b - 210. Let l be c(-5). Solve -s = -l*g - 19, -5*g - 21 = -4*s + 5*s for g.
-4
Let d = -16 - -22. Suppose d*v + 5*v - 8*v = 0. Solve -2*u = -4, -j + 3*u + v - 4 = 0 for j.
2
Suppose 3*s + 11 = 3*h + 7*s, -3*h + 3*s = -18. Let r be h + -2 + 1 + (-2 - -3). Solve -4*d = 3*k - r*k + 18, 0 = 4*d - 5*k + 21 for d.
-4
Suppose 3*t + 11 = 29. Let v = -2 + t. Let c(f) = f**3 - 3*f + 3. Let g be c(2). Solve i - 19 = g*m - 3, -m = v*i - 1 for m.
-3
Suppose -3*x - 5 = 5*q - 6*x, -q - x = -7. Let r be ((q - -1) + -3)/(-3). Solve r = b + 4*c - 20, 0*c + 4*c - 32 = -4*b for b.
4
Let u(x) = -7*x - 6. Let f be u(-2). Suppose -4*n + f = -2*n. Solve -2*p + 4*p = -n*o - 12, -2*o - 18 = -2*p for o.
-5
Let j = 510 - 508. Solve -2*t + j = 2*o - 3*o, 5*o + 5 = 5*t for t.
1
Suppose -48 = 2*d - 3*r, d + 27 = r + 4. Let x = d + 25. Suppose -n + 2*n = 25. Solve x*t + 4*m + 1 = -19, -5*m = t + n for t.
0
Suppose -8 + 2 = -2*i. Solve -i*r = -5*a + 24, 4*a + 5*r = -1 - 2 for a.
3
Suppose -q + 2 = 0, 4*q = f - 3*f + 52. Solve 4*g = -j + f - 2, -g + 5*j + 5 = 0 for g.
5
Suppose -8*g + 12*g = 16. Let k(o) = o**3 - 6*o**2 + 2*o - 9. Let l be k(6). Solve -4*c - 2*h + l = 11, -5*h + 8 = -g*c for c.
-2
Suppose 532 = 13*f + 532. Solve -5*y + 10 = -0*y + 4*t, f = y + t - 2 for y.
2
Let x = -28 - -44. Suppose -4*q + 8 + x = 0. Solve -2 = p - 5*j, 0*p + q = -3*p - 5*j for p.
-2
Let q = 212 - 207. Solve 7*o + 20 = 3*o + n, q*o + 2*n + 25 = 0 for o.
-5
Suppose -4*p = d + 2, -1 = -2*p - d - 3. Suppose 5*t + 4*i = 10, -51 = -t - 4*i - 49. Solve -3*l = -t*g - 7, p = 2*g + 2*g - 4 for l.
3
Suppose 132 = -2*d - 148. Let y be (d/(-30))/((-2)/(-3)). Let l = 10 - y. Solve 0 = -2*a - v - 1, -8*v = 3*a - l*v + 12 for a.
1
L