1 for m.
3
Let h(m) = m**2 - 5*m + 5. Let l be h(5). Suppose 7 = k + l. Solve j - 2 = -k*f - 3, -3*j = 2*f + 11 for j.
-5
Let f(s) = -s - 2. Let z be f(-6). Let w = 2 - z. Let g be (w*2)/((-10)/25). Solve 4*m = 2*u + g, 5*u + 0*m - 3*m + 11 = 0 for u.
-1
Let y be (0/(12/3))/(2*-1). Solve 4*o + 2*v - 10 = y, 2*o = -o + 4*v - 20 for o.
0
Suppose 7*u - 2*u = 15. Solve -2*n + 2*m = 0, -m + 2 = 3*n - u*m for n.
2
Suppose o + 0*s - 2*s = 2, 0 = s. Solve -d = 2*p - 2 - 10, 0 = -d + o*p - 8 for d.
2
Suppose 16 = 2*v + 2*i, -2*v = -3*v + 4*i - 17. Solve -v*n = -5*w, -5*n = -4*w - 2*n for w.
0
Let u(o) = -3*o**3 - o**2. Let k be u(1). Let p be 5*(-1 + 6/10). Let w = p - k. Solve -w*x + 5*i = 25, 5*i = -5*x + 2*i - 16 for x.
-5
Let h be 1/(-3)*-3*-1. Let n be (0/6)/(2 + h). Solve n = 3*c + 5*d - 3, 0 = -c + 3*d + 2*d - 19 for c.
-4
Let v be -1 - (-3)/3 - -3. Let i be -3 - (v - 2 - 9). Solve 3*h - 2*h - d = 2, 0 = h + i*d + 22 for h.
-2
Let b(j) = j + 12. Let i be b(-5). Let u(y) = y**2 - 5*y - 2. Let n be u(i). Solve r + 6*w - 21 = 2*w, 3*w - n = 0 for r.
5
Let x(m) = -16*m**2 + 13*m**2 + 4*m**2 + m - 3. Let u be x(2). Solve 0 = -5*o + 5*a - 40, -5*o + 4*a = -u + 40 for o.
-5
Let i be 4/(-22) - (-420)/132. Suppose -15 = -3*k - k - i*q, q + 14 = 5*k. Solve -3*y + 0 = 4*g + 3, k*g - 4*y = 4 for g.
0
Let h(j) = j - 4. Let c be h(6). Solve -t - 7 = -c*r, 7 + 8 = -5*t for r.
2
Suppose 0 = 5*p - 3*y - 16, 4*p + y = -p + 8. Suppose 0 = -7*f + p*f. Solve 3*n = -5*o - 0*o + 17, f = -n - 2*o + 7 for n.
-1
Suppose q = -2*s + 3*s - 3, 15 = -q + 5*s. Let j = -12 + 14. Solve -2*r + r = x - 4, -j*r + 2*x = q for r.
2
Let c be 24/(-32) + 1/(-4). Let l = c + 3. Solve -2*b = -0*i - 4*i - 16, 0 = l*i - 5*b for i.
-5
Suppose 0 = -5*k + c + 5, -7*c = 4*k - 2*c + 25. Solve 10 = -3*g + 5*d, -6*g + 4*g + d - 2 = k for g.
0
Suppose 2*r + 7 = a, -2*a + a - 4*r + 1 = 0. Suppose 9 + 11 = a*o. Suppose 3*k = -p - k - 4, o*p = -5*k - 5. Solve -u - 1 = -2*b - p, -4*b + 23 = 5*u for u.
3
Let q be (1 - 0)/1 + 5. Suppose 5*b = d + 3, q*d - 3 = 3*d + 3*b. Solve -2*v - 5*y = -6*v + 20, -d*y + 15 = 3*v for v.
5
Let j be ((-4)/(-5))/(4/10). Let c be (-7)/70 - (-31)/10. Suppose 0 = 4*i + 5*o - 37, 0 = -6*i + i + 3*o. Solve i*k + w + c*w = 6, w = k - j for k.
2
Suppose 16 = 2*b - 8. Let h be 32/b*3/2. Suppose -2*d = -h*t - 7*d + 23, 39 = 5*t - 4*d. Solve 4*q - 5*c = 12, -4*q = c + 5 + t for q.
-2
Suppose -6*k + k - 2*g = 42, -k = 2*g + 2. Let v = -6 - k. Suppose -10 = -f - 0*z + 2*z, -v*f = 3*z + 4. Solve -5*s - 5 = -f*c, c - 4*s - s - 10 = 0 for c.
-5
Suppose 4*u + 2*q = 16, 5*u - 21 = -q - 2*q. Solve 5*i + 5*o + 12 = 6*i, 5*i + 6 = u*o for i.
-3
Suppose -v + 5 = 5*u - 0, 3*u - 5*v + 25 = 0. Solve -g + p - 2 = 2*p, u = 2*g - 4*p + 4 for g.
-2
Let w = 58 + -54. Solve -5*q - 4*y + 17 = 0, -4*y = -w*q + 1 - 9 for q.
1
Suppose 5*j - 20 = j + 4*i, 4*j = 5*i + 23. Suppose y - 2*y - j*k - 7 = 0, 3*y = 4*k + 29. Solve -2*o + 4*b = -4 + 22, y*b - 21 = 3*o for o.
-5
Let i be (-220)/(-14) - (-12)/42. Suppose 4*r + i = o, -5*o + 2*r = 3*r - 17. Solve 0 = 2*s - 5*c - 10, -3*s + o*s + 5*c = -10 for s.
0
Suppose 0 = -2*o + 8*o - 12. Solve -3*t - 4*z = 11, -z - z + o = 0 for t.
-5
Let x be (-3 + 20/8)*0. Let t(o) = o**3 + o**2 + 20. Let w be t(x). Solve -4*y + l + w = 3*l, 3*y + 7 = 4*l for y.
3
Let s = 7 - 4. Suppose -s*r + 29 = 2*l - 17, -5*r - 5*l = -70. Let a(p) = 2*p**2 + 4*p. Let y be a(-2). Solve 4*m = -y*h + 3*h + 10, r = 5*m - h for m.
4
Let n(i) = i. Let s be n(4). Solve s*h - 17 - 3 = -4*d, 3*d - 20 = -4*h for h.
5
Suppose -4*g - 20 = 4*i, -2*i = 3*g + 11 - 1. Let u = i + 7. Let b be 1/3 + (-2)/6. Solve u*l + x - 1 = -b*l, 0 = 4*l + 4*x + 4 for l.
2
Suppose 0 = -0*j - 5*j + 105. Let m = j - 8. Solve 2*h = v + m, -v - 11 = -2*v - 4*h for v.
-5
Let j(c) be the third derivative of c**4/24 + c**3 - 4*c**2. Let m be j(-3). Solve -19 = m*n - 4*r, r - 16 = 3*n - 0*r for n.
-5
Suppose 0*x - 10 = -5*x. Suppose -4*j + x*j = 0. Solve 2*s + 2*r = j, -6*s - 3*r - 5 = -2*s for s.
-5
Suppose 36 = 6*j + 12. Solve -j*d + 31 = -3*g, 0 = 5*g - 2*d + 31 + 2 for g.
-5
Let y = 1 - 13. Let r = y + 17. Solve -j - 4*q = 2*j - 12, r*j = 4*q - 12 for j.
0
Let c = -5 + 8. Let l be 22/8 - 3/(-12). Suppose 0 = -3*v + 4*d + 9, l = v + 2*d - 0. Solve -5*s + u - v = 12, -c*s = -u + 9 for s.
-3
Suppose 2*i + 6 = 4*t - 7*t, 4*i - 32 = 5*t. Suppose 0 = -a - 2*m - 4, m - 16 = -i*a + 2*m. Solve -2*s = o + 2*s + 22, a*o - 7 = 3*s for o.
-2
Let d = 8 - 5. Let x = 8 - d. Solve -m - 4*m + x*j = -45, 3*m = -4*j - 8 for m.
4
Suppose -2*a + 19 = 3*s, -8 = s - 3*a + 4. Solve 3*p = -0*p + 5*o - 22, 0 = s*o - 6 for p.
-4
Let s(i) = i**2 - 3*i - 2. Let c be s(4). Suppose 0 = 4*f - 4*d + 6*d, 2*f + 3*d = -8. Let p be (2 + 3/c)*f. Solve p*n = -2*k + 4*n + 6, 4*n - 10 = -2*k for k.
-3
Suppose -4*y + 5*p = 2*p - 22, 3*p - 2 = -2*y. Let o = y - -32. Solve 0*a = -m - a, 0 = -5*m + 4*a + o for m.
4
Let s(u) = -u**2 - 4*u + 3. Let l = -7 - -3. Let z be s(l). Solve -z*p - 21 = 5*g, 0*p + p = -2*g - 8 for p.
-2
Let t(f) be the third derivative of f**5/20 + f**4/12 + f**3/6 - 2*f**2. Let b be t(-1). Let k = -84 - -86. Solve 1 = k*w - q, b*q = 3*w + 5*q + 3 for w.
0
Let d = -3 + 6. Let h = d + -6. Let b(u) = u**3 + 2*u**2 - 3*u + 2. Let g be b(h). Solve t - 4 = 0, -2*q + g*t + 1 = -5*q for q.
-3
Let g = 35 - 31. Solve 7*v + g*p - 8 = 3*v, -2*p + 6 = 3*v for v.
2
Let i be (-2)/((-6)/4 + 1). Let g be 0 + (-4)/((-8)/450). Suppose -a + g = i*a. Solve 0 = -4*l - 0*l + 5*m - a, 2*l - m = -15 for l.
-5
Suppose 0*n = -4*n. Suppose a = -n*a + 30. Suppose 2*o - a = o. Solve 0 = j + 3*p - 5, 4*j + p - o = -10 for j.
5
Let b = -15 - -19. Suppose t = -t + b. Solve 2*a + 1 = -t*m + 7, -m = -2*a for a.
1
Let s = 155 - 155. Solve -14 = -4*d + 2*w, s*d - 3*d + w + 9 = 0 for d.
2
Let x(a) = a**2. Let i be x(0). Suppose -5*d = -i*d. Suppose 5*v + 3*l - 17 = d, -3*v - 4*l = 2*v - 16. Solve -2*t - 8 = 5*s - 20, s - v = 0 for t.
-4
Let w(o) = -o**2 + 9*o + 2. Let n be w(9). Solve 5*m + 8 = n*i, -3*m - i = 1 - 5 for m.
0
Suppose -3*r - 5*u = -7, 4*u - 13 - 3 = -5*r. Solve 2*g - 2*z = r*g - 4, -7 = 4*g + z for g.
-3
Let g = -14 + 6. Let z = g - -12. Suppose -5*k - 3*l + 81 = 0, 3*k - z*k = -3*l - 9. Solve -4*t - 4*j = -9*t + 23, 0 = 3*t - 3*j - k for t.
3
Let z be 0 + -2 + (-24)/(-4). Suppose 4*l - 4*j - 3 + 7 = 0, -2*l - 11 = -5*j. Let r = 2 - l. Solve 0*g = 3*g - 4*y - 7, -2*g + 2*y + z = r for g.
1
Let u = 8 - 14. Let w = -1 - u. Solve -w*i - 4*g = -25, -2*i + 2*g = i + 7 for i.
1
Let z(a) = -a + 1. Let w be z(-3). Let n be (2 + (-16)/w)/(-2). Solve 3*m - 4*m - 15 = -3*o, -o - m + n = 0 for o.
4
Let n = 5 + 0. Suppose -2*l + 10 = 0, 4*a + 4*l = -a + 35. Suppose 4*q - 11 = a*q. Solve 4*z + 19 = -5*y, -z = 3*z - n*y - q for z.
-1
Let m(o) = -o**3 + 9*o**2 + o - 11. Let k be m(9). Let s be (16/2)/(k/(-3)). Let c be -1*s/(-3) - 0. Solve c*p = q - 15, -q + p + 5 = -2*q for q.
-1
Suppose 4*o - 143 = 5*r, 0*o - 4*r = -o + 22. Suppose -4*q = 4*l - 80, 4*l - o = 3*q + 3. Solve -5*d - 20 = 4*t, -4*t + 3*d + l = -7*t for t.
-5
Let y(u) = u + 2. Let s be y(3). Solve -s*c - 3*o = -8*o - 10, -2*c + 4 = 2*o for c.
2
Suppose -3*y + 7*y = 4. Suppose -f - 3*f - 2*l + 2 = 0, 4*f = 5*l + 23. Suppose -f*b - y + 11 = 0. Solve -5*g + 2*q = 6*q, 0 = -b*g - 2*q for g.
0
Suppose 0 = -r - 5*m - 15, -4*r + 1 + 11 = -4*m. Solve -v + 3*v + 5*y + 27 = r, 4*y + 15 = 5*v for v.
-1
Let y be 10 + -2 - -1*2. Suppose -p + v - y = -4*p, -p - 5*v = -22. Solve z = -u + 1, 0 = -4*z + 2*z + p*u - 6 for z.
-1
Let t be 8/12*3/(-2). Let g be (-4)/((-2 + t)/3). Solve -4*u = -5*n + 15, 2*u + g*n = -18 + 4 for u.
-5
Let q(m) = 0*m - 5 - 4*m + m**2 + 2*m. Let a be q(5). Let k be (-4)/a - (-102)/30. Solve 2*l - 8 = 3*w, -3*w = 4*l - l + k for l.
1
Suppose 4*j - k = 5, -4*k = -4*j + j - 6. Let d be -38*j*2/(-4). Let w = -18 + d. Solve 0*u - 10 = -4*r + 2*u, 4*u = -2*r + w for r.
4
Let w(p) = p**2 - 8*p - 7. Let x be w(9). Solve 4*f + 11 = 5*h, -2*h = -0*h - f - x for h.
-1
Suppose -2*f - 1 - 1 = 0. Let r be (13 - 3)/(-2)*f. Solve r*b + 42 = 3*d + 10, 16 = -2*b + 2*d for b.
-4
Let l = 2 + 3. Let t = 6 - 6. Let y be -2*(-1 - t) - 2. Solve y = 5*r - l*i - 45, i = r + r - 14 for r.
5
Let x(n) = 4*n - 3. Let d be x(2). Suppose -