= -3*k for k.
3
Suppose -5*r + 7 = -3. Let t(k) be the second derivative of -k**4/12 - 5*k**3/6 - k**2/2 - 2*k. Let f be t(-3). Solve r = -z + f for z.
3
Let u(k) = -k**2 + 11*k - 7. Let i be u(10). Suppose i*y = 8*y - 15. Solve 4 + 8 = y*t for t.
4
Suppose -3*f - f = -140. Let u be (1/1)/(7/f). Solve -u*m + 6 = -9 for m.
3
Suppose 0 = -4*t + 5*t - 5. Suppose -3*i + t + 1 = 0. Solve 15 = i*j + j for j.
5
Let n(w) = w**3 + 5*w**2 + w + 3. Let d(s) = s**3 - 6*s**2 - 2*s + 8. Let m be d(6). Let c be n(m). Solve 10*b - c = 5*b for b.
3
Let z(p) = 3*p + 46. Let n be z(-8). Solve 0 = 4*m + n - 6 for m.
-4
Let w(v) = -v**2 - 10*v - 6. Let b be w(-4). Solve 3*d = 3 - b for d.
-5
Suppose -v + 3*h = h - 9, -4*h - 27 = -5*v. Let g(s) = -s**3 + 7*s**2 - 5*s + 9. Let n be g(6). Suppose 0*z - 10 = 5*z, -n = -k + v*z. Solve 4*b - k = 3 for b.
3
Suppose -d = -3*x + 15, 3*x - 4*d - 32 = -2*x. Let n(y) = -y - 5*y + y + y**2 + x. Let h be n(5). Solve h = -r + 5 for r.
1
Suppose 9*l + 20 = 10*l. Solve 5*y - y + l = 0 for y.
-5
Let u(k) = k**3 + 11*k**2 + 11*k + 15. Let r be u(-10). Solve -3*q = -r*q + 4 for q.
2
Let w = 1 - -12. Solve 3*a = -w + 4 for a.
-3
Let h be (-2)/4 + 6/4. Solve -b + h = -1 for b.
2
Let c = 4 + -3. Let w be (-3)/2 - (-6)/(-4). Let q be 1/(-3)*w - c. Solve -2*s + 5*s = q for s.
0
Let n be (1 - (0 - 0))*-1. Let z be (-5 - n)*6/(-8). Suppose -3*p - 4*h + 30 = z, p - 2 = h. Solve 4*w = p + 3 for w.
2
Let z = 2 + 17. Solve -4 + z = -5*i for i.
-3
Let o(a) = -19 - 16*a - 2*a**2 + 6*a**2 + 5*a**2 + a**3 + 3*a**2. Let i be o(-13). Solve -4*p - p = -i for p.
4
Let r = -3 - -3. Let a be 4/(-14) - 40/7. Let q(l) = -l**3 - 6*l**2 - 2*l - 7. Let b be q(a). Solve r = -b*i - 0*i - 5 for i.
-1
Let g(p) = 15*p**3 + p**2 - 2*p + 1. Let h be g(1). Solve 2*v - h = -3*v for v.
3
Let s be 2/3*(-60)/(-8). Suppose i = -4*i - s. Let q be (-1 - -7) + 1/i. Solve 0 = 2*l + q - 15 for l.
5
Let c be 5/((-15)/6) - -5. Solve 6*v - c*v = -12 for v.
-4
Suppose 3*f + 1 = -14. Let b = f + 10. Suppose -p - 3*u = -b*p + 5, 2*p + u = 5. Solve -p*c + 7*c = 20 for c.
4
Let l be (-2)/(-14) - (-5 + (-4)/(-28)). Suppose i + u + 5 = 3, 4 = 3*i - 2*u. Let x = i - -5. Solve 0 = -l*y + x - 30 for y.
-5
Let o(i) = i**3 + 4*i**2 + i. Let a be o(-3). Solve -a = -f - 2*f for f.
2
Suppose 8 + 2 = 5*r. Let w be (24/(-20))/(r/5). Let p = w - -4. Solve -5 + p = 4*m for m.
-1
Suppose -4*h - z - 36 = 0, 6*h - h - z = -45. Let t = 14 + h. Suppose 0 = 2*k - t - 5. Solve -7 = 4*r + k for r.
-3
Let f(p) = 2*p + 3. Let g be f(0). Solve 4 = 5*x - g*x for x.
2
Let n be (24/(-20))/(2/(-5)). Suppose 2*i = -5*p - 2*i - 5, 0 = -4*p - n*i - 3. Solve 4*a - p = 17 for a.
5
Suppose -2*i = -5*k + 15, 0 = -4*i + 18 + 2. Suppose k*c = -d - 15, 5*d - c = 7 + 22. Suppose t - d*t + 16 = 0. Solve 0 = -5*q + q - t for q.
-1
Let y be (-1*2)/((-5)/5). Solve y*s = -1 - 9 for s.
-5
Let z be 3/(((-2)/6)/(5/(-15))). Solve 0 = w - 1 - z for w.
4
Let q = 19 - 14. Solve 0 = q*o - 4 - 1 for o.
1
Let w = -48 - -28. Let o = w + 22. Solve -g - o + 1 = 0 for g.
-1
Let l = 8 + -10. Let q be 53 + (l - (-15)/3). Let n be q/26 - 10/65. Solve -2 = n*k - 0*k for k.
-1
Let b be (-2)/3*(-2 - 1). Suppose -1 = -s + 1. Suppose b*y = -s*y. Solve 2*h + 4 = -y*h for h.
-2
Let i(x) be the third derivative of -x**6/120 + x**5/60 + x**3/3 - 3*x**2. Let t be i(0). Let o be (6/2)/(3/4). Solve -y = -t*y - o for y.
-4
Suppose -5*m - 20 = 0, 5*m + 20 = -3*v - 0*m. Solve -2*x + 4 = -v*x for x.
2
Suppose 3*q - 3*b = b + 33, -q - 5 = 4*b. Suppose 3*l + 4*u = -3, 3*l - 5*u = -0 - 3. Let o = l + 3. Solve -o*r + 10 = -q*r for r.
-2
Let x be ((-27)/18)/(2/(-4)). Solve -2*t - 5 + x = 0 for t.
-1
Let x = 12 + -7. Solve 5 = -x*m - 15 for m.
-4
Let u(f) = f**2 + 5*f + 6. Let y(i) = -i**2 + 7*i + 13. Let t be y(9). Let l be u(t). Suppose 5*b = x - 10, 2*b = -3*x + 5*b + l. Solve x = -3*v + v for v.
0
Suppose b - 3*s + 3 = -b, 0 = -2*s + 6. Solve b*l = -l for l.
0
Let t be (-1 + 0/2)*-2. Let z be (1/(-2))/(t/(-12)). Let f = 5 - z. Solve 9 + 1 = -f*x for x.
-5
Let a be (-2)/(-3)*1*3. Suppose 0 = 7*w - 4*w. Solve a*f + w = -2 for f.
-1
Suppose 4*w - w = 15. Suppose 5*r = r + 5*o + 37, -w*o - 40 = -5*r. Solve 0 = -0*z - r*z + 6 for z.
2
Let w(x) = -x + 16. Let r be w(0). Suppose 2*t - 5*a + 2*a - 13 = 0, -2*a - r = -5*t. Suppose -5*n + n = -j + 12, -t*j = 4*n. Solve 0 = p + p + j for p.
-2
Let l(w) = w**2 + w - 4. Let h be l(-3). Let p = 74 - 71. Solve p*u + h + 4 = 0 for u.
-2
Let i = 6 - 7. Let o = i + 11. Solve o = 3*x - x for x.
5
Let h be (-17)/(-2) + (-1)/(-2). Solve -2*r + 5*r - h = 0 for r.
3
Suppose 3*y - 2*a + 4*a + 12 = 0, y = 4*a + 10. Let l = y + 2. Solve c + c = l for c.
0
Let u(a) = -6*a**3 - 5*a**2 + 5. Let r(z) = -5*z**3 - 5*z**2 - z + 4. Let m(l) = 5*r(l) - 4*u(l). Let d be m(-4). Solve 0*h - 2*h = -d for h.
2
Let a = -55 + 64. Solve a = 3*g - 0*g for g.
3
Suppose 3*r + 2*r + 8 = -3*i, -i + r = 0. Let z be (-1 - 1/(-1))/i. Solve z = 3*d + 15 for d.
-5
Let v = -7 - -15. Suppose -4*p + v = -0*p. Solve p*x + 1 = 7 for x.
3
Let p = 61 - 35. Suppose -t - p = t + 5*k, 3*t + 2*k = -17. Let s be (t/(-6)*0)/(-2). Solve 3*h + 0*h - 12 = s for h.
4
Let u = -5 + 8. Suppose 3*a - a + 5*o = 18, -u*o = 4*a - 8. Let i be 3 + (-1)/a + 1. Solve 9 = 2*j - i*j for j.
-3
Suppose 15 = -3*y + 8*y. Solve -4 = m - y*m for m.
2
Let y(c) = c - 7. Let z be y(7). Solve -4*t - t + 5 = z for t.
1
Let t(k) = -k - 5. Let v be t(-6). Let m be v/(-2) - 164/(-8). Solve m = 3*x - 8*x for x.
-4
Let g(m) = 5*m + 24. Let x(a) = 2*a + 8. Let w(o) = 3*g(o) - 8*x(o). Let l be w(8). Suppose 3*k - 2*k - 3 = l. Solve k*r + r = 12 for r.
3
Let o be (-1)/(-4) + 2/(-8). Suppose 0 = 2*d - 4 - o. Suppose -14 = -4*k + d. Solve -2*l + l = -k for l.
4
Let o(f) = -f**3 - 16*f**2 - 15*f + 1. Let v be o(-15). Solve 7 - v = 2*b for b.
3
Suppose -l - 4 = -0. Let h be 110/4 - 2/l. Suppose 3*t - h = 2. Solve -4*y = t - 2 for y.
-2
Let q(h) = -h + 5. Let b be q(5). Suppose b*d = 3*d. Solve -4*o + 13 - 33 = d for o.
-5
Suppose v + 2*j - 19 = 0, -4*v + 40 = -j - 0*j. Suppose -5*w = 1 - v. Solve -a + 0*a = -w for a.
2
Let o be (2/(-6))/(1/(-9)). Suppose -5*v + 2*p - 3*p + 15 = 0, 0 = 5*v + o*p - 25. Solve 0*h - v*h - 2 = 0 for h.
-1
Let j = 1 - 2. Let p be ((-1)/2)/((-5)/10). Let w = p - j. Solve w = g + g for g.
1
Let l(a) = -6*a - 1. Let j be l(-2). Let g(s) = -s - 52. Let p(q) = -17. Let i(z) = -2*g(z) + 7*p(z). Let n be i(j). Solve 2*m - 3 + n = 0 for m.
-2
Let p(f) = f**2 - 9*f - 13. Let k be p(11). Solve -5*r - 16 = k for r.
-5
Let l be (-14)/(-98) - 27/(-7). Solve -2*p + l*p = -2 for p.
-1
Suppose -70 = -4*c - 18. Let d be (-2 - c)/((-3)/2). Suppose d*m = 5*m + 20. Solve 0 = m*i + 4 for i.
-1
Let v(z) = z**2 - 16*z - 18. Suppose -1 = s - f - 2*f, 4*s = f - 4. Let l(m) = -m - 1. Let g(y) = s*v(y) + 5*l(y). Let n be g(12). Solve j = 1 + n for j.
2
Let p = -5 - -8. Suppose -3 = n + 5*x, p*x - x + 2 = 0. Suppose -2*m = -3*z - 0*m + 28, -m + 14 = n*z. Solve q + z = -3*q for q.
-2
Suppose 7*w = 2*w + 15. Let u be (-8)/(-3)*(14/(-4) + 5). Solve -u*h = -w*h for h.
0
Let n(j) = j**2 - 3*j - 6. Let o be n(5). Suppose -4 = -0*x - o*x. Suppose 5*l + 0*l = 15. Solve -l*t = -x - 2 for t.
1
Let c(b) = -b**3 + 11*b**2 + 3. Suppose 9*u - 11 = 8*u. Let k be c(u). Solve 2*o - k = 1 for o.
2
Let m(p) = -3*p**3 - p**2 - p - 1. Let s be m(-1). Solve -3*u - s*u = -15 for u.
3
Suppose 18 + 7 = 5*a. Let o = 5 - 2. Solve o*m = a*m + 8 for m.
-4
Let i be ((-9)/(-15))/(4/20). Solve 0 = -2*o + i - 9 for o.
-3
Let w = -36 + 39. Solve 0 = -w*v + 6 - 0 for v.
2
Let r = 41 + -21. Solve -r = -0*a + 4*a for a.
-5
Suppose 0 = -2*m + 1 + 3. Suppose i = -0*i. Let g be (i + m)/(4/6). Solve l - 5 = -g for l.
2
Suppose n + 3*n + 5*b = -15, -5*b = 5*n + 15. Suppose 0 = -n*v - v. Suppose v = -d - d. Solve d = -3*p - 0 - 3 for p.
-1
Let y(w) = w**3 + 6*w**2 - 7*w + 7. Let q = 11 + -18. Let t be y(q). Solve 9 = -4*f - t for f.
-4
Let i(u) = -3*u**3 + u**2 + u + 1. Let w be i(-1). Solve w*j + 4 + 12 = 0 for j.
-4
Suppose 3*j + j + 3*m = -12, 0 = -4*j - 2*m - 8. Solve j*u + 2*u = -4 for u.
-2
Suppose 0 = -9*x - 2*x + 22. Solve -x*a = -0*a for a.
0
Suppose 3*p + 32 = -0*x - 2*x, -5*p - 52 = 2*x. Let v be (-99)/(-5) - 2/p. Let a be -12*(1/2 + -1). Solv