 Let x = 7 - 2. Solve 27 = x*m - 2*n + 4*n, 17 = 3*m + h*n for m.
5
Suppose -8*z + 18 - 2 = 0. Solve -5*d - b - z - 4 = 0, 5*d - 3*b = -22 for d.
-2
Let p = 3 + 1. Suppose 0 + p = s. Solve -5*c - 40 = -t + 5*t, 16 = c - s*t for c.
-4
Let f be (-3)/(9/6)*5. Let b = -7 - f. Solve -2*t + 31 = 5*l, -2*t - b*l - 5 + 26 = 0 for t.
3
Suppose 0 = -5*b + 227 - 27. Solve -4*u - b = 5*h, -1 = 3*u - 5*h - 6 for u.
-5
Let m = -2 + 4. Let u be m + ((-27)/3)/(-3). Solve -30 = -0*f - 2*f + 4*q, 2*f + q - u = 0 for f.
5
Let x(a) = -a**2 + 18. Let u be x(0). Let d = -12 + u. Solve 0 = 2*z - 6*z - 2*q - 8, 0 = 3*z + q + d for z.
-2
Let o(n) = 2*n - 6. Let u be o(3). Solve -f + u*f - 2*d + 7 = 0, 5*f - 5*d = -10 for f.
1
Suppose -12 = -4*m - 0*m. Suppose 2*t = m*t. Let c be (-55)/(-10) - (-2)/4. Solve o + c = -f, -o - 5 = -t for f.
-1
Let z(n) = -n**2 - 7*n - 8. Let a be z(-5). Solve -d + 2*v = 3*d - 4, -a*d + 8 = 2*v for d.
2
Suppose 0 = q - 5 + 3. Suppose -t = -0 - q. Solve -4*d - t*g = 0, 5*d + g - 2 = 4 for d.
2
Let o(b) = -b + 2. Let z be o(0). Suppose 4*t + 62 = -5*s, -s - z*t = -4*t + 4. Let k = s + 32. Solve i = -2*i - 2*w + k, -5*w + 13 = -3*i for i.
4
Let c(s) = -s**3 - 3*s**2 + 10*s + 2. Let i be c(-5). Solve o + b = -4, -b = -i*b for o.
-4
Suppose -5*j = z - 40, z + 47 - 6 = 4*j. Solve 2*h + j = 6*g - 3*g, 0 = -4*g + 5*h + 12 for g.
3
Let n be (1/(-3) - 0)/(2/(-12)). Solve -w - 5*v - 7 = -1, -n = -3*w - 5*v for w.
4
Suppose -u + 15 = u + p, -2*u - 2*p = -18. Let i be 46/(-14) - u/(-21). Let l be 0 + 3 + i + 4. Solve -5*q + v = 25, -4*q = 5*v + 16 + l for q.
-5
Let m(u) be the third derivative of u**6/120 - u**5/15 - 5*u**4/24 + u**3/2 + 2*u**2. Let f be m(5). Solve -f*c = -2*c + 3*q - 8, 0 = 5*c - 5*q + 20 for c.
-1
Let w = -15 - -20. Solve -8 = -2*c + 3*u, c - 2*u - 1 = w for c.
-2
Suppose -7*i + 37 = 4*c - 2*i, 10 = 5*c - i. Suppose -5*x + c + 7 = 0. Solve 0 = 4*b - y + 1, 0 = -0*b + x*b - 4*y + 18 for b.
1
Let u(c) = -c + 1. Let b be u(5). Let g be 30*2/b*-1. Solve 3*z + 27 = 5*q, q - z - 2*z = g for q.
3
Let j(g) = -6*g - g**2 - g - 5 + g. Let o(c) = c + 6. Let i be o(-10). Let x be j(i). Solve 0 = -h - 4*v + 15, h - x*v + 17 = v for h.
-1
Let w(x) = -x + 1. Let y be w(-2). Let s = 26 - 11. Solve s = 5*u, -y*b - 2*u - 2*u = -18 for b.
2
Let k be (0*(-1)/2)/1. Solve k = -4*j - 16, 16 = 2*v - 0*v - 4*j for v.
0
Let l = -18 - -23. Solve 0 = 3*x + l*v + 17, -4*x = -2*v + 3*v for x.
1
Let p be ((-8)/(-12))/((-4)/(-18)). Solve -2*b + 1 = 3*t + 6, b = -p*t - 1 for t.
1
Suppose k - 6 = -2*k. Let p(i) = i**2 - 8. Let u be p(0). Let s be (2 + u)*(-1)/k. Solve -5*m - s*t = -20, -5*t + 0*t = 0 for m.
4
Suppose -5*p + 4*i - 5 = 0, 3*i = 2*p - 0*i + 9. Suppose -46 = p*c - 5*b, 3*c - 2*c + b = -10. Let f = 29 + c. Solve -2*a - 3*m = -2, -5*a - 3*m = -m + f for a.
-5
Let m(t) = -5 + 3*t**2 - 4*t**2 + 7*t - 1 + 3. Let v be m(6). Solve -2*h = -v*i - 19, -3*i + h + 3*h - 23 = 0 for i.
-5
Let y = -50 + 79. Let h(b) = 6*b - 1. Let v be h(1). Let i = v + 0. Solve 4*d = -n - 21, y = -0*d - d - i*n for d.
-4
Let x(k) = k**2 - 2. Let u be (-6)/4*8/(-6). Let o be x(u). Solve o*a - a + 4 = -v, 5*a - 4*v + 2 = 0 for a.
-2
Let r = -3 + 2. Let f = r - -4. Let p be 8/f - 2/(-6). Solve d + p*a = -3*d + 8, 5*d + 1 = -a for d.
-1
Let u(w) = w + 1. Let k be u(4). Suppose i + 1 = 0, 5*s - 9 = k*i - 4. Solve s = q + 3, 17 = -m + 2*m - 5*q for m.
2
Let q(u) = u**3 - 9*u**2 - u + 9. Let v be q(9). Suppose v = -m + 2. Solve m*s - 18 = 5*o, 0 = -s - 0*o - 4*o - 17 for s.
-1
Suppose 4*p = 2*p - 5*c - 1688, -p - c - 838 = 0. Let u be p/(-9) - 4/6. Suppose -22 = 5*r - u. Solve -l - 12 = -4*v + 1, 5*v - r = -l for l.
-1
Let t(h) = -2*h - 1. Let j be t(-3). Suppose j*q = 3*v + 18, 3*q + 4*v - 26 = 2*v. Let r = 8 - q. Solve r*w + 3*y - 16 = -0*y, 0 = 2*w - 3*y + 8 for w.
2
Let g be (5 + -3 + -1)*0. Suppose 0*i + 2*i - 18 = g. Solve 0*l = -3*l - i, -4*n - 3*l = 21 for n.
-3
Let h(i) = i**2 - 7*i + 7. Let r be h(7). Suppose b + r = -2*z, -24 = 5*z + 4*b - 2. Let o = z - -5. Solve 3*v - 2 = 4, o*v - 18 = 3*t for t.
-4
Suppose -7 = -x - g, -5*x = -2*g + 6*g - 36. Suppose 0 = -2*f - 2 + x. Let j = 7 - f. Solve 4*q + q - 4 = -h, q + 5*h + j = 0 for q.
1
Suppose -15 = 5*r, -5*x - 3*r = -6 - 5. Suppose z = -x*h + 3, -4*z - 8 = 5*h - 20. Solve -2*q + 2*n - 18 = h, -2*n + 3*n - 17 = 3*q for q.
-4
Let v(d) = -d**3 + d. Let b be v(0). Suppose 4*s - 7 - 9 = b. Solve 0 = s*n + 5*i, n - 3*i + 22 = -n for n.
-5
Let p = 14 + -8. Let u(s) = s**2 - 4*s - 7. Let l be u(p). Suppose 2 = m, 0*c + 5*m = l*c - 15. Solve 2*g - 5*i = -c, 2*g = -3*g + 4*i - 21 for g.
-5
Let s = 7 + -2. Solve 5*q - 3*b - 12 = 0, -q - 4*q = -s*b - 20 for q.
0
Let v = 7 + 2. Suppose t + 2*t = v. Solve 9 = 2*d - 3*r, 0 = d - t*r - 9 for d.
0
Suppose 0*f = 2*f. Suppose -q + 4*q - 30 = f. Let l be (-2)/q - 42/(-10). Solve -3*k = -3*b + 6, 11 = l*b - k - 0*k for b.
3
Suppose 10 = -4*z + 26. Solve w - 4*w + z*a = -24, 2*a = w - 10 for w.
4
Let a be ((-4)/6)/((-2)/12). Suppose -5*v + 34 = -w, -5*v = a*w - 24 - 15. Solve 11 = -k + 4*k + c, -4*c - v = -5*k for k.
3
Suppose 0 = -3*d + 5*x + 10, -x - 2 = 4*d - 0. Solve 4*g - 2*p = 6, 2*g - p - 3*p = d for g.
2
Let k(a) = a**3 + 6*a**2 + 5*a - 1. Let o be k(-5). Let j = 1 + o. Let d be 0/(-3 + j) + 0. Solve -5*q - 25 = 3*g, 4*q + 0*g - 3*g + 20 = d for q.
-5
Let k(c) = -14*c**2 + 2*c + 1. Let v be k(-1). Let p = v - -17. Solve i + 15 = 3*w, p*i - 10 = -2*w - 0*w for i.
0
Let t be ((-10)/(-25))/(2 - 9/5). Let i be (-10)/(-4) + 3/(-6). Solve 3*j + t*s - 23 = -i*s, -21 = 4*j - 5*s for j.
1
Let y = 36 - 26. Let g(o) be the third derivative of o**6/15 - o**5/60 + 2*o**2. Let j be g(1). Solve -3*u + k = -u - j, -5*k + y = 5*u for u.
3
Let x = 299 - 297. Let k(a) = -a**2 - 4*a + 5. Let z be k(-5). Solve -d - x*m + 5 = -0*m, -5*d - m - 2 = z for d.
-1
Suppose 17 = -s + 7. Let r be s/(-5)*10/4. Solve 4*i - 3*i - r = -f, 5*i + 4*f = 20 for i.
0
Let x(h) be the second derivative of h**4/12 - 5*h**3/6 - 5*h**2/2 + h. Let a be x(5). Let s = 9 + a. Solve t + 2*n - 5 = 0, -11 = -t - s*t + 4*n for t.
3
Let w be 9/1*2/6. Suppose 3*u - 9 = w. Solve -u*o - 4 = 4*a, -5*o - 38 = -13 for a.
4
Let a = 3 + 3. Suppose -3*l = -5*t + l - a, 2*l = -3*t - 8. Let x = 5 + t. Solve 2*g - 4*z - 6 = 0, -3 = -3*g - x*z + 6 for g.
3
Suppose -d = -3*r - 6, 6 = -3*d + 5*d - 3*r. Let u be 6/(-18) + (-138)/(-9). Solve -z + 3 = -d, -3*x + z = u for x.
-4
Let a(p) = -p - 2. Let o be a(0). Let j be (-9)/o + 3/(-6). Let y = 44 + -23. Solve 0 = 4*n + b - y, -j*n - b - 2*b + 23 = 0 for n.
5
Suppose -2 = r - 4. Suppose -4*o + r*l + 12 = o, -l = -2*o + 4. Solve 4*b - b = 4*j - 7, 4*j = o*b + 12 for b.
-5
Let q be (-2 - (-6)/2) + 1. Let s be 1 - 3 - (-1 - -1). Let c(n) = -n**3 - n**2 + n + 2. Let u be c(s). Solve u*l + k = -6, -6*l + 2*l - q*k = 4 for l.
-2
Let n = -12 + 17. Let t = n - 1. Solve 0 = -2*o + 2*s + 4, -11 + 48 = 5*o + t*s for o.
5
Let i = 6 - 4. Suppose 0*n + 3 = n. Let f = 2 - 2. Solve 2*x + k + n = 0, -x + f = -i*k - 6 for x.
0
Suppose -8*b + 3*b = 5. Let i be 4*b/(-8)*6. Solve 2*o - n = -8, -31 = 4*o + o + i*n for o.
-5
Let c(u) be the third derivative of -u**4/6 - 11*u**3/6 + 3*u**2. Let v be c(-6). Solve 0 = -4*l + 2*o + 2, -4*l + 5*o - v = -0*o for l.
3
Let n(y) be the second derivative of y**4/12 - y**2/2 - 8*y. Let p be n(-1). Solve 5*l + 5*s - 5 = -p*l, -5*l + 13 = s for l.
3
Let g be (-2)/(-5) + 16/10. Let t = 2 - g. Let c = 8 - t. Solve 4*k - 4*s + c = 0, 7*s + 10 = -k + 4*s for k.
-4
Suppose 2*u = -4*j + 22, 3*j - 5*u - 8 - 2 = 0. Solve 2*l = 2*o + 1 + j, -2*o + 5*l - 15 = 0 for o.
0
Let r be (2 - 1)/((-1)/(-3)). Suppose p = 4*p - 3*m - 18, -12 = -r*p + m. Let w = p - 1. Solve -u + o + w = 0, o + 14 = u - 3*o for u.
-2
Let y = -29 - -19. Let j be ((-2)/(-5))/((-2)/y). Suppose -4*i + 17 = 5. Solve j*b + c - i*c - 8 = 0, -2*c - 6 = 0 for b.
1
Let l(g) = g + 18. Let w be l(-16). Solve -22 = -w*y + 4*j, j = y - 0*j - 6 for y.
1
Suppose 2*q - 4*k - 2 = 28, 3*q + 5*k + 10 = 0. Let j be 22 + (0 - -1) + 0. Suppose -q*i = -j - 17. Solve -z - 4*b = -15, -3*b = -5*b + i for z.
-1
Suppose -2*w + 24 = 5*p, -4 = 2*p - 4*p + 2*w. Let n(r) = 2*r**3 + 1. Let a be n(1). Suppose -a*i + p + 2 = 0. Solve 2*q + i = -3*z + 8, -15 = -5*q - 3*