n*h = 2*m - 10 for h.
1
Suppose -2 = m - 4. Suppose 2*w + 11 = 2*c - 5, -c - 3*w = 8. Suppose -5*z = -c*l + 13, 0*z + 2 = 2*l + m*z. Solve -2*x = -6, -2*x + 8 = p + l for p.
0
Suppose -2*k = 3*f + 7, 4*f - 2*k = f + 13. Let w be (f/2)/(3/6). Solve -r + j - 1 = -0*r, 3*r + w = j for r.
0
Let g be 0 + 6 - (0 - (-2 + 1)). Solve -g*h - 27 = -t, -h - t = -3*h - 12 for h.
-5
Let h be (-10)/4*2/(-5). Suppose h = -j + 4. Solve -j*z + z + c + 9 = 0, 4*c + 12 = 0 for z.
3
Suppose -l + 10 + 0 = 0. Let h = -8 + l. Solve 0 = b - 3*y + h, -5*b + 2*y + 0*y + 3 = 0 for b.
1
Suppose -3*r - 2 + 11 = 0. Let v be 0 - (-80)/(6/r). Suppose -5*t + 5*l + v = 0, 1 = t + 2*l + 2. Solve -3*x + b + 2*b = 15, 0 = b - t for x.
0
Let n(j) = -j**3 + 5*j**2 - 3*j - 4. Let t = 11 + -7. Suppose 12 = t*a - 0*a. Let w be n(a). Solve -5*f = -w*u + 20, -3*f - 12 = -5*u - 0*f for u.
0
Let t(r) = r + 24. Let l be t(0). Solve l = 3*y + 3*g, -4*g + 16 = -0 for y.
4
Suppose 56 = t + t. Solve -5*f - 15 = 0, -4*i + t = -2*f + 10 for i.
3
Let q(x) = x**2 + 9*x + 13. Let d be q(-9). Let o(f) = 2*f - 4. Let r be o(3). Suppose r*p + 48 = 6*p. Solve -3*b - 2*v - 22 = 0, -p = 5*b + v + d for b.
-4
Let o be (-3 + 2)*10*-1. Let h = o + -15. Let v be h/(10/(-8)) + -1. Solve -4*j = 4*n, 0 = -5*n + v*j - 5*j + 12 for n.
4
Let d(h) = h**3 + 11*h**2 + h + 13. Let u be d(-11). Solve -4*c - a - 2 = u, 0 = -c + 2*a - 10 for c.
-2
Let k = 3 - 9. Let t be (-1 - k/4)*4. Let j be (-30)/(-10) - 0/(-1). Solve 18 = -j*i + 3*r, i - t = r - 2*r for i.
-2
Let y be 5 + (0/1)/4. Solve -3*j + y*d = 8, -d = -3*j - 2*d - 2 for j.
-1
Let f(d) = -d - 1. Let z be f(-3). Solve -4*v + 3*m - 4 = -z*m, -2*m = 0 for v.
-1
Suppose 5*b = -w + 20, 0*w + 4*b - 27 = -3*w. Let v be (20/(-6))/((-6)/9). Solve -w*m - 3 = v*u - 23, 2*m = 4*u + 2 for u.
1
Suppose -15*y + 33 = -12. Solve -y*c = -5*a + 25, -4*a + 16 + 2 = -2*c for c.
-5
Let b(p) be the second derivative of -p**4/6 + 2*p**3/3 - 2*p**2 - p. Let c be b(3). Let j be 32/c*1*-5. Solve -5*l + 4*r - r - j = 0, -2 = -2*l - 3*r for l.
-2
Let p(r) = r**2 - 5*r + 4. Let c be p(4). Solve -2*q - 4 = 2*s, -2*q + 3*s + s - 10 = c for q.
-3
Suppose 3*b + y + 5 - 2 = 0, 3*b = 4*y + 12. Suppose -2*x + 5*p = p - 28, 5*p = b. Solve 2*i = -0*i - 2*k + x, 3*k = 3*i - 3 for i.
4
Let g = -37 - -42. Solve 2*u - 16 = -6*n + n, -g*n + 4*u + 28 = 0 for n.
4
Let a be (-14 + (-2 - -3))*-1. Solve 3*c + 19 = 4*b, 4*c = -4*b + c + a for b.
4
Let c = 142 - 140. Solve 2*v = -c*v + 4*k + 4, 3*k = -3*v - 15 for v.
-2
Let c be (6/2)/(21/(-98)). Let o be c/(-5) + 6/30. Solve -z - 13 = 3*q, z = -z + o*q + 1 for z.
-4
Let g be ((-6)/4)/(2/(-8)). Suppose 0 = -4*p + 2*z - 4, -3 = 4*p - z + 1. Let i be 0 - (p + 4)/(-1). Solve -g*m + i*m = -2*v - 16, m - 17 = 3*v for v.
-5
Suppose 6 - 1 = 5*o + u, 5*u = -2*o - 21. Solve 3*v + 4*k = -2*v - 2, o*k - 8 = 2*v for v.
-2
Let b be 9*(-1)/(-1) + -2. Solve 0 = 4*s + 4*m - 20, -3*s + 25 = b*m - 2*m for s.
0
Suppose 2*b - 4 - 6 = 0. Solve -2*f = -0*n - 3*n + 2, 0 = 4*n - b*f - 12 for n.
-2
Suppose -18*y = -23*y + 45. Solve 0 = 5*n - 25, d - n - y = -2*n for d.
4
Let a(h) = -h**2 + 6*h - 4. Let b be a(4). Let f(z) = -2*z. Let n be f(3). Let t be n*(2 - (-14)/(-6)). Solve -2 - t = b*s, 2*i + 5*s = -11 for i.
-3
Suppose r + 10 = 3*s, 0 = 4*s - 4*r + 3*r - 13. Suppose -18 = -4*p - 3*u + 13, 0 = 2*p + 3*u - 23. Solve s*b - p*b = -z + 7, -3*b + 19 = 5*z for b.
-2
Let w(r) = -3*r + 9*r + 9*r**2 - 7*r**2. Let o be w(-4). Let i be (-6)/o*2*-24. Solve 3*c = -4*n - 38 + 10, 4*c + 5*n + i = 0 for c.
-4
Let b(z) be the first derivative of z**4/4 - 4*z**3/3 + 3*z**2 - 7*z - 3. Let v be b(3). Solve -4*g = 5*p - 0*g - 2, 3*p + 2*g - v = 0 for p.
2
Let v(d) = -d**2 - 8*d + 5. Let j be v(-8). Solve 2*z - 3*z = n - 1, 2*n = -j*z - 4 for n.
3
Let v be 13 + 0 - (-22 - -2)/5. Solve -6*p - v = -3*k - 2*p, 4*p + 16 = 4*k for k.
-1
Let w be 20 - 0/(-2 + 0). Suppose -3*x + w = x. Solve -x*h - z + 17 = 0, 0 = 2*h + 5*z - 5 - 11 for h.
3
Suppose -12 = -4*m + 8. Let s be (-94)/(-18) - (-2)/(-9). Solve s*h + b = -4 - 11, m*h - 2*b = 0 for h.
-2
Suppose 4*f - 6*f = 6*f. Solve -s - 4*l = -7*l + 5, 3*s - 4*l + 10 = f for s.
-2
Let h(m) = m**2 - 12*m + 11. Let o be 6/(-4)*264/(-36). Let w be h(o). Solve 0 = -p, w = 3*q - 6*q + 2*p + 6 for q.
2
Suppose 4*s - 52 = -4*k, -2*s + k = 2*s - 37. Solve -5*i - 19 = -g, -2*i = -0*g + 2*g + s for g.
-1
Let h = -116 + 121. Solve a + 0*f + 1 = f, 0 = 4*a - h*f + 5 for a.
0
Let j be (-3)/(-1) - 2 - -2. Suppose j = 4*d - 5. Solve 9*u - 4*u = -d*x - 11, 4*u + 18 = 3*x for u.
-3
Suppose -7*k + 9*k = 8. Solve 2*s = 3*y + 2 - 14, s = k*y - 16 for s.
0
Let z(m) = m**2 + 3*m. Let p = -9 + 6. Let v be z(p). Solve k + a - 1 = v, 0*a = a - 4 for k.
-3
Suppose 3*b = -b + 32. Let g be b/(-28) - 144/(-14). Solve -g = -0*f - 2*f + 3*c, c + 8 = 3*f for f.
2
Let w(o) = o + 8. Let b be w(-4). Solve -b = -2*j, 16 = 5*h - 5*j + 51 for h.
-5
Let d be 7 - 0 - (-10 - (-18 - -6)). Let n(r) = -2*r + 1. Let t be n(-1). Suppose 6*w - 9 = t*w, -2*c + 2*w = 0. Solve c*f + 3 = 2*x + x, -d*f - x = -7 for f.
1
Let n = 0 - -3. Let g(o) = -o + 1. Let r be g(n). Let u be (r/(-3))/((-1)/(-6)). Solve -5*j = 4*z + 10 - 3, -u*z - j - 11 = 0 for z.
-3
Let s be ((-30)/(-5))/(2/23). Let p = s - 47. Solve -3*u - 5*f = p, -5*f - 40 = 5*u - 10 for u.
-4
Suppose 2*m + 6*m = 40. Solve 3*p + 0*j + 10 = -2*j, p - 1 = -m*j for p.
-4
Let n = -55 + 59. Solve 0 = 6*h - 2*h - p - 2, n*p = -5*h - 8 for h.
0
Let j(c) = -c + 5. Let p be j(5). Suppose p = -g - 3*g. Suppose -1 = 2*o + 1, 0 = 4*h + 4*o - 16. Solve g = 2*k + h*m + 12, 0 = -2*k + m - 3*m for k.
4
Let z(u) be the first derivative of u**2 - 9*u - 1. Let m(s) = -s + 3. Let n be m(-4). Let j be z(n). Solve -12 = 4*c - 4*i, 3*c + 7 = -0*c + j*i for c.
-4
Let u = 2 + -1. Let q = u - -1. Solve q*l + 3*w + 14 = 0, -3*l + 7 = 4*w + 26 for l.
-1
Let h(c) = c**3 + 6*c**2 + 2*c + 12. Let k(x) = -x**3 + 8*x**2 + 7*x + 12. Let t be k(9). Let m be h(t). Solve 5*j = 3*v - 5, -j - j - 2 = m for v.
0
Let l = -62 + 72. Solve 0*w + 2*w - l = 2*s, 4*s - 5*w + 23 = 0 for s.
-2
Suppose -6 + 4 = -k. Suppose p + 3*p + 3*m - 84 = 0, -4*m = 2*p - 52. Solve -p = -2*f + 2*b, -k*f - b - 3*b - 12 = 0 for f.
4
Let x(v) = v. Let j(p) = -5*p. Let t(b) = 2*j(b) + 11*x(b). Let l be t(3). Solve -20 = 2*s - 4*g, l*g = 4*s + s + 22 for s.
-2
Suppose 0 = -17*k + 21*k - 8. Suppose 7 = k*o + 3. Solve 15 = 3*f + o*d, 0*f + 2*f - 3*d = 10 for f.
5
Let b(f) = 3*f - 5*f + 2*f**3 - 4 + 0*f + 6 - f**2. Let h be b(2). Suppose 2*u + u = 6. Solve -2 = u*l - n, 6*n = -2*l + 3*n - h for l.
-2
Let v = 9 - -1. Let t be ((-12)/v)/(6/(-90)). Solve 5*r = 3*b + r - 22, -b = 5*r + t for b.
2
Let f(t) = t - 1. Let m(d) = 2*d. Let v be m(3). Let o be f(v). Solve -18 = -3*b - 4*j, 2*b + 0 = -o*j + 19 for b.
2
Suppose 11*r - 4*r - 28 = 0. Solve o + 22 = -r*c + 3*o, 0 = 4*c - 3*o + 25 for c.
-4
Let v(k) = -3*k - 10. Let u be v(-5). Solve u = 4*i - i + 2*z, 5 = -z for i.
5
Suppose 5*r + 31 = 3*a + 6, a + 4*r + 3 = 0. Solve -2*s + w + 5 = 0, s + 7 = -s + a*w for s.
4
Let j = -12 - -19. Solve 3*p + 2*n - 11 = 0, -2*p + 3*n + 9 = -j for p.
5
Let n(c) = c**3 + 5*c**2 + c + 2. Let b be n(-5). Let v be (b - (-2 + 1)) + 4. Solve -5*q = v*p + 4, 3*q - 3 = -3*p - 0*p for q.
-2
Let u be 0*(3 + -6)/3. Suppose -4*w + u*w = -36. Let v(m) = -m**2 + 9*m + 5. Let r be v(w). Solve -3*k - 3 = 0, r*t + k = -20 + 4 for t.
-3
Suppose 0 = 3*h - h. Let g = h + 15. Solve -o - 9 = -3*v, o = -5*v - 0*v + g for v.
3
Suppose -5*z = -2*z - 24. Solve 0 = 4*w - 20, -4*k - z = -2*w - 2 for k.
1
Let s be (-8)/16 - 1/(-2). Let y = s + 4. Suppose h - 4 = -0*h. Solve g - h*j - 30 = -8, 0 = -y*j - 20 for g.
2
Let u be 5 + 2/2 - (21 - 24). Solve t = -4*r + u, 0 + 3 = r for t.
-3
Let p be 4/(-12) - (-13)/3. Solve d + d + 4*i = -p, 9 = -3*i for d.
4
Let d be (-64)/(-20) + 1/(-5). Solve b = -4*h - d*b + 8, -h + 5*b = -20 for h.
5
Let w = -4 + 14. Suppose v - 3*v = -6. Suppose -v*z + 12 = -k, -4 = 3*z - 4*z. Solve 0 = 4*b + 5*a + w, -3*b - a - 2 = -k*b for b.
0
Let q(o) = -7*o + 2. Suppose -x - 22 = -4*f, 5*x + 3*f + 2*f - 15 = 0. Let r be q(x). Suppose 4*u = 5*u - r. Solve -5*h = -4*d + u, -h - d - 4 = 1 for h.
-4
Suppose 6*b = 2*b + 5*x + 7, 2*x + 2 = 2*b. Let w = 0 -