). Solve -15 = a + 5*w, a + f = 2*a - 5*w for a.
-5
Let n = 3209 + -3204. Solve 20 = -4*a - h, 4*h = -a + n*a for a.
-4
Let p be -2 - -4*(-7 + 8). Solve -2*r - 12 = -r + 5*n, 15 = p*r - 3*n for r.
3
Let s be 88/77*(-2)/8*-14. Solve 3*o = 0, 0 = m - s*o + o - 3 for m.
3
Let t be (-95)/(-25) + 12/(-15). Suppose -t*b - 9 = 3. Let a be b/16 - (-171)/12. Solve -2*h = -4*d + 2, -3*d = -3*h - h - a for h.
-5
Let w = 52 + -52. Suppose w = 4*d + 5*t - t - 32, -t + 12 = 2*d. Solve -d*v = -2*m - 6, 0*m = -v - 4*m + 6 for v.
2
Let g be (((-45)/4)/1)/(27/(-72)). Solve 3*w = -3*l + g, 0 = -0*l - 5*l + 3*w + 10 for l.
5
Let y = 3 + -3. Let i = 19 - 24. Let c(j) = -j**3 - 4*j**2 + 2*j - 4. Let l be c(i). Solve -3*f - 2 = -a - y, -3*a + 4*f + l = 0 for a.
5
Let j(l) = -8*l - 53. Let v be j(-7). Let y be ((-20)/8)/((-2)/4). Solve -4*i = i + v*b + 18, 5 = -y*b for i.
-3
Let p be (-26)/(-6) - (-42)/63. Let v = -5 - -8. Solve 4*c - 14 = z, p*c + 0*z = -v*z + 9 for c.
3
Let q(x) = -2*x**3 - 4*x**2 - 3*x - 2. Let m be q(-2). Suppose 5*n + m*g + 4 = 0, n + 3*g = -0*g - 3. Solve n = 3*j - 3*l - 9, 2*j + 5 = 5*j - l for j.
1
Suppose g = -s, 2*s + 4*g + 6 = -g. Solve -18 - 7 = -5*f, s*q + f = -5 for q.
-5
Let u(g) = g**3 + 7*g**2 + 2*g + 13. Let x be u(-7). Let a be 4/x*-2*(-105)/(-60). Solve 2*l + 20 - 6 = 3*w, 2*l + 4*w = a for l.
-1
Let d(a) be the third derivative of a**6/120 + a**5/15 + 2*a**3/3 - 20*a**2. Let x be d(-4). Solve 2*y - 2*p = 4*y + x, 2*p + 4 = 0 for y.
0
Let b(r) = 30*r - 240. Let t be b(8). Solve 2 = -n - t*n, -a - 2*n = 5 for a.
-1
Suppose 0 = -2*h + 4*m - m - 102, -2*m + 8 = 0. Let x = 913 + -923. Let u be x/h*-3*-3. Solve -u*t - 3*t = 2*j - 5, 0 = 4*j - 2*t + 26 for j.
-5
Let p(o) = -4*o**2 + 11*o. Let q(t) = -11*t**2 - 2*t + 6 - 5 + 34*t. Let w(u) = 8*p(u) - 3*q(u). Let s be w(9). Solve 0 = d + 2*c - 2, s*d - 4*d - 7 = -c for d.
4
Let h = 85 - 88. Let t = 8 + -3. Let j = h + t. Solve 0 = 4*c - 5*f + 2, -5*f - 7 = j*c - 3*c for c.
-3
Suppose -5*g - 9 = 16. Let v be 3 + -1 - (g + 5). Suppose 3*l = 4*n - 25, 19 = 4*n - v*l + l. Solve n*m + 0*m - 3 = a, 4*a - 4*m = 0 for a.
1
Suppose 0*b - 366 = -6*b. Let s = -49 + b. Solve -u - 4*q = -14, s = -3*u - u + q for u.
-2
Let b = -4 - 2. Let v(j) = j**2 + 7*j + 6. Let o be v(b). Solve o = -4*n + 5*z + 28, 2*n - 18 = -n + 3*z for n.
2
Suppose g - 2*r = -0*r, r - 3 = 0. Suppose 0 = 2*k - 5*h + 8, -5*k + 51 = h + 17. Suppose k*b - b = 0. Solve -i + p - g = b, -4*i + 2*p = p + 12 for i.
-2
Let z(l) = l + 2. Suppose 2*u + 5*s - 14 = 0, -6 = -3*s - 0. Let p be z(u). Solve 0 = 5*o + 5*w + 20, p*w + 14 = -3*o - w for o.
-3
Let o(p) = -2*p**2 - 11*p + 1. Let l be o(-5). Let c be ((l + -2)/2)/(14/35). Let t = 0 + 3. Solve -c*j - f + t = 5, -3*f - 6 = -4*j for j.
0
Let r(j) = 4*j + 35. Let d be r(-8). Let f be (d - 1 - 4/2)/(-2). Solve f = -3*h - n + 9, 4*h + n = 3*n + 22 for h.
4
Suppose 2*i = 5*i. Let n be i*3/(3/1). Solve 0 = 3*m + 3*a - a + 1, -3*m - a + 1 = n for m.
1
Suppose 0*u + r = -2*u + 3, -4*r = -u - 12. Suppose a = -u*a. Suppose -v - 3*v = -m - 8, -3*v + 21 = 3*m. Solve a = y - 3*b + 2 + 3, 2*y = m*b - 8 for y.
-2
Let b be 2/1 - 0 - -78. Suppose c = 3*c + 4*a - b, -2*a = 4*c - 160. Solve -5*t = 4*l + c, t - 2*l + l = 1 for t.
-4
Suppose 6 = -d - 2*d + 3*i, 3*i - 6 = 0. Solve -10 - 3 = -c - 4*h, 4*c + 4*h - 28 = d for c.
5
Let w = -19 + 19. Let j = 3 + w. Solve 0 = -5*n - 4*y + 32, 0 = 2*n + 3*n + j*y - 29 for n.
4
Let r = -11 - -20. Let p(q) = -q**3 + 9*q**2 + q - 7. Let t be p(r). Solve 18 = 5*d - h, 5*h = t*d - 3 + 5 for d.
4
Let z = -11 - -18. Suppose -1 = z*u - 15. Suppose -u*r + 9 - 1 = 0. Solve -5*s - 2*w + r = 0, -s = 4*w - 2*w + 4 for s.
2
Suppose 4*m - 25 = 3*m. Let z be (-2)/8*5*(10 - 14). Solve m = c + z*n, -c + 0*n = -4*n + 11 for c.
5
Let z(n) = n**3 - 10*n**2 - 13*n + 22. Let r be z(10). Let k = -96 - r. Solve 0*h + 2*h - 1 = -5*q, -3*q = -3*h + k for h.
3
Suppose g - 307 = -3*o + 6*g, o + 4*g = 108. Let v = -97 + o. Solve -d = 3*f - 2, -4*d + f = -2*f + v for d.
-1
Let r = -51 + 29. Let a = -20 - r. Suppose 2 = -2*g + 4, 39 = 5*q - g. Solve -5*y = 20, 3*k - a*y - 28 = q*k for k.
-4
Suppose -214*q + 217*q - 33 = 0. Solve -5*o = -5*f + 4*f + q, 4*o + 8 = 0 for f.
1
Let g = 333 + -329. Let q = 9 + -5. Solve 7*k = -3*j + 2*k - 8, -q*k = g for j.
-1
Let o(u) = -2*u - 11. Let q be o(-8). Suppose 3*s - b = -0*b + 3, -2*s + 15 = -q*b. Suppose 5*v - 9 - 6 = s. Solve -9 = v*i + 5*z, -z + 8 = -3*i - 1 for i.
-3
Let k(a) = a**3 + 5*a**2 + 5*a + 2. Let z be k(-4). Let u be z*(-27)/6 - 4. Solve -r + s = 10, 0 = 5*r + 3*s + s + u for r.
-5
Let a(d) = 8*d**2 + 3*d + 2. Let k = -26 + 25. Let h be a(k). Suppose -3*x + 16 = h. Solve 5*y - x = 4*c - 1, 21 = -3*y - 5*c for y.
-2
Let u be (-240)/192*-4*1. Solve 0 = 5*b - 0*b - w + 6, 5*w = u for b.
-1
Suppose 120 + 160 = -7*n. Let v be (n/15)/(2/(-3)). Solve v*o = -5*i + 1 + 2, 0 = -5*o - 15 for i.
3
Let q = 1262 - 1259. Solve 2*c = l + 4, q*c - 8 = -4*l - 2 for c.
2
Suppose -2*l + 29 = 5*r, 4*l = -l + r + 59. Let u = 16 - l. Solve 4 = 5*h + u*y, -3*y + 3 = -4*h + 5*h for h.
0
Let y be ((-86)/(-6))/(((-16)/(-12))/4). Let r = y - 39. Solve -3*p = -3*w + 21, w - 7 = -p - r for w.
5
Suppose 0 = 3*y - 8 - 4. Suppose 2*h + 56 = 5*w, -3*w + 2*h + 40 = y*h. Let r be 5/(-10)*w/(-2). Solve 3*t = r*s + 15, 2*s + 4*t - 20 = -0*s for s.
0
Let i be 6/4*(4 - 2). Suppose 4 + 29 = i*k. Suppose 3*u = 7*u - 20. Solve -2*t - u*n = 3*t - 5, t + k = -4*n for t.
5
Let x = 347 - 344. Solve -g - x*y - 2*y + 3 = 0, 0 = -4*g + 5*y - 13 for g.
-2
Suppose -8*s + 4*k = -12*s + 108, 3*s + 4*k - 76 = 0. Solve -4*c + 0*y = 4*y + s, 8 = -2*y for c.
-4
Let l(p) = -3*p + 16. Let i be l(4). Solve -5*w = -4*q - 7, i*w - 4 = 8 for q.
2
Let r be (0 - 0) + (-2 - -5). Suppose 0 = 4*p - 4, 5*p = 2*g - 2 - r. Suppose 2 = 3*b - 4. Solve 0*u - 5*u = 5*v - 5, g*v - b*u + 2 = 0 for v.
0
Let p be -1 - (-8)/4*(-11)/1. Let t = p + 24. Solve -3*r = -5*c - t, 4*r + 4*c = c + 11 for r.
2
Suppose 5*j + 12 = 112. Solve 2*s - 6 = -4*d, 9*d - 4*d + j = 3*s for s.
5
Let z be (-2 + 0)*-1 + 4. Suppose 0*h + h - 18 = -4*t, 5*h - 4*t = -z. Solve 4*k - n - 22 = 0, k + 7 - h = -5*n for k.
5
Let t be 4/(-3)*3/(-2). Let m = 27 - 15. Suppose -5*d + m = -2*b, -3*d - 2*b + b + 16 = 0. Solve 0 = 5*k - d*n - 7, -4*n = -t*n + 6 for k.
-1
Let k be -1*-16*(-5)/(-10). Solve -4*t + s = 3, -5*t - 3*s + k*s = 0 for t.
-1
Let j(p) be the first derivative of -p**4/4 + 5*p**3/3 + 3*p**2 + 3*p + 18. Let c be j(6). Solve -c*s + 4*o = 5, o = 4*s - 3*o for s.
5
Suppose 39 = -s - 3*a + 4*a, 2*a = 8. Let x = -22 - -98. Let f = x + s. Solve -5*c - f = -5*n - 1, -3*c = -2*n + 19 for n.
5
Let i = -2 - 2. Let r(g) = -g - 2. Let y be r(i). Suppose x = f + 6 - 2, 4*x + 5*f - 7 = 0. Solve x*p = 4*m - y, 2*p + 2 + 2 = 0 for m.
-1
Suppose 3*j = 2*j + 5. Let o(x) = 18*x**2 - 9*x - 4. Let s be o(1). Solve -4*h - 3*v = h + s, 0 = -2*h + j*v - 33 for h.
-4
Let y be (-4)/(-1) - (-4 - -3). Suppose 0 = -2*c - 5*u + 44, 2*c + y*u = 5*c - 16. Solve 3*l = 4*m - c, -5*l - 20 = 2*m - 7*m for l.
-4
Let f = 43 + -43. Solve 10 + 7 = 4*m - b, f = -m + b + 5 for m.
4
Let h(o) = o**2 - 30*o + 107. Let b be h(4). Solve -i - 4*n + 0*n + 20 = 0, 4*i = -b*n + 28 for i.
4
Let a(z) = -21*z - 82. Let q be a(-4). Solve 10 = -4*p + o, -2*p + 0*o = 3*o - q for p.
-2
Let d(y) = y**2 + 5*y - 3. Let z be d(-6). Let x(w) = 3*w - 7. Let r be x(-5). Let l = 30 + r. Solve 5 = -a - z*s, l = -2*a - 2*s + 2 for a.
-2
Let w = 11 - 23. Let t = w - -11. Let k be -1 - -4 - (3 + t). Solve -q + 3*s - 5 + k = 0, -3*q + s + 12 = 0 for q.
5
Let h(i) = i**3 - 13*i**2 - 14*i + 10. Let u be h(14). Let t be -10 + u - (-1 + 1). Solve 4*s + 4*w = -t*w - 16, 0 = -2*s - 3*w - 8 for s.
-4
Suppose 39*f + 8 = 47. Solve 0*s - l = s - f, -5*l + 15 = 0 for s.
-2
Suppose 3 = u - 1. Let q(l) = l**2 - 7*l - 8. Let n be q(8). Let j be (19 + -16)/(1 - n). Solve -3*o - 8 = -j*b - b, u*b = 20 for o.
4
Let f be (-6)/21 - 111/(-21). Suppose f*d = 3*d + 8. Solve 5*h + 12 = -4*n, -d*h + 5*n = 2*n - 9 for h.
0
Suppose -20 + 5 = 5*y. Let g = 0 - y. Let k(x) = -x**2 + 6*x - 3. Let b be k(5). Solve 2*f - 3*f + 14 = b*q, 3*f + g = 3*q for q.
5
Suppose -18*d + 13*d = -5. Let r be 6 - (-5 + 5 + d). Solve r = -5*t + 3*h, 5*t + 