olve -t - 20 = -k*t for t.
5
Let p(s) = 3*s - 6*s + 2*s + 2. Let b be p(0). Let c(x) = -x + 20. Let w be c(0). Solve w = b*i - 6*i for i.
-5
Let p = 8 + -2. Suppose -l = -p*l - 30. Let n be (-88)/l - 2/(-6). Solve 3*h + n = -2*h for h.
-3
Suppose 2*f - 16 - 6 = 0. Let d = 14 - f. Solve -d*v - 6 = -0*v for v.
-2
Let q be (-3 - -5)*(2 - 1). Solve -i + q = i for i.
1
Suppose -3*d = -d. Suppose d = -4*o + 9 + 11. Solve -o = -6*r + r for r.
1
Let s(g) = g**3 - 9*g**2 - 11*g + 6. Let j be s(10). Let c = -17 - -10. Let q = j - c. Solve -q*l = -2*l + 3 for l.
-3
Let i(b) = -2*b - 2. Let v be i(-2). Suppose -c = -4*x - 9, -5*c = -v*x - 6 - 21. Solve 5 = -c*f - 5 for f.
-2
Let j(c) = -c - 4. Let d(k) = k. Let a be d(-8). Let q be j(a). Suppose -3*i - 3 = 3*b, 3*b + 10 = 2*b - q*i. Solve b + 1 = 3*n for n.
1
Let x = -14 + -1. Let n = x + 21. Let w(f) = f - 1. Let d be w(4). Solve 6 + n = d*p for p.
4
Let i be 36/(-8)*(1 + -3). Let g be 36/(-162) - (-20)/i. Solve 0 = 3*n - 2*n + g for n.
-2
Let n(w) = -4*w**3 - w - 3*w**2 + 3 + w**3 + 2*w**3. Let u be n(-3). Suppose u*j - 15 = j. Solve r + 2*r - j = 0 for r.
1
Suppose -2*x - 7 = -0*m - 5*m, 0 = -2*m + 5*x - 14. Solve 0 = -g - m*g for g.
0
Suppose 5*c - 91 = -4*y, -59 = -3*c - y + 3*y. Suppose 0*o = 2*o - 8. Solve 0 = -5*p + o - c for p.
-3
Let j(q) = -q**2 + 8*q - 8. Let z be j(6). Let s(n) = -3 - z - 2*n + 4*n. Let t be s(5). Solve 5*u - 8 = -t for u.
1
Suppose -2*s + 15 = 3*s. Solve -s*j = -10 + 25 for j.
-5
Suppose -3*k + 180 = -0*k. Suppose 0 = -5*b + 4*s + k, -4*s - 6 + 18 = 4*b. Solve 3*h = -h - b for h.
-2
Let w = -7 - 4. Let p = w - -7. Let n = 4 + p. Solve n*m = -2*m + 6 for m.
3
Let w = -60 + 64. Solve 0 = -c - w + 6 for c.
2
Let q(v) be the third derivative of v**6/120 + v**5/15 + v**4/24 - v**3/2 + v**2. Let g be q(-3). Suppose 6*n = -7*n + 13. Solve 2*x - g = n for x.
2
Let n = 173 - 170. Solve 0*q = n*q for q.
0
Let c(u) = 2*u**2 + u - 1. Let s(l) = -2*l**2 - l + 1. Let q(z) = -6*c(z) - 7*s(z). Let f be q(2). Solve -f = 4*w - 1 for w.
-2
Let t = 2 - 2. Solve 3*b - 1 + 16 = t for b.
-5
Let w be (-27)/(-5) + (-4)/10. Suppose 7*z = 4*z + 36. Let t = 26 - z. Solve t = w*k - 6 for k.
4
Let f(z) = z**3 + 2*z**2 - z + 1. Let c be f(-2). Suppose -79 = -3*x + 2*g, 4*x - c*g + 23 = 129. Solve 0 = t + 4*t + x for t.
-5
Let s be (-2 + 2)*2/(-4). Suppose 0 = 5*u + c - 20, s + 4 = u - 4*c. Let i = u + -3. Solve -3*r = 7 - i for r.
-2
Let w(h) = -1 + 0*h**2 + 5*h - 2 - h**2 + 2*h**2. Let q be w(-6). Solve 0 = -u - 0*u - q for u.
-3
Let o(u) = -u - 5. Let v be o(-5). Suppose v*g = -g. Let n(b) = -b**3 + b**2 - b + 5. Let s be n(g). Solve -16 = j - s*j for j.
4
Suppose 2*u = z + 4 - 3, 2*z + 5*u = -11. Let d be 14 - (5 - (-1 - z)). Solve 36 = 5*a + d for a.
5
Let l(u) = -6*u**3 - u**2 + 2*u - 1. Let n be l(1). Let m(r) = 3*r**3 - r**2 - r. Let c be m(-1). Let j = c - n. Solve 5*q - 2*q + j = 0 for q.
-1
Let v(m) = -2 + 6 + 0 - 2 + m. Let y be v(0). Solve 3*w - y = w for w.
1
Let x be -1 - -3*(-3)/(-3). Let n be (10/3)/((-2)/(-3)). Suppose -x*h = -n + 3. Solve 2*c - 3*c = h for c.
-1
Suppose 0 = l + 7 - 15. Solve -4*i + 0*i = l for i.
-2
Suppose 6*v - 3*y + 34 = 2*v, 3*v - 4*y = -22. Let a be ((-6)/v)/((-2)/(-10)). Solve a*u = 2*u for u.
0
Let u be (-4 + -32)/(-4) - 1. Solve u*i = 3*i for i.
0
Suppose 0*b + 3*b = -45. Let m = 13 + -21. Let d = m - b. Solve -4*n + 13 + d = 0 for n.
5
Suppose 5*m + 4*i - 31 = 0, 5*m - m - 28 = -4*i. Solve r = -m*r + 20 for r.
5
Let x(w) = -w**3 - 8*w**2 + 8. Let a be x(-8). Let j = 4 - -33. Suppose 2*b + b - 5*s - j = 0, -3*s = -b + 19. Solve b = -4*t - a for t.
-3
Suppose -s + 3*s = 0. Let h = s + 5. Suppose 0*u + h*u = 0. Solve u = 5*y - 5 for y.
1
Let j be -1 + -34*(-2)/4. Suppose -8 - j = -4*v. Suppose 15 = v*t - t. Solve 15 = -3*d + t for d.
-4
Let k(j) = j**2 + 8*j + 14. Let q be k(-6). Let h(z) = 18*z**3 - z**2 + 1. Let v be h(1). Solve -v - q = -4*u for u.
5
Suppose -o + 4 = o. Suppose 0 = a + o*x - 8, -5 = -x - 1. Suppose -r + 2*q + 4 = 0, 2*r - 8 = -2*q - a*q. Solve 1 = j + r for j.
-3
Let p be 4*4/2 - 3. Suppose 4 = -2*o + 3*o. Solve -x = o*x - p for x.
1
Suppose 5*z + 0 = 25. Solve z*o = o for o.
0
Let d be 1 + (-3)/(-1) - -1. Suppose d*s - 71 = 3*c, -s - 5*c = -5*s + 62. Solve 3 = -4*j - s for j.
-4
Suppose -3*q - 9 = 0, -4*j + q = j - 8. Let d = 8 + -11. Let o = d + 7. Solve -t - o = j for t.
-5
Let u(q) = -q**3 - 7*q**2 - 2*q - 10. Let w be u(-7). Solve 0 = -w*h - 2 - 2 for h.
-1
Suppose 5*g + 8 = 4*f - 12, -16 = 3*f + 4*g. Suppose 3*r - 3*h - 21 = f, 4*h = 4*r + 2*h - 26. Solve -q - 25 = -r*q for q.
5
Suppose -12 = -2*t - 4*b, 0 = -5*t + 7*b - 3*b + 16. Solve -6 = -5*o + t for o.
2
Let r(h) = 2*h + 11. Let o(c) = 5*c + 32. Let i(k) = -4*o(k) + 11*r(k). Let t be i(6). Solve 1 = t*x - 4 for x.
1
Suppose 3*s + h - 6 = 3*h, 0 = -s - 2*h + 10. Let p be (2 - s) + (-1 - -7). Solve -p = -3*f + f for f.
2
Let d(n) = 3*n + 1. Let x be d(1). Let p = 2 + -8. Let l be ((-15)/p)/(1/2). Solve 21 = l*u - x for u.
5
Suppose -5*m + 2*m + 9 = 0. Solve -25 = m*c - 8*c for c.
5
Let a = 1 - -4. Suppose -5*y + 25 = -0*f + 5*f, -4 = -4*y. Let m(s) = s**3 - 13*s**2 - 13*s + 5. Let t be m(14). Solve a*r + f = t for r.
3
Let p be -1 + 4 + 15 + -8. Solve -2*z + p = -0 for z.
5
Suppose 4*q + 32 = -5*o, -q = -o - 4*o - 17. Let v be 1 + 8/o*-1. Solve 6 = 5*i - v*i for i.
3
Suppose -1 = -2*r + 3. Suppose 5 + 43 = 12*w. Solve -4 = r*j + w for j.
-4
Let w(g) = g**2 - 3*g - 3. Let t be w(4). Let j be (-26)/(-4) + t/(-2). Solve -4*d + d = -j for d.
2
Let o = -41 + 43. Solve 0 = 6*t - o*t - 8 for t.
2
Let k(g) = 4*g**3 + 2*g**2 - 1. Let r be k(1). Let d = 8 - r. Suppose d*v - v = 5*n - 8, -5*v - 4*n = -46. Solve 0 = -5*w + v - 1 for w.
1
Suppose 5*v - 4*u = 14, -4*v - u = -2*u - 9. Solve -4*b + 3*b + v = 0 for b.
2
Suppose 2*y = 4*y + 4*d - 100, -3*y + d = -136. Let g be (-3)/(-6) + y/4. Solve -k + g = -4*k for k.
-4
Let v = -17 - -5. Let i = v - -17. Let s be -1*-3*20/12. Solve -i*a = 5 + s for a.
-2
Suppose 2 = 2*t - 2. Solve 0 = t*b - 4*b + 2 for b.
1
Let q = -17 + 7. Let z be (8/q)/(6/(-15)). Suppose x = 2*h + 7 - 2, 5*h = z*x - 10. Solve h*m + 6 = -2*m for m.
-3
Let j = -8 - -13. Solve 0*w = w + j for w.
-5
Let t be (-268)/(-8) - (-6)/(-4). Let h be t/10 - 1/5. Solve 4*g = 3*g - h for g.
-3
Let t(c) = 2*c - 5. Let f be t(9). Solve 0 = -4*r + f + 3 for r.
4
Let v be (3/(-2))/(12/(-40)). Let n be (7 - -2)*(-3)/(-9). Solve -n*s = -1 - v for s.
2
Let k(q) = -3*q**3 - 17*q**2 + 4*q - 8. Let w be k(-6). Solve w*t - 2 = 6 for t.
2
Let p be (-1)/2 - 55/(-10). Let o be 12/2 + 1 + -3. Let w = -24 - -30. Solve p*f - o = w for f.
2
Let j(k) = -4*k + 25. Let n(m) = -3*m + 17. Let i(r) = -5*j(r) + 7*n(r). Let z be i(-7). Solve -5*f = -z + 26 for f.
-5
Let t(m) = m - 4. Let o be t(7). Suppose 5*r + 22 = 4*d, -2*r - 7 = d + o*r. Solve -d*v = -6*v for v.
0
Let x = 6 + -6. Suppose 0 = -2*d - 0*d + 5*l - 21, -4*d = -2*l + 2. Solve -d*f + 4*f = x for f.
0
Let h(s) = s**2 + 2*s - 2. Suppose -2*k - d = -0 + 1, 3*k - d = 11. Let r be h(k). Solve 2 + r = 2*o for o.
4
Let u be (-5 - -7)*10/4. Suppose 0 = u*a - 4 - 96. Solve b + 3*b = a for b.
5
Suppose -3*t - 22 = -2*p, 2*p - 2*t - 18 = -0*t. Solve 25 = p*g - 10*g for g.
-5
Suppose -5*y = -13*y + 160. Solve -n + y = 3*n for n.
5
Let f be 11 - 1*4/2. Suppose 0 = 5*r + 3*z - 9, -5*r + 6*z - f = 3*z. Let m = 5 - -10. Solve r = 5*l + 5 + m for l.
-4
Let s = 3 - 6. Let n(k) be the second derivative of k**4/12 + 2*k**3/3 + 3*k**2/2 - 16*k. Let q be n(s). Solve 2*m + 0 + 2 = q for m.
-1
Let a(p) = 2*p**2 + 2*p - 1 - 9*p + 4. Let v be a(5). Suppose -3*z = -4*k - v, -26 + 8 = -3*z - 3*k. Solve -3*g = -0*g - z for g.
2
Let d be 1*(-10)/(-1 + -1). Suppose d*b = 6 + 4. Suppose 3*q = -b*q + 20. Solve -q = -5*v - 24 for v.
-4
Let z(a) = -3*a - 9*a - 2 + 2*a. Let r be z(-9). Suppose -4*n + 3*j + r = 0, -3*n + 7*j - 3*j = -66. Solve -3*p - n + 7 = 0 for p.
-5
Let t = 6 - 5. Solve r + 5 = t for r.
-4
Let u(t) = t**2 - 13*t + 4. Suppose -5*w + 69 = -2*y, -12 - 38 = -4*w - y. Let r be u(w). Solve a = r*a + 15 for a.
-5
Let k(w) = w**2 + 3*w - 2. Let a be k(-4). Let y be (-11)/(-44) + a/(-8). Solve y = 2*s - 3*s for s.
0
Suppose -5*y + 6 + 14 = 0. Solve -3*b = -b + y for b.
-2
Let k