= 0 for a.
3
Let w be (-2)/((-7)/((-70)/(-4))). Suppose -8*x + 8 = 4*j - 4*x, 0 = -j + x + 6. Solve j*t + 3 = w*r + 8*t, -r = 4*t - 7 for r.
-1
Let f(d) = d**2 - 3*d + 2. Let q be f(2). Let b = 18 - q. Let r be (-32)/(-6) - 6/b. Solve -r*a = -l + 6*l, -8 = -5*l - a for l.
2
Let w be (3 - (-9)/(-2))*-2. Let c(q) = -w + 3 - q - 1. Let b be c(-11). Solve -3*i - 4*y = 5, -5*y + 4 + b = -3*i for i.
-3
Suppose -8 = j + 2*g, 0*j + 4*g - 8 = j. Let k be 2/3*(-108)/j. Let w = k + 8. Solve -u = 5*z + 5 - 4, 5*z = 3*u - w for z.
-1
Suppose 2*w = 51 - 43. Solve -7*g + 3*g - 26 = -2*y, -w*g - 35 = -5*y for y.
3
Suppose 5*z - 9*z = -52. Suppose 10*v + 12 = z*v. Suppose 5*c = 5*q + 11 + 14, 3*c - 15 = 4*q. Solve -s + c*w = -4, -w = -3*s - v*w + 12 for s.
4
Let h be (-1)/((-95)/30 + 3). Suppose 0 = 3*g + h, r + g - 1 = -3. Solve -3*z + 5*i + 6 = r, -4*z + 8 = -3*i - 2*i for z.
2
Suppose 0 = 3*t + t - 8. Let p = t + 1. Suppose 5*v - 14 = -3*u + 4*u, u - 4 = -4*v. Solve 4*o - v*d + 28 = 0, 6*o - p*o = -d - 11 for o.
-5
Let q = 1070 + -1064. Solve w = -2*r - q, -2*r - 19 = -4*w - 3 for w.
2
Let v(w) = -3*w**3 + 22*w**2 - 6*w - 7. Let t be v(7). Let x be 6*-1*(-15)/6. Solve t = -3*j - 2*b - x, 0*j + 2*b = -j - 9 for j.
-3
Suppose 4*p - 62 = c, -4*p - 3*c - 12 = -66. Suppose v + p = 2*v. Solve -4*o + 4*h + v = -1, -5*o = h - 8 for o.
2
Suppose b - 4*p = -4*b + 40, 4*b + 5*p = -9. Suppose b*y - n = 41, 4*y + 32 = 7*y - 2*n. Solve 4*k - 2*k = 4*o - 4, y = 5*o - 5*k for o.
0
Let p = 3 + -1. Suppose 0 = -m - 4, -p*b - 3*b - 2*m = 8. Solve 0 = -b*h - 3*h - 6, 4*n + 5*h = -26 for n.
-4
Let v(d) = d**3 + 15*d**2 + 12*d - 23. Let z be v(-14). Solve -5*i - 25 = -s - 4*s, i + 17 = z*s for i.
-2
Let x(o) = o**3 + 2*o**2 + 4. Let q be x(-2). Solve -q*b = 4*n + 8, -3 = 3*n + 2*b + 5 for n.
-4
Suppose -5*q = -3*q. Let z be -8*((-40)/(-64) + -1). Solve -z*g + 3 = -6*g, -5*m - g + 19 = q for m.
4
Let o = -6 + 6. Suppose -j = -2*c - 13, 3*j + o*j + c - 11 = 0. Suppose j + 1 = 2*m. Solve -3 = m*i - 3*t, 2*t = 7*t for i.
-1
Let v(d) = d**3 - 7*d**2 + d - 4. Let l be v(7). Let u = -78 - -83. Solve 1 = n - 5*g - 6, -4*n - l*g = -u for n.
2
Let o = -383 + 240. Let z be (-3)/(-18) - o/6. Solve -4*f = -c - 2*c - z, 0 = 3*c - 3*f + 21 for c.
-4
Let o be 1500/(-40)*8/(-6). Let k = o - 47. Let r(a) = -a**3 + 8*a**2 - 10*a + 6. Let d be r(6). Solve -n - 3*t + 5 - 3 = 0, 3*n - d = k*t for n.
5
Let r = 0 + 9. Suppose -2*j - r = -5*j. Let q = j + -1. Solve q*y = 5*b - 1, b - 4*y = -9*y - 16 for b.
-1
Let f = 33 - 55. Let p = 27 + f. Solve -4*a + 2*i + i = 9, 2*a - p*i = -1 for a.
-3
Let r(x) = -8*x + 155. Let y be r(19). Solve 5*v - 5*z = -50, y*z - 10 = z for v.
-5
Suppose 2*f - 4*x = 26, -f + 6*x + 28 = x. Let n = f - 31. Let o be 0 - (n - (-3)/3). Solve -2*a - 3*p = 15, -5*p + 2 = -a + o for a.
0
Suppose 3*f = -f. Suppose 3*h - 8*h - 15 = f. Let y = h - -13. Solve t - 5 = -2*n, 5*n + 3*t - 5*t = -y for n.
0
Let s be 3/(-27) + (-140)/(-45). Solve s*i - 2*p + 6 = -7, 0 = i + p + 6 for i.
-5
Suppose -4*n = -34 + 6. Solve -8 = -2*x - 2*k, -3*k = x - 3*x - n for x.
1
Suppose 13 = 6*j - 47. Let d = j - 7. Suppose -r = -4 - d. Solve 3*v - 6 = 0, 2*a - 4*v - r = -23 for a.
-4
Suppose z = -r + 4, 2*r = -2*z + z + 5. Solve 5*f + 2*p = 12, r = -3*f + p + 6 for f.
2
Suppose a + 21 = -4*m, 4*a + 133*m - 128*m + 18 = 0. Suppose -69 = -4*q + q. Solve l + 11 = -5*p - 4, a*l - 2*p = q for l.
5
Suppose 4 = n - 0*n. Let q be (-1 - 0) + 12/n. Suppose 2*x + 3 = -w, q = -2*w - 3*x - 0. Solve -4*r = -2*u, 0 = -u + 4*r + 7 - w for u.
-2
Let k = -415 + 435. Solve -4*d - 2*c + 4 = -c, -5*d = -5*c + k for d.
0
Let b = 26 - 10. Let m = b + -2. Let p be (-6)/21*m*-1. Solve 2*w = 10, 0*w - p*w + 16 = -2*t for t.
2
Suppose 16*r + 56 = 24*r. Solve -5 = -2*a + w, -2*a - 2*a + r = -5*w for a.
3
Let d = -58 - -85. Suppose -c - d = -91. Suppose 3*f + f - 2*p - c = 0, 75 = 5*f - 5*p. Solve 5*j = 2*t - f, -2*t - 2*j - 1 = 3 for t.
1
Suppose -l + w + 2 = 0, -2*w - 2 = 2. Suppose l = 8*p - 10*p. Solve p = 4*o - 5*k + 2, -4*k + 3*k + 4 = o for o.
2
Let l(m) = -m + 1. Let k be l(-5). Suppose -3 = d - k. Solve -2*x = -d*z - x + 5, 2*x + 7 = 3*z for z.
1
Let w = -10 - -73. Suppose 68*a - w*a = 25. Solve 0 = -a*c, 2*c - 10 = -4*j + 10 for j.
5
Let w be -2 - 2 - (-4 + 4 + -7). Solve w*q = y + 12, -2*y + y = 3 for q.
3
Let v = 29 + -23. Let q be -6*(-4)/v - 2. Suppose -x + q*x = 2*n, n - 2*x = 0. Solve 4*i + 23 = -n*y - y, 0 = i + y + 8 for i.
-5
Let u = 248 + -163. Let t = 90 - u. Solve 3 = -t*o - 2, -2*d + o = 7 for d.
-4
Let q(s) = s**3 - 6*s**2 + 6*s + 7. Let d be q(5). Suppose 0 = -3*a - 3*m + d, 5*a - 40 = m - 2. Solve 2*z = 4*f + 22, -2*f + a*f = 5*z - 30 for f.
-5
Let v(k) = -3*k + 22. Let z be v(-10). Let a = 54 - z. Solve 3 - 7 = b - a*c, 0 = 5*b + 2*c + 20 for b.
-4
Suppose -12*c - 138 = -58*c. Let k(d) be the third derivative of d**4/4 - 5*d**3/3 - 2*d**2. Let p be k(c). Solve -3*l - 3 = 3*z, -3*z = -p - 4 for l.
-5
Let a(w) = -w**3 - 27*w**2 + 25*w - 78. Let p be a(-28). Solve -d + p = t, -5*d + 17 = -2*d + 2*t for d.
5
Let b(i) = -i**2 - 5*i + 15. Let j be b(6). Let o = 56 + j. Solve -z - 2 = 3*z + o*c, 2*z - 2 = -c for z.
2
Suppose -20 = 3*h + 2*h. Let k(r) = r**3 + 3*r**2 - 6*r - 4. Let d be k(h). Let b = -41 + 46. Solve d*q = -b*l + 12, -16 = 3*l - 6*l + 2*q for l.
4
Let l = -21 - -18. Let f(m) = -m. Let a be f(l). Solve -a*q - q = 5*u - 6, 0 = -3*q - 2*u + 8 for q.
4
Let o(g) = g**3 + 5*g**2 - 19*g - 69. Let p be o(-6). Solve 4*b + p = -3*w + 1, 2*w - 23 = 3*b for b.
-5
Let m(l) = -2*l**2 + 23*l - 30. Let r be m(10). Solve 5*k - 2*a + 1 - 12 = r, 4*k = -4*a + 20 for k.
3
Let j(c) = c**3 + 5*c**2 - 5*c + 7. Let w be j(-6). Let v be (w + 1)/(2/(-5)). Let l be (-112)/v - (-6)/10. Solve 0 = q + 5*d - 22, -2*d - 2*d = -q - l for q.
-3
Suppose 2*y = -3*y - 660. Let m be y/(-48) - 1/(-4). Let p = 3 + 2. Solve m*w - 12 = 3*f, p*f + 2*w = -w + 4 for f.
-1
Suppose 0 = -z - z + 20. Suppose 3*g - z = -4. Solve s = -3, 4*h + 7 = 5*s + g for h.
-5
Suppose 4*t - 27 = -7. Solve 37 = -t*w - 0*w + 3*s, 2*s = 3*w + 23 for w.
-5
Let l(q) = 4*q**2 - 14*q + 15. Let j be l(1). Solve -2*i + 5 = -t, -4*i - j = -3*t - 2*t for t.
5
Let c(b) = b**2 + 7*b + 12. Let o be c(-8). Let y be 285/o*16/6. Suppose y = 5*k - 7. Solve k = d + 2*d, -6 = -3*m + 3*d for m.
5
Let k = 47 - 22. Let o be (-240)/(-56) - 6/21. Suppose 4*h - 31 = 3*f, 5*f = 3*h - o*h - 21. Solve 0 = -h*s + 4*a - 28, 6*s - 4*a + k = 3*s for s.
-3
Suppose 5*l + 2 = 4*v, -1 = -28*l + 29*l - v. Solve -3*g - h + 1 = 0, g + 4 = l*g + 4*h for g.
0
Suppose -12 = 4*w - 7*y + 11*y, 3*w + 2*y = -4. Solve -w*x + s = 0, -2*s + 2 = -5*x + s for x.
2
Let r = 24 + -22. Suppose 0 = -3*c + 5*i - 11, 2 = 2*c + i - r*i. Suppose 11 = 4*d + c*q, -d - 5*q - 10 = -0. Solve -2*p + w - 20 = 3*p, -d*p = -4*w + 5 for p.
-5
Let k(f) be the first derivative of -7*f**2/2 + f + 22. Let s be k(-1). Solve -2*v + s = 0, -4*b + b = 3*v + 3 for b.
-5
Let o(k) = 15*k - 3. Let w be o(1). Let x be (-8)/w*(-7 + 4). Solve -y - 5*p = x*y + 6, 2*y + 3 = -3*p for y.
3
Let z(g) = g**2 - g - 6. Let t be z(3). Suppose 2*p = 5*p - 3*c - 6, t = -2*p + 3*c + 3. Solve k + 3*v + 9 = 6*k, v + 7 = p*k for k.
3
Suppose -5*o + 20 = 0, 2*o + 4 = 2*a + a. Solve 4*w = g + 5, -a*g - 2 = w + 1 for g.
-1
Let l be (-14)/(-6) - (-65)/39. Solve -15 = b - l*b - 3*o, -b = -5*o - 5 for b.
5
Let c be (1 - 3/6)*16*2. Solve 0 + 2 = -h + i, -2*h = 2*i + c for h.
-5
Suppose -249*r + 15 = -244*r. Solve 3*u = 2*x - 17, u + 20 = 2*x - r*u for x.
4
Let s(v) = 5*v + 91. Let c be s(-15). Solve 4*i = -l + 4, 0 = i - 3*i + 3*l + c for i.
2
Let n be (0 - 1 - -1)/2. Solve n = -3*t - h - 4*h + 2, 4*t = -h - 3 for t.
-1
Suppose -4*v - 10 + 14 = 0. Solve -2*h - 2*k - 22 = 2*k, -h + v = -k for h.
-3
Suppose -6*w + 40 = 10. Suppose -w*j = -9*j. Solve 0 = -4*b + 4*r - 16, j = 2*b + 2*r - 3 + 11 for b.
-4
Let l(n) = n**2 - n - 24. Let o be l(6). Suppose -44 = -o*c - 8. Solve x = -s - 2*x + c, 1 = 2*s - 5*x for s.
3
Suppose 543*j - 553*j = -10. Solve 4*u + j = 6*u - t, 0 = -5*t - 15 for u.
-1
Let s(d) = 63*d**3 + d**2 - 2*d + 2. Let n be s(1). Let o = n - 48. Solve 4*j + 7 = -5*c, -j - o = -4*c + 3*j for c.
1
Let j(f) = -f. Let l(q) = q + 11. Let z be l(-9). Let h be j(z