+ 2*h + 20 = 4*h, b*h - 40 = -5*x. Let q(d) = -d - 5. Let y be q(-7). Solve -22 = -x*i - y for i.
4
Let s be (6/4)/(4/16). Solve -s*p + 5*p - 1 = 0 for p.
-1
Suppose z - 2*z + 39 = 5*b, -4*z - 5*b + 96 = 0. Let a = -15 + z. Solve -s = 3*s - a for s.
1
Let o = 20 - 17. Suppose -3*f = 5*y + 13, f + 1 = o*y - 4*y. Solve -f*p = -2*p for p.
0
Suppose -4*a + 3*q + 5 = 0, 5*a - 5*q + 3*q = 1. Suppose -k - 5 + 4 = 0. Let y = a - k. Solve y = -4*h + 1 - 5 for h.
-1
Let y = 1 - -2. Suppose 2*b - y*b = 2*m - 7, 4*m = -b + 11. Solve f = -2*f + b for f.
1
Let o = -55 - -58. Solve -a + o = 6 for a.
-3
Let p be 10/(-8)*(5 - -3). Let z be (4/p)/((-4)/40). Let o = -1 + 1. Solve o = -3*l + z + 2 for l.
2
Let h = 3 - -1. Suppose 8*c - 3*c - l = 12, -5*c - 3*l + h = 0. Suppose 4*m - c*m - 10 = 0. Solve o = 2*o + m for o.
-5
Let b(d) = 2*d - 6. Let t be b(5). Let c be 2*2 + -17 + 13. Let l = 5 - -13. Solve t*a - l + 6 = c for a.
3
Let h = 6 - -1. Suppose -h*o + 15 = -2*o. Solve -o + 11 = -2*s for s.
-4
Suppose 8*y + 3*p + 5 = 3*y, y = 5*p + 27. Let o = 6 - y. Solve n + n = -o for n.
-2
Suppose -2*j + 10 = 3*j. Let o be j + -1 + -1 + -1. Let r = o - -1. Solve r = -v + 1 for v.
1
Let o(m) = -2*m. Let t be o(1). Let d be (11 - (2 - 0)) + t. Solve -d - 13 = 4*f for f.
-5
Let i be 0*(3 + (-1 - 3)). Solve 4 = t - i for t.
4
Let l be 70/(-20) + (-6)/(-4). Let h be (-42)/(-14) + (-4)/l. Solve -4*n - h = -5*n for n.
5
Suppose r = 4*u - 14, -6*r + r = 3*u - 22. Suppose -h = h - u. Solve -2 = h*q + 2 for q.
-2
Let c(r) = -3*r - 6. Let s be c(-6). Let i(n) = n**2 + 6*n + 12. Let p be i(-5). Solve p*v = 4*v - s for v.
-4
Let c(q) = 3*q + 14. Let i be c(-4). Solve -i*x - 5 = -1 for x.
-2
Let u be (-1 + 4 + -3)*1. Solve -5*z = -u*z - 10 for z.
2
Let s(b) = -b**3 + 10*b**2 + 2*b - 1. Let m be s(9). Suppose 2*u = 5*f - m, 3*f - 6*u + 4*u - 58 = 0. Suppose f = 3*c - 4. Solve 3*a + c = -1 for a.
-3
Let u(w) = -w**3 - 6*w**2 - 2*w - 8. Let z be u(-6). Suppose -5*d = 4*l - 14, d + l = -l + z. Suppose -5 - 1 = -d*x. Solve 5*n + x = 23 for n.
4
Suppose -4*v = 0, 3 = 2*k - 3*k - v. Let w be k/(-3) + (-2)/2. Solve u + 4*u + 15 = w for u.
-3
Let o be (5 - 2) + 2*-1. Suppose -c + 5 + o = 0. Suppose -5 = -7*d + 2*d. Solve h - c = -d for h.
5
Let c = 6 + -2. Solve -1 = -s + c for s.
5
Let s = -16 - -66. Suppose -3*f + s = n, 38 = -f + 4*f + 4*n. Suppose -w + 5*w - 21 = 3*a, 0 = -w + a + 5. Solve -4*k = w - f for k.
3
Let w = -16 + 17. Solve -w = -4*f + 19 for f.
5
Let l be -1*1*(-1 - 1). Suppose x + 6*s = 2*s - 4, 4*x = 2*s + 2. Solve l*q + 0 + 6 = x for q.
-3
Let r = -9 + 10. Solve 4*l = -r - 11 for l.
-3
Let k be 20/(-5) + 1 + 3. Solve k - 4 = q for q.
-4
Let p be -3*3/(-18)*-4. Let o = -1 + p. Let j = -2 - o. Solve -3*r = 5 + j for r.
-2
Suppose -2*g - d + 36 = 0, -2*d = g - 3*d - 24. Suppose 5*f = 3*t + 10, -f + 5*t = -0*f + g. Solve u + f = 10 for u.
5
Let x = -1 + 4. Suppose -5 = -4*v + x. Solve -v*u = u for u.
0
Let f be (-9)/(-6) + 3/(-2). Solve -3 = -g - f for g.
3
Let i = -12 - -19. Let z = i + -6. Solve -2*o + 3*o + z = 0 for o.
-1
Let u(k) = 2*k - 5*k - 2*k - 3 + 2*k. Let d be u(-3). Let p be (16/d)/((-8)/(-12)). Solve -p*v = -v for v.
0
Let d be (-4)/10 + (-24)/(-10). Solve 3 = f - d for f.
5
Suppose 3*i = -11 - 4. Let k = 8 + i. Solve -q + 4 = -k*q for q.
-2
Let q = 9 + -4. Suppose 5*c + 0*i = i - q, -5*c - 4*i = -20. Suppose c = 5*k - 7 - 3. Solve -k + 8 = 2*m for m.
3
Let s be (-6)/(-4)*(-2)/(-3). Suppose c - s = 1. Let d = -8 + 13. Solve o - d = c*o for o.
-5
Let u be (-8)/2 + 17 + 2. Solve u = 2*a + a for a.
5
Let m = -2 + 5. Suppose -9 = -3*f - 0*f. Let p = f - m. Solve 0*r - 2*r - 4 = p for r.
-2
Let p = 61 + -56. Solve p*n + 1 = -4 for n.
-1
Let i = -5 - -7. Suppose 3*r = i*h - 13, -3*r - 2*r - 7 = 4*h. Solve 6 = -5*x + h*x for x.
-2
Let w = 20 - 12. Suppose i + 18 = -2*i. Let y = w + i. Solve -y*d = -0 + 4 for d.
-2
Suppose -5*g + 0*g + 15 = 0. Suppose 0 = g*q + 6, 5*x + 3*q - 2*q = 8. Suppose -f = 0, -x*v - 3*f + 2 = -2. Solve -s + v = 1 for s.
1
Suppose 6*z - 5*r - 80 = 2*z, 0 = 3*z + 5*r - 60. Suppose -3*a + 20 - 5 = -4*k, 0 = -4*a + z. Let o = k + 4. Solve -o*v - 3 = -7*v for v.
1
Let w = -6 - -6. Suppose -2*i + 3*k + 17 = w, 0*i - 5*i = 5*k - 5. Solve -5 = i*j + 3 for j.
-2
Suppose 4*x = 7 + 1, -2*v + 10 = 2*x. Let s be 0*2/(-3)*(-60)/40. Solve s*i = v*i for i.
0
Suppose 0 = -2*v + 2 + 14. Solve v*k + 15 = 5*k for k.
-5
Suppose 3*p - 4 = 2*p. Let b(d) = -d**3 - 12*d**2 - 11*d + 2. Let k(x) = -x**2 - 8*x + 9. Let s be k(-10). Let z be b(s). Solve -6 = z*n - p for n.
-1
Let n(z) = 2*z - 2. Let i be n(3). Let a be (-4)/(-20) - (-19)/5. Suppose a*p - 61 = -m, -5*m + 36 = 3*p - m. Solve -5*k - i = p for k.
-4
Let r be (3/(-3))/((-2)/6). Solve r*w - 11 = 1 for w.
4
Let x be 6/2 + -10 + 11. Solve -x*l + l = 3 for l.
-1
Suppose -32 = 5*w - 112. Suppose -2*o + 4*v = -w - 0, -2*v = 3*o. Solve g + o*g = 12 for g.
4
Let u(o) = -o**2 - 15*o - 36. Let y be u(-11). Solve -y = 3*w - 2 for w.
-2
Let s(n) = -n + 3. Let p be s(5). Let h = p + 6. Let b be (-20)/(-15)*3/2. Solve -h*r + b*r = 4 for r.
-2
Let f(k) = k**2 - 7*k + 3. Let u be f(7). Let z be 410/12 - u/18. Suppose -j - 2*j + 45 = 3*g, g = -2*j + z. Solve 5*b = j - 4 for b.
3
Let w(g) = -g**2 + g + 3. Let v be w(0). Solve -v = -i - 2 for i.
1
Let g = -1 - -1. Let x be (1 - 0) + 2 + g. Solve -x*h - 3 + 0 = 0 for h.
-1
Let p(h) = h**3 + 15*h**2 + 14*h + 2. Let o(t) = -2*t**2 + 6*t - 6. Let g be o(4). Let f be p(g). Suppose -6 = -2*r + 10. Solve -2*n + r = -f for n.
5
Let l = -3 - -8. Suppose 0*q + l*q = 20. Let j be 25/(3 + -1 + -1). Solve q*x = -x + j for x.
5
Suppose -3*b + 15 - 3 = 0. Solve b*y + y - 10 = 0 for y.
2
Let u(n) = n + 9. Let w be u(-5). Let p be 2/7 + 270/35. Suppose -w*m + 24 = p. Solve 7 + 9 = -m*t for t.
-4
Let s be 0/(-2) - (0 - 3). Let h(p) = p**3 - p**2 - p + 2. Let j be h(0). Suppose 3*l + j*d = 41, -3*l - 30 = -5*l - 4*d. Solve s*i + l = -2 for i.
-5
Suppose h = 5*q - 30, 0*h = 5*q - 2*h - 30. Suppose -4 = 2*s - q. Solve -5*r - s = 24 for r.
-5
Let s = 20 + -7. Solve -5*c - 12 = s for c.
-5
Suppose -10 = -4*c - 2. Solve -6*u + c*u = 12 for u.
-3
Let h be ((-4)/2)/(-6)*0. Let j(p) be the third derivative of -p**4/12 + p**3/6 + 2*p**2. Let x be j(-2). Solve s - x = -h*s for s.
5
Let y = 10 + 2. Suppose -2*l + y = l. Solve 0*n + l*n = 0 for n.
0
Let o be 50/15*(-3)/(-2). Suppose 15 = -5*g - 0, o*g + 267 = 3*s. Suppose 2*k = 2*a - 32, 3*a + k = -a + s. Solve v + a = 5*v for v.
5
Let a(p) = p**3 + 10*p**2 - 2*p - 14. Let w be a(-10). Solve -3 = -3*s + w for s.
3
Suppose t + 3*t = 128. Let u = t + -7. Solve -6*o + o = u for o.
-5
Let b = 23 + -11. Suppose -y = 3*w + y - 6, -b = -4*y. Suppose c - 2*c = w. Solve -4 = -m - c*m for m.
4
Suppose -5*g + 2*g = -6. Suppose 0 = q + 4*q + 70. Let a = 2 - q. Solve g*y = 6*y + a for y.
-4
Let n(b) = -b - 6. Let l be n(-10). Let v = -8 + 13. Solve l = a + v for a.
-1
Suppose -5*q = -2*g - 52, 0 = -0*q - q + 4*g - 4. Solve -q = 2*c + c for c.
-4
Suppose 5*l = 0, 2*z - l + 6 = 4*z. Suppose -3*i + 7*i - 20 = 0. Suppose -2*t - 6 = t, 0 = y + 5*t + 8. Solve -i*h + y = -z for h.
1
Suppose -3*o + 5*d = 4*d - 10, 12 = o + 4*d. Let z(s) = -s - 8. Let m be z(6). Let q be 88/14 + o/m. Solve 0*w + 2*w + q = 0 for w.
-3
Suppose 0 = 3*g - 9 + 3. Suppose -2*o = -o, 0 = g*w + 5*o - 8. Solve -w*x - 12 = -x for x.
-4
Let g be 2/(-12) + 2/((-72)/(-402)). Solve -4 - g = 3*o for o.
-5
Suppose -2 = 3*b + 1. Let y be 4/(-1)*(-3)/4. Let q = b + y. Solve 3*w = -q*w - 25 for w.
-5
Suppose -3*d + 4 = -d. Solve -d*z + 25 = 3*z for z.
5
Let g(z) = 2*z**3 + 4*z**2 - 4*z + 2. Let k be g(3). Let a be (-2)/(-7) - k/(-14). Solve -h = h + a for h.
-3
Let q = -27 - -18. Let o = q - -21. Solve -5*t = o + 8 for t.
-4
Let r = 55 + -53. Solve 4*s = r*s for s.
0
Suppose 3*f - f - 40 = 0. Solve 0*w - f = 4*w for w.
-5
Let v(l) = 3*l - 9. Let r be v(7). Let t = r + -10. Let k(j) = -2*j + 1. Let d be k(-2). Solve -d*i + t = -13 for i.
3
Suppose -3*r = 4*d - 4 - 7, 2*r = -6. Let n be d/15 - 2/6. Solve z + z = n for z.
0
Let g be ((-20)/(-16))/(3/12). Solve 0 = g*m - m + 16 for m.
-4
Let n = 1 - -4. Suppose 5*r - 15 = -n*p, 2*r = -4*p + 23 - 9. Solve 20 = -p*b - b for b.
-4
Let r be -1 + 20/6 + (-176)/(-264). Sol