Let o be b(12). Let f = o + -1. Solve 14 = -f*p + 4*t + 2, 3*p - t + 3 = 0 for p.
0
Let w = -1 + -29. Let i be w/(-8) + 9/(-12). Solve -4*h = j + i*j + 20, 4*j = 0 for h.
-5
Let l(m) = -2*m + 20. Let j be l(6). Solve 3*q + 2*g = j, -2*q - 4*g = -3*g - 4 for q.
0
Suppose 5*q + g - 23 = 0, 0 = -3*g - 2 + 11. Solve 2*i + 11 = 3*k + 3*i, 2*k + q*i - 24 = 0 for k.
2
Suppose 5 = 5*p - 4*b - 21, 12 = 4*p - b. Suppose 2 = p*q - 2. Solve 5*u = -d - 5, -2*u + 4*u + 2 = q*d for d.
0
Suppose -2*g - g = -78. Let r = g + 3. Suppose -i + 4*k + 0*k + 24 = 0, -r = -i + 5*k. Solve -2*j = -z + 3*z + 2, 5*j + 14 = i*z for j.
-2
Suppose 2*n - 17 = -z, -n + 15 = 2*n. Suppose -5*v + 27 = z, 2*v + 37 = 3*g. Solve -4*k - u = -k + 9, -5*k + 2*u - g = 0 for k.
-3
Let n = 3 + -4. Let d be (-7 + 10)/(2 + n). Solve 14 = 4*j + x, -3*j + d*x + 10 = 4*x for j.
4
Let y(k) = 5*k - 22. Let i be y(5). Solve i*h + 9 = -3*o, -2*h + o = -6 + 15 for h.
-4
Let n = -34 - -37. Solve -2*a - n*t + 1 = 0, -3*t - 6 = -a + 8 for a.
5
Let b = 4 + 0. Let l = b + -1. Suppose l*r + r = 0. Solve 4*v - 2*m + 22 = -r*m, 2*v - 2*m + 16 = 0 for v.
-3
Suppose 5*h + 2*x - 23 = 0, 0*h + 4*x = -3*h + 25. Suppose -h*q = 3*b - 24, 33 = 4*q + 2*b + 11. Solve 5*m - q*o = -2*o + 16, 3*m - 6 = -3*o for m.
3
Let w = -1 - -3. Let i be (-8)/w - (-3 + 4). Let k = i - -10. Solve 3*u + 2 = k*d - 4*d, -6 = -3*d + 5*u for d.
2
Let v = 53 + 7. Suppose 4*h = h + v. Solve 2*t + 3*x - 22 = -x, -h = -4*x for t.
1
Let u(d) = d**3 - 3*d**2 - 3*d + 1. Let a be u(4). Solve 4*c + 16 = 0, a*i - 5*c = 2*i + 11 for i.
-3
Let z be (41/(-2))/(3/(-6)). Suppose -60 = 3*m - 8*m + 5*y, 3*m - z = 2*y. Solve 5*q = -5*g + 20, 2*g + 5*q = 6 + m for g.
-1
Let m = -24 - -10. Let c be 3/5 + m/(-10). Suppose 5 = -b + 3*q + 1, -c*q + 6 = 0. Solve 7 = -2*u - u + 4*j, 2*j = u + b for u.
3
Let g be 6 + -3 + -2 - -11. Let i = -9 + g. Solve 5*f - 11 = 3*q, i*f - q - 7 = -2 for f.
1
Let k = 12 - 8. Let w = -6 + 8. Suppose -w*i = 4*b, -4*i + 7 = -3*b + 4*b. Solve 4*h + 40 = -k*n, -i*n = 3*h + 5 + 20 for h.
-5
Let k = 14 - 10. Let c(x) = x. Suppose -2*w = -3*w. Let z be c(w). Solve z = -3*j + 12, 16 = u + k*j - j for u.
4
Let y be ((-90)/12)/(9/(-6)). Solve -5*r - y*v = 0, -7*r - 2*v + 12 = -2*r for r.
4
Let n(q) = q**2 + 5*q - 3. Let h be n(3). Suppose 3*y - 4*y = 4. Let d be -4 - 6*y/6. Solve 0 = -5*w - 4*f + 9, 5*w + d*w - h = -f for w.
5
Let l = 22 + -49. Let v be (-6)/(0 + (-6)/l). Let z = v - -46. Solve j + 1 = 2*j - k, 5*j + z = -3*k for j.
-2
Suppose 5*h + 0*c + 5*c = 0, -h + 10 = -c. Let l be ((-3)/1 + 2)*-4. Let w be (-2)/l*(-14 + 4). Solve 0 = -2*n + 5*z + 8, w = -h*n + z + 2 for n.
-1
Suppose -g = 5*f + 7, 12*g = 7*g - 5*f + 5. Solve 0 = -g*x - 2*i + 4, 5 = 2*x - i - 0 for x.
2
Let d(t) = t**2 - 5*t - 9. Let z be d(-2). Solve 5 = -5*j, y = -0*y - z*j - 1 for y.
4
Suppose 6 = 4*c - 2. Let j be 3 + c + -2 - 2. Let x be 6 + (-1 + j - 2). Solve 0 = 3*b - w + 2*w - 12, 0 = -x*b - 2*w + 18 for b.
3
Let l be (-1)/2 - (-20)/8. Let b be 36/1 + l + 0. Suppose 3*v - b = -4*h, -2*h = 5*v + 2*h - 50. Solve -v*q + q - 10 = 0, -5*q + 15 = 5*w for w.
5
Suppose -4*m - 5 = 7. Let z = 6 + m. Let w = 2 + 3. Solve -4*n + t = w, -4*n - 9 = z*t - 8*t for n.
-1
Let x = 60 + -34. Let d(r) = r**2 - 7*r - 2. Let o be d(5). Let b be 16/(-6)*o/8. Solve -2*n - 5*c = 31, 2*n + b*c + x = -0*n for n.
-3
Let t(r) = r**3 + 4*r**2 - 5*r. Let d be t(-5). Let j be (0/(-3 - d))/2. Solve 3*h - 5*l - 32 = j, 7*h - 2*h - 5*l = 40 for h.
4
Suppose -y - 3 = -4*m, -5*y + 3*m - 6 = -25. Solve 0 = 4*b + i - 6, -2*i - 2*i + 3 = -y*b for b.
1
Suppose -1 = -3*c + 2*h, -5*c - 2*h + 13 = -10. Solve -c*r = -3*o + o + 1, -5*r = 5 for o.
-1
Let o be (0 - -1)/((-1)/(-2)). Let l be 4 - (0 - (-3 + o)). Let z = -10 - -12. Solve -2*s + 0 - z = 4*h, -4*h = l*s + 5 for h.
1
Let j be 2 - 5/((-15)/12). Solve 3*u - 4*b = -2*u + j, 3*u + b - 7 = 0 for u.
2
Suppose -5*z + 2 = -23. Suppose -29 = -2*t + 3*m, 59 = z*t - m - 2*m. Solve -4*x = -5*l + 8 - 33, -x + 5*l + t = 0 for x.
5
Let o be 6/9*168/8*1. Solve 3*c = 3*d - 3, -c + d + o = 5*d for c.
2
Let m(n) = 15*n**2 - n + 1. Let g be m(1). Let w(o) = 3*o**2 - 5*o + 6. Let z be w(4). Let r be 1/(-1) + 19 + -2. Solve 3*k - z + g = -c, -4*k + r = -c for c.
4
Let z = 2 + 3. Let p(y) = -y**3 + y**2. Let f be p(1). Let h = f - -5. Solve -8 = 6*b - 2*b - z*c, 0 = h*c - 20 for b.
3
Let r(d) = d**2 + 9*d - 13. Let c be r(-10). Let q = 2 - c. Solve 3*b - 7 = q*k, -3*k = -2*b + 6 - 1 for b.
4
Let r be (-3)/(0 + (-2 - -1)). Suppose -6*j + 3*j = -r. Let h be j/(-2)*-5*2. Solve 0*i - 3*i = h*b, b = -5*i for b.
0
Suppose -o + 6 = -q, 0 = 3*q + 2*q + 10. Suppose 0 = -5*j, v + o*v - 2*j = 0. Solve -i + 4*h + v*h = 3, -i = -5*h + 3 for i.
-3
Suppose 7*b = -0*b + 42. Suppose 0 = 8*m - 6*m - b. Solve 2*q = 5*i + 15, -m*i + q - 3 = -2*i for i.
-3
Suppose -7*r = -5*r. Solve r*d - 21 = -3*o + 3*d, -3*o + 31 = -5*d for o.
2
Suppose j - 3 = -2*j. Suppose -2*q - t + 8 = -j, -5*q + 30 = -5*t. Solve 2*f = q*m - 16, 2 = 5*m - 4*m for f.
-3
Let f = 87 - 67. Solve x - 4*d - f = 0, 7 = x - 5*d - 17 for x.
4
Let d(j) = -j**2 - 14*j - 30. Let c be d(-11). Let i be 0 + 13 - 4/(-2). Solve -y + 2*y + 2*r + i = 0, 0 = 3*y - c*r for y.
-5
Suppose -r - 40 = -3*q + 31, -4 = -4*r. Solve -4*t - 3*p - 31 = 0, 4*p + 16 = -5*t - q for t.
-4
Suppose t + 7 = -3. Let p(n) = n**2 + 8*n + 8. Let y be p(t). Solve 5*m - y = -5*v - 8, 5*v = -3*m + 12 for m.
4
Suppose 4*w = -5*r + 18, -1 - 1 = -w. Solve 0 = -0*s + 2*s + 3*z + 1, 2*s - r*z = -16 for s.
-5
Suppose -7*z + 152 = -2*z + 4*s, -4*z = -3*s - 103. Let x be (z/8)/((-2)/(-8)). Solve -3*f = -h - x, -h = -3*h + 3*f - 13 for h.
1
Suppose 4*c - 14 - 70 = 0. Solve -13 = 3*r - 4, -3*p + c = -4*r for p.
3
Let z(n) = 5*n**2 - n - 1. Let v be z(-1). Let c(b) = b + 1. Let q = -1 + 5. Let g be c(q). Solve -3*p + g*w = -17, -v*w - 12 = 8 for p.
-1
Let x(l) = l + 1. Let n(y) = 3*y - 1. Let u(q) = -n(q) - 2*x(q). Let o be u(-1). Solve -4*z - 3*t + o*t = -4, 0 = z - t - 1 for z.
1
Suppose -3*q + 2*q + 4 = 0. Suppose -3*a - 3 = q*u - 6*a, 4*a = 2*u + 14. Suppose 2*x - 20 = -u*x. Solve x*k - r = -0*r + 19, 3*k - 14 = r for k.
5
Let g(j) = -j + 12. Let z be g(7). Let v(s) = -2*s + 6. Let a be v(z). Let k be -12*(8/6)/a. Solve -k*b - 26 = 3*l, -5*b - l = -4*l + 19 for b.
-5
Let k(f) = 4*f + 10. Let n be k(-4). Let o be n/(-12)*(0 - -10). Solve -2*p + 25 = o*j, 5*p - 3*j + 10 = -j for p.
0
Suppose -1 = -z - 3*x - 14, 0 = 2*z + 2*x + 6. Solve n = -z*n + 2*k + 4, 3*n - 4*k - 2 = 0 for n.
2
Let w be (-3 - 1)*5/4. Let m(s) = -s**2 - 3*s + 12. Let x be m(w). Solve -8 = -5*g + y - 2*y, -x*g - 2*y = 0 for g.
2
Let t(m) = m**3 + 5*m**2 - 10*m - 10. Let v be t(-6). Suppose -3*u + 23 = -13. Solve 5*b = 2*b - o + v, -2*o = 2*b - u for b.
4
Let u(b) = 4*b + 0*b + 0*b - 1. Let d be u(1). Solve 5*o = 5*z - 15, -d*z + 4*o + 6 = -5 for z.
1
Suppose -5*k = -2*n + 14, -2 - 12 = -2*n - 2*k. Let q be (-6)/21 + 163/n. Solve 4*f = -4*w + 55 - q, -5*w = -5*f for w.
4
Suppose 2 = 3*q - 4. Suppose 2*h - q = h. Solve 3*c + h*v + 19 = 7*v, -c + 5*v - 23 = 0 for c.
2
Suppose 5 = -4*y - b - 1, 4 = -2*b. Let m be 16 + y - (0 + -1). Suppose -x = -5*f + m - 6, -4*x + 2 = f. Solve 5*k = -5*a - 15, -f*k + 2 = 4 for a.
-2
Suppose 5*g + 12 - 67 = -5*s, -43 = -4*g - 5*s. Solve 4*c - g = -v, -c - 15 = -6*c + 4*v for c.
3
Suppose -5*r - 11 = -3*i - i, 2*i - 5*r - 3 = 0. Solve -3*a - 1 + 5 = -2*c, -i = -a - 2*c for a.
2
Suppose -2*o + 4*o + 4 = -u, 5*u - 19 = 3*o. Solve -5*p = 4*h - 4, 3*p - u*p = 4*h + 20 for p.
4
Suppose 8 = 5*c - 2*b, -4*c = -7*c - 5*b + 11. Suppose 0 = 2*k + c*l - 2, -4 = 5*l + 1. Solve 0 = -d + 5 - k, -10 = m - 3*d for m.
-1
Let h be (4/2*-3)/(-2 + 0). Solve 2 = 2*w, -2*w = 2*f + h*f - 17 for f.
3
Let n(k) = -k**3 - 9*k**2 - 8*k. Let g be n(-8). Let f = 2 + 2. Solve -3*b - f*m + 12 = g, -2*m - m + 9 = -b for b.
0
Suppose -6 = 3*g - 33. Let x be 4*(-3)/(36/(-15)). Let f = -2 + 5. Solve 3*z + g = -f*p + p, 0 = -x*p for z.
-3
Let w(z) = z + 12. Let x = 12 - -1. Suppose -2*v - 11 = x. Let g be w(v). Solve 4*d - 3*h = g, h - 5*h + 13 = -d for d.
3
Suppose -21*j + 27*j = 24. Solve -5 = j*d + 4*n - 7*n, -4*d = -2*n + 10 for d.
-5
Suppose -4*a + 12 = -0*a. Let o(w) = -w**2 - 10*w - 3. Let i be o(