 3*w = 0. Let d be ((-5 - w) + -31)/(-2). Solve -2*c = 6*a - 2*a - 4, -4*a + d = -5*c for a.
2
Let p be (21/(-49) - 0) + 1011/7. Suppose 0*f = 24*f - p. Solve 2*m - 5*m = 4*x + 23, 0 = 2*x - 4*m + f for x.
-5
Let k = 8292 - 8291. Solve -r = -v + k, -3*v + 17 = 3*r - 2*v for r.
4
Suppose 0 = 3*c - 0 - 42. Let p be (-3 + 4*-17)/(-1). Let l = p + -68. Solve -3 + 1 = l*j - o, -c = 5*j + o for j.
-2
Let i = 5363 - 5358. Solve 8*o = 11*o - 5*m - 22, -i*m + 2 = 3*o for o.
4
Let a(g) = -2*g - 5. Let k be a(-6). Suppose -2*q - i = -4, 37*q - 2*i = 36*q - 8. Solve k*o - 2*o - 6 = -4*p, q = -2*p - 4*o for p.
4
Let r = 24 - 23. Suppose r - 6 = 5*h. Let i be -7 + 9 + (-3)/h. Solve b = 4*v - 9, -i*b - v - 4 = -1 for b.
-1
Let o be -51 + 0/((-2)/(-3 - -1)). Let q = 53 + o. Let k be 46/8 + 1/4. Solve 4*j = q*a - k, -j - 12 = -3*a + 2*j for a.
5
Let b(n) = -n**2 + 2*n + 17. Let m be b(8). Let j = -35 - m. Let a be 5/3 + j/(-12). Solve 0*d = 4*d + a*r - 14, 10 = 2*r for d.
1
Let o be 6/(-3)*((-7)/2 - -2). Suppose d - 108 = -8*d. Solve 0 = a - 4*f - 16, 0*f - d = -a + o*f for a.
0
Suppose -5 = -3*w - j, -1 = 5*w - 6*j + 3*j. Let z be (-4)/7*(72/(-16) - -1). Let q be -5 - -8 - (-1 - (-2 + z)). Solve 5*i + w = -f, -f - i + q = -5*f for f.
-1
Let f = 89 + 291. Let z = f + -375. Solve 2*o - z = i, 0 = -i - o - 2*o for i.
-3
Let d(z) = 2*z**3 + z**2 - 3*z - 2. Let q be d(3). Let o be (28/(-154) - 1162/22) + 1. Let g = o + q. Solve g = w + 2*f - 7, 1 = 3*w + w - f for w.
1
Let k(b) = b**2 + b + 7. Let v be k(0). Let i(z) = 3*z + 31. Let r be i(v). Suppose 0 = 48*h - r*h + 8. Solve -5*g + n - 1 = -h*n, 1 = -2*g + n for g.
-2
Suppose -b + 1 = 7*i - 68, -62 = -2*i + 5*b. Solve c + 18 = -4*y, -3*c - i*y + 7*y - 14 = 0 for c.
2
Suppose -2211*j - 435 = -2298*j. Solve 0 = -3*n + j*o - 8 + 4, 0 = -5*n + 5*o for n.
2
Let x = 2783 - 2778. Let d(z) = -6*z - 13 + 2 + z**2 + 4*z. Let o be d(x). Solve 3*b - 9 = -5*m, m - 12 = 4*m - o*b for m.
0
Suppose -25*t + 21*t - 2*a + 40 = 0, 0 = -5*t - 4*a + 44. Solve 3*w = -t, b - 3*w + 5 = 10 for b.
-7
Let k be 10/(-7) + (-1152)/(-336). Solve 2*n = 2*f + 2, k*n - 3 = -n - f for n.
1
Let j be 2*-2*6/8 + -116. Let y = j - -123. Solve 25 = 5*f, y*o + 5 + 0 = f for o.
0
Let n = -50 + 53. Suppose q + 7 = 4*c - 2, -2*c = -n*q + 23. Suppose 6*f - q*f - 10 = -3*v, 4*v + 6 = -3*f. Solve -3*z - 5 = 2*u - v*z, -5*u + 20 = z for u.
5
Let z(t) = 2*t**3 + 40*t**2 + 21*t - 297. Let l be z(-19). Solve 5*y + 3*q = l, -301*y + 4*q - 20 = -304*y for y.
4
Let y(j) = -j**3 + 7*j**2 + 24*j - 162. Let g be y(7). Solve -2*u = -i - 4, -6*u + 9*u + i - g = 0 for u.
2
Let h be (2*-10)/(2*(-8)/32). Suppose 2 = -39*l + h*l. Solve -3*b + 5*x - 3 = 2, 0 = b - l*x + 3 for b.
5
Let l be 3*(6 - 7)*2 + 11. Solve -5*t = z + 11 - 0, 5*t - 5*z + l = 0 for t.
-2
Suppose 4*c = -3*b - 5, 5*c = 40*b - 36*b - 45. Solve 0 = -3*x + 16*o - 15*o + b, 3*x = 5*o + 25 for x.
0
Suppose -90 = 141*o - 144*o. Let b be (100/o)/((-5)/(-6)). Solve -6*z + 3*z = b*h - 27, -4*z - 2*h = -26 for z.
5
Let t = -129 - -303. Let v = -172 + t. Solve p = 4*o - 16, -v = -3*p + 10 for o.
5
Let r be (((-20)/(-7))/(-1))/((-884)/3094). Solve -r = 5*n, 7*w - 8*w - 4*n = 13 for w.
-5
Suppose 10*y - 35 = 5. Suppose -57 = -3*h - 3*l, -h = -y*h + 2*l + 32. Let t = h + -10. Solve -5*k + t*k = 5*m - 11, 0 = -k - 3*m + 5 for k.
-4
Let t = -385 - -391. Let m be 6/51 + t/(-51). Solve 2*j - 3 = -z + 8, m = z - 5 for j.
3
Let o = 1736 + -1734. Let v be (1/(-1))/1*-9. Suppose u = -2*u + v. Solve -u*c + 4*d = -o, 0*c + 3*d + 8 = -c for c.
-2
Suppose -5*r + k - 2*k = 0, -4*k - 22 = -2*r. Suppose g - r + 5 = 0, -s + 14 = -3*g. Suppose -s*j - 4 = -12. Solve -j*c = 4, 5*c + 10 = b - 6*b for b.
-1
Let l(v) = -v**3 + 4*v**2 - v + 5. Let b = -27 - -31. Let t be l(b). Let i be t/((-28)/(-12) + -2). Solve d - 2 = -d, -i*d + 7 = h for h.
4
Let d(o) = o**3 - 32*o**2 - 316*o - 122. Let u be d(40). Solve -34*i - 3*a = -u*i - 15, 3*i + 5*a = -33 for i.
-6
Let g(d) = 5*d + 103. Let v be g(-23). Let x be (33/v)/(-11)*28*2. Solve -f - 4 = -0, -f - x = -2*c for c.
5
Suppose 34 = 3*z + 52. Let q be (-16)/z*(7/2 + -2). Solve -f + q*i + 13 = -6, 5*f - 27 = 3*i for f.
3
Let l(c) = -c**2 + 9*c + 2. Let y be l(9). Let k = 324 - 312. Solve k = -y*r + 4*h - 0*h, 4*r + 2 = -3*h for r.
-2
Let r(f) = f**3 + 7*f**2 - 7*f + 10. Let s be r(-8). Suppose 6 = -4*w - 3*k, 5*w - 5*k + 0*k - 10 = 0. Solve w = 4*j + 5*a - 15, 6 = -0*j + 4*j + s*a for j.
0
Suppose l = 4*m - 8, -2*l - 8 = -3*m - 2. Solve 2*n + 9 = -3*g, -g - 4 - 7 = -m*n for n.
3
Let d(r) = 7*r**2 + 3*r - 8. Let x(b) = 6*b**2 + 2*b - 7. Let a(f) = 3*d(f) - 4*x(f). Let i be a(0). Solve -q + 3*j - 2 = -0, 2*q + i = -5*j for q.
-2
Suppose 9*w - 5*n = 6*w - 28, 6*w = -3*n + 48. Solve 0*y + 28 = 3*y - 5*x, w*y + 21 = -5*x for y.
1
Suppose 0 = -11*w + 11874 - 10400. Solve w*f - 4*d + 9 = 137*f, 15 = 5*f - 4*d for f.
3
Let x be (-5)/((-20)/8 - -2). Suppose 4*v - x = 6. Let c(g) = -g**3 - 15*g**2 + 54*g + 5. Let p be c(-18). Solve 5 = w, 11 = p*f - v*w + 56 for f.
-5
Let g(o) = -3*o**3 - 38*o**2 - 20*o + 55. Let h be g(-12). Solve -1 = k + 3*v - h*v, -3*k + 5*v - 3 = 0 for k.
-1
Let s = -15412 + 15417. Solve 3*t + 16 + 1 = -s*p, 0 = 5*p - 3*t - 7 for p.
-1
Let q = -10 + 14. Let r = 37 + 17. Suppose 2*l + 48 = r. Solve -5*b + l = q*y - 4, 0 = -2*b - 2*y + 2 for b.
3
Let z(d) = -3*d**3 - 19*d**2 - 6*d + 5. Let s be z(-6). Solve 2*r + 5*a + 40 = s*r, 4*a + 10 = -2*r for r.
5
Let h(w) = w - 15. Let o be h(-9). Let s(j) = -2*j**2 - 46*j + 48. Let f be s(o). Solve 2*q - 8 = f, -3*a - q = q - 2 for a.
-2
Let l(g) = 4*g**2 - 32*g - 59. Let i(v) = -7*v**2 + 62*v + 118. Let r(b) = 3*i(b) + 5*l(b). Let t be r(28). Solve 5*z + 18 = -t*u, 5*z - 4*z + 6 = -3*u for u.
-1
Let v(f) = -30*f - 536. Let a(i) = 16*i + 267. Let n(j) = 5*a(j) + 2*v(j). Let m be n(-13). Solve 2*b = -m*k - 4, 5 + 3 = 2*b for k.
-4
Suppose -79*i + 37*i = -840. Solve -q - 5*y + i = 0, -15 = -5*y - 0 for q.
5
Let j be (1272/(-4452))/((9 + -8)*1/(-14)). Let x be 1*(4 - (0 - -1)). Solve 3*y + x*l - j = -l, 3*l - 3 = -4*y for y.
0
Let c = 50016 + -50011. Suppose 0 = 2*y + w - 13, -4 = y + w - 12. Solve 0 = r - 4*m - 0*m - c, r = -m - y for r.
-3
Let s(j) = j**3 - 7*j**2 - 20*j + 18. Let u be s(9). Suppose 0 = -32*k + 36*k - 4. Let a be u + (-5 - -12) + k*-3. Solve 2*i - a*c = 16, 2 + 21 = i - 5*c for i.
-2
Let g = -1475 - -1479. Solve 2*s = -g, 0 = 5*k + 2*s + 1 - 12 for k.
3
Suppose -28 = 5*s - k, -3*k = -4*s + k - 16. Let w(x) = x**2 + 8*x + 12. Let d be w(s). Solve -p - 4*q + 2 = -d, -2*p + 4 = 4*q for p.
2
Suppose -j = 4*h + 10 + 6, 0 = -5*j - h + 15. Let d(a) = -a + 58. Let t be d(6). Let m be 5/4 - (-455)/t. Solve 5*y = -v - 0*v - m, -j*v + y + 23 = 0 for v.
5
Suppose -5*o + 2*u + 24 = 6, -6 = -5*o - u. Let t be (240/(-4))/3 - -5. Let v be 70/6 + (-5)/t + 4. Solve 2*c = 4*f - 0*c - v, -c = -o for f.
5
Suppose -15*p + 14*p = -4*j - 13, -4*p + 16 = 2*j. Solve 0 = 4*c + 4*a, p*a - 5 = 4*a for c.
-5
Let a be -64 - -57 - (3 + -3 - 12). Suppose 5*f - 74 = -b, 3*b = 3*f + f - 63. Solve -5*q = 4*m + 15, m + m - a*q = f for m.
0
Let o(m) = 50*m + 115. Let b be o(6). Let d = b + -412. Solve 0 = -2*g + d*f + 18, -1 = -2*g - 5*f - 15 for g.
3
Suppose 0 = 52*w - 507 - 377. Let u(f) = f**2 + 5*f - 21. Let k be u(-8). Solve 2*p = k*i + w, 0*i - 10 = -2*i - 4*p for i.
-3
Suppose 0 = -245*w + 246*w + 5*x + 5, -4*w + 18 = x. Solve 99*t - 97*t = -u + 7, 25 = w*t - 5*u for t.
4
Let c(t) be the first derivative of 1/3*t**3 + 10 + t**2 - 10*t. Let h be c(-5). Solve 4*j + 5*q = 40, 4*j - 4 = -q + h*q for j.
5
Let a(i) = -i**3 + 6*i**2 + 17*i + 4. Let c be a(8). Let v = 12 - c. Suppose v = 4*j - 5*j + 3*b, -b = -1. Solve 3*o + 3 = -3*x - 0*x, -x = 5*o - j for x.
-2
Suppose -2*j = 2*t + 14, -7*j + 4*j + 12 = 0. Let g(p) = -12*p - 2 + 0*p**2 - 5 - p**2. Let v be g(t). Solve -5*h - 19 = x, -4*h - 24 = -v*x + h for x.
1
Let d = 8762 - 8762. Solve 3*u - 8*y + 4*y + 5 = d, 0 = 3*u - 3*y + 3 for u.
1
Suppose 4*p - 6 = 2. Let h be (-1358)/(-126) - p/(-9). Let c be (h - (-1 + 3)) + 4/(-1). Solve -2*r - 30 = c*z, -3*r - 4*z - 31 = -0 for r.
-5
Suppose -76*c - 31 = -80*c - 5*l, 3*c - 4*l = 62. Solve 0 = 4*r + 4*t + 20, -4*t - c = -0*r + 2*r for r.
-3
Suppose -4*d + 59 = x, -12*