 - 6 for a.
3
Let o be 0*(-4)/(-5 + 1). Suppose -2*m + 3*m - 2 = o. Let b = m - -18. Solve s + b = -3*w, 3*w + s = 4*w for w.
-5
Suppose -587*d - f + 19 = -586*d, -81 = -4*d + f. Solve -x + 17*a = 22*a + 5, 2*x - 5*a - d = 0 for x.
5
Let m = -1669 - -2339. Let l = -665 + m. Solve -1 = -4*y - 4*j + j, l*y + 4 = -2*j for y.
-2
Let z(m) = m**2 + 15*m + 44. Let t be z(-12). Suppose 2*n + 2*o - t = 0, -n + o + 6 + 4 = 0. Solve -n = 5*l + 3*v, -2*v = 4*l - 0*v + 4 for l.
1
Let k(l) = 90*l**3 + l**2 + l - 1. Let o be k(1). Let g be (12/7)/((-108)/5544). Let x = o + g. Solve 3 = x*q + 4*w + 19, 0 = -3*q + 5*w - 7 for q.
-4
Let l be (108 - 113)*(1 + -2). Solve -35*t - l*k + 10 = -40*t, k = 2*t + 7 for t.
-5
Let q(x) = 1057*x + 5371. Let p be q(-5). Solve 0 = 2*d - 4*a - p + 82, 0 = -4*a for d.
2
Let x = -21 + 44. Let u(j) = -22*j - 265 + 265 + j**2. Let b be u(22). Solve c - 2*c - 2*r + 3 = b, -2*r + x = -3*c for c.
-5
Suppose -4*n + 3*s = -28, 2*s = -7 - 1. Suppose 0*z = -4*z + 24. Let q be (-1)/(-2) + 99/z. Solve 3*j + 2*j - 5*p - 20 = 0, -q = -n*j + 5*p for j.
3
Let u(h) = 88*h + 30. Let y be u(3). Let i = 296 - y. Solve 4 = o - i*p, 5*o = -p + 2*p + 11 for o.
2
Suppose 31*k = 35*k + 5*f, 5*f = -3*k - 5. Solve z = -4*i - 17, -5*i = -k*z + 6*z + 22 for i.
-5
Let h(u) be the first derivative of 4*u + 15 + 1/2*u**2. Let y be h(0). Solve -y*z = -8, -2*l + 5*z = -0*z + 14 for l.
-2
Suppose 4 = -4*f, -w - 76 + 83 = -5*f. Solve 0 = -c - c + 4, w*c + 2 = 3*u for u.
2
Let d(p) = p**3 - 11*p**2 + 25*p - 4. Suppose -5*r - 9 = 2*v, 16 = -3*v + 5*r + 65. Let j be d(v). Solve 2 = 5*m + w, 5*m + j*w + 10 = -w for m.
1
Suppose -6 = -2*c, 53 = -42*f + 46*f + 3*c. Solve -5*z - 2*t = 18, 4*z + 4*t + 13 = -f for z.
-2
Let z be 28/70 + 112/20. Solve -5*u - 3*y + 20 = 0, 4*y + 8 = -z*u + 8*u for u.
4
Let o = -18 + 23. Suppose 3*h + l = 9, -h + l = -o*h + 11. Let y(v) = 3*v**2 - 2*v + 6. Let c be y(h). Solve -i + 0*i = -4*b - c, 0 = -5*b - 5*i - 5 for b.
-3
Suppose 104 - 619 = -145*p + 210. Solve 3*z + 10 = p*s, -3*z - 19 = -25*s + 29*s for s.
-1
Suppose 23 = 3*r + 3*i - 13, 2*i + 39 = 5*r. Let k = -60 - -62. Solve -22 = 5*d + 3, 0 = -y - k*d - r for y.
1
Suppose -12*i = -14*i + 2, 5*x + 5*i - 15 = 0. Solve 0 = 4*c + x*f, f = -10*c + 11*c for c.
0
Suppose 0 = 4*n + 5*s - 47, 23 = -4*n - 36*s + 41*s. Solve n*a - 7 - 4 = 4*m, 2*a = m + 9 for a.
5
Let b = -110 + 185. Suppose -17*v = -14*v - b. Suppose 11*k - 6*k = -v, -k = x + 5. Solve m + 6 = -m - 4*i, -m - 3*i - 4 = x for m.
-1
Suppose 38 - 10 = -2*c. Let v be 12/8 - 1 - c/4. Solve 0 = -v*k + 3*s + 19, 24 = 5*k - 4*s - 0 for k.
4
Let r be 77/6 + ((-63)/(-54) - 1). Suppose -r = 7*q - 48. Solve 0*t + q*c - 18 = -4*t, 5*t - 5*c = 0 for t.
2
Let b = 5834 + -5825. Solve -4*t - b*l = -12*l + 1, -3*t - 2*l - 5 = 0 for t.
-1
Suppose 39*c - 93 = 8*c. Let s(y) = -y**2 + 9*y - 13. Let q be s(c). Solve -4*a + 3*h = 10, -q*a = -2*h + 6*h - 3 for a.
-1
Suppose -334*h = -338*h + 48. Suppose -h = -398*k + 392*k. Solve u + k = -5*g, 4*g - 2*u = 2*u - 16 for g.
-1
Let u = 39 + 21. Let c be (4/u)/((-4)/(-48))*5. Solve 2*n + 2 = 4*y - 4, 12 = -2*y + c*n for y.
4
Suppose p + x = -3*p + 11, -p + 4*x + 7 = 0. Solve 0 = -3*o - 2*t - 7, -p + 7 = 4*t for o.
-3
Suppose -4 + 0 = -i. Let p = -225 - -285. Suppose 0 = 5*x + 5*d - p, 4*x - 42 = 3*d - 15. Solve x = w - i*n + 3*n, w - 29 = 5*n for w.
4
Let m(w) = w - 1. Let c(b) = b - 7. Let q(s) = c(s) - 3*m(s). Let y be q(-6). Let n = 8171 - 8171. Solve n = 2*k + x + y, -4*x - 4 = 4*k + 20 for k.
-2
Suppose -34*t = -4*t - 2760. Suppose -t = -11*h - 4. Solve -2*s + h = 3*r + 24, 2*r = s + 1 for r.
-2
Let t be 1/2*16/104*13. Let y(u) be the second derivative of u**4/3 + u**3/3 - u**2/2 + 5*u. Let c be y(t). Solve s + s + c*h = -8, -4*s = -5*h + 16 for s.
-4
Let m be (-6314)/(-21)*(-3)/2. Let b = m + 465. Solve -2*v - 5 + b = 3*l, 1 = 3*v + 2*l for v.
-3
Let u(t) = 667545*t - 667546*t + 14 + 13. Let c(w) = w**2 - 5*w + 2. Let d be c(6). Let p be u(d). Solve -l - p = -5*m - 5, 8 = -2*l for m.
2
Let f = -36 - 0. Let u = f + 32. Let q be 4 + (-6)/u*-2. Solve -4 = -h - 2*b, -5*h + 1 = b - q for h.
0
Let i = -32 - -224. Suppose -184*n = -i*n + 16. Solve 3*u + 7 = 2*s, n*s - 3*u = -2*s + 5 for s.
-1
Let m = 129 + -135. Let u be m/(-7)*(-196)/(-7). Solve 5*i + 6 = 5*w - 19, -4*w = -5*i - u for w.
1
Let t(r) = 11*r - 38. Suppose -9 = -2*v - j, -v - 3*j - 9 = 2*j. Let z be t(v). Let u = -26 + z. Solve -u*f - 23 = -7*f - m, -2*f + m = -5 for f.
4
Let r = 11677 + -11663. Solve 4*x = -3*m + 3, 0 = -r*m + 9*m + 3*x - 24 for m.
-3
Let t(o) = o**3 - 4*o**2 + 6*o - 10. Let x be t(4). Let f be 147/15 - (-8)/(-10). Suppose 6*j - f = 3*j. Solve j*a + x = 2*w + 5*a, 0 = a - 5 for w.
2
Let o be (0/(11 + -5))/4. Solve -p + 2*c - 2 + o = 0, 5*c - 5 = -3*p for p.
0
Let l(y) = 26*y - 14. Let w be l(-9). Let b = -237 - w. Solve -2*h - 4 = -3*p + b, 0 = -5*h + 4*p - 27 for h.
-3
Let h be (-66)/12*(6 - 0). Let a = 49 + h. Let o = -7 + a. Solve -2*m = 5*b + 19, 4*b + 4*m - 7 = o*b for b.
-3
Suppose -19*u + v = -14*u - 70, 5*v = 3*u - 64. Solve 4*m = 5*o - 4 - 28, m + 4*o - u = 0 for m.
-3
Suppose 0*f - 14 = -2*f + 4*g, 2 = -g. Suppose -f = -2*n - 3*t + 15, -4*n = -4*t + 4. Solve 4*w - 4 = -b + 2*w, n*b + 4*w = 8 for b.
0
Suppose 4*v = 3*r + 14, -5*r - 4*v + 6 = -24. Suppose -r*c + 36 = 5*b + 8, c = 3*b + 14. Solve -3*o + c = d - 5*d, -3*d = -5*o + 5 for o.
-2
Let j be (4 + 65/(-20))*4. Suppose 69 = j*y + 60. Solve 26 = -4*n - 5*q, -y*n - 22 = n + 3*q for n.
-4
Let g(c) = -c**2 + 9*c + 3. Suppose -l - 15 = -4*l. Let p be g(l). Let u = 4552 - 4551. Solve -m + 5*x + 1 = -p, -4*m = -x - u for m.
-1
Let t = -16601 - -16603. Solve -3*l = -2*w - 7, 2*l + t*w = 6 + 2 for l.
3
Let h = 34 - 44. Let g be 140/(-8)*12/h. Suppose -2*i - g = 5*s, 6*s - 2*s + 14 = -3*i. Solve a - 8 = -3*c, -4*a - 2*c + 5*c + i = 0 for a.
2
Suppose 0 = 87*r - 86*r - 3*x - 10, -r + 8 = -2*x. Solve 9*l + 5 = 8*l, -r*v - 5*l - 45 = 0 for v.
-5
Let w(t) be the second derivative of 6*t**3 - 54*t**2 - 6*t - 2. Let y be w(3). Solve y = -5*p - h - 26, 0*p + p + 3 = 2*h for p.
-5
Suppose -43 + 73 = 10*o. Let g(i) = i - 8. Let n be g(13). Solve 11 = o*s - z, 2*s + 0 = -n*z - 4 for s.
3
Let x be (114/304)/((68/32 - 2)/1). Solve q - v = 0, -x*q + 0*v = 3*v + 24 for q.
-4
Let b(n) = -n**3 + 10*n**2 - 11*n - 9. Let v be b(6). Suppose -16*f + 11 + v = 0. Let d be (1 - 6)*(-7)/5. Solve d = -t - f*a - 0*a, -5*a = -4*t + 22 for t.
3
Let d be ((-1)/(-2))/((703/(-418))/(-37)) + 3. Solve -k - d = 3*k - w, -7*w + 14 = 0 for k.
-3
Let o(t) = 4*t**3 + t**2 - t + 1. Let r be o(1). Let q be ((-58)/10 - r)/(2/(-5)). Suppose -10*l = -7*l - q. Solve 3*y - 5*b = 15, -3*b = l - 0 for y.
0
Suppose s + 24 = 5*s + 3*g, -3*s = g - 18. Solve 5*b + 5*h = -15, -2*h = h - s for b.
-5
Let k(z) = -5*z**2 + 33*z + 113. Let p(h) = 4*h**2 - 31*h - 112. Let v(o) = 5*k(o) + 6*p(o). Let r be v(-10). Solve 2*q + 5 = -r*d + 21, 0 = 5*d - 10 for q.
5
Suppose -180*k + 409 = -491. Solve k*p + 8 = 33, -21 = f - 4*p for f.
-1
Let n = 1 - -7. Let b(p) = 2*p**2 - 79*p - 26. Let x be b(40). Suppose -x*u + 17*u = 4*u. Solve 0 = -u*w + 2*w - n, 4*y + w - 4 = 0 for y.
0
Let g = -81 - -87. Let k = 643 - 643. Solve k = -o - 5*q + 11, 3*o - o + 2*q - g = 0 for o.
1
Let a = 47 - 4. Suppose 8*u = a - 11. Suppose -7*o = -u*o - 45. Solve g + 2*g + 4*v = -o, g = -2*v - 5 for g.
-5
Let t be (-8)/12*(-15)/2. Let i be (5 - 0)/(125/50). Suppose -2*b + 4 = 4*v - 4, i = v + t*b. Solve 0 = -2*x - 2*d - v, -3*x + 8*x - 3*d = 19 for x.
2
Suppose -377 = -95*h + 98. Solve 4*p + 4*o + 0 = 20, h*o = -p + 21 for p.
1
Let u(n) = n. Suppose -5*y = -3*o - 41, -y + 7 = -o - 0. Let m be ((-4)/10)/((-2)/y). Let z be u(m). Solve -z*i - 5 = -3*i - 2*g, 0 = 2*i - 4*g - 2 for i.
3
Let r(t) = 3*t**2 - 14*t - 16. Let v be r(6). Solve -5*o = -2*h + 4*h - 1, 2*o + v = -5*h for h.
-2
Let x be (21/42)/(2/20). Let m be (-1)/((0/2 - 1)/x). Solve -8 = -2*z + 2*q, 12 = 2*q - m*q for z.
0
Suppose 0 = 5*f - 3*v + 2, f - 3 = 19*v - 15*v. Let s be -5 + (1 - (7 + f)) + 14. Solve 3*b + 19 = n, -b - 9 - s = -2*n for b.
-5
Let q = 12391 + -12247. Solve -145*u = 4*b - q*u - 10, -8 = 4*u for b.
3
Let f be (32/3)/(3/9). Suppose f = -r + 42. Suppose 0 = 270*y - 272*y + 32. So