**2 + c. Let x be j(y). Solve -2*m + 1 = -x for m.
1
Let g = 6 + -11. Let t(s) = -s**3 - 6*s**2 - 6*s - 3. Let j be t(g). Suppose -16 = -4*d - 0*y - y, -2*y + j = -2*d. Solve -d*u + 8 = -7*u for u.
-2
Suppose 0 = -w + 4*w - 6. Suppose 2*z = -0 + w. Solve -2 + z = x for x.
-1
Let f = 9 + -2. Suppose -f - 13 = -4*k. Solve -k*d - 25 = -0*d for d.
-5
Let y(d) = d**2 - d - 4. Let m be y(3). Let k be ((2 + -5)*6/18)/(-1). Solve k = h + m for h.
-1
Suppose 18 = 3*o - 0*o. Let q = 9 - o. Solve -q*v - 12 + 3 = 0 for v.
-3
Let d = 14 - 12. Suppose d = 4*z - 14. Solve 6*l = z*l - 6 for l.
-3
Let q(y) = y**3 + 2*y**2 - 2*y - 4. Let a be q(-2). Solve a = -2*x - 6 for x.
-3
Suppose 0 = 5*z + 2*i - 19, 3*z - 7 = -2*i + 2. Solve z*y - 15 = 2*y for y.
5
Let d = 46 + -30. Solve t - d = -3*t for t.
4
Let m(h) = 8*h**3 + h - 1. Let t be m(1). Let y be t/(-6)*-3 + -1. Let w(j) = j**3 - 2*j**2 - j - 2. Let c be w(y). Solve c*a - a = -12 for a.
-4
Let w(x) = x**3 - 27*x**2 + 50*x + 3. Let t be w(25). Solve 3 = 3*k - t for k.
2
Let t(o) = -8*o + 6. Let r be t(3). Let b = -15 - r. Solve b*v - 5 = 4 for v.
3
Suppose b + 8 = -b - 2*w, -w - 4 = -3*b. Let c = 0 + b. Suppose -5*o = 3*d - 13, -4*d - o - 2*o + 10 = c. Solve -u + 5 = d for u.
4
Let o be (-2)/4*(-19 + 1). Suppose -3*a + 0*a + o = -2*c, 9 = 3*a + 3*c. Solve -2 = -a*p + 2*p for p.
2
Suppose 3*x - 32 = 3*c + 4, c + 5*x = 0. Let n be (-4)/(-10) - (-4)/c. Suppose -2*i = -n*i - 4. Solve -t + 5 = i for t.
3
Let v = -2 - -7. Suppose -m + 19 = -v*d, 2*d - 13 = 2*m - 51. Suppose 3*p = -5*y - m, -2*p - 2*p + 4*y + 28 = 0. Solve -1 = j + p for j.
-3
Let f(u) = u + 5. Let m be 106/(-22) + (-4)/22. Let o be f(m). Solve 0 = -p + 2 - o for p.
2
Let m be 0 + -2*(-1)/2. Let a = 1 - m. Let o be 0*(a - 3/(-6)). Solve x - 1 = -o*x for x.
1
Let f = -2 + 6. Suppose -f*c - 5 = -17. Let o = 2 + c. Solve 0*z - o*z = -10 for z.
2
Let q(z) = -z**2 - 11*z - 21. Let k be q(-4). Solve 3 + k = 5*i for i.
2
Suppose -v + 4*v = -6. Let p = v + 2. Let a = 4 - p. Solve 1 = a*j + 5 for j.
-1
Suppose -5*l = i - 8, 4*i - 2 = -4*l + i. Let p(f) = 2*f - 2*f**2 + 2*f + l + f**2 - 1. Let c be p(4). Solve 4 = 3*a + c for a.
1
Suppose -63 = -4*f - 3. Let t(k) = -5*k - 2*k**2 + 6*k**2 + 0*k**3 + k**3. Let p be t(-5). Solve -3*i + p*i = f for i.
-5
Suppose 5*i - 15 - 5 = 0, -2*y = 5*i - 24. Solve 4*l - 8 = y*l for l.
4
Let n(b) = b**2 - 5*b - 3. Let j be n(6). Suppose -4*d + j = -d. Let h = 3 + d. Solve h*s + 2 - 14 = 0 for s.
3
Let x(n) = 2*n - 29. Let z be x(15). Let v(u) = -u**2 + 6*u + 1. Let k be v(6). Solve k = f - z for f.
2
Let a(q) = -q**3 - 3*q**2 + 2*q + 4. Let y be a(-4). Suppose 17 = 2*k + 9. Solve k*i - 4 = y for i.
4
Let u(k) = 2*k**2 + k - 1. Let x be u(1). Suppose -x*w = w - 24. Suppose -c = 2*c - 75. Solve 0 = w*t - 3*t + c for t.
-5
Suppose 3*x - 31 = -4*n, 5*x - 4 = 21. Suppose -n*k + 0*k + 12 = 0. Solve 2*f = f + k for f.
3
Suppose 0 = -2*c - 3*i - 14, 0*c = -4*c + 5*i - 6. Let q be (-1)/(((-8)/c)/(-2)). Solve 0*u = -u + q for u.
1
Let s(r) = r**3 - 2*r**2 + r + 2. Let f be s(2). Suppose -2*p = -0*a + a + f, 4*p + 12 = 0. Solve a*g - 3 = -13 for g.
-5
Let p(i) = -2*i**2 - 10*i + 4. Let f be p(-5). Solve f*m + m = -5 for m.
-1
Let j(g) = -g**2 - 4*g + 2. Suppose 4 = -4*m, 3*m - 33 = -3*c - 0*m. Let k be (c/(-10))/((-6)/(-20)). Let x be j(k). Solve 2*w = -0*w - x for w.
-1
Let h(x) = -x**2 + 3*x + 6. Let i be h(4). Solve -i*a + 8 = -0*a for a.
4
Let t = 37 - 37. Solve 0*d - 2*d + 6 = t for d.
3
Let d be ((-16)/(-6))/((-4)/(-6)). Suppose p = d*p - 3. Solve 3 = w + p for w.
2
Let m(x) = -x**3 + 6*x**2 + 3. Let q be m(6). Solve -q*o - 12 = -0*o for o.
-4
Let l = -20 - -20. Solve 5*q = -l*q + 20 for q.
4
Suppose 5*d = -0*w + 4*w - 6, 4*w - 24 = -4*d. Suppose 2*o + 0*o = -w. Let b be 14/(-4)*o + -3. Solve 5*h - 1 = b for h.
1
Let t be (3 - (-6)/(-3))*9. Let k = -6 + t. Solve k*f + 4 = -11 for f.
-5
Let z(f) = -f**3 - 4*f**2 - 2*f - 6. Let u be z(-4). Suppose -r = -2 - 1. Suppose 2*t - 6 = u*l, r*t - 2*l - 14 = -t. Solve -h - 2 = -t for h.
2
Let h(v) = v**3 - 3*v**2 + 2*v. Let x(r) = r - 2. Let n be x(4). Let w be h(n). Let f(t) = 10*t - 5. Let q be f(2). Solve -2*d + q - 5 = w for d.
5
Suppose -y = -2*y + 6. Suppose 0 = y*o - o - 25. Suppose -o*b - 8*i - 20 = -4*i, -5*i = -4*b + 25. Solve -3*k - 2*k = b for k.
0
Let r = -2 + 7. Suppose -3*x + y = -19, 2*y = -r*x + 14 + 14. Let i be ((-3)/(-2))/(3/x). Solve i*j = 2*j for j.
0
Suppose 4*l = 4, 8*y - 3*y = -4*l + 94. Let m = -15 + y. Suppose 2*h - 14 = -2*p, 0 = -3*p + 2*h + 36 + 10. Solve 3*n - m = -p for n.
-3
Let u(a) = -a + 3. Let r be u(3). Suppose 0 = 4*c - 8. Solve -3*n + c*n = r for n.
0
Let u(x) = 2*x - 8. Let k be u(6). Suppose 72 = -0*l + 6*l. Solve -l = -k*b - 0*b for b.
3
Suppose 0 = 3*p + 2*u - 1 + 5, 3*u + 23 = 4*p. Solve -5*n + p*n - 3 = 0 for n.
-1
Let z be (-5 - -8) + 1/1. Solve 0*d = z*d for d.
0
Suppose -5*x + 5*k + 16 + 4 = 0, 3*x = -k - 4. Solve x = -5*t + 40 - 15 for t.
5
Let l = 33 + -31. Solve u + l = -0*u for u.
-2
Suppose 53 = 4*z - b + 10, -17 = -2*z - b. Let h(l) = -l**3 + 6*l**2 - 4*l - 2. Let f be h(5). Solve 2*o + f*o = z for o.
2
Let h be 1 - (-7)/((-14)/(-8)). Let y = -2 + h. Solve -y*j - j = 0 for j.
0
Let a = 19 - 15. Solve p - 2*p + a = 0 for p.
4
Let n = -4 + 6. Suppose n*v = v. Solve v = -0*m - 4*m + 4 for m.
1
Let r = 2 + 2. Solve -4*p + 4 + r = 0 for p.
2
Let d(n) = 14*n + 5. Let z be d(0). Let m = 7 - 4. Solve -m*c = z + 4 for c.
-3
Suppose 0 = -6*s + 31 + 59. Let y(u) = -6*u - 1. Let b be y(-1). Solve b*l - s = 5 for l.
4
Let l be (-9)/(54/15)*(-4)/2. Solve -3*r = -2*r - l for r.
5
Let l = 1 - 0. Suppose -4*d = -29 + l. Solve -3*r + d = -8 for r.
5
Let d = -15 - -19. Solve 0 = -d*f + 16 - 4 for f.
3
Let n(w) = w**3 - 8*w**2 + 7*w + 2. Let m be n(7). Solve m*u - 10 = 7*u for u.
-2
Suppose -67 + 3 = -8*g. Let d(w) = -w**3 - 4*w**2 - 2*w - 5. Let t be d(-4). Solve -r - t*r = -g for r.
2
Let w(u) = -u**2 - u + 1. Let q(n) = -5*n**2 - 11*n + 15. Let g(d) = q(d) - 4*w(d). Let v be g(-8). Solve -23 = 4*h - v for h.
-5
Let t(o) = o**3 - 4*o**2 + o - 12. Let b(w) = 2*w**3 - 8*w**2 + 3*w - 25. Let l(d) = 6*b(d) - 13*t(d). Let r be l(5). Let i = r + -4. Solve i*u = -1 - 1 for u.
-1
Suppose 3*q = -q + 12. Suppose -q*j - 2 = -23. Solve 3 + j = -5*z for z.
-2
Let t be 272/28 - 2/(-7). Let q = t - 6. Solve 0*u - q*u = 0 for u.
0
Suppose 4*i - 10 = 2*p, -2*i - 1 = 2*p + 3. Solve 0 = 3*y - i - 2 for y.
1
Let m(i) be the third derivative of i**4/24 - i**3 - i**2. Let j be m(8). Suppose 4 = j*u - 0. Solve -a = -u*a - 3 for a.
-3
Let h(u) = u**2 + 17*u + 16. Let x be h(-16). Solve x = -3*g - 5 - 1 for g.
-2
Let j be 2*(-9)/(-12)*-6. Let d(x) = -x - 4. Let r be d(j). Suppose -r*q + 14 = -1. Solve 0 = -q*k - 2*k - 5 for k.
-1
Let b = 84 + -84. Solve -3*k + b*k - 9 = 0 for k.
-3
Suppose -a = -4*b + 17 - 7, 0 = 4*b - 12. Let h be (0 - -1)/(a/30). Suppose -j + 26 = -2*l - 3*l, 2*l + 26 = 3*j. Solve j*v + h = v for v.
-3
Suppose -2*k + 9 = k. Let c be (-6)/(-2)*(-28)/12. Let q(d) = d + 9. Let s be q(c). Solve s*b - 5 = -k for b.
1
Suppose -f + 6 = w, -11*w - 5*f + 22 = -10*w. Solve 7*y - w*y = 5 for y.
1
Suppose -2*m = m + w + 21, 5*w + 9 = m. Let l = 12 + m. Solve g - l = -g for g.
3
Let r(a) = a**3 + 8*a**2 + a + 6. Let t be r(-8). Let y(s) = s**2 - 2. Let x be y(t). Solve -2*o = 6 - x for o.
-2
Suppose 3*b = 6*b - w - 8, 4*b - 2*w - 12 = 0. Suppose 3*g - 7 - 14 = 3*i, -b*g = -4*i - 22. Solve -y + g = 5 for y.
-2
Let f = -17 + 28. Let k = -7 + f. Solve 0 = -k*o - 0 - 4 for o.
-1
Suppose 17 = j + 4*l, -4*j + 2*l = -j - 9. Let k(h) = 1 - 2 - h**2 - j*h + 2. Let x be k(-4). Solve 6 + 4 = -x*p for p.
-2
Let o be (9/5)/(3/5). Solve -o*x = -8*x - 15 for x.
-3
Suppose -16 = 2*u - 4*t, 3*u + 42 = -0*t - 3*t. Let z = 25 - 35. Let n = z - u. Solve -n*i + 6 = i for i.
2
Suppose -a - 51 = -58. Solve -4*w = -1 - a for w.
2
Suppose -8 = -0*x + 4*x. Let l be (x/(-4))/(2/24). Suppose -6 = -3*w, 4*w - 44 = -3*q + l*w. Solve -p - q = 3*p for p.
-4
Let m(v) = -v**2 - 3*v + 6. Let h be m(-3). Solve -3*r + h = 18 for r.
-4
Let t(f) = -2*f + 6*f + 5 - 1 - 3*f. Let v be t(-2). Solve v*d = -3*d - 20 for d.
-4
Suppose 0 = -2*u - 1 + 33. Suppose 2*d = -5*j + 25, 3*j + u = 5*d - 0*j. Solve d*b + 7 =