v = 19 + -17. Suppose i = v*i. Solve -f + 5 = -i for f.
5
Let n(i) = -i**2 - 4*i + 2. Let o be n(-4). Let p(z) = z**3 - z + 8*z**2 - 8*z**2. Let y be p(-1). Solve o*d + y*d = -6 for d.
-3
Suppose -5*m = 2*n - 29, 4*n - 2*m = -0 - 2. Solve 3*h + n*h = -10 for h.
-2
Let l be (-135)/(-36) + 2/8. Solve 0 = l*s - 16 - 4 for s.
5
Let u(o) = o**3 + 7*o**2 + 6*o + 4. Let r be u(-6). Let i(w) = w**2 + 2*w + 2. Let l be i(-2). Solve -2*x = l*x + r for x.
-1
Suppose -15 = z - 20. Solve 10*t = z*t - 25 for t.
-5
Let o(h) = -h**3 + 3*h**2 + 6*h - 5. Let p be o(4). Solve -3 = -4*v + p*v for v.
3
Suppose 2*h - 10 = 0, -3*a - 2*h - 1 + 23 = 0. Let s(n) = -n + 1. Suppose -2*z - 4*g = 0, 4*z - 2*z = g - 5. Let x be s(z). Solve 0 = -a*v + 7*v - x for v.
1
Let k be (-46)/(-10) - (-9)/(-15). Let q = 8 - k. Solve -q*y = -y - 12 for y.
4
Let h(w) = -w**3 + 3*w**2 + 4*w + 4. Let l be h(4). Suppose -5*r = -5*x - 25, 5*x - 30 = -4*r + l*x. Suppose 8*g - r*g = 8. Solve -g - 12 = 4*f for f.
-5
Let j = 19 + -12. Suppose -4*a = -5 - j. Suppose -2*k - 2 = s - 5*s, 5*s + 3 = -a*k. Solve s*g - 3*g + 15 = 0 for g.
5
Suppose 0 = -0*b - 3*b. Let u(y) = y**2 - 7 + 5*y + b - 1. Let s be u(-7). Solve s + 0 = -2*n for n.
-3
Let z = 57 + -52. Solve -n + z*n = 0 for n.
0
Suppose -5*w = 3*j - 90, 12 - 27 = -3*j. Suppose -3*f = -2*q + 17, 2*q - 5*f + 2 - 17 = 0. Let k = w - q. Solve o = -k - 0 for o.
-5
Let b(r) = -r**2 + 5*r + 6. Let p be b(5). Suppose -3*k = -3 - p. Let z(m) = 3*m - 3. Let t be z(k). Solve -t - 3 = 3*h for h.
-3
Let x(n) be the third derivative of -n**4/24 - 4*n**2. Let s be x(-2). Let h = s + 0. Solve h*l - 2 = 3*l for l.
-2
Let k be (-2 + 2 + -1)*6. Let p be (0 - -4)*(k + 7). Solve 4*u = p - 0 for u.
1
Let u = -7 + 8. Let y be (-3)/u - (0 + -4). Solve d + y = -0 for d.
-1
Let j(v) = -v**2 - 9*v - 12. Let y be j(-7). Solve 3*o + y*o = 5 for o.
1
Suppose 2*x - 6*x - 14 = 2*i, 17 = 4*i - x. Solve y + i*y + 4 = 0 for y.
-1
Suppose -d = 4*d - 200. Let r be 110/d + (-2)/(-8). Solve -r*z - 3 = 12 for z.
-5
Suppose -2*p + 12 = p. Solve 7*a - p*a - 9 = 0 for a.
3
Let k(c) = c**3 - 6*c**2 + 6*c - 5. Let n be k(5). Solve -f + 6 - 1 = n for f.
5
Let x be (-1)/2 + (-2)/(-4). Suppose x*h - 20 = -5*h. Solve 1 - h = j for j.
-3
Suppose -3*y = -0*y + w - 8, -2 = 2*w. Solve -y*s - 4 = 5 for s.
-3
Suppose -18 = 8*m - 11*m. Solve 3*p + m = p for p.
-3
Let b be 0 - 24 - (12 - 15). Let d = -19 - b. Solve -d*q = -6*q for q.
0
Suppose 2*q = 2*m + 3*m + 17, 3*m - 9 = -2*q. Solve -6*a = -3*a + q for a.
-2
Let d be -1*(-3)/(-9) + 4/12. Solve d = r + 3*r + 8 for r.
-2
Let h(x) = -x**2 - x + 18. Let f be h(3). Solve s = -s - f for s.
-3
Let j = -18 - -33. Suppose -2*s - s + j = 0. Let x(z) = z**3 - z**2 - z + 1. Let d be x(0). Solve 0 = s*y - d + 6 for y.
-1
Suppose 3*c = -5*d + 7 + 16, 5*d = 5*c + 15. Suppose -3*h + d*t = 19, -2*h - 2*t - 2 = 6. Let w(i) = -3*i + 5. Let x be w(h). Solve 6*s = s + x for s.
4
Let y(u) = 10 - u + 0*u + 3 - 6. Let r be y(5). Solve -2*a - r = -0*a for a.
-1
Let i = 17 - 17. Solve h + i*h - 4 = 0 for h.
4
Suppose 7*r - 8 = 13. Solve -15 = -r*q - 2*q for q.
3
Let a(p) = -p - 3. Let m be a(-9). Suppose -2*q = 3*c + q + 6, -3*q = m. Let f be (-3 - c) + -2 + 5. Solve f*z - 3*z = 0 for z.
0
Suppose 2*i + 23 = 29. Solve -2*j = -5 + i for j.
1
Suppose -7*q + 10 = -2*q. Suppose q*j = 6*j. Suppose j = -4*r + 22 + 26. Solve -2 = -5*t - r for t.
-2
Let s = 41 - 35. Solve -2*u = -10 + s for u.
2
Let w be 2 + 12/6 + -4. Solve w = k - 5 - 0 for k.
5
Let f = 63 + -60. Solve 0 = p - f*p for p.
0
Let f = -5 + -6. Let m(s) = s + 12. Let u be m(f). Solve u = r + 5 for r.
-4
Suppose 2*t - 3*t = -2. Suppose 0 = t*y + 5*i + 16, -2*y + 4*y = 3*i + 16. Solve 0 = 3*n - 4*n - y for n.
-2
Suppose 0 = -3*l - 0 + 6. Solve -l*o = -5*o - 15 for o.
-5
Let d = 9 + -10. Let s = d - -5. Suppose 4*c = -3*x + 3, 3*c - 2 + 0 = -2*x. Solve 0*q + s*q = c for q.
0
Let i(u) be the second derivative of -u**4/12 - 2*u**3/3 - 3*u**2/2 - 2*u. Let z be i(-2). Suppose z - 2 = -v - 3*a, 6 = 2*v + 2*a. Solve v = 3*h + 19 for h.
-5
Suppose 4*m = 2*m + 6. Let g be (-24)/(-6) - (4 - m). Let r be ((-4)/(-6))/(1/3). Solve 0 = -g*c - r - 4 for c.
-2
Suppose -b = -2*a - 3, 0 = 2*b + 3*a - 3 - 10. Suppose b*w - 2*w + 12 = q, -4*q + 3*w = -39. Solve -x = -4*x - q for x.
-3
Let q = -6 - -12. Solve -y - q = -3*y for y.
3
Let f(b) = 3*b**3 + 15*b**2 + 15*b + 7. Let x(d) = 4*d**3 + 22*d**2 + 22*d + 11. Let q(p) = -7*f(p) + 5*x(p). Let a be q(6). Solve u + 3*u - 20 = a for u.
5
Suppose 3*w - 10 = -2*w. Let m = 199 - 184. Solve w*l + m = -l for l.
-5
Suppose z = w + 1, 13 = -w + 2*z + 3*z. Solve w*f = -f - 6 for f.
-2
Suppose 0*v + 183 = v. Let b = -95 + v. Suppose -x - 5*c - 2 + 3 = 0, -4*x + c + b = 0. Solve -5*l + 1 - x = 0 for l.
-4
Let r be 4/(-34) - 22/(-187). Let b = 35 - 25. Solve 2*s - b = -r for s.
5
Let z = 167 + -163. Solve -z*o = o + 20 for o.
-4
Let p be (0 + 0)/(-14 - -16). Solve p = 2*m - 5*m + 6 for m.
2
Let v be 2/2 - (-1 + -2). Suppose 0 = -10*k + 160 - 10. Solve -v*t = t + k for t.
-3
Suppose 3*l - 7 = 38. Suppose -3*x + 2 = -x + 2*p, 0 = 5*p - 5. Suppose x = -u - 3 + 4. Solve -4*o + l + u = 0 for o.
4
Let a(i) = i**3 + 6*i**2 - 8*i - 7. Let w be a(-7). Let h = w - -2. Solve -h*z - 12 = z for z.
-4
Suppose 0 = -5*v - 3*q + 5*q + 15, 35 = 5*v + 2*q. Solve -v = -3*z + 10 for z.
5
Let w(j) = j - 19. Let q be w(23). Solve -q*f + 11 = -5 for f.
4
Suppose -26 + 10 = -2*g. Solve 2*p = -2*p - g for p.
-2
Let d = -5 + 8. Suppose -5*s + 6*i - 4*i = -6, -i + 10 = 4*s. Solve -w = s*w - d for w.
1
Suppose 3*o - 23 = 2*d - 4*d, -17 = -3*d - o. Solve 3*a + a + d = 0 for a.
-1
Let x be (-15)/(-12) - (-9)/12. Solve -9 = x*t + t for t.
-3
Suppose z = 3*v - v - 6, -8 = -2*v + 2*z. Let m = -2 + 2. Suppose m = -3*t + 5 + 1. Solve q + t = v*q for q.
2
Suppose 16*z - 13*z = -30. Let q = 10 + z. Solve q = v + 3*v for v.
0
Suppose 55 = 3*c - 86. Suppose 4*t - 20 = 0, 5*t - c + 6 = -4*s. Solve 14 = -5*w + s for w.
-2
Let h(x) = -x + 4. Suppose 4*w = w + 12. Let f be h(w). Solve f = -m + 6*m for m.
0
Suppose -4 = v + v. Let a(c) be the second derivative of c**5/20 + c**4/4 + c**3/6 + 24*c. Let p be a(v). Solve p*w - 2 - 2 = 0 for w.
2
Suppose 0 = -i - 8*i. Solve i*w + 3*w = 3 for w.
1
Suppose -f = -4*l + 8 + 7, 0 = -5*l + 5*f. Solve -6 = l*v + 4 for v.
-2
Let v = -8 - -11. Suppose 4*z = 5 + v. Suppose -3*d + 5*g = z*g - 18, -5*d + 3*g + 26 = 0. Solve 5*q = d*q - 3 for q.
-3
Let k = -15 - -17. Solve g - k = -g for g.
1
Let d(v) = -v**2 + 5*v - 4. Let a be d(3). Let h(f) = -f**3 + 6*f**2 - 4*f - 1. Let k be h(4). Solve a*o = 7*o + k for o.
-3
Let t(o) = 2*o**2 - o. Let f be t(-1). Let s be (40/(-15))/((-2)/f). Solve 0 = s*m - 4 for m.
1
Suppose -5*v + 4*p + 212 = 0, 5*p = -3*v - 69 + 211. Suppose -q = q + v. Let l = -10 - q. Solve -2*z - l = -6*z for z.
3
Let o = 48 + -31. Let k be 86/18 + 8/36. Suppose 0 = 4*g - 0*g + u - 13, 4*g + o = k*u. Solve -g*s + 1 = -5 for s.
3
Suppose 3*f = -v + 21, 4*f + 2*v - 3 - 25 = 0. Suppose -12 = 4*o - f*o. Solve o*j - 15 = -j for j.
3
Suppose 3*p - 20 + 5 = 0. Suppose p*t - 3 + 18 = 0. Let j = 5 + t. Solve j*q + 13 - 3 = 0 for q.
-5
Suppose v + 3*q = -15, -4*v + 4*q + q + 25 = 0. Solve 0 = -x - v + 1 for x.
1
Let w = 11 + -6. Let q be 2*(1/2 - 2). Let g be 3 + 6/q - -19. Solve 0 = -x + w*x - g for x.
5
Let m = -14 - -7. Let i = m + 11. Suppose 0 = u + 4*p - 16, -9 + 1 = -i*u - 2*p. Solve a + a - 2 = u for a.
1
Let u = 72 - 51. Let h(t) = t**2 + 4*t - 8. Let n be h(-6). Solve -n*f = u - 1 for f.
-5
Suppose 5*x = 5 + 5. Suppose -12 = 4*z, x*z + 20 = 4*m - 2*z. Solve 2*i = -m*i - 12 for i.
-3
Suppose -2*z + 5*z = 9. Let g be ((-2)/(-3))/(1/z). Solve -g*y + 6 = y for y.
2
Let h be (-1 - -1) + (0 - (-3 + -1)). Solve 9*g + 25 = h*g for g.
-5
Let v(l) = -l**3 - 17*l**2 - 17*l - 13. Let b be v(-16). Solve a = -b*a - 4 for a.
-1
Let x = -10 - -10. Solve x*n = -4*n for n.
0
Let t = -2 - -14. Solve -2*f = 2*f - t for f.
3
Suppose 2*a + 5*t = a + 23, -2*a = 3*t - 11. Let c(x) = x**2 - 2*x - 3. Let l be c(a). Suppose -7*u = -h - 4*u - 1, 5*u = h + 3. Solve h*z = l*z - 3 for z.
1
Suppose -2*p = -4*w + 8, 3*p - 1 = 2*w + 3. Let h be (-9)/3*(-4)/3. Let s be 19/h + (-1)/(-4). Solve i + w*i = -s for i.
-1
Suppose 25 