*m - 5*n for m.
2
Let b = 6 - -1. Solve -4*x = -5*n - x + 20, -3*n - b = 2*x for n.
1
Let p(t) = t**2 + 23*t + 3. Let u be p(-23). Suppose -2*d - 4*l + 32 = 2*d, -4*d = -2*l - 8. Let o = 10 + -6. Solve u*i = 5*i + s + o, -6 = -2*i + d*s for i.
-1
Let s be (-11)/(-3) - 4/6. Suppose s*q = 5*q. Solve -2*y = -3*f - q*y + 4, -4*f = y - 20 for f.
4
Let q = 14 + -5. Let k be q/(-45) - 42/(-10). Solve k = -h + 3*w, 3*w + 6 = 3*h - 0*h for h.
5
Suppose 2*c - 8 = 0, -5*c + 14 = 2*i - 4*c. Let j = 7 - i. Solve 2*f = 4*q + 10, -6*f + j*f + q = -20 for f.
5
Let g(a) = -a**2 - 8*a - 6. Let u be g(-6). Suppose -8 = -w - u. Solve 10 = 4*q - w*b, -3*b - 6 - 1 = -2*q for q.
2
Let m be (-1)/5 - 324/(-20). Solve -4*x = -h + m, -2*h + 6*x = 4*x - 2 for h.
-4
Let g(s) = -s**3 + 9*s**2 - 2*s + 12. Let t be g(9). Let j(u) = u**3 + 5*u**2 - 7*u - 1. Let o be j(t). Solve p - 4*b + 23 = b, -15 = -o*p - b for p.
2
Let z = -76 + 31. Let a be (-145)/z - (-4)/(-18). Suppose 4*j - 2*j + 3*l = 19, a*l = 3*j - 6. Solve i = -t + j, 8 = -i + 2*i + 4*t for i.
4
Let v = 28 + -25. Solve -v*k - 8 = k, -k - 2 = -w for w.
0
Let b be (1/4)/(1/4). Let g = b + 1. Solve -2*d = g*o - 4, o + 3*d - 4 = 2 for o.
0
Suppose -2*u = -0*u. Suppose 5*v + 5 + 10 = u. Let i be 7/3 + (-2)/v. Solve 0 = -4*j - 10 + 26, -2*j + 17 = -i*z for z.
-3
Suppose -2*g - 7 = -5*h, 2*h - 5*g + 0 + 14 = 0. Solve u - 7 = -3*n, 0*u = u - n - h for u.
4
Let h(x) = -x**3 - 5*x**2 + 5*x + 2. Let u be h(-6). Let f be (-6)/u + 46/8. Solve -f = q + 3*m, 8 = -q + 3*m + 3 for q.
-5
Let t(u) = -3 - 2*u - 2 - 2 - 2. Let f be t(-6). Let g = 2 + f. Solve 0 = -g*x - 2*c + 6*c - 36, 0 = -4*x - 5*c + 4 for x.
-4
Let d = -5 + 10. Let p be 25 + 2 + -2 + d. Solve 0*q - 5*q + p = -5*u, -4*q = -2*u - 16 for q.
2
Suppose 2*i - 12 = -0*i. Suppose -5*s = -3*s - i. Solve -8 = 5*t + 2*r, -s*r = 2*t - 4*r + 5 for t.
-2
Suppose 4*j - 9*j = -35. Solve -j = 3*h + 5*n, 2*n + 4 = 2*h - 2 for h.
1
Suppose -y - 107 = 2*f - 7*f, -y = f - 19. Let n be 35/f + 2/6. Solve t - 8 = n*t + 3*j, -5*t + 5*j = 0 for t.
-2
Let i(m) = m**2 - m. Let r be i(3). Suppose 4*v = v + r. Suppose -17*a = -14*a - 6. Solve 2*f + a*f = 8, 3*q + 4 = v*f for q.
0
Let b(r) = 2*r**2 - 10*r + 8. Let p be b(6). Suppose 0*u - 4*u = p. Let i = -1 - u. Solve -y - 5*z + 5 = -i*y, -z = 4*y + 22 for y.
-5
Let p(m) = m**3 + 9*m**2 + 4. Let h be p(-9). Let i(r) = -r**3 - 6*r**2 + 2. Let q be i(-6). Solve s = 3*s + q*x - h, -3*x = s + 4 for s.
5
Suppose -5*x - 12 = d + 13, 10 = 2*d - 2*x. Suppose -v = -2*v + 5*g + 4, -3*g - 6 = d. Let c = v - -8. Solve 2*f + c = 2*q, -5*q - f - 13 = -0*f for q.
-2
Suppose -2*v - 3*t - 12 = 0, -6*v + 2*t + 8 = -3*v. Let m be v - (0 + 3) - -3. Solve 3*b + 3*g + 30 = 0, m*b - 2*g + 5 = -3*b for b.
-5
Suppose 2*r = -0*r + 16. Solve -3*t = 5*a - 7, 0 = 4*a + 2*t + t - r for a.
-1
Let i(j) = -j**3 + 6*j**2 - 4*j - 1. Let u be i(5). Solve u*f = 3*x - 12, f - 3*x + 12 = 2*f for f.
0
Suppose 4*p - 3*m - 51 = 0, -p + 3*m + 3 = -m. Let i be (-1)/5 - (-78)/p. Solve 2*u = 2*j + i - 19, 2*u + 16 = 3*j for j.
2
Let v(i) be the second derivative of i**5/20 + i**4/4 - i**3 - 3*i**2 + 3*i. Let f be v(-4). Suppose -f*q + 4 = -0*q. Solve -21 = 4*t - 1, 17 = q*b - 5*t for b.
-4
Let l(w) = w**3 + 5*w**2 + 3*w - 1. Let d be l(-3). Let k = -5 + d. Solve 0 = -2*m + 3*u - 9, 9 = -k*m + 2*u + u for m.
0
Let t be (-6)/(3*6/(-45)) + -2. Solve 11 = -4*g - 3*c, -4*c = g + 4*g + t for g.
-5
Let r = 16 - 11. Suppose 10 = r*n - 5. Solve -18 = -3*i - n*c, -2*i = i - 4*c - 4 for i.
4
Suppose o = 2*o. Solve -2*b - 3*t + 21 = o, 0*t + 13 = -4*b + 5*t for b.
3
Suppose -11*j + 18 = -37. Solve -2*i = 2*i + j*k - 3, 3*i - 1 = -5*k for i.
2
Let d be (-1)/((-3)/12 - 0). Solve -b - 4*x + 11 = -2*b, -16 = -d*x for b.
5
Let n(s) = -5*s - 1. Let i be n(-1). Solve -t = -4*t - o + 11, -20 = -4*t + i*o for t.
4
Let u(x) = 2*x**3 - 7*x + 2. Let l be u(2). Let m be 22 + 0/(4/2). Let q = m - l. Solve -3*f - 3*w = q, f = -f - 4*w - 18 for f.
-3
Let f = 93 - 91. Solve -f*n - j = -0*n - 7, 23 = 4*n + 5*j for n.
2
Suppose -4*c = -3*c. Let v = c - -4. Solve 2*q - 3*y + 19 = 0, v*q + q - 5*y + 35 = 0 for q.
-2
Let s = -13 - -13. Solve 3*g + 5*y - 6 = 0, -5*g + 4*y + y - 30 = s for g.
-3
Let s = 16 + 9. Suppose -4*v = -9*v + s. Solve -15 = -v*w, -3*p + 3*w = -12 + 30 for p.
-3
Suppose 0 = -v + 2*s + 19, -5*v + 2*s + 83 = -2*s. Solve -2*d - 5 = x, 0 = 3*d + 2*x + 2*x + v for d.
-1
Let y(j) = j**2 + j + 1. Let c be (-3)/((-1)/(4/(-6))). Let b be y(c). Suppose 2*d = b*d - 3. Solve 4*n + 17 = -3*v, v - n = -d*v + 9 for v.
1
Let b = 15 + -15. Solve -f + 3 = -3*v + 5*v, b = 4*v - f - 21 for v.
4
Let b = 51 - 45. Solve -3*k - 19 + 3 = -5*m, -m = 4*k + b for k.
-2
Suppose -3*p + 5*p = 8. Let s = -46 - -50. Solve c + 3*g + 15 = s*c, 0 = p*g + 20 for c.
0
Let j(c) = 3*c - 20. Let l be j(8). Solve -4*f + 5*s = 15, 6*f + l*s = 2*f + 12 for f.
0
Let d be (6/(-9))/(4/(-72)). Suppose -m + 47 = d. Solve -3*q + 15 = x, 0 = -6*q + q - 5*x + m for q.
4
Let y be ((-4)/6)/((-3)/45). Let s = y + -8. Solve 0 = -5*k - 4*f + f - 16, 2*f - 16 = s*k for k.
-5
Let z be 40/(-16)*(-10)/1. Let c be 15/z + (-44)/(-10). Suppose -2*r - 14 = -5*d, c*d - 35 = -5*r - 0. Solve r*m + 4*l + 14 = 2*l, -12 = 3*l for m.
-2
Let k(f) = 2*f + 4. Let n be k(3). Suppose n = w + 4*w. Suppose 3*j = -4*v - 3, 4*j + 0*v - 3 = -3*v. Solve w*p = -j*g - 1, 2*p + 0*p + 9 = 5*g for g.
1
Let w be (-24)/(-9)*(-9)/(-2). Suppose 0*g - 3*u = -2*g + w, 3*g - 2*u = 13. Suppose -2 = p - g. Solve 0 = z - p, 4*a + 4*z - 17 - 3 = 0 for a.
4
Suppose 5*z + 2*h = z + 12, -2*z + 14 = 5*h. Suppose -2*a + t = 3, z*a + 4*t - 12 = -a. Solve 4*w = -4*q, a = -4*w - 2*q - 2 for w.
-1
Let f(c) = c**2 - 3*c. Let w be f(4). Solve -w = -3*d - 2*r, 0*d + 2*r = 3*d + 16 for d.
-2
Let p be (-4)/(-22) + 0 + (-216)/(-22). Let r = 2 + -4. Let g be r/(-6) + p/6. Solve -3*h - 3*u = 12, 2 = -3*h + 5*u - g for h.
-3
Let r be 2/(-4)*-4 + -4. Let p = 2 - r. Solve 0 = -y - 2*q + 2, -p*q = 2*y + q - 6 for y.
-2
Let q(y) = y - 12. Let t be q(4). Suppose 0 = -2*a + r, 0*a - a - 5*r = 11. Let p be (t/12)/(a/3). Solve -p*g + 0*g = -2*m - 10, -g - 4*m - 15 = 0 for g.
1
Suppose -4*j = 4*v, -5*j + 5*v = -1 - 19. Suppose 4*p = 2*p - 3*r + j, 2*r = -p - 1. Suppose -3 = -5*z + p. Solve -3*n - 3*a - 24 = 0, z*n + n = -a - 16 for n.
-4
Suppose -6 = 4*t - 58. Let q = t + -11. Solve 4*j = -4*s - 4, -q*j = s - 5*j - 15 for s.
3
Let t be 10/4*36/15. Let k be 1/(2/t)*1. Let x be (-4)/9*k*-18. Solve 4*g + 9 = p, -g + 0*p - 5*p = -x for g.
-1
Let a(h) = h**2 + 9*h + 7. Let y be a(-8). Let n be 21/6 - y/(-2). Solve 2*p + i + 2*i = -3, -2*p = -n*i - 15 for p.
3
Let x be 222/27 + (-9)/((-243)/(-6)). Solve -t + 22 = -4*y, -5*y - x - 11 = 3*t for y.
-5
Let q = 16 - 12. Suppose -q*m + 32 = -8. Suppose 3*s - 2*g + 7*g = 0, 5*g = 0. Solve -4*n + 3*x - 4*x - m = 0, s = -4*x - 8 for n.
-2
Suppose 4*z = 90 - 26. Solve 2*f = 2*g - 6, 2*f - g + z = 3*g for f.
2
Suppose -5*f - 28 = -4*k, 5*f + 24 = 2*k - 0. Let i be (-4)/(-22) + k/(-11). Solve 11 = -j + 2*w, 4*w = -5*j - i + 1 for j.
-3
Let b(i) = 2*i**3 + 3 + 2*i**2 + 2 - i**3 - 6*i**2. Let k be b(4). Suppose 0 = -5*p - 11 + 26. Solve o - p*o = 4*z - 6, k*o + 15 = 5*z for z.
2
Let y be 24/(-8)*(-1)/3. Suppose 0*f - 20 = -4*r + 4*f, 2*r + f = 4. Solve -4*z + r*s = -y, -s + 1 = -z + s for z.
1
Let o(r) = 7 + 0 + 6*r - 5*r**2 - 2 - 4*r**3 + 3*r**3. Let i be o(-6). Solve 3*l = -2*y + 9, 5*y - 1 = -i*l + 9 for y.
-3
Suppose -3*q - 5*r + 14 = 0, 5*r - 3 = -2*q + 3. Suppose 3*d + 3*w - q*w - 30 = 0, w = d - 8. Solve a + 22 = 4*c, 4*a = d*c - 0*a - 33 for c.
5
Let y(v) = 11*v - 2 + 5 - 9*v + v**2. Let l be y(-2). Let w be (-7)/((-1)/(2 - 1)). Solve p + 3*x - w = l*p, 2*p = -3*x - 1 for p.
-2
Let r(y) be the third derivative of -y**6/120 + 7*y**5/60 + y**4/24 - 2*y**3/3 + 2*y**2. Let g be r(7). Solve -9 = 4*d - d, -5*o = g*d + 14 for o.
-1
Suppose 5*p - 3*u = -u + 23, 0 = 3*p - 2*u - 17. Solve -4*a + a = -p*t + 12, 0 = -4*t - 3*a + 2 for t.
2
Suppose -2*w + 66 = 4*o, 3*w + 29 = o + o. Solve -s - 5*p + 0*p + 20 = 0, 3*s - o = -4*p for s.
0
Let w(u) = u**2 + 3*u + 3. Let j(v) = -2*v**2 - v - 2. Let b be j(-1). Let i be w(b). Solve i*a = 2*c - 5, -5 = -2*c - 5*a + 8 for c.
4
Let w be (4/(-6))/(44/(-1