a - 0*d - 1 for a.
2
Let t be (3/24*-6)/(33/(-176)). Solve -t*u = 2*r - 4*r, 2 = -r for u.
-1
Let c(y) = y**2 - 9*y + 10. Let z be c(9). Suppose 6*w = w + z. Let g be (w - 3 - -3) + -2. Solve 4*o + o = 2*p + 8, 2*o = g for p.
-4
Suppose -56*r = -53*r + 24. Let f(n) = -n**3 - 9*n**2 - 9*n - 3. Let z be f(r). Solve -z*d - 9 = 4*o, 0*o + 4*d = -o - 16 for o.
4
Let k = -493 + 510. Solve -3*o - 2*t + t - k = 0, -2*o - 4*t - 28 = 0 for o.
-4
Suppose -2*x + 208 = 4*v, x + v = -0*v + 100. Let g = x + -92. Solve -5*z = -0*d + g*d + 16, -2*z = -d - 4 for d.
-4
Suppose -w + 9 = 6. Let j be (9/(-6) + w)*2. Suppose 5*t - 7 = 3. Solve 10 = -2*i - j*a, -3*i + a = -t + 6 for i.
-2
Let r(x) = 2*x - 22. Let q(a) = a - 11. Let u(w) = 7*q(w) - 4*r(w). Let t be u(8). Solve 2*g = d - t*g + 20, -4*d = 3*g - 35 for d.
5
Suppose 2*p = p - 2*p. Suppose p = 6*g - 0*g - 30. Solve 4*a = 3*i + 12, 21 = 5*a - 4*i + g for a.
0
Let b be ((-340)/(-17) - 18)/((-4)/(-10)). Solve b*r - 2*r = 3*o - 18, 5*r = -15 for o.
3
Let p(i) = -i**2 - 10*i + 3. Let f be p(-10). Suppose 8*s - f*s = 15. Let r = -574 - -578. Solve -s*u = -5*u + 4*v + 6, r*u = 4*v for u.
-3
Let d = -276 + 280. Solve -4*k = -3*c + d, c - 6 + 1 = 5*k for c.
0
Suppose 3*q + 114 = 5*j, 90 = 2*j - 5*q + 33. Suppose 5*n - 5*b + 69 + 21 = 0, 76 = -5*n - 2*b. Let i = n + j. Solve 3*p = -p - i*t - 37, 5*p + 4*t = -35 for p.
-3
Suppose 4*b - 26 = 22. Suppose 2*g + 5*o = 29 + 21, -3*o = -b. Solve -6*z + 4*v = -3*z + 35, -g = -3*v for z.
-5
Suppose 67 = 25*r - 58. Solve r*d + x = -0*d, 0 = -3*d - 4*x for d.
0
Let l = 7 + 8. Suppose -s + 19 = -5*x, 3*s + 3*x = 4*x + l. Suppose h = 2*h - 14. Solve s*n + 1 = -5*f - 4, -3*f + n = -h for f.
3
Let z be -5*35/(-25) + 13. Solve -2*d + 21 = -5*p - 12, 5*d - z = 0 for p.
-5
Let z(b) = 8*b**3 + 22*b**2 - 5*b + 6. Let p be z(-3). Solve 0 = p*h + o + 7, 0 = -h - 0*h + 3*o + 11 for h.
-1
Let r be 48/36 + (-2)/(-3). Let c be ((-4)/(-10))/((-1)/(-15)). Let f = c - -3. Solve 2*m = -i + 9, m + r*i + 3*i = f for m.
4
Suppose 0 = 56*p - 61*p + 660. Let d = 160 - p. Suppose g + 8 = 3*g. Solve -5*w + 0*n = n - d, 2*w - 22 = -g*n for w.
5
Let j(q) = -q**3 - 4*q**2 - 3*q + 4. Suppose -5 = 4*r + 7. Let w be j(r). Solve -5*a = -w*b - 17, -b + 3*b + 10 = 4*a for b.
-3
Suppose 27*q + 4 = 4*l + 29*q, -4 = 3*l + 5*q. Solve l*z - 8 = -5*k - 11, 5*k + 2 = -3*z for z.
1
Suppose 3*c = 2*d + 22, -5*c + 10*d + 30 = 8*d. Solve -c*v + 2*f = 12, 6*v = v - 2*f - 15 for v.
-3
Let u = -249 + 262. Solve 3*n = -0*n + 9, -5*w - n = -u for w.
2
Suppose 4*s + 9 = 3*n, -8*n + 5*s = -3*n - 15. Suppose 0 = n*k + 2*h - 70, k + h - 28 = -2*h. Let p = -20 + k. Solve 3 = -5*u + 5*l - 7, -u - 5 = -p*l for u.
1
Let m = -2206 - -2228. Solve 12*k + m = 10*k + 3*c, 3*c + 13 = -5*k for k.
-5
Let v be 0 + 12 + 0 + 0/(-1). Solve -k - 3*h = -14, 2*h - v = -2*k - 0*k for k.
2
Suppose 60 = 4*l - 3*s, 0 = 5*l + 43*s - 48*s - 75. Solve -x + 3*x - 3*i = 1, 0 = -5*x - 5*i + l for x.
2
Let v(a) be the third derivative of a**6/120 - 7*a**5/60 - a**4/3 + a**3/3 - 4*a**2. Let o be v(8). Solve x = -3*m + o + 12, -2*x - 7 = -m for x.
-1
Let t(u) be the third derivative of u**5/60 - u**4/12 + u**3/6 - 18*u**2. Let r be t(2). Solve -3*l = z - r, -4*l - 5*z + 1 = -4 for l.
0
Suppose -5*k - 126 = -47*k. Solve -3*c + c = -4*u + 2, 3*u + k*c + 21 = 0 for u.
-2
Let h = 187 + -184. Solve -h*y + 15 = -2*s + 2*y, 4*y = 3*s + 5 for s.
5
Let g(d) = -d**3 + d**2 + 3*d + 9. Let j be g(3). Solve -2*a = -5*i - j + 4, -3*a = 4*i - 17 for i.
2
Let w(t) = 2*t + 19. Let u be w(-7). Let n be 8/100*5*u. Solve 0*v + n*v - k = -3, v + 2 = k for v.
-1
Let b be (-3)/(-6)*(-26)/(-1). Let a = b + -11. Let f = 3 + 2. Solve f*o - 30 = -2*n, n + 4*n - a*o - 17 = 0 for n.
5
Let p be 3 + (3 - 7 - -32). Suppose 6*y + 1 = p. Solve 0 = i + z - 7, 4*i + 0*z + 8 = y*z for i.
3
Let n = 21 + -62. Let p = -41 - n. Solve -3*q + 5*q + 4*s + 14 = p, 1 = 2*q - s for q.
-1
Suppose -5*o - 5*o = -o. Solve o = -f + 4, 2*f - 24 = -4*h - 3*f for h.
1
Let p = 227 - 127. Let o = p - 82. Solve r - o = -2*b - b, -3*r + 34 = 5*b for b.
5
Suppose 4*q + 5*i - 20 = 3*q, -2*q + 25 = 5*i. Suppose 2*a = -v + 9, -2*v - 2*a = -5*v - q. Solve 3*h + 2*o - v = 0, 5*h = -3*o - o + 1 for h.
1
Let k = -1 + 4. Suppose -c = 2*c - k*l - 9, 3*c - 4*l = 7. Solve -5*i + 2 = -s, 3*s + 0*i = c*i - 6 for s.
-2
Let d(w) = -24*w - 283. Let n be d(-12). Solve 3*p = q - 7, 3*q - 4*p = n*q + 26 for q.
-5
Let n = 1577 - 1575. Solve -l = -4*m + 6, n*m - 4 = l - m for l.
2
Let g(x) = 4*x**3 + 2*x**2 - 1. Let y be g(1). Let f = 31 + -27. Solve 2*h = -2*s + f - 16, -y*s = -4*h - 15 for s.
-1
Suppose -9*t = 3*v - 4*t - 4, 0 = 3*v + 2*t - 7. Solve d + f = 1, v*d = 2*d + 3*f - 3 for d.
0
Let k = 7 + 5. Let a be ((-8)/k)/((-2)/9). Solve 0*f + 14 = -3*f - 2*d, -5*d - 14 = -a*f for f.
-2
Suppose -42 = -5*x - 2. Suppose -22 = -x*v + 10. Solve -h - r = -5*r + 9, v*r = -h - 1 for h.
-5
Let y(k) = -k**3 + 8*k**2 - 10*k + 5. Let l be y(7). Let j = 36 + l. Let h = 24 - j. Solve -4*f = 2*n - 4*n + 8, h*f = -16 for n.
-4
Let o(h) = h**2 + 6*h - 68. Let z be o(6). Solve 2*a = 2*r - 2 - z, 2*r + 15 = -5*a for r.
0
Suppose 34*m = 94 + 110. Solve -i + 3 = -3*h, -3*h - 4*i = -m*h + 6 for h.
-2
Let t = 113 + -88. Solve 5*r + t = 2*p, 2*r - 3*p = -r - 15 for r.
-5
Let l be (-4)/4 + -4 + 2. Let t be 9 + -5 + l + 1. Suppose 5*r + f + 5 = -4*f, -11 = -5*r - f. Solve -3*w = -0*h - h + 12, -h = t*w + r for w.
-3
Let p = -137 - -136. Let g(k) = 3 + 3*k**2 + k - 3. Let a be g(p). Solve 5*u + 1 = -2*d - 7, -2*d + 6 = -a*u for d.
1
Let a = 42 + -54. Let c(p) = p**2 + 8*p - 27. Let g be c(a). Solve -4*s + 5*v + g = 0, 2 = v + 3 for s.
4
Let t be (-3)/(-6*(-5)/(-10)). Suppose 3*s = 19 - t. Let n = 0 - -4. Solve -g + s*q - 1 = 5*q, -2*g - n*q = -28 for g.
4
Let h be (3/12*-6)/((-2)/(-28)). Let f(d) = -d**3 - 22*d**2 - 20*d + 28. Let q be f(h). Solve 0 = g + 2*o - 11, 2*o + 20 = q*o for g.
3
Suppose -5*t - 10*j + 19 = -7*j, -5*j = 3*t - 5. Solve -t*s - 14 = 2*z, -s - 2*s - 2*z = 6 for s.
-4
Let n = 3 + 16. Suppose 2*z + x = n, 0 = -z + x + 2*x - 8. Let g = z - 2. Solve -2*t + l = -4, -g*t - l - 1 = 2*l for t.
1
Suppose 2*a = -5*n - 3*a, a = 2*n - 6. Suppose -z + n = -3*z, -4*w = -3*z - 43. Solve -2*g = -3*p + 9 + w, -g = -3*p + 17 for g.
-2
Let h(a) = -a**3 - a**2 - 3*a - 4. Let v be h(-2). Suppose 0 = v*c - 26 + 2. Solve -c*n + 2*j = -j - 10, n - 2*j = 0 for n.
4
Let t = 452 + -416. Suppose -150 = -5*q + 10. Let p = t - q. Solve -d - 5 = 2*d + j, -p*d - j = 7 for d.
-2
Suppose -j + 12 = 3*j. Suppose 18 - j = 3*s. Solve 4*h = -w + 2*h + 3, -s*w + 5*h = -30 for w.
5
Let j = -20 - -36. Suppose -8*x = -177 + 57. Suppose s = 2*u - 9, 4*u = -u - 5*s - x. Solve 2*r = -4*q + j, 24 = -u*r - 0*r + 4*q for r.
-2
Let f(g) = g**2 - 10*g - 1. Let h be f(9). Let u = h - -2. Let y be (4/u*0)/(-2). Solve 3*t + l - 19 = -y*t, -4*l + 16 = 0 for t.
5
Suppose -377 = 2*o - 387. Solve 0 = c - 5*j + 1 - 3, 0 = -3*c + 4*j - o for c.
-3
Let s(c) = c - 2. Let q be s(6). Suppose 9*b = q*b. Suppose b = o - 8 - 2. Solve -2*r + 4*p - 4 = -14, 5*r - 5*p - o = 0 for r.
-1
Suppose -5*l = -3*g + 48, 3*l - 2*l = 2*g - 25. Let c(m) = -2*m**2 + 23*m - 3. Let y be c(g). Solve k - 15 = 3*b - 7*b, -2*b = -y for k.
-1
Let l(v) = -v**3 + 5*v**2 - 32*v + 114. Let u be l(4). Solve k - q = 0, 1 = 5*k - u*k - 2*q for k.
1
Let f be -4 - 2/(2 - 4). Let j be (5/(-20))/(f/84). Let p be 4/3 - j/21. Solve -p = -2*t - 11, -4*t = 5*n + 10 for n.
2
Suppose 5*t - y - 13 - 19 = 0, -5*t + 20 = -5*y. Solve -3*c = -5*c + d + t, -3*d = -9 for c.
5
Suppose -3*t = -t + 6. Suppose -9*b - 14 = -16*b. Let p = b - t. Solve 4*r = 0, -p*q - r = 4*r - 10 for q.
2
Suppose -7 = -3*y + 5*u, -45 = -4*y - 4*u + 7. Suppose y*q = 79 + 65. Solve -2*z + q = 2*s, 3*z = -4*s + 30 - 1 for z.
3
Let g = -567 + 567. Solve g = 3*t - 3, -3*p - t - 1 = -p for p.
-1
Let x(d) = d**3 - 4*d**2 - 4*d - 1. Let k be x(5). Solve -4*f - 37 = -5*c, 4*f - k = -c - 11 for c.
5
Let b be (1 + (-12)/8)*(-2 + 2). Solve b = -4*p - 4*h + 20, 0 = -h - 0*h + 4 for p.
1
Suppose 2*h + 3*b - 25 = 0, -8*h + 9*h - 2*b = 9. Solve -2*u + 6 = -t, -2*t + 6*t + h = -5*u for t.
-4
Suppose 0*h = -7*h. Suppose -3*z + 9 = -h*z. Suppose -4*y = 16, z*y + y = 2*x - 22. Solve -4*b + 3*b 