= -3*w for f.
4
Let u(j) = j**2 + 179*j + 2161. Let t be u(-13). Solve -7*l + 24 = -3*l + 2*c, 0 = t*l + 3*c - 21 for l.
5
Suppose -2*l = 5*c - 2, -3*c = 5*l - 3 - 2. Let b be (-7)/l + (-63)/(-21) - -8. Solve -2*p - p - 2 = -r, b*p = -2*r + 4 for r.
2
Let p be 31 + (8/(-60) - (-56)/(-30)). Suppose y + 1 = 0, 0 = -12*u + 7*u + 4*y + p. Solve 3*z = -3*w - 3, -4*z - 5*w - u + 2 = 0 for z.
-2
Suppose -5*l + 888 + 172 = 0. Let m = l - 199. Solve -t = 3*r + m, 5*t = -4*r + 2*t - 24 for r.
-3
Let h = -112 - -87. Let p(c) = -c**3 - 24*c**2 + 23*c - 46. Let o be p(h). Let a be (14/(-1))/(o/(-8 + 4)). Solve 4*r - 3*d = a, 0 = 5*r + 4*d - 0 - 2 for r.
2
Suppose i = 3*s + 99, 5*s + 202 = 4*i - 173. Solve -u = 5, 95*b - i*b = -u - 15 for b.
-2
Suppose 6*w - 2 = -a, 2*w + a - 4*a - 14 = 0. Solve 4*b = 3*h - w, h = 5*h - 5*b for h.
-5
Let i(o) = -3*o**2 + 13*o - 2. Let s be i(4). Suppose 5*n + 1 = -4*c, 7*n + 3*c = 4*n - 3. Solve n*k + 2*t + 11 = 0, 0 = -4*k + 5*t - 32 + s for k.
-5
Suppose 5*j + 14*o - 9*o - 50 = 0, -3*j - o + 18 = 0. Solve -j*q - 13 = k, 10*q = 11*q - 3*k for q.
-3
Let p(b) = b**3 - 17*b**2 + 18*b - 37. Let a be p(18). Let g = a - 608. Solve -6 = -3*u - g*x, 5*u - 2*x - 34 = x for u.
5
Let s = 41697 - 41692. Solve 0 = -19*r + 21*r + m + 4, -13 = r - s*m for r.
-3
Suppose s - 5*k + 24 = 0, 2*s = -46*k + 48*k. Solve -5*j + 2*h + s = 0, -5*j - 62*h + 9 = -65*h for j.
0
Let d = -7575 + 7577. Solve 3*z - 16 = 3*h + 5*z, 8*h + d*z + 36 = 0 for h.
-4
Suppose -68*q - 615 = -88*q - 185*q. Solve -5*v - 4*f = -f - 14, 3*v = -q*f + 18 for v.
-2
Suppose -275*p + 4*j + 68 = -270*p, 3*p = -4*j + 28. Solve 4*m = -p, u + 0*m - 3*m - 4 = 0 for u.
-5
Suppose 0 = 4*a - 3*a + 5*f + 84, -296 = 3*a + 4*f. Let o = a + 108. Solve -4*v - 3*c = -11, 3*v + 24 = o*v + 5*c for v.
-1
Let u = -400 - 15. Let w = 423 + u. Solve f - 4*f + 4*k - 3 = 0, -w = 4*f - 4*k for f.
-5
Suppose 2*j = -4*j + 12. Suppose j*g = 5*g. Solve 2*v + 5*n + 7 = g, 3*n = 5*v + 7*n + 9 for v.
-1
Let r be (27/2)/((-3)/(-4)). Suppose 7*k = r + 3. Let i be (-2 + (-20)/(-6))*(-45)/(-30). Solve -i*n - 2*n = -2*s, k*n = s - 2 for n.
-2
Let b(s) = -2*s + 37. Let o = -15 - -32. Let j be b(o). Suppose -j*p = -8*p + 5. Solve 5*g - 3*i = -29, g + 2*i = i - p for g.
-4
Let k = 20 - 19. Let u be ((-10)/6)/(4/(-24)) + -5. Solve 5*c - r = -11, -4*c + 2*r - u + k = 0 for c.
-3
Suppose -34*w = -32*w + 2. Let t(v) = 7*v + 3. Let d be t(w). Let x = 4 + d. Solve p - k = -7, -3*p + x*k = -k + 17 for p.
-5
Suppose -3*s = 0, s - 12 = -4*w - 4*s. Suppose f - 20 = -4*g - 3*f, 3*g - 5*f = 15. Solve g*t - 5*v = 3 + 2, -2*t = -w*v for t.
3
Let r = -118 + 122. Suppose 0 = d - l - 5, 0*l = -r*d + l + 11. Suppose -5*m = -0*m + y - 13, -m + d*y = -7. Solve 10 = 3*w - m*u + 25, -5 = -3*w - u for w.
0
Let i(x) = x**3 - 5*x**2 - 39*x + 31. Let g be i(9). Suppose -6*z + 3*d = -8*z + 12, 0 = -z + 5*d - 20. Solve -g*b + 25 = -5*n, -4*n + z*n = 20 for b.
0
Let v = 3 + -2. Let r be ((-24)/(-6) - -1)*(0 + v). Suppose 3*i + 35 = 4*o, 2*o + i - r = -0. Solve 13 = t + 2*j + o, 2*j = -2*t + 6 for t.
-2
Let j = 23314 - 23309. Solve 0 = -5*u + 12*z - 7*z - 25, 0 = u + 5*z + j for u.
-5
Let w be ((-9)/6)/((-6)/16). Let a be (-50)/(-4 - -3 - -2)*-2. Let k = a + -98. Solve w*q - k = -14, 4*q = 2*v - 2 for v.
-5
Suppose -12 = -3*n + 3. Suppose 0 = -12*v - 5 - 19. Let r be 9/3 - (v - -2). Solve -n*y + r + 12 = a, -a + 4*y = 3 for a.
5
Suppose -5*r = 16*h - 18*h - 21, -4*r + 12 = 0. Let d be h/15*5 + 3. Suppose q + 5*v = 2*v - 5, -5*q + 35 = -5*v. Solve d*k + 18 = -5*c, -8 = q*c - 2*c for k.
1
Suppose -5*z = 3*o - 28, 0 = 2*z - 3*z - 2*o + 7. Solve 4*i - 9 + 3 = -5*j, -5*j = -z*i + 30 for j.
-2
Suppose -9*u - 15 = -14*u. Let g be (3 - u - 2) + 4. Suppose -k = -3*k - g*s + 12, 5*k - s - 18 = 0. Solve 6*m - m + 26 = c, -k*m + 2*c - 22 = 0 for m.
-5
Suppose 38 + 29 + 17 = 21*h. Solve 3*i - h*g - 9 = 0, -2*i = -0*i - 3*g - 7 for i.
-1
Suppose 0 = 81*h + 46*h - 381. Solve 0 = -h*y - 4*q + 25, 2*q = 8 - 0 for y.
3
Let m(p) = p**2 - 5*p - 12. Let c(q) = q + 11. Let w be c(-5). Let a be m(w). Let b be (-1 + (-10)/(-4))/((-3)/a). Solve -b*v = d - 3, d = 2*v + 3 - 10 for v.
2
Suppose -52 = -3*s + 2*p, 7*s - 5*p - 67 = 4*s. Let t = -9 + s. Suppose 21 - 1 = -5*x, 0 = -2*a - 3*x - 4. Solve c - t*c + 3*u + 4 = 0, a*c - 4*u = 0 for c.
4
Suppose 0 = -236*j + 277 + 254 + 177. Solve -j*m - 3*z + 30 = 0, -2*z = -3*m - 3 + 8 for m.
5
Let i be ((-23244)/1192)/((-6)/4). Solve 0 = -j - 9*d + 11*d + i, 3*j - 2*d = 7 for j.
-3
Let b(f) = -29*f - 2605. Let l be b(-90). Suppose -2*t = t. Let q = t - -1. Solve -z - l*h = -16, 5 = 2*z + 3*h + q for z.
-4
Suppose -4*x = -2*h - 202, 5*x + 3*h - 230 = 50. Suppose 18*k + x = 19*k. Let n = k + -51. Solve -n*v = 4*g - 12, -5*v = -5*g + 2*g - 4 for g.
2
Let j(i) = -2*i**3 + 38*i**2 + 133*i - 21. Let v be j(22). Solve 3*b = 2*b - c + 3, -v = -b - 2*c for b.
5
Let a be (-62)/(-15) - (-15)/((-675)/6). Suppose -4*v + 6 = -a*z + 10, z = -3*v + 17. Solve -6 = v*w + 2*h, 3*w + h - 5*h = 23 for w.
1
Let a be (-2)/((-2100)/(-266) - (3 + 5)). Solve 2*p - 11 = j, p + j - a = 6*j for p.
4
Suppose -3 = 14*n + 39. Let g be 1 - ((-9)/n + -5). Solve -4*v = 2*m - 2, -6*v = -4*v + 5*m + g for v.
1
Let a be 60/25*25/15. Let z(l) = l**3 + 6*l**2 + 4*l + 80. Let k be z(-7). Solve -a*m - 3*u + 23 = k, 0 = 4*u - 16 for m.
2
Let y be 2 + ((-1470)/2)/(-5). Let k = y - 210. Let l = k + 63. Solve a - 2*a - 6 = 3*d, l*a = 0 for d.
-2
Let z = -303 + 303. Let l be (6/9)/((-2 + z)/(-12)). Solve j - 3 = 4*o - 0, -l*j = -5*o - 1 for o.
-1
Let s be -1 + 13/2 - 2070/828. Solve -2*t - 3*b + 6 = 2*b, 4*t - s*b - 12 = 0 for t.
3
Suppose -319*p + 40 = -309*p. Solve 0 = p*x - 2*g + 14, -x - 1 = x + g for x.
-2
Suppose -f + 6 = -1. Suppose 2*d = 3*b + 4, 9 = 3*b + 2*d - f. Solve -u = -a + 3 + 6, -b*u - 3 = a for a.
5
Suppose 0 = v + 3*r + 5 + 6, -4*r - 36 = -4*v. Suppose 2*i = -2*d - v, 0 = -i - 4 + 2. Suppose -3 = -x - d. Solve 0 = 2*m - 3*j + 11, -2*j + x = 2*m + m for m.
-1
Let z = 3087 - 3087. Let g(a) = a**2 + 6*a - 13. Let u be g(-8). Solve z = -4*l + 8, u*l = -5*y - 5 + 16 for y.
1
Let j be (-8)/(-7) + (-9)/63. Suppose 0 = u - j, 3*f = 2*f + u + 7. Solve -5 = 5*d - 5*z, 0*z = -4*d - 2*z + f for d.
1
Let z = 240 + -160. Let v = z + -168. Let a = v - -107. Solve 4*h - 3*j - 17 = 2, -j = 5*h - a for h.
4
Let v = -529 + 551. Let z = v + -20. Solve z*l + 29 = -4*c - l, -4*l = 2*c + 22 for c.
-5
Let x be (-12)/10 - (-1 + 78/(-15)). Solve 2*s = 3*z - x, -3*z + 4*s = 4 - 11 for z.
1
Suppose -2*w + 260 = -190. Suppose -5*t + w = -5*a, -2*t - 138 = -5*t + 2*a. Suppose 5*p - 8*p = -t. Solve -j + 19 = 5*d + 3*j, -j + p = 5*d for d.
3
Suppose -86*k = -84*k - 166. Let p = k - 78. Let b be (-9)/6*2 + 0 + p. Solve -3*q - d + b = 0, -2*q - 4*d = -0*q - 8 for q.
0
Suppose 0 = -21*t + 111*t - 450. Let p be 0/(4/(8/6)). Let m be 5/1 - p/1. Solve -4*w - 10 = -m*v, t*v - 4 = 2*w + 6 for v.
2
Let w(t) = t**3 + 5*t**2 - 6*t + 3. Let y be w(-6). Let k(c) = 2 + 0*c - 5*c + c**2 + 5*c + 3*c. Let o be k(3). Solve 4*j - u = o, 8*j = 3*j + y*u + 25 for j.
5
Let s = 87 + -17. Suppose 7*k - s = 2*k. Let l = k - 11. Solve -q = -d - 0*q, -l*q = 5*d for d.
0
Suppose -7*c + 3 = -32. Let y be c/25 + (-38)/(-10). Solve -4*h + 41 - 10 = -5*t, y*h = 3*t + 25 for t.
-3
Suppose -4*r - 3*l + 20 = 0, 13*r = 18*r + 4*l - 25. Solve -5*v + 7*v - 15 = -5*p, -r*p - 4*v = -25 for p.
1
Let t be ((-3)/7)/(((-3)/84)/(8/32)). Solve -3*b + 5*u - 39 = -34, -2*u - 7 = -t*b for b.
5
Suppose 4624*b - 4621*b = 15. Solve -4*l + 78*t = 73*t - b, -5 = -2*l + 3*t for l.
-5
Suppose 0 = q - 2*a - 23, 2*a + 38 - 78 = -2*q. Suppose n - 22 = -4*m, 5*n = 2*n + m + 1. Solve -4*p - s = -4*s + q, -n*p = 3*s - 3 for p.
-3
Let n = 495 + -497. Let p be (-2)/3*75/20*n. Solve -5*k + 8 = 2*s, 3*k - 4*s + 11 = -p for k.
0
Let y be 0*((2 - -1) + -4). Suppose 5 = -u, 10*m - 15*m - u + 15 = y. Solve -4*x + 17 + 9 = -2*g, 0 = -m*x + 5*g + 41 for x.
4
Suppose 2*f - 4*d + 2 = 0, 83 = -4*f + d + 100. Solve -f*n + p = 6 + 13, 3*n + p = -13 for n.
-4
Suppose -6*q - 3*m + 223 = -2*q, -43 = -q - 5*m. Suppose -106*u + 88*u = 558. Let n = u + q. Solve -4*x - n = -5*l, -3*x = 5*l - 7 + 1 for x.
-3
Let s be 12*(23 + -17 + 21/(-2)). Let y be (24/s)/(((-28)