s = 4*h + 5*m for h.
3
Suppose -2*d + d = b - 2, -2*d = -b - 1. Solve -5*n - 4*u = b, 4*n + 2*u + 7 = 5*u for n.
-1
Let c(j) = 3*j + 6. Let b(n) = -2*n - 7. Let k(r) = -4*b(r) - 3*c(r). Let h be k(6). Solve h*o = -3*p, 0 = -3*o - 2*p - 3*p + 11 for o.
-3
Suppose 3*z = 6, 4*z - 22 = -5*u + 3*z. Suppose 28 = u*i - i + 4*o, -i = -5*o - 22. Solve 5*n = p - i, 0 = -3*n - 2*p - 1 - 14 for n.
-3
Let h = -56 - -64. Solve -2*q - 5*y = -q - 6, q + h = 2*y for q.
-4
Suppose -4*f - 15 = -o, -4*o + o + 18 = -3*f. Suppose 20 = 7*s - o*s. Solve 23 = -i + s*z, -i + z + 3 = 3*i for i.
2
Let z = -2 + 10. Let c = -20 - -32. Let p = c - z. Solve -2*g = -p*n - g - 4, -5*n = 4*g + 5 for n.
-1
Let a = 27 + -19. Suppose -2*x - 2*x + a = 0. Suppose -z - 3 = -k - x, z + 3*k - 15 = 0. Solve -2*c + z*f - 10 = f, 5*f - 13 = -c for c.
-2
Suppose 0*l + 4*a = -l + 12, 3*l - 36 = -3*a. Suppose 3*x = -15 - l. Let t be (-12)/x - (-4)/6. Solve 0 = g + s - 2, t*g - 2*s + 1 = g for g.
1
Let m be (-2)/(-1*(-1)/(-8)). Let q = -12 + m. Solve q = 4*z + 5*o - 2*o, z - 10 = -3*o for z.
-2
Suppose 0 = 2*d - 4 - 4. Solve -d = 2*n, 0*b + 3*n = 3*b - 6 for b.
0
Let b be 22/8 - 12/(-48). Solve 3*h + 7 = -h - b*x, 4*x = 4*h for h.
-1
Let q be (-324)/126*56/(-6). Let j be 16/9 - (-6)/27. Solve 6*m = m - 25, -4*m = -j*r + q for r.
2
Suppose 15 = 6*t - t. Let l = t + -1. Suppose l - 10 = -2*q. Solve q*d - 3*v + 4 = -5, 5*d - 3 = -v for d.
0
Let q = 1 + 0. Let a = 1 + q. Solve -2*f + 0*c - 10 = 5*c, a*c = 0 for f.
-5
Let z(h) = 6*h - 5. Let b(v) = 5*v - 4. Let f(y) = -5*b(y) + 4*z(y). Let t be f(0). Suppose t = -a - 3*a + 16. Solve -g = 3*m - m + 2, -8 = m + a*g for m.
0
Let b be 1 + -2*(-1)/2. Suppose 0 = -2*n - 3*x + x + 52, 5*n - b*x - 102 = 0. Suppose -2*y + n = -y. Solve -y = 4*j + 5*m - 0, 0 = j - 5*m - 7 for j.
-3
Let h(t) be the second derivative of t**3 - 3*t**2/2 - t. Let r be h(2). Let n = -10 + 14. Solve 4*z + f + r = 0, -z - f - 7 = n*f for z.
-2
Suppose 5*f - 6 + 3 = n, -3*n = -3*f - 3. Suppose -n + 5 = r. Solve -5 = -v + k, -r*v + k + 7 = -v for v.
2
Suppose 0 = -5*y + 3*k - 12, -y - 3*k = 4*y - 12. Let r be 3/2*(2 + y). Solve r*h - h = z - 15, 15 = 2*h + 5*z for h.
-5
Let i be 2/7 + 130/35. Suppose i*s = 5*s - 1. Solve -4 = -3*g - 4*k, 5*k - 3 + s = -3*g for g.
4
Let f be 3/3 - -11 - 1. Suppose 4*j = -j - y - 4, -4*j = -5*y - 20. Solve 5*q + 10 = j, -7*q - f = 5*n - 4*q for n.
-1
Let g = 8 + -5. Suppose 0 = 2*a + 2*a + 24. Let d be 3*((-26)/a - 3). Solve 1 = d*w - g, 5*r + 21 = -4*w for r.
-5
Suppose -10 = 5*j - 35. Solve -l - 2*o = -2, 4 = 3*l + 3*o - j for l.
4
Suppose 0 = 2*l - 6*l + 4. Solve -2*p + 7 = -z + l, -3*p + 15 = -3*z for p.
1
Let p = 6 + -5. Solve -2*n = -3*o + 3 + 2, 3*o + 2*n = p for o.
1
Let y be -2*(3/(-2))/(-1). Let i be (-14)/y*9/(-3). Let q be (-4)/i + (-12)/(-7). Solve 0 = -q*m - 2*c + 14, m + 29 = 4*m + 5*c for m.
3
Let b be (140/(-7))/4*2/(-5). Solve 0 = -l - 2, -b*l - 4 = -5*j - 0*l for j.
0
Let k = 24 - 19. Solve -t - 5*u - 7 - 1 = 0, 5*u + k = 0 for t.
-3
Let a(t) = -t**2 - 4*t - 3. Let l = 2 - 5. Let p be a(l). Suppose 2*q - 6*q + 24 = p. Solve -3*v - n = 1, -3*v + n = q*n + 5 for v.
0
Let m = 17 + -5. Suppose y = -3*y + m. Solve 2*c - 2*q = -6, c + 0*c + 9 = y*q for c.
0
Let j(s) = 3*s + 24. Let f be j(-7). Let k be (1 + -1 + 0)/(-2). Let g = f + k. Solve -b - g*u + 7 = 0, 4*u = -b + 2*b for b.
4
Let i be (4/10)/(2/10). Suppose -3*f + 5 = -13. Let m be (10/(-2))/((-2)/f). Solve -5*k - 2*w = -10*k - m, 0 = -2*k + i*w - 12 for k.
-1
Suppose o = 2*r - 17, 3*r + 0*r - 32 = -5*o. Solve -2*s - f = r, -f = -3*s - 5 - 1 for s.
-3
Let i be 12/24 + (-21)/(-2). Solve r + 2*j = i, -r - j + 6 = -0*r for r.
1
Let t(l) = 30*l**2 - 1. Let q be t(1). Suppose -3*k + q = 4*r - 10, -5*k = 2*r - 51. Suppose k = 2*h + 1. Solve 6 = 2*w - h*o, -o + 1 = w + w for w.
1
Let u(q) = -q**2 - 10*q - 4. Let v be u(-9). Suppose 5*k = 55 + v. Solve -3*j + 10 = 2*m, -6*m + k = j - m for j.
2
Suppose -2 = -2*s + 2. Suppose s = f - 3*f + 2*h, 4*h - 2 = 3*f. Let r be (-1 + 3)*f/(-2). Solve 3*p - 5*n - r = 0, 6*n - 2*n + 4 = 0 for p.
-1
Let i = 39 + -37. Solve -13 = -3*v + z, -i*v + 7*z = 3*z - 2 for v.
5
Let z be 2*2 + (1 - 3). Suppose -t = -6 + z. Suppose 3*m - 2 = t. Solve 0*a + 21 = -m*a - 5*x, -7 = 4*a + 3*x for a.
2
Suppose -59 = 5*o + 3*g, -o = 2*o - 5*g + 15. Let s = -8 - o. Solve 2*v - 2*y + 7 = y, -v + s*y = 6 for v.
4
Let p(g) = -g**2 - 9*g - 12. Let d be p(-7). Solve 1 = 3*s - d*h, -2*h - 21 = -3*s - 5*h for s.
3
Suppose 2 = 5*h - 3, -2*b = -2*h - 2. Solve -7*r = -3*r - 4*z - 4, b*r = -3*z - 8 for r.
-1
Suppose 0 = 4*o + 4, x + 5*o + 3 = -0*x. Solve 15 = 3*f - x*f + 3*a, -2*f + 14 = 2*a for f.
3
Let w = 32 + -49. Let a be w*(-2 - (-3 - -2)). Solve -4*c + 3*m + 7 = -2*m, 4*c + 3*m + a = 0 for c.
-2
Let z(m) = 5 + 0*m**3 + 8*m + m**2 - m**3 + 7*m**2 + 4. Let x be z(9). Let o = 3 - 0. Solve o*t = -0*t + 9, x = 3*r + 3*t - 3 for r.
-2
Suppose -3*s + 0*y - y = -6, -2*y = 2*s. Let m(r) = -r**3 - 2*r**2 - 2*r - 2. Let v be m(-2). Solve 0*j + 2 = -b - j, v*b + 7 = -s*j for b.
1
Suppose -r = -4*a - 21, 5*a + 33 - 8 = 0. Let d be 6/r*(-1)/(-3). Solve -4*f - 6*b + 2*b - 12 = 0, 2*f + d = 2*b for f.
-2
Suppose 3*w = w - 10. Let m(j) = -j + 3. Let g be m(w). Let k = 13 - g. Solve -10 = 5*z + 4*r, -k*r = 2*z - 0*z + 21 for z.
2
Suppose 2*k = 5*f - 30, 2*f = -3*k - 8 + 1. Solve -4*l - 20 = 0, -f*q = -3*l - 17 - 6 for q.
2
Let o = 23 + -20. Solve o*q = -0*q - 5*t - 17, 5*q - 2*t - 13 = 0 for q.
1
Let k(c) = c**2 + 7*c + 12. Let t be k(-5). Solve m + l = 2, 4 = -4*m + 4*l - t*l for m.
0
Suppose 0 = d + 2*d + 27. Let i = 7 - d. Let b be (3/1)/(24/32). Solve 3*c - 4*v + i = -0*c, 0 = b*v - 16 for c.
0
Let f(y) = -y - 4. Let s = 4 - 8. Let g be f(s). Let q = 5 + g. Solve -q*u + 0*u + 2*b - 18 = 0, 5*b + 21 = -4*u for u.
-4
Suppose -3*a = -2*a. Let r(u) = -u**3 + 6*u**2 + u + 7. Let o be r(6). Let g = o - 9. Solve -w - 2 = g*l - 14, a = 4*l + 4*w for l.
4
Let t be 9/(-1*(0 - 1)) + -4. Solve -q = -t*r, -4*r = r + 4*q for r.
0
Let j = 31 - 29. Solve 0 = 3*w + 12, -j*i + 2 = 2*w + 6 for i.
2
Let k be -8 + (-2 - 12/(-3)). Let g be 6/(-9) + (-64)/k. Let x = g - 7. Solve -f = x*m + 15, 3*f + m = 5*f + 2 for f.
-3
Let o = 79 + -44. Suppose 0*g = -5*g + o. Let i be 3*g/((-14)/(-12)). Solve 0 = 4*c - 4*l - 20, -i = 2*c + 2*l + 3*l for c.
1
Let g = 1 - -2. Suppose -g*l - 2*l = -5*c - 115, -20 = 4*c. Solve y - 4 = -3*u, 0*y + 5*u = 4*y + l for y.
-2
Let w(q) = -q**3 - q**2 - q. Let y be w(0). Suppose y = 2*c - 4*c. Solve c = 4*z - z + 2*l - 23, -4*z + 3*l + 8 = 0 for z.
5
Let z(x) = x**2 + 9*x + 2. Let b be z(-9). Solve -2*l + 0*l + 14 = 4*y, 2*y - 4 = -b*l for y.
5
Let n = -185 + 187. Solve i + 11 = -n*i + 2*b, 3*i + 5*b - 17 = 0 for i.
-1
Let j(o) = 4*o - 12. Let p be j(4). Solve 2*a + 9*i - p = 4*i, -5*i + 7 = a for a.
-3
Suppose 0 = -9*i + 3*i. Solve x - 4*y + 23 = -i*y, 4*x = -3*y + 3 for x.
-3
Let c(p) = 4*p**2 - p. Let d be c(1). Let z(i) = -2*i - 3*i**3 + 1 - 3 - d*i**2 + 2*i**3. Let r be z(-3). Solve -5*m = 3*s - r*s - 24, -4*s - 2*m - 8 = 0 for s.
-4
Let j(d) = d**3 + 4*d**2 + 4*d + 3. Let r be j(-2). Suppose 5*u + 7 = 17. Solve r = -4*y - 17, u*y = -4*b - 30 for b.
-5
Let y = 1 - -3. Suppose y*b - 45 + 9 = 0. Let k = -5 + b. Solve 0 = -5*n + 7*n - 3*l - 5, -5*n + k*l - 5 = 0 for n.
-5
Let o = -1 - -7. Let n(z) = -z**2 - 10*z - 9. Let c be n(-9). Suppose -2*v = -c*v - 66. Solve 3*r + o = 4*m + v, -5*m = -4*r + 35 for r.
5
Let d be (-4)/(-18) + (-6)/27. Let x be (3 - d)/(1 + 0). Solve -9 = -0*k + x*k - 2*o, -k - 2*o = 11 for k.
-5
Let u be (-7 + 2)/(1*-1). Let z be -5*(0 + (-4)/u). Solve -5*d + 5*p = -8 - 17, -2*d - z*p = -4 for d.
4
Let l(p) = 3*p**2 - p. Let j be l(-1). Suppose 4*i = -j*w + 32, 0*w - 4*w + 8 = 0. Solve 5*g = -2*k + 1, 3*k + 11 = i*g - g for g.
1
Let x(y) = y**2 - 12*y + 40. Let u be x(5). Solve u*c + 15 = -v, -4*c = -2*v - v + 31 for c.
-4
Let x(b) = b**2 - 6*b - 9. Let z(k) = 2*k**2 - 5*k - 10. Let y(o) = 3*x(o) - 2*z(o). Let u be y(-7). Solve 2*f + s + 8 = u, 3*f - 4 + 15 = -2*s for f.
-5
Suppose -3*h + 7*c + 43 = 6*c, 0 = 3*c + 12. Let l(y) = y + 1. Let i be l(1). Solve -w = i*w + 2*p - h, 5*w + 5*p = 25 for w.
3
Let w = -13 - -13. Suppose 0 = 3*u - 12, 2*u + w*u = 4*m. Solv