 Let t be p(6). Solve -t*b = 5*h + 35, -4*h + b = -0*b + 11 for h.
-4
Let s be 17 + -2*2/(2 - 0). Solve -2*v - 7 = 2*b - b, 0 = -3*v + 3*b - s for v.
-4
Suppose 2*s + 21 = 5*f + 2, -3*f + 12 = -s. Solve -4*i = 4*z + 28, f*i = z - 4*z - 29 for z.
-3
Let c(j) = 8*j - 25. Let o(a) = 4*a - 13. Let y(l) = 3*c(l) - 5*o(l). Let r be y(8). Suppose -4*i + 6 + r = 0. Solve -2*q = h - 1, h + 0*h = -4*q + i for q.
3
Let h(a) = -a + 3. Let m be h(1). Solve -3*s - 3*z - 18 = 2*z, 2*s - 4 = m*z for s.
-1
Let b = -3 - -7. Let l be 13 - -1*(-3 + b). Let q be l/77 - 40/(-22). Solve -q*o + 4 = o + 2*h, 0 = -4*o - 5*h - 4 for o.
4
Let o be 0 - (0 + 3) - -6. Suppose s + 2*s + 3 = 3*k, k = 5*s - o. Solve x + 4*r = 7, -r + s = -2 for x.
-5
Suppose -m - 4 = -3*g - 24, -3*m + 4*g + 60 = 0. Let a = 5 - 0. Let p = a + -3. Solve n - p = -2*q - 9, m = -4*q + 4*n for q.
-4
Let k be (3/6)/1*8. Solve -4*d = -7*d + 3*x + 3, 0 = -k*x + 4 for d.
2
Let o = -10 + 12. Suppose o*k - 2*c = 12, -4 = -5*k + c + 18. Solve -5*w + 14 = 2*n, -w - 3*w - k*n = -4 for w.
4
Suppose 6*h = 3*h - 9, 3*c - 27 = 5*h. Solve 4*u = -4*o + c, -2*o + 1 = 3*u + 2*o for u.
3
Let u = -4 + 6. Let v(g) = -g**3 + 5*g**2 - 2. Let f be v(u). Let a = 15 - f. Solve -h = -0*h - 4, -n - a*h = -17 for n.
-3
Suppose s = 5*v - 15, s - 12 = -4*v - 3*s. Solve -v*b = 5*h + b - 9, 3*b = -4*h + 8 for h.
5
Suppose -3*k = k - r - 16, 4*r + 19 = k. Solve k*y - 3*h = 0, 0*h = -y + 4*h + 3 for y.
-1
Suppose 3*a - 3 = 2*a. Suppose b + 4*m - 6 = 13, a*b + 4*m = 25. Solve -5*v + k - 7 = -b*v, 0 = 4*v - 4*k + 8 for v.
-5
Let l(t) = -t + 6. Let x be l(-6). Let s = 15 + -7. Let d = 12 - s. Solve 5*f = k - 7, -x = d*f - 4*k - 0*k for f.
-1
Let n be (-1)/(-4) - (-108)/16. Suppose 3 = -w - 4*c + n, -5*w + 4 = 4*c. Solve w = -o + l - 1, -l + 5 = 3*o - 2*l for o.
3
Let q = 6 + -7. Let h be (-13 + -4)/(1/q). Solve 5*o = -2*s - h, 5*s - o + 17 = -5*o for s.
-1
Suppose 0 = 8*k - 3*k - 15. Let n(d) = 50*d. Let s be n(1). Suppose 4*m = 26 + s. Solve 4*j = -k*r + m, -2*j + 11 = j - r for j.
4
Suppose p + 17 = 4*v, v - 5*v + 7 = p. Let x be (-4)/8*(-12)/v. Solve 15 = 4*j - 7*o + x*o, 0 = 4*j + 5*o - 25 for j.
5
Let t be (-3)/5 - (-91)/35. Suppose -5*y - 39 = -0*s - 2*s, -3*y = t*s + 1. Solve -a + s = -p, -6*a = -p - a - 19 for p.
-4
Suppose 4*j = -0*j + 12. Solve -4*l = 2*q + 6, 3 - 4 = -j*q - l for q.
1
Suppose f - 3 = -5*n, n + 12 = 3*f + 3. Suppose 2*d + d - 30 = n. Solve 0 = -x + p - 7, 0*x - p = -2*x - d for x.
-3
Let z(t) = -t**3 + 5*t**2 - 4*t - 3. Let k be z(4). Let w = -8 - k. Let p = -2 - w. Solve 2*f + p*i = 2*i + 13, -5*i + 17 = -2*f for f.
4
Let k = -3 - -9. Let c be (-24)/(-10) + k/(-15). Solve -3*h = -c*r - 0 + 2, -r + 2 = -h for r.
4
Let q(v) = 3*v - 16. Let m be q(7). Suppose o - 2*o + 3*z = 12, o + 20 = 5*z. Solve o - 6 = -2*j - 4*k, 2*k = m*j - 15 for j.
3
Let l be (-5)/2*180/(-50). Solve -k - 4 = 0, 4*b - 3*k - l = b for b.
-1
Suppose 5*u - 19 = -4*l + 1, -l = 0. Suppose -r + u*h = -h - 33, 21 = r - h. Let x be (-4)/r + 114/27. Solve -35 = -3*a - x*z, z - 7 = -a + 3 for a.
5
Let s = 6 + -6. Let u = -3 + 7. Suppose -u*k - 2*a = -6*a - 20, 0 = -4*k + 3*a + 20. Solve -3*p - 4*b = 11, s + k = -b for p.
3
Let d(p) = 1. Let w(j) = j + 6. Let b(f) = 2*d(f) + w(f). Let l be b(-6). Solve -10 = -4*s - 3*g, -1 = -l*s - 2*g + 3 for s.
4
Let z be 32/20 - 2/(-5). Let i be (-3)/(z + 14/(-4)). Solve -3*t - i*u + 6*u + 7 = 0, 3 = t - u for t.
5
Suppose 0*z - 8 = -4*z. Solve 5*a = -z*k + 25, 3*a + 3*k - 13 = 2 for a.
5
Suppose 3*o - 94 = 7*o + 2*z, -2*o + z = 41. Let t = o - -36. Solve u + 2*u = -9, 3*u + t = -5*g for g.
-1
Suppose -r = -2*r - 4, 0 = -2*c - 3*r - 2. Solve -k = 2*k, 0 = -d - 3*k - c for d.
-5
Let y = -7 + 10. Suppose y*a = -0*o - 4*o - 10, 3*a - 14 = 2*o. Let b be (5 + -1 + 2)*1. Solve -3*n + b = i - a*i, -3*i + 2*n = -3 for i.
3
Let z be -19 + 0 + 0/9. Let d = z - -22. Solve 4*p + 8 = -4*r, d*r + 2 = -p - 0 for r.
0
Let z be (0 - -1) + (2 - 0). Suppose 3*g - 3 = z, -2*l + 3*g = 2. Solve -o = -h - l, -3*h - 14 = -8*h - 3*o for h.
1
Let i = -1 + 1. Suppose i = -u + 2*j - 7, -u = 2*u + 2*j - 11. Let g be u/(4/(-10))*-2. Solve x = 2*k + 1, g*x + 2 - 21 = -4*k for x.
3
Let m(w) = 4*w**2 - 8*w + 1. Let h be m(6). Suppose u - h = -5*v + 3*u, -4*v + 74 = 2*u. Solve b + d + v = 5*d, 20 = 4*d for b.
1
Suppose -g + 2 = g. Let m be (g/(-1))/((-3)/12). Let f be m/18*6*3. Solve 22 = -y - f*k, y + 15 = 6*y - 5*k for y.
-2
Let t(d) = d**2 - 3*d - 2. Let i be t(3). Let z(a) = -a**3 - a**2 - a. Let g be z(i). Solve -2*h = -g, r - 3 - 5 = -3*h for r.
-1
Suppose -2 = -3*c + 5*c. Let s be (c + 3)/((-4)/2). Let n = s + 3. Solve -w + 2*f = n, 0*w - 5*w - 23 = 3*f for w.
-4
Let f = 3 + -5. Let g be (f - 0)/(3/(-9)). Solve -r - 3*s + 4*s = -g, s - 3 = -2*r for r.
3
Let i = -11 - -17. Suppose -2*x = x - i. Solve 2*v + 2 = x*l - 0*l, -4*l + 5*v + 1 = 0 for l.
4
Let g be -1 - (-1)/((-1)/(-3)). Let j be (-3)/(-2)*(-1 - -3). Solve -3*v - 1 = 5*i, 4*i + j = -g*v + 1 for i.
-2
Suppose -t = -3*s - 15, 2*s + 4 = 5*t - 32. Let x = t - 2. Suppose v + 84 = x*v. Solve -29 = -4*f - 3*u, -v = -5*f + 4*u - 5*u for f.
5
Suppose 2*w = -2*w. Let h(r) = -r**3 + r + 4. Suppose 4*v = -5*s + 2 - 6, -5*v - 5 = -s. Let u be h(s). Solve -5*t + u*x = -25, t + x = -w*t + 5 for t.
5
Let g(p) = p - 7. Let x be g(9). Let v be ((-3)/x)/((-2)/4). Solve h + 4*w = 14, v*w + 1 = -0*h + 5*h for h.
2
Suppose o - 6*o = -5. Let c = o + 1. Solve -c*x - 4*u - 12 = 0, -5*x - 3 - 9 = 4*u for x.
0
Let w be (-3)/(6/2) + 7. Let t = 8 - 5. Solve -3*y = -w, t*a - 3*y = -a - 10 for a.
-1
Let j be -1*(-1 + 0)*7. Let d = 12 - j. Let c be 3/1*15/3. Solve -s + c = d*o - 0*s, s = -3*o + 11 for o.
2
Suppose 0 = -3*k + 3*f + 60, -4*k + 5*f = 3*f - 80. Suppose -k = -5*o - 2*z, -3*z + 15 = 2*o - 4. Solve -5*x = 4*w - 28, -w + x - o = -0*x for w.
2
Let o = -12 - -35. Solve 0 = 4*s + 3*x + o, 32 + 1 = -4*s - 5*x for s.
-2
Let t(b) = 12*b - 2. Let v be t(-2). Let j = v + 30. Suppose 2 = 2*k - 2. Solve k = -5*r - 2*u, -3*r - 5 + 1 = j*u for r.
0
Let p be 2/(-12) - 35/(-30). Solve 4*j + p = -2*r - 1, -3*r - 2*j = -5 for r.
3
Let d(g) = -g**3 + 7*g**2 + 3. Let s be d(7). Suppose 13 = s*u - 5. Solve 5*j = -2*h + 19, -h - h - u = 0 for j.
5
Suppose -2*p + 3*p + 4*v + 3 = 0, 5*p + v - 42 = 0. Suppose 5*w = 6 + p. Solve 0 = -5*d + 3*d - 5*n + 19, -3*d + n = -w for d.
2
Let b = -38 + 18. Let s = b + 42. Let a be s/5 - 8/20. Solve 4*i = 2*q - 20, -a*q + i + 7 = 4*i for q.
4
Let n = 48 + -44. Solve -3*i + 11 = n*a, i - a = -6*a + 22 for i.
-3
Suppose 0 = -5*n - 2*o - 7 + 31, 5*n = 5*o + 10. Solve -3*g - 2 + 13 = -2*p, -24 = 5*p - n*g for p.
-4
Let p = 13 + -8. Let j be -1*(0 - -2) - -2. Solve -2*t = -3*z - j*z + 12, 20 = p*z - 4*t for z.
4
Let r be 12/(-18) + 28/6. Suppose r*o = -5*p + 7, -3*p + 14 = 5*o - 2*p. Solve -o*g = -2*n + 3 + 5, 4*g + 4 = n for n.
4
Let f(o) = -3*o**2 + 0*o**2 + 3 - 12 + 8*o. Let g(m) = m**2 + 1. Let r(i) = -f(i) - 4*g(i). Let y be r(-8). Solve 0 = -3*u + 4*j - 16, -4*u - y*j = 8 + 3 for u.
-4
Let q(j) = -j**2 - 1 + 1 - 3*j + 12. Let d be q(-5). Solve n + 4*h = 19, -n - d*h = n - 14 for n.
3
Let t(u) = -u**2 + 11*u + 27. Let x be t(12). Solve 4*l - 2 = -3*z + x, -l = 5*z for l.
5
Let w be -7 + 2 + -1 + 2. Let y = 4 + w. Solve y = 2*a - 7*a - 3*n - 5, -3*a = 4*n + 3 for a.
-1
Let i(q) = 2*q**3 - 4*q**2 + q - 6. Let r be i(3). Solve 3*c + o = 5*o - r, -3*o = 3*c + 15 for c.
-5
Let r(p) = 9*p - 45. Let o be r(7). Solve 5*l + 5*f - 10 = 0, 0*l + 3*l - f = o for l.
5
Let o = 88 + -86. Solve -o*a = -2*s - 0*s - 4, -5*s + 4*a = 7 for s.
1
Let l = -3 - -8. Suppose -5 = w - 2*w. Solve l*y = -2*m - 21, 0 = 2*y - w*m + 8 + 12 for y.
-5
Let d be (-20)/25 - 138/(-10). Solve -p = -t - 3*t - 19, d = -4*t - p for t.
-4
Let o = 4 + 1. Suppose -o*k = -4*k - 3. Solve 5*i - k*m + 21 = -m, -2 = 2*i - 4*m for i.
-5
Suppose -5*t + 2*s + 6 = 4*s, -5*t = s - 3. Suppose -g - g + 4 = t. Solve 7 = -6*q + q + g*x, 5*x = -5*q for q.
-1
Let y = 54 + -54. Solve y*c = -2*b + c - 8, 5*b + 22 = 3*c for b.
-2
Let j = -45 + 49. Solve -6 = 3*p, -c + 24 = j*c - 2*p for c.
4
Let i be (1 - 1) + (1 - -2). Let d(b) = 2*b - 12. Let l be d(9). Let r = 2 + l. Solve -s + 2*s + 16 = -5*q, -5*s + r = i*q for q.
-4
Suppose 2*g - 2*d = 1 - 