 = -c. Let g be 4*(z + (-7)/(-2)). Solve 3*d - 11 = -s, 5*s + 3*d = 5 + g for s.
-1
Let f = -5 + 17. Let z = 15 - f. Solve 0 = 2*a - 2*t - 8, -z*a - 5 - 11 = 4*t for a.
0
Let s(z) = -z**2 + 10*z + 5. Let q be s(10). Solve -3*n = 5*r + 22 - 7, 0 = q*n - 2*r - 6 for n.
0
Let h be -4 + 2 - -32 - -1. Let d = h + -21. Solve l + 3*l - o + 15 = 0, -2*o = d for l.
-5
Let i(t) = t**2 - 3*t + 6. Let c be i(6). Let k = 41 - 17. Suppose -2*o + 12 + k = 0. Solve 2*l = y + y - o, l = 4*y - c for y.
5
Suppose 0 = -6*p + 8*p. Solve 4*t - 4 = -2*z - 0*t, 4*z - 3*t - 8 = p for z.
2
Let t be 12/(-8)*(-1 - -11). Let f be (-44)/(-10) + 6/t. Solve -f*u + 0*a - 5*a - 7 = 0, 8 = u - 2*a for u.
2
Suppose -4*c - 6 = -2*w, -2*c = -c - 5. Solve 0*m + 4*m + 8 = -4*b, -4*m - w = -b for m.
-3
Let f = 52 + -47. Solve -4*b + 3*b - 5*j = 7, 0 = 4*b + f*j - 2 for b.
3
Let t(m) = m**3 + 9*m**2 - 12*m - 20. Let j be t(-10). Solve 5*y = -j*y - 3*g + 29, -3*g + 9 = 0 for y.
4
Suppose 0 = -2*y + 2, 4*l - y + 5*y = 12. Solve -4*c + v - 2*v = 0, -2*c + l = v for c.
-1
Let k = 4 + -2. Suppose -5*t + 89 = -21. Suppose -t = -4*i - k. Solve a - 3 - 2 = 3*c, -25 = 5*c - i*a for c.
0
Suppose 0 = l - 5*k + 9, 2*l = 5*l + 2*k + 95. Let n = l - -34. Solve 2*w + 3*m = w - n, 3*m = -9 for w.
4
Let k be 4/(-8)*(-5 + 1). Suppose k*t - 5*v = 22, v = 5*t + 7 - 85. Let m be 4/t + 22/8. Solve 2*j + 8 = -l + m, 3*l + 7 = -2*j for j.
-2
Suppose -5*u = -4*t + 51, 0*t + 2*u = -t + 3. Suppose -3*m = -6*m + t. Suppose m*a = -a. Solve i = -4*i + x, a = 5*x - 25 for i.
1
Let n(k) = k**3 - 6*k**2 + 4*k + 3. Let s be n(5). Let w be s/(6/10 - 1). Let y = -40 - -45. Solve w*t - y = -5*z - 15, 3*z + 2 = -t for t.
-2
Suppose -2*j + 5*p - 15 = 0, -4*j + 2*p - 6 = -3*j. Solve h = -i, j = i - 0*h - h for i.
0
Let y(m) = -2*m - 12. Let i be y(-9). Let j = i - 2. Solve h = -h - n + 9, -j*h - 3*n = -17 for h.
5
Let z(u) = -u - 3. Let h(t) = -2*t - 7. Let s(i) = 4*h(i) - 9*z(i). Let d be s(7). Solve 4*q = -c - 1 - d, 4*q - 8 = 4*c for q.
-1
Let g = 14 + -9. Let p(v) = v**3 - 10*v**2 + 6. Let c be p(10). Let m be c/(-4)*16/(-6). Solve 0 = o - 2*h - 13, 0*o + m*h - 9 = -g*o for o.
5
Let j(h) = -5*h**3 - 2*h - 2. Let n = -4 + 3. Let t be j(n). Solve -5*r + 22 = -3*s, t*r - 21 = 5*s - s for s.
1
Suppose 3 = 2*z - 3. Suppose 6*k - 25 = k + 5*t, z*k = t + 13. Solve 4*b = -5*o + 20, -k*b - 17 = -3*o - 5 for b.
0
Let q(l) = -l - 1. Let f be q(-3). Let b = 6 - f. Let u = -1 + b. Solve w + 4 = 4*n, 0 = 5*n + u - 13 for w.
4
Let h(s) = -s + 1. Let f be h(-2). Suppose f*i = -5*g, -2*g + 16 = -0*i - 2*i. Let p be 2/(-6) + 20/6. Solve 3*t + 3 = 5*l, p*l - g = 2*l for t.
4
Let n = -229 + 123. Let u = -67 - n. Suppose -5*b + u = -6. Solve -2*z + x + b = 0, x + 27 = 5*z - 3*x for z.
3
Let v = 6 - 3. Suppose -v*s - b + 4 = 0, 8 = -2*s + 3*b + 29. Suppose -13 = -r + 1. Solve 2*x - r = h + 2*h, -14 = h - s*x for h.
-2
Let x(a) = -3*a + 1. Suppose 3*u + 5*y = -2*u - 20, 5*y - 25 = 4*u. Let s be x(u). Solve 4*w - s = d, -5*w = -0*d - 2*d - 20 for d.
0
Let d = 18 + -3. Solve -5*b - 5 = u - 2*b, 3*u = b + d for u.
4
Let a be 30 - (18/3)/(-3). Suppose 2*q - a = 4. Solve 3*x = -0*x + 4*j + q, -3*x + 2*j + 12 = 0 for x.
2
Let r(o) = -o**2 + 3*o - 4. Let u be r(3). Let x = u - -9. Suppose 4*i - 21 = -1. Solve 5*a = -2*l + i + 14, 4*l + x*a = 13 for l.
-3
Suppose -29*s = -34*s + 10. Solve -r - 4*g = -s*r + 3, -35 = 5*r + 5*g for r.
-5
Let v be (-44)/(-10) - 2/5. Suppose -c - 4*b + 9 = -0*c, b + v = c. Solve 0 = 4*k - 5*s - 3, -2*k - s + c = -0 for k.
2
Let p(t) = t**3 - 13*t**2 + 13*t - 11. Let y be p(12). Solve -b - 5*k - 18 - y = 0, 5*b + 23 = -k for b.
-4
Suppose -p + 40 = -6*p. Let m = 11 + p. Solve 0 = 2*u + 2, m*u = -0*s - s - 2 for s.
1
Let c be 0/((-1)/(2/(-4))). Suppose -v + c*b - b + 19 = 0, 3*v - 58 = -2*b. Solve -k + 11 = 3*k - g, 5*g - v = -5*k for k.
3
Let t = 5 - -1. Suppose 0 = t*q - q - 10. Solve -n - 4 = 3*y, 3*n + n = -q*y - 6 for n.
-1
Let a = 115 + -111. Solve 2*z = -3*q - 0*q + 6, -a = 3*z - 2*q for z.
0
Let p = -6 + 10. Suppose -18 = -p*v + 2*v. Suppose 4*f = -4*y + 24, 3*y + 0 = v. Solve -4*m + 3*u - 5*u = 18, -6 = -m + f*u for m.
-3
Let u(n) = n**3 + 5*n**2 - 2*n + 2. Suppose -3*z + 2*v = -3*v + 5, -5*v = z + 15. Let r be u(z). Solve -3*h + r = 0, 5*h + 5 = d + 26 for d.
-1
Suppose 4*b - 3*j + 34 = -8*j, 0 = 4*j + 8. Let k be 4/2 - b/2. Let x(d) = -d**2 + 6*d - 5. Let s be x(5). Solve s = -2*l - 5*u + 37 - 10, k*l = u for l.
1
Let u(s) = s - 3. Let x be u(8). Solve 15 = x*d - i, -4 = 3*d - 5*i + 9 for d.
4
Let d be (15/5)/((-9)/(-6)). Solve -d*h - 2*u = 0, 5*h + 0*u + 5 = -4*u for h.
-5
Suppose 0*u = 5*u - 150. Solve -4*y + u = y + 4*c, -3*y + 2*c - 4 = 0 for y.
2
Suppose 4*w - 13 = 3*g - 2*g, 5*w - 14 = -g. Solve w*o - 3*z = 0, 3*o + 0*z - 8 = -z for o.
2
Suppose 0 = 2*m - 0*m - 8. Suppose 0 = -r - 0*r + m. Solve -r*p - 5*h + 11 = -0*p, 0 = -3*p - 3*h + 9 for p.
4
Suppose -2*s + 0*s = 0. Suppose -3*p - 3 = s, 0 = -5*i - 2*p + 4*p + 12. Solve 2*l = z + 9, 7*z = 2*z + i*l - 21 for z.
-3
Let k be (2 + 12/(-8))*6. Solve -5*i = -k*y - 11, -i = -3*y - 6*i - 1 for y.
-2
Let s be 4/14 + 162/21. Suppose 3*b = 4*r + 15, 2*r + 1 + s = 3*b. Let o be 4*1/(-3)*r. Solve -4*m = -j - 0*j - 4, o*m - 16 = -2*j for j.
4
Let f(w) = w**2 - 8*w + 2. Let n be f(8). Solve i - 5*k - 11 = -n*i, -5 = 3*i - k for i.
-3
Suppose -c - 4*c = 0. Solve c = 3*p - 5*x - 2, 6*p - 2*p - 2*x - 12 = 0 for p.
4
Suppose f - 9 = -j - 3*f, 4*j - f = 2. Solve 2*b = 3*t - 2*b - 23, j = -t - 3*b for t.
5
Let r = 0 + -6. Let k(t) = -t - 3 + 4 - 3. Let q be k(r). Solve 2*b + 23 = -5*g, 33 - q = -5*b - 3*g for b.
-4
Let w(c) = c - 3. Let i be w(2). Let f be 4*(i + 5 - 2). Let b be (3 + 0 + -3 + 0)/1. Solve -q = -4*r + f + 2, b = 2*r - 4*q - 12 for r.
2
Let y = 17 + -8. Let f be 26/5 + y/(-45). Solve -f + 4 = q + 4*r, -5*r = -q - 1 for q.
-1
Suppose 3*c + 18 = x + 41, 4*c + 2*x = 24. Suppose 0 = 2*k + 4*v - 58, -3*k - c = -2*v - 70. Solve z = -m - 7, 0*z - z - 5*m = k for z.
-3
Let i = 196 - 193. Solve -3*o = -o + v, -5 = -i*o + v for o.
1
Suppose 5*n - 40 = -5*u, n + 7 + 0 = 2*u. Let b(h) = 2*h - 1. Let g be b(2). Let j = 3 - g. Solve -1 = -3*f - 2*a, a + 6 = u*f - j for f.
1
Let r = 22 + -20. Suppose 4*w + 1 = -o, -3*o - r*w = -2*o - 1. Solve -o*d + 11 = 4*x, 5*x - 8 = -d + 3*d for x.
2
Let u = 10 - 10. Solve u = -2*o - 3*w - 15, 0*o - w - 5 = -2*o for o.
0
Let d = 13 + -1. Let h = d + -7. Let n be (-6)/(2 + 21/(-6)). Solve -f - 1 - h = 2*w, 4*f + w = n for f.
2
Let c = -8 + 12. Solve -c*k - 3*b = 13, 3*k - b = -2*b - 6 for k.
-1
Let j be -1 + (-1)/(2/(-2)). Solve -2*y + z - 14 + 6 = j, y + 4 = -z for y.
-4
Suppose 5*d - 33 = -13. Let o(n) = n - 2*n - n**2 - n**3 - 1 + 0*n. Let t be o(-1). Solve 3*p + 9 = t, a + d*p - 3*p + 5 = 0 for a.
-2
Let j(r) = r**3 + 3*r**2 - 4*r + 3. Let g be j(-4). Let n be (-1)/(2*g/(-30)). Solve -29 = -4*k + 5*l, n*l = l - 20 for k.
1
Suppose 0 = -0*a + 4*a + 156. Let g be 3/(-12) + a/(-12). Suppose 0 = 2*h - 3*u - 2, -3*h + 6 = -h - u. Solve 3*n = g*v + 3, -2*n - n = -h*v - 5 for n.
-1
Suppose 12 = 6*b - 0. Solve b*m - 16 = -2*l, -32 = -3*m + 2*l - 7*l for m.
4
Let q(i) = 3*i**2 + 10*i + 7. Let s be q(-3). Solve 2*u + s*y = -12, -4*u = y - 5 + 1 for u.
2
Suppose -5*f + 1 = -9. Solve -3*q + 2 = -5*h, -4 = -2*q + f*h - 0 for q.
4
Let s(i) = i**2 + 4*i + 5. Let j be s(-4). Solve 3*z + 1 = -4*l - 6, 0 = -j*z + 5*l - 35 for z.
-5
Let y = 59 - 57. Solve 0 = -y*b + 3*i - 7 + 3, 0 = -5*b + 4*i - 17 for b.
-5
Let l(a) = a - 2. Let y be l(4). Suppose 3 + y = r. Solve 2*h + 22 = -r*o, 7*h + 21 = 2*h - 4*o for h.
-1
Let x = -14 + 18. Solve 0 = d + 4*t + x, 0*t = -3*d + 2*t - 12 for d.
-4
Let f be -1 + 3 - 2/(-2). Solve -3*n - 3*u + 0*u - 3 = 0, -f*u = -2*n + 23 for n.
4
Let c(p) = -p**3 - 12*p**2 - p - 10. Let t be c(-12). Solve -t*k + 2*o + 12 = -o, -k - 2*o = 1 for k.
3
Let a = -8 - -1. Let b = 8 - a. Solve 0 = 5*w + b, 4 + 2 = -5*i + 3*w for i.
-3
Let o be (-5)/3 + 1/(-3). Let c be (-2 - o)/(-6 - -3). Suppose p - 8 = -3. Solve p*l - 3*q = c, 3*q = -q - 20 for l.
-3
Let z = -14 + 18. Solve -9 = -3*i + 4*f, 3*i - z*f = -i + 8 for i.
-1
Let s(r) = r + 4. Let i be s(7). Suppose 2*g = 3*y + i, 5*y - 2 = -g + 3*y. Solve -3*n + g*w = 8, -2*n - 4 = -4*w - 0