*b - 8*b - 24 for h.
-1
Suppose 15*k - 17*k = -46. Solve -4*h + 5*l - k = 0, -8 = -h - h - 4*l for h.
-2
Let q(a) = -a**3 - 6*a**2 + 4*a - 17. Let j be q(-7). Solve 5*d + 17 = -2*f, 2*d - j*f - 16 = 6*d for d.
-3
Let s = 17 + -14. Let h(k) = k**2 - 4*k - 4. Let x be h(4). Let j be -5*x/(40/6). Solve -4*b + 4*o = -j*b, -3*b + 9 = -s*o for b.
4
Let t(k) = 7*k - 22. Let q be t(5). Solve -4*y = 3*x - 0*x - q, 5*y = 5*x + 25 for x.
-1
Let c(o) = o**3 + 8*o**2 + 11*o + 4. Let i be c(-6). Suppose y + i = 6*y. Solve y*r - 1 = j, -5*j - 12 = -4*r - j for r.
-2
Suppose -2*d + 3*d - 42 = 0. Suppose 4*o - d = -18. Let h be 4/o*(-45)/(-6). Solve -2*l - 3*l - 5 = -h*q, -3*q + 4 = -4*l for l.
-1
Let z(h) = h**3 + 11*h**2 - 11*h + 17. Let l be z(-12). Solve -l*i = -c + 20, 5*c = -i - 33 + 3 for i.
-5
Let z(c) = -c**3 - 10*c**2 + 9*c - 15. Let d be z(-11). Solve 6*i + 3*r = 5*i + d, i + 4*r - 10 = 0 for i.
-2
Suppose 0 = 3*m + w, -2*w = -5*w. Let j be m - (-1 + 1)/2. Suppose 5*o + 4*k = -10, 7*o = 3*o - 5*k - 17. Solve -q = 2*q - 9, j = z - o*q + 5 for z.
1
Let w be ((-10)/4)/(5/(-10)). Suppose 7 + 8 = w*z. Solve -q - z*t - 3 = -2*t, -3*q - t - 9 = 0 for q.
-3
Let a be (-4)/(-18) - (-14)/18. Let t = a - -2. Solve 0 = -0*f + 2*f + 4, -2*z + 2 = -t*f for z.
-2
Suppose -2*k - 2*u = -2, -2*k + u + 3*u = 4. Solve 5*i + f - 1 = k, -2*f = 2*i - 3 + 1 for i.
0
Let w = 9 - 6. Let n(d) = d - 4. Let c be n(w). Let v = 6 + c. Solve 12 = -4*k - v*f, -3 = k - 2*f - f for k.
-3
Let h = 1 - 4. Let v be -24*(h - 20/(-8)). Solve 4*l - 2*i = v, 2*i = 4*i - 4 for l.
4
Suppose 0 = -i - 5*x - 18, 4*i + 0*i = 4*x + 24. Suppose -b - i*b = -12. Solve u - 2*k = 1, 2*u - 11 = -k - b for u.
3
Suppose -3*k - 5 = -4*k. Let d = 5 - k. Solve -2*i + 4*q + 6 = d, -5*q = 4*i - 10 - 15 for i.
5
Suppose t + y + 7 = 5, 2*y = -4. Solve t = -j + 2*a - 5, 2*a + 3 = 9 for j.
1
Let v = -6 - 3. Let u be 7/2 - v/6. Solve -g - 21 = u*s, -5*g + 5*s = 4*s + 1 for g.
-1
Suppose -5 - 11 = -4*q. Solve 25 = 5*w - 5*p - 0*p, -4*p = q*w + 12 for w.
1
Let j be (1 + 3/6)/((-1)/(-2)). Solve -s + 3 = -3*m - j*s, -2*m = -3*s - 11 for m.
1
Let i(a) = a + 19. Let s be i(-17). Solve 7*c = -3*z + s*c - 31, -4*c = 2*z + 24 for z.
-2
Suppose 3*o = -2*o - 25. Let l be 10/25 - 8/o. Solve 3*c - 16 = -l*t, -2*t + 4*c = -t + 14 for t.
2
Let k(b) = -b - 3. Let t be k(-8). Solve t*y = -2*a - 0*y + 11, 4*a = -3*y + 1 for a.
-2
Suppose -3*v + 3 = -9. Let g = -3 + 1. Let y be (-1)/g - (-3)/2. Solve y*x - x + 11 = -4*i, -7 = 5*x + v*i for x.
1
Suppose 0 = 6*v - 2*v. Suppose y - 2 = 4*y - 5*n, 2*n + 3 = 5*y. Let q be (v - y)*(-8 + 3). Solve -2*l - r - 16 = -6*l, -20 = q*r for l.
3
Let f(r) = -r**2 - 6*r - 1. Let p be f(-5). Solve p*g = -0*h - 2*h, 0 = 2*h - 4*g for h.
0
Let n(v) = v**2 - 7*v. Let f be n(5). Let y = 3 + f. Let k = 11 + y. Solve 0 = -2*x + 4*z + k, -6*z - 2 = 2*x - 4*z for x.
0
Suppose -q = 2*k + 11, -5*q = -4*q - k + 8. Let c = q + 14. Solve -c*v = -0*v + z - 13, 19 = 2*v + 5*z for v.
2
Let i be -2 - (70/(-8) - 2/8). Suppose 3*d = 3*s - 18, -3*s - d = 2*d. Solve -2*t - n + 8 = 0, n + i = t + s*n for t.
3
Suppose -8*d = -3*d - 10. Solve d*j - 5*j = -4*b + 23, 3*j - 7 = -2*b for b.
5
Let b = -11 + 13. Solve -3*m = s - 10 - 4, 0 = b*m - 2*s - 12 for m.
5
Suppose 2*d - 5*t = -0*d + 58, -4*d + 3*t = -88. Solve 2*b - 4*b - 23 = -5*u, -5*u = -b - d for u.
3
Suppose 4 - 16 = 4*d. Let t = d + 5. Let s be (-5 - -6)/(t/10). Solve 4*x - 15 = -s*v + 20, 12 = -v + 3*x for v.
3
Let z be 6 + -11 - 1/(-1). Let j = z - -72. Suppose -3*c + 7 + j = 0. Solve -9*r - 2*n = -4*r - c, -r + 5*n = 22 for r.
3
Let w(a) = -a**3 - 5*a**2 + 6*a + 5. Let o be w(-6). Suppose o*p - 2 = 4*p. Suppose 6*d = p*d + 40. Solve 4*x + d = -5*t, 5*x - 3*t - 6 = -0 for x.
0
Let p be 1*((-88)/(-4))/2. Solve 4*l = 3*j, l = -3*j + j + p for l.
3
Suppose z = -0*z. Solve z = -3*c - 5*x - 34, 0*c = 5*c + 5*x + 40 for c.
-3
Suppose 0 = -w - p + 10, -2*p + 0*p = 3*w - 28. Suppose -11 = 5*a - 6*a. Let s = a - w. Solve s*f - 3*b + 1 = 7, b = -4*f + 18 for f.
4
Suppose 0 = 3*i + g + 3, -i + 2*g = -0*i - 6. Let h be (-3)/(-6)*(i - 0). Solve h = 4*z + d + 6, 3*z = -d - 1 - 3 for z.
-2
Suppose -f = -9 - 3. Solve 3*n - p = p + 2, 0 = -3*n - 3*p + f for n.
2
Let f(x) = x**2 - 14*x + 28. Let h be f(12). Solve -5*u - z + h*z - 22 = 0, -3*u + 3*z - 12 = 0 for u.
-5
Suppose -16 = -4*h, -4*s + 6*s + 4*h - 44 = 0. Let r be (-14)/49 - (-382)/s. Let a = r + -15. Solve 2*c - 2*u = a, -3*c + 0*u = -u - 16 for c.
5
Suppose -5*a + 15 + 0 = 0. Let f(u) = -10. Let d(z) = -z + 11. Let x(q) = 2*d(q) + 3*f(q). Let r be x(-8). Solve -4*i - 5*h = 17 + r, a*h = -15 for i.
0
Let r be (-9)/(-4) + 3/(-12). Solve 2*k = m - 8, -5*m = -r*m for k.
-4
Let m(o) be the first derivative of -o**2/2 - 3. Let u be m(-4). Solve 24 = 3*j - u*r - 2, -3*r = -j + 17 for j.
2
Suppose 0 = -0*k + k - 5. Solve -r - 4*r = -l - 24, r = -k*l + 10 for l.
1
Suppose 0 = -4*b + 41 - 1. Solve -2 + b = -3*j - s, 4*s = 16 for j.
-4
Suppose 4*c - 11 = -3. Suppose -3*r = 2*o - 11, 4*r - 2*o + 12 = c*o. Solve 2*m = 2*v - 10, -3*v + 14 = -r for m.
0
Suppose 0 = -o + 6*o - 140. Let u(v) = v**3 + 11*v**2 - 1. Let r be u(-11). Let c = r - -15. Solve 0 = 4*m + 2*l + c, -5*l = -m + 8 - o for m.
-5
Let y be 0/(-1) - (-9 + 0). Suppose -5*x = 5*s - 35, 0*x + s = 3*x - 25. Let d = y - x. Solve -3*z + 1 = 5*a + 4, z + d = -2*a for z.
-1
Suppose 5*d + 3*w - 28 = 0, -2*w + 4*w = 2. Solve 6 = -5*x + 1, -d*r + 4*x = -9 for r.
1
Let d be (12/(-18))/((-2)/6). Suppose -3*g + d*g = -4. Solve 3*x = -12, 5*x = -g*c - 25 + 1 for c.
-1
Let z = -4 - -5. Let y be (-1)/(z/(-11) + 0). Solve 2*p - 3*o - 13 = 0, 4*o + y = 5*p - 11 for p.
2
Suppose -4*q - 4*a + 20 = 0, -a = -3*q - 0*q - 5. Solve 17 = -3*i - 4*o, 0 = -q*i + i + 4*o + 19 for i.
1
Let t(h) = h - 6. Let j be t(7). Let r(p) = -p + 0 - j + 0. Let a be r(-5). Solve 4*q - q - 9 = 0, a*g + 5*q - 11 = 0 for g.
-1
Let a be (-11)/(-3) - 18/27. Solve -a*h - 10 = 4*j, 3*h + 2 = -0*h + 4*j for h.
-2
Let a be ((-36)/10)/((-6)/40). Let c be (8/(-2))/((-6)/a). Solve 4*v - 4*o = c, v - o + 5*o = -21 for v.
-1
Let w be (-23)/(-6) - 31/(-186). Solve h - 2*y - 5 = 0, w*h = 5*y + 8 + 6 for h.
1
Let f be ((0 - 0) + 2)/(8/16). Solve 0 = -f*q + 3*b - 8*b, 3*q + 2*b = 0 for q.
0
Suppose -4*c - 2 = 5*h, -5*h - 18 = 4*c - 8*c. Solve -3*u + c*s - 13 = -3, 0 = -2*u - 4*s + 4 for u.
-2
Suppose y - 5*t = 9, t + 0 + 4 = -2*y. Let i be 6/((-9)/(-3)) - y. Solve 2*x - 13 = -j + 4*j, 0 = -i*j - 9 for x.
2
Let p(v) = 8*v + 1. Let k be p(-1). Let u be (4 - 5)*k*1. Solve -3*m = t + u, -16 = 3*m + m - 2*t for m.
-3
Let i(s) = s + 13. Let x be i(-10). Solve 4*h - 3*h = x*o, 4*h - 3*o = 9 for h.
3
Suppose -4*s + 17 + 55 = 2*x, x = -3*s + 53. Solve -3*g + 0*g - 4*d = s, 4*d = g - 21 for g.
1
Suppose 3*g = 3*r + r + 28, -r = 2*g - 4. Let t(q) = 2 + 6*q**2 + 2*q + 0*q**2 - g*q**2. Let c be t(-2). Solve -x = -b + c - 1, -4*b + 10 = x for x.
-2
Let u(w) = w**3 - 4*w**2 + 3*w + 3. Let l be u(3). Solve -3*y - 1 = -8*y - t, -2*y + l*t = -14 for y.
1
Let h be 25 - 0 - (-15)/(-5). Solve 4*p - h = -3*l - 7, -2*p = -3*l + 15 for l.
5
Let w(p) = 0*p + 4 + 5*p**2 + 0*p**2 - 1 - 4*p. Let m be w(2). Solve 2*y + y = -5*h - m, -4*y - 20 = 0 for h.
0
Suppose 2*y + 3 = 5. Let i be 5*(3 - (1 + y)). Let n = 16 - i. Solve -2*v + 12 = -6*v, -p + n = -4*v for p.
-1
Suppose 187 - 62 = 5*b. Solve g - 26 = -5*w, -2*w + 7*w = b for g.
1
Let h(v) = v - 2. Let y be h(2). Let i(c) = c**2 + 10*c - 11. Let j be i(-11). Solve -3*o + 18 = 3*t - j*t, y = 4*o - 5*t - 6 for o.
4
Suppose 2*k = -g + 8, 5*k - k - 4 = 0. Let u be (0 - -16)*(-18)/(-12). Solve -u = 5*r - w, 4*r = -2*w - g - 2 for r.
-4
Suppose 0 = -d - k - 43, -2*d = 2*d + 5*k + 171. Let j be (-4 + d/(-12))*-12. Solve j*y = 3*w + 2*w - 35, y - 1 = -2*w for w.
3
Let o(h) = -h. Suppose 0 = 2*c + 4*j + 10, j = -c - c - 10. Let m be o(c). Solve 2*d = -2*s - 2*d + 18, 0 = m*s - d - 23 for s.
5
Suppose 0 = -5*w + 10, 3*q + 0*q - 30 = -3*w. Solve 5 = -4*m - 3, -q = -4*c + 2*m for c.
1
Suppose 2*l = -2*l. Solve 2*r - 5*j = -3, 2*j = 5*r - l*r + 18 for r.
-4
Suppose 35 + 43 = 2*v. Solve -11 = -4*a - 4*p - v, 2*p = 5*a + 14 for a.
-4
Let r be (-2 + -4)/((-4)/14). Let b = 29 - r. Let v = 14 - b. Solve 3*n = 2*k - 2, n + k +