ve 0 = t*s + 3*s + 24 for s.
-4
Let k = 553 + -526. Solve -7*w = k - 6 for w.
-3
Let q be 5*(-5)/((-100)/8). Suppose q*k - 3*t - 19 = 2*t, 2*k + 5*t = -11. Solve f + 5 = k for f.
-3
Suppose 6 = 15*o - 12*o. Let k(c) = c - 12. Let z be k(12). Solve o*f + 2*f + 20 = z for f.
-5
Suppose -g + 0*g + 23 = 0. Let s = g - 23. Solve 0 = -s*o - 5*o + 20 for o.
4
Let f(v) = -v**3 + 12*v**2 - 12*v + 17. Let r be f(11). Suppose a - 15 = -5*q + r*a, -3*q - 3*a = -15. Solve -3*u = -q - 5 for u.
3
Suppose 7*c = 144 - 123. Solve 0 = c*s + 31 - 40 for s.
3
Suppose 3*d + 17 = 2*p, -p + 4*d = 2*p - 24. Let f be ((-6)/4)/(3/p). Let r be (-10)/f + (0 - -3). Solve 3*o - r*o - 15 = 0 for o.
-3
Suppose -n + 3*k - 10 = -0*k, 2*n + 2*k - 20 = 0. Suppose 0 = -5*p + 2*f + 100, -5*p + 5*f + n = -110. Solve p = -4*i - 2 for i.
-5
Let r(o) = 4*o**3 - 9*o**2 - 12*o + 8. Let s(n) = 5*n**3 - 10*n**2 - 13*n + 8. Let d(j) = -4*r(j) + 3*s(j). Let g be d(7). Solve 4*b + g = b for b.
-2
Let l be (12/(-10))/(2 - (-24)/(-10)). Suppose l = -10*t + 73. Solve -3 + t = g for g.
4
Let a be (10/(-2))/(-6 + 10 - 5). Solve a = -4*z - 7 for z.
-3
Let t = -13 - -19. Let g = 4 - t. Let p = 5 + g. Solve w = -0*w - p for w.
-3
Let d be (4/(-3))/(2/(-21)). Let n = -11 - d. Let c be ((-18)/10)/(5/n). Solve 3 = -2*j + c for j.
3
Let u be (0/(-1))/(-46 - -45). Solve 5*h - 4 + 9 = u for h.
-1
Let i(g) = g + 4. Let m be i(0). Let z be ((-28)/42)/((-2)/18). Suppose -z*r - 66 = -66. Solve -m*l + r*l = -8 for l.
2
Let l(v) = -3*v - 73. Let t be l(-26). Solve 0 = -r + 9 - t for r.
4
Suppose -21 = -2*i - 5*i. Suppose 0*o + o = 4. Suppose 0 = k + o*k - 60. Solve 6*r + k = i*r for r.
-4
Let d(x) = -x**2 - 12*x + 5. Let j be d(-12). Suppose t + g - 23 = 5*g, j*g = 3*t - 34. Suppose -t*f - 2 = -32. Solve -3*b - 2 = f for b.
-4
Let l = 232 - 221. Solve -7 = -w - l for w.
-4
Suppose 37 = -3*c + 76. Solve c*g + 4 = 12*g for g.
-4
Suppose -43 = -2*b - n, b - 24 = -5*n + 2*n. Solve -8 = -25*j + b*j for j.
2
Let o be ((-2)/(-6))/((-5)/(-60)). Suppose 0 = 2*j - 4 - 2. Let q = o - j. Solve 9 + q = 5*y for y.
2
Let y be (-7)/5 + (-2)/(-5). Suppose 978 - 1074 = 12*d. Let l be (d + 7)*(y + -4). Solve -l*n = -2*n + 6 for n.
-2
Suppose -5*w + 59 = -2*r, 0 = 2*r - 0 + 4. Solve -15*m + w*m = 0 for m.
0
Let c = -208 + 211. Solve d - c = -0 for d.
3
Let u = -26 + 36. Suppose -u*z = -2*z - 120. Solve 0 = -3*y + z for y.
5
Let s(q) = -q + 14. Suppose 3*w - 72 + 18 = 0. Let o be w/2 + (0 - 2). Let i be s(o). Solve 0 = 5*b - i + 2 for b.
1
Suppose -3*z + 3*j - 3 = 0, -2*z + 3*j = -1 - 2. Let f = -3 - z. Solve -2 = -f*r + 5*r for r.
-1
Let w be ((-1)/3)/(41/(-738)) + -4. Solve -22 = w*o - 22 for o.
0
Let b(v) = -7*v**2 - 2*v + 10. Let j be b(0). Solve -j*i - 26 + 6 = 0 for i.
-2
Suppose 7*r = 10*r - 9. Suppose 34 = -r*m - 2*m + 3*q, 2*m + 3*q = -1. Let l = 11 + m. Solve -l = -3*s - 15 for s.
-3
Suppose 3*l + t = 154, -l + 5*l = -5*t + 198. Suppose -m = -k - 2*k - 16, -l = -2*m - 4*k. Let a = m - 22. Solve a*q = -q - 2 for q.
-2
Suppose -v - u - 3 = 17, 0 = 5*u + 25. Let q(o) = o**2 + 16*o + 18. Let x be q(v). Let g(b) = 2*b - 3. Let t be g(3). Solve 0 = -t*c + x for c.
1
Suppose 10*n = 9*n - 2*k + 8, 0 = n + 4*k - 14. Let w be 2*9 + 4/(-2). Solve 2*l + n*l = -w for l.
-4
Suppose 123 = -4*v - 5*q, -3*v - 4*q - 134 + 42 = 0. Let j = -29 - v. Solve j*c = 7*c for c.
0
Let y = -129 + 134. Let q be (-634)/(-18) - 2/9. Suppose x + 20 = h, -q = 5*h - x - 135. Solve -y*u = 5 - h for u.
3
Let c(y) = -15*y + 311. Let v be c(18). Solve -38*l + v*l - 6 = 0 for l.
2
Let h(b) = 2*b**3 + 18*b**2 - 6*b - 5. Let i be h(-9). Suppose i*s - 54*s = -30. Solve -s*w + 4*w - 6 = 0 for w.
-3
Suppose -p - 4*p = 0. Suppose p*q = -4*q + 16. Let f = q - 1. Solve -3*k + f = -2*k for k.
3
Let t be (-4)/18 + 20/9. Let x be ((-18)/15)/((-1)/5). Suppose x = v - 0*v. Solve -v = a + t*a for a.
-2
Let b = -202 + 206. Solve 18 - 6 = b*p for p.
3
Let h(w) = 3*w**2 + 5 - 5*w + 3 - 6 + 2*w**3. Let v(y) = y**2 - 7*y - 16. Let x be v(9). Let z be h(x). Solve -6*u + z = -u for u.
4
Let l = -3 - -7. Let c = 27 - 25. Suppose 0 = -f + c. Solve f*w = -14 + l for w.
-5
Let t be (-3 + (8 - (-22)/(-4)))*0. Solve t = 6*v - 16*v - 40 for v.
-4
Let a(j) = 3*j**3 + 9*j**2 - 2*j + 25. Let b(o) = -o**3 - 5*o**2 + o - 13. Let i(w) = -2*a(w) - 5*b(w). Let x be i(7). Solve x*s = 3*s + 15 for s.
3
Let m(j) = j + 3. Let v be m(15). Let a(r) = r**3 - 5*r**2 + 7*r - 6. Let b be a(4). Suppose w + b = -2*n + 15, -w + v = 5*n. Solve -h - n = -1 for h.
-2
Let l = -1566 - -1578. Solve l*z - 18 = 3*z for z.
2
Suppose 41*q - 40*q = 0. Let u = 15 + -27. Let o be (u/10)/((-9)/120). Solve n + 3*n - o = q for n.
4
Let i = -1168 - -1238. Solve -2*n - i = -64 for n.
-3
Suppose 0 = 2*l - 2*n - 10, -2*l + 0*l + 16 = 4*n. Solve 6*j + l = 9*j for j.
2
Suppose 0 = 21*w - 28*w. Solve 108*n - 111*n + 6 = w for n.
2
Let n(a) be the first derivative of a**6/360 - a**5/40 + a**3/3 - 1. Let i(u) be the third derivative of n(u). Let g be i(4). Solve -5 = -3*w + g for w.
3
Suppose 0 = 3*r + r - 12. Let m = 7 - 10. Let f = r + m. Solve -d + 3 = -f for d.
3
Let g = 16 + -9. Suppose -7 = g*w - 0. Let y be w/2 + (-18)/(-12). Solve 3*n = 2*n + y for n.
1
Let o(m) = -2*m + 5. Let w be o(5). Let d = 7 + w. Solve 0 = -d*p + p - 3 for p.
-3
Suppose 256 = -14*a + 956. Let d = a + -43. Solve d + 13 = 5*n for n.
4
Let d = -19 + 10. Let b(k) = k**2 + 2*k - 10*k**2 - k**3 - 3*k. Let w be b(d). Solve -y - w = -4*y for y.
3
Let u be 24/(-30)*((-52)/16*2 + -1). Let b be -1 - (2 - (0 - -12)). Solve -3*f = u + b for f.
-5
Suppose -67 = 3*a + 56. Let r = 16 + a. Let q be (r/(-15))/(2/6). Solve 0 = 4*u + u + q for u.
-1
Let k be 1 - (3 + -7 - -3). Solve -m - 12 = k*m for m.
-4
Suppose 2*a + 5*m - 20 = 0, 8*a + 4 = 9*a + m. Solve a = 3*l + 4*l - 28 for l.
4
Suppose 12*u - 13*u - 55 = 0. Let h be (u/(-22) - (-3)/(-2)) + -1. Suppose 0*p + 5 = p. Solve h*t = 5*t - p for t.
1
Suppose 4*h - 4 = 0, 5*m - 3*h + 0 + 3 = 0. Let v be (-3 + (-2 - -6))*m/3. Solve 3*p + 0*p - 12 = v for p.
4
Suppose -2*a + 0*v + 14 = -v, 0 = -3*a + 4*v + 16. Let i be (a/(-5))/(20/(-50)). Suppose -i*f + 20 = f. Solve f*p + 0*p = 0 for p.
0
Suppose 5*s + 3*v - 5 = 0, 8*s + 5*v + 5 = 3*s. Solve s = 2*w + 6 for w.
-1
Let x(h) = -h + 4. Let o = 58 - 56. Let v be x(o). Solve 4*d + 14 + v = 0 for d.
-4
Let v(i) = -22*i + 218. Let x be v(9). Solve x*b = 26*b - 24 for b.
4
Suppose -2*p + 5 = 3*b - 7*p, -5*b - 2*p - 2 = 0. Suppose -7 = -4*w - 3*y, b*w + 4*w = y + 19. Solve w*k - 4 = 4 for k.
2
Let a be (-2)/(-4) + 10/(-20). Suppose -2*m + a*m - 3*x + 11 = 0, 2*x = -m + 6. Solve -l + 15 = m*l for l.
3
Let m = 38 + -35. Suppose -4*r + 12 = -2*p, -5*r + m = -4*r + 4*p. Suppose r*b - 8 = -b, -w - b = -4. Solve k - w*k = 0 for k.
0
Suppose 3*q = 4*q. Let y be ((-14)/(-4) + -3)*q. Suppose y = 3*p - 5*p + a + 2, 0 = 3*a. Solve -3*l + 5 = -p for l.
2
Suppose -2*a - 4*y = 14, -a + 6*y = 2*y - 11. Let i = 13 + a. Let x = i + -10. Solve z + 0 = x for z.
2
Let g = 549 + -547. Solve -28*z + 30*z + g = 0 for z.
-1
Let a = 705 - 693. Solve 7*n + 25 = a*n for n.
5
Let i(p) = -p**3 + 8*p**2 + 8*p + 13. Let l be i(9). Suppose -40 = -3*v + 5*x, 3*v + 2*x = l*x + 25. Solve v*n = -14 - 6 for n.
-4
Let r be ((-7)/(-10 - -3))/((-5)/(-240)). Solve -7*a + r = 5*a for a.
4
Let n = 4 - 10. Let s = n + 9. Suppose 0 = h - 5, -5*q - 2*h = -s*h. Solve t - 2 = q for t.
3
Let f = -95 - -98. Suppose 3*g - b + 8 = -5*b, 6 = 2*g - f*b. Suppose 7*h - 3*h + 16 = 3*l, l - 4 = h. Solve 5*x + l*x = g for x.
0
Suppose 14*c - 40 = 6*c. Suppose 10 = -3*b - z - z, -5*b - z = 5. Solve c*a - 2*a + 15 = b for a.
-5
Let z(y) = -y**2 - 9*y - 6. Let q be z(-6). Solve q - 8 = v for v.
4
Let b = 1 - -2. Let w = -1 + b. Let s be (1/w)/(3/6). Solve 0 = 2*c - 7 - s for c.
4
Let p = 11 - 3. Suppose -8*s + 7*s + p = 0. Suppose -s*f + 3*f = 0. Solve -5*l + 0*l = f for l.
0
Let u be 3 - (0 - -3 - (2 - -1)). Solve 14*f - 13*f + u = 0 for f.
-3
Let h be (24/(-6) + 4)/3. Solve g - 10*g = h for g.
0
Let x(m) = m**3 + 7*m**2 + 7*m + 8. Let h be x(-6). Let q(p) = 4*p**3 + p**2 - 2. Let l(o) = 3*o - 5. Let i be l(2). Let n be q(i). Solve t - n = -h*t for t.
1
Let p(n) = -n**3 - 15*n**2 - 15*n - 9. Let z be p(-14). Solve -z = -6*c + 1 for c.
1
S