 6 = 0, 5*n + 2*c + 2 = c. Solve -3*s + 3 = -n*s for s.
1
Let f(v) = -6*v + 2. Let p be f(3). Let u = -11 - p. Let b = 8 - u. Solve 2*m + b*m = -25 for m.
-5
Let b be -1 - (-146)/5 - 256/(-320). Solve b*u - 31*u = 10 for u.
-5
Suppose -8*j - 42 = 30. Let g = j - -13. Solve 3*s + 13 = g for s.
-3
Suppose 0 = 4*g + 52 - 144. Let o = -23 + g. Solve o = 6*v - 2*v for v.
0
Suppose -24 = -2*u - 4*i, -4*i - 2 + 14 = -u. Suppose -2*b + 2*l = u - 6, 0 = b + 5*l - 19. Solve 3*c - 7*c = b for c.
-1
Suppose 2*q - 6*q = -12. Solve 4 = q*x + 1 for x.
1
Let m(a) = 104*a**2 + 5*a. Let z be m(-4). Let f be z/84 + 3/7. Solve 4*d + f = -d for d.
-4
Suppose -5*s - 4*o = -19, -4 = -3*s + 2*o + 3*o. Suppose s*z - 18 = 12. Let u be 2 + -1 + (12 - z). Solve -5*r + 18 = u for r.
3
Suppose 0*b = 11*b - 132. Let j = -2 + 4. Solve -h = j*h - b for h.
4
Let i be 12/18 - (-476)/6. Suppose 5*j - i = -5*q, 3*j = 7*j + 16. Solve -4*m = -9*m + q for m.
4
Suppose -9*u + 22 = 2*u. Let b(n) = -n**2 - 6*n - 1. Let t be b(-5). Suppose t*y = 2*s + 1 + 1, -u = -s - y. Solve -m - s = 4 for m.
-5
Let o = 32 + -29. Let f(c) = c**3 - 3*c**2 + 2*c - 3. Let p be f(o). Solve 4*h = p*h + 1 for h.
1
Let c = -64 + 64. Let i be -4 + (-12)/(-3) - c. Let z(m) = -m + 5. Let o be z(5). Solve j - 1 + o = i for j.
1
Let b = 993 - 979. Solve a - 15 + b = 0 for a.
1
Let u = -18 + 40. Let h = u - 18. Let y be 0/(2 + -7 + h). Solve 0 = -y*r + r - 3 for r.
3
Let q = -43 + 50. Suppose -q*v - 36 = -13*v. Solve -4*f = -v - 2 for f.
2
Suppose a + 0*i - 2*i - 54 = 0, 2*a + 3*i - 143 = 0. Suppose 4*t = 5*h + a, 7*t - 3*t = h + 16. Let v be 0/h - 16/(-2). Solve -3*l + v*l + 5 = 0 for l.
-1
Suppose -2*t + 6 = 0, -g = -3*g + 5*t - 73. Let m = g - -3. Let y = m + 30. Solve y*d + 4 = -0*d for d.
-1
Let j = -33 - -34. Suppose 0 = -2*b + s - 37, s = -2*b + b - 14. Let g = 21 + b. Solve -3*i + j - g = 0 for i.
-1
Let u be ((-18)/5)/(444/(-110) - -4). Solve -4*o - u = -79 for o.
-5
Suppose 5*c + z = 12, -3*c + 3*z = -0*z. Let v(i) be the third derivative of i**6/120 - 13*i**5/60 + i**3/2 + 7*i**2. Let d be v(13). Solve -d = c*k - 1 for k.
-1
Let l be (-2 + 3)*8/4. Solve 0 = -0*g - l*g + 4 for g.
2
Suppose d = 2*j - 29 - 25, 2*j = 6. Let k = d - -50. Solve -x - 1 = -k for x.
1
Let m(z) = z**3 + z**2 + 92. Let i be m(0). Let n = 53 + -16. Suppose i = 5*h + n. Solve h*x - 6*x - 5 = 0 for x.
1
Let n = -9 - -12. Suppose n*w = -w + 124. Let p = w + -26. Solve 3 = -p*c - 2 for c.
-1
Suppose -c + 0*c + 38 = -3*v, -3*c + 2 = -v. Let r = v - -17. Solve 0 = r*q - 19 + 4 for q.
5
Let u be 1 + -4 - (-1)/4*20. Solve -29*p = -30*p + u for p.
2
Let v = 11 + -46. Let k = -29 - v. Solve -2*j = j + k for j.
-2
Let p = -40 - -79. Suppose 37*c + 30 = p*c. Solve -4*x + 9*x = c for x.
3
Suppose 6*t + 30 = -0*t. Let v(c) = c + 3. Let i be v(t). Let l be (-10 + 10)/(i - 0). Solve l = 6*b - b + 20 for b.
-4
Suppose 5*u - 20 = 0, -y + 112 = -2*u + u. Suppose 2*q - y = 5*v, -3*q + 87 - 12 = -3*v. Let d = -21 - v. Solve -4 = -p + d for p.
5
Let i = 278 + 123. Solve -403*m + i*m = 8 for m.
-4
Let s = -3 + 0. Let a(m) = -m - 2. Let v be a(s). Suppose 0 = 5*t + 4*q - v - 4, t - q = 10. Solve 3*j + t = -2*j for j.
-1
Suppose -4*m + 9 = 5*q, -4*m + 2 + 4 = 2*q. Suppose 0 = 3*h - 3*n - 7 + q, 0 = -2*n. Solve -v = -h*v - 5 for v.
-5
Let w be ((-5)/2)/(7/(-14)). Suppose 5*x = 5*o - 85, -2*x - w*o + 10*o = 43. Let i = -13 - x. Solve 0 = -m + i + 2 for m.
3
Suppose 77*z - 73*z = 20. Solve -6*i = -z*i for i.
0
Let v = -161 + 168. Solve 22 + 13 = v*y for y.
5
Let p = -8 + 13. Let f be p - (0 + (-4)/1). Suppose i - 22 = -f. Solve 3 - i = 2*b for b.
-5
Let v(s) = s**3 + 13*s**2 - 6*s + 20. Let q be v(-13). Suppose -q = h - 100. Solve -h*u + 0 = 8 for u.
-4
Suppose 2*x = 4*x - 82. Solve -x*c - 20 = -37*c for c.
-5
Let s = 58 + -56. Solve -s*b - 14 = -18 for b.
2
Let j = 16 - -9. Suppose 0*n + 5*n = j. Solve n = -0*o - o for o.
-5
Suppose -25 = -51*j + 332. Solve -3*k - j + 13 = 0 for k.
2
Let q(f) = f**2 - 12*f + 243. Let b be q(25). Solve b - 548 = -4*p for p.
-5
Let q be ((-2)/(-5))/((-2)/(-15)). Suppose 2*v - 5*b - 20 = 0, q*v - b + 18 = 7*v. Solve v + 1 = -2*l for l.
-3
Let i = -1442 + 1455. Solve 9 = -i*a - 17 for a.
-2
Suppose -2 = -5*n + 3*n + 3*x, -2*n + 4*x = 0. Solve -16 = n*m + 4 for m.
-5
Let z(g) = -2*g**3 - 20*g**2 + 18*g - 37. Let h be z(-11). Solve -10 = 9*r - h*r for r.
-5
Suppose r + r - 2*z = 6, -5*r + 33 = 4*z. Let o be 1/(14/322) + -15. Solve r*b - 3 + o = 0 for b.
-1
Let b = 22 + -17. Solve b*x - 6*x = 2 for x.
-2
Suppose 3*z - 4*n = -9, 6*n = 3*z + 5*n. Solve 0 = -2*p + z - 11 for p.
-5
Let k(l) = l - 20. Let z be k(-15). Let x = -22 - z. Solve -4 = -3*d - x for d.
-3
Let b(d) = d**3 - d**2 + 2. Let n be b(1). Let l be 0 + (9/2)/((-9)/(-24)). Solve -t = n*t - l for t.
4
Let j be (4 - -8)*-2 + -3. Suppose -x = i + 24, 30 = -5*i + 3*x - 98. Let v = i - j. Solve 3 = -5*q - v for q.
-1
Let x be (-4)/(2*(-1)/2). Suppose 2*a = 5*k + 333, -451 = -3*a - 2*k + 39. Let m be 22/231 + a/42. Solve m + x = 4*f for f.
2
Suppose -33 = -b - 2*b. Suppose b*s = 12*s. Solve s = w - 2*w + 1 for w.
1
Suppose 80 = 7*c - 5*b, -3*c + 2*c = 5*b. Solve -c*t + 36 = 16 for t.
2
Suppose 6*o - 2*o = 8. Let g(i) = i**2 + 8*i - 9. Let j be g(-8). Let n be 4/(-6) + (-6)/j. Solve n = -3*r + r + o for r.
1
Suppose 2*d = 3*p + 15, 3*d + 5*p - 1 = -7. Solve 8 = 11*i - d*i for i.
1
Suppose a = 7*z - 3*z + 2, -2*a - z = -4. Suppose -11*d = -a*d - 36. Solve d*q = -q for q.
0
Let a(u) be the first derivative of -u**2 + u - 3. Let z be a(-3). Suppose -3*o - 4 = -4*o + j, 4*o - j - 13 = 0. Solve 4*d + z = o for d.
-1
Let k be (6/3 - 2)*1/(-2). Let c be k*(-4)/12*-3. Solve 2*b + b - 9 = c for b.
3
Let z = 62 - 53. Suppose z*q = 4*q + 15. Solve -t = q*t for t.
0
Suppose -177 = 5*l + 128. Let o = 67 + l. Solve -5*n + 3 = -o*n for n.
-3
Let d = 421 - 394. Solve 24*a = d*a + 15 for a.
-5
Let t(u) = 8*u**2 + 4*u - 2. Let h be t(3). Let a = h - 78. Solve 3*c + 10 = a for c.
-2
Let s be (-62)/(-8) + (-2)/(-8). Suppose -10*l = -6*l - s. Solve l*h = 3*h for h.
0
Let b = 0 - -9. Suppose -13*k = -15*k - 18. Let s = b + k. Solve 2*w = -s*w + 10 for w.
5
Suppose -3*n - 30 = -42. Solve -7 = -g - n for g.
3
Suppose 4*h + 22*x - 25 = 17*x, -2*h + x = -9. Solve -h*m - 4 + 24 = 0 for m.
4
Suppose 0 = -15*b + 17*b - 12. Suppose -2 = -b*x + 4. Let o be 4/(0 + (3 - x)). Solve -4*k - 2 = o for k.
-1
Suppose 252 - 228 = 3*f. Solve 0 = -2*b + f - 10 for b.
-1
Let s(d) = -2*d**2 + 6*d - 4. Let h(c) = c**2 - 5*c + 5. Let x(p) = -3*h(p) - 2*s(p). Let j be 6/9*30/(-4). Let u be x(j). Solve z + 0*z - u = 0 for z.
3
Let l = -466 - -471. Solve -10*t = -11*t - l for t.
-5
Suppose 3*a - 6*s + s = 5, 4*s = -4. Solve 5*h - 15 = -a*h for h.
3
Suppose -69*s = 109*s - 712. Suppose 5*l = -3*q + 51, 2*q = -l - 3 + 9. Solve 0*d + s*d = -l for d.
-3
Let b(p) = -175*p - 1388. Let g be b(-8). Solve -g = -4*y - 4 for y.
2
Let c(n) = -n + 6. Let u be c(6). Suppose -4*o + 48 = -u*o. Solve 0 = 4*f + 8 + o for f.
-5
Let q(r) = 12*r**2 + 15 - r**3 - 4*r**3 + 4*r**3 - r. Suppose -3*c + 3*u = 5*u - 40, -6 = -3*u. Let x be q(c). Solve 0 = -x*j - 0 - 3 for j.
-1
Let d = -1 - -3. Suppose -u - 2 = -3. Suppose 4 = s + u. Solve -2*w = -s*w + d for w.
2
Let d be (-1)/(-2) - (-35)/14. Suppose -2*t = 4*j - 4, 2*j - t = d*j. Solve -j*x = 2*x - 4 for x.
1
Let a(o) = o**2 + 8*o - 10. Let v be a(-10). Let x(s) = 3*s + 13. Let r be x(-7). Let w = r + v. Solve 9 = t + w*t for t.
3
Let n be 41 - 1*(-5)/(-5). Let l = -34 + n. Solve 0 = -2*v + 5*v - l for v.
2
Suppose 3 - 33 = -5*a. Let f be (2 - 2)/(a - 3). Solve f = -g - 6 + 3 for g.
-3
Let f(a) = 10*a**2 - a. Let s be f(-1). Let i(b) = -b**3 + b**2 + 2*b + 1. Let y be i(-1). Let r = -142 - -144. Solve r*j = -s + y for j.
-5
Let s(i) = -4*i - 22. Let z be s(-9). Let w = z + -10. Solve w*l = 2*l + 6 for l.
3
Let z be (-1330)/(-126) + (-8)/(-18). Solve z*f + 72 = 17 for f.
-5
Let k = -779 + 786. Solve -2*p = -k*p - 15 for p.
-3
Let m = 16 - 18. Let b be 2 + m + 4 + -2. Solve 6 - b = 2*a for a.
2
Suppose 3*x = 5*z - 78, -z + 5*x = 2*z - 50. Let d be 2/(-13) - z/(-13). Let m be (-58)/(-4) - 21/14. Solve 0 = 4*y + m - d for y.
-3
Let o be 0/(-1) - -2 - -1. Suppose -2*x = 3*s + 1, 4*s - o*x = s + 24. L