-2*m, m - 5*j = -4*m + 35. Let w = -4 - -8. Solve 2 = m*f - w for f.
3
Suppose 5*z - 23 - 7 = 0. Suppose 0 = 4*q + 1 + 3. Let s be ((-2)/q)/(7 - 6). Solve -s - z = -2*a for a.
4
Let n be ((-12)/(-32)*-10)/((-3)/12). Solve c = 4*c - n for c.
5
Suppose -3*z = -z - 4. Suppose -3*o + 5 = -1, -b - 4 = -z*o. Suppose -q + 2*n = -0*q + 8, b = q + 2*n - 8. Solve q = -4*k + 8*k + 4 for k.
-1
Let q(z) = z**3 + z**2 - z + 22. Let l be q(0). Solve -4*i + 6 = l for i.
-4
Let l(q) = q**2 + q + 6. Let c be l(0). Let m = 27 - 40. Let d = -13 - m. Solve b - c*b + 10 = d for b.
2
Let y = -7 - -12. Let w be (-8)/(-1*2)*1. Let o(p) = p**2 - 3*p - 3. Let f be o(w). Solve y - f = 4*l for l.
1
Let a(f) = f + 7. Let q be a(-3). Suppose -5*o - q*c - 10 = -2*c, -2*o + c = -5. Suppose o = 3*n - 5 - 16. Solve 0 = 4*k - n*k for k.
0
Suppose -h = -5, 2*h - 5*h = -2*f - 9. Solve -f*q = -6*q for q.
0
Suppose t + 4*v = 3*v + 8, -2*v = -4. Let w be (8/(-10))/(t/(-15)). Solve w*h - 10 = -3*h for h.
2
Let c be -1 - 0/2 - -17. Let k be (0 - -2)*4*1/4. Solve -k*d - 2*d = c for d.
-4
Suppose 4*h - 25 - 3 = -b, 3*h - 46 = -2*b. Solve -3*f = f + b for f.
-5
Let k(j) = -j**2 - 7*j + 10. Let o = -40 + 22. Let s = o - -10. Let p be k(s). Solve -p*d - 5 = 1 for d.
-3
Let x(k) = k + 7. Let q be x(-7). Solve q = -4*o + 12 - 28 for o.
-4
Let c be (-580)/(-18) - 4/18. Suppose 0*x + 2*x = c. Solve 0 = 5*l + x + 4 for l.
-4
Suppose u - 10*n - 8 = -13*n, 0 = -4*n + 4. Solve -3 = -2*l + u for l.
4
Suppose -2*k - 4*m = -8, 8*k - 34 = 3*k + 4*m. Let c = -12 - -18. Let h be k/(-4) + 21/c. Solve 3*r - 14 = -h for r.
4
Suppose 3*y + 7 - 1 = 0. Suppose -4*r - 3 - 17 = 0. Let f be y/(-5) - 18/r. Solve 0 = 3*l + l - f for l.
1
Let j(i) = 2*i**3 - 4*i**2 - 9*i**3 - 6*i**3 + 3*i**2. Suppose 1 = -5*p - 4. Let y be j(p). Solve -2*g - 2*g = -y for g.
3
Let s be (3/2)/(6/16). Solve 19 = s*q + 7 for q.
3
Suppose o = j + 3*o + 6, -3*o - 12 = 0. Suppose 5*g + 9 = j*g + 3*d, d - 13 = -4*g. Let x be 3/9 - 11/(-3). Solve -x = -2*v - g*v for v.
1
Let d be (4 + -3)*2 + -2. Solve 4*k + d*k + 8 = 0 for k.
-2
Let w = 40 + -29. Suppose -w = -2*u + 3. Solve u*l - 4 = 6*l for l.
4
Let y be 21/12 + (-3)/(-12). Suppose y*g - g = 0. Suppose g = -4*o + 3*o. Solve 5*x + 0*x = o for x.
0
Let l = -9 - -12. Solve l*t - 5 = -2 for t.
1
Let k(r) = -5*r - 11. Let d be k(-4). Solve -3*n - d = -6*n for n.
3
Let z(n) = n**2 + 3*n - 5. Let a be z(-5). Suppose -3*p - 2 = -p + a*w, -p - 2*w = 0. Solve p = -0*j - 4*j for j.
-1
Let s = -3 + 7. Suppose -3*p + 61 = s*x, 0*p - x - 117 = -5*p. Solve -3*f + p - 8 = 0 for f.
5
Let z = -27 - -31. Solve -6*j = -5*j - z for j.
4
Suppose 0 = -22*b + 7*b + 150. Solve -5*r + 20 = -b*r for r.
-4
Suppose -3*t = -10 + 1. Let q = t + -3. Suppose 5*n - a + 20 = 4*a, 4*n + a - 4 = 0. Solve n = -o + 2 - q for o.
2
Suppose -4*d - 13 = 3*r - 0*d, 0 = 3*r - 5*d - 23. Let o be (-39)/(-3) + -1 + 3/(-3). Solve r = -3*z - o for z.
-4
Let z be 0*(-2)/(-4) - -36. Let n(r) = 2*r - 5. Let j be n(4). Suppose -c - 2*i = -2, -3*c + j*i + z = -i. Solve x + x - c = 0 for x.
4
Let f be (-6)/(-5 - (-2 + 0)). Solve -4*s = -f*s - 4 for s.
2
Let r = 4 - -1. Suppose 0 = 4*n - 2*j + 8, -j + 4 - r = 3*n. Let c = -1 - n. Solve 5*b - 4*b - 5 = c for b.
5
Let v = -53 + 54. Let f = 4 - 1. Solve -v = -f*g + 8 for g.
3
Suppose v = 3*r - 8, -3*r = -2*v - v - 6. Suppose 40 = 3*q + q + 5*x, 4*q = 5*x. Solve -r*n = -q*n - 2 for n.
-1
Let i = -38 + 88. Suppose s - i = -4*s. Solve d - 3*d = -s for d.
5
Let w(s) = 7*s + s**2 - 5 + 3 - 6. Let f be w(-8). Solve -8 = 4*n - f*n for n.
-2
Let h(u) = 2*u**2 + 22*u. Let r be h(-11). Suppose 4*l = 4 + 4. Solve -q - l + 1 = r for q.
-1
Let v(s) = s - 1. Let j(o) = -o - 4. Let f(m) = -j(m) + 5*v(m). Let p be f(1). Solve -2 + 7 = p*r for r.
1
Suppose -9 + 0 = -3*d. Suppose -d*t = t - 5*s + 14, s = 2*t + 4. Let z = t + 3. Solve 0 = n + z*n for n.
0
Let x(l) = 3*l**2 + l. Let i be x(1). Suppose i*n - n = 0. Let m be 4 - (0 - (-1 - n)). Solve m = -5*v + 28 for v.
5
Let t(j) = -2*j. Let r be t(1). Let m be (r - 3/(-2))*-30. Solve -2*w = w + m for w.
-5
Let c(v) = -10*v**2 + 2*v - 5. Let r = 2 + 2. Let h(p) = -19*p**2 + 5*p - 11. Let y(w) = r*h(w) - 9*c(w). Let x be y(-1). Solve -3*u + 2 + x = 0 for u.
5
Let y(x) = -4*x - 9. Let h be y(-4). Solve 0 = h*j - 3*j - 12 for j.
3
Let f = 9 + -7. Suppose 6 = 5*m - 9. Solve m = l - f*l for l.
-3
Let g = -73 + 77. Solve 0*d - 2*d = g for d.
-2
Suppose -2*x + 2 = -0*x. Let v = x - -8. Let z = v - 8. Solve -2*r = 9 + z for r.
-5
Let y be ((-1)/2)/(2/(-24)). Suppose -c = c - y. Suppose c*k = 4*k. Solve -2*l = -k*l - 8 for l.
4
Let m be 24/(-8) + 2*4. Solve -m*x + x + 12 = 0 for x.
3
Suppose -6*c = -3*c + 3. Let p be ((-3)/6)/(c/2). Let w(m) = -m**2 + 5*m + 1. Let o be w(4). Solve o = -3*k - p for k.
-2
Suppose -3*n - 2*n = -15. Suppose n*w = -2*w. Solve w = 4*h - 0*h + 8 for h.
-2
Let v(m) = -m**3 + 3*m**2 + m - 1. Let s be v(2). Suppose -s = -4*a + 15. Suppose 5*i - 27 = -3*q, 2*i + a*q = -0*i + 26. Solve -u + i = -0*u for u.
3
Let r(u) = -u - 2. Let h be r(-4). Suppose -2*y = 2*y - 12. Solve -y*b + 5 = h*b for b.
1
Let c = 176 + -260. Let k be (0 + c)*5/(-10). Suppose -4*z + 18 = -k. Solve -3*p - 3 = -z for p.
4
Suppose -3*h - 3*p = 2*p - 33, 0 = h - 4*p + 6. Let z = h + 1. Let f(x) = -x**3 + 10*x**2 - 27*x + 14. Let t be f(5). Solve -t*y - 9 = z for y.
-4
Suppose -3*s = -6 - 3. Suppose 21 = 4*h - 3*g, 0 = g + s*g - 4. Solve -i = i - h for i.
3
Suppose 4*h - 4 - 4 = 0. Let j = -15 - -7. Let d(c) = -c**3 - 7*c**2 + 9*c + 10. Let z be d(j). Solve 0 = h*k + z for k.
-1
Let i be ((-3)/(-15))/(4/10)*2. Solve 5 = -2*s - i for s.
-3
Suppose -5*c + 2*d = d + 89, c + 5*d + 23 = 0. Let l be 4/c - (-20)/9. Suppose 0*v - 4 = -l*v. Solve 8 = -v*f - 0 for f.
-4
Let v be (4 - -1)*4/5. Let y = 5 - v. Let j(r) = 3*r. Let u be j(1). Solve y = m + u for m.
-2
Suppose 6*r = 2*r. Suppose 4*f = f. Solve r = -f*z + z + 1 for z.
-1
Suppose 5*a - 9 = 1. Suppose a + 1 = o. Suppose -5*q - 4*s - 5 = 10, o*q + 5*s = -22. Solve n - 6 = -q for n.
5
Let g = -5 - -12. Let z = 87 - 82. Let v(t) = -t**2 - 6*t - 6. Let l be v(-4). Solve -g*h = -l*h + z for h.
-1
Let w(h) = -h**2 - 14*h + 10. Let t be w(-14). Solve m + t = -4*m for m.
-2
Suppose 4 = w - 1. Suppose -w*j = -59 + 14. Suppose -2*t + j = t. Solve t*y - 6 = y for y.
3
Let t be (1*4)/((-1)/(-1)). Let s be t/(-2) - -6 - 0. Let q(v) = -v. Let j be q(-4). Solve 2*i = s + j for i.
4
Let f(t) = -t**2 - 4*t + 3. Let d be f(-4). Suppose r = -d*r + 36. Solve x + 2*x = r for x.
3
Suppose 11*a - 9*a = 6. Solve -a*c = -2 - 7 for c.
3
Let y(j) = 7*j - 3*j - j**3 + 0 - 1 + 2*j**2. Let c be y(3). Suppose -5*w = 2*p - 14, -w - 4 = -0*p - 3*p. Solve -r + p*r - c = 0 for r.
2
Suppose 0 = -c - 6 + 2. Let r be (3 - (1 - c))/(-2). Solve 5 = -o + r for o.
-4
Let w(d) = 2*d + 4. Let i be w(-3). Suppose -k + 6 = 3. Let p = k - i. Solve -p*g = 6 - 1 for g.
-1
Suppose 2*w - 2*g = 12 + 2, -2*w + 22 = -4*g. Solve -w*l = -0*l for l.
0
Let k = -28 + 22. Let q be (-70)/(-30) + (-4)/k. Solve -q*i = 2*i + 25 for i.
-5
Suppose 10 + 6 = 4*c. Suppose 4*n - c = -0*n. Let g = 3 - n. Solve g*a = -3*a + 10 for a.
2
Let q = -6 - -11. Let x be 8/32 + (-14)/(-8). Let k be 33/5 + x/q. Solve k = -4*y + 3 for y.
-1
Let i(q) = -16*q + 6. Let p be i(-12). Let k be 4/14 + p/42. Solve -k*z = -0*z for z.
0
Let j(y) = y - 1. Let l be j(3). Suppose -q + l*q = 0. Suppose 0 = -q*c - 5*c + 25. Solve c*v + 10 + 5 = 0 for v.
-3
Suppose -4*u + 0*u = -8. Suppose 0 = -3*g + 2*k + 8, 3*g - g = 5*k - u. Solve 4 = -g*z + 24 for z.
5
Suppose -8 = q - 4. Let r = q - -9. Suppose r*u + 4 = 7*u. Solve -3*o = -1 - u for o.
1
Suppose 28 = 5*x - 2. Let n(v) = 2*v - 7. Let c be n(x). Solve -7 + 2 = -c*d for d.
1
Let b = -3 - -9. Suppose 4*f = -5*v + b*f + 12, v - 4 = 2*f. Let l be (-9)/15*(-5)/1. Solve -l*a + v = -a for a.
1
Suppose 3*a - 7*a + 8 = 0. Solve -y - 7 = -a for y.
-5
Let w be -1 - 0 - (-12)/4. Suppose -2*y - w*k + 6*k = -4, 5*k = 2*y - 3. Solve -4*d + y = -0 for d.
1
Let d(o) = o - 4. Let p be d(10). Let w = -2 + p. Solve -2*r = -2 - w for r.
3
Let s = 15 - 5. Let x = 2 + -1. Suppose y + 3 = k - x, 2*y + s = 3*k. Solve 0 = -0*p + p - k for p.
2
Let b(l) = l**3 - 2*l**2 - 3*l + 8. Let h be b(0). Solve g 