= m, m - 17 = x*o for o.
-3
Let b(n) = -n**2 - 4*n. Let a be b(-4). Suppose 2*l + a = 6. Solve -15 + 0 = l*o + q, -4*q + 20 = -4*o for o.
-5
Suppose 2 + 2 = -t, -3*l + 4*t = -19. Let o be ((2 - l)*-2)/(-1). Suppose -o*y - 18 = -64. Solve 0 = -4*v - 7 + y, 2*w + 2 = 3*v for w.
5
Let p(k) be the first derivative of -k**3/3 + 11*k**2/2 + 5*k + 10. Let f be p(11). Solve 3 = f*a - 2*a, 3*u + a = -8 for u.
-3
Suppose h = -5*f - 8, -h - 2*f - 8 = -3*h. Solve 4*o = -8, 2*w + 2*o + 2 = -h*o for w.
3
Let n = -2 + 8. Let d(k) = k**2 - 4*k - 8. Let y be d(n). Solve 4*r = -4*b - 20, 0 = -y*r - 4 - 16 for b.
0
Let f = -3 + 8. Let a(p) = -p**3 - 6*p**2 - 2*p - 9. Let j be a(-6). Suppose k - 6 = 4*k + 3*o, 2*k = -3*o - 9. Solve -f*h = -10, -j*h + 8 = -k*n - 1 for n.
-1
Let k(o) = -o**3 + 7*o**2 - 7*o + 2. Let s be k(6). Let y be (s/8)/(3/(-66)). Solve -y = -4*w + 5*v, 0*v - 5*v + 17 = 3*w for w.
4
Suppose 3*o - 16 = -o. Let d(z) = -2*z**2 - 17*z - 1. Let y be d(-7). Suppose 0 = 3*q, -q = -4*i - 2*q + y. Solve -2*v - 11 = -6*v - x, 41 = o*v - i*x for v.
4
Let s = 2 + 9. Solve 4*x = -3*y - s, y - 8 = x - 0*y for x.
-5
Suppose d - 44 = -10*d. Solve 6 - 16 = -2*s, -d*l + 3*s - 15 = 0 for l.
0
Suppose -2*f - 22 = -5*d + 38, -3*d = -4*f - 50. Let n be d/(3/((-9)/(-6))). Suppose n = -2*x + 45. Solve -x = 4*s - 2*l, -2*s + 4*l - 18 = -l for s.
-4
Suppose k + 14 = 4*b, -4*k + 3*b + 34 = 5*b. Suppose -5*r - s - 15 = -k*s, -5*r = 5*s + 35. Let l = r - -9. Solve -4*v + 7*v - 6 = -3*a, a - l = v for v.
-1
Let z be ((-22)/33)/((-2)/6). Solve -4*b = 5*m - z, 5*b - 14 = -m - 1 for m.
-2
Suppose 4*m - 22 - 34 = 0. Let a be 4/14 + 38/m. Solve 21 = -a*g + 3*i, -4*i = g - 10 + 2 for g.
-4
Suppose 12*b + 10 = 14*b. Solve a - 3*i = 4, 0*a = b*a - 4*i + 2 for a.
-2
Let j(x) = x**2 - 5. Let u(i) = i**3 - 4*i**2 + 3*i + 4. Let d be u(3). Let g be j(d). Solve 0 = 3*r + m + g, -r - 2*m = 4 - 2 for r.
-4
Let h(o) = o**2 + 6*o - 7. Let r be h(-7). Solve -2*n - 3*z - 1 = 4, r = -5*n - z + 20 for n.
5
Let t(d) = -d**3 - d**2 + 2. Let y be t(0). Suppose -5*c + 0*c = -5*q + 70, -2*c + 3*q = 31. Let n = -6 - c. Solve -4*w = -y*m - 6, 0 = -3*w - n*m - 2 for w.
1
Let i be (-24)/(-15)*35/14. Solve i*g + 15 = -5*x, -2*x + 2*g + 12 = -6*x for x.
-3
Suppose 2*m - 23 = -4*s + 45, 0 = 4*s + 4*m - 76. Suppose -x + 4*x - 6 = 0. Suppose 0 = 3*r - 7 - x. Solve -r*y + 4*w + s = -4*y, y - 3*w = 20 for y.
5
Let h = -13 + 13. Solve h = 3*u - 3*r + 6*r - 12, 0 = -4*u + 5*r - 2 for u.
2
Suppose -25 = -5*b + u, b - 4*u = 3*b - 32. Suppose 2*r - 8 - b = -3*l, 0 = r + 3*l - 10. Solve 4*g - 5*h - 9 = 0, 4*g - r = -2*h - 2 for g.
1
Let c(p) be the first derivative of -p**3/3 + 7*p**2/2 - 3*p + 4. Let x be c(6). Solve -3*g = 2*f - 15, x*f = 6*g - g - 6 for f.
3
Let z(q) = q - 4. Let t be z(5). Let s = t - 0. Solve 4*r - r = 2*p + 8, -5*p + s = 3*r for p.
-1
Suppose -14*p + 18*p = 20. Solve p*b - 5 = -5*i, -b + 4*i - 10 = -3*b for b.
-3
Let w be (-12)/42 - 23/(-7). Suppose w*h = 7*h. Solve 0 = 4*j + 8, -2*i + 4*j = -h*j - 8 for i.
0
Let b be (-12)/(-16) - 42/(-8). Let k = 1 + 4. Solve 5 = -3*p + b*p - v, p - k = 2*v for p.
1
Suppose 2*k = 3*v - 0*k, 0 = -3*k + 9. Solve 3*m - 2*r - 7 = 0, 6 = 4*m - 0*r - v*r for m.
-1
Let b(m) = m**3 - m**2 + m + 2. Let c be b(0). Suppose -c*o + 12 = o. Solve -o = -3*q + 4*i, q - 1 + 6 = -5*i for q.
0
Let b = 71 + -32. Let x = b - 12. Let a be (-18)/(-4) - (-4)/8. Solve 0*k - 3*k - x = 4*o, 0 = -a*k - 25 for o.
-3
Let t(i) = i**3 + 4*i**2 - 4*i + 2. Let s be t(-4). Let v = -5 + 8. Solve -3*l = z - s, 4*z - v*l - 22 = -5*l for z.
3
Let n(o) = o**3 - 3*o**2 - 4*o + 3. Let x be n(3). Let h(j) = j + 12. Let p be h(x). Suppose 0 = c - 0 - p. Solve 5*q = -c*f + 3, 4*f - f + 24 = 4*q for f.
-4
Let a = 1 - 0. Suppose -3 = -s + a. Let k be ((-3)/(-6))/(2/12). Solve -w - k*b = -s*b, 5*w - 10 = 3*b for w.
5
Let z = 3 - 4. Let a be 2 + z + 0 - 1. Solve 3*p + 2*p + 4*x - 29 = a, 3*x = 2*p - 7 for p.
5
Let q = 189 + -186. Solve -q*z - 2*l = -3 - 5, -4*z = l - 4 for z.
0
Let z(w) = w**2 - 8*w + 10. Let b be z(7). Solve b*h = 2*l + 2 + 1, -5*h = 4*l - 5 for h.
1
Suppose 3*v + 7 = -4*q, -4*q + 6*q + 3*v + 11 = 0. Solve -3*t - x + q*x = 11, -x = -t - 3 for t.
-4
Suppose 5*w - 12 = -2. Let l(z) = -2*z**2 - z**2 + 2*z**w - 2 + 5*z. Let h be l(3). Solve -5*d + 5*c - 45 = 0, -3 + 2 = h*d + 3*c for d.
-4
Suppose -2*l + 0*l = 12. Let p(q) = -q**2 + 2*q + 4. Let r be p(-4). Let o = l - r. Solve 2*c - y + o - 3 = 0, 2*y = -4*c - 10 for c.
-4
Suppose 0 = k - 5*k + 12. Solve 0*x - k*x - 3*h = -24, -x - 5*h = -20 for x.
5
Suppose 20 = -6*g + 11*g. Let z = 1 - -2. Suppose -z*y + t + 18 = 0, -g*t + 7*t + 9 = 0. Solve 0*m - 3*u = -m + 19, y = -u for m.
4
Suppose 2*c - 24 = 5*k - k, -k - 12 = -2*c. Suppose -3*b - c = -16. Solve b*d = -2*g - 6, -2*g - 12 = -5*d + 2*g for d.
0
Let y = 4 - 0. Solve 5*s - 4 = -4*g + 18, y = 2*s for g.
3
Suppose 2 = -6*u + 32. Solve 4*y = -5*x - 16 - 9, -5*x - u = 0 for y.
-5
Suppose -2*v + 12 = 2*v. Suppose 3*a + 22 = -2*t, a - 4 = 5*t - 0*t. Let m be (a/10)/(2/(-10)). Solve -4*b + v = -l - m*b, -3*l = 4*b + 9 for l.
-3
Let m = -2 + 2. Let q = m - -2. Suppose -2*f + q + 4 = 0. Solve f*j - 4*g + 8 = 0, 0 = -j + g + 4*g + 1 for j.
-4
Let w be (-7)/(-28) - 2/8. Suppose w = -5*y - 4*d + 138, -63 = -2*y - 0*y + d. Solve 20 = 5*l - l, -3*l = 5*i - y for i.
3
Let h be -6*((-4)/(-3))/(-4). Let g be 3 - 11/h*-2. Solve -5*l = 0, -4*l + g = -5*f - 11 for f.
-5
Let w = 1 - 0. Suppose 2*f - 15 = w. Suppose -3 = 2*a - 3*b + 3, f = a + 4*b. Solve a = 5*p + 5*g - 10, -3*g - 13 = 4*p - 6*g for p.
-1
Let r = -1 - -4. Let c be (-4)/6 - (-11)/r. Suppose 4*y - 52 = -16. Solve n - 5*w - 3 = 0, -3*n = c*w - 6*w - y for n.
3
Suppose -3*z + 7*z - 8 = 0. Suppose 0 = w + 3*o - 2, 5*w + o = -3*o - 1. Let r = 2 - w. Solve -2*c + 4 = 2*s - r*s, 0 = -z*s - 4 for c.
1
Let y(v) = v + 3. Let i be y(-3). Suppose -2*g = g + 6, i = 3*w - 4*g - 8. Solve -4*h + 16 = w, -6*o = -2*o - h for o.
1
Suppose m - 6*m = -15. Solve 3*u + 16 = -w, 0*u + 18 = -m*u - 3*w for u.
-5
Let a(z) = -z - 4. Let p be a(-5). Suppose 2*q + 2 = 0, -4*m + 0*q = q + p. Solve 5*h - 14 = -m*x + x, 4*h - x = 11 for h.
3
Suppose 0 = f + 3*d + 11, 5*f - 35 = d + 2*d. Solve -7 + 21 = -2*v + 2*j, f*j - 30 = 5*v for v.
-2
Suppose 0 = -z + 2 + 6. Suppose 3*n + 16 = -5*u, -u = 3*u + 20. Solve -5*k - z = b, 5 = -n*k + k - b for k.
-1
Let h(i) = i**3 - 9*i**2 + i - 9. Let b be h(9). Suppose 5*p + f + b*f = 22, 0 = 4*p - 3*f - 10. Solve -3*x = p*d + 2*x - 40, 3*x = 12 for d.
5
Suppose 3*b + 31 = 4*b. Let v = 46 - b. Solve 4*p + 3*t - 20 = t, 3*p - v = 4*t for p.
5
Let r be 2 + (-1)/(-2 + 1). Suppose m + r*o + 2*o - 10 = 0, 2*m + 3*o - 6 = 0. Solve -2*i + j + 10 = m, 5*i + 4*j + 11 = 36 for i.
5
Let f be ((-3)/5)/(5/(-25)). Solve -5*p = -2*d + 18, -2*p + 3*d - f = 2 for p.
-4
Let a(n) = 2*n**2 - 12*n - 27. Let c be a(8). Solve 3*o = -y - 15, 10 = -2*o - c*y + y for o.
-5
Let s(p) = -p**2 + 2. Let v be s(0). Let g(x) = -x**2 + 2*x + 1. Let u be g(v). Let b = u + 3. Solve b*q = -4*k - 40, 2*q = -k + 2*k - 5 for q.
-5
Let h be (-2)/(-4) - 1/(-2). Suppose 3*x = -15, 50 = 5*z - 3*x + x. Suppose -w - 12 = 3*w, -w = -o + 10. Solve 2*a + z = -4*y, 4*y - 5*a + h = -o for y.
-2
Suppose 0 = -h, f + 2*h - 4*h = 5. Solve 5*p + 5 = l, -4*l + f*p - 12 = p for l.
-5
Suppose 9 - 135 = -2*g. Suppose -3*c = -5*x - 0*c + 160, -2*x + g = -c. Let h = x - 10. Solve 3*q - h = -5*d, -d - d + 13 = 3*q for q.
3
Let g be 3/6*2*-4. Let j = 7 + g. Solve 3*v = -4*d - 0*v + 13, 15 = j*d + 4*v for d.
1
Let q = 9 + -6. Suppose 5*v + 10*u - 5*u - 70 = 0, -q*u = -15. Solve -16 - v = -5*a, -5 = 5*j + 4*a for j.
-5
Let l(f) = -6*f + 100. Let p be l(16). Let r be (-4)/(1 + 2 + -2). Let j = 6 + r. Solve -4*z + 25 = w, -5*w + p*z + j = -3 for w.
5
Let c = 10 - 4. Suppose -30 = -3*o - c. Suppose -2*g + o = -6*g - 4*w, -3*g = 4*w + 11. Solve 10 = 5*s + 3*x, -3 = -2*s - g*x + 2*x for s.
-1
Let o be 6/21 - (-76)/28. Solve -5*t + 15 = 2*r + o, -2*t = -r - 12 for t.
4
Suppose -2*n = 2*d - 7*n + 2, -n = -2. Let j(i) = -i + 5 + 2 + 0*i. Let o be j(5). Solve 0 = 3*f + d*y, 4*f + o*y = -3*y for f.
0
Let p = 4 + -3. Let t(m) = -m**3 + m**2 - m + 1. Let q be t(p). Suppose -7*y + 40 = -3*y. Solve q = 2*v, 5 = -5*f