). Suppose w*s - 3*u - u - 2 = 0, -3*s - 4*u = -10. Solve -2*c + 12 = s*c for c.
3
Let i be 1/(((-17)/2)/(-17)). Solve 7*h = i*h + 15 for h.
3
Suppose 0*s - 46 = 2*s + 5*q, 3*s - q + 52 = 0. Let p = s - -15. Let g be -1*(-2)/p*-3. Solve 6*a - g*a = 12 for a.
3
Suppose 14 = -y + 16. Suppose 7 - 17 = -y*g. Solve 2 = -g*m - 18 for m.
-4
Let n = 65 - 61. Suppose 0*t + n = t. Solve -3*o - 2 = t for o.
-2
Suppose 0 = 4*b + 8 - 4, 0 = 2*k + 4*b - 18. Let q = k + -8. Solve q = -d + 1 for d.
-2
Suppose -2*r = -5*i - 26, 3*r - 3*i = r + 18. Suppose 0*l = r*l - 12. Let p be (-259)/(-91) - l/(-26). Solve -4 - 2 = -p*o for o.
2
Let s(h) = h**2 + 6*h - 346. Let r be s(-22). Solve r*v + 12 + 12 = 0 for v.
-4
Suppose 1428 + 204 = 34*w. Solve 24 = -8*j + w for j.
3
Let c(d) be the third derivative of -d**4/24 + 7*d**3/3 + 13*d**2. Suppose -2*u = -7 - 17. Let h be c(u). Solve 5*z + 15 = h*z for z.
-5
Suppose 5*o + 4 = -2*u + 13, 8 = 5*u - 2*o. Solve u*f - 6 = -4 for f.
1
Let z = 387 - 371. Solve 13*n = z*n - 3 for n.
1
Suppose 0 = -3*o - 0*o. Suppose -3*r - 3*n + 111 = 0, -212 = -4*r + n - 49. Suppose -s = -6*s + r. Solve o = 3*y - y + s for y.
-4
Let v = -1 - -1. Suppose -3*o = 3*x - v*x, 0 = 3*x. Solve o*k + k = 4 for k.
4
Suppose 0 = -0*o - 5*o + 45. Let f = o + -1. Let g be -4*((-765)/68 + 10). Solve g*m - f - 7 = 0 for m.
3
Let i = 16 + -13. Suppose 0*b - 2*b - 4*f = -34, -b + f + 8 = 0. Solve i*z + b = 2 for z.
-3
Let h be (3/5)/((-5)/(-25)). Suppose -3 = h*f - 9. Suppose 3*r - 30 = -5*n - 2*r, 4*n - 4*r + 8 = 0. Solve -n = -u + f for u.
4
Let l(p) = 18*p - 19. Let z be l(2). Solve 0 = -5*h - z - 8 for h.
-5
Suppose 4*y + 30 = 3*g, 2*g = -2*y - 2 + 8. Let w(v) = 4*v**2 - 37*v + 12. Let o be w(9). Solve -o*b = -b - g for b.
3
Let g(z) = -15*z**3 + z**2 - 2*z - 2. Let v be (-6)/4*(-34)/(-3). Let a = -18 - v. Let f be g(a). Solve 1 = 5*r + f for r.
-3
Let a(c) = -2*c - 2. Let x be a(-1). Suppose 0 = 5*r - x*r - 60. Solve 3*o = -0*o + r for o.
4
Suppose -4*p + 20 = -0*p. Let b = -17 + p. Let w be 2/4 - 54/b. Solve 0*d = w*d + 20 for d.
-4
Suppose 4*j = -4*c, -j = -2*c - 4*j. Suppose -2*i + 2*h + 10 = c, 2*i - 5 = i - 2*h. Suppose -5*f = -i*g, 5*g = -3*f - 2*f + 40. Solve q + g = 2*q for q.
4
Suppose 6*g - 69 = 21. Solve -11*q = -g*q for q.
0
Suppose -20 = -3*s + 1. Let w(k) = -k**2 + 7*k + 10. Let m be w(s). Let o = 11 - m. Solve -o = -c + 2*c for c.
-1
Suppose -4*k + 28 = -4*v, 12*k + v + 13 = 15*k. Let c = 5 + -3. Suppose 5*q = c*d + 2 - 9, q - 19 = -3*d. Solve l = -k + d for l.
3
Let s = -462 - -478. Solve -3*w + 7*w - s = 0 for w.
4
Let y be 2*(-6)/4*-1. Suppose x - 46 = 5*f, 2*x = 355*f - 352*f + 36. Solve -x + 15 = y*w for w.
3
Let a be (-385)/(-45) + (-4)/(-9). Solve -33 = 2*p + a*p for p.
-3
Suppose 0 = 4*o - 3*o + 4*t - 11, -5*t + 18 = -3*o. Let c be ((-48)/(-18))/(o/(-3)). Suppose -4*b = -12 - c. Solve 5*r = 15 - b for r.
2
Suppose -2*m = 2*m - 8. Suppose 15*u - 7 = 38. Suppose -u + 22 = 3*k - 4*w, 5*w + 15 = m*k. Solve -2*p + p + k = 0 for p.
5
Let b be (-2*(-6)/24)/((-1)/(-10)). Suppose 0 = -z + 7 - b. Solve -z*x = -3*x for x.
0
Suppose -4*b - v = -2*v - 7, 3*v - 27 = -4*b. Solve -21 = -4*w - b*w for w.
3
Let q = -372 + 378. Solve 0 = -q*p + 2*p - 4 for p.
-1
Let r(y) = -5*y - 10. Let b be r(-14). Suppose o - 5*u = -o + b, 3*o - 5*u = 80. Suppose -o = -s - s. Solve 9*n = 4*n + s for n.
2
Let u(y) = -y**3 + 6*y**2 + 9. Let x be u(6). Suppose 0 = 5*p - x - 6. Solve -p*z = -0 + 9 for z.
-3
Let b be -100 + 96 + (0 + 0 - -25). Solve 2*t = -25 + b for t.
-2
Let t = -22 + 25. Let i be -1 - 3 - t*-2. Solve y - 2*y = -i for y.
2
Let x(m) = m - 3. Let z be x(6). Let g(i) = -198*i - 788. Let a be g(-4). Solve a = k - z*k for k.
-2
Let u be 5/15 - 17/(-3). Solve u*j - 2 - 10 = 0 for j.
2
Let k = 123 - 147. Let f be k/(-13) - (-6)/(-234)*-6. Solve 2 = -f*v + 4*v for v.
1
Let z = -28 - -43. Suppose -d = 9*d + 7*d - 34. Solve -5 = -d*q - z for q.
-5
Let d be ((-1)/1*2)/(-2). Let a(u) = u - 1. Let l(r) = -3*r + 9. Let t(s) = d*l(s) + 5*a(s). Let y be t(3). Solve -4*n + 9*n = y for n.
2
Suppose 4*x = -0*x - x. Let i be (2/(-6))/(2/(-36)). Let p be ((-16)/6)/(i/(-9)). Solve s + p + 1 = x for s.
-5
Suppose -k + 22 = 4*o - 2*o, -4*k - o + 123 = 0. Suppose -4*h - k = -2*x, -4*h - 44 - 8 = -3*x. Solve 3*t = 8*t - x for t.
4
Let d(s) = s**2 - 35*s - 68. Let o be d(-2). Solve 0 = -o*u + 73 - 103 for u.
-5
Suppose 6 = 3*l - 5*l. Let i = -6 - l. Let u(k) = -k**2 - 4*k - 3. Let a be u(i). Solve -j + a = -1 for j.
1
Suppose 0 = 2*l + 73 - 77. Solve -l*x = -x for x.
0
Let x(g) = g**2 - 2*g**3 + 3*g**3 - g**2 - 9*g**2 - 12*g + 12. Let o be x(10). Let n be (-27)/(-12) + 2/o. Solve 2*s - 12 = -n for s.
5
Suppose -26*n + 30*n = 4. Solve -3*j - 7 = -n for j.
-2
Let d = 4 - 4. Suppose 5*x + d*x - 30 = 0. Solve x = -2*a + 2 for a.
-2
Let u be (30/8)/((-1)/(-4) - 0). Let h = 1 - -2. Suppose -3*x = 4*a, -6*x + 25 = -2*x - h*a. Solve x*g - 3 = -u for g.
-3
Suppose 2*q + 20 = 3*q. Let v = q + -14. Suppose -2*z + z + v = 0. Solve 2*n + 8 = z*n for n.
2
Suppose 3*w - 31 = -5*g, 3*g + 18 = 3*w + 3. Let d be (-4)/28*-38 - 3/w. Solve d = -10*a + 5*a for a.
-1
Let y(s) = 17*s - 4 + 13 + s**2 + 9. Let p be y(-16). Let o(n) = n**2 - n - 1. Let z be o(-1). Solve -3*a + p = -z for a.
1
Suppose -13*m + 33 + 84 = 0. Suppose -5*p - 2*x + 112 = 0, -2*p + 0*x + 42 = -2*x. Let w be 10/(-25) - p/(-5). Solve w*n - m = n for n.
3
Let u(d) = d - 7. Let p be u(11). Suppose 3*w = 3*l - 45, 0 = -w + 2*l - 3*l - 25. Let a be (-4)/w + (-2)/10. Solve 0 = -2*v - a*v - p for v.
-2
Let i be 7/(7/10)*-1. Let k(y) = 0*y - y - 16 - y. Let a be k(i). Solve f = -a*f for f.
0
Let y(m) = -6*m + 21. Let w be (-5 - -4)*(-2 - (-3)/(-3)). Let t be y(w). Solve -4 = t*j - 1 for j.
-1
Suppose -2*y = -4*y - 2. Let j be ((-8)/(-10) - 0)*(-5)/2. Let c be (y + j)*1 + 5. Solve 0*m + c*m = 4 for m.
2
Let i(o) = 3*o**3 - o**2 + 4*o - 3. Let l be i(1). Suppose 0 = 2*j + l*j. Solve j*s - 2*s = 0 for s.
0
Let h be (-60)/16*(-96)/18. Solve -15*c + h*c = 15 for c.
3
Suppose 0 = -23*a - 3 + 3. Solve m - 12 + 7 = a for m.
5
Let k(v) = -v + 7. Let w = -4 + 7. Let z be k(w). Solve -z*m + 5*m - 1 = 0 for m.
1
Suppose 20*v = 25*v. Suppose -7 = 2*q + 3*m, v*q + 3 = 2*q + m. Suppose q*p = -0*p. Solve -5*u = -p*u - 10 for u.
2
Let w be (14/(-2) + 5)*-4. Let d be 1/3*(1 - -17). Solve -2*g - w = -d*g for g.
2
Let p = 395 - 392. Solve p*o - 20 = 7*o for o.
-5
Let j = -54 - -44. Let w be ((-24)/(-20))/((-4)/j). Solve -w*g = 5 + 10 for g.
-5
Let p = 39 - 34. Suppose -3*a + 16 = -4*c, a - 3*c - 12 = p*a. Solve 0*s + 2*s - 10 = a for s.
5
Let d be (-4 - (-1 + 2)) + -3. Let g = d + 14. Let y(r) = -r**3 + 5*r**2 + 6*r + 3. Let u be y(g). Solve 5*v - u + 28 = 0 for v.
-5
Let q = -334 - -344. Solve -8 = 8*s - q*s for s.
4
Suppose 284*q + 663 = 297*q. Solve 53*o = q*o + 4 for o.
2
Let n(m) = 17*m + 109. Let q be n(-6). Solve q*d = 5*d for d.
0
Suppose -23*h + 838 + 358 = 0. Solve 0*a - 13*a - h = 0 for a.
-4
Let o = 11 + -6. Let v(u) = u**3 + 6*u**2 - 3*u - 16. Let r be v(-6). Solve 12 = r*j - o*j for j.
-4
Let t(f) = -3*f + 22. Let r be t(8). Let y be 10*(9/(-27))/(r/3). Solve -2*p = -y*p - 6 for p.
-2
Let d be (1/4)/((-7)/(-28)). Let g be (d - 7)*4/(-6). Suppose 20 = g*t, p - 11 = -0*t - t. Solve 20 = p*h - 2*h for h.
5
Suppose 2*y = -5*i - 51, 2*y = 4*i - i - 11. Let o = -11 - y. Solve w = -0*w - o for w.
-2
Let j = -1160 - -1172. Suppose l - 6 = -4. Solve -q + j = l*q for q.
4
Let a be 4 - 3/5*5. Suppose 2*s + 23 = 5*o, -3*o - s - a = -2*o. Solve -3*x = o - 12 for x.
3
Let p(g) = -13 - 42*g + 4*g**2 + 38*g - 14 - 3*g**2. Let j be p(8). Solve -y = -0 - j for y.
5
Let q be 28 - 6/(-8)*-4. Suppose -5 = k - q. Solve w + k = -3*w for w.
-5
Let d = 3 + -1. Let x = 61 + -62. Let r be 2 - 0 - (x + 0). Solve d = 5*l - r*l for l.
1
Suppose 2*s + 3*c - 17 = 0, -5*c + 3 = -s - 8. Suppose 0 = -a + 5*q + 8 + 12, -2*a + s*q = -22. Suppose 0 = 2*v - a*v. Solve -2 = 2*b - v*b for b.
-1
Let z = -5 + 6. Let f(j) = 5*j**2 + 2*j - 1. Let g be f(z). Suppose -5*d + 9 = -g. Solve -d = 4*u - 11 for u.
2
Suppose 2*v = -4*l + 6*v + 32, -4*l + 2*v = -28. Solve -5*j = j + l for j.
-1
Suppose 9*i = 12*i + 39. Let w be 3 + i + 2 + -2. Let t = 12 + w. Solve -4*r + t = -6 for r.
2
Let