- 4*z + 15. Suppose -3*c + 5 = k, -5*c + k + 23 = -k. Solve 15 = -j*m + c*m for m.
5
Suppose 0 = -0*b + b - 2. Suppose -4*p - 6 - 6 = 4*g, -13 = -4*g + p. Solve b*i - i = g for i.
2
Let c(b) = -b - 4. Let z be c(-7). Solve -z*n - 4 = n for n.
-1
Suppose 4*c = 34 - 14. Suppose m = c*m. Solve n = -m*n - 1 for n.
-1
Let i(a) = a. Let u be i(-6). Let h = 18 + u. Suppose 0*f + h = 2*f. Solve 0 = -f*v + 2*v - 16 for v.
-4
Suppose -j - 4 + 1 = 0. Let r be 18/(j/((-6)/4)). Solve 4*d - 7 = r for d.
4
Suppose 5*i = -5*n + 35, -2*n = -6*n + 4*i - 12. Solve n = -5*t + 12 for t.
2
Let b(o) = 2*o**2 - 5*o + 2. Let f be b(3). Solve -4*h + 3*h = f for h.
-5
Suppose 0*b + 2*b = 3*a - 18, -3*a = -5*b - 18. Suppose -3*l = -a*l - 3*i + 27, -3*l + 2*i + 2 = 0. Solve -w + l = w for w.
2
Let o = 5 + -5. Suppose -8*h + 3*h = -50. Suppose o = 5*t + h - 30. Solve -t*v + 4 = -0*v for v.
1
Suppose -9*i - 45 = -14*i. Suppose 3*t = 4*t - 5*z - 23, 5*z + 14 = -2*t. Let x = 5 - t. Solve x*p + i + 1 = 0 for p.
-5
Let g = 34 + -31. Solve 0 = -g*l - 2*l + 10 for l.
2
Let i(a) = -a**3 + 11*a**2 + 13*a - 7. Let d be i(12). Let k(g) = g**3 - g**2 - g + 2. Let j be k(3). Solve 0 = -3*w - d + j for w.
4
Suppose 0*g - 2*g + 3*q - 7 = 0, -5*q + 41 = 4*g. Suppose -2*d + 3*j + 4 = 0, -j - g = -4*d + 4. Solve 4*n - 10 = d for n.
3
Let t(j) = j**2 - 3*j - 1. Let b be t(2). Let r = -3 - b. Solve h + 2*h - 12 = r for h.
4
Let y be 3 + 3/(4/4). Let b(n) = n**2 - 4*n - 9. Let m be b(y). Solve m*h = 2*h - 5 for h.
-5
Let o = 0 + 15. Suppose 0 = -0*z + 5*z - o. Solve -2 + 8 = -z*s for s.
-2
Let l(r) = -3*r**2 + 2*r + 1. Let b be l(3). Let g(q) = -2*q + 10. Let w be g(8). Let o be 2/(-6) + b/w. Solve 6 = s + o for s.
3
Suppose -3*v = 4 - 10. Solve v*o + 3*o = 10 for o.
2
Let w(a) = -5*a**2 - 2*a. Let j be w(-2). Let b be (-16)/(-6)*(-132)/j. Let k(z) = z**3 + 4*z**2 - 4*z + 7. Let q be k(-5). Solve -b = -4*t - q for t.
5
Suppose -12 = 5*l + c, 5*c + 3 = -5*l - 17. Let r = 0 - l. Solve -r*v + 3*v - 1 = 0 for v.
1
Let q be (8 - 0)/((-2)/(-1)). Let v = q + 1. Suppose 27 = -5*j + 92. Solve 38 = v*l + j for l.
5
Suppose -6 = 4*w - 26. Let f(x) = -x**3 + 4*x**2 + 4*x - 6. Let s be f(w). Let g = -6 - s. Solve 12 = -i + g*i for i.
3
Let n(m) = -m - 11. Let v be n(-9). Let p = v + 4. Solve p*c - 1 = 9 for c.
5
Let x be (6 - 0) + (-7)/(21/6). Solve x*c = -c for c.
0
Let y(w) = -w**2 + 13*w - 12. Suppose 58 = 5*m + f, -2*f + 6*f + 68 = 5*m. Let h be y(m). Solve 1 = -a - h*a for a.
-1
Let u(g) = 3*g**2 + 2*g + 1. Let o be u(-1). Let x be 2/2*3*2. Suppose o*d + i - 8 = 0, 5 + x = d - 3*i. Solve 6*t = d*t - 4 for t.
-4
Let l be (1/2)/((-6)/144). Let x(z) = -3*z - 16. Let g be x(l). Solve -g = 5*y - 0*y for y.
-4
Suppose 5*m - p - 23 = 0, -4*m + 3*p + p = -28. Solve 0 = -4*j - 0 - m for j.
-1
Suppose -28 + 16 = -3*u. Solve 6 = -u*d + 2 for d.
-1
Let u(c) = 4*c - 17. Let j be u(9). Let g = 1 + j. Solve -g = -4*f - f for f.
4
Suppose -2*o - 2*n = -12, o = 3*o + 4*n - 18. Suppose 3*m = -4*b - m + 4, 4*b + o*m - 5 = 0. Solve -2*w - b*w = -20 for w.
5
Let p(b) = b**2 + 2. Let u(t) = t - 12. Suppose 30 = 2*l + l. Let j be u(l). Let g be p(j). Solve -2*a = -4*a - g for a.
-3
Suppose -10 = -9*z + 4*z. Solve 5*q + z = 3*q for q.
-1
Suppose 2*a - 6 = -2. Let t(n) = 0 + 4 + 1 - n. Let i be t(3). Solve i = -a*p - 6 for p.
-4
Let h be (-1 - 2)*14/(-6). Let i(j) = j**2 + 2*j - 5. Let d be i(-4). Solve -d*s = -h*s - 4 for s.
-1
Suppose 3*v - 7 - 14 = 0. Suppose -4*x + 4*w + w + 30 = 0, 3*x + 4*w - v = 0. Let d be -25*1/(x/(-2)). Solve 4*m + d = 30 for m.
5
Let j(u) = u**3 + 4*u**2 + 2*u - 1. Let y(v) = -4*v - 1. Let s be y(-5). Suppose 2*p - 11 = 3*f, -3*f - 2*f = -4*p + s. Let o be j(f). Solve o*g = 3 - 7 for g.
-2
Suppose 2*m + 0 - 4 = 0. Suppose m*z - 3*x = -18, 2*z = -z + 4*x - 26. Let p = z + 13. Solve -4*d + p*d = 0 for d.
0
Let b(g) = -6 + g - 1 + 0. Let c be b(7). Suppose 4*n + c*n = 0. Solve 0 = -n*m + 4*m + 8 for m.
-2
Let q = 23 + -15. Suppose -q = -2*z + l, z + z + 4*l + 12 = 0. Let s = -47 - -49. Solve -2 - z = s*i for i.
-2
Let t(a) = -5*a + 25. Let r be t(5). Solve -p + 5 - 4 = r for p.
1
Let r(c) = c**2 + 8*c + 8. Let i be r(-8). Suppose 5*v = -0*v + 10. Solve -v = 2*s + i for s.
-5
Suppose 2*k - x = 14, -4*k + 3 = -k + 3*x. Let n(a) = a**2 + 1. Let b be n(-4). Let o = 4 + 0. Solve -o*v - b = -k for v.
-3
Let m(j) = -5*j. Let h be m(-2). Suppose -q = -6*q + h. Solve 12 = -q*w + 6*w for w.
3
Suppose -5*s = 3*i - 106, i + 3*i = s - 12. Let n = s + 5. Solve 0 = 4*p + p - n for p.
5
Suppose -5*h - 9*h + 14 = 0. Solve 0 = -d - 3 - h for d.
-4
Let a(m) = -m**2 + 2*m + 3. Let i be a(3). Suppose -4*k + 4 = -0*k. Solve i = -b - 0 - k for b.
-1
Let l = 2 + 10. Solve -3*i - l = -6*i for i.
4
Suppose 2*q - 6 = 3*q. Let o = q + 10. Solve 3*b - 2*b = o for b.
4
Let f = -9 + 5. Let c = -4 - 0. Let q be (-6)/c*f/(-3). Solve -q*k - 3*k = 10 for k.
-2
Suppose -s + b - 2 = 4*s, -3*s - b + 2 = 0. Solve -5*o = -s*o + 20 for o.
-4
Let o be (5 + -17)*(-2)/4. Solve o*q + 15 = q for q.
-3
Let o(s) = s**3 + 8*s**2 - 10*s - 1. Let p be o(-9). Solve p = -k + 7 for k.
-1
Let o = -8 - -2. Let c be (-2 - -2) + o/(-2). Solve -14 = c*f - 5 for f.
-3
Let y = 32 + -24. Solve 0 = -2*d + 4*d + y for d.
-4
Let w(h) = h + 4. Let s be w(6). Let y be ((-9)/6)/(1/(-2)). Solve 2*g = -y*g + s for g.
2
Suppose 14 = 4*p - 2. Solve -p - 2 = -3*c for c.
2
Let q be 6*(1*-2)/(-6). Suppose 5*j = 2*j - c + 8, 0 = -5*j - q*c + 14. Let x = -5 + 17. Solve j*n + n + x = 0 for n.
-4
Suppose -i - 2*i = -2*l, -5*l = -3*i + 9. Let t = 1 + i. Let b be 1*1/1 - t. Solve b*g - 12 = -2*g for g.
3
Let j(r) = -r**3 - 11*r**2 - 21*r - 14. Let i be j(-9). Solve i*k = 18*k for k.
0
Let l be ((-3)/6 + 0)*-14. Solve l + 1 = -2*j for j.
-4
Suppose 4*x + 12 = x. Let y(w) be the third derivative of -w**6/120 - w**5/15 + 5*w**3/6 - 2*w**2. Let j be y(x). Solve 2 = k + j for k.
-3
Suppose 0 = -5*k + k. Suppose 3*m = 5*c - 10, k = 5*c - 4*m - m - 10. Let r be (-4)/c*-1*1. Solve -r*l = -3*l - 4 for l.
-4
Suppose -16*g + 99 = -7*g. Solve 3*l = -2 + g for l.
3
Suppose 0 = -z + 2 + 1. Suppose w = -0*b + 3*b, w - 5*b = 0. Solve w = t - z*t - 8 for t.
-4
Let g be ((-22)/(-33))/((-1)/(-3)). Suppose 0 = -5*x + 5*j + 10, -2*j - 4 = 3*x - 0. Suppose 2*d - 3*d = x. Solve d*t = -g*t + 4 for t.
2
Let v = -107 + 112. Solve 8 = -v*y - 2 for y.
-2
Let r(x) = -x**3 - 4*x**2 + 6*x + 9. Let l be r(-5). Solve 3 = -l*f - 5 for f.
-2
Let c(y) = -y**3 + y**2. Let d be c(-1). Solve -5*l = -3*l + d for l.
-1
Let y(m) = -5*m**3 + m**2. Suppose -2*t - 3 = -1. Let b be y(t). Solve 4*v + b = v for v.
-2
Let m(y) = y**2 - 4*y - 1. Let s be m(5). Suppose -6*k + 2*k = 2*x - 20, -28 = -s*x - 5*k. Let l be 4/(-6)*(-126)/12. Solve -a + l = x for a.
5
Let w(d) = -d**2 + 8*d + 4. Let p be w(5). Let k = -15 + p. Solve -k + 2 = -g for g.
2
Let z(a) = a**3 - 6*a**2 + 7*a - 5. Let w be z(5). Suppose -8 - 2 = -w*r. Solve 0 = -3*q - r*q for q.
0
Let b = -3 - -5. Suppose 0 = b*r - 7*r + 25. Suppose -r*z - 102 = -2*p - 263, -4*z = -5*p - 122. Solve 0 = 5*y - z + 8 for y.
5
Let k = 46 + -42. Let i be -2 + (-2)/(1*-2). Let u(m) = -3*m**3 + m. Let r be u(i). Solve r = l + k for l.
-2
Let v(u) = -2*u - 6. Suppose -i = -5*z + 3*z - 5, -4*i + 5 = -5*z. Let c be v(i). Solve -4*k - c = -2*k for k.
-2
Let p(s) = s**2 - 14*s - 11. Let u be p(15). Solve 0 = u*w - w - 15 for w.
5
Let q be 0 - 3*(-3)/(-3). Let o be ((-9)/q)/((-3)/(-2)). Suppose -m - 2*k + 5 = 0, m - 4 + 3 = 2*k. Solve -c + o*c - m = 0 for c.
3
Let j(k) = -2*k - 4. Let u be j(-3). Suppose 25 = 5*p + 5*f, 3*f - f + 10 = 2*p. Suppose 3*w + 4*b - u = 0, 3*w + w = p*b + 44. Solve x = w*x - 10 for x.
2
Suppose -2*s - 4 = 3*z, 0 = -4*s + 4*z + 2 + 30. Solve 2 = -s*o + 2*o for o.
-1
Let o(m) = m**3 - m**2 - 1. Let k(y) = -5*y**3 - 3*y**2 - 9*y - 1. Let h(j) = k(j) + 6*o(j). Let g be h(10). Solve -3 = g*s - 0 for s.
-1
Suppose -5*f + 2*x = -7, -6*f = -2*f - x - 8. Solve -v = -1 - f for v.
4
Suppose 4*t + 12 = 10*t. Solve -2*l = t*l - 20 for l.
5
Let g = 3 - -2. Suppose -5*d + 2 = -8. Suppose 5*k - g = 2*m, d = 5*m - 5*k - 8. Solve m*c - 6 - 14 = 0 for c.
4
Let l = 8 - 0. Suppose 7*a - l = 3*a. Suppose -4*s = -a*s. Solve s = -2*z + 4*z for z.
0
Let r = -17 - -25. Solve 3*d = d - r