. Let x be s/6*(-8)/20. Solve 4*m - 5*b = 9 + 11, 2*m - x = 4*b for m.
5
Let k(o) = 7*o - 9 + 9*o**2 + 25 - 10*o**2. Let i be k(7). Let p be (6/24)/(1/i). Solve 0 = -z - 4*t + 3, p*t - 7 = 3*z - 0*t for z.
-1
Let t be (2/4)/(1/114). Suppose 3*n - 6*n = -3*h + t, -3*n + 57 = 3*h. Solve 4*s + i - h = -0*i, 3*s - 16 = i for s.
5
Let p = -16 - -18. Suppose 3*d - k + 34 = 0, 4*d + 34 = p*k - 10. Let s = 14 + d. Solve 3*m - 5*v + 6 = 0, s = -2*m + m - v for m.
-2
Let g be (10/6)/((-1)/(-3)). Suppose 4*v + 3 - 13 = -n, 5*v - 8 = n. Suppose -12 = -p - v*p. Solve p*a - 14 = -3*q, g*q + 4*a + 6 - 16 = 0 for q.
-2
Suppose 5*i - 2*k - 15 = k, -2*k + 6 = 2*i. Suppose -2*r + 3*r = -2*l + 6, -3*l + 9 = 4*r. Solve -3*d - 9 = 4*y - i*y, r = -5*d + 4*y - 15 for d.
-3
Let q be (1/(-4))/((-10)/160). Solve -x = t + q*t + 3, -2*t = -2*x + 6 for x.
2
Let v(o) = 0*o + 0 - 4 - o. Let x be v(-7). Let z(s) = s**3 - 5*s**2 - s + 7. Let g be z(5). Solve -t - 10 = -0*t - 3*r, -g*t = -x*r + 14 for t.
-4
Suppose -10 = 2*h, 7 = -s - 4*h - 0. Solve 5*c - 13 = 3*o, -3*c + 4*c - s = -2*o for o.
4
Let n(z) = z**3 - 6*z**2 + 6*z. Let d be n(5). Let o = 23 + -17. Suppose -5*h = -o*h + 2. Solve -4*k + 2 = -h*r, -d*r + 2*k - 5 = -k for r.
-1
Let s(y) be the first derivative of 5*y**2/2 - 9*y + 3. Let t be s(7). Solve k + 0*k + 5*f - t = 0, -5*f = 2*k - 27 for k.
1
Let j be -3 + -6*3/(-6). Suppose -g + 56 - 15 = j. Suppose -g = 5*f - 111. Solve -12 = 4*o, -5*o - 1 = -5*r + f for r.
0
Suppose -12*o + 10*o = 2*a - 16, 5*a - 34 = -3*o. Solve -4*v = -o*i - 35, -5*v + i + 0*i + 30 = 0 for v.
5
Let i(w) = 4*w**2 - 3*w + 1. Let x be 0*4/8 - -5. Suppose -8*c = -x*c - 3. Let p be i(c). Solve 2*u + 6*s = 3*s + 22, -2*u - p*s + 18 = 0 for u.
5
Suppose -5*c - 5 = 4*y, -4*y + 4 = -c + 3. Let o be (c + (-36)/8)*4. Let b = o + 27. Solve 4*k = -4*x + 8, 4*x + 6 = 3*x - b*k for x.
4
Let k = 12 - 7. Suppose 6*t - t + 3*r - 12 = 0, -11 = -4*t - r. Suppose s + 2*s = 0. Solve s = t*b + 2*b + 5*a, 5*b = k*a - 40 for b.
-4
Suppose 46 - 40 = 3*v. Solve 4*y = 2*n - 4, v*y + 4*n + 10 = 4*y for y.
-3
Suppose -3*i + 5*p + 46 = 0, -p = 2*i - 6*p - 39. Let v be (-29)/i + (-11)/(-77). Let c be (-8 - v)/(-4) + 1. Solve 5*u - c*z = 17, -4*z - 7 = -2*u - 3*z for u.
3
Suppose 8*z + 65 = 21*z. Solve -2*u - 12 = -u - z*q, -4*u + 27 = 5*q for u.
3
Let f(g) = g**2 + 16*g + 30. Let d be f(-2). Solve 3*t = t + 2*s - 12, -3*t + d*s - 16 = 0 for t.
-4
Let k = 14 + -14. Let c be (-21)/6*(-2 - k). Suppose n - 2*n + b = -c, -n - 5*b - 11 = 0. Solve 0*a = a - 2*f - n, -2*a = 4*f + 8 for a.
0
Let r = -363 - -367. Solve -p + 4*u = -r, 29 = 5*p + 2*u + 9 for p.
4
Let b be (188/(-20))/(3/(-15)). Let f = 59 - b. Solve 0 = -2*z - 0*z + 4*x + 6, -4*z + f = -3*x for z.
3
Let o(v) = 6*v - 32. Let m be o(6). Solve m*t - 7*s = -2*s - 8, -2*t + 3*s - 6 = 0 for t.
3
Suppose 6*g + 11 = 3*g + 5*h, -2*h = 5*g - 23. Solve 4*r - g*w = -12 - 2, -4*r - 22 = w for r.
-5
Let v = -90 - -98. Suppose 3*x = 5*x - v. Solve -4*f = 2*k + 22, -3*k + x*k = -4*f - 17 for k.
-5
Let k be 2/4 - ((-10)/4 + 1). Suppose -5 = -b - k*a, -3*b - 4*a + 1 = -4*b. Solve b*z + 4 = s, z - 5*s = 8 - 0 for z.
-2
Suppose o - 5 = 6*o. Let f be (0 + -1*7)/o. Suppose 133 = 5*d + m, -7*d - 145 = -12*d + 5*m. Solve 0 = 3*t + g + 18, -5*g - d = t - f for t.
-5
Suppose f - 9 = -0*f. Suppose -3 + f = 2*q. Suppose 0 = j - 1 + q, -4*m + 18 = -3*j. Solve -6 = 3*s + 3*g, -33 + m = -5*s + 5*g for s.
2
Suppose 2*v = 12*v - 660. Suppose 4*s = -30 + v. Solve -3*x - 2*f + s = 0, -5*x + 7 = 2*f - 8 for x.
3
Let h(c) be the second derivative of -c**4/12 + 2*c**3/3 - 9*c. Let i be h(2). Solve -i*m - 13 = -x + 6*x, x - 2*m = -11 for x.
-5
Let x be (-8 - -7) + (2 - -5). Let n be 26/x - 3/9. Suppose 14*i - 15*i + n = 0. Solve 0 = 2*k - v - i, 6*k = k - 2*v + 10 for k.
2
Suppose -4*b = -3*c, -7 = 5*b + 3*c - 34. Suppose 0 = -4*h + 3*j + 28 - 9, -3*j + 9 = b*h. Solve g - h*n = -2*g - 19, -17 = 4*g + 3*n for g.
-5
Suppose q - 3*p - 19 = 2*p, 29 = 5*q - 3*p. Solve 2*v = 2*h - 6, -v - 1 = -q*h + h for v.
-4
Let v be ((-180)/42 - -4)*(-16 + 2). Solve v*k + 5*z = 6, -3*k + 5*z + 14 = -8 for k.
4
Suppose 7*j = 3*j + q + 11, -q = -j + 5. Solve -j*m = 0, -13*g + 18*g = -3*m - 5 for g.
-1
Suppose 3 = 4*k + 4*p - 13, -3 = -3*p. Solve d = v, k*v - 5 + 26 = -4*d for v.
-3
Let j = 5 + -3. Let l(g) = g**2 - 7*g. Suppose -35 = -3*r - 2*r. Let b be l(r). Solve 3*z + 3*q = -b*q, -9 = 5*z + j*q for z.
-3
Suppose -3*q - 12 = 2*i + 21, 0 = 3*i - 2*q + 30. Let f = -8 - i. Suppose 0 = -f*d - 0*d + 24. Solve -d*n + 3*a - 5 = -n, a - 1 = n for n.
-1
Suppose 4*i = 4*h + 23 + 9, -8 = -4*i - 4*h. Solve 2*m = 3*v + 11, i + 5 = -5*m for v.
-5
Let i = -19 + 20. Let u be (4 + -2)*1 - (-2 - i). Suppose 61 = 5*j - 4*t - 0*t, 0 = 5*t - 5. Solve 4*h = k + j, 0 = -u*h + 12 + 3 for k.
-1
Let x(k) = -k**3 + 5*k**2 + 7*k - 9. Let m be x(5). Solve -2*l + 2*a = -14, -5*l - a + m = -3*a for l.
4
Let g(i) be the second derivative of i**4/6 + 4*i. Let p be g(-2). Solve x - 4*b + 3 = -p, 13 = -3*x + 2*b for x.
-3
Suppose 2*r = -2, -3*b - 4*r + 10 = -b. Suppose 5*l + 3*g + 0*g = b, 2*l - 4*g = 8. Solve -a + 7 = 5*k, l*k = -2*a - 2 - 0 for a.
-3
Suppose 6*q + 9 = 9*q. Solve -4*c - 6*n = -2*n + 4, -c - q*n - 9 = 0 for c.
3
Let k be (9/(-18))/((-14)/12 - -1). Suppose 3*r + 2*x = -r + 72, k*x - 48 = -3*r. Solve 8*a + t = 3*a - r, -4*a - t - 15 = 0 for a.
-5
Suppose -2 = 455*o - 456*o. Solve x - 5 + 2 = -n, n + o = 0 for x.
5
Let m(a) be the second derivative of 0 - 1/12*a**4 + 5/6*a**3 - a**2 - 3*a. Let b be m(3). Solve -j - 1 = f, b*j + 28 = -0*j + 4*f for j.
-4
Suppose -2*a - 2*w = 2*a - 8, -a - 4*w = -2. Solve 8 = 2*i + 4*y + a, -5*y = -15 for i.
-3
Suppose 9*f = -2*f + 33. Solve 0 = -4*t + i - 12, -t - t - f*i - 20 = 0 for t.
-4
Suppose 0 = 3*y + 4*f - 8, y - 13 = -f - 10. Solve -y*k - 12 = -5*p, -5 = -5*p + 3*k + 9 for p.
4
Let g = -188 + 198. Let z(m) = -m**2 - 4*m - 7. Let v be z(-5). Let r be (v/(-10))/(4/g). Solve 2*t - 18 = 5*p, r = t + p + 1 for t.
4
Suppose -2*d + 3*x + 1 = -15, 10 = -d - 3*x. Solve 4*i - 2*h + 3*h + 5 = 0, i = d*h + 1 for i.
-1
Suppose -32*l - 10 = -37*l. Solve l + 2 = -t + q, 0 = -3*t + 2*q - 8 for t.
0
Let s(l) = l + 19. Let g be s(-11). Let k(w) = w - 14. Let b be k(8). Let q = b + g. Solve -5*c = -3*d + q*d + 13, 3*c + 15 = 3*d for c.
-2
Let j(l) = -l**2 + 6*l + 1. Let c be j(6). Suppose z - c + 0 = 0. Let b be (0/(-9))/(-2*2/4). Solve -3*t - 12 = -b*t - 2*s, 3*s = -4*t + z for t.
-2
Let c(l) = -2*l**2 - 9*l + 2. Let r be c(-7). Let o be (-418)/r + 1/3. Solve -4*v - v = -20, s - 2*v + o = 0 for s.
-5
Let f = 26 - 12. Let t(l) = 37*l + 2. Let o be t(0). Solve 2*k - 19 = 3*k + 4*c, 0 = 2*k + o*c + f for k.
-3
Let c = 70 + -49. Suppose -c - 4 = -5*z. Let v(u) = 2*u - 3. Let y be v(4). Solve -4*f = -y*x - 0*f + 3, -x = -z*f + 12 for x.
3
Suppose 2*n + 4 = p + 9, 0 = n - 4. Let w be (-8 - -2)/p - -6. Let r be 4/((-4)/(-1)) - -1. Solve w*j + j = 4*x + 27, 4*j + r*x = 6 for j.
3
Suppose -6*c - 3*z + 25 = -2*c, -3*z - 7 = -4*c. Solve -c*j + 0*p + 5 = -5*p, -3*j + 3 = -3*p for j.
0
Let f be (-10 + 15 + -8)*(0 + -1). Solve 3*p = 5*i - 12 - 15, p - 5 = -f*i for i.
3
Suppose -5*u + 8*u - 270 = 0. Let p be (5/(-15))/((-3)/u). Let a be (2/(-3))/(1/(-3)). Solve -d + a*l = l, 0 = 3*d + 2*l + p for d.
-2
Suppose 6*j = -5*w + j + 20, w + 3*j = 4. Solve 4*q - t + 2*t = 17, q - w*t + 17 = 0 for q.
3
Let f be (1 - 0)/(8/24). Suppose f = b - 2. Let t be 16/b + (-4)/20. Solve -10 = -5*q + t*p, -4*p = -0*p for q.
2
Let h(p) = 63*p - 36. Let x be h(1). Let t = 12 - -5. Suppose 2*f - t - x = 0. Solve -n + 2*n = -5*i - 10, -4*n - f = 2*i for i.
-1
Let z be 6/39 - ((-296)/26)/4. Let j be ((-2)/(-5))/(1/5). Let i = z + j. Solve i*x - 10 = 0, -4*f = -0*f - 4*x for f.
2
Suppose 0 = 16*o - 146 - 62. Solve 18*l - 3 = o*l + 3*t, -t = l - 7 for l.
3
Suppose -7*i - 14 = -35. Solve 4*c + 1 = -5*r - 3, -i*c - 4*r = 4 for c.
4
Suppose 2*g + g + 6 = 0. Let y = 3 + g. Let a be ((-15)/(y - 4))/1. Solve -2*u - 2*p + 16 = -6*p, 13 = -u - a*p for u.
2
Let k(o) = o. Suppose 0*x = -3*f + 2*x + 11, 0 = -f - 3*x + 11. Let r be k(f). Solve 0 = -3*m + 2*u - 7, 0 = r*m + 8*u - 3*u + 45 for m.
-5
Suppose 5*f - 23 = -3*t, -5*t - 5*f = -t - 29. Suppose 0 = -5*r + t*r -