= 45*w for w.
-7
Suppose 0 = -3*r + m + 273, -3*m = -24*r + 26*r - 171. Solve 9*t - r = -9*t for t.
5
Let q(f) = f**2 + 14*f - 25. Let y be q(-16). Suppose -j + y = -9. Suppose 4*p + 0*p = j. Solve -3*d = -p*d + 4 for d.
4
Suppose -23*j - 2499 = 10381. Let w = 560 + j. Solve 3*r + 23 - 32 = w for r.
3
Let s(i) = i**3 + 14*i**2 - 2*i - 18. Let d be s(-14). Suppose 15*q = d*q + 360. Let r = q + -70. Solve r*z - 3*z = 2 for z.
-2
Let u(s) = s**3 + 31*s**2 + 27*s - 74. Let r be 2/7 + -318*2/21. Let v be u(r). Solve -9 = -7*o - v for o.
-1
Suppose 883 + 1123 = 17*n. Solve -n*p = -112*p - 24 for p.
4
Suppose -92 = -l + u - 73, 0 = -l - 2*u - 2. Solve 28 = -l*i - 20 for i.
-4
Let c(v) = -76*v + 4221. Let s be c(55). Solve 8*f + s = 81 for f.
5
Let i be 1 + ((12/4)/(-3) - -31). Suppose -3*x + i = -0*x + 5*z, 4*x - 3*z = -7. Suppose -2*m - 2 = -4*y, 3*y = -x*y - 3*m - 3. Solve y*v + 20 = -5*v for v.
-4
Let f(n) = -5*n - 27. Let p be f(-24). Suppose 0*w - 288 = -3*w. Let z = w - p. Solve c - z = -1 for c.
2
Let o = 14 - 26. Let y = -12 - o. Let u(c) = -2*c - 11. Let w be u(-7). Solve 2*r + w + 3 = y for r.
-3
Let m(c) = 93*c**2 - 6*c - 2. Let f be m(-2). Solve -f = -82*g + 274 for g.
8
Let v(p) = -p**3 + 8*p**2 + 7*p + 17. Let c be v(9). Let y be (-16)/(-6)*(-6)/8*c. Suppose y = 34*r - 32*r. Solve 3*b - 10 = -r for b.
3
Let o be 7/((1 - 12) + 12). Solve -4*a - o = 21 for a.
-7
Let l be 60/25*(34/12 + (-5)/15). Solve l + 24 = -6*o for o.
-5
Suppose k - 8 - 4 = 3*o, -o - 3 = 0. Suppose -c + 5*c + 4 = 4*s, -2*c - k = -3*s. Solve -m - s + 0 = 0 for m.
-1
Let h = -1 + 3. Suppose 3*d - 5 = -0*p - 2*p, -4*d + 2*p = -16. Suppose 5*x = h*c + 3*c, -c + d*x = 0. Solve c = 2*a + 3*a - 25 for a.
5
Let p = -610 + 619. Solve p*g = -28 - 17 for g.
-5
Let u be (-13352)/(-6) - (-20)/(-15). Let b be u/(-32) + (-1)/(-2). Let t = 73 + b. Solve 4 = -0*v + t*v for v.
1
Suppose -263 = -3*m - 32. Solve -8*q - 53 = -m for q.
3
Let v(w) = 5*w**2 + 2*w - 23. Let i(c) = -6*c**2 - 3*c + 24. Let o(d) = 4*i(d) + 5*v(d). Let n = 373 - 367. Let a be o(n). Solve 0 = a*h - 1 - 19 for h.
4
Let y(z) = -2 + 4*z + 6 + 6 - z**2 - 2. Let a be y(5). Solve d + 1 = -a for d.
-4
Let f be ((1 - 234/(-27)) + -8)*6*2. Solve 200*v - f = 204*v for v.
-5
Let d(f) = -7*f**3 + 345*f**2 - 93*f - 180. Let l be d(49). Solve l*a - 67*a = 0 for a.
0
Let s be (10 - ((-44)/(-6) - 34/102)) + 27. Solve 0*f = 15*f - s for f.
2
Suppose -15*w + 12*w = 3*a - 1332, w - 4*a - 459 = 0. Solve -i - 442 = -w for i.
5
Suppose -4*v - 1366 = -4*h - 518, 0 = 4*v - 12. Solve -h*p = -206*p + 18 for p.
-2
Let o(r) = -r**3 - 43*r**2 + 85*r - 223. Let m be o(-45). Solve -1862*n - m = -1864*n for n.
1
Let v(x) = 37*x - 366. Let g be v(10). Suppose -g*h - 1929 = -1937. Solve -5*f = -4*f + h for f.
-2
Let m be 20/6 - (-2)/(-6). Suppose 7*h - 14*h = 14. Let j be (-11 + 11)/7*h/4. Solve m*u = -j*u for u.
0
Let q be (-9856)/(-20) - 2/(-10). Let y be q/87 - (-4)/3. Solve y = -5*c - 3 for c.
-2
Let h = -539 - -557. Suppose h*t + 17 = 179. Solve -x = t*x + 20 for x.
-2
Let z be (-25*3/(-5))/((-8)/(-64)). Solve -z = -10*u - 40 for u.
8
Let v = -41 - -108. Suppose -59 = 2*y + v. Let z = 63 + y. Solve -3*m + 4 - 1 = z for m.
1
Suppose i + 2*i = 93. Let j = 5 - i. Let u = j - -39. Solve 4*z - 3 - u = 0 for z.
4
Let d(y) = -y**2 + 19*y + 2. Let w be d(19). Let t be -34*w/(-20) - (-46)/(-115). Solve t*p - 2 = 1 for p.
1
Let c(w) = w**2 - 2*w + 21. Let n be c(18). Let m = n - 304. Solve 2*y + m = 1 for y.
-2
Suppose 0 = 15*i - 26*i. Suppose -m - 4 = i, -3*d + 5*m + 20 = 2*d. Solve d = l + l for l.
0
Suppose -5*u = -595 - 110. Let s = u + -121. Solve 1 = -7*q - s for q.
-3
Suppose 5*i = -2*g - 656, g - 6*g - 5*i = 1625. Let s = g - -323. Solve 5*r - 10 + 5 = s for r.
1
Let p = -446127 - -446132. Let b(f) = f**2 + f - 5. Let q be b(4). Solve -4*s + p = -q for s.
5
Let h be (-28 + 3)/(5/(-6)). Solve -25*c = -h*c + 30 for c.
6
Let q be 7 + (-198)/18 + 2 + 7. Solve -14*f + 13*f = q for f.
-5
Let q(p) = 391*p + 2034. Let r be q(-4). Solve 0 = -476*l + r*l for l.
0
Let f be (-264)/(-22) + (1 - 0)*2. Suppose -79 = -f*r + 5. Solve 20 = r*y - y for y.
4
Suppose 66 = 43*h - 21*h. Suppose 6*b + 37 = h*c + 7*b, -2*b - 47 = -5*c. Solve 6*j = c*j + 5 for j.
-1
Let y = 3356 + -3235. Solve 113*x - y*x - 16 = 0 for x.
-2
Suppose 4*l = h - 1, -5 = -4*h - 2*l - 1. Let n be h/(((-30)/(-5))/12). Solve -t = 7 - n for t.
-5
Suppose 21*u - 1020 = -9*u. Let k = u + -29. Solve 3 = 4*i - k*i for i.
-3
Let z(d) = -d**2 - 5*d - 4. Let o(u) = u**2 - 22*u + 81. Let f be o(5). Let j be z(f). Solve j = -y - 2*y + 12 for y.
4
Let u be (-420)/(-18) + (-6)/18. Solve -u*d - 15 = -18*d for d.
-3
Let f(q) be the second derivative of -q**4/12 + 25*q**3/6 - 71*q**2 + q + 131. Let h be f(9). Suppose 5 = 2*m - m. Solve h*a - m*a = 6 for a.
-2
Let q(c) = 2*c**2 - 21*c - 46. Let l be q(-2). Let d(v) = 2*v**2 + 11*v + 3*v**2 - 7*v**2 - 9 + v**2. Let o be d(10). Solve -l*g + 5*g = -o for g.
-1
Let x(o) be the first derivative of 5*o**2/2 + 6*o + 229. Let v be x(2). Solve 8*d + v + 24 = 0 for d.
-5
Let s(h) = -h**2 + 7*h - 4. Let n be s(6). Suppose -47 = -8*f - 255. Let g be (-4)/26 - 4/f. Solve -3*o - n*o - 20 = g for o.
-4
Let n(a) = 6*a**2 - 3*a + 2. Let r be n(1). Suppose j + q + 19 = 4*j, -r*j + 3*q = -37. Suppose -2*b + 8 = h, j*b - 20 = 4*h - h. Solve h = -y + 4 - 6 for y.
-2
Suppose -26*f - 14399 + 15465 = 0. Solve 0 = -2*y - f + 35 for y.
-3
Suppose 0 = 5*i - 20, -2*k = i + 346 + 62. Let m = k + 209. Solve 8 = -m*y + 7*y for y.
2
Let c = 91 + -79. Let l be 7*(0 + c/14). Let v be ((-54)/(-45))/(l/20). Solve 0 = -2*y + v - 2 for y.
1
Suppose -5 = -5*w - 3*j, 1359*w = 1355*w + j + 21. Let p be 5/2*12/10. Suppose -z - 3 + 11 = -4*n, -n + 66 = 4*z. Solve -p*q - z = -w for q.
-4
Let m = 245 + -122. Let q = -120 + m. Solve t = q*t for t.
0
Suppose 5*g = -4*o - 892, -2*o = -4*g - 245 - 453. Let q = g + 178. Solve q*x - 6*x = -8 for x.
2
Let o(q) = -7*q**3 + 27*q**2 + 5*q - 2. Let s be o(2). Solve 0 = -183*l + 193*l + s for l.
-6
Let w(y) = -3*y**2 - 41*y + 30. Let a be w(-14). Let x be (-9)/12 - (-108)/a. Let q(k) = -7*k - 42. Let g be q(-6). Solve -3*u + x = -g*u for u.
2
Let i be (-4)/(-1)*65/20. Suppose -134 - 36 = -35*o + 215. Solve -i + o = -2*m for m.
1
Suppose 2*x - 3*g = 9, -12*x = -9*x - 2*g - 21. Solve 0 = -21*r - x*r - 60 for r.
-2
Suppose 0 = -675*b + 678*b - 45. Suppose 16*p - 14*p = -4*q + 22, 0 = 3*p + b. Solve -11*m = -q*m - 3 for m.
1
Suppose -n + 309 = 2*h - 444, -5*h + 1869 = n. Solve h*o - 20 = 367*o for o.
4
Let n(g) = 3*g - 27. Let y be n(10). Suppose 0 = -2*q - 6*a + a + 2, -5*a = -y*q + 28. Let f be (1/2)/(q/36). Solve 0 = 3*d - 0 + f for d.
-1
Suppose w = -3*j - 0*w + 143, 0 = 3*j - 2*w - 146. Suppose 7*r + j = 15*r. Solve -r*p = -5*p for p.
0
Suppose -2*g + 6 = -2. Suppose -2*v + 12 = v, g*u + 2*v = 20. Suppose 4*z - m - u*m = 36, 0 = 4*z - 2*m - 42. Solve f = 5*f + z for f.
-3
Let w = 50 + -1179. Let l = -1129 - w. Let f = 11 + -7. Solve -5*o + 4*o + f = l for o.
4
Let g be -1 - ((-1)/10 + (-1)/(50/16895)). Solve 10 = g*z - 342*z for z.
-2
Suppose -24*r + 10*r + 28 = 0. Let n be (2/(-4))/((-1)/r). Solve -7*a - 15 = -n for a.
-2
Suppose 0*j - 9*j + 99 = 0. Suppose j*d - 4*d = 14. Suppose 5*x + m = 18, -d*x + m = -4*x + 9. Solve -5*g = x + 12 for g.
-3
Suppose -3*g + 0*g - 21 = 0. Let w = g - -7. Solve w = 3*d + 6 - 3 for d.
-1
Let w = -421 + 247. Let d = 181 + w. Solve -2*v + d = 3 for v.
2
Let s(z) = 8*z - 22*z - 68 - 7 - 102. Let w be s(-13). Solve 0 = w*p + 5*p + 30 for p.
-3
Suppose 79*f = 71*f + 16. Suppose x + 12 = 4*w, -x + f*w - 4 = 2. Solve x*q + 3*q = 12 for q.
4
Let i(q) = -88*q**3 + 2*q**2 + 37*q + 37. Let x be i(-1). Let l(p) = 12*p**3 + 2*p**2 - p + 2. Let z be l(-2). Let u = z + x. Solve -2*b = -0 + u for b.
-3
Let q(i) be the second derivative of 9*i + 2*i**3 - 1/12*i**4 + 0 - 19/2*i**2. Let y be q(10). Solve -13 = -3*j - y for j.
4
Let d(z) = z**3 + 13*z**2 + 14*z + 28. Let n be d(-12). Suppose 7*y = n + 3. Let k be y - 0 - (-14 - -12). Solve -k*x - 10 = 2*x for x.
-2
Suppose 0 = f - 0*f - 211. Let c = 221 - f. Solve c = i + i for i.
5
Suppose -3*l - 5*r + 4*r + 194 = 0, 4*r - 8 = 0. Let g = -62 + l. Solve -1 + 5 = -g*c for c.
-2
Suppose 5*x - 26 = 