1 = 0 for w.
3
Let c(n) = 18*n + 37. Let o(u) = -16*u - 36. Let s(m) = 5*c(m) + 6*o(m). Let v be s(-6). Solve -v*g = a + 3 + 2, 2*g - 20 = 4*a for g.
0
Suppose -4*y = 3*l - 2, 1 + 15 = -4*y - 6*l. Solve -4 = 4*o + y*n - n, -3*o - 11 = 5*n for o.
3
Suppose -4 = -r + 2. Let x(l) = 2*l**3 + 4. Let n be x(0). Suppose 6*z + 10 = n*t + 3*z, -4*z = 4*t - 24. Solve 2*g + 2 = -t*s, 3*g = -s - r - 7 for s.
2
Let o be 2 - (-8)/(-4) - (-9)/3. Suppose 32 = w - 7*d + 3*d, -w - o*d = 3. Suppose -2*s + 6 = -w. Solve 5*h + 1 = n + 17, 4*h - s = -3*n for h.
3
Let u be 2 + 9 - -4*21/14. Let q be ((-1)/3)/(6/(-108)). Solve -3*c = -15, c = -2*t + q*t + u for t.
-3
Let y = 110 - 110. Let u = -88 + 88. Solve -n - r - 1 = y, 7*n - 2*n - 2*r + 12 = u for n.
-2
Suppose 9*f - 108*f = 0. Solve -8 = -2*n - 4*m, 5*n + 3*m = -f*n + 13 for n.
2
Suppose 11*j - 16*j = -130. Suppose 1 = -5*z + 116. Let t = j - z. Solve t*q - 7 = -g, -g + 13 = 4*q + q for q.
3
Suppose -126*j - 4*w = -129*j + 17, -11 = -3*j + w. Solve 5*m + 5 = 2*h, -4*h = j*m - 2 + 31 for h.
-5
Let a be 4565/(-33) - (-4)/(-6). Let z = a - -143. Solve z*q - 4*d - 20 = 0, 4*q + 4 = 2*d - 6*d for q.
2
Let r = -84 - -89. Suppose -r*y + s = -15, -s + 7 = 5*y - 8. Solve 5*u = -2*q - 5, -2*u + y*u = 3*q - 18 for q.
5
Let b(a) = 2*a**3 - a**2 - 2*a + 7. Let i be b(2). Solve 3*q + 9 = 0, -i*z + 23 = -19*z - 5*q for z.
-2
Suppose -32 - 2926 = 6*w. Let u = -492 - w. Solve -15 = -5*a - 5*l, 3*a - 3*l + u + 2 = 0 for a.
1
Let m = -625 - -628. Solve 2*u - 2*d + d + 1 = 0, 0 = 5*u + m*d + 19 for u.
-2
Let a be (-1)/(-4) - (-897)/92. Suppose 31*t - a*t = 42. Solve 2*u + 8 = 0, 5*u = -t*f - f - 17 for f.
1
Suppose -4*p - 4 = -5*p. Let w = 525727 + -525725. Let k be (-200)/(-11) - 10/55. Solve w*r + k = -4*g, -p*g = 4*r - 7 + 31 for r.
-3
Suppose 65*s + z = 69*s - 14, 0 = -2*s - 2*z - 8. Solve 2*w + h = 2*h + 7, -s*h - 13 = -3*w for w.
1
Let y = -34159 - -34165. Solve 11*x = 13*x + 2*p, -3*p = y for x.
2
Let d(h) = -17*h - 36. Let u be d(-2). Let y be 6/(6/5) - (u - -3). Solve -y*l - 4*r = -17 - 3, 4*r = -5*l + 24 for l.
4
Let w(l) = -783*l - 6255. Let a be w(-8). Solve -3*y - 4*g + 73 = 80, 4*g = -5*y - a for y.
-1
Let k = -726 + 791. Let r(q) = q**2 + q + 68. Let n be r(0). Let b = n - k. Solve b = -2*c + j, c + 0*j - 3 = 2*j for c.
-3
Let z be ((-391)/(-102) + -4)/(4/(-48)). Solve -3*y + 4*y - 15 = z*b, -43 = -5*y + 2*b for y.
7
Suppose 2*m + i = 1222 - 1223, 0 = 3*i + 21. Let p(n) = 2*n**2 + 1. Let v be p(-1). Solve -m*u - 13 = -2*r, 7*u + 4*r + 24 = v*u for u.
-5
Let h = -5229 + 5231. Solve 3*o + 5*x = 8*o - 40, h*x = 5*o - 28 for o.
4
Suppose 17*c = -4*k + 13*c, -2*k - 3 = 3*c. Solve 5*b + 0 + 3 = -k*m, m - 13 = 3*b for b.
-3
Suppose x - 2*k = 73, -3*k - 2*k = x - 59. Suppose -10*y + x = 39. Solve 4*f - 2*i - y*i - 12 = 0, 3*f - 9 = -2*i for f.
3
Suppose 5*q + 5*x + 265 = 0, q = -4*q + 2*x - 286. Suppose 0 = 46*j + 1 + 2391. Let u = j - q. Solve u*c - 2*c - z = -7, -3*c + 4*z = 23 for c.
-1
Let w be 2*-7*(-48)/168. Let x be (-108)/24*1*w/(-6). Suppose -5*k = -3 - 2. Solve 4*m + 1 - x = -2*h, k = 4*m + h for m.
0
Let h be (-6)/(-8)*4 - 0. Let o(l) = -70*l**2 + 3*l + 3. Let q be o(-2). Let s = q + 308. Solve 5*w - 5*a + s = 0, -w + h*w = -3*a for w.
-3
Let g(h) = -h**3 + 15*h**2 - 8*h - 1. Let m be g(15). Let t = m - -122. Solve b - 2*o + t = 0, -o - 4 = -4*b + 6 for b.
3
Let s be -5 + 0 + (-36)/(-3) + -4. Suppose 5*m - 7 = v, -9*v + 6 = -5*v - s*m. Solve 3 = v*t - 5*y, -7 = 4*y + 5 for t.
-4
Let c(t) be the first derivative of 14*t**3/3 + t - 9. Let a be c(-1). Solve -a = 5*z + b, b = -z - 2*b + 11 for z.
-4
Let t be -4 + 16 - (-3 + 1). Let c(x) = -x**2 - 42*x + 237. Let w be c(-47). Solve s = v, -3*s = 2*s + w*v - t for s.
2
Suppose 0 = -4*z + 3 + 5. Suppose d + 97 + 182 = 5*y, -3*d - 287 = -5*y. Let h = 55 - y. Solve -j - z*j - o - 17 = h, 30 = -5*j - 2*o for j.
-4
Let h be (5/(-2))/(1 - (-9)/(-4)). Let x be h*3/(-6) - 0/1. Let y(u) = -13*u - 8. Let b be y(x). Solve 2*q = -3*w + 1, -4*q + b*w = -q - 30 for q.
5
Suppose 18*k = 21*k - 846. Let c = k + -266. Let d be (-4)/14 + (-86)/(-7). Solve -3*s = -0*s - 5*o + c, -3*o = -s - d for s.
3
Let o be ((2940/40)/(-21))/(14/(-8)). Solve -j + 9 = o*v, -v - 2*j = -4*v - 4 for v.
2
Let l(y) = y**3 - 17*y**2 + 29*y + 17. Let q(n) = -2*n + 1. Let t be q(-7). Let m be l(t). Solve 5*o - 16 = m*d + 2*d, 8 = -2*d for o.
0
Let v(f) = -332*f + 1663. Let o be v(5). Solve 3 = o*y + 15, 12 = j - 2*y for j.
4
Suppose -y + 2*p + 0*p = -13, 0 = 3*y - 3*p - 30. Suppose -3 = -y*b + 25. Solve -2*u - 3*n - 1 = 0, -u + n - 4 - b = 0 for u.
-5
Suppose -2*m - 3*o = -180, -4*m + 7*o = 4*o - 396. Let t = m + -91. Solve -10 = 2*u - 7*u - t*p, 0 = 5*u + 4*p - 13 for u.
5
Let c be (-7)/35 - 2/(-10). Suppose c = -5*h + 13 + 2. Suppose 4*p + 5*r = 15, -3*p + 6 = 3*r - 3. Solve 5*k + h*u = 4 - p, k - 2*u - 6 = 0 for k.
2
Suppose 2*y - o - 25 = 7*y, -y - 5*o = -19. Let l be (0 - 1)/(y + (-153)/(-27)). Solve -n = 4*n - 2*q - 5, -l*n - 5*q + 3 = 0 for n.
1
Let d = 110 - 144. Let t be ((-256)/24)/(2/9). Let s = d - t. Solve -h + 2*a + 2*a = -s, 5 = -5*h - 5*a for h.
2
Let t be (2 - (-104)/(-39))/((-2)/6). Let q = 18 - 15. Suppose 5*z - 8 = -q. Solve -33 = -5*w + t*n, z - 2 = -w - n for w.
5
Let u be 891/66 - (6 + -8 - 6/(-4)). Solve -s = 3*t + u, 3*s + 17 = -5*t - 13 for t.
-3
Let g be (5/2 - -1)*(3444/(-196) + 21). Solve 10*p - g*p - i - 8 = 0, -p - 4 = 2*i for p.
-4
Suppose 3*d = 4 + 8. Suppose 17*t - 21*t = 4*n, 0 = 2*t + d. Solve -j - u - 3 = -0*j, -j - n*u = 4 for j.
-2
Suppose 14*i + 39 = -73. Let k(z) = 41*z + 331. Let v be k(i). Solve h + f + v - 1 = 0, -5*f = 3*h for h.
-5
Suppose -2*j + 71 + 57 = 0. Suppose j = -142*a + 150*a. Solve 15 = -0*c + 5*c, a = 2*r + 4*c for r.
-2
Let s = 11737 + -11685. Solve 48*t - s*t = 4*j - 20, -4*j + 2*t = 4 for j.
1
Suppose -283*o + 569*o + 26 = 299*o. Solve -3*f = -o*i + 16, 6*f - 5*i + 2 = 8*f for f.
-4
Let f be (-3 - 64/(-20)) + 774/5. Let r be 2/(18/f) + 6/(-27). Let d be 1/2*(r - 9). Solve 5*p = -d*o - 17, -8*p - 13 = 3*o - 4*p for o.
-3
Let u be 153/34 + (-1)/(5 + -1 - 2). Suppose -2 - 3 = -j. Solve 0 = -4*p - u*l, j*p - 14 = 4*l + 22 for p.
4
Let j(i) = 10*i - 23. Let m be j(-17). Let d = -190 - m. Solve -5*z - 2*u = 33, d*z = u - 3*u - 23 for z.
-5
Suppose -w + 1 = 2*b, -5*b + 5*w + 21 + 19 = 0. Suppose -3*n = -2*f + 15, 0 = 4*f - 3*n + 8*n + b. Solve -f*v = 5*a - 7 - 6, 3*v = -3*a + 3 for a.
5
Suppose f - 62 = -2*q + 6*f, q - 3*f = 33. Let l(a) = -32*a - 81. Let d = 278 + -281. Let m be l(d). Solve -4*x + 3*s - 2 + q = 0, -5*s + m = 5*x for x.
4
Let w be (-132)/(-15) + (-6)/(-30). Let n(h) = h**3 + 2*h**2 - 11*h - 8. Let x be n(-4). Solve 3*g = -4*a, -a - 4*g + w + x = 0 for a.
-3
Let a(t) = 3*t**2 + 5*t + 3. Let s be a(-2). Let n(k) = k**3 - 14*k**2 + 33*k + 4. Let l be n(3). Solve -l*u - 7 = 4*m + 25, -s*u + 10 = -5*m for m.
-5
Let j(c) = -c**3 - 15*c**2 - 28*c - 24. Let l be j(-13). Suppose -2*t = -s + 5, t = -0*t - l. Solve a - s = -0*a + q, -14 = -2*a - q for a.
5
Let y = -23767 + 23793. Solve -2*w = -4*n - y, -11*n - 7*w + 10*w = 59 for n.
-4
Let j be ((-4)/12*-57 - 4) + -3. Suppose j = -z + 29. Let x be (3/(-5))/((-2)/10). Solve -2*m + 9 = -5*c, x*c + z + 1 = -3*m for c.
-3
Let r = -4084 - -4089. Solve -3*y - r*a + 15 = 28, -5*y - 2*a = -10 for y.
4
Suppose i + 10 = 2*c - 3*i, -3*c - 5*i = -48. Suppose 0 = -5*g - y - 4, 2*y + 36 = -4*g - 7*y. Solve -2*z = -4*t + 16, -z + 4*t - c - 7 = g for z.
2
Suppose -4*n = 6*n - 110. Suppose -2*m = 4*t - 3 - n, -3*m - 34 = -5*t. Solve -t*s = 2*c + 4, 0*s = 3*s for c.
-2
Let h(d) = -15*d**3 - d**2 + 1. Let g be h(-1). Suppose -3*a + 12 = -4*a - 4*m, 3*a = 5*m + g. Solve a = 3*v - f - 2, 4*v - 2*f + 2 = 4 for v.
1
Suppose 4*v + f - 17 = 0, 14 - 26 = -2*v - 4*f. Suppose 9*o = 8*o - v*u + 26, -o + 4*u = 14. Solve c + 5 = j, 0 = j - 5*c + 3*c - o for j.
4
Let x = 6441 - 6437. Solve -x*t = -a + 22, -31*a + t = -32*a - 3 for a.
2
Let a be 2 - (6 + 1)*-1. Suppose -m - 6 = -a. Solve 0 = m*h + 3*c - 3, 5*h + c - 12 = 1 for h.
3
Let d(a) = -54*a - 616. Let l be d(-12). Solve 5*n - 4*j = l, -4*j - 14 = -2 for n.
4
Let w = 4 - 4. Suppose 6*j - 11*j + 15 = w. Solve -4*o - 5*r - 10 = -5*o, 0 = -j*o - 4*r - 27 for o.
-5
Let d = -2