 = w, 5*v - 3*w - u = 0. Let o(s) = -s + 26. Let i be o(v). Solve -i*q = -0*q - 15 for q.
3
Let y be (-2 - ((-32)/(-6) - 5))/((-35)/30). Let t(v) = v + 3. Let o be t(0). Suppose -o*g + 6 = -0*g. Solve 6 = -y*i + g for i.
-2
Let z(k) = k**3 + 6*k**2 + 12*k + 20. Let u be z(-4). Let a = 8 - 4. Solve a*j - u = -4 for j.
0
Suppose -z = -0*z + 4*r - 17, 2*r = z + 1. Let m(f) = -f**3 - 12*f**2 + 50*f + 77. Let n be m(-15). Solve 8 + n = -z*u for u.
-2
Let a(q) be the second derivative of 7*q**3/6 - 155*q**2/2 + 24*q + 2. Let c be a(23). Solve -2*h = -4*h - c for h.
-3
Let s(x) = 2*x + 205. Let j be s(12). Solve -j*y + 242*y = 0 for y.
0
Suppose 187 = 5*z + 4*d, 4*d - 7*d - 166 = -5*z. Suppose 0 = 36*c - z*c - 4. Solve -b + c = 3 for b.
1
Let r = -3877 - -4041. Solve 20*p - r + 44 = 0 for p.
6
Let y = 1 - -1. Let f(p) = 2*p - 8. Let u = -19 + 24. Let v be f(u). Solve -v*k - 10 + y = 0 for k.
-4
Suppose -2*i - 37 - 24 = -97. Solve i = 12*c - 3*c for c.
2
Suppose -2*k + 2*y + 0*y + 30 = 0, -y = 3*k - 33. Let g(l) = -l**3 - 8*l**2 + 16*l - 13. Let v be g(-9). Let r = v + 80. Solve -r*a + k = -a for a.
4
Suppose 35*r - 21*r = -70. Let z(t) = t**2 + 6*t + 11. Let n be z(r). Solve -2*q - n - 4 = 0 for q.
-5
Suppose -5*t - 43 = 3*o - 192, -5*t + 20 = 0. Solve f + o*f = 0 for f.
0
Suppose -4*f = 84*r - 88*r - 36, 25 = -5*r. Solve 16*a - f*a = -72 for a.
-6
Let p(g) = 2*g**2 - 6*g + 6. Let k(y) = y**3 + 4*y**2 - 7*y - 8. Suppose -4 - 21 = 5*s. Let m be k(s). Let i be p(m). Solve 0 = -a + 1 - i for a.
-1
Let s = 32638 - 32619. Solve -s*q + 276 = -111*q for q.
-3
Suppose -o - 23*x = -20*x + 6, 0 = 4*o + 4*x. Solve o*i - 55 = 14*i for i.
-5
Let y(s) = s**3 - 38*s**2 - 85*s + 238. Let i be y(40). Solve -50*j = -i*j + 36 for j.
-3
Suppose -5*w - 1115 = -228*w. Solve 51*v - w = 46 for v.
1
Suppose -12*t = -7*t. Suppose t*f = 8*f - f. Suppose 5*m = -f*m. Solve m*p + 2*p = -2 for p.
-1
Suppose -c + 5*c = 4. Let d(w) = -10*w + 12. Let x be d(c). Solve -j + x - 3 = 0 for j.
-1
Let a(w) = w**3 - 11*w**2 + 28*w - 3. Let x be a(8). Solve -x*v + 39 = -16*v for v.
3
Let x = -15 - 55. Let u be x/28*(528/(-15))/4. Let t be 54/90 + u/5. Solve 29 = -t*k + 9 for k.
-4
Let r(a) = -a**3 + 33*a**2 - 259*a - 104. Let j be r(19). Solve j*o - 301 = -69 for o.
8
Let k = -3220 - -3600. Solve -k = u - 376 for u.
-4
Suppose c - 3 = 5*z, -4*c + 4*z + 12 = 3*z. Suppose -4*y + 2*a = -y - 22, 0 = -c*y - a + 7. Let v be 77/28 - (-1)/y. Solve v*i - 3 = -15 for i.
-4
Let c = 157 + -102. Let j = 55 - c. Let h be ((-60)/25)/(2/(-5)). Solve 3*a + j = h for a.
2
Suppose 0 = -5*o + 7*x + 237, -150 = -6*o + 2*o - x. Solve -34*i - o = -107 for i.
2
Let a = 172 + -166. Suppose 16 = o + a. Solve 0*t - 5*t = -o for t.
2
Let a be 3*((-11)/(-3) - 3). Suppose -16*v = -83*v + 335. Solve -v*q = -a*q for q.
0
Suppose -4 = 8*i - 13*i - 2*b, 0 = 4*i + 5*b - 10. Suppose 3*u - 4*v + 32 = 5*u, 4*u + 4*v - 44 = i. Solve w = -5*w - u for w.
-1
Let a = 4847 + -4835. Solve -p + a*p = 0 for p.
0
Let v be (6*-1)/(0 - 1/(-1)). Let p(c) = c**2 + 7*c + 5. Let u be p(v). Let s be 3/((-9)/u) - (-1)/(-3). Solve 0 = -s*j - 4*j + 4 for j.
1
Let j(k) = 0*k**2 + 206*k - 6 - 218*k + 21*k**2 + 6. Let r be j(1). Solve -r*u = -u + 24 for u.
-3
Suppose 85 = -2*n + 19*n. Solve -n*t - 1288 = -1283 for t.
-1
Suppose 4*l = 5*m - 432, -4*m + 539 = 5*l + 177. Solve m*o + 75 = 73*o for o.
-5
Let k(g) = g**3 - 12*g**2 + 31*g + 8. Let s(h) = h**2 + 31*h - 58. Let x be s(2). Let i be k(x). Solve 11*q + 9 - 53 = i for q.
4
Let l = -169 + 185. Solve 9*u = -43 + l for u.
-3
Suppose -26 = -4*h - 2*t, 0 = -t - t - 10. Suppose p - 37 = -h. Let r = -23 + p. Solve -b = -r*b for b.
0
Let m(q) = -q**3 + 9*q**2 + q + 18. Let x be m(9). Let a be ((-2)/4 - 1)/(x/(-36)). Solve 0 = 18*c - 16*c - a for c.
1
Suppose 0 + 6 = 3*a. Suppose 5*j + i - 9 = 2*j, -3*i + 13 = a*j. Suppose -15*w + 9*w - w = -56. Solve 14 = -j*r + w for r.
-3
Let k = -5287 - -5411. Solve -19*m + k = 48 for m.
4
Let a be 2/8 - (-18)/(-8). Let z be (3/a)/(9/(-24)). Let g(n) = 4*n**3 + 7*n**2 - 57*n + 4. Let i be g(3). Solve 3*s = i*s + z for s.
-4
Suppose 0 = c - 0*c - 108. Let q = 108 - c. Suppose -4*k - 4*s + 20 = k, -5*k + s - 5 = q. Solve k*d - 5*d = 0 for d.
0
Suppose -3*q = -l - 3, -97*l + 102*l - 57 = 3*q. Let g be (-216)/(-180)*(4 - (-1 + 0)). Solve -g*h = -l*h for h.
0
Let m = -106 - -106. Suppose 4*b + 0*y - 5*y - 42 = 0, 34 = 4*b - y. Let q = 14 - b. Solve 2*p + m = -q for p.
-3
Let d = 305 + -285. Solve 5*j = d - 25 for j.
-1
Suppose -2*a - 96 = -4*a - 4*y, 5*y = 3*a - 122. Let p = a + -34. Suppose -v + 26 = -5*u, 0 = 2*v - v - u - p. Solve -5*k + v = -9 for k.
3
Let q(c) = 4*c + 18. Let u be q(11). Let f = -58 + u. Suppose 2*h - f*h + h = 0. Solve 4 = -h*a - a for a.
-4
Let y(j) = -14*j**3 + 13*j**2 + 4*j - 41. Let p(w) = 17*w**3 - 14*w**2 - 5*w + 42. Let x(b) = 5*p(b) + 6*y(b). Let z be x(-7). Solve 2*t - z = 7*t for t.
-4
Suppose -4117 = -13*q - 10*q. Let y = 184 - q. Solve -y = 5*w - 20 for w.
3
Let b be (((-567)/6)/3)/(20/(-40)). Solve -14*f + 91 = b for f.
2
Suppose 359 = 3*k - t, 0 = -k - 6*t + 2*t + 111. Let u = 122 - k. Solve u*o = 4*o for o.
0
Suppose 130*l = 129*l - 3*g + 9, 0 = -4*g - 4. Solve 0 = l*d - 790 + 754 for d.
3
Suppose 0 = 4*v + 334 - 106. Let f = -55 - v. Suppose -f*d - d = -d. Solve 2*h - h = d for h.
0
Let w be (78 - 0)/((36 - 34)/(-4 - -5)). Solve -w = b - 46 for b.
7
Let n = 919 + -856. Solve 6*h = 33 - n for h.
-5
Let c(q) = -141 + 11*q + 172 - 10*q. Let v be c(-17). Solve 0 = 11*p - v*p + 15 for p.
5
Let d(v) = -5*v**2 - v + 6. Let z be d(-7). Let k = -228 - z. Solve h = -h - k for h.
-2
Let t be 0 - -10 - (3 - -3). Let i be (-23 + 21)/((-2)/3). Solve r = -i*r - t for r.
-1
Suppose 1276 = 6*h + 38*h. Solve 7*d - 15 = -h for d.
-2
Suppose -4*k + 12 = 0, j + 3*k = -1371 + 1425. Solve -19*z = j - 64 for z.
1
Let c(s) = s**3 + 27*s**2 + 29*s - 31. Let y be c(-24). Let i = y - 296. Let t be i/90 - 1/(-6). Solve 4*d + t + 4 = 0 for d.
-3
Let r be -2 + 15 + 19 + -10. Solve 10*n + 64 = -r*n for n.
-2
Let j be 6/(1*2) + (-273)/91. Suppose -5*i + 3*l = -9 - 5, j = 2*i + 3*l + 7. Solve q - i = -0 for q.
1
Suppose -4*d = -35*f + 33*f + 64, d + 71 = 3*f. Solve f*z = 30*z + 8 for z.
-1
Let y be (142/213)/((-6)/(-45)). Let r be 4/18 + (-196)/(-9). Solve -7 = -y*t - r for t.
-3
Suppose 0 = 4*z - p + 13 - 70, 3*z - p = 41. Solve -z*w + 36*w = -29*w for w.
0
Suppose -46126 = 18*i - 46306. Solve -i*r + 76 = 126 for r.
-5
Let x = 11 + -44. Let j = -29 - x. Let v(y) = y + 1. Let u be v(j). Solve u*h = 4*h + 1 for h.
1
Suppose 2*f - 10 = -4*j + 7*f, -5*j + 33 = 4*f. Solve j*b - 36 = -21 for b.
3
Let n be 3/(-18)*4*-3*12. Suppose x = -x - n. Let s be (-70)/x + 3/18. Solve -o - o = s for o.
-3
Let n be 1 + (-3 + 0)/(-6)*-2. Let w = -14 - -24. Solve -5*f + w = -n*f for f.
2
Let f(i) = 14*i + 7. Let r be f(4). Suppose -2*d = -r + 13. Suppose -7*u + 3*u = q - d, 2*u + 1 = -5*q. Solve 4*l = 1 + u for l.
2
Let p(f) = -19*f - 25. Let r be p(7). Let q = -158 - r. Solve q = v - 2 for v.
2
Suppose -2*x + 114 = -4*t, 2*t + 34 = -x - 21. Let c be 2*3/24 + t/112. Solve -v = -c*v + 2 for v.
-2
Suppose 17 = 5*u - 13. Suppose -8*l + u = -74. Let p be (l/(-6))/(12/(-36)). Solve 0 = 5*m - 0 + p for m.
-1
Suppose 5*l + 2*v + 630 = 0, 4*l - 2*v - v + 504 = 0. Let z be (-20)/(-14)*(-48 + 34)*34/(-5). Let y = l + z. Solve 0 = -2*c - 0*c + y for c.
5
Let j = 9005 - 8939. Solve -12*x - 18 + j = 0 for x.
4
Suppose 9*s = 10*s + 57. Let p = s + 57. Let w = 3 + p. Solve -5*x + 12 = -w for x.
3
Let s(j) = j**3 - 30*j**2 + 79*j + 72. Let a be s(27). Solve 0 = -46*r + a*r - 112 for r.
-4
Let d = -167 + 114. Let a = -59 - d. Let m be ((-4)/18*a)/(2/3). Solve m*t - 15 = -3*t for t.
3
Let q(g) = 49*g + 502. Let u be q(-7). Solve 6*n = -165 + u for n.
-1
Let c = -3007 - -3010. Solve c = -9*m + 48 for m.
5
Suppose 2*p + 2 = 6. Let q = p + 0. Let j = -30626 - -30626. Solve q*f - 7*f = j for f.
0
Let f(j) = j**3 + 6*j**2 - 9*j - 39. Let q be f(-4). Suppose 0 = -2*a + 25*k - q*k + 10, 5*k = 0. Solve 0 = -a*u - 10 for u.
-2
Suppose -92 = -4*t - 5*l, -21*t - 6*t - 4*l + 621 = 0. Solve t*j + 165 = 50 for j.
-5
Let n = 429 - 377. Suppose s - 245 = 6*s. Let b = n + s. Solve 0 = h + b - 1 for h.
-2
Let q = -104 +