 Solve 0 = 8*w + s - 153 for w.
-6
Let z be (-1 + 2)/(-1) - -1. Let p be (-12)/14*126/(-27). Let t(g) = g - 6. Let w be t(9). Solve w*y + 13 - p = z for y.
-3
Suppose -455*t + 2*v - 120 = -460*t, 0 = -5*t + 4*v + 150. Solve 16*z = -22 - t for z.
-3
Suppose -16*q + 67 = 19. Suppose 4*k - 3*c = c - 4, k + 3 = q*c. Solve y + 2 = -k for y.
-2
Suppose -4691*r - 11 = -4702*r. Solve -7*m + 8*m - r = 0 for m.
1
Let q be (-193 + (22 - 12))*(1/1)/(-3). Solve 0 = q*s - 53*s - 16 for s.
2
Let f = -19 + 31. Let q be (1*-1)/((-315)/(-27) - f). Solve -11*h + 8 + q = 0 for h.
1
Let p(o) = o + 17. Suppose -l = -5*z - 65, 6*z - 8*z = 5*l + 53. Let d be p(z). Suppose -5*a = d - 8. Solve -3 - a = r for r.
-4
Let c(y) = -1806*y - 8765. Let u be c(-5). Solve u + 191 = -57*t for t.
-8
Suppose -8 - 4 = -4*w. Suppose 8*d - 12 - 12 = 0. Suppose 0 = 3*z - w, d*z = 2*q - z - 12. Solve f + q = -f for f.
-4
Suppose -5*t = 30*s - 28*s - 39, -4*s - 48 = -4*t. Solve -t*n + 1 = -8 for n.
1
Let x(h) = 20*h - 136. Let r be x(7). Let n be ((-2)/(-8))/(r/32). Solve -p + 3*p + n = 0 for p.
-1
Let k(m) = 64*m + 404. Let o be k(-6). Let z = 24 - 20. Solve -f = z*f - o for f.
4
Let v(a) be the first derivative of a**4/4 - 35*a**3/3 + 18*a**2 - 66*a - 31. Let s be v(34). Solve -27*u + s = -26*u for u.
2
Suppose 46 + 19 = -5*s. Let b = s - -18. Let x be (b/(-10))/(2/(-20)). Solve x*j = 6*j for j.
0
Let n = 685 + -681. Suppose -n*g = -5*t + 18, 10 - 18 = -5*t - g. Suppose 0 = 5*y + 5*m - 80, 0 = -y - 5*m + 8. Solve -y = t*p - 16 for p.
-1
Let m = 11744 + -11704. Solve -19*w + m = 21*w for w.
1
Let q(r) = -r + 5. Let x(v) = -v**3 + 7*v**2 - 4*v - 7. Let b be x(6). Suppose b = -k - 1. Let i be q(k). Solve 5*o - 9 = i for o.
4
Let l(g) = 9*g + 184. Let k = 145 - 165. Let h be l(k). Solve -1 - 19 = -h*v for v.
5
Let w(a) = -a**3 + 4*a**2 + 12*a + 11. Let j be w(6). Suppose 259 = 17*l - x, 6*l + 4*x + 61 = 9*l. Solve 16*f - j*f = l for f.
3
Let v be (-33)/176 + 747/144. Solve -80*s - 600 = -v*s for s.
-8
Let n be 0*(1/12)/(2/(-6)). Let p = -35 - -41. Solve n = -2*q + p*q + 4 for q.
-1
Suppose 0*t = -2*t - 2*y + 32, 3*t - 44 = -5*y. Let m(z) be the first derivative of -z**2/2 + 27*z - 49. Let c be m(t). Solve c = -4*l + 25 for l.
4
Suppose 14 = 4*i - 31*t + 32*t, 4*i + 2*t = 16. Solve -i*j = -68 + 56 for j.
4
Let y(d) = d**2 + 5*d + 6. Let j be y(-4). Suppose 7*n - 5 = j*n, 4*n = q - 1. Suppose -h - 5 = -2*m, 0*h = 5*m - q*h - 15. Solve m*g + 15 - 5 = 0 for g.
-5
Let r be ((-1)/1)/((-2)/34). Let i = -6540 - -6545. Solve -8 = -i*l + r for l.
5
Suppose -5*d + 14*j - 10*j - 310 = 0, -3*j = 3*d + 159. Suppose -83 = 5*s - 383. Let h = d + s. Solve -h*u = -5 - 3 for u.
4
Let r be ((-12)/18)/((-2)/(-3)). Let a(z) = 40*z**2 + 74*z - 4. Let t be a(-2). Let d be r*(1 - t - -5). Solve -2 = d*j - 0*j for j.
-1
Suppose -18 = -4*m - 10. Let h = 10 + -5. Suppose 4*o - 24 = h*z, -2*o + 12 = -2*z - 3*z. Solve -f + o = m*f for f.
2
Suppose 612*s = -71*s + 9076 + 153478. Solve -s*h = -222*h - 32 for h.
2
Suppose -347 = -3*x + c, -x = -3*x + c + 230. Let n = x - 59. Suppose 5*p + 5*m - n = -3, -5*p = -3*m - 55. Solve 5*h + p = -4 for h.
-3
Let n(b) = -10 + 2 - 9 + 13*b - 4 - b**2. Let t be n(9). Solve 2*s + t = 9 for s.
-3
Let o(b) = 2*b**2 + 4*b. Let a = 57 + -73. Let f be 1 + (4 - a/(-2)). Let m be o(f). Solve m*u + 20 = u for u.
-4
Suppose 228*c + 35 = 233*c. Solve 7*p - 21 = -c for p.
2
Suppose 5*i + 166 = 426. Let z(q) = -q**2 + 28*q - 40. Let t be z(28). Let w = t + i. Solve -3*d - w = -0*d for d.
-4
Suppose 181*d = 193*d - 789 - 591. Solve -28*l - 31 = -d for l.
3
Let d = -26 - -2. Let z be (-3)/d + 434/(-16). Let p be (-3)/((z/(-6))/(-3)). Solve -3 = p*f + 5 for f.
-4
Let y = -352 + 360. Solve -y*i + 1 = -9*i for i.
-1
Suppose -4*j + 4 = 0, 4*j - 49 + 9 = -g. Suppose 0 = -g*c + 20*c + 32. Solve 0 = -c*v + 3 + 5 for v.
4
Suppose 78*n - 80*n + 4 = 0. Suppose -n*c + 33 = r, 0 = c - 4*c + r + 47. Solve -5*o - c = -o for o.
-4
Suppose 25 + 41 + 512 = 34*v. Solve -v + 6 = 11*y for y.
-1
Let l(u) = 2*u - 9. Let i be l(6). Suppose -12 = 3*o - 2*o - 2*z, 0 = 2*z - 12. Solve -k + o = -i for k.
3
Let p be ((-30)/5 - -6) + 5. Let l = 31 - 17. Let y be ((-4)/l)/(19/(-133)). Solve p*w = y*w + 15 for w.
5
Let v(c) = 91*c + 1174. Let h be v(-11). Solve -169 + h = m for m.
4
Let v(a) = -a - 2. Let j be v(1). Let m be ((-28)/(-6))/(j*7/(-189)). Let i = -39 + m. Solve -8*r = -i*r for r.
0
Let f = -35 - -32. Let w be (2 + f)*0*(-7)/7. Solve 0 = -w*b + b - 2 for b.
2
Let n = -45 + 43. Let l be ((-138)/(-30) - n/5)/1. Suppose r = -3*g + 12, -5*r = l*g - 10*r. Solve 2*p - 5 = -g for p.
1
Let g = -392 - -397. Let f be g/(-3) - (1 - (-59)/(-3)). Solve -f*u + 16*u - 2 = 0 for u.
-2
Let b = -61 + 63. Suppose 0 = -f + 7 - b. Suppose -10*y + 2*u + 47 = -f*y, y - 3*u + 1 = 0. Solve 9 = -4*j - y for j.
-5
Let s(q) = q**2 - 11*q + 21. Let n be s(2). Suppose -8 + 14 = n*x. Solve x*l - 6*l = 12 for l.
-3
Let n(w) = 5*w**2 - 59*w + 61. Let u be n(12). Solve u*l - 66*l = -14 for l.
-2
Let m(z) = -3*z**2 - 37*z - 10. Let r be m(-12). Suppose 5*a + 49 = k + 24, 2*a - 2 = -r*k. Solve -k*f + 10 = -0*f for f.
2
Suppose 5*p - p = -5*d - 17, -2*p = 4*d + 16. Suppose -4*v + 14 = -4*k + p, -v + 3 = 2*k. Solve 0*q + 2*q - 4 = k for q.
2
Suppose 4*v = 3*m - 224, -v - 127 = -m - 53. Suppose 6*x - 15*x = -m. Solve 3*h = -h - x for h.
-2
Let a(d) = d + 6. Let j be a(-4). Suppose -3*n + 0*n = -12, -4*l + 48 = 4*n. Let x be (-1)/((-2)/l) - 2. Solve 16 = x*p + j*p for p.
4
Suppose -2*k + 3 = -q + 6, -3*q + 5*k = -9. Solve q = -3*v - 6 for v.
-3
Let s be ((-646)/(-4) - (-24)/16) + 9. Solve 0 = 11*v + 32*v + s for v.
-4
Suppose 4*s - 33 = -5*v + 147, -3*v = s - 115. Suppose -v + 150 = 10*d. Solve d*p = 4*p for p.
0
Suppose -1 + 29 = 2*r. Suppose 92*y - 92 = 79*y + 38. Solve r*w = y*w + 12 for w.
3
Suppose 5*o = 3*p - 8 - 23, -13*p + 2*o + 36 = 0. Let w = 8 - 6. Let f = 1 + w. Solve -f*s = -p*s - 5 for s.
5
Let h be (9 - (-100)/(-12))*45. Solve 46*n = 52*n - h for n.
5
Let k = -3822 + 3826. Solve 0 = k*g + 108 - 92 for g.
-4
Suppose 122*a = -116*a + 2142. Solve a*c - 252 = 45*c for c.
-7
Suppose 63 = -72*w + 1143. Suppose 0*b - 42 = -7*b. Solve x + w = b*x for x.
3
Let p(j) = -11*j + 124. Suppose -2*u + 2*x + 24 = -0*x, x + 1 = 0. Let r be p(u). Solve 3 + r = 2*l for l.
3
Let z(i) = -2*i**2 - 7*i - 11. Let g be z(-2). Let u be (-2 - 1 - g) + 1 + 5. Solve 0*o - u = 2*o for o.
-4
Let x = 18 - 17. Let i be 9 + (-4 - (x - 2)) + -1. Suppose -10 = -i*b + p, 0*b = -5*b - p + 10. Solve 1 = z - b*z for z.
-1
Let f = 101 + -156. Let i = -47 - f. Suppose 0 = -4*g + 20 - 8. Solve -i = -m - g for m.
5
Let r be (1/3)/((-3)/(-423)). Let w = -4467 - -4422. Let j = r + w. Solve -5*o - j = 8 for o.
-2
Suppose 0 = 153*h - 214*h + 366. Solve -5*g - 1 = -h*g for g.
1
Suppose -368*q + 366*q = -4*l + 4, 0 = -5*l + 5*q - 10. Let p be 164/(-10) - (-2)/5. Let n be (p/(-3))/((-2)/(-6)). Solve 4*m + l = -n for m.
-5
Let t(j) = 8*j**2 - 8*j - 5. Let x(b) = -b**3 + b**2 + b. Let r(y) = t(y) - x(y). Let d be r(-8). Let i = -5 + 7. Solve i = -f - d for f.
-5
Let a(c) = c**2 + 30*c - 551. Let s be a(13). Solve 12*y - 4 = s*y for y.
1
Suppose 0 = -3*h + 4 + 11. Suppose 54 + 18 = 18*j. Suppose j*d = 20, h*d = -i - 3*i + 25. Solve i*w - 12 = -3*w for w.
4
Let h be 6/8 - 905/(-20). Suppose 0 = 2*c + 74 - 54, 2*d = -0*d + 5*c + 62. Solve 13*q - d - h = 0 for q.
4
Let i(a) = -a**3 - 2*a**2 + 38*a - 3. Let o be i(5). Suppose -4*w + 12 + 0 = 0. Suppose 5*l + 4*p - 19 = 0, l + w = 3*l - 3*p. Solve k + l*k = -o for k.
-3
Let j = 471 + -467. Let d = 3 - 2. Suppose -5*y + d = -j*c - 0, c = -5*y + 31. Solve -5*m - c = 4 for m.
-2
Let g = -27278 + 27288. Solve g*t - 54*t = 132 for t.
-3
Let v be ((-40)/15 - -3)*(0 - 237). Let o = -52 - v. Suppose 0*u - 5*a = -3*u + o, a = -3. Solve 0 = -u*y + 7*y for y.
0
Let l = 20704 + -20701. Suppose -5*q = 5*n - q - 9, 30 = 2*n - 5*q. Solve -8*x = -n*x - l for x.
1
Suppose -275*z + 251 = -124 - 175. Solve 0 = -0*r - z*r - 12 for r.
-6
Let f = 49 + -45. Suppose -2*u + 5*u + 258 = 4*y, -2*y = -4*u - 124. Suppose 2*g + 26 = y. Solve 0*n + g = -f*n for n.
-5
Suppose -k = 3*k - 2*k. Suppose -3*f + 2*z + 17 = 2*f, -3*f + z + 10 = k. Suppose 0 = 7*u - f*u - 20. Solve 0 +