for s.
-4
Let u be (-30)/4*9/(135/(-84)). Let p = -40 + u. Solve 2*w + 0*w + p = 0 for w.
-1
Let k(z) = z**2 + 14*z + 44. Let u be k(-10). Let t be 66/9*(2 + -3 + u). Suppose -t = -3*i + 53. Solve -3*v - 2*v + i = 0 for v.
5
Let w = -170 + 170. Let x be 2 + 0 + w + 15. Solve -6*g - 13 = x for g.
-5
Suppose -4*f - 16 = 0, -4*l + 16 = -0*l - 4*f. Let t(q) = -q**2 - 5*q + 238. Let a be t(-18). Solve -m + a = -l for m.
4
Let o = 244 - 381. Let p = o + 140. Solve 7 - p = w for w.
4
Let q be 10 - (0 + (-4 - 0))/(-1). Suppose 12*r = 4*r - q*r. Solve -3*c - 6 - 6 = r for c.
-4
Let u be 3/7 - 1045/(-665) - 2. Solve 13*c + 4*c + 17 = u for c.
-1
Let p(w) = 2*w**2 + 51*w - 619. Let t be p(10). Solve -88*r + t*r - 3 = 0 for r.
1
Let q(m) = -15*m**2 - 16*m - 25. Let z(d) = 7*d**2 + 8*d + 13. Let i(o) = 2*q(o) + 5*z(o). Let y be i(-2). Solve -21*x - 2 = -y*x for x.
-1
Let y(p) = -p**2 + 5*p - 1. Let o be y(2). Suppose -4*m = -4*h - 44, -4*h - 39 = -5*m + 7. Let d(g) = 23*g + 227. Let r be d(h). Solve o*k + r = k for k.
-5
Let q(d) = -420*d - 402. Let v be q(-1). Let u = 12 + -7. Solve -u*p - v - 7 = 0 for p.
-5
Suppose 2*n + 35 = -5*j, -5*n = -8*j + 3*j. Let i be (((-54)/(-15))/(-3))/(1/j). Solve -2*q = q - i for q.
2
Let g = 33 - 30. Let o be (3/(-9))/(1/g)*-47. Let q = o - 39. Solve 0 = 3*v - v - q for v.
4
Let m be 180*((-12)/(-75))/(4/10). Let z be (1/3)/((-424)/m - -6). Solve 2*u = -u + z for u.
1
Let p = 396 + -388. Suppose -216 + 184 = -p*b. Solve -b*s + 7 = 3 for s.
1
Let h = 20 - 20. Suppose h = -4*x - 3*i + 10 + 11, 3*x - 13 = -5*i. Suppose -6*t = x - 24. Solve t*m = -0*m for m.
0
Suppose -37*z = 5*x - 34*z - 22, 2*x = -3*z + 16. Suppose 0 = -t - 3*t. Suppose 0 = -t*n - 2*n - 5*o - 21, -1 = x*n + o. Solve 3*w = n*w for w.
0
Suppose -21*q - 62 = -335 - 63. Solve 14 = q*b - 23*b for b.
-2
Suppose -3*x = 6, -g - 5*x - 4 = 4. Suppose 13 = 3*k + 1. Let u be (-2)/(2 + k/(-1)). Solve -g*d + 9 = u for d.
4
Let f be (-54)/(-12)*(-14)/(-3). Suppose -69 = -9*y + f. Suppose y*t - 2*t - 80 = 0. Solve 0 = 3*l + 2 + t for l.
-4
Let v be (328/32)/((-4)/112). Let j = 290 + v. Solve -2*b = j*b - 25 for b.
5
Let a(g) = 2*g**2 + 4*g - 3. Let l be a(-2). Let x = l + 5. Let b be ((0*x/(-6))/(-2))/(-2). Solve d - 4*d - 12 = b for d.
-4
Let n = -14942 - -15015. Solve 52*m + 229 = n for m.
-3
Let h be (-2)/(-20)*2*(-1640)/(-82). Solve 2*x - 2 = h for x.
3
Suppose 0 = 30*a - 8*a - 66. Let z(x) = -19*x + 122. Let q be z(6). Solve a*g - q*g = -15 for g.
3
Let w(y) = 57*y**2 - 129*y + 130. Let f be w(1). Solve f*g = 24*g for g.
0
Let y(l) = l**2 + 20*l - 4. Let d be y(-21). Suppose f - 5*n + d = 0, -5*n + 14 + 27 = 2*f. Solve 46*q - 50*q - f = 0 for q.
-2
Let x = 10 + -8. Let o be 5*(-3 + -7)/x. Let j = o + 27. Solve 7 = -j*q - 3 for q.
-5
Suppose 3*r - 40 = -31. Suppose 234 - 9 = r*l. Suppose -l = -5*t - v, -31 = -t - v + 4*v. Solve m - t = -3*m for m.
4
Let l be ((-3689)/(-238))/((-2)/(-4)). Solve 0 = 3*h - 46 + l for h.
5
Let z(f) = -2*f - 26. Let q(h) = -h**3 - 8*h**2 + h - 3. Let i be q(-8). Let t be z(i). Let x be (t/8)/((-1)/6). Solve 0 = -u - 0 - x for u.
-3
Let a(q) = -q**3 + 19*q**2 - 3*q + 63. Let n be (5 + 71)*(30/(-8) - -4). Let g be a(n). Solve g*h = 3*h for h.
0
Let r(n) = 29*n - 1 - 6 + 2199*n**3 - 2200*n**3 + 8*n**2. Let l be r(-3). Solve -4*j = -3*j - l for j.
5
Let y = -2994 - -2994. Solve y = 6*a - 686 + 728 for a.
-7
Suppose 4*r - 235 = d + 240, -359 = -3*r - 2*d. Suppose -22*z + 15*z + r = 0. Solve 0 = -9*g + z*g for g.
0
Let v = 24929 - 24872. Solve -v*b + 46*b = 0 for b.
0
Let w(v) = 4*v**2 + v + 1. Let f be w(-1). Suppose 2*s + 12 = -4*t, 4*t + 0*t + f*s = -20. Let o be (-5)/(t + -4)*3. Solve o*g = g for g.
0
Let v(f) = 3*f**2 + 9*f - 53. Let m be v(6). Solve -m = -9*q - 91 for q.
2
Let v = -3 - -9. Suppose -3*x - 3*n + 111 = 0, -3*n = 4*x - 71 - 75. Suppose -v*p - 11 = -x. Solve p*f = -f + 25 for f.
5
Let i(b) = -73*b - 231. Let v be i(-4). Solve 10*g - v = -101 for g.
-4
Let f(l) = l**2 + 5*l + 3. Suppose 5*x + 15 = -10. Let a be f(x). Let c(y) = 46*y - 228. Let w be c(5). Solve -p + a = w*p for p.
1
Let a(c) = 8*c**3 - 2*c**2 + 122*c - 245. Let g be a(2). Solve -21*n = -32*n - g for n.
-5
Let m be 20*-1*(-2)/8. Suppose -3*k = -k - 4*l, -5*k - m*l = 0. Solve -15 = 5*s - k for s.
-3
Let l be (1/1)/((-4)/(-20)). Let s(t) = 9*t + 13. Let r be s(-3). Let w be 0 + 8 + 11 + r. Solve l = w*o - 0 for o.
1
Let l be 27/3 + -2 + -1. Suppose -l*d - 74 = 244. Let y = d + 53. Solve 0 = b - y*b for b.
0
Let b(t) = -t**3 - 5*t**2 - 1. Let j be b(-5). Let i = 44 - 46. Let l be j/i*-4 + 4. Solve -l*z = 1 - 3 for z.
1
Let m be 0*(-12 + 10 + 1). Let l = 1 + 5. Solve -l*k = -m*k for k.
0
Let s = -73 - -83. Suppose 0 = 3*x + 3*q - 15, 5 = 3*x - 2*q - s. Solve -x = -2*p - 3 for p.
1
Let s = 4446 + -3755. Solve 0 = s*d - 682*d for d.
0
Let z = 25 - 29. Let a be ((6 + z)/(-2))/(-1). Let c = -8 + 14. Solve x + a - c = 0 for x.
5
Let v be 20*((-5)/(400/(-148)) - (-5)/(-4)). Solve 65 = v*c + 5 for c.
5
Suppose -18*x + 30*x - 3948 = 0. Suppose -14*g = 7 - x. Solve 0 = -5*c + g - 28 for c.
-1
Let g = -192 - -374. Let d = g - 180. Solve d*b = 8 + 2 for b.
5
Suppose 20*j - 5*a = 24*j + 453, 5*j = -4*a - 573. Let n = j + 132. Solve 10*r + n = 7*r for r.
-5
Let g(a) = 512*a**2 + 53*a + 4. Let y be g(-1). Solve y*f + 38 = 482*f for f.
2
Let m(p) = 50*p**2 - 2*p. Let y be m(-1). Let c = y - 37. Let k be 1*(-8)/((-8)/c). Solve -7*d + k = -4*d for d.
5
Suppose -n + 2*n - 4 = 0. Let a = 125 - 121. Let i(y) = -13*y + 58. Let d be i(a). Solve -n*t + d = -6 for t.
3
Suppose -80*q + 540 = -74*q. Solve 39*p - q = 24*p for p.
6
Suppose -v - 4 = 2. Let d = -3 - v. Suppose 8*o + 66 = 19*o. Solve -d = w - o for w.
3
Suppose -5*v + 0*v + 3*c = -56, 0 = 3*c + 6. Let b = 2 + v. Let d(l) = 2*l + 3. Let z be d(1). Solve z*u - b = -32 for u.
-4
Suppose -5*v + 43 = -3*g, -15 = -5*g + 5. Suppose -5*o + 63 = -1009*j + 1011*j, 2*j = -3*o + 33. Solve -o = 14*n - v*n for n.
-5
Let z = 37 + -34. Suppose z*r - w + 2*w - 52 = 0, 2*r + 3*w - 37 = 0. Solve 3 + r = 4*p for p.
5
Let p = -23 + 20. Let x be 184/24 - 4/p. Suppose -27 = x*w - 72. Solve -w - 4 = -3*y for y.
3
Let r = -99 - -108. Suppose -14*q = -r - 19. Solve -14*x + 12*x = -q for x.
1
Let v(o) = 4*o**3 - 27*o**2 - 22*o - 138. Let h(i) = i**3 - i**2 - i + 2. Let g(f) = -3*h(f) + v(f). Let z be g(25). Solve a = z*a + 20 for a.
-4
Suppose -7*i = -12*i + 8*i - 2247. Solve i*s - 70 = 739*s for s.
7
Let h be (-34848)/(-2475) - (-3)/(75/(-2)). Solve h*p + 104 - 34 = 0 for p.
-5
Let i = -15536 + 15573. Solve -39 + i = -y for y.
2
Let o(g) = 13*g - 132. Let q be o(10). Let x be q/((-56)/35)*4. Solve -f + x*f = -4 for f.
-1
Let z be 10*(2 + 124/(-50))*-5. Suppose -2*v + k = -7, 5*v + 8*k - z = 4*k. Solve 8*y - v*y = -20 for y.
-5
Let r = 3029 + -1698. Solve -1342*f = -r*f - 33 for f.
3
Let u = -133 + 145. Suppose -x + 3 = -2*g, -5*x + x + u = g. Solve 7*o + 0*o - 35 = g for o.
5
Let x = -8538 - -8686. Solve -149*v - 7 = -x*v for v.
-7
Let j(z) = 19*z - 83. Let p be j(5). Solve f = -p*f + 26 for f.
2
Let x(w) = 20*w + 41. Let t be x(-2). Let f be t + -2 + 27/27. Solve 10*v = 10 - f for v.
1
Let n = -509 - -517. Suppose 32*r = 33*r - 6. Solve -r = 7*c + n for c.
-2
Let y = 621 - 556. Suppose -7*t + 117 = -y. Solve t*n - 31*n = 5 for n.
-1
Let b be (-2)/(-4) - 9/(-2). Let r = 492 + -286. Let a = 206 - r. Solve 0*n - b*n - 5 = a for n.
-1
Suppose -301 = -5*n + r, 5*n = 7*r - 10*r + 297. Let z be 7*(3 - n/28) + 35. Solve -10*x - z - 9 = 0 for x.
-5
Suppose -10785*l + 160 = -10777*l. Solve 194*q - l = 198*q for q.
-5
Suppose 0 = 5*z + 4*m - 3921, 0 = 37*z - 33*z + 5*m - 3135. Solve 5*i + 755 = z for i.
6
Let o = 8 - 5. Suppose 0 = 4*z - 271 - 45. Suppose -4*l = -3*j - z, -2*l = l + o*j - 33. Solve -5*v = -v - l for v.
4
Let b(l) = 7*l**3 - 4*l**2 + 4*l - 9. Let m(n) = 8*n**3 - 5*n**2 + 5*n - 10. Let i(j) = -7*b(j) + 6*m(j). Let u be i(-1). Solve u = 5*t - 3*t + 4 for t.
-2
Let h(r) = r**3 + 5*r**2 + r - 2. Let g be 5 - ((-9)/(-1) + 0). Let t be h(g). Solve n + t = 3*n for n.
5
Let a = -2408 + 2416. Solve -a*b = -40 + 8 for b.
4
Let u = -37 + 34. Let y be 1/4 - u/(-12). Solve y = 3*a - a - 8 for a.
4
Let p be (-1)/2*(-306 - (-420)/(-21)). Let t be 2*79 - 3/(-3). L