 -3*t - 5*k = -5. Solve t*i = i for i.
0
Suppose -m = -4*d + 15, -4*d = 5*m - 0*m - 45. Let j = -5 - -8. Suppose -k - 2 = -5*c + 70, 64 = 5*c + j*k. Solve -d*o + 11 + c = 0 for o.
5
Let v be 4/(8/(-2)) + 28. Let z = v - 27. Solve z - 3 = d for d.
-3
Let u = 24 + -22. Suppose -3*g = -6*g + 9. Solve 1 = u*v + g for v.
-1
Let q(w) be the second derivative of w**4/12 + w**3/6 - w**2/2 + w. Let h be q(-2). Let k be 2*(-6)/(-8)*2. Solve -j = h - k for j.
2
Suppose -2*h + 4 = 2*q - h, -4*q + 14 = -h. Solve 2*g + 7 = -q for g.
-5
Let j be (-1)/(-2) - 145/(-58). Let z = -60 - -88. Let w = 48 - z. Solve -7*y + j*y = w for y.
-5
Let l be -9*(-1 + 0)/3. Suppose -3 = n - 2*n, -2*h - l*n - 3 = 0. Let s be (2/(-3))/(2/h). Solve -s*v = -v - 2 for v.
2
Let u be 26/3*(-4 + 1). Let j = -11 - u. Solve -3 + j = 3*n for n.
4
Suppose -5*f - 61 + 61 = 0. Let l = 7 - 4. Solve f = -l*d - 7 - 5 for d.
-4
Let p = -1 - 0. Let k = -1 - p. Solve -15 = -3*i - k for i.
5
Let x(v) = v**2 - 6*v + 7. Let k(y) = -2*y**2 + 12*y - 15. Let g(i) = -2*k(i) - 5*x(i). Let z be g(5). Solve -3*c - 3 = -z*c for c.
-1
Suppose 16 = z + 3*z. Let q be ((-14)/(-4))/(5/10). Let s = q - 5. Solve -4 = -s*v + z for v.
4
Suppose 0 = 5*n - 2*n + 9. Let l be ((-1)/n)/((-1)/(-3)). Let i = 4 - 2. Solve -i*t - l = -3*t for t.
1
Suppose 0*h - 2*o + 50 = 2*h, -13 = -h - 5*o. Let f be (-12)/(-8)*h/3. Let n be 132/28 + 4/f. Solve 1 = 6*q - n*q for q.
1
Let m(n) be the first derivative of -n**2 - 2*n - 1. Suppose -4 = -0*g + 2*g. Let t be m(g). Solve -3*u - t = -u for u.
-1
Let l = -16 + 20. Solve -l*f = f - 25 for f.
5
Suppose 0 = -12*k + 16*k - 20. Solve 0 = i - k for i.
5
Suppose -5*i = -0*s - 5*s - 40, -4*s + 16 = 0. Let p = i - 4. Suppose -k + 2 = -2. Solve 0*n + p = -k*n for n.
-2
Let f be (-1)/(-1) - (-3 + -8). Let x(t) = -t**2 + 12*t + 9. Let h be x(f). Solve 5*r + h = 24 for r.
3
Suppose 0 = -4*n + 3 + 5. Let z(x) = 2*x**2 - 2*x - 4. Let w be z(3). Let q(y) = 2*y - 12. Let b be q(w). Solve -5*k = -b*k + n for k.
-2
Suppose 12*l = 10*l. Let f be l + -3 + (-4 - -7). Solve f*r = r for r.
0
Suppose -5*o + 121 = -4*p, -8*p - 96 = -4*o - 4*p. Solve 0 = -5*b + o for b.
5
Suppose 22 = -4*s - 2. Let o = -2 - s. Solve -4*l - o = 16 for l.
-5
Let l = 53 + -18. Suppose -10 + l = 5*w. Solve 4*f = w*f for f.
0
Let j(w) = 7*w - 4. Let r be j(2). Let l(m) = -m**2 + 5*m. Let a be l(5). Solve a = 5*d + r + 5 for d.
-3
Let l(c) = c**2 - 2*c - 3. Let v be l(-3). Suppose -2*r - v = -5*r. Solve r*d = -d for d.
0
Let g be (-8)/24 - 32/(-6). Solve 0*r = g*r for r.
0
Let c(m) = -m**3 + 25*m**2 + 27*m - 21. Let w be c(26). Solve -w*t + t + 16 = 0 for t.
4
Let q = 53 + -26. Let m = q + -44. Let u be (-2)/4 + m/(-2). Solve 4*x + 8 + u = 0 for x.
-4
Let d(y) = -y**3 + 2*y**2 + 2. Let a be d(2). Suppose a + 4 = 2*v. Suppose -k = -2*j + j + v, 6 = 4*j - 2*k. Solve -m + 4 = -j for m.
4
Suppose 0*k - h - 22 = -5*k, 2*h = -k. Solve k*q = 5*q + 4 for q.
-4
Let u be (3*-2)/(8/(-2) + 2). Solve 0 = 4*q + 7 - u for q.
-1
Let s(h) = -h**2 - 5*h + 2. Suppose 31 = 3*b - 5. Suppose 2*j + b = -j. Let a be s(j). Solve 4*w - a*w = -10 for w.
5
Let q = 1 + -3. Let a be (q + 0 + 2)*1. Solve 2*p = -a - 8 for p.
-4
Suppose g + 1 = 6. Suppose -g*h = -6*h. Solve h = -0*j - 3*j + 6 for j.
2
Let c = 5 - 2. Let a(f) = -f**3 - 3*f**2 - 2*f - 2. Let b be a(-3). Let o be 2/b*(-1 + 1). Solve -c*h + 0 - 6 = o for h.
-2
Let t(l) = 2*l + 5. Let h be t(-3). Let n be (6/4)/((-2)/(-4)). Let u = h + n. Solve -3*p - 20 = u*p for p.
-4
Let n(o) = o**2 - 3*o - 2. Let b be n(-1). Solve -y + 3 = b*y for y.
1
Let o(k) be the third derivative of -k**4/24 - 5*k**3/3 + 3*k**2. Let j be o(-7). Let h(d) = -d - 1. Let y be h(j). Solve -y*t = -t + 5 for t.
-5
Let h be (5/(-3))/((-15)/18). Let z = 4 + h. Solve -b = -4*b - z for b.
-2
Let s = -4 - -8. Let f = s - -2. Suppose 3*w - 3 = f. Solve -g + 2 - w = 0 for g.
-1
Let c = -15 + 15. Solve -5*g + 4 + 16 = c for g.
4
Let u(z) = 4*z**2 - z - 2. Let f be u(-1). Solve 8*h - f*h = 10 for h.
2
Suppose p - 3*n - 10 = -4*n, -3*p = -3*n - 24. Let t be 101/p - 10/45. Suppose 0 = 3*l - i - 19, 2*i - 5*i = 3*l - 3. Solve 14 = -l*v - t for v.
-5
Let p be ((-1)/(-2))/((-2)/(-4)). Solve p - 6 = b for b.
-5
Let u be -1 + 4*(-1 + 0). Let h be (-8)/4*(-18)/(-4). Let q = u - h. Solve q*c = c - 12 for c.
-4
Let i(f) = f**3 - 5*f**2 + f - 2. Let l be i(5). Let n be (l/3)/(3/9). Solve -n*j - 1 = -2*j for j.
-1
Let a(z) be the first derivative of z**3/3 + z**2 - 2*z + 7. Let n be a(-3). Solve n + 1 = g for g.
2
Suppose 3 - 7 = -2*x, -3*x = 3*j - 12. Suppose 2 = 2*y - j. Solve y = -g + 4 for g.
2
Let b = -5 - -5. Suppose 4*m - 100 = -b*m. Solve 4*r - m = -r for r.
5
Let c = -1 + 0. Let k be 1/1 - (2 + 1). Let z be k - -1 - (-2 + c). Solve -t - z = 1 for t.
-3
Suppose 7*v - v = 0. Solve v = -2*q + 2 - 0 for q.
1
Let i(c) be the first derivative of -c**2/2 + 6*c - 1. Let g be i(0). Solve g*n - n = 10 for n.
2
Let l(y) = y**3 + 3*y**2 - 5*y - 1. Let c be l(-4). Suppose -4*f + 19 = 5*g - 0*g, -c*f - 3*g = -12. Solve f - 4 = 3*v for v.
-1
Let w = -28 - -28. Solve -4*j = -w*j + 12 for j.
-3
Let w(j) = j**3 + 5*j**2 + j - 4. Let a be w(-4). Suppose 0 = -4*f - 4*m - 16, -3*f + 2*m = -0*m - a. Solve -5*r + 2*r + 15 = f for r.
5
Suppose 3*b + 6 = 3. Let k be (3 + 0)*b - -7. Solve 0*d - d - k = 0 for d.
-4
Let t(c) = 5*c**3 - 2*c**2 + c. Let h be t(1). Solve -12 = h*n - 8*n for n.
3
Let x(z) = -z**2 + 6*z + 9. Let y be x(7). Suppose 5*n - 4*o = 13, -n + 4*o - y = n. Solve -n*i + 16 = -i for i.
4
Let d = 7 - 5. Solve -d*z + 3 = -7 for z.
5
Suppose 14*r - 7 = 35. Solve -5*o = -r*o - 10 for o.
5
Suppose -5*i = -10, -4*p + p + 28 = 5*i. Suppose -26 - p = -4*b. Let z be (0 - 3)/((-6)/b). Solve -h = z*h - 15 for h.
3
Let w(m) be the third derivative of m**6/120 - m**5/15 - m**4/3 - m**3/2 - 2*m**2. Let a be w(6). Let z = 31 - a. Solve -3*f - z = 2*f for f.
-2
Let t = 9 + -9. Suppose t = 3*a - 6*a + 6. Solve a*l = -3 - 1 for l.
-2
Let c(p) = 2*p**2 - 7*p - 2. Let v be c(5). Let j(b) = b - 2*b + v*b. Let q be j(1). Solve -2*z + q = z for z.
4
Suppose q - 5 = -0. Let x = q + -3. Suppose -m = -a + 3*m - 7, 0 = -2*a - x*m + 6. Solve 3*b + 4 = a for b.
-1
Suppose 0 = 5*d + j + 44 - 121, -3*d - 2*j + 42 = 0. Suppose -d = 4*t - i, 0 = -4*t + 4*i - 8*i - 16. Let m = 14 + t. Solve 0 - m = -5*w for w.
2
Let f(x) = 2*x**2 + 3*x + 1. Let s be f(-2). Suppose 3*u = 2*b - 4, 4*u + s*b = -b + 28. Solve 6 = -p + u for p.
-4
Suppose 0 = -0*h - 4*h. Suppose h*t - 4 = -2*t. Suppose 4*j + z + 8 = 29, -2*z = -10. Solve k = t*k - j for k.
4
Let o = 98 - 96. Solve s = -o*s + 12 for s.
4
Let t(c) = c**3 + 0 + 0 + c**2. Let p be t(0). Suppose p*m - 8 = -4*z + 4*m, -2*z - 2*m = 4. Solve -2*y - 6 = -z*y for y.
-3
Suppose -4*y + 14 = -b, -5*y + b = -24 + 7. Solve -y*k - 2 = 1 for k.
-1
Suppose 9*s + 0 = 36. Solve 1 = -a - s for a.
-5
Suppose 5 = 5*a - 4*t - 5, -2*t = -2*a + 2. Let d = a + -3. Suppose -d*c = c - 8. Solve 22 = 4*r + c for r.
5
Let u(w) = 5*w**3 + 2*w**2 - w. Let l be u(1). Suppose -2*q = -l*q + 20. Solve -b + 20 = -q*b for b.
-5
Let a = -2 + 5. Solve 0 = 2*j + j - a for j.
1
Let m(j) = 17*j**3 - j**2 + j - 1. Let k be m(1). Let g be (-14)/(-8) + 4/k. Solve 0*h - g = h for h.
-2
Suppose -4*m = -8*m + 24. Let k be (10/m)/(2/6). Suppose -1 = 2*j - 3. Solve -11 + j = -k*w for w.
2
Suppose 3*d + d = 0. Solve -m = -d*m + 3 for m.
-3
Let j = -42 - -25. Let v = 8 + j. Let f = v - -15. Solve -o + 3*o = f for o.
3
Let s(d) = d**2 - 11*d - 6. Let u be s(12). Suppose -16 = 2*l + 4*i, l - 4 = u*l + i. Solve l = 3*c - 5*c - 10 for c.
-5
Let s(u) be the second derivative of -u**4/12 - 4*u**3/3 + u. Let d = -4 + -4. Let q be s(d). Solve q*m = -m - 3 for m.
-3
Let z(n) = n**2 + 17*n + 5. Let g be z(-17). Solve g*o + 0*o = -15 for o.
-3
Suppose 4*u + 0*u = 0. Let b = u + 2. Solve -b*i = -4*i for i.
0
Let u = 1 - 0. Let z be 2 + 2 - (1 - u). Let q be 1/z + 38/8. Solve -h + 2*h - q = 0 for h.
5
Let a(c) = -5*c - 5. Let u(x) be the third derivative of x**4/12 + x**3/3 - x**2. Let q(j) = 3*a(j) + 8*u(j). Let v be q(2). Solve v*n = -7 - 2 for n.
-3
Let h be 10*(-3 - (-28)/8). Solve 9 = h*b - 1 for b.
2
Suppose 287*t = 2*n + 284*t - 18, -4*t - 8 = 0. Let f be (-98)/(-8) - (-1)/(-4). Suppose g + 2*g - 