6, -2*v = -c*z + 5 for v.
-4
Let q(t) = 2*t**2 + 26*t + 87. Let v be q(-6). Solve -d + v*x - x + 6 = 0, 3*d - 8 = 4*x for d.
-4
Let f be (-8)/(-28) - (-378)/49. Suppose 8*v - 32 = -f. Solve 0 = -l - 3, -4*x = v*l - 11 + 40 for x.
-5
Let i(p) = -33*p - 219. Let h be i(-7). Solve 0 = -2*x - 2, -5*r = -5*x - 13 - h for r.
4
Let y = 149 - 147. Solve 0 = 5*j - 4*x + 12, y*j = -4*x + 14 - 2 for j.
0
Let o be (-9)/4*224/42. Let m be (-2)/(6*-1) + (-32)/o. Solve m*h - 7*h = 2*f + 4, -f - 4 = 4*h for f.
0
Suppose 0 = 3*z - 3, 3*d - d + 14 = -2*z. Let o = 11 + d. Suppose -5*j = -5*p - 5, -4*j + 2*j = 3*p - 7. Solve s - 11 = 4*b, -5*s + 3 + p = -o*b for s.
-1
Suppose 0 = 6*r - 12*r + 24. Suppose -r*s - g = -4*g - 19, -3*s - 2*g = 7. Solve 2*q - 2 = 0, -y + q = 4*y + s for y.
0
Let h(x) = x**3 - 6*x**2 + 3*x - 14. Let s = -10 + 16. Let p be h(s). Solve -3*g + c = 3*c + p, -3*g - 3*c = 3 for g.
-2
Suppose -2*o - 14 = -5*f, -110*f + 114*f - o = 10. Solve 0 = j - 5*h - 4 + 2, 0 = -j + f*h - 1 for j.
-3
Let r(j) = -j**3 - 6*j**2 - 7*j - 5. Let v be r(-5). Suppose 0 = -v*u - 4*t + 66, -4*t = 8 - 24. Solve 20 = -5*m, -4*x = -3*m - u - 6 for x.
1
Suppose 4 = 4*x, 2*x - 4 - 26 = 2*h. Let w = -10 - h. Solve -5*y = -b - 0*b - w, 0 = -4*b - 16 for y.
0
Let y = 113 - 108. Solve 2*h - y = -2*h + 5*t, -4*t = -2*h + 10 for h.
-5
Suppose 813*f - 824*f + 66 = 0. Solve -t = -f*u + 5*u, -t = 4*u - 10 for t.
2
Let z(i) be the second derivative of i**5/20 - i**4/2 - i**3 + 9*i**2/2 - 14*i. Let q be z(7). Solve 0 = -5*j, -k + q = -5*k + 4*j for k.
-4
Suppose 12*v - 79 = -31. Solve 5*o - 5*k = -5, 5*o + 17 = v*k - 3*k for o.
-4
Let q(i) = -i**3 + 6*i**2 - 18*i + 68. Let m be q(5). Solve 4*u - m*g + 12 = 0, 11*u = 16*u - 3*g + 15 for u.
-3
Let p(f) = f**3 - 7*f**2 - 6*f - 14. Let g be p(8). Solve -5*v + g*d = 12, -4*v + 0 = -3*d + 4 for v.
-4
Suppose 2*u - 6*u + 8 = 0. Suppose -9*t + 4*t = -5. Let i be (8 - 14)/(-1*t). Solve u*h = -3*b + i, 3*b = -5*h - 5 + 2 for h.
-3
Suppose -4*t = -2*q + 20, t + 15 = -5*q + 3*q. Let s be (-1 - -1) + 7 + t. Solve -2*l + 4*l + 3*y - 7 = s, -3 = 2*l + y for l.
-4
Suppose -106 + 84 = -2*i. Suppose 3*f + 14 = 2*s - i, 0 = 4*s - 3*f - 53. Solve 2*r - 3 = 5*a, -a - s = a - 4*r for a.
1
Let w be 138/10 + (-5 - 105/(-25)). Solve 3*q + w = -g, 2*q + 10 = -5*g - 3 for g.
-1
Suppose -16 = -2*t - 6. Suppose k = -2*c + 56 - 17, 16 = c + 4*k. Solve t*b - 2*u = u - c, -b = 5*u + 4 for b.
-4
Suppose 0 = 5*w - 54 + 39. Solve 2*g - 10 = 2*c, -8*c = -3*c + w*g + 9 for c.
-3
Let p be (-125)/(-45) + 4/18. Let u(n) = -n + 8. Let y be u(5). Suppose -p*a - y = 0, 3*a + 7 = l - 0. Solve l*d - 32 = 2*v - 10, 4*v - 8 = -5*d for d.
4
Let u = 283 - 273. Solve p = 4*p + 3*o - 6, -p - 3*o + u = 0 for p.
-2
Let b be 1 - 0 - (2 + 1). Let x be (17 - 10) + b*2. Solve 2*t + 4 = -3*m - x, -5*t + 25 = -m for t.
4
Let d = 41 - 37. Suppose -5*o + g - 4 = 3*g, d*g + 8 = 4*o. Suppose 3*n - 19 = -s - s, 5*n - 15 = o. Solve -3*r - 13 = -s*p + 22, -3*r - 19 = -p for r.
-5
Let o be (-4)/2*32/(-16). Solve 4*s - 16 = 0, -5*w + 6*s - o*s + 17 = 0 for w.
5
Let u be (-10)/(45/18 - 5). Solve 0 = -3*f + 2*i + 12, -3 = -4*f - 3*i - u for f.
2
Suppose 0 = 7*c - 56 - 98. Solve -z + 5*h = 18, -3*z + c = 3*h + h for z.
2
Suppose -27*k + 20 + 61 = 0. Solve -3*i = 4*h + 15, 0*h = -k*h for i.
-5
Let h be ((-18)/(432/(-8)))/((-1)/(-9)). Solve 4*s = 5*q + 10, 9 = 3*s - h*q - 0 for s.
5
Suppose -6*b + 2*b = 0. Suppose -c = -4*t - 3, b*c - 4*c - t = -29. Solve -l + 1 = 4*u - c*u, -3*l - 5 = -u for u.
-1
Let b be ((-4)/(-12))/(1/(-69)). Let i = b + 28. Solve 3*t + 11 = -i*f + 2*t, -4*t + 13 = f for f.
-3
Suppose 2*t - 3*g - 55 = 0, -t + 3*g + 5 = -30. Solve 3*k - 5 - 11 = -5*p, -4*p + t = 0 for k.
-3
Let f(w) = -w**2 - 6*w - 3. Suppose 3 - 26 = 2*g + 5*n, -2*n = 3*g + 18. Let c be f(g). Solve 2*s + 9 - 1 = d, s - c*d = 5 for s.
-5
Let k(r) = -r**2 + 5*r - 13. Let t(p) = -p**2 - p + 9. Let l be t(0). Let m be k(l). Let g = -29 - m. Solve g = 4*b, -2*f - 31 = -6*f - 3*b for f.
4
Suppose -5*c = -2*c - 12. Suppose 3*l = u - 18, u + l - 43 = -u. Let x be u/(-27) + 1 + (-158)/(-18). Solve -4*f = c*v - x*f - 11, -2*v + 9 = f for v.
4
Let d = 126 + -121. Solve 4*k - 25 = d*v, 1 = -4*v - 3*k + 12 for v.
-1
Suppose 5*b - 28 = 4*l, -4*l = 3*b - 8*l - 12. Solve -2*h - 5*j + 35 = 0, h + b = 5*j - 12 for h.
5
Let h(f) = f**2 + 7*f - 5. Let a = 13 + -8. Let m be h(a). Let l = -36 + m. Solve -3*t = -5*o - 19, 2*t = -0*t - 3*o - l for t.
-2
Suppose 1 = -2*q + 5*k, 3*q + 2*k - 6 = 2. Suppose 20 = 5*h - q*x, 3*x - 3 = -h + 1. Solve -4*b + 8 = h*o, 4*o - 41 + 17 = 4*b for o.
4
Let t be (30/(-9))/((-1)/12). Suppose -10 = 2*r - t. Let q = r + -13. Solve 0 = 4*b, -3*v - b + 7 = -q for v.
3
Let q be -9*((-44)/12 - -4). Let w be 3/(-4) - -38*q/(-24). Solve -3*k + 2*y - 4*y = w, -20 = -5*y for k.
-4
Suppose 12*j - 13*j - 4 = 2*a, -6 = 4*j + 3*a. Solve x - 8 = -j*x - 5*q, 3*x = 5*q - 16 for x.
-2
Let y = -23 + 58. Let u(d) = -d**3 + 8*d**2 - 7*d + 2. Let c be u(7). Suppose c*f = 2*i - 10, -4*f - 2 = 10. Solve -5*r = -5*h - y, i*r + 2*r - 7 = -3*h for h.
-3
Let o = -206 - -234. Solve 9*p = 4*p + t - o, t = -4*p - 17 for p.
-5
Let l = -7 - -11. Suppose -x = -3*n + 15, -5*n + x + 18 + 9 = 0. Let r = n + -1. Solve 32 = -3*o + r*q + 3, -l*o - 28 = -4*q for o.
-3
Let r be ((-24)/(-16))/(6/(-8)). Let c be r - (0 + -3)*(-35)/(-5). Solve -g = -4*a - c, 0*g + 23 = g - 5*a for g.
3
Let x be (-48)/(-28)*(-21)/(-6). Suppose 0 = -y - 0 + 1, -j + 3*y = -x. Solve 2*g + 3*c = j, 2*g - 5*c + 3*c + 16 = 0 for g.
-3
Let l(p) = -4*p - p**2 + 3*p - p - 8*p. Let r be (-10)/(-15)*-3 - 8. Let j be l(r). Solve -4*a - o - 5 = j, a - 5*o + 0 = 4 for a.
-1
Let q = 28 + -37. Let v = q + 13. Solve 2*n = -4*b + v, -2*b - 8 = -4*n - b for n.
2
Let n(t) = -39*t + 199. Let x be n(5). Solve 0 = -5*i - f, i - f + 2 = x*i for i.
-1
Let q be (-1)/(-2)*(-168)/(-42). Solve -q*j = 3*y - 0*y + 16, 28 = -4*y - 4*j for y.
-2
Let w(f) = 3*f**2 + 2*f + 5. Let v be w(3). Let a = v - 35. Let q be (-2 - 3/(-4))*-4. Solve -q*u - 5*h = -12 - 3, -4*h + 9 = a*u for u.
3
Let u(t) = 4*t**2 + t + 1. Let n be u(-1). Solve k + n + 9 = -4*y, 0 = 2*y - 4*k + 2 for y.
-3
Let a be (1/(-2))/((-18)/108). Solve -a*f - 2 = 5*r, -16 = 5*f + 4 for r.
2
Let l be 27/(12/4) - 4. Suppose -x - l*j + 3 = 0, -2*j = 3*j. Solve 2*h = 5*m + x*h + 1, 5*m - 7 = -3*h for m.
-1
Suppose -5*s + 0 = -10. Let y be 2/(-3) + 340/60. Solve 0 = y*w - 25, -3*f + 20 = -s*f + 4*w for f.
0
Let j = 1276 + -855. Suppose -16*h - 53 + j = 0. Solve p = -5*x + h, p + 17 = 5*x - 0*p for x.
4
Let z = 2 - 5. Let f be -15*1/z*-1. Let i(b) = b**3 + 5*b**2 - b - 3. Let u be i(f). Solve -3*k - k - w = -4, -8 = 3*k - u*w for k.
0
Suppose -4*h - 5*f = 147, 2*h - 5*f + 26 = -25. Let d be h/(-7) + 12/42. Solve -5*x + d = 3*z, -5*z + 4*x = 57 - 16 for z.
-5
Let t be (-4 - -4)/(-2 - -1). Suppose -3*y + 11 = -t*y + 2*z, 2*y - 7 = -z. Let f be (-2)/(-6) - y/9. Solve x - 2*s + f*s - 6 = 0, -2*s = -5*x + 6 for x.
0
Let y be 4*(-2)/(4/(-10)). Suppose k - 36 = -3*m, 5*m = -k + 29 + 31. Solve 2*h + 2*h + 4*l = m, 5*l - y = 0 for h.
-1
Suppose 0 = -0*v - 2*v + 3*l - 1, 4*l = -2*v + 20. Solve x + 0 = -5, -16 = 2*b + v*x for b.
2
Let o = 0 + 4. Suppose -o*b = b. Solve -3*x + g = -2*x, b = -x + 2*g + 3 for x.
-3
Let z be 2/3 - (-75)/9 - 4. Solve -z*h + 16 = 3*m - 0, m + 2 = 2*h for m.
2
Let c(u) = u**2 + 22*u + 75. Let r be c(-18). Solve -2*m + 3*g = 2, r*g = -3*m + 20 + 7 for m.
5
Suppose 0 = v - 6*v + 20. Suppose 2*b = v*b - 2*k + 2, -5*b - k = -7. Suppose 3*i - b - 8 = 0. Solve -i*t - 5*c = 35, -3*t + 3*c + 0 = 3 for t.
-5
Let k = 18 + -12. Suppose 0 = -h + k*h - 15. Let y(l) = -l**3 + 11*l**2 + 13*l - 10. Let t be y(12). Solve -h*z - g = z, -22 = t*z - 5*g for z.
-1
Let d = 1 - 1. Let s(n) = -8*n**3 - 2*n**2 + 1. Let p be s(-1). Suppose 0 = 6*k - p*k. Solve d*m - c = 2*m - 3, k = -4*c - 12 for m.
3
Let m = -5 - -18. Solve -4*y - 5*a + m = -6*y, -y = 3*a + 1 for y.
-4
Let d = -2096 + 2098. Solve -2*h + 10 = -4*n, -16 = 5*n - d*h - 3 for n.
-3
Let x(d) = 2*d**2 + 5*d + 5. Let g be x(-2). Let c = 19 + -19. Suppose c = -2*v + 4*v - 16. Solve g*m = -3*q + 9, -2*m + v = q + 3*q for m.
2
Let o be -2 + 1 + 5 + -6. Let n be (o - -2)*(-2 + 1). Suppose 0*f + 