*i - 6 + 2 = 0 for i.
1
Suppose 0*x - 4*x = 0. Let k(h) = h**3 + h**2 + 16. Let l be k(x). Let p(y) = 2*y**3 - 3*y**2 + 2*y - 2. Let m be p(2). Solve -l = -2*u + m*u for u.
-4
Let a be -10 - 0 - (-5)/(-5). Let y = a - -14. Suppose 3*c = 3*w + 6, y*w - 4*c + 11 + 0 = 0. Solve -w*l = -2*l + 2 for l.
-2
Let p(c) = c**2 - 12*c + 13. Suppose -16 = -4*a + 3*u, -3*u = -4*u. Let s be a/(-6) + (-228)/(-18). Let n be p(s). Solve -7 - n = -5*f for f.
4
Let v be 22/1 + (-3 - -2). Let y be v*(-3)/(-9)*1. Suppose 2*j = y + 1. Solve j + 2 = 3*o for o.
2
Suppose -4 = -9*t - 4. Solve t = -2*z - 0*z - 8 for z.
-4
Let i be (14/4)/(1/(-10)). Let c be (-46)/(-14) - (-10)/i. Solve c*p = -p for p.
0
Suppose 3*s = 2*s + 3. Suppose -s*a + 4*a - 6 = 0. Solve 0 = 3*z + a - 0 for z.
-2
Let i = 0 - 0. Solve i = -2*g - g + 9 for g.
3
Let l be -4 + -4 + 10 + 1. Suppose -1 = -4*b + l. Solve -11 = 5*i - b for i.
-2
Let h = -33 - -33. Solve 2*p = -h*p for p.
0
Suppose 14 = 4*i + 2. Let w(z) be the first derivative of z**3/3 + 9*z**2/2 + 8*z + 1. Let o be w(-8). Solve o = i*t - t for t.
0
Suppose -2*g = -f - 2*f - 4, 5*f = 4*g - 10. Solve m = -f*m + 9 for m.
3
Suppose y = 2*y - 2*a - 12, 2*y + a - 9 = 0. Let h be (4/y)/(3/18). Solve -h*o = -3*o for o.
0
Let p be 1/3 - 32/24. Let j = 0 - p. Suppose 2*f - 8 = -0*f. Solve -f*c + j = -3 for c.
1
Let h(f) = -f + 1. Let c be h(-4). Suppose 8 = -c*d + 4*u, 0*d = -d + 2*u - 4. Solve 0 = -d*b - b + 1 for b.
1
Let k(p) = 9*p**2 + 2*p + 1. Let t be k(-1). Suppose -2*z - 20 = -7*z. Solve t = 2*l - z*l for l.
-4
Let c(t) = t**3 + 9*t**2 - 9*t + 12. Let x be c(-10). Let f(k) = k**3 + 1 - 5*k + 5*k**2 + 3 + 2. Let p be f(-6). Solve 0*m + x*m + 10 = p for m.
-5
Let x be (0 - -1) + 1 + 2. Suppose 3*c = -2*i + 11, c - 19 + x = 5*i. Let m be i + 0 + 0 + 5. Solve -2*o + 9 = m for o.
3
Suppose -2*p - 10 = -4*x + 3*p, 0 = 2*x + 4*p - 18. Suppose 0 = 4*z + 5*f - 51, 58 - 22 = x*z - 3*f. Suppose 3*b - b - 8 = 0. Solve -d = -b*d + z for d.
3
Suppose -2*m = a - 9, 2*a + 1 = -m + 7*a. Suppose -50 = 5*f - 0*f. Let k be f/(-8) + (-9)/(-12). Solve -k*p + m = -p for p.
4
Let u(n) = -n**3 + 8*n**2 - 5*n - 9. Let c be u(7). Solve -c*h = -10*h + 25 for h.
5
Let s = 93 - 85. Solve y + s = -y for y.
-4
Suppose j - 7 = -2*g, -5*g + 3 = -j - 4. Let c(t) = -t**3 + 5*t**2 + 5*t + 8. Let m be c(6). Solve -m*n = g*n for n.
0
Suppose -14 = -4*g - 3*g. Suppose 8*n - 3*n + 12 = g*y, 0 = -5*n. Solve -3*d + 0*d + y = 0 for d.
2
Suppose -3 = 3*i - 15. Suppose 1 - 9 = -i*t. Solve -t + 1 = -k for k.
1
Let s(w) = -2*w**3 - 4*w**2 - 2. Let r be s(-3). Let y(b) = -b**2 - 4*b + 3. Let p be y(-4). Let f be (-2)/p + 11/3. Solve -f*q - q - r = 0 for q.
-4
Let d(b) = 2*b**2 + 2*b + 1. Suppose -5*i = -6*i - 5*q - 11, 2*q = -4. Let a be d(i). Solve a = 4*u + 17 for u.
-4
Suppose -16*r + 15 = -11*r. Solve -2*s + 3*s + r = 0 for s.
-3
Let z(p) = -p**2 - 8*p + 22. Let q be z(-10). Solve -q*r - 9 = -3 for r.
-3
Suppose -3 + 8 = -3*b + u, -4*b = 5*u + 32. Let i be 2 + (b - -1) - 0. Let j = i + 2. Solve -q + 9 = j*q for q.
3
Let v(j) = j**2 - 7. Let y be v(-3). Solve -y*g = -7 - 3 for g.
5
Suppose -9*u + 45 = -4*u. Solve 4*y - 11 = u for y.
5
Let m(n) = -n**3 + 6*n**2 - 5. Let z be m(5). Let t(j) = 8*j**2 + j. Let y be t(1). Let b = -7 + y. Solve -b*a = 3*a + z for a.
-4
Let f(l) = -3*l - 3. Let v be f(-3). Let c(a) = 9*a - v + 19 + a**2 + a. Let p be c(-9). Solve p = w + 7 for w.
-3
Let o(f) = -15*f. Let d be o(1). Let w be (d/12)/((-2)/8). Solve 20 = w*m - 5 for m.
5
Suppose -2*v + 2 = -2*f, 5*f - 13 = -v - 3*v. Suppose -2*r - r = -v*c + 9, -12 = c + 4*r. Suppose 35 = 5*g - 3*z - 2*z, -2*g = -z - 9. Solve -g*i + i = c for i.
0
Suppose -s = 3*v - 5*s - 8, 2*v = 4*s. Solve -24 + v = 4*n for n.
-4
Suppose -2*g + 5*r + 1 = 4*r, g - 5*r + 13 = 0. Solve -3*l = -5*l - g for l.
-1
Suppose 3*s + 3*r = -0*r - 3, 4*s + 2*r - 4 = 0. Solve -s*b = 4 - 1 for b.
-1
Suppose 0*n + 4 = 2*n, -2*i + 8 = 4*n. Suppose 0*y + 4*y = -28. Let m = 10 + y. Solve i = m*x - x for x.
0
Suppose 4*b = -5*n + 55, -5*b - n + 44 = -3*n. Suppose -3*q - 17 = -2, -i = 3*q + b. Suppose 3*s + 3 = 0, -i + 13 = 3*g + s. Solve 20 = -g*c - c for c.
-5
Suppose 0 = 5*a - 127 + 97. Solve a*d = 3*d - 9 for d.
-3
Let v(y) = y**2 + 10*y + 7. Let x(r) = -r**2 - 10*r - 8. Let q(k) = 3*v(k) + 4*x(k). Let c be q(-9). Let z be 1/(-3 - -1)*c. Solve 2*p + 11 - z = 0 for p.
-5
Let g(f) = f**2 - 4*f - 13. Let a be g(7). Solve -3*u + a = -u for u.
4
Let r(a) = -a**3 - 4*a**2 - 2*a - 4. Let x be r(-4). Suppose -4*n + 2*n = -20. Let f = n + -6. Solve -f*q + 3*q = -x for q.
4
Let z = -6 + 8. Let w be (18/15)/(3/10). Let a = w - z. Solve a*y = y for y.
0
Let f be (-1)/3 + (-1)/(-3). Suppose 20 = -2*i + 40. Solve -l - l + i = f for l.
5
Let f be 3*(-1 + (-8)/(-6)). Solve 4*w + 3 = -f for w.
-1
Suppose 2*k + 6 - 10 = 0. Solve -3*r = -k*r - 2 for r.
2
Suppose 38*z = 42*z - 4. Solve -y - z = 3 for y.
-4
Suppose 4*w - s = -41, 0 = -4*w + 2*w - 3*s - 3. Let j = -7 - w. Solve -4 = h - j for h.
-2
Let m(s) = s**2 - s + 2. Let h be m(3). Let j be ((-15)/(-6))/(4/h). Solve 3*z - j = 2*z for z.
5
Let b be (-150)/22 + 2/(-11). Let c = b - -9. Suppose c*s - 4*o = -0*s - 4, 4*s - 3*o - 7 = 0. Solve -s = n + n for n.
-2
Let u be 14 - 0 - (-1 - 0). Let j be (-3)/u + (-122)/(-10). Let f be j/(-6)*(-5 - -1). Solve 3*o + f + 1 = 0 for o.
-3
Let s(j) = 2*j + 20. Let r be s(0). Solve 2*p + r = -3*p for p.
-4
Let o(r) = 5*r**2 - r. Let a be o(1). Let p = 5 + -5. Solve -a*i = -p*i for i.
0
Let x be 12/4*(-4)/(-6). Suppose 2*s = -g + x*g + 2, 0 = -2*g - 4*s + 4. Solve g*i = -4*i + 4 for i.
1
Let b be 4/(-14) - 2/(-7). Suppose 1 + 15 = 4*x. Suppose -3*s = -x*g + 37 + 5, 20 = 2*g - 2*s. Solve b = 2*k + k - g for k.
4
Suppose 12 = 3*b - 2*b. Solve -2*t + b = t for t.
4
Let q be (-10)/(-4 - -2) - (0 - -2). Solve -q*a = -2*a - 5 for a.
5
Suppose 9 = 4*f + 1. Suppose -f*x + 0*x = 0. Suppose x*v - 2*v + 6 = 0. Solve 6*n - v*n = 15 for n.
5
Suppose -3*l + 74 = 2. Let c = l + -20. Solve -c*u = -8*u for u.
0
Let u be 22/7 + (-1)/7. Solve -v = u*v + 4 for v.
-1
Suppose -2*t = -10, 0*b - 4*b + t + 3 = 0. Let k = -40 + 70. Suppose 3*y + 0*y = k. Solve 0*j = b*j - y for j.
5
Let f be 5 + (-6 - -2) + 2. Suppose m - 2*r = 8, 40 = 3*m + r + r. Suppose -x + m = f*x. Solve 1 - x = i for i.
-2
Suppose -2*w - 5*f - 13 = 0, -6 = f + f. Let g = 1 - w. Solve g = -s + 4*s - 9 for s.
3
Suppose 0 = -6*r + 143 - 47. Solve 5*t = -r - 9 for t.
-5
Suppose -4*r - 9*r + 156 = 0. Solve -n - r = 3*n for n.
-3
Let c be (8/14)/((-2)/(-7)) - -3. Solve -6*s = -c*s for s.
0
Let t = 11 - 4. Solve -9 = -4*y + t for y.
4
Suppose -u - 95 = -6*u. Let q = 28 - u. Solve -3*b = -6*b + q for b.
3
Let y = 56 + -52. Solve k + y = -k for k.
-2
Let h = -55 - -19. Let d = -26 - h. Solve w = 6*w - d for w.
2
Let n = -22 + 26. Solve 24 = -4*j + n for j.
-5
Suppose k = -2*n - 0*n + 7, 4*n + 3*k = 13. Solve 0 = -n*f - 1 - 15 for f.
-4
Suppose 4*p + 5 = 5*p. Suppose 3*d + 5 - 32 = 0. Solve 0 = p*g + 1 + d for g.
-2
Let k be (20 + -4)*6/8. Suppose d + k = 2*d. Solve 0*m - 3*m + d = 0 for m.
4
Let w(t) = t**2 - 4*t + 1. Let v be w(5). Solve -v*q = -q + 5 for q.
-1
Suppose -3*t - 3*g + 6 = 0, 0 = -3*g - 11 + 2. Solve -t*m = -m for m.
0
Let f be (-6)/(-4) - (-1)/2. Let w be 2 - f - 2/(-1). Suppose -w*q + 10 + 2 = k, 0 = 5*k - 20. Solve q*s - 3*s - 2 = 0 for s.
2
Let s(r) = r**2 - 8*r - 16. Let a be s(10). Solve 2*x - x = -a for x.
-4
Let w = 0 - 19. Let a = -1 - 2. Let d = a - w. Solve -k = 3*k + d for k.
-4
Let m be 0 + 5 - (-11)/((-22)/4). Let n = -2 + -2. Let p be (n/m)/((-14)/21). Solve 0*r - 10 = p*r for r.
-5
Suppose -o + 30 = 4*o. Let t be 0*((-8)/o)/4. Suppose 3*f = -5*v + 17, t*f - 21 = -4*v + 5*f. Solve l = 3*l + v for l.
-2
Let k(b) = b**2 - 30*b + 57. Let t be k(28). Solve 4 = s + t for s.
3
Suppose 2*c = -3*t + 19, -3*t + 0*c = 4*c - 29. Solve t*w - w = -6 for w.
-3
Let v(o) = -o**3 - 9*o**2 + 22*o. Let t be v(-11). Solve t = g - 0*g - 2 for g.
2
Suppose 3*b = -h + 6 + 5, -2*b = 3*h - 5. Solve 0*j + j = b for j.
4
Let f be (-1)/((-2)/(-6)) + 5. Solve 4*m - f*m - 2 = 0 for m.
1
Let o = 6 - 6. Suppose o*p - 4*p = -32. Suppose 2*h + p = 6*h. Solve h*v - 2 = -0*v for v.
1
Suppose 4*t = -14 + 38. Solve -t = -3*m + 6 for m.
4
Le