-b + 14 = 5*s for s.
3
Suppose 0*b = -4*v + 3*b - 15, 0 = -2*v - b + 5. Solve -l + 2*l + 4*w = 19, v = -5*w + 20 for l.
3
Let o(q) = -q**3 - 3*q**2 - 2*q + 2. Let f be o(-2). Solve -3*z - 17 = f*z - u, -2*u = -3*z - 6 for z.
-4
Let j(a) be the third derivative of a**6/120 - a**5/20 + a**4/12 - a**3/6 - 3*a**2. Let z be j(3). Solve l = g + 1, z*l + 0*g - 41 = -4*g for l.
5
Let o(h) = h**2 + 2*h + 3. Let l be o(-1). Solve -5 = -m - 5*g, -4*m + l = -m + 2*g for m.
0
Suppose -1 = -0*a + a, 0 = -2*i + a + 11. Suppose -i*h + 5 = -10. Suppose 15 = h*t, 0 = -2*f + t + 5. Solve -w - 2 = -f*d, -10 + 0 = -2*w - 4*d for w.
3
Let m(q) = q**2 + 6*q + q**2 + 4 - q**2. Let o(k) = -k. Let f be o(6). Let v be m(f). Solve -3*t - v*a = -4*t - 2, -1 = -a for t.
2
Let l = -23 - 0. Let n = -9 - l. Suppose -12 = -4*j, 6*j + 10 = 4*b + 4*j. Solve -i - c = -2, -5*c = 2*i + b - n for i.
0
Suppose g - 2*g = 0. Suppose g*f = -5*f + 20. Solve 35 = f*t + 5*o, -4*t - o + 0*o + 23 = 0 for t.
5
Let p = 40 + -21. Solve 2*z + 5*r = -21 + 2, -3*z + 2*r + p = 0 for z.
3
Suppose 4*k - 2 = 46. Let z = -8 + k. Solve 0 = 3*y - 9, -z*v + 8 + 3 = 5*y for v.
-1
Suppose 0*x = 2*x + 38. Let f = 24 + x. Solve 14 = 2*p - 5*a, -16 = f*p - a - 5 for p.
-3
Suppose -7 = -5*z + 4*q + 3, 4*z + 3*q = 8. Solve -4*a = 3*n + z*n - 15, 0 = 5*n + 5*a - 15 for n.
3
Let n(o) = 13*o**2 - o - 1. Let c = -4 + 3. Let r be n(c). Let a = -283 - -292. Solve r = -5*t - 5*w - 2, -3*t - a = 4*w for t.
-3
Suppose 2*j = 2*j - j. Solve 3*c - 3*m - 2 = 4*c, j = -4*c + 4*m + 8 for c.
1
Suppose v + 5 = 5*j - 2, 4*j = 0. Let l = 10 + v. Solve 0 = -2*k - 0*k - 2*h + 14, l*h - 27 = -5*k for k.
3
Suppose -19*y = -20*y + 2. Solve 7*v - 2*v - 10 = -2*z, 5*z + 4 = y*v for v.
2
Suppose -2*j = -6*j. Suppose -y + x = 2*y - 7, y - 2*x + 1 = j. Suppose -y*g - g + 64 = 0. Solve -5*a - 22 = -0*q + q, -5*a - g = -2*q for a.
-4
Let b be ((-7)/2 + 2)*-2. Solve t - 5*l = -1, 2 = -0*t - 2*t + b*l for t.
-1
Suppose 0 = 3*n + 4 - 19. Solve -3*k - b + n = 1, 4*k = -b + 5 for k.
1
Suppose 3*a - 26 = 19. Solve -10 = 5*u - 0*u - 5*z, 5*z - a = 0 for u.
1
Let h = 49 + -47. Suppose -q - j + 10 = -3*j, -3*q - 2*j = 10. Suppose q = 4*p - 6 - 22. Solve 5*b - 40 = -p*g + h*g, -g + 3 = 0 for b.
5
Let t(v) = -v**2 - 5*v + 6. Let f(x) = 7*x**3 - x. Let z be f(-1). Let n be t(z). Solve -3*w = -2*c, w + 2*c - 8 = -n*c for w.
2
Suppose 10 = 84*f - 82*f. Solve 2*u + u - f*h - 34 = 0, -h + 10 = 5*u for u.
3
Let l = -3 - -4. Suppose 0*p = p - 5. Suppose 0 = z + 3*z - 2*t - 6, -p*t - 1 = 4*z. Solve j - 2*j - z = 0, s + 2*j = -l for s.
1
Let d be (-222)/(-18) + 2/3. Suppose -q = 3*x - 4, 0 = 4*x - 9*x. Suppose q*l = 3*y + 5*l - 4, 4*y = 2*l + 22. Solve 0 = -b - k - 1, y*k + d = 3*b - 2*k for b.
1
Let g = 2 - -7. Let c be (g/(-18))/(1/(-48)). Solve -4*r - 2 = l - 3, -4*l = -4*r - c for r.
-1
Let a(w) = -2*w**3 - w**2. Let v be a(1). Let l be 3 + -1 + (-5)/1. Let k = v - l. Solve -5*n - 4*m = 1, -4*n - m + 3*m - 6 = k for n.
-1
Suppose w - 2 = -6. Let c be 26/6 + w/(-6). Solve 2*k + 4*q + 10 = -6, 2*k + c*q = -20 for k.
0
Let p be 2/(-4) + 33/(-22). Let g = 1 - p. Solve -2*h + 7*h - 16 = 3*m, 5*h = -g*m + 34 for m.
3
Let m be (-1)/1 - -4*1. Suppose 2*j - j = 0. Suppose -3*i + 6 = -j*i. Solve m*v + i*f - 5 = 0, 0*f = -3*v + f - 7 for v.
-1
Let y(b) = b**2 - 5*b - 5. Let v be y(6). Solve 3*g + 2*x = 21, 2*x = -g + 4*x - v for g.
5
Let o be (1 - -2 - 4)*1. Let s = 8 + o. Solve -4*c - 2*k + s*k - 23 = 0, 5 = 2*c + 3*k for c.
-2
Suppose -h + c + 1 = -16, 0 = -2*c - 8. Let p = 15 - h. Solve 2*j + p*y - 10 = -4, j = -2*y + 5 for j.
1
Let i(g) = 3*g - 11. Let u be i(5). Solve v + 0*y = 5*y - 1, 8 = 3*v - u*y for v.
4
Let x = -32 - -47. Solve 5*i - 3*h - x = 2*h, -5*h = -i + 11 for i.
1
Suppose 5*x - x - 4 = 0, 4*q - 14 = 2*x. Solve -q*r - 4*m - 2 = -14, 5*m + 15 = 5*r for r.
3
Suppose -4*n = -4*s - 24, 16 = -2*n - 5*s - 0*s. Solve -w + n*o = 4*w, -2*w = 2*o for w.
0
Let c = 39 + -32. Solve l + 2*h - c = 0, 0*l = -4*l - 5*h + 16 for l.
-1
Let o be 0/(-5 - -3) - -1. Let k be o/3 + (-3)/9. Suppose 3*w - 6 = -k*w. Solve a - r - w*r = -10, -10 = -3*a + r for a.
5
Suppose -3*c = -t + 17, -3*c + 4*c - 21 = -t. Solve -5*p - 4 + 0 = -s, t = 5*s - p for s.
4
Suppose 3 = 2*m - n, -4*n + 0 + 8 = -3*m. Suppose 16 - m = 3*h. Solve 2*c + h*q + 6 + 4 = 0, -5 = -5*c - 4*q for c.
5
Suppose -3 + 1 = -s. Solve 0 = -5*g + 2*z - 1, -10 = g - s*z - 5 for g.
1
Suppose k + 4*k = -55. Let l = 4 - k. Suppose -5 = -h + l. Solve -5*a = -4*q - h, -4*a = 2*q + a + 10 for q.
-5
Let k = 12 + -5. Suppose -k - 3 = -5*t. Let s be 3 - (2 - 4/t). Solve s*c + 2*c = -10, 5*c + 6 = -4*o for o.
1
Suppose 3*c = 4*z + 14, 0 = 3*c - 2*z - 11 + 1. Solve -3*u - 5*r - 9 = c, 0 = -4*u - 5*r - 8 for u.
3
Suppose -2*y - 4*q = 22, -3*y + 13 = -8*y + 4*q. Let k be (0 + y + -2)*1. Let j = 12 + k. Solve 2*f = -4*m - 18, -2*m - m - j*f - 31 = 0 for m.
-2
Let f = 26 - 18. Solve -4*y = 2*k - f, 0 = 3*k - k for y.
2
Suppose -12 + 4 = -4*s. Solve s*f - 12 = 3*r, r + 4 = -0*r + 5*f for r.
-4
Let g = 42 - 25. Let t be (-1 - 0)*7 + -3. Let h = t + 14. Solve 3*n + 3*j - 2 - 4 = 0, -h*j = n - g for n.
-3
Let l = 4 + 1. Solve 3*r - 1 = -p, 0 = 3*r - r + l*p - 5 for r.
0
Let f(l) = l**2 - 2*l - 1. Suppose -2*b + 0 = -4. Let m be f(b). Let j be 14 + (-1)/(m/(-2)). Solve -5*d + 4*h = -j, d - 7*h = -2*h + 15 for d.
0
Suppose -m + 40 = 3*m + 2*i, 4*m - i = 52. Suppose -4*d - m = -7*d. Solve d*o = -2*v - 2, -2*o + 0*o + 8 = -2*v for v.
-3
Let i = 29 + -26. Solve i*c - 15 = 0, -2*a = 2*c - 3*c + 11 for a.
-3
Let t(o) = 4*o - 3*o - 2*o. Let d be t(-4). Let k be (-2 - 0) + d/2. Solve -2*s + 10 = 4*w + s, -3*w - s + 5 = k for w.
1
Let k(o) = o**2 - 2*o - 30. Let s be k(7). Solve -2*t - s = 4*h - 5*t, 5*h = -4*t - 14 for h.
-2
Let s be 3/(9/3)*0. Suppose s = -g + 2*h - 0 + 2, 0 = -5*g - 4*h - 46. Let x = 10 + g. Solve 5*a - m = -5, m + 4 = -4*a - x*m for a.
-1
Let v(n) be the first derivative of 1/3*n**3 + 3*n**2 + 7*n - 3. Let d be v(-5). Solve -23 = -3*x + 4*t, d*x + 5*t = -3*x - 20 for x.
1
Suppose -6*j + 12 = -3*j. Suppose 3*q - 2*k = -2, 2*q + 0*k = -2*k + 12. Solve -4*r - j = -x, -5*x - 4 = 2*r + q*r for r.
-1
Let r = -64 + 101. Let w = 58 - r. Let u be -5*(2 - 1 - 8). Solve u = 3*t - 3*n - 2*n, 5*t + n = w for t.
5
Let z(v) = -v**3 + 5*v**2 - v - 3. Let i be (-5)/2*12/(-6). Let o be z(i). Let t be -1*7*o/28. Solve -p = -3*m - 15, t*m - 4*p = 4*m - 4 for m.
-4
Let d(u) = -3*u - 54. Let j be d(-18). Let z be (8/(-6))/(2/(-6)). Solve z*g = t - j*g, -t + 5 = g for t.
4
Let t = 31 - 23. Solve -3*u + 2*k = 4*k - t, 9 = 4*u + k for u.
2
Suppose 3*x - 5 - 2 = -5*s, -2*x + 3*s + 11 = 0. Solve -3*n + 5 = -x*q, 2*n = 5*q + 14 + 1 for n.
-5
Let g = 0 - -1. Let l be 4 + g/2*2. Solve -4*j + 2*k = -0*k - 6, l*k - 15 = -5*j for j.
2
Suppose -8*t = -5*t - 15. Solve -5 = -4*u + 5*g, -t*g + 13 + 2 = 0 for u.
5
Suppose 5*s = 5*g - 20, -2*s + g - 13 = 2*s. Let y be (-140)/(-15) - (-1)/s. Let v = 3 + -1. Solve u - 6*u = -2*z + 12, 0 = 5*z - v*u - y for z.
1
Let y = -10 - -6. Let t be 84/16 + 1/y. Solve -5*q = 5*v + 45, 0*v - 35 = t*v + 3*q for v.
-4
Suppose -b - 5 = -3*j - j, 4*b - 4*j = 4. Solve -3*w = -4*f + 4, -b*w = -5*w + f + 4 for w.
4
Let j(b) = -3*b. Let z be j(-1). Let h be ((-16)/10)/2*-5. Let i = 1 - -1. Solve -x + z = -f, 3*f + h = i*f for x.
-1
Suppose -2*g + l - 7 + 3 = 0, -12 = -3*l. Solve 0 = -4*m + 4*k - 24, -4*m + k - 12 = -g*k for m.
-2
Let t be 2 + -5 + 2 + 20. Let j = 45 + -24. Let a be 99/j - (-4)/14. Solve 0*k + 4*y = 4*k + 4, -t = -a*k - y for k.
3
Let b be 1/(-4) - 42/(-8). Let g be ((-11)/2)/((-1)/(-2)). Let m(n) = -n**3 - 11*n**2 - n - 9. Let l be m(g). Solve b*x + 40 = 5*d, l*d - 5 - 23 = 5*x for d.
4
Let p = -5 + 12. Suppose 0 = -15*z + 11*z + 48. Let a = z - p. Solve -4*k - 16 = 0, -2*x + 5*x - 5*k - a = 0 for x.
-5
Let z be (8/12)/((-1)/(-6)). Solve -3*q = -z*r + 15, 2*r - 2 = -3*q + 1 for q.
-1
Suppose 9 + 2 = m. Suppose 1 = -5*o + m. Solve 3*h - 12 = 3*r - 0*r, o = -r for h.
2
Let d(f) = f**2 + 6*f - 11. Let v be d(-8). Suppose -1 = 2*z - v. Solve 2*x + 2*j = -z, x - 4 = 2*j - 17 for x.
-5
Suppose -2*q - 117 = q. Let x = -19 - q. Suppose -r = 4*c, 1 = -4*r + 3*c + x. Solve -4 = 2*t + 2*v, 0 = r*t + 2*v - 0*v for t.
2
Let o b