Let z(w) = 2*w**3 + 6*w**2 - 4*w - 1. Let n(u) = -9*q(u) - 4*z(u). Let l be n(-4). Let m = l - -4. Solve m = 2*v + v for v.
0
Let z = 2 - 4. Let t = z - -11. Suppose 2*o + o = t. Solve -2*d - d = -o for d.
1
Let t = 11 - 9. Solve t*w = -w for w.
0
Let t(i) = -7*i**2 + i - i. Let m be t(2). Let l be m/(-6) + (-10)/15. Solve l*x = x + 6 for x.
2
Let w(y) = y**2 - 8*y + 10. Let q be w(8). Let j be (6/5)/(3/q). Solve -11 - 5 = j*p for p.
-4
Let l be -3 - -7*(3 + -2). Solve -6*z = -l*z + 2 for z.
-1
Suppose 5*l - 10 = 3*y, -2*y + 5*l - 13 = -3. Suppose -3*w + 12 = -y. Solve w = n + 1 for n.
3
Let u be (7/28)/(1/28). Let q be 5*1 + (-21)/u. Solve 9 = -q*l - l for l.
-3
Let l(t) = 15*t**3 - t**2 + 1. Let z be l(-1). Let p be z/(-8) + (-6)/(-48). Solve p = -d + 4 for d.
2
Suppose 2*b + 24 = 3*t + t, -5*t = -10. Let k = 20 + b. Let a = k - 4. Solve 3*g - 20 = a*g for g.
-4
Suppose n = 3*n + 40. Let i = -10 - n. Let f = -1 + 3. Solve 0*p - f*p = -i for p.
5
Let m = -1 - -16. Suppose 0 = -t - 2*x + m, -3*x = 4*t - x - 30. Solve y = 6*y - t for y.
1
Let h(r) = r**3 - 6*r**2 + 5*r. Let c be h(4). Let s = -7 - c. Suppose 2*n - 3 = s. Solve 2 = -2*o + n for o.
1
Suppose -h + 3*h = 160. Suppose -6*t + h = -t. Suppose t = n + n. Solve 0 = 6*l - 2*l - n for l.
2
Suppose 2*o = -0*o - 32. Let a = 22 + o. Solve 0 = d - a*d + 25 for d.
5
Let b = 13 + -9. Let u be b/10 - 12/5. Let q be (-7 - -3)*2*u. Solve 4 = -4*p + q for p.
3
Suppose 4 + 4 = 4*l. Solve -l*w - w = 0 for w.
0
Let c = 97 + -93. Solve 0 = -3*y - c - 2 for y.
-2
Suppose -11*w + 7*w = -16. Solve w*k - k = 6 for k.
2
Let h = 0 - -2. Let o = 1 + h. Solve o*m + 0*m = -6 for m.
-2
Let d = 4 + -2. Suppose d*i - 108 = -i. Suppose 4*g = 4*l - i, -2*l + 4*g + 41 = 3*l. Solve 0 = -j - 4*j + l for j.
1
Let a = -4 - -8. Suppose 0 = -2*x + a*x - 2*v - 2, -3*x + 4*v = 1. Suppose -x*s + 9 + 5 = -2*o, 0 = 3*s - 4*o - 14. Solve -1 = -y - s for y.
-1
Suppose -l + d + 0*d = -5, -d - 14 = -4*l. Solve 0 = -2*z + 9 - l for z.
3
Suppose -y - 17 = -20. Solve -y*g - 1 - 11 = 0 for g.
-4
Suppose 0 = 3*z + 4*m - 10, -z - 4*m + 3 = -11. Let y = z + 2. Solve 12 = 3*f - y*f for f.
4
Let j = 3 + 0. Let i = -1 + j. Solve 7*r = i*r for r.
0
Let m = 34 - 32. Solve -2 = 2*r + m for r.
-2
Suppose -6 = 5*x + 9, 3*x = -3*j - 21. Let o be 6/(-27) + j/(-18). Suppose o = 4*n - 8 - 8. Solve -n*t + 3 = 7 for t.
-1
Let i = 52 + -52. Solve i = 2*p + 2*p for p.
0
Suppose -4*t - t - 112 = 4*z, -z - 3 = 0. Let w = -16 - t. Let h be 2*(6/4 + 0). Solve -y + w = -h*y for y.
-2
Suppose -4*d = 4*n - 12, -5*n - 4*d + 45 = -9*d. Suppose -j = -6*j + 3*c - 16, 5*c - 10 = 0. Let k be ((-2)/4)/(j/24). Solve -3*x = -k - n for x.
4
Let t = 37 - 35. Solve -4*w - 6 = t for w.
-2
Suppose 0 = 3*v - 12 - 3. Suppose v*c - 15 = -0*c. Solve -b + 16 = c*b for b.
4
Let i(y) = 6*y - 16. Let k be i(7). Suppose x - 2*v + 12 = 2*x, 4*v - k = -3*x. Solve t = -1 - x for t.
-3
Let p(q) = -q**3 + 2*q**2 + 3*q + 2. Suppose x + 2 - 3 = 0. Let o be 2 + -3 - x - -5. Let w be p(o). Solve -7 = -w*j - 3 for j.
2
Let l(o) be the second derivative of -o**5/20 + 3*o**4/4 + 3*o**2/2 - 2*o. Let v be l(9). Let p be 2 + v*(-4)/6. Solve 5*f - 5 = -p*f for f.
1
Let v(w) = 3*w - 7. Let x be v(5). Suppose -i = 4, -k + i = 4*i + x. Solve -p = -k*p for p.
0
Suppose -5*s - 5*j = -s + 1, -s - 4 = 2*j. Solve t - 4*t + s = 0 for t.
2
Suppose 0 = -5*f - 2 + 17. Solve -d = 2*d + f for d.
-1
Let m = -2 - -6. Let b be m*((-42)/8)/(-3). Solve -b*l - 16 = -3*l for l.
-4
Let i(n) = 4*n**2 - 2*n**3 + n**3 + 2*n**3 + 8 + 7*n + 3*n**2. Let m be i(-6). Solve m*d - 3 = 5*d for d.
-1
Suppose -2*v - 5*c + 14 = 0, 6*v - 4 = 3*v + c. Solve v*a - 15 = 5*a for a.
-5
Let j(w) = w**3 + 12*w**2 + 9*w - 22. Let i be j(-11). Solve -5*p + 5 - 20 = i for p.
-3
Let j(x) = x**3 + 4*x**2 + 2*x + 1. Let z = -4 + 1. Let w be j(z). Solve b - 3 + w = 0 for b.
-1
Suppose 4*q + h - 16 = 0, -4*h = -0*h. Solve 3*k + q - 7 = 0 for k.
1
Suppose -105 = 6*r - 11*r. Suppose -9 - r = -5*w. Solve 3*z = w*z for z.
0
Let m = -19 + 23. Solve 0 = f - m - 1 for f.
5
Suppose 0 = -4*t + 4. Suppose -2*m + t = -3. Solve m = -j - 2 for j.
-4
Suppose 0 = -2*b - 4, 0 = -v + 5*v - 4*b + 8. Let w = v - -6. Solve 0*l - 4 = w*l for l.
-2
Let j(d) = 0 + 2 - 4 - d. Let p be j(-6). Solve 0 = 2*h - p*h + 6 for h.
3
Suppose -6*z + z = -40. Solve z = 3*q + q for q.
2
Suppose -2*g + 30 = 5*d - 3*g, 3*g = d - 20. Suppose 5*h - 2 = 8*c - 4*c, 0 = -d*h + 10. Suppose 2*j = -3*j + 10. Solve -4 = j*s + c*s for s.
-1
Suppose -g - 5*v - 1 = 0, 5*g - 17 = -2*v - v. Let p = 86 - 44. Let r = p - 22. Solve -g*c - c = -r for c.
4
Suppose -4*g = g - 5. Suppose g + 4 = f. Solve 2*n + f - 13 = 0 for n.
4
Let b(p) = 0*p**3 - 2 - p**3 + 0 + 3*p**2. Let v be b(2). Suppose -10*h + 73 = 13. Solve a + h = -v*a for a.
-2
Let o = 44 + -19. Suppose 3*z = -2*z + o. Solve z = -q - 0 for q.
-5
Let f(n) = n**2 - n + 21. Let w be f(0). Solve w = -4*t + 9 for t.
-3
Let q = -41 + 66. Solve -6*p = -p - q for p.
5
Let q(k) = -k**3 + k**2 - 2. Let t be q(-2). Solve -t = -5*w - 0 for w.
2
Suppose 0 = -12*g - 5*g + 136. Solve x + 3*x = -g for x.
-2
Suppose 1 = n - 4*r, -1 = -n + r - 4*r. Suppose k = 2*k - n. Solve k = o + 2 for o.
-1
Suppose -15 - 17 = -8*l. Let n = 0 - 0. Suppose 27 = 3*y + 3*j, 2*y = -n*y + j + 21. Solve -l*x - x = -y for x.
2
Let p(d) = 3*d + 6 - 4*d + 1. Let w be p(7). Suppose w = -2*h + 4*h - 10. Solve -4 = h*n - 14 for n.
2
Let b be (-2)/(-4) + (-36)/(-8). Solve 4*i = -i + b for i.
1
Let t be (24/(-12))/((-2)/(-13)*-1). Solve 2*q + t - 3 = 0 for q.
-5
Suppose 0 = -3*k + 2*i + 10, 4*k + 2 = 4*i - 9*i. Solve -k*f = -f for f.
0
Suppose 0 = -2*m - 3*t + 5, m + 0*m - t = 10. Let h = m + -5. Solve h*v - 1 = 1 for v.
1
Let j(b) = -b - 6. Suppose u - 3*u = 24. Let w be j(u). Solve -r - 25 = -w*r for r.
5
Suppose -w + 4*p + 8 = -2*w, 19 = 4*w - p. Suppose -s = w*s - 25. Let h = -10 - -20. Solve 5 = s*m + h for m.
-1
Let h be (-1 - 1)/(-1 + -1). Solve h - 5 = w for w.
-4
Let j be 9/(1 - 2/1). Let x = 13 + j. Suppose -2*u - 8 = 2*r, -x*u + 5*r = -1 - 28. Solve u = 2*p + 3 for p.
-1
Let l(r) = r**3 + 2*r - 4. Let z be l(2). Solve 0*s + 4*s = z for s.
2
Let k be 2/(-10) - (-93)/15. Let g = -4 + k. Solve j + 0*j = g for j.
2
Let o be 2/5 + (-2)/5. Let d be 0 + 3 + (-1 - 8). Let q(m) = m**3 + 6*m**2 - m - 2. Let j be q(d). Solve -j*t - 8 - 12 = o for t.
-5
Let i(n) = 28*n + 9. Let j be i(-7). Let q = j + 90. Let s be q/(-6) + 2/(-12). Solve -3*g + s = g for g.
4
Let l be -1*(6 + (4 - 12)). Solve l*d = 7*d for d.
0
Let l = 70 + -46. Solve -4*m + l - 4 = 0 for m.
5
Suppose 2*l - r + 4 = 0, -l - 3*r = -13 + 1. Solve -3*c = -l*c + 12 for c.
-4
Let b(j) = -j - 4*j**2 - 2*j**2 + 5*j**2. Let t be b(0). Solve t = -2*s + 3*s for s.
0
Suppose -3*a + 22 = -2*p, 0*a + a - 5*p = 29. Solve 2*r + 2 = -a for r.
-3
Let n be (0/(-1))/(3/3). Let s = 0 + n. Let g = s + 0. Solve g = 6*c - c - 5 for c.
1
Suppose -10 = -z - 5*b, -3*z + b - 1 - 1 = 0. Let g be (-20)/3*(-12)/10. Solve z = 3*f - g - 4 for f.
4
Suppose -9 = g - 5*n - 28, -g = 3*n + 13. Let l = g + -1. Let i(x) = -x**2 - 3*x - 1. Let t be i(l). Solve 0 = -5*m + 4*m + t for m.
1
Let g(k) = -k**2 - 24*k + 2. Let i be g(-24). Solve -5*q + i*q = 15 for q.
-5
Let k(j) = 18*j**3 - 1. Let o(r) = -r**3 + 7*r**2 - 5*r - 5. Let i be o(6). Let s be k(i). Solve 5*a - s = -7 for a.
2
Let h = 15 + -10. Solve -h*g = -3*g for g.
0
Let b = 20 + -16. Solve -b*n = -2*n for n.
0
Suppose 3*f - f - 12 = 0. Solve -f = -3*g - 3 for g.
1
Suppose 2*q + 5 = 3*v, -10 = -v + 4*q + 5. Let y(i) = -21*i - 1. Let z be y(v). Suppose -f = 3*f - z. Solve -5 = 2*b + f for b.
-5
Suppose 4*i = -x - 0*i + 12, -3*x + 3*i - 9 = 0. Suppose 2*b = 4*u - 8, -u + 4*b - 5 = 7. Suppose 0*y - u = -y. Solve 0 = -y*r + 8 - x for r.
2
Let x(l) = l**2 + l**2 + 10*l - 4*l**2 + 1 + l**2. Suppose 0 = b - 9 - 0. Let z be x(b). Solve -u - u - z = 0 for u.
-5
Let b(w) = w + 15. Let a be b(-13). Solve 15 = a*z + z for z.
5
Let y be (-6)/4*10/(-3). Solve 5 = y*v - 0 for v.
1
Suppose 3*s + 2 = -22. Let m be 1/(0 + (-4)/s). Solve k - 1 = m for k.
3
Let r = -11 + 14. Solve 15 = r*b + 3 for b.
4
Suppose 0 = -r - 2, 4*r + 17 = a + 3. Let v(w) = 3*w - 4. Let y = -8 - -11. Let u be v(y). Solve u*h = -a - 4 for h.
-2
Let