4))/(8/f). Solve 0 = s - 8*s + o for s.
1
Let d(k) = -k**3 + 4*k**2 - 3*k + 4. Let h be d(4). Let f(c) = c**3 - 4*c**2 - 38*c - 61. Let w be f(9). Let i be -1 + w/(h/(-20)). Solve 3*z = i*z for z.
0
Suppose z = d - 1605, 4*z = -12*d + 13*d - 1632. Solve -d = -5*v - 1611 for v.
-3
Let m(s) = -1 + 636*s + 0 + s**3 - 641*s + 4*s**2 - s**2. Let l be (-5 - -2)/(3/4). Let k be m(l). Solve 0 = -d + k for d.
3
Let s = -870 - -868. Let d be 6/s + (9 - 3)*1. Solve 0 = 8*w + 19 - d for w.
-2
Let p = -1 + 5. Let i(z) = -25*z**2 - 361*z + 212. Let j be i(-15). Solve p*u = j*u for u.
0
Let g be (-3)/9 + 4/12. Let a(o) = o**2 - 4*o + 89. Let k be a(g). Let n = k + -76. Solve 4*y + 1 - n = 0 for y.
3
Let s(c) = -c**3 - 6*c**2 + 6*c + 6. Let g be s(-7). Let k(r) = -2*r**3 + 14*r + 2. Let d be k(-3). Suppose 22*t - d*t = 0. Solve 5*n - g + 3 = t for n.
2
Let n be -64 - 2 - (-1 - -3). Let s be (-4)/(-36)*(12 - -645). Let c = n + s. Solve 13 = -2*w + c for w.
-4
Let k(h) = 2*h**2 - 89*h + 623. Let d be k(8). Solve -7*t = -d*t + 64 for t.
2
Let z be 1 + -1 - (-3)/(18/156). Suppose -85 = z*p - 31*p. Suppose 22*y - 20 = p*y. Solve -y*v - 16 = -0*v for v.
-4
Let d(u) = -47*u + 4. Let r be d(7). Let z = r + 329. Solve -5*h = -9*h - z for h.
-1
Suppose -3*l = 2*l + l - 11*l. Solve l = 918*v - 911*v + 49 for v.
-7
Let u = 1310 - 1295. Solve -53*c = -50*c - u for c.
5
Suppose 2*l + 4 = 0, 3*g - 6*l = -4*l + 424. Let d = g - 139. Solve 2*a = d + 9 for a.
5
Suppose -4*q + 7 = y - 14, -32 = -3*q - 4*y. Let g = q + -1. Let c = -13076 + 13078. Solve g = l - c for l.
5
Suppose -14 = -j - 5*v, 2 = j + 4*v - 10. Solve 18*f = 19*f + j for f.
-4
Suppose 0 = 5*w - 142 + 2. Suppose -h + w = 2*d, -d - 13 = -h + 3. Let l = -20 + h. Solve 3*v - 4*v = l for v.
0
Let g = 35 + -25. Let o = -2688 + 2699. Solve o*a + 3 = g*a for a.
-3
Let h(q) = -9*q - 25. Let w(g) = -2*g + 7. Let f be w(6). Let v(y) = -8*y - 25. Let s(l) = f*h(l) + 6*v(l). Let z be s(-10). Solve 0 = -z*j - 2 + 27 for j.
5
Suppose 2*t + 7 = 3*v, -2*v - 108*t + 103*t = -30. Solve -398*c = -393*c + v for c.
-1
Suppose -21*r + 16*r = -3*n - 21, 3*n = r + 3. Let k = 15 - 2. Let f = k + -13. Solve f*p = 3*p - r for p.
2
Let v(w) = -234*w + 1173. Let x be v(5). Solve -x*c = -10 + 28 for c.
-6
Suppose 0 = 10*j - 339 - 211. Let d = j + -50. Suppose -d*h = -2*c - 58, h + 5*c - 12 = 5. Solve 0 = -4*s - 4 + h for s.
2
Let x = -229 - -230. Suppose 0 = 2*w - 0 - 0. Solve w = k + x for k.
-1
Suppose 38*h - 41*h = -45. Solve -9*w - h = -12*w for w.
5
Let s be 25/2*-1*8/(-10). Suppose s*j = -35 + 135. Solve -j = 6*u + 8 for u.
-3
Suppose 940 = 3*b + 5*i, 60*i - 62*i + 4 = 0. Let x = b - 304. Solve x*a - 5*a = 2 for a.
2
Let h = 50 + -117. Let u = 73 + h. Suppose -2*l = -3*s + 4*s - 44, 4*l - 78 = 3*s. Solve -5*z + u = l for z.
-3
Let n(y) = -y**2 + y. Let b(w) = -8*w**2 + 4*w + 21. Let r(h) = b(h) - 5*n(h). Let f be r(5). Let p = f + 65. Solve p*v - 2*v = 0 for v.
0
Suppose 0 = 7*r + 327610 - 327631. Let z = 4 + -20. Let o = z + 24. Solve -2 = r*t - o for t.
2
Let c = 9476 + -9355. Solve 34 - c = -29*a for a.
3
Let l be -2*(-3)/2 + -138 + 137. Suppose 7*f - 2*f - 15 = 0. Solve l*a = -f*a - 5 for a.
-1
Let l(q) = 31*q**2 - 1860*q + 32. Let t be l(60). Solve 4*y - t = -4*y for y.
4
Suppose 5*s - 2*b + 1789 = 0, -5*s + 0*s - b = 1783. Let q be (-2)/(-7) + (-3468)/s. Solve -11*g + 2 = -q*g for g.
2
Suppose 11*b - 159 = -42*b. Suppose x - b*v - 18 = 0, -x + 0*v + 13 = -2*v. Solve 0 = x*q + q - 12 for q.
3
Let w(b) = -b**3 + 6*b**2 + 37*b + 30. Let s be w(-4). Suppose -2*z = 3*z - 15. Solve z = 15*x - s for x.
3
Let n be ((12/(-16))/(-1))/((-3)/(-48)*4). Let i(v) = -v**3 + 3*v**2 - 2*v + 2. Let k be i(3). Let u be (9/n - 3)/k. Solve u = m - 0*m + 2 for m.
-2
Let c = 1098 - 992. Solve 111 = 5*q + c for q.
1
Let x = -5516 - -5533. Solve -42 = -3*j + x*j for j.
-3
Let x(q) = -q**2 - 31*q - 54. Let p be x(-29). Suppose p - 112 = -18*u. Solve -2*a - 4 = -u for a.
1
Let x(a) = 2*a**3 + 2*a**2 - a - 1. Let g be 62*(-3 + (-20)/(-8)). Let l = 32 + g. Let v be x(l). Solve v*f - 5 = -3 for f.
1
Suppose -228 = -3*c - 5*r + 2*r, -260 = -3*c + 5*r. Suppose 6*o - c = -80. Solve -l + 4*l - 3 = o for l.
1
Suppose 0 = -93*b + 94*b - 96. Solve 0 = -73*s + b*s - 46 for s.
2
Let r(p) = p**3 - 7*p**2 + 53*p - 267. Let m be r(6). Solve 24*a = 21*a + m for a.
5
Let c(j) = -j**2 + 18*j - 60. Suppose 4*r = -r + 2*t + 56, -3*t + 21 = 3*r. Let v be c(r). Solve -5*o - v = -0*o for o.
-4
Suppose -137 = -22*g - 93. Let n(s) = -3*s - 6. Suppose 0 = 6*b + 39 - 9. Let i be n(b). Solve 1 = -g*l - i for l.
-5
Let c = -38 - -32. Let w(z) = -z - 3. Let b be w(c). Suppose -b*v + 2*y + 3 = 0, 7*v - 4*v - 5*y + 6 = 0. Solve 5 = -2*n - v*n for n.
-1
Let u(p) = -p**2 - 34*p + 31. Let s be u(-35). Let g be (2 + 8/s)/(-2). Solve 0 = -g*n + 3*n - n for n.
0
Suppose 761*j = 606*j + 48825. Solve -33*a + j = 30*a for a.
5
Let z(j) = -2*j**2 + 20*j + 531. Let q be z(-12). Let o be 9/(-6) - (-15)/2. Solve -v + q*v + o = 0 for v.
-3
Let h be (-8 - 737)*(-6)/(-15) - -5. Let v = h - -295. Solve 0*l = -v*l - 8 for l.
-4
Let l = 22791 + -22765. Solve -35*s = -48*s - l for s.
-2
Suppose 677 - 196 = 306*u - 437. Solve -11*y = -u + 25 for y.
-2
Let q(d) = d**2 + 11*d + 13. Let x be q(-10). Suppose x*c + 37*r = 34*r + 27, 2*c - 5*r + 17 = 0. Solve 6*f - c*f = 0 for f.
0
Let s(w) = -8*w**2 + 3*w**2 + 37*w**3 + 3 - 38*w**3 + 24*w. Let c be s(-8). Suppose 4*a = -4*o + 12, 2*a + 1 = 2*o + 15. Solve n + c - a = 0 for n.
2
Suppose -116 = -t - 3*v, -2*v - 254 = -5*t + 309. Suppose -5*l = -4*y + 21, 117*y + l = t*y + 15. Solve 2*p = -0*p + y for p.
2
Suppose 5*i = 4*a + 1429, -15*i + 19*i - 1135 = -5*a. Solve 279 - i = -3*w for w.
2
Suppose -2*w = -10, 3*o - 930 = 9*w - 12*w. Solve 303*k - o*k + 6 = 0 for k.
3
Let a(q) = q**3 - 4*q**2 + 2*q + 3. Let o be a(4). Solve -o - 5 = 16*f for f.
-1
Let q = -30 - -37. Suppose q*g - 146 = 36. Let i = 29 - g. Solve -12 = 6*j - i*j for j.
-4
Let g(q) = 2*q - 7. Let r be g(10). Suppose 16*z - 15 = r*z. Suppose -5*v = 2*w - 26 + 9, -4*v + z*w + 40 = 0. Solve -p = -0*p - v for p.
5
Let b(h) = h**2 - 13. Let m be b(4). Let n(s) = s**2 - s - 12. Let f be n(4). Solve f = m*d - 0*d for d.
0
Let j be (15 + 8 + -5)/(2 - -1). Solve -16*h - 22 = j*h for h.
-1
Let g be 12/18*12 - (0 - -5). Suppose -21 = -4*z - 0*z + g*s, -22 = -3*z - 4*s. Solve -d - 2 + z = 0 for d.
4
Suppose 0 = -0*n - 5*n. Let j(t) = 4*t**3 + 20*t**2 + 4*t + 23. Let q be j(-5). Solve n = l - q*l - 8 for l.
-4
Suppose -4*t = t - 3*m - 115, 2*m = 2*t - 42. Suppose -9*s = -t - 10. Solve 4*l - 6*l + s = 0 for l.
2
Suppose -10 = -5*a + 10, -t - a + 12 = 0. Let p be 164/820 - 6598/(-10). Suppose 10*y + p = 43*y. Solve -t + y = 4*x for x.
3
Suppose -4*a - 28 = 0, 2*c - 294 = 2*a - 244. Solve -c*y + 23*y = -35 for y.
-7
Suppose -9*q + 184 = 40. Let j be (q/(-6))/((-22)/33). Suppose -3*l = -4*r - 8 - 10, 12 = 2*l - j*r. Solve -x + 10 = -l*x for x.
-2
Suppose -103 - 1 = 8*m. Suppose 4*t + 3*f = -46, -2*t = 3*t + 5*f + 55. Let v = m - t. Solve -5*j + v = 5 for j.
-1
Let h = 4 + 1. Suppose 4*y + 57 = y + m, -4*y - 76 = 4*m. Let w(d) = -3*d - 57. Let z be w(y). Solve -10 = h*x - z for x.
-2
Let b be 5/((-5)/2)*12. Let k = -4 - 15. Let n = k - b. Solve 0 = -n*l - 0*l + 5 for l.
1
Let b(n) = -2*n**2 - 45*n - 8. Let d be b(-21). Let m = 65 - d. Suppose m*c = 6*c + 40. Solve -c = -x - x for x.
5
Suppose 4*b - 5*m - 74 = 0, 3*m + 220 = -4*b + 278. Solve -21*x + b = -26 for x.
2
Suppose 0 = -5*b - 3*q - 23 + 140, 3*q + 51 = 2*b. Let p = b + 18. Let v = 48 - p. Solve v*a = a for a.
0
Let o be -1 - 30*(4 + -3). Let l = o + 84. Let s = 68 - l. Solve -4*x - s = -x for x.
-5
Let v = 19987 - 19987. Solve 6*b + 17 + 1 = v for b.
-3
Let d be 10*(3 - (-188)/(-60))*45/(-10). Solve 645 - 615 = d*a for a.
5
Suppose 0 = 7*s + f - 21 - 457, -20 = 4*f. Solve -57*r - 36 = -s*r for r.
3
Suppose -4*h + 72 = 3*t + 272, -3*t = -12. Suppose -23 + 17 = 2*u, u = 4*q + 181. Let j = q - h. Solve -3*a + 5 = -j for a.
4
Suppose 93 = -10*i + 33. Let v be (i/9)/((-4)/90). Solve 2*y = -v + 11 for y.
-2
Suppose 89*p = -118*p + 17388. Solve -139*k + p = -151*k for k.
-7
Let w(k) be the third derivative of -k**5/60 - k**4/8 + 2*k**3/3 - k**2 - 15. Let i be w(-4). 