8 = 0 for s.
2
Let f be (6/(-5))/(3/(-20)). Let q = -878 + 910. Suppose 2*z + 3*o = q, 4*z - 28 = 5*o - f. Solve 2*s = -0*s - z for s.
-5
Suppose 4*d + 7 = -5*s, 3*d - 3*s - 7 = 8. Suppose 2*w = -5 + 11. Let z(q) = q. Let g be z(w). Solve x - g = d for x.
5
Suppose -21 = v - 8*v. Suppose 2 = j - v, -j = -f - 5. Let m be (0 + f)/((-6)/6 - -5). Solve m = 2*a + 3 - 11 for a.
4
Suppose 90*t - 95*t = 4*v - 254, t - v - 58 = 0. Solve -299*c + 290*c + t = 0 for c.
6
Suppose -7*d + 46 - 46 = 0. Suppose -4 = -3*u - u - 4*g, 4*u - 2*g = 16. Suppose u*a - 17 + 2 = d. Solve -3*z - 14 = -a for z.
-3
Let j(i) = -i**3 - 13*i**2 - 40*i - 10. Let k be j(-9). Suppose -k*u = 2*z - 27*u - 32, 0 = 5*z - 5*u - 70. Solve z = -3*h + 12 for h.
-2
Let t be 165/(-60) + (-22)/(-8). Solve -6*l + 2225 - 2261 = t for l.
-6
Let n be (-24)/42 + (-84)/(-147). Solve n = 7*b - 92 + 64 for b.
4
Suppose -4*u - 35 = -4*d + 21, -2*u + 16 = 0. Solve -d*g = 23*g - 46*g for g.
0
Let o = 174 + -345. Let y = o - -171. Solve y = -d - 0 - 5 for d.
-5
Let y = 8548 + -8468. Solve -45 = 25*a + y for a.
-5
Let g be ((-2)/1)/((-6)/252). Let r = g + -78. Solve 3*y - 3 = r*y for y.
-1
Suppose -11*y - 899 = -40*y. Solve -s = y*s for s.
0
Let q(p) = -4*p**2 + 27*p - 33. Let m be q(5). Solve 0 = 9*j - m*j + 35 for j.
-5
Let h(l) = l**2 + l - 5. Let x be h(3). Suppose x = 5*y - 98. Let k be (-1)/(-2)*2 - y/(-3). Solve -3*t = -k*t for t.
0
Let u = 378 + -375. Let d be (1 + u)*(-10 + 63/6). Solve 6*b - 28 = d for b.
5
Let r(n) = -n**3 + 9*n**2 - 14*n + 13. Let a be r(8). Let b = a + 30. Let j be 0/(15/5) - b. Solve g - 8 = j*g for g.
-2
Suppose 60*a - 32*a = 30*a. Solve 48 = -a*j + 16*j for j.
3
Let p = 10642 - 10630. Solve 78*c - p = 72*c for c.
2
Let x(n) = -3*n**2 + 228*n - 225. Let a be x(75). Solve 12*j - 14*j - 8 = a for j.
-4
Suppose -90 = 4*s - 13 - 233. Solve 267 - s = -38*j for j.
-6
Suppose 5*s - 2 - 33 = 0. Let c(h) = -5 - 4*h**2 - 4*h - 9*h - h**3 + s*h. Let z be c(-3). Solve z = -u - u for u.
-2
Suppose -2*o = 2*o - 4*a - 100, 0 = -5*o - 5*a + 175. Let w be (-2)/((-1*(-3)/o)/(-1)). Solve -6*f = -2*f - w for f.
5
Let q(b) = 22*b**2 + 10*b - 12. Let o be q(1). Suppose o = n + 4*k, 15*n + 5*k = 12*n + 39. Let j be (8/(-6))/(3/(-9)). Solve j*d = n*d - 16 for d.
4
Let i be 19 + 0/6 + 0. Suppose 2*x = -0*x. Suppose 2*a - i - 5 = x. Solve 0 = 4*o + 4 + a for o.
-4
Let f(k) = -k**3 + 9*k**2 + 8. Let q be f(9). Suppose -19 = -33*c + 47. Solve -c = 2*d - q for d.
3
Let x be 3294/8 - (-8)/32. Let g = -393 + x. Solve g = -3*i + 13 for i.
-2
Suppose d - 111 = 6*d + 3*o, -5*d + 3*o - 129 = 0. Let q be (20/d)/((-10)/6)*0. Solve 0*x + 6*x - 18 = q for x.
3
Let z(n) = 2*n**3 - 12*n**2 + 9*n + 70. Let q be z(5). Solve q = 32*v + 97 for v.
-1
Let b(n) = -66 + 32 + 0*n + 8*n**2 - 2*n + 32. Let u be b(-1). Solve 8*y = 12*y - u for y.
2
Suppose 2671 = 236*z + 311. Suppose -6 = -3*n - 3. Let r(f) = 4*f. Let m be r(n). Solve -m*t - z = -6*t for t.
5
Suppose -4*n = -2*n + w - 13, 0 = -n - w + 9. Let b = 29042 + -29042. Suppose -4 = 2*v - 34. Solve b = n*f + 7 - v for f.
2
Let p(h) = -h**3 + 5*h**2 - 7*h + 3. Let g = -18 - -21. Let t be p(g). Let v be (0/(-1 - t))/(8/4). Solve -x + v = -1 for x.
1
Let p(l) = -3*l - 22. Let g be p(-10). Let o be (((-672)/(-10))/g)/(3/10). Let x be -3 - (-216)/o - (-2)/7. Solve -x*a + 4*a = 0 for a.
0
Let a(c) = -3*c**2 - 223*c - 70. Let n be a(-74). Solve -n*m - 414 = -418 for m.
1
Suppose -117*t - 115 + 1189 = 62*t. Solve t = -47*x + 100 for x.
2
Suppose -63*n + 4741 + 192 + 9242 = 0. Solve n - 221 = -4*b for b.
-1
Suppose -2*o + 112 = -3*j, -5*j + 67 - 87 = 0. Solve -213*f + 223*f + o = 0 for f.
-5
Suppose 414 = 3*t - 3*u, -6*u = 3*t - 2*u - 393. Suppose f + 5 = -4*x, -x + 3*x = 5*f + t. Let l = f - -27. Solve -20 = l*w + 3*w for w.
-4
Let m be 24*(145/(-30))/(-29). Solve -m*o = 506 - 498 for o.
-2
Suppose -276*j + 52166 = -93562. Solve 91*f - 18 - j = 0 for f.
6
Suppose -34*f + 27*f + 14 = 0. Let g(x) = 15*x**f - 2*x - 16*x - 22 + 1 + x**3. Let s be g(-16). Solve -s = -3*i - 2 for i.
3
Let w be 5 + -8 - (1 - 6). Let x(o) = o**2 - 11*o - 56. Let t(s) = s**2 - 10*s - 56. Let c(z) = 4*t(z) - 5*x(z). Let q be c(18). Solve -q*h = w*h + 16 for h.
-4
Suppose -858*c + 698*c + 48800 = 0. Solve 13*f + c = 409 for f.
8
Let h = 2877 + -2753. Solve -126*z = -h*z + 6 for z.
-3
Let w be 2128/(-2394) - 1232/(-9). Solve -137 + w = -o for o.
1
Let h(s) = 7*s - 2. Let p be h(1). Suppose -3*z - 3 = -n, -61*n + 2 = -62*n - 2*z. Solve p*m = -n - 0 for m.
0
Let p = -1340 - -1358. Let b = 30 - 26. Solve 0 = -11*j - b - p for j.
-2
Let f(n) = -107*n + 2893. Let x be f(27). Solve 8*u = 19*u - x*u for u.
0
Let f(z) = -z - 28. Let r be f(-31). Suppose -r*t - 5*p = -79, -4*t - 4*p + 97 = p. Solve 20*j + 8 = t*j for j.
-4
Suppose 0 = k + 5*a - 45, k + 349*a - 345*a - 41 = 0. Solve -8*z + k = -7 for z.
4
Let w = 33 - 25. Suppose -5*b + 2 = -4*u - 4, -60 = -11*b + u. Solve 2*s + w = b*s for s.
2
Let i(b) = 14*b + b**3 - 24*b - 1 + 6*b. Let p be i(-3). Let a = p - -21. Solve -a*c - 8 - 17 = 0 for c.
-5
Let b(u) = -u**2 + 61*u + 480. Let z be b(-7). Solve -z*q + 8 = -6*q for q.
-4
Suppose 6*b = 4163 - 1517. Suppose 17*n = 10*n + b. Let h = n - 62. Solve 5*g + h = 11 for g.
2
Let h = -39 + 75. Let g = h - 33. Suppose 3*t = f - 8, g*t - 6 = -5*f + t. Solve -f*a = 1 + 1 for a.
-1
Let g(x) = -69*x + 3090. Let o be g(44). Solve o*v + 20 = 44*v for v.
-2
Let t be -12*((-195)/30 + (-2)/(-1)). Solve 3*g = -24*g + t for g.
2
Let m = 4929 + -4861. Solve -3*l + 59 = m for l.
-3
Let s = -34 + 31. Let o(c) = c + 5. Let f be o(s). Suppose 5*h = 5*b - 40, 2*b + 7 = -3*h - f. Solve -i = b*i + 16 for i.
-4
Let k(s) = -3*s - 21. Let r(n) = n + 7. Suppose 2*x + 2*b + 30 = 0, 5*b + 18 = -2*x - 15. Let d be r(x). Let y be k(d). Solve -p = -y*p + 1 for p.
-1
Let d = 827 + -839. Let s be (-90)/d*4/(-40)*-4. Solve 3*h + s = -0*h for h.
-1
Suppose 3*f - 8 + 2 = 0, -5*f + 19 = -3*g. Let b be g + 35/15 + (-178)/(-6). Suppose 1 - b = -4*u. Solve u*a - 6 = 4*a for a.
2
Suppose 0 = -6*f - 6*f + 84. Suppose 0 = 5*m + 10, -5*g - 1 = 2*m - f. Solve 3 = g*h + 11 for h.
-4
Let v(k) be the second derivative of -19*k**3/2 - 169*k**2/2 + 49*k - 1. Let r be v(-3). Solve -7*b + r*b - 20 = 0 for b.
-4
Suppose -28*t + 299 = -569. Solve -t = -k - 29 for k.
2
Let h be 3*193*((-40)/6 + 7). Let c = h - 190. Solve -4*s + c = -s for s.
1
Let d(n) = -n**2 - 7*n + 266. Let q be d(-20). Solve 2*f = -q*f + 32 for f.
4
Suppose 5*y - 3*m = 46, -2*y = 3*m - 4 - 6. Let q(w) = 3*w**3 - 24*w**2 + w - 6. Let a be q(y). Solve -3 = -a*j - 11 for j.
-4
Suppose -6*b - b + 12276 - 12213 = 0. Solve -b*w + 280 = -49*w for w.
-7
Let u be 14*((-280)/(-16) - 2 - 7). Solve 0 = -j + 18*j - u for j.
7
Let g(p) = 8*p + 31. Let d be g(22). Let y = d + -200. Solve y*v + 29 - 1 = 0 for v.
-4
Let y be (-134)/16*-10*4 + -75 + 76. Solve 2*w = -344 + y for w.
-4
Let o be (9 - -26 - -1*3) + 0 + -4. Solve o + 14 = -8*n for n.
-6
Suppose -5*s = -3*a - 632, 0 = -3*a - 2*s - 78 - 526. Let p = a + 209. Solve p*z - 2 = 7*z for z.
-1
Let z(y) = 10*y**3 + 208*y**2 - 41*y + 21. Let w be z(-21). Solve w = 13*b + 65 - 13 for b.
-4
Let o(h) = -2*h**2 - 24*h + 93. Let u be o(-15). Suppose c - 2*c - k + u = 0, k + 1 = 0. Solve -c*d + 16 = -8*d for d.
-4
Suppose -3 = -2*q + q. Suppose 4*y - 4 - 4 = -4*n, -2*n = q*y - 7. Solve y*w = -w for w.
0
Let q = 122 + -105. Let d = q - 17. Let w be d + 2 - 24/16*-2. Solve -20 = 3*c - w for c.
-5
Suppose 0 = -3*r + u - 27, 0*r = 2*r + 5*u + 18. Let o(b) = b + 16. Let i be o(r). Suppose -3*f = -8 - i. Solve f*z = z for z.
0
Suppose 4*l - 88 + 308 = 0. Let h be (0 + -12)*(l/(-15) - 4). Solve -11 = 3*o + h for o.
-5
Let h(t) = -7*t**2 - 59*t + 302. Let d be h(-11). Solve 340 = -36*k + d*k for k.
5
Let o(j) = -774*j - 4644. Let v be o(-6). Solve v = -44*d - 18*d + 124 for d.
2
Suppose q - 4*h = 14, 13*q + h - 10 = 11*q. Solve -q*m + 54 = -15*m for m.
-6
Let b be (-88)/(-6)*((-18)/(-12))/1. Let k(p) = -b + 6*p + 27*p**2 + 24*p - 34 - 4*p**3 + 3*p**3. Let y be k(28). Solve r = -1 - y for r.
-1
Let y = -15331 + 15416. Solve y - 14 = 71*f for f.
1
Suppose -60*y + 886 = -89 - 45. Solve 32 = y*s - 19 for s.
3
Let n(y) = 5*y**2 + 61*y + 25. Let g be n(-12). Solve -g*k - 185