5*s, -s + 2*h = -z*h - 10. Solve 6*w - s = w for w.
5
Suppose 0 = -q - q + 3*c - 3, -3*q - 2*c = -2. Solve q = 2*r - 8 for r.
4
Suppose -3*a + 6*a = 192. Suppose -2*k + 34 = 3*y, y + a = 3*k - y. Suppose 2*d - 23 = 3*b, 2*d - 10 = -3*d - 2*b. Solve 0 = -d*w - w + k for w.
4
Suppose -3*h + 7 = 25. Let c = 9 + h. Solve -c*z = z + 4 for z.
-1
Suppose 2*c = c + 8. Suppose c = -a - 0. Let m = -2 - a. Solve 4*x = x + m for x.
2
Let v(g) = -g**3 + 5*g**2 - 2*g - 2. Let w be v(2). Solve 3*n - w*n - 15 = 0 for n.
-5
Let f be 1*(4 - (-3 - -2)). Suppose -28 = -d + f*y, 2*d + 4*y = -d - 11. Suppose 6 = 3*q - 0*q. Solve -q*g - 1 = -d for g.
1
Suppose p + 14 = 3*w, -36 = -w + 5*p - 8. Solve w*z + 19 = 4 for z.
-5
Suppose -2*p + 5*l = 3*p + 20, -5*p = -2*l + 8. Suppose 3*j = q - 9 + 28, p = 3*q - 15. Solve -b = -3*b + j for b.
4
Suppose n + 1 = 3. Let t(j) = -j**3 + 3*j**2 + 2*j - 4. Let s be t(3). Solve n*z = 8 - s for z.
3
Let x be 1 - (-1 + 3)/(-2). Suppose 15 = -5*o, -l - 5*o = 10 + 1. Suppose l*g + 12 = 4*h, -5*g + 7 = x*h - 6. Solve 2 = 2*z + h for z.
-1
Suppose 3*h - 10 = h. Suppose 32 + 26 = h*b + s, -2*b - s + 22 = 0. Suppose o = 2*u + 8, o + 0*o - 3*u - 9 = 0. Solve 3*z - o*z = -b for z.
4
Suppose 0 = -9*l + 7*l + 8. Solve 0 = l*f + 2 + 2 for f.
-1
Suppose 6 = -3*g - 4*s - 0*s, -8 = 2*g + 4*s. Solve -12 = -2*x - g for x.
5
Let h = -19 + 28. Solve h + 7 = -4*q for q.
-4
Let x(j) = j - 1. Let r(s) = s**2 - 11*s + 1. Let g(a) = -r(a) - 3*x(a). Let m be g(8). Suppose t = -m*t + 6. Solve -3*u - t*u = -20 for u.
4
Let o(k) be the second derivative of -k**3/6 - 2*k. Suppose 0 = -0*x - 2*x - 6. Let l be o(x). Solve 2*q + l*q = -25 for q.
-5
Suppose 3*g = 7*g - 16. Solve 10 = -g*j - 2 for j.
-3
Suppose 3*q - 3*w + 14 = -8*w, -q - 10 = 3*w. Solve q*d + 12 = -2*d for d.
-3
Suppose 0 = -b + 2*w + 11, 0*w - 2 = w. Suppose 4*s - 5*x - b = -24, -s + 4*x = 18. Solve s*z = 3*z + 3 for z.
-3
Let o = -19 + 21. Solve -v = o*v + 15 for v.
-5
Let t = -1 - -2. Let z(u) = -u**3 - 8*u**2 + 8*u - 9. Let w(d) = -8*d**3 - d**2 - d + 1. Let s be w(1). Let l be z(s). Solve -o + l*o = -t for o.
1
Suppose 0 = -2*f - 6, 2*h - f = -0*h + 3. Suppose 0 = r - 2 - 0. Suppose -4*u + r*c - 6 = h, 12 = -2*u + 3*c + 3. Solve u = 4*s - 0 - 4 for s.
1
Let r = 5 + -1. Suppose -l - r*l = -10, 0 = -5*h + 2*l + 11. Solve 0 - 15 = h*d for d.
-5
Suppose 0*x - x - 11 = 3*o, -4*o - 40 = -5*x. Suppose 4*g + 5*f - 4*f = 44, 0 = -f - x. Solve 0 = 3*h - 3 + g for h.
-3
Let h = -5 - -3. Let a be (-48)/27 + h/9. Let i be (-1)/2 + a/(-4). Solve i*x - 2 = -x for x.
2
Suppose 4*a + 4*b - 19 = 5, -4*a - 3*b + 21 = 0. Let u be -1 + (11 - a) + -2. Solve -9 = -u*n - 4 for n.
1
Let c = 0 + 5. Suppose -2*f = 3*f + c*d - 15, 0 = f + 2*d - 3. Solve 0 = f*p + 2*p + 25 for p.
-5
Let h(j) = j**3 + 10*j**2 - j - 10. Let n be h(-10). Suppose 0 = 3*i + 5*x + 9, 5 = 4*i + x - n*x. Let o be (-1)/i + (-2)/(-4). Solve 5*w + 5 = -o*w for w.
-1
Let i be 0*(6/(-2))/(-9). Let u be -2 + 0 + 2 - 1. Let z be (-3 - -2) + (0 - u). Solve -p + z - 2 = i for p.
-2
Let k(c) = -2*c - 1. Let w be k(-4). Solve w = 4*p + 23 for p.
-4
Suppose -t - r = -4, 2*t - 13 = -t - 2*r. Solve 20 = -10*u + t*u for u.
-4
Suppose q = -q. Suppose 2*f = -0*f - 4*a, 3*f + a - 5 = q. Solve f*r + 1 = r for r.
-1
Suppose 5*s - 3*k - 40 = 2*k, 4*s = -4*k + 8. Solve q + s = -0 for q.
-5
Suppose 5*v = 3 + 12. Let j(o) = o. Let l be j(4). Suppose -v = -s + q, -5*s + 2 + l = -2*q. Solve s = x + 4*x for x.
0
Let y = 13 + -24. Let c = 23 + y. Solve 5*n + c = -8 for n.
-4
Let i(s) be the third derivative of s**5/60 + 5*s**4/24 + s**3 - s**2. Let u be i(-4). Suppose 5*b = u*b. Solve -r + 2*r = b for r.
0
Let o(t) = 2 + 10*t + 0 - 3. Let z be o(1). Let h be (-3)/z*(-5 - 1). Solve 2*s + 12 - h = 0 for s.
-5
Let x be 1*-2*(4 - 1). Let j = 17 - 23. Let r = j - x. Solve r = -2*m - 3*m + 10 for m.
2
Let x = -12 + 14. Solve -r = x*r + 12 for r.
-4
Let r(w) = -w**3 - 3*w**2. Let y be r(-3). Suppose -6*s + s = y. Solve s*d - 4*d = -20 for d.
5
Suppose 2*u - 7*u = -40. Let c be -3 + (9/12)/((-3)/(-24)). Solve c*f = f + u for f.
4
Let b = 15 - 31. Let u = b - -18. Solve 0 = 5*f - u - 18 for f.
4
Let r(s) = s**3 + 12*s**2 - 25*s + 43. Let x be r(-14). Solve 2*v - 7 + x = 0 for v.
3
Let c = -5 + -4. Let r be c/6 + (-14)/(-4). Solve 0 = 3*j - r*j - 1 for j.
1
Let t = -196 - -205. Solve -5*f - 6 - t = 0 for f.
-3
Suppose -5*c + 26 = -2*a + 3, 4*a = 2*c - 6. Suppose 4*g + j + 2*j = 49, -c*g + 3*j = -68. Solve -4*h = 7 + g for h.
-5
Let z(k) = k**2 - 7*k - 5. Let n be z(10). Suppose 5*j - i + 0*i = 5, 3*j + n = -5*i. Solve 2*g + 0 - 2 = j for g.
1
Let c be 8/(-28) + (-122)/14. Let h be 36/14 + c/(-21). Solve -h*k + 0*k + 9 = 0 for k.
3
Let j(x) = x**2 - 7*x - 8. Let u be j(9). Solve 4*n = -n - u for n.
-2
Let o(i) = i + 3. Let u be o(0). Let k = 3 - -5. Solve -q = u*q - k for q.
2
Let p = -15 - -17. Solve 2*n + p*n - 12 = 0 for n.
3
Suppose -3*c = -10 - 8. Suppose -2*q = 3*q - 20. Solve q*t - c + 2 = 0 for t.
1
Let g(d) = -6*d + 3. Let s be g(4). Let t be (-32)/(-14) + 6/s. Solve 0 = -5*b + t*b - 6 for b.
-2
Suppose -2*v - 3*q + 21 = 0, 2*v + 2*q - 20 = -2*q. Suppose 5*z - 13 = v. Solve 0 = -p - 0*p + z for p.
5
Suppose 0 = 3*w - 2*t + 8, 4*t - 7 - 9 = -4*w. Solve -3*f + 6*f - 3 = w for f.
1
Let s = -4 - -5. Let v = 5 - s. Solve -v = f + f for f.
-2
Let h(o) = 7*o**2 + 5*o + 2. Let q be h(-2). Solve 5*z - z + q = 0 for z.
-5
Suppose 0 = 5*q - 6*q. Solve q = -3*f + 4 + 8 for f.
4
Let t be (2/5)/((-1)/(-5)). Let f = t + -2. Let b be (-10)/(-2) - 0/(-4). Solve f = -2*y + b*y for y.
0
Suppose -m = -2, 0 = -4*u + 2*m + m + 74. Suppose -u = -5*b, -b = 2*p + b - 10. Solve 10 = 3*f + p for f.
3
Let b = -49 + 85. Let z = -16 + b. Suppose 5*j + 0*j = z. Solve -3*u = 8 + j for u.
-4
Suppose 4*y = 2*y - 4*w - 8, 4*y = 5*w + 36. Let k(t) = -t**2 - 4*t + 3. Let h be k(-4). Solve -5 = -h*m + y for m.
3
Suppose 4*i - 4*d - 20 = 0, d = -0*i - i + 5. Solve -i*f - 12 = 13 for f.
-5
Let b = -5 + 4. Let g be 10/4 + b/(-2). Solve g*w = -0*w + 3 for w.
1
Let r be (-7 - (-115)/25)/((-3)/10). Solve 0 = r*f - 3*f + 15 for f.
-3
Let k = -9 - -24. Suppose 2*d + 4*a = 1 + k, 0 = -5*d - 3*a + 26. Suppose d*s = 3 + 5. Solve 10 + 0 = s*v for v.
5
Let w be 0 + 2 + (-2 - -3). Solve r - 7 = -w for r.
4
Let m(p) = 2*p**2 + 13*p - 4. Let l be m(-7). Solve -2*y - l = 5 for y.
-4
Let q = -28 - -19. Let h = q + 11. Solve h*m + 4 = m for m.
-4
Let i(y) = y + y - 4 - 2. Let c be i(10). Solve -3*h + 2 - c = 0 for h.
-4
Let p be (20/25)/((-1)/(-5)). Suppose -3*j + 2*q = -52, -q - 4 = -2*q. Solve -m - j = p*m for m.
-4
Suppose 0 = -9*v + 4*v + 60. Let o = -7 + v. Suppose -q - q + 6 = 0, 0 = o*k - 4*q + 12. Solve -8 = 2*z - k*z for z.
-4
Let f(q) = -2*q. Let w be f(-1). Suppose 2*i + 4 = 2*y, i + 2*y + w*y = 23. Let h(r) = r**2 - 7*r. Let b be h(7). Solve 2*p - p - i = b for p.
3
Let t be 2*(2 - (-2 + 3)). Solve t*n - 4 = n for n.
4
Let w(m) = -m + 12. Suppose -5*g - 7 + 58 = -3*o, -5*g - 4*o = -37. Let y be w(g). Solve -h - 4 = y*h for h.
-1
Suppose 3*l + 14 = -4. Let a(g) = -g**2 - 7*g + 1. Let v be a(l). Solve 2*d = v*d - 5 for d.
1
Suppose s = -2*s - 9. Let l = s - -5. Let f be ((-2)/4)/((-1)/2). Solve l + f = -p for p.
-3
Let l(p) = p**3 - p + 6. Let r be ((-2)/1 + 2)/(-2). Let w be l(r). Let g be -2 - -6*w/3. Solve g + 6 = 4*u for u.
4
Suppose 5*o + 2*r = 5*r + 22, -4*o - 5*r = 12. Suppose -3*f + 2 = -2*f. Solve f*y = -o*y for y.
0
Let r(b) = -b**2 - 5*b + 3. Let l be r(-5). Solve -l*y + 0*y = 0 for y.
0
Suppose 4*m - 57 = -3*s, -3*s = -s + m - 38. Solve -6 = -5*y + s for y.
5
Suppose -11*o + 21 = -4*o. Solve v + o = -1 for v.
-4
Let p be 0/(-15)*(-1)/2. Suppose -a + 0 + 2 = p. Solve o - 4 = -a for o.
2
Let b(n) = n**3 + 4*n**2 + 2*n - 1. Suppose -2*x - 10 = 3*x. Let w be b(x). Let y be -3*2*w/(-2). Solve 2*o + y + 1 = 0 for o.
-5
Let g(t) = t**3 + 4*t**2 + 3*t + 4. Let m be g(-3). Solve m*v - 10 - 6 = 0 for v.
4
Let d(j) = -j**3 + 6*j**2 + j - 6. Let w be d(6). Suppose w = 3*a - 7*a + 20. Solve 0 = -0*y + a*y - 20 for y.
4
Let w(d) = -d + 6. Let z be w(3). Let n = 6 - 1. Suppose 20 = 5*i, 0*i = n*x + 4*i - 31. Solve -z*u + 3 = -x for u.
2
Suppose -3 = 3*y - 0*y. Let h be (y - 0)/(5/(-10)). Solve 3*f + h = 14 for f.
4
Let 