 x*k + t*k = 5 for k.
1
Suppose -5 = -3*u + 4. Suppose 4*h + 3 = -3*l - 8, 17 = -l - 4*h. Let m = u - l. Solve m = 2*g - 6*g + 16 for g.
4
Suppose 0*b + 8 = -b - 2*l, -4 = -3*b + l. Suppose 2*i + 6 = b, 2*t - 3*t - 2 = 2*i. Solve t*x - 25 = -5 for x.
5
Let l(s) = -4*s + 3*s + 0*s - 3. Let z be l(-5). Let t(x) = -x**3 - 2*x**2 + 3*x + 3. Let g be t(-3). Solve z*q + g*q = 0 for q.
0
Let v = 4 + 0. Let z = 1 - v. Let a = z - -6. Solve -f - a*f = -12 for f.
3
Let c(a) = a**2 - 17*a + 11. Let l be c(15). Let r = -15 - l. Solve 0 = -3*h + 4*h - r for h.
4
Suppose 3*r = 7*r - 16. Suppose 0*w = -2*w + r*y - 4, -8 = -4*y. Solve w*g - 2 = -0 for g.
1
Let k = -5 + 11. Solve k*w = w - 25 for w.
-5
Let g(y) = y + 5. Let a be g(-5). Solve p + 4*p = a for p.
0
Suppose -3*k + 2 = 5*i + 6, 0 = -k + 4*i + 10. Let h be k/(0 + (1 - -1)). Suppose h + 11 = 3*o. Solve -5 = -3*g + o for g.
3
Let x(q) = q**2 + q. Let i be x(-3). Solve -15 = -i*a + a for a.
3
Suppose 3*d - 4*w = -2, 0 = 4*w - 3 - 5. Solve -2*p - d = -8 for p.
3
Let b = 3 - 9. Let u(y) = y**3 + 7*y**2 + 5*y - 6. Let m be u(b). Suppose m*x = -x. Solve x = -4*n + n + 3 for n.
1
Let g(b) = 7*b**2 - 2*b + 1. Let c be g(1). Let v(a) = -a**2 + 19*a - 8. Let u be v(18). Suppose -4 = -u*h + c*h. Solve 2*r - h = r for r.
1
Let o = 8 + -5. Solve -2*d + o = 1 for d.
1
Let g be -4*(4 + -1 - 2). Let z(i) = -4*i - 5. Let h be z(g). Solve 4*q - 3 = -h for q.
-2
Let d be (-2)/(-4)*(3 + 1). Solve 0 = -d*j + 3 + 3 for j.
3
Let x(z) be the third derivative of z**6/120 + z**5/5 + 11*z**4/24 + z**3/3 - 4*z**2. Suppose 0 = 3*h - 13 + 46. Let v be x(h). Solve -8 = -3*t - v for t.
2
Let s be 0/((-9)/(-3)) + 3. Let j be -3*2*-3 - s. Solve 0*d + 5*d = -j for d.
-3
Let g = 20 + -16. Let n(x) = x**2 + 15*x - 12. Let m be n(-16). Solve 3*a - g*a = -m for a.
4
Let r(x) = x + 3. Let t be r(-3). Let h = t - -5. Solve q - h = -0*q for q.
5
Suppose -2*s = -4*g + 20 + 10, 2*g + 3*s - 19 = 0. Solve -5*v = 2 + g for v.
-2
Let s be (-1)/(-6) + (-78)/36. Let x be (-2)/3*(-3)/s. Let c be 2*x/(-6)*6. Solve -c = y - 1 for y.
-1
Let w(j) = 2*j - 5. Let x be w(4). Solve 3*a - x = -0*a for a.
1
Suppose 3*n + 21 = 4*n. Let x = -15 + n. Solve -2*y + x*y = 0 for y.
0
Suppose -t + 41 = 5*i + 11, -3*i = 4*t - 69. Solve -2*a = -7*a + t for a.
3
Let t(u) = u**2 - 8*u - 8. Let i be t(9). Let o be (-1)/(i*3/(-6)). Suppose 2*n - 10 = o. Solve n*c = 5*c + 3 for c.
3
Let p = -7 - -13. Let j = p + -3. Solve -12 = -z - j*z for z.
3
Let y = -18 - -34. Let c = -14 + y. Solve -t - c = -0*t for t.
-2
Let y(g) = 2*g**2 - 4*g + 3. Let k be y(2). Solve -4*c + k*c = 1 for c.
-1
Suppose 4*d + w - 83 = 0, -5*d + 93 = -d - w. Let p = d - 16. Solve -4 = -2*g + p for g.
5
Suppose -3*m + d = -18, -2*m + d = 6*d - 29. Solve 2*b = m*b - 15 for b.
3
Let s(w) = w - 8. Let q be s(9). Let m be (5/(-5))/(q*-1). Let j be (-12 + m)*1*-1. Solve 0 = -5*h - j - 4 for h.
-3
Suppose -4*w - 3 = 3*r - 0, 24 = -3*w + 5*r. Let u = 6 - w. Suppose 0*i + i - 4*x = 20, -5*i + 15 = -3*x. Solve -4*t + u*t = i for t.
0
Suppose -s = -0*s. Solve s = -0*z - 5*z for z.
0
Let d be (-1 + -4 + 1)/(-2). Let z = -18 - -5. Let x be z/(-5) - 8/(-20). Solve 0 = n + d*n + x for n.
-1
Let r(n) be the first derivative of n**4/4 + 4*n**3/3 + 3*n**2/2 + 2*n - 2. Let s be r(-2). Suppose 0*f - 2*f = -s. Solve -f*a = a for a.
0
Suppose -6 = -3*c - 0. Let h(i) = -i + 1 + c*i + 6 + 1. Let q be h(-6). Solve 1 + 7 = -q*l for l.
-4
Let g be -1 - ((-2)/2 + -1). Suppose -t = -5 + g. Solve -5 = t*h + 7 for h.
-3
Let b be 182/9 - 6/27. Suppose -c + 0*c + b = 0. Solve 0*y + 4*y + c = 0 for y.
-5
Let l(q) be the second derivative of 5*q**3/6 - 5*q**2 + 7*q. Let j be l(4). Solve -j = o - 3*o for o.
5
Let k = -120 - -380. Let f be k/(-36) - 4/(-18). Let b = 1 - f. Solve -2*r - 2*r + b = 0 for r.
2
Let q = -18 - -23. Solve f = q*f for f.
0
Let l(d) = -d**3 + 7*d**2. Suppose s - 2*s = -7. Let y be l(s). Suppose -2*n + y = -4. Solve -n*k = k - 12 for k.
4
Suppose l + l = -6. Let k = -3 - l. Let m = k + 5. Solve h = m*h for h.
0
Let p(z) = z**3 + 3*z**2 - z + 1. Let c be p(-3). Let j(a) = -a**2 - 8*a - 3. Let w be j(-5). Suppose 4*v = 12 + w. Solve c*h - v - 6 = 0 for h.
3
Let r = -33 + 9. Let l be (-1)/(-5) - r/5. Solve 2*q = l*q - 3 for q.
1
Let t(m) = 2*m**3 - 33*m**2 + 15*m + 21. Let g be t(16). Solve -4*v = -g*v + 4 for v.
4
Let m be 15/6 + (-3)/6. Let p(r) = 6*r - 2. Let b be p(m). Solve 5*j + b = -0 for j.
-2
Suppose 3*j = 2*j - 4. Let x be (4 - 3) + j/(-2). Suppose 5*g + 31 = 96. Solve -x*m + g + 2 = 0 for m.
5
Let h be 1/(-3)*(5 - -1). Let r be 3 + (10 - (3 + h)). Solve r - 2 = -5*x for x.
-2
Let h = 7 - 3. Let n be (0 - -2) + h*2. Solve -2*q = -4*q - n for q.
-5
Suppose -2 - 4 = -3*v. Solve t = -v*t for t.
0
Let s(m) = 4*m + 7. Let h(w) = -5*w - 7. Let k(q) = 3*h(q) + 4*s(q). Let j be k(-7). Solve -3*d = -6 - j for d.
2
Let s(d) = d**3 + 5*d**2 + 3*d - 1. Let m be s(-4). Let j = m - -5. Solve 0*p + 4*p - j = 0 for p.
2
Let g = 7 - 5. Solve -14 = g*b - 6 for b.
-4
Let p = -16 - -21. Solve 0 = p*l - 5 for l.
1
Let v = -1 - -4. Suppose 5*m - 5*i = 105, -4*m - i + 79 = -0*i. Suppose -4*f - 16 = 2*c + 3*c, 0 = -5*c + 5*f + m. Solve z - 5 + v = c for z.
2
Let r = 90 - 86. Solve f = -r*f for f.
0
Suppose 2*o = -0*o - 20. Let w = 8 - o. Solve -4*q - w = -6 for q.
-3
Let d(t) = -t**2 - 9*t - 10. Let q(r) = 2*r**2 + 17*r + 19. Let w(u) = 7*d(u) + 4*q(u). Let o be w(-6). Solve 2*v = -v + o for v.
4
Suppose 4*z = -o - 14, o + z = -3*o + 4. Solve -o*f + 2 = 8 for f.
-3
Let l(z) = z**2 - 4*z. Let f be l(6). Let t be 3/5 - f/(-30). Let c(w) = w + 1. Let u be c(6). Solve t + u = 2*d for d.
4
Let m(r) = r - 1. Let v be m(1). Solve -2*c - 10 = -v*c for c.
-5
Suppose -8 = -d - 0*d. Suppose -3*l + 4*l - d = 0. Solve -n + l = 3*n for n.
2
Let d(o) = -o**2 + 2*o - 3. Let p be d(0). Let t be 14/p*234/(-91). Solve -t = 3*c + c for c.
-3
Suppose 16 = 4*t, 0*m = 2*m - 3*t. Solve d - m = -d for d.
3
Let t(d) = d**3 - 3*d**2 + 2*d - 3. Let c be t(3). Solve c = -f - 1 for f.
-4
Let t(h) = h**3 - 7*h**2 + 4*h + 15. Let w be t(6). Solve 0 = w*c - 8*c - 20 for c.
-4
Suppose c = -2*p + 10, -3*p = c + 2*c - 18. Let w be c + (1 + -1 - -2). Solve 0 = -w*h + 3*h for h.
0
Let m(h) = -h**3 - 7*h**2 - 7*h + 5. Let j be m(-6). Let c = j + -9. Suppose -3*a + 19 = -17. Solve -2 = -c*p - a for p.
-5
Let x(t) = t**3 - 10*t**2 - 10*t - 16. Let d be x(11). Let z = d + 7. Let r = 0 + z. Solve -r*u - 3*u = 10 for u.
-2
Let y(h) = -3 + 5 - 2 - 3 + 9*h - h**2. Let w be y(8). Solve w = 3*v - 1 for v.
2
Let t(f) = 4*f**2 + f - 1. Let l be t(1). Suppose -2*m = 3*w, m = 5*m - l*w. Solve 9 = -3*k - m for k.
-3
Let c = -1 + 0. Let j(u) = -u**3 - 4*u**2 - 2*u - 4. Let p be j(-4). Let s = p + c. Solve 25 = -2*w - s*w for w.
-5
Suppose 8*n + 15 = 13*n. Solve 2*h - 1 = -n for h.
-1
Suppose y + 3 = -2*y - 4*a, -4*y + 15 = -a. Suppose t - 40 = -y*t. Solve 1 - t = -3*s for s.
3
Let f(r) = -2*r - 9. Let m = -10 + 3. Let g be f(m). Solve -2*s - g = -3*s for s.
5
Let f(i) = 2*i**2 - 4*i - 1. Let g be f(3). Let l = 10 - g. Solve -5*b - l = -15 for b.
2
Suppose -y = -h + 2*y - 3, 0 = -5*h - 4*y + 4. Suppose h*l - 40 = -5*l. Let b(o) = -o - 2. Let t be b(-4). Solve -2*i = t*i + l for i.
-2
Let r(l) = l - 3. Let z be r(7). Suppose -z*v + 3*x + 27 = 0, -3*v - 5*x + 0*x = 16. Let g = v - 3. Solve 4*j = -g*j + 4 for j.
1
Let o = -84 - -86. Solve 0*r = o*r - 2 for r.
1
Let s = -20 + 25. Solve -s*y = -1 + 26 for y.
-5
Let g(h) = h**3 + 13*h**2 + 13*h + 14. Let u be g(-12). Let y be u/(-8) - 145/(-20). Solve -1 = -2*i + y for i.
4
Let j(p) = -p**2 + 5*p + 6. Let c be j(5). Let h be c - 2/((-6)/(-9)). Solve -3 - h = -3*l for l.
2
Let j = 9 + -2. Solve j = -4*g - 9 for g.
-4
Let m(v) = v**3 - v**2 + v - 1. Let j = 14 - 8. Let h be ((-3)/j + 1)*2. Let c be m(h). Solve -2*f - 4 = -c for f.
-2
Let b be 13/5 + -6 + (-160)/(-25). Solve -5*y = -b*y + 10 for y.
-5
Suppose -3*q + q + 12 = 0. Solve -t = -q*t for t.
0
Suppose 0 = -2*o + o + 2. Let c(f) = -f**2 + 7*f - 6. Let p be c(6). Solve p = -z + o - 3 for z.
-1
Suppose 0 = -4*s + 8*s + 4. Let m = 9 + s. Solve m = -3*u - 1 for u.
-3
Suppose 3 = 5*d - i, 0*i = 5*d + 2*i + 6. Solve d = 5*n - 11 - 9 for n.
4
Let g be 7 - (0 + -3)/(-1). Suppose 2*y = 3*y. So