Let t = -5 + 7. Suppose -t*s + 4 = -6. Solve a + 2 = s*u - z, 2*a = -u - 4 for a.
-3
Suppose 15 = 2*t + 4*k - 53, -5*k - 97 = -4*t. Solve 4*w - 16 = d, -3*w - w + t = -4*d for w.
3
Suppose 0 = -7*a + 3*a. Solve -3*h = b - 7, a = 2*h + b + b + 2 for h.
4
Let z = -8 + 10. Solve 4*k - q + z*q + 5 = 0, 3*q = -3*k + 3 for k.
-2
Suppose 4*p - x + 8 = 5*p, -4*x = 3*p - 26. Let l = 16 - p. Suppose -3*v = -8*v + l. Solve y + 1 = v*i, 6*i - 3*i + 1 = 2*y for y.
5
Suppose 3*k = -2*y + 16, -24 = -4*y + 3*k - 5*k. Solve -5*z = 3*b + 12, 17 = -y*b + 3*z - 3 for b.
-4
Suppose -7*z = 12*z - 95. Solve 0 = f + 2*o - 1, o - z = f - 3*o for f.
-1
Let f(u) = -3*u + 3. Let b be f(0). Solve -g + 3*d = -d, 0 = -5*g + b*d + 17 for g.
4
Suppose -5*t + 20 = -0*t. Suppose -t*r = r - 10. Solve -2*a + 8 = -r*o - a, 4*o + 3*a - 4 = 0 for o.
-2
Suppose 41 = 4*d - 15. Suppose -2*r = 4*p + 44, -3*p = -6*r + 2*r + 22. Let g = p + d. Solve u = g*a - u, 3*a = u for a.
0
Let m be -8*(-3)/(-18)*3. Let g be 22/5 + m/10. Suppose 2*z - z = k - 4, -g*z = 3*k - 12. Solve 5*v = -2*f + 9, k*v + 0*f - 18 = 2*f for v.
3
Let x be (-18)/(-12) - (-1)/2. Let u be x + -2 - (-10)/2. Let c = u - 3. Solve 5*s + 3*j = 21, -3*j = s - c*s - 3 for s.
3
Suppose -3*c = -7*c + 40. Let b = -5 + c. Solve -3*o - 12 = -2*x, 2*o - 4*x + 6 = b*o for o.
-2
Suppose 4*x - 2*n = 3 - 17, -3*n = -x - 11. Let l be (-2)/x + 17 + -6. Solve -g + 5*i + 4 = -3, 2*g + l = -3*i for g.
-3
Suppose 2*c - 2 = y, 4*c - 6 = y - 0*c. Suppose 2*w + 0*w = -y*h, -w + 2*h = 3. Let d be (w + -1)*-6 + 1. Solve -g = 3*g - 16, q = -3*g + d for q.
1
Let f = -8 + 12. Suppose f*b - 10 = 10. Solve 0*m - 2*m = 4*r + 22, -r = -3*m - b for r.
-4
Let t be (0 - 0) + -1 + 0. Let i be 19/4 - t/4. Solve d + 5*b - 19 = -0, -i*d + 4*b = 21 for d.
-1
Suppose 0 = -10*s + 13*s - 27. Solve 0 = 3*k + 3*a - 24, 2*a - 29 = -3*k - s for k.
4
Let c(r) = -r**2 - 6*r - 4. Let w be c(-4). Let s = w - -2. Solve x + 3*a - s*a - 19 = 0, -2*x - 17 = 5*a for x.
4
Let d be (-2)/(18/21)*3. Let h = 7 + d. Solve 3*b - 24 = 4*w, -3*w - w - 2*b - 4 = h for w.
-3
Suppose 0 = -s - 20 + 25. Solve -2*v + 10 = s*h, -5*h + 4*h + 20 = 4*v for h.
0
Suppose 2*l + w + 4 = 4*l, 2*w = 0. Suppose 16 = l*b + 2*b. Solve -2*r + 5*v + 35 = 0, 2*r - b*v = 6 + 24 for r.
5
Suppose 3*k - h = 4*h + 27, 0 = 5*k - 2*h - 26. Solve -3*v - 5*q = -6*v + 3, 3*v - 3 = -k*q for v.
1
Let l(q) = -3*q - 9. Let m be l(-8). Let g = m - 14. Solve 0 = 4*a - o + 8, a + g + 1 = o for a.
-2
Let v = -14 - -30. Suppose 5*x = 4*x + v. Let m be 10/45 - x/(-9). Solve 4*i = 4*t, 4*i = 3*t - m - 0 for i.
-2
Suppose -56*h = -53*h - 15. Solve 0 = 3*r - 0*r + 3*p + 3, 2*r - 5 = h*p for r.
0
Suppose 2*l + b = 5*b - 44, l = b - 21. Let y be 0 - l/((-1)/(-1)). Solve -3*o - 5 = -4*r, r + o = -2*r + y for r.
5
Let x be 2/((-6)/(-21)) + -4. Solve s + 2*o = 5*o + 12, 0 = x*s + 3*o for s.
3
Let j = -30 + 36. Solve -2*q = 3*l - 6, -l = -2*q - j*l + 6 for q.
3
Suppose -4*w - 10 = -2. Let a be (108/15)/(w/(-10)). Suppose -3*j + 24 = -f, -3*j - 4*f = -3 - a. Solve -2*q - 4 = -3*t - 0, 5*t = q + j for t.
2
Let a(w) = -w**3 - 7*w**2 + 10*w + 18. Let y be a(-8). Solve -5*j + v = -2*v - 22, -y*v = -j + 3 for j.
5
Let h be -2 - (-1)/((-3)/(-12)). Let q(n) = n**2 + 0*n**2 - 10 - 6*n + 0*n**2. Let j be q(8). Solve 4*u = 3*t + j - h, 4*t - 2*u = -12 for t.
-4
Let j(p) = p**2 - p - 3. Let x be j(3). Solve x*l + 2*v = 1, 8 = 5*l - 2*v - v for l.
1
Suppose 5*b + 4*m + 1540 = 0, 3*b - 3*m + 924 = 2*m. Let r be b/(-20) + 6/(-15). Solve -5*j + 5*o - r = 0, 0 = j + 5*o + 1 + 2 for j.
-3
Let z(a) = a + 3. Let w be z(-3). Let l(v) = v**2 + 11*v - 8. Let d be l(-11). Let g = w - d. Solve 5*k - 1 = -0*k + f, -g = -4*k - f for k.
1
Let k = 1 + 1. Suppose -3*f + 5 = -k*f. Solve -u = 4*i + 23, -4*i + 5 = -f*i for u.
-3
Suppose -3*l + 13 = 5*a - 16, 2*l - 22 = -4*a. Suppose -4 = -2*u + a. Solve u*i = -3*v - 5, -i + 3 = 2*i for v.
-3
Suppose 58 = 5*m - 2. Solve -s = 4*z - 4*s - m, 3*s - 3 = -z for z.
3
Let m(s) = -s**3 + 3*s**2 - s - 2. Let r be m(2). Suppose 32 = 2*u - 2*b, r = -4*u + 2*u - b + 20. Solve -4*c + 4*i = -6*c + 16, -5*c + u = -4*i for c.
4
Let n = 9 - 7. Suppose x - 5*b + n = 10, -5*x - 4*b + 69 = 0. Let m = x + 1. Solve -2*u - 2*k = -m, 2*u + 2*u - 4*k = -4 for u.
3
Let y(s) = -s**2 - 12*s - 11. Let n be y(-9). Solve -g + 4*g + f = -12, -4*f - n = 4*g for g.
-4
Suppose -5*c + 3*w + 6 + 5 = 0, -4*w = -2*c - 4. Solve -5*m + m - c*z = -28, -3*m - z = -11 for m.
2
Let c(d) = d**3 - 6*d**2 + 5*d + 15. Let m be c(4). Solve 4*g = m*i + 3 - 5, -5*i + 5 = -5*g for i.
2
Let a(t) = -t**3 + 6*t**2 + 5*t - 4. Let p be 237/33 + 2/(-11). Let z be a(p). Let q be z/(-8) - 12/(-16). Solve l + l - 4*u = 18, -q*u = -l + 13 for l.
1
Let a(o) = o**3 - 20*o**2 - 21*o + 1. Let y be a(21). Suppose 0*q - 5*q = -80. Suppose 4*j - q = -0*j. Solve 5*k + j*g = 1, k + 2*g - g = y for k.
-3
Suppose 3 = 2*b - 15. Let w = 15 - b. Solve 5*q = 3*j + w, -3*q + 0*q + 18 = 3*j for q.
3
Suppose -3*j = -3*g - 9, -7*j + 4*g = -4*j - 9. Solve -6*v = -j*a - v + 1, -3*a - v = 11 for a.
-3
Let d(n) = -n + 5. Let o be d(6). Let w be ((-2)/(-3))/(3/9). Let y be (o + w)*-2*-1. Solve -4*f = -6*f - j + 1, 0 = 2*j + y for f.
1
Let i(y) = y**2 - 4*y + 3. Let l be i(6). Let q be 6/l + (-54)/(-15). Solve 2*z - q*a - 18 = 0, 5*a = -3*z + z for z.
5
Suppose -4*y - 3*b = -3*y + 8, -4*b = -5*y + 36. Solve 2*c - 3*j + 18 = -3*c, -5*j - y = 3*c for c.
-3
Suppose 0 = -4*y + y. Let s = -4 + 5. Let j be s/((3 + -6)/(-21)). Solve -m = -2*k + 7 - y, -4*k - 5*m = -j for k.
3
Let k(x) = x + 5. Let b be k(-5). Suppose -5*o - 5*n = -10, -6*o + n + 13 = -2*o. Solve o*h - 2*q + b*q = 15, -5*h - 5*q = -25 for h.
5
Let x = 8 - 5. Let f(m) = 0 + x*m + 5*m**2 - 2*m + 1 + 2*m. Let g be f(-2). Solve 3*t + 2*i = -3*i - g, 0 = -4*i for t.
-5
Let v(h) = h**3 + 7*h**2 + h + 10. Let x be v(-7). Suppose -3*m + 9 - x = 0. Solve -4*z - 2 + 3 = -3*t, -2*t = -3*z + m for t.
5
Let l be 2/(-5)*15/(-3). Let s(h) = -h**2 + 5*h - 4. Suppose 2*p = -2*x - 2, -p = 4*p + 20. Let m be s(x). Solve 0*k = -k, l*d - k - m = 0 for d.
1
Let f(k) = -k**3 - 3*k**2 + k + 3. Let c be f(-3). Solve t - 3*u - 14 = -t, c = t - 2*u - 8 for t.
4
Let r(s) = -s**3 + 8*s**2 - 3*s - 28. Let o be r(7). Solve o = -5*y + 4*m - 19, 0*y - 4*y - 17 = -5*m for y.
-3
Suppose -5*b = -2*f, 0 = 5*b - b + 4*f. Solve k - 3*y + 7 = b, 4*k - 2*y = 1 - 9 for k.
-1
Suppose -2*b + 3*x = -x - 4, 5*b = 4*x + 10. Solve 2*w + 2*n + 4 = 0, b*n = 3*n - 3 for w.
-5
Let n be (-2)/(-2*(-3)/(-12)). Solve -12 = l + 2*t, -3*l + n*t + 8 = -t for l.
-4
Suppose 35*r = 41*r - 18. Solve 4*w = -4*f + 28, r*f = -f + 12 for w.
4
Let f be 6/(-10) - 99/(-15). Suppose f = 4*u - 6. Solve -j - b = -2, 2*j = 6*j + u*b - 11 for j.
5
Suppose 5*u = u - 24. Suppose -5*z = -2*b - 0*b + 1, -4*z = 4*b - 16. Let l be (11/(-2))/(b/u). Solve m + 3*r - 7*r + l = 0, -2*r = -6 for m.
1
Let m be 0 - -16 - 0/3. Solve 2*t - 4*i = -m, 2*i = -4*t + 6*t + 8 for t.
0
Let y(t) = -6*t + 3. Let o be y(-3). Solve 3*d + 4*j - 4 + o = 0, -5*j - 4 = -2*d for d.
-3
Suppose 2*i + 4*c = -4, -5*i + c + 17 = -6. Let j be (-6)/(1/(-2)*3). Solve u + 14 = -j*y + 3*u, 0 = -5*y - 2*u - i for y.
-2
Let l(m) = 4*m**2 + 1 - 5*m**2 + 10*m + 3*m**2. Let c be l(-7). Solve -4*u - c + 1 = -4*s, -3*u = s + 13 for u.
-5
Suppose -242 = -6*j - 80. Solve -3*h = -5*i + j, 4*h = 2*h + i - 11 for h.
-4
Let t = 83 - 78. Solve -2*w - 10 = 5*o, o + 25 = -4*o - t*w for o.
0
Let w be 5/10*(3 + -1). Let j(f) = f + 1. Let y be j(w). Solve 2*r - 12 = 6*r + 2*a, -11 = 3*r + y*a for r.
-1
Let k = -43 + 43. Solve k = -5*j + j + 4, -4*j = -c for c.
4
Let q be (-9)/(-4)*(2 + (-14)/21). Solve i = -2*o + 5*o + 12, 5*o = -q*i - 6 for o.
-3
Suppose -4*q - 2 = -18. Let f(y) = -y**3 + 7*y**2 - 6*y - 3. Let m be f(5). Let z = 45 - m. Solve -q*j - 21 = -2*j - 3*b, -j - z = -5*b for j.
-3
Suppose 78 = -2*r - r. Let d = -16 - r. Let v be 36/d*5/2. Solve a - 4*a - 3*p = -15, 0 = -5*a - p + v for a.
1
Let q = 1 - -2. Let l(d) = d**3 - 7*d**2 + 8. Let t be l(7). Solve -2*a + t = 4*z, 12 = 3*a + q*z - 0 for a.
4
Suppose -3*d + d + 32 = 0. Suppose -4*a + 0*a + d = 0, 2*b - 22 = -3*a. Solve -5*g - b = -3*u, -4*g + 3 = -3*u - g for u.
-5
Let v(i) = 2*i - 15. Let x be v(8). Suppose 