k**3 + 4*k**2 + 3*k - 1. Let a be y(-3). Let r = a + 1. Solve -q = -r*o + o for o.
-3
Let q(l) = -l**3 - 8*l**2 - 9*l - 8. Let x be q(-7). Solve -x*w - 6 = -3*w for w.
-2
Suppose -w = 4*w. Solve w = -3*q - 2*q + 15 for q.
3
Let h(v) = v**3 - 10*v**2 - 10*v - 10. Let q be h(11). Let p be q/(9/6 - 1). Solve 0 = -3*y - p*y - 20 for y.
-4
Let p be -1*(-4)/((-16)/(-36)). Solve -5*n = -1 - p for n.
2
Suppose -4*d - 8 = -4*u, -3*d + 5*u + 1 - 15 = 0. Solve d*x + 4 = -0*x for x.
-2
Let y(j) = 2*j - 3. Let p(o) = -o + 1. Let d(w) = 6*p(w) + 2*y(w). Let l be d(-4). Solve -l = -4*f + 8*f for f.
-2
Let p be 2 + (-2)/(-2) - 1. Let c = -481 - -485. Solve -p*d = -0*d + c for d.
-2
Let f = -8 - -9. Let l be (-1)/(f + (-46)/44). Solve -5*s + 2 = l for s.
-4
Let z(a) = 7*a**2. Let d be z(-2). Suppose 5*w - 2*y = 2*y + 31, 4*y + d = 4*w. Suppose 0 = -w*r - j + 33, j - 75 = -5*r + 6*j. Solve -2*h - r = -2 for h.
-5
Let a = 8 - 6. Let z(w) = -w**2 + 9*w + 3. Let l be z(9). Solve -o + a - l = 0 for o.
-1
Let a(f) = 2*f - 7. Let j be a(5). Suppose j*z - 45 = -2*z. Suppose r + 0*p = -4*p - z, 4*r = -p + 9. Solve 2 = -r*g + g for g.
-1
Let z be ((-6)/10)/(12/(-40)). Solve -7*v + z*v = 25 for v.
-5
Let i be ((-6)/3 + 2)/(-2). Let s = i - -2. Suppose 1 + 7 = s*y. Solve -j = -y - 0 for j.
4
Let g(o) = o**3 - 9*o**2 + 8*o - 2. Let c be g(8). Let p be 20/8 + 1/c. Solve p*k - 8 = -0 for k.
4
Let l be 0/((-4)/(8/(-4))). Solve 8*y - 3*y - 10 = l for y.
2
Let a(q) = -q**3 - 5*q**2 + 8*q + 5. Let x be a(-5). Let j be 5/(-2)*56/x. Let w = 3 - 3. Solve -j*t = -w*t - 12 for t.
3
Let y(v) = -v**2 + 7*v - 1. Let d be y(6). Solve -9 = -2*w + d*w for w.
-3
Suppose -6*y = -y + y. Solve 4*n - 9 + 1 = y for n.
2
Let z = -7 - -12. Suppose 5*f = -2*q - 3*q + z, 0 = -q + f + 5. Suppose 5*w - 20 = q*w. Solve 5*k = -0*k - w for k.
-2
Let u(d) = 2*d - 7. Let o be u(5). Solve 3 = -o*t - 0*t for t.
-1
Suppose 0*a = 4*a - 12. Solve a*i + 0*i = 0 for i.
0
Let t(l) be the first derivative of l**3/3 + l**2/2 - 2*l - 2. Let w be t(2). Solve 3*b - 2*b = -w for b.
-4
Let f(s) = s. Let h be f(-11). Let q(g) = g**2 + 12*g + 12. Let m be q(h). Solve -2*b = -3*b - m for b.
-1
Let k = 16 + -14. Solve -k*p - 2*p = 12 for p.
-3
Suppose -2*z = -3*z. Suppose 4 = u - z. Suppose -b + 5*b - 8 = 0. Solve m + u = b*m for m.
4
Let k = -100 + 103. Solve 0 = 2*f + k*f + 25 for f.
-5
Suppose -5*d - 3*j = -5*j - 4, 5*d = -2*j + 16. Solve -2*i = -d - 4 for i.
3
Suppose -2*a + 20 = 3*a. Let s be 6 + 2*(-2)/a. Let v be (s/(-10))/(1/(-12)). Solve -4*n + 2*n + v = 0 for n.
3
Suppose 0 = -a - 4*g + 5, g = -3*a + 4. Solve -5*i - a + 6 = 0 for i.
1
Suppose -2*g = 3*s, 0*g = 2*s - 2*g. Solve s = -p - p + 8 for p.
4
Let q be -2*(1 + (-1)/2). Let w = q + 6. Solve 3*c + w = -7 for c.
-4
Suppose -4*w = -0*w - 16. Solve w*v - 3*v + 4 = 0 for v.
-4
Let p be 5/(10/(-4)) - 7. Let s be 2*(-2)/(12/p). Suppose 4*b - 2*k - 29 = k, -13 = -5*b - 4*k. Solve -n - b = -s for n.
-2
Let i(k) = -k - 1. Let f be i(-5). Let z be (-3 - -10) + 0 - f. Solve 3*g = 6 + z for g.
3
Let w(j) = -17*j**2 + 5*j - 3. Let v be w(1). Suppose 2*h = -3*h - 45. Let q = h - v. Solve 0 = 2*o + q + 4 for o.
-5
Suppose -4*f - u + 19 = 0, -f - 5*u = -12 - 7. Let r(l) = -l**3 + l. Let a be r(0). Solve -12 = -f*h - a*h for h.
3
Suppose 0 = k - 0*k - 2*b + 4, 0 = -k + 5*b - 13. Suppose 2*x - 2*n + k = 0, 3*x - 3*n - 1 = -x. Solve x = t + 2 for t.
2
Suppose -5 = -2*r + 9. Let g = r - -11. Solve -4*o = -2 - g for o.
5
Let v(u) = -u + 7. Let x be v(4). Solve 2 = f - x for f.
5
Suppose -l = l + 2*o, -5*l - 3*o = -8. Let d = l - 4. Let t be d + 6 + -4 + 3. Solve w + 0*w = t for w.
5
Let c = 9 + -4. Let b = 9 + -5. Let o = 16 + b. Solve c - o = -3*x for x.
5
Let z(l) = l - 1. Let s be z(3). Solve -s*d = 2*d - 20 for d.
5
Suppose 5*a = 8 + 7. Solve a = -j + 8 for j.
5
Let g = -20 + 38. Let r = -13 + g. Solve 0 = u + r - 2 for u.
-3
Let r(z) = 2*z**2 - 5*z + 8. Let j be r(7). Suppose l - 2*w = 3*w + 20, -5*l - 4*w = -j. Suppose f + 3*o + l = 0, -4*o + 8 = 4*f + 28. Solve 3*c = -f*c for c.
0
Suppose a - 81 = -76. Solve 4*c = a*c + 4 for c.
-4
Suppose -3*s = w - 6*s - 25, 4*s = -2*w + 50. Solve 5*j = -0*j - w for j.
-5
Let z be (-20)/((-3)/6*2). Let t = z + -20. Solve t = d - 3*d for d.
0
Suppose 4*m - 43 = -k, -k - 45 = -3*m - m. Let y(a) = -a + 11. Let i be y(m). Solve -n - n + 2 = i for n.
1
Let j = -48 + 112. Suppose 0 = -2*i - 2*i + j. Solve -4 = -4*s - i for s.
-3
Let a be 6/9*(-2 - 4). Let k be (-68)/(-7) - a/14. Solve 3*u = -2*u - k for u.
-2
Let v(y) = y**2 - 15*y + 13. Let s(m) = 3*m**2 - 44*m + 39. Let q(r) = 4*s(r) - 11*v(r). Let k be q(10). Solve -k*b = 2*b - 15 for b.
3
Let c(u) = -u + 6. Let w(s) = -s + 3. Let m be w(-3). Let y be c(m). Solve -1 = -y*a + a for a.
-1
Let j(n) = 1 + 8*n**2 + 1 - 2*n + 14*n - 7*n**2. Let u be j(-12). Solve -g = 3 + u for g.
-5
Suppose -2*c + 4*c - 2 = 0. Suppose 6*w - w = 5. Let s = w + c. Solve -s*b + 3 = b for b.
1
Let w be ((-3)/4)/(2*(-1)/16). Solve -2*p = p + w for p.
-2
Suppose -2*b - k = -4*k - 2, -5*k - 10 = 0. Let x be (-8*(-1)/(-1))/b. Suppose -49 = -x*a - 17. Solve -c = -a + 3 for c.
5
Let o = 7 - 10. Let r be o - -3 - (1 + -1). Let v be (-6)/(0 + -2) - r. Solve v*m + 0 = 3 for m.
1
Suppose -37 = -4*m + 5*b, -5*m + b + 29 + 12 = 0. Suppose -u = u - m. Solve 0*l + u*l + 16 = 0 for l.
-4
Let s(g) = g**2 + 8*g + 5. Let q be s(-8). Suppose -l - l + 15 = -y, -5*l = -q*y - 35. Suppose -z - 6 = 3*u, 2*z + u + 0 - 3 = 0. Solve 0 = z*f - l - 1 for f.
3
Suppose 111*v - 113*v + 22 = 0. Solve -15 = 8*p - v*p for p.
5
Let c be 2*(35/26 + (-10)/(-65)). Solve -2*m = -m - c for m.
3
Let v(x) = -x**2 - 4*x - 1. Suppose -4*z - 27 = -5*j, 1 + 23 = 4*j - 4*z. Suppose j*u + 4 = -5. Let w be v(u). Solve 0 = w*h - 6*h - 20 for h.
-5
Suppose 24 - 2 = -a. Let z = -13 - a. Solve -20 = 4*b - z*b for b.
4
Suppose -13*b + 55 = -2*b. Solve -9 = b*v + 16 for v.
-5
Let o(x) = -5*x - 10. Let y be o(-4). Solve -2 - y = 3*s for s.
-4
Suppose 0 = -3*r - 0*l + l + 14, 3*r + l = 22. Solve -2*u - r = 2 for u.
-4
Let a = 0 - 3. Let g be (-16)/a*(-6)/(-4). Let f be 6/(-27) - 4/(-18). Solve f = o + o + g for o.
-4
Suppose -3 = -2*x - 1. Solve -g = -x + 2 for g.
-1
Suppose 0 = -2*n - 4*f + 12, f = 4*n + 4*f - 19. Let m(a) = a**2 - a - 9. Let q be m(n). Solve 0 = q*b - 8*b for b.
0
Suppose 4*k - 9*k = -80. Solve -3*v + 7*v + k = 0 for v.
-4
Suppose 4*t = 6*t. Suppose t*k = -3*k. Solve 0*a + 2*a = k for a.
0
Let r(u) = u. Let k be r(-2). Let g be 3*(-2 - 4/(-3)). Let f = k - g. Solve 4*a = -f*a for a.
0
Suppose 0*o = 3*o - 6. Suppose -v + 6 = o*v. Solve -v*s + 4 + 4 = 0 for s.
4
Suppose 3*r + 22 - 64 = 0. Let o = -6 + r. Solve -4*k - o = -2*k for k.
-4
Suppose -2*a + 6*a + 208 = 0. Let l be 4/(-26) - 528/a. Suppose 5*j = -d + l, 2*d + 0 - 10 = -5*j. Solve d = -3*x + 4*x for x.
0
Let v be (-12)/(-4) - (-6)/3. Solve 0 = -b + v*b + 4 for b.
-1
Let v(t) = 3*t**2 + 9*t + 8. Let d be v(-1). Solve -3*k + 5 = d*k for k.
1
Let b = 19 + -15. Solve -2*x = -b + 2 for x.
1
Let i = 6 - 1. Suppose i*l = 3*l. Solve -x - x = l for x.
0
Suppose -2*h - 7*o = -2*o - 10, -2*o + 20 = 4*h. Suppose 0*l - h*a - 25 = 4*l, 20 = 5*l - 4*a. Let k be ((-18)/(-5))/(6/20). Solve -x - 2*x - k = l for x.
-4
Let l(c) = 2*c**3 - 14*c**2 - 13*c - 19. Let b be l(8). Solve -b*y = -2*y - 15 for y.
5
Let a(v) = -2*v**2 + 25*v + 6. Let s(l) = l**2 - 12*l - 3. Let j be 1/((-57)/(-18) - 3). Let f(n) = j*a(n) + 13*s(n). Let d be f(7). Solve 4*u - d = 6*u for u.
-2
Let f be 34/4 + 1/2. Solve 1 = -2*d - f for d.
-5
Let h be 3 - 3 - (0 + -4). Suppose -20 = -3*g - h*x + 2, 2*x = 2*g - 24. Solve -g = q + 4*q for q.
-2
Suppose -7*t + 80 = 9*t. Solve -3*c = -t*c for c.
0
Suppose -5 = 2*w - 3*o, o - 25 = -w - 3*o. Solve 4*f = -f - w for f.
-1
Let v = 1 + 11. Solve -z = -4*z + v for z.
4
Let s be 0/((6/(-4))/(2/(-4))). Let w be (-2)/(-3) - (-88)/(-6). Let n be (-60)/w + 2/(-7). Solve s = n*k - 3*k - 4 for k.
4
Suppose -g = -4*b + 21, 15 = 5*b - 4*g + 5*g. Let w = 2 - 0. Let s be 0/(w - (0 + 0)). Solve s = b*u - 2*u - 2 for u.
1
Suppose -2*k + 16 + 20 = 0. Let p(x) = -x**3 + 5*x**2 + 5. Let n be p(5). Solve n*m + 3 = k for m.
3
Let t(d) = -d + 4. Let k be ((-1)/3)/((-1)/15). Let c be t(k). Let u be (c + 0)*100/(-4). Solve 