7*y + 7*y**2 + 2 - y**3. Let u be l(7). Solve -k + u = -3*k for k.
-1
Suppose -3*b - 2*b + 170 = 0. Suppose -9 + b = 5*p. Suppose -p*x + 6 + 14 = 0. Solve -x*m - 3 = 1 for m.
-1
Let m = -142 - -143. Solve 4*n - m + 9 = 0 for n.
-2
Let o(j) = -2*j**3 + j + 1. Let a be o(-1). Let c = 0 + a. Solve 2*d = -c*d + 12 for d.
3
Let k = 12 + -12. Solve k = -0*y + y for y.
0
Suppose -p = -2*l - 3, -3*l = 3*p - 4 - 5. Solve p*u = u for u.
0
Let a = -20 + 22. Solve a*l + 2*l - 16 = 0 for l.
4
Let i(o) = 3*o + 2. Let r(x) = -2*x + 6. Let a be r(4). Let l be i(a). Let k(s) = -2*s - 6. Let d be k(l). Solve -n + 1 = -d*n for n.
-1
Let s be (-6)/(3*2/(-4)). Let o(q) = -q**3 + 5*q**2 - 1. Let l be o(s). Solve -2*n - n = l for n.
-5
Let n = -23 - -35. Suppose -4*c + 28 = -0*c - 4*w, -5*c - 4*w = -17. Solve -3 = -c*t + n for t.
3
Suppose 3 = -3*l - 3. Let p be (-50)/15*3/l. Let t(y) = y**3 - 4*y**2 - 4*y - 5. Let f be t(p). Solve f*g = g + 5 for g.
-5
Let m = -4 - -9. Suppose m*k - k = 0. Solve -12 = -k*l + 3*l for l.
-4
Let g(o) = o + 1. Let h be g(-2). Let i = h + 1. Suppose t + i*t = 0. Solve t = -5*q + q for q.
0
Suppose -2*f = 9 - 33. Solve f = -2*i - i for i.
-4
Let x(p) = 5*p**2 + 5. Let q be x(4). Suppose 5*s - 96 = 4*a, 0*s + 4*s = -5*a + q. Solve o - s = -4*o for o.
4
Suppose 5*w = -3*i + 35, 7*i - 38 = 3*i + 2*w. Solve 0 = f + f + i for f.
-5
Suppose -2 = 3*q + 1. Let z be (4 + -4)*(q - 0). Let w(c) = c**3 - c**2 - 2*c + 2. Let t be w(2). Solve t*y = 2 - z for y.
1
Suppose 1 = -k - 5*a + 4, -a - 3 = -k. Solve z - 4 = -k*z for z.
1
Let b = 14 - 12. Suppose -3*f - b*f = -100. Solve -l - f = 4*l for l.
-4
Let s be ((-4)/(-10))/((-5)/(-25)). Solve -s*w + w = 4 for w.
-4
Let x = -108 - -112. Solve x*o + 2 = 2*o for o.
-1
Suppose -3*k - 3*k = 0. Solve k = z - 2*z for z.
0
Suppose 4*x = -24 + 8. Let c be 12/16 - 21/x. Solve m + m = -c for m.
-3
Let k(f) = f**3 - f**2 + 6. Let a be k(0). Solve 5*i - a = 4 for i.
2
Let c be (-6 + -5)/(-1 + 0). Solve 5*d - c = -36 for d.
-5
Let g(o) = -o**2 + 7*o + 2. Let v be g(7). Solve -11 = -v*y - 1 for y.
5
Let f = 78 + -73. Solve 0 = -f*j + 10 - 0 for j.
2
Let o = 0 - 3. Let p be (-1)/(((-1)/o)/(-1)). Suppose -p = -2*z + 3. Solve 0 = z*f + f for f.
0
Let j be -3 + (-2 - 0/(-2)). Let s be 2/6 + j/15. Solve -2*p - 7 + 3 = s for p.
-2
Let g be (-1)/((-6)/(-9))*-4. Suppose 1 = -3*o - 2*v + g*v, -v = 3*o - 19. Solve -8 = -c + o*c for c.
-2
Suppose g = 2*g - 3. Let d be 12/(-5)*(-15)/g. Solve d = -4*m - 0*m for m.
-3
Suppose 6 = z + 2*l, z - 4*z + 18 = -2*l. Solve 10 = -4*o - z for o.
-4
Let a be (1 + 0)*(-1)/(-1). Let t = a - -33. Let s be (-1)/4 + t/8. Solve s*o = 1 + 3 for o.
1
Suppose -79*d = -76*d. Solve d = -f - f + 8 for f.
4
Let y be (1 + 0)/((-2)/(-8)). Let i(v) = -v**3 + 5*v**2 + 5*v - 2*v + 3 + 0*v**3. Let k be i(y). Solve -5*g - 6 = -k for g.
5
Suppose 0 = -3*i + 7*i, 4*u - 28 = -3*i. Let q = 10 - u. Solve -1 = -4*b + q for b.
1
Let t(l) = -l + 13. Let w be t(10). Solve 12 = -w*g - g for g.
-3
Let y = 25 + -22. Suppose -i = -3*i + 10, -4*i = -3*q - 14. Suppose -3*f - 12 = 0, -5*f = -q*z - 4*f + 4. Solve z = 2*p - y - 5 for p.
4
Let y(a) = -a + 10. Let l be y(0). Suppose 5*r = 2*f + 18, -2*f + 6*f + 3*r + l = 0. Let s = f - -7. Solve 11 - 2 = s*c for c.
3
Suppose 4*h + 3*v - 12 = 0, 4*v - 16 = 4*h + h. Let n(f) = -f**3 - 2*f**2 + f. Let u be n(-3). Solve 3*l = -h*l + u for l.
2
Let u = -2 - -4. Suppose 2*d = 3*c + 2, 3*c + 2 = u*c + d. Solve -c = -t - t for t.
1
Let n(c) = c**2 + c + 8. Let p be n(-11). Let g = p + -68. Suppose 0 = -3*f + f + g. Solve -3*u - f = 2*u for u.
-5
Suppose 0*q = -q + 5. Suppose -4*a = -7 - 5. Let p be a - 1 - (2 - 3). Solve -p*z + q + 4 = 0 for z.
3
Let d be (24/28)/((-1)/(-14)). Suppose w - d = -3. Solve -3 - w = 3*q for q.
-4
Let z be ((-4)/8)/(1/(-10)). Suppose z = -3*m + 41. Solve 6*q + m = 2*q for q.
-3
Suppose 0*l + 2*l = 8. Solve -l*b = -0*b + 16 for b.
-4
Suppose -4*g = -2*g - 4*p - 36, 4*g = 2*p + 54. Solve -g = -3*c - 3 for c.
3
Let y(l) = -96*l + 98*l - 5 - 6 - 10. Let z be y(14). Solve 4*a = z*a + 15 for a.
-5
Suppose -3*l = -8*l + 10. Let f = l + 2. Solve -f*n - 4 = -12 for n.
2
Let c(i) = 2*i**3 - 8*i**2 + 3*i + 2. Let x(f) = f**2 + 1. Let k be x(-2). Let g be c(k). Suppose 5*p - 3 = g. Solve p = -3*t - 1 for t.
-5
Suppose 6 = m + 2*j, 3*m - 3*j = -0*j + 63. Let n be (9/(-6))/((-6)/m). Suppose -n*h = -h. Solve 2*t + 0*t = h for t.
0
Let f = 26 - 23. Solve 13 - f = 5*n for n.
2
Let u(r) = -r**3 - 8*r**2 - 7*r + 6. Let j be u(-7). Let y be (-4)/j + 44/12. Suppose y*s = q - 13, q - 3*q - 4*s - 4 = 0. Solve -i + 25 = q*i for i.
5
Suppose 0 = 3*w + 4*u + 5 + 7, -3 = 4*w + u. Let n be (w/3)/(1 + -2). Suppose n*b = -b. Solve b = 2*j - 1 + 5 for j.
-2
Suppose 0 = -4*s + 2*s. Suppose 4*o + o = s. Let p be 1/(1/(3 - o)). Solve c + 20 = -p*c for c.
-5
Suppose 0 = -3*d + 10 + 2. Solve d*t - 1 - 3 = 0 for t.
1
Suppose 3*f = -f - 12, f = 2*j - 15. Let b = 0 - -7. Suppose 0 = -6*o + b*o - 6. Solve -3*v + o*v = -j for v.
-2
Let a be ((-1)/(-1))/(-1) - 19. Let r be 2/(-1) + a/(-2). Let j be 2/2*0/2. Solve j = -4*t + 2*t - r for t.
-4
Let k = 201 + -198. Solve 0*v = k*v + 15 for v.
-5
Let x(u) = -3*u + 27. Let g be x(8). Let b be 2 + (-6 + 2)/2. Let r = b - 0. Solve 0 = -r*h + g*h - 3 for h.
1
Suppose -5*j + 18 = j. Solve 2*a = -j*a + 5 for a.
1
Suppose 2 = -3*r + x + 8, -x = 5*r - 10. Solve 4 = -r*j - 4 for j.
-4
Let i be (3/(-2))/(4/(-8)). Suppose 0 = 5*y + i*z - 65 + 16, -4*z - 12 = -3*y. Suppose 0 = -4*p - y*d + 4*d, d = -2*p + 5. Solve -p*c = -c + 8 for c.
-2
Suppose -5*z + 4*z + 2 = 0. Let h(m) = m**3 - 6*m**2 + m - 5. Let x be h(6). Let r be x/(-1 - (-4)/z). Solve -r = 2*l - l for l.
-1
Let u = 42 + -42. Solve u = -2*r - 5 - 1 for r.
-3
Let z(r) = 4*r - 23. Let i(j) = -2*j + 12. Let x(a) = 5*i(a) + 3*z(a). Suppose -14 = -0*t - 2*t. Let c be x(t). Solve -c*d + 2 - 7 = 0 for d.
-1
Let c be (-128)/(-6) - (-8)/(-6). Solve 0 = 4*y + c for y.
-5
Suppose -4*n + 10 = -2*n. Solve n*c - 14 - 11 = 0 for c.
5
Let s be -1 + -12*(-1 + 0). Let l = -7 + s. Solve 2*u + 0 - l = 0 for u.
2
Let p = -38 + 38. Solve i = -p*i - 5 for i.
-5
Let n = -9 + 1. Let a = -8 - n. Let h = 4 + 1. Solve a = 2*y + 1 + h for y.
-3
Let q(d) = d**3 - 8*d**2 + 7*d + 2. Let a be q(7). Suppose a*l + 5*l = 21. Solve 0 - l = k for k.
-3
Let a = 4 - 4. Let r(x) = -x - 1. Let p be r(2). Let v(y) = -y + 3. Let o be v(p). Solve a = k - o*k + 15 for k.
3
Let v(y) = 7*y + 2. Let n be v(1). Let t be 2/n + 4/(-18). Solve 10 = -t*o + 5*o for o.
2
Suppose 11 = -2*g + 31. Solve 0*w = 5*w + g for w.
-2
Let j be 24/(-4)*(5 - 3). Let a = 15 + j. Solve 0 = -a*z + 2*z + 3 for z.
3
Suppose 0 = 2*m + 11 + 1. Let x = -3 - m. Solve x*v + 3 + 3 = 0 for v.
-2
Suppose -2*i = 5*a - 21, -3*a - 2 + 17 = 2*i. Solve c = -a*c for c.
0
Suppose -15 = -3*l - 3*u, 0*u + 10 = 2*l + u. Let z(h) = h**2 - 5*h + 2. Let b be z(l). Solve -7*v = -b*v - 5 for v.
1
Suppose 0 = -0*m + m. Suppose m = a - 6 + 3. Solve -l = -0 + a for l.
-3
Suppose 3*h - 25 = 4*o, -2*o = 2*h - 1 + 3. Let k = 19 + -13. Let y be (-3)/k + h/2. Solve -z = 5 - y for z.
-4
Suppose -3*c = -0*c + 4*v - 7, 2*v - 8 = 0. Let g = c - -5. Solve 0 = -i + g*i for i.
0
Suppose -10*t = -5*t - 5. Solve t = -5*g - 19 for g.
-4
Let u(j) = -j**2 - 10*j - 9. Let y be u(-9). Let t be (1 + -1)/2 + y. Solve t + 4 = r for r.
4
Suppose y = 6*y + 5. Let i = y + 3. Suppose -5 + 0 = -5*v. Solve -v = i*b - 3 for b.
1
Let v be 77/44 + (-1)/(-4). Suppose -2*u - 2*u - o = -18, -v*u + 3*o = -16. Solve u*z - z + 4 = 0 for z.
-1
Suppose -5*w + 29 = 5*d + 4, 3*w + 27 = 3*d. Solve -8 = -5*y + d for y.
3
Let d be 15/(6 - 1 - 2). Solve -d = -2*h + 5 for h.
5
Let n = 12 + -3. Solve 0*j = -3*j - n for j.
-3
Let a be -2*-2*(0 - -1). Suppose -5*z + 25 = -p, 3*z + z = a*p + 4. Suppose -i + 3*m + 4 = -z, -4*m - 20 = -3*i. Solve 16 = i*c - 0*c for c.
4
Let d = -10 - -23. Solve -2*g = d - 9 for g.
-2
Let h(i) = -i**3 + 3*i**2 + i - 3. Let u be h(3). Let w be ((-3)/6 - 0)*u. Suppose 2*r = g - w*g, -r + g = 0. Solve 3*y + r*y = 6 for y.
2
Let y(v) = -3*v - 10. Let a be y(-6). Solve -2*x + 0 = -a for x.
4
Suppose 14 = 2*y - 18. Let d = y - 8. Solve 3*u - d = u for u.
4
Let n(s) = -s**3 + 6*s**2 + 4*s - 3. Let r be n(7). Let l = r + 38. Solv