18 - z. Solve -4 = -m + s*m for m.
-1
Let m(d) = -d**3 + 6*d**2 + 3*d - 18. Let j be m(6). Solve -2*n + 4*n = j for n.
0
Suppose 5*a - 276 - 264 = 5*n, 0 = -a - 3*n + 108. Let z = a + -108. Solve 3 = -j - z for j.
-3
Suppose v - 16 = -3*y, -48 + 16 = -2*v + 5*y. Suppose 3*r - v + 4 = 0. Solve -r = -3*u + u for u.
2
Suppose 6*f - 19 = 23. Suppose 0 = -10*n + f*n. Solve -a - 1 - 4 = n for a.
-5
Suppose -107*o + 116*o = 27. Solve 49 = -o*g + 37 for g.
-4
Suppose 21*a = 52 + 11. Let w be (-3 + (3 - 0))/(-2). Solve 5*c - a*c - 8 = w for c.
4
Suppose 386*g - 24 = 383*g. Solve 46*l = 42*l + g for l.
2
Suppose -5*j = 5*f - 5 - 15, 4*j = -2*f + 16. Let u(x) = -x**3 - 22*x**2 + 76*x + 34. Let p be u(-25). Solve -j*m + m = -p for m.
3
Suppose -5 = 30*v - 35*v. Solve 3 = -o + v for o.
-2
Let w = 336 + -334. Solve 0 = h + w*h for h.
0
Suppose -4*l - 3*j = 31, 3*l = -2*j - 14 - 8. Let m be -4 + (-7)/l*4. Solve y - 4 = m*y for y.
-2
Let i(j) = -j**3 - 15*j**2 + 2. Let h be i(-15). Let x be 0/((-3 + 2)*2). Let p be 0/(-1*(x - 1)). Solve h*a + 2*a = p for a.
0
Let x = 24 - 12. Suppose -4*q - 20 = -c, q - 6*q = 4*c + 25. Let k = x + q. Solve -r + k = 4 for r.
3
Let x(u) = 2*u**3 - 11*u**2 + 9*u + 1. Let l be x(5). Solve 0 = -13*n + 5 + l for n.
2
Let f(i) = -i**3 - 5*i**2 + 4. Let o be f(-5). Suppose 0*m - 8 = -2*x + m, 2*m = -2*x - o. Solve -5*n - x = -7 for n.
1
Suppose 48*r - 5 = -5. Let w(p) = p**2 - 3*p - 2. Let g be w(4). Suppose -g*v = -5*v + 6. Solve -u - v + 1 = r for u.
-1
Let j be 70/8 - (-1017)/452. Solve -4*y = -19 + j for y.
2
Suppose -19*o = -277 + 68. Solve -3 = -o*a - 36 for a.
-3
Suppose -8 = -5*m + 17. Suppose 6*y - 23 = -m. Solve y = 4*a - 17 for a.
5
Let t(a) = -a**2 + 17*a - 61. Let b be t(6). Solve -3*d = 2 - b for d.
1
Suppose 0 = 2*k - 3*k - d + 7, -4*k - 2*d + 18 = 0. Suppose k*o - o - 24 = 0. Suppose 2*j = o + 16. Solve 4*y = -0*y - j for y.
-5
Let i be (-2)/(-10) + 294/30. Suppose i = 3*h - 8. Suppose 5*b - 3*l + 5*l - 24 = 0, h = 2*b - l. Solve 2*v - 4*v = -b for v.
2
Let r(x) = x + 4*x**2 - 1 + 5*x**2 - 2*x - 8*x**2. Let k be r(3). Solve -3 = k*l + 7 for l.
-2
Suppose -l + 39 = 35. Solve -l*s - 10 + 18 = 0 for s.
2
Let a = 265 + -259. Solve m - a*m - 5 = 0 for m.
-1
Let n(j) = -j**3 - 3*j**2 + 3*j + 5. Suppose -d + c = 4, 3*d + 4*c - 2 + 14 = 0. Let z be n(d). Suppose -z = -u - 4. Solve -3*m = -u*m for m.
0
Let t = 159 - 137. Suppose j + 2*k + 3*k + 8 = 0, -6 = -4*j - k. Suppose j*v - 4 = 2. Solve -10 = -v*g - t for g.
-4
Suppose -35*p - 240 = -50*p. Solve -2*d + 6 = p for d.
-5
Let i = -128 - -132. Solve -y - i = -2*y for y.
4
Let j(v) = 4*v**3 + 32*v**2 - 13*v + 15. Let o be j(-8). Solve 8*b - 79 = -o for b.
-5
Suppose 10 = 3*i + 25, -4*i - 215 = 5*n. Let h = 43 + n. Solve 0 = k + h*k + 25 for k.
-5
Suppose 2*v - 4*n = 12, -5*v - 21 = 5*n - 6. Solve v = -2*g - 2*g + 16 for g.
4
Let o = -1383 - -1391. Solve o*y - 18 = 6 for y.
3
Let z(h) = 7*h + 17. Let m be z(-5). Let g be (-78)/m + 2/(-6). Solve -6*v + g*v - 8 = 0 for v.
-4
Let n be -1 + (-19)/(-2) + (-5)/10. Suppose -4*m + 2 = 3*t - n*t, -4*t = -8. Solve -q - 6 = -m*q for q.
3
Let m be (-2)/(-7) - (-426)/(-21). Let b be (-172)/m - (-2)/5. Suppose 4*o + 27 = 4*c - b, 21 = 4*c - o. Solve 0 = -c*g + 2*g - 6 for g.
-3
Let y be (-42)/49*7/(-2). Suppose -3*w + 13 = -2*k, -3*w - 14 + 17 = 3*k. Solve -y*j = -w - 0 for j.
1
Let k = -75 - -81. Let x(l) be the third derivative of l**5/60 + l**4/12 + l**3/2 - 2*l**2. Let a be x(-2). Solve 0 = -r + a*r + k for r.
-3
Let g(f) = f - 14. Let u be g(16). Suppose 2 = u*s - s. Solve -s*t - 5 = -15 for t.
5
Let h = -134 - -140. Let f be (13/(-5) + 2)*-5. Suppose 3*z + h = 0, -f*b + 5*z - 6 = -7*b. Solve -b + 0 = l for l.
-4
Let o(y) = -y**3 - 5*y**2 - 2*y - 5. Let c be 80/(-6)*6/(-5). Suppose b = -2*s - 7, 2*s + c = -3*s - 3*b. Let t be o(s). Solve -8 = -t*m + 12 for m.
4
Let b = -21 - 63. Let p = -82 - b. Solve p*o = -o + 9 for o.
3
Let i(b) = -b**2 + 9*b + 8. Let u(m) = m**3 + 5*m**2 - 15*m + 1. Let o be u(-7). Let c be i(o). Solve -z - c = -5*z for z.
4
Let w = -7 - -12. Suppose 0 = -2*x + 1 + w. Suppose 2*o = j, 36 = 3*j - 0*o + x*o. Solve -5*a + j - 3 = 0 for a.
1
Suppose 12 + 3 = 5*q. Suppose -2*v - y = -v - 4, y + 4 = q*v. Suppose v*r - 1 - 1 = 0. Solve -r = -5*z + 4*z for z.
1
Let u(i) = i**2 + 13*i - 14. Let b be u(-14). Let x be (-2)/(-4) + 3/2. Suppose -x*d + 8 = -8. Solve 0 = -b*a + 2*a - d for a.
4
Let k = -3223 - -3227. Suppose p = 6*p - 20. Solve -k*n + p = -0*n for n.
1
Let g = -34 + -34. Let f = 73 + g. Solve 7 = f*d - 3 for d.
2
Suppose 0 = -138*t + 141*t - 306. Solve 105*i - t*i = 0 for i.
0
Suppose -23*r = -78 - 83. Solve -4*g - 19 = -r for g.
-3
Suppose 3*s - 27 = 4*x, 2*s = x - 94 + 112. Let a(v) = -v**3 - 7*v**2 + 7*v - 1. Let d be a(-8). Let r be (-38)/(-8) - d/(-28). Solve s = -8*t + r*t for t.
-3
Let x be -2 + -1 - (-102 + 3). Suppose -x = -3*u - u. Let k be (-10)/(-4)*u/3. Solve s = -4*s - k for s.
-4
Let j(r) = -r**3 + 10*r**2 - 4*r + 14. Let w(c) = c**2 - c - 1. Let p(l) = j(l) - 3*w(l). Let z be p(7). Solve z = -5*d + 25 for d.
3
Let s(k) = 8*k**2 + 55*k - 7. Let u be s(-7). Suppose -2*i - 2*v + 2 = -4*v, 1 = -3*i + 4*v. Solve u = -2*h + 7*h - i for h.
1
Suppose i - x = 3, -4*i = -7*i + 5*x + 5. Solve -i = -8*r + 3*r for r.
1
Suppose 3*y - 25 = 26. Solve -3*t + y - 20 = 0 for t.
-1
Let i(f) = -f + 15. Let r be i(14). Let w(z) = -2*z + r + 2 + 1. Let n be w(0). Solve -n*d = 23 - 3 for d.
-5
Let l(n) = 10*n - 35. Let d be l(5). Suppose -20 - d = -5*y - 5*a, 18 = 2*y + a. Solve 2*k = y - 3 for k.
4
Suppose -3*s - 35 + 9 = -16*s. Let c = -3 - -4. Solve s*h - c = 3 for h.
2
Let s(r) = 5*r**2 + 13*r - 20. Let w(a) = 14*a**2 + 37*a - 61. Let o(x) = -11*s(x) + 4*w(x). Let h be o(-8). Solve 4*v + h*v + 16 = 0 for v.
-4
Suppose -37*r + 40*r + 42 = 0. Let m = -12 - r. Let t(f) = -f**2 + 1. Let q be t(-1). Solve q = -3*j - m*j - 5 for j.
-1
Let m = 1416 + -1410. Solve -m*z = 24 - 0 for z.
-4
Let q(c) = -3*c - 10. Let g be q(-4). Suppose 0 = -2*f + 2*u + 10, -7*f + g*f + 16 = -2*u. Solve -1 - f = -3*d for d.
1
Let i be 1*(2 - -1 - 3). Let q = 6 + -1. Let a(p) = p**2 + 24*p + 105. Let m be a(-5). Solve i = q*v + m - 30 for v.
4
Let g = 23 - 20. Suppose g*a = -o - a + 1, -o + 4*a + 9 = 0. Solve -o*c - 7 = 13 for c.
-4
Suppose -72 = -216*i + 212*i. Solve -5*m - 7 - i = 0 for m.
-5
Let q(n) = -2*n - 6. Let d(l) = l**2 - 5*l - 19. Let t be d(7). Let c be q(t). Solve p = -c*p for p.
0
Let u = -13 - -13. Suppose -4*f + 87 = 25*f. Solve -f*h + 7*h - 12 = u for h.
3
Let m = 45 - 12. Let q = m - 18. Solve x = -2*x + q for x.
5
Let j(l) = l + 11. Let w be j(-7). Let k = w - 1. Suppose 0 = -4*i - 12, k*i - 3 = -5*g - i. Solve 0*r - g = 3*r for r.
-1
Let q be (-1 - 10/(-6))*3. Let n(t) be the third derivative of t**5/60 + 3*t**4/4 - 2*t**3 + 3*t**2. Let y be n(-19). Solve -q*x = -y*x + 15 for x.
3
Let c be 14/(-35) - (-102)/5. Suppose -5*b = -4*j - 29, 3*b + j - c = 6*j. Suppose 0 = b*g - 8*g. Solve g = -2*n + 3*n - 2 for n.
2
Let j(s) = -s**2 + s - 1. Let p be j(1). Let r be 3 + (-2 - -3) + p. Solve r*d - 4 = 4*d for d.
-4
Let d = 20 + -17. Suppose 92 = d*a + 17. Suppose -29 = -3*o + 4*b + b, 3*o - 4*b - a = 0. Solve 0 = -h - o*h + 12 for h.
3
Let c(a) = -3*a**2 - 2*a - 3. Let y be c(2). Let v = y - -21. Solve 3 + v = -l for l.
-5
Suppose 0 = -y - 5*z + 13, 0 = -4*y + z + 3*z + 4. Suppose -7 = y*g - 22. Solve -2*k + g*k - 15 = 0 for k.
5
Let w be 4 + -6 + 2 - -12. Let r be (-74)/(-14) + w/(-42). Suppose q + r = 4*k, 0*k + 4*q = -5*k + 1. Solve -4*i - 13 + k = 0 for i.
-3
Let a = -171 + 72. Let z = 103 + a. Solve 0 = z*x - 4 + 12 for x.
-2
Suppose -21*p + 51 = -4*p. Solve -9*d = -6*d - p for d.
1
Let g be (17/1)/(-17 + 18). Solve -8*v + 9 = g for v.
-1
Let i = 21 - 15. Suppose 22*n - 28 = 15*n. Solve 0 = n*w - 2*w - i for w.
3
Suppose 4*v + 32 = 4. Let p(n) = n + 12. Let h be p(v). Suppose -h*s - 4*r + 1 = -7*r, s - 17 = -5*r. Solve s*w = -w for w.
0
Suppose 5*f + 5*v = 75, -4*f - f + 82 = -2*v. Solve 15 = -21*j + f*j for j.
-3
Let s be 3 - (6 + -1 - 8). Solve -s*x = -x for x.
0
Suppose -4*a + 4*o = -48, -a + 5*o = -0*a - 28. Let q(d) = -d**2 + 7*d + 12. Let m be q(a). Solve 2*f - m*f = 0 for f.
0
Suppose 3*g = -4*r + 16, 0*g + 3*g - 3*r 