= j for i.
-1
Let c be -5*(-1 + 22/10). Let w = -6 - c. Solve w*m = 3*m + 6 for m.
-2
Let p be 3/1 + -1*1. Let h = 5 - 2. Let x = 1 - -1. Solve -p*m = -h*m + x for m.
2
Let v = 20 - 18. Suppose -40 = -5*h - b, -h + 4*h - 37 = v*b. Solve 2*i = -3 + h for i.
3
Let z be (-2)/8 + 17/4. Suppose 2*r = -5*s + 15, 5*r + 6 = 2*s + 2*r. Solve -n + z = s*n for n.
1
Suppose -4 = 4*i + 4. Let w = i - -2. Let n = w - -2. Solve c - 2 = n*c for c.
-2
Suppose 17 = -2*x + 59. Suppose -x = -3*f + 5*m, 0 = -5*f + 4*m + 33 + 2. Suppose -4*s - 6 = -3*r, 3*r - r = -5*s + 4. Solve f*y - r*y = 0 for y.
0
Let p(k) = -k + 1. Let m(u) = -7*u. Let d(f) = -m(f) + 6*p(f). Let r be d(-6). Solve -4*l + l = r for l.
0
Suppose 0 = -5*b - d + 48, 2*b - 4*b + 21 = d. Suppose -2*v + b = v. Solve -v*s - 4 = -7*s for s.
1
Let x be -8 + 5 - 3*-1. Suppose x = 6*h - 4*h. Solve h*m = -m for m.
0
Suppose 3*o - 3*t + 5*t + 10 = 0, -5*t - 25 = 0. Suppose j - 3*j + 18 = o. Suppose 2*r - 4*r + v = -j, -3*v = 5*r + 5. Solve d = r - 7 for d.
-5
Suppose 0 = 4*r + p - 2*p - 18, 3*p + 6 = 0. Let v = -3 + r. Let a be (0*(-3)/(-6))/v. Solve a*w = -w for w.
0
Let a(d) = 4*d**3 - 10*d + 1. Let h(i) = -i**3 - i**2 + i - 1. Let j(o) = -a(o) - 5*h(o). Let s be j(-3). Let q = -5 + s. Solve -m + 2 = -q*m for m.
-2
Let a be (-7)/(14/(-8))*-1. Let o be (a - -4)/(1 - -1). Let u = -6 + 8. Solve o = -l + 1 - u for l.
-1
Suppose 3*o - 6*o - 24 = -3*i, 3*o + 28 = 5*i. Let d(b) = b**3 + 6*b**2 - 2*b - 9. Let y be d(o). Solve -3 = -y*x + 12 for x.
5
Let n = 2 + 2. Let y = 25 + -14. Let k = y - -1. Solve -2*j + k - n = 0 for j.
4
Suppose k - 34 = -4*j - 8, 5*k = 5*j - 20. Suppose -j*x + x = -35. Solve -5*g + x = -3 for g.
2
Let y(q) = -3*q + 18. Let s be y(6). Solve -4*t + s*t = 12 for t.
-3
Let x = 8 + -1. Solve x + 1 = 4*w for w.
2
Let i(r) = -r**3 - 5*r**2 + 3*r - 3. Suppose 0 = -5*b - o - 27, b = -5*o - 0 + 9. Let p be i(b). Let n be (-1 - (-2)/1)*5. Solve 5*a + n = -p for a.
-4
Let o = 178 + -175. Solve 3*j + o = 6 for j.
1
Let u(i) = -i**2 + 3*i + 2. Let f be u(2). Suppose 3*m + 2 + 7 = 0. Let y be 0 + 2/m*-3. Solve -y*q = -f*q for q.
0
Let u = -10 + 17. Let n = -9 - -15. Let x be (-4)/n - 26/(-3). Solve 5*k = x + u for k.
3
Let o be 2/(-6)*(-21 + 0). Solve -4*q + o*q = 0 for q.
0
Let n be 23/(-4) + 1/(-4). Let m be n/4*28/(-21). Solve w - m - 2 = 0 for w.
4
Suppose 0 = -0*h + 5*h. Solve h*g = -g - 4 for g.
-4
Let m(l) be the first derivative of -l**4 + l**2 + l - 2. Let t be m(-1). Solve 7*z - t*z = -8 for z.
-2
Let v(i) = i**2 - 4*i + 4. Let t be v(2). Solve 2*w + t = -2 for w.
-1
Let d be (-178)/(-15) - (-20)/150. Solve 0*w + 4*w = -d for w.
-3
Let z(n) = n**3 - 6*n**2 + 5*n. Let w be z(5). Suppose -5*j = -3*j - 4*g - 4, 2*j + 5*g - 4 = 0. Solve w*u = j*u + 4 for u.
-2
Let j be (-1)/(-2)*-2*-2. Let r be 24/j + 3/1. Solve -4*n - r = n for n.
-3
Suppose -4*k - 5*a + 10 = -2*a, 0 = 2*a + 4. Solve -2*y + k = -2 for y.
3
Suppose -3*y + 0*y = 3. Let f(b) = -b**3 - 2*b**2 + 1. Let u be f(y). Solve u = -2*d - 2*d - 20 for d.
-5
Let b(h) = -h**3 + 6*h**2 - 4*h - 5. Let y be b(5). Solve -d + 2*d + 3 = y for d.
-3
Suppose z = 2*z - 2. Let n be 1*(15 + 1 + -1). Let g be (-3 + 1)/((-2)/n). Solve 3*d - g = -z*d for d.
3
Let t = -6 - -10. Suppose t*r + r = 0. Solve -j = -r*j for j.
0
Suppose -7*c + 8 = -3*c. Let l be (-1 + (1 - 0))/(-1). Let r = c + l. Solve r*g + 3 = g for g.
-3
Let v be 2 + ((-6)/(-1))/(-3). Suppose 0 = -v*k - k. Let c be 2 - 0 - (0 + k). Solve 4*b = -c - 10 for b.
-3
Suppose -1 = -2*t + 7. Solve -a = t*a for a.
0
Suppose -7*s + 14 = -0*s. Solve 5*a + s = 6*a for a.
2
Let q(n) = -2*n**2 + 40*n + 5. Let f be q(20). Solve -f*x + 15 = 5 for x.
2
Suppose 5*k - 1 = 4. Let b be 4/6 - (-20)/6. Suppose -5*o - 5 = 5*i, 0*i - 4*i - 7 = 3*o. Solve -o*g = -b + k for g.
1
Let c(l) = l**2 + 7*l + 2. Let z(g) = -3*g**2 - 15*g - 4. Let w(q) = 5*c(q) + 2*z(q). Let s be (-4)/(-10) - (-46)/10. Let u be w(s). Solve a = u - 3 for a.
-1
Let d = 78 - 78. Solve d = -2*t + 4*t - 8 for t.
4
Let o = 88 + -83. Solve 2*c - o = 3 for c.
4
Let a(c) = -c - 1. Let y be a(-1). Let i(j) = j**3 - 3*j**2 - 3. Let s be i(4). Let g = s + -10. Solve y = x - 4 + g for x.
1
Let r = -12 - -12. Solve -5*s + s = r for s.
0
Let g(q) = -13*q - 17. Let a be g(-2). Solve 5*y = -11 - a for y.
-4
Let m(x) = 8*x**2. Let v be m(-1). Suppose -2*p + 10 + v = 0. Let w = 10 - 7. Solve w = -3*k - p for k.
-4
Let j be (-2)/(-6) - (-550)/33. Let b = j + -1. Solve b = 2*t + 6 for t.
5
Let i(o) = -o**2 - 8*o - 6. Suppose -5 = 5*x, 2*x = -0*v + 2*v + 10. Let k be i(v). Let b = k - 1. Solve -b*j + 6 = 31 for j.
-5
Let p(b) = b**3 - 10*b**2 + b - 10. Let f be p(10). Let v = f - 0. Solve v = -2*i - 0*i + 6 for i.
3
Let g(m) = -m**3 + 10*m**2 + 12*m - 8. Let p be g(11). Solve 0*j = p*j + 6 for j.
-2
Suppose 11*g = 1 + 21. Suppose -18 = -4*n + 6. Solve g*l = n*l for l.
0
Let c be ((-1)/5)/((-3)/15). Let q = c + 2. Solve -5*o - q - 7 = 0 for o.
-2
Let k be (-5)/3 + (-1)/3. Let i = 4 - k. Solve -2*z = -i*z for z.
0
Suppose 2*c + 18 = -h - 2*h, 7 = -5*c + 2*h. Let r = c + 7. Solve t = -r + 1 for t.
-3
Let t(n) = 0*n - 3 + 6*n - 4*n. Let d be t(4). Solve -d*m + 2*m = -9 for m.
3
Let p = 52 - 47. Solve -n = -p*n - 20 for n.
-5
Suppose 126 = 5*w - 4*z, 0*w + 2*z + 74 = 3*w. Let c be 145/(-15) + (-1)/3. Let m = c + w. Solve j - m = 5*j for j.
-3
Let i(o) = 3*o**2 + 12*o. Let a be i(-4). Solve -2 + a = u for u.
-2
Suppose -4*j - 2*t = -t - 10, t = -2*j + 4. Let w(y) = y**2 + y - 4. Let r be (6/(-4))/((-6)/16). Let s be w(r). Solve -s = d + j*d for d.
-4
Suppose 43 = -3*l + 106. Suppose -14 = -4*t + 2*x, -3*t + 4*x + 13 = -0*x. Solve l = t*m + 6 for m.
5
Suppose 0 = -6*n + 3*n. Solve n = 4*s - 0*s + 12 for s.
-3
Suppose -u + 4*f = 10, -4*u - 5*f - 1 = -3. Let z be (12/(-4))/(3/u). Let d = -2 + 6. Solve -z - d = -3*y for y.
2
Let f be (0 - -1)/(6/(-270)). Let n be f/6*20/(-6). Solve -k - n = 4*k for k.
-5
Let c be (8/(-6))/((-2)/9). Solve 3*h = c*h for h.
0
Let n = -8 + 12. Suppose 5*z = -4*m + 32, -8*z - 2*m = -n*z - 22. Solve 2*j + z = -2 for j.
-3
Let s be 3 + 3 + 15/(-3). Solve s = -q + 4 for q.
3
Suppose s - 6 = -2*s. Suppose 3*r = s*r + 2, 4*r + 1 = 3*k. Solve k*l + 3 = 2*l for l.
-3
Let x = -89 + 102. Solve -x*z - 3 = -10*z for z.
-1
Suppose 0*i = -i + 3. Suppose -4*v - 5*l = -13, v - i*l - 1 = -2. Solve 0 = -v*x - x for x.
0
Let p be (-4)/6 + (-32)/(-12). Solve -p*t = -0 + 8 for t.
-4
Let n = 26 + -21. Solve -n*r - 11 = 9 for r.
-4
Let z = 8 + -8. Suppose -5*k + 3*k + 6 = z. Solve k*f = 2*f for f.
0
Let i = 26 - 18. Suppose -3*v = 2*f - i, -5*f + 1 = 3*v - 1. Solve 5*p + v = -1 for p.
-1
Suppose -5*u + 4 = 3*i, -2*u - u - 6 = -i. Let p be (-9)/(u + 3 + -1). Let n = p + 11. Solve 7*j + 20 = n*j for j.
-4
Let b = -28 + 16. Let n = b + 14. Solve -n*c = -c for c.
0
Let k(b) = -b**2 - 8*b + 2. Let j be k(-8). Let u(c) = 2*c**2 - 6*c. Let n be u(4). Let z = -5 - -10. Solve z*y + j = -n for y.
-2
Let u = 9 + -11. Let j be u/(-6) - 16/(-6). Solve 8 = -5*k + j*k for k.
-4
Suppose -3*s - 3*p + 69 = 0, -2*s - 4*p = -6*p - 66. Solve 5*t = 8 - s for t.
-4
Let y be 3/(-15) + (-138)/(-15). Solve -w = 2*w - y for w.
3
Let b(o) = o**2 - 3*o - 4. Let p be b(4). Suppose -3*h - 3*d + 5 = 2*h, p = -5*h + 2*d + 30. Solve h*k = -18 - 2 for k.
-5
Let r = -5 + 10. Suppose r*d + h = -3 + 6, 0 = d + h - 3. Suppose 2*x - 4 = 0, 5*x - 22 = -5*o + 28. Solve d = -0*b + 2*b - o for b.
4
Suppose -3*t = -4*m - 5, -m - 7 + 20 = 4*t. Let q = 5 - t. Solve -3 = -5*a + q for a.
1
Let m(y) = -y**2 + 3*y. Let h be m(1). Solve 2*q - h = 3*q for q.
-2
Let q = 3 - 1. Solve 2*o + q = -0 for o.
-1
Let d(m) = -m**3 + 7*m**2 - m + 7. Let p(z) = z - 10*z**2 + z**3 - 2*z**3 - z - 3 - z. Let a be p(-10). Let h be d(a). Solve -1 = -k - h for k.
1
Suppose -2*m = -n + 2*n - 7, -18 = -5*m - 2*n. Suppose m - 2 = x. Solve a = -1 + x for a.
1
Let w = 159 + -156. Solve -w*c = -4*c - 5 for c.
-5
Suppose 17*c - 72 = -7*c. Solve 6*u - c*u = -9 for u.
-3
Suppose -3 = -3*r + 6. Suppose 3*a - 4*s + 20 = -0*a, 10 = -r*a + 2*s. Solve a*g - g = -4 for g.
4
Let r = -26 - -46. Suppose -2*s - 4*k = -4, r = 4*s - 7*k + 3*k. Solve -2*g = -4*g + s for g.
2
Let b be 8/3*(-15)/(-10). Suppose 3*z = -k + 9 + 14, b*z - 20 = 4*k. Solve -3*q + z