 - 6 = -a, 5*a + 2*t + 10 = x for a.
-4
Let s(d) = 4*d**3 + 5*d**2 - 4*d. Let w be s(1). Solve 25 = -w*f + v, f - 3*v + 15 = -2*f for f.
-5
Let r(s) = -2*s - 53. Let k be r(-28). Solve -9*p + 7*p - d - 10 = 0, k*p - 5*d = -15 for p.
-5
Suppose 0 = 109*p - 146*p + 518. Solve -5*n = 4*b - 13 - p, 4*n = b + 9 for n.
3
Suppose -10*n - 9*n = -15*n. Let s = -3 - -5. Suppose 3*z = 5*l - 3, 0*l + 14 = s*z + 2*l. Solve z*v = -3*i + 10, 4*v - 12 = -2*i - n*i for i.
-2
Let q = 27 - 32. Let x(z) = -3*z - 15. Let m be x(q). Solve -2*k = -m*j - 4*j - 10, 3*k = -3*j - 30 for j.
-5
Let m(s) = -17*s - 100. Let y be m(-6). Solve y*b = 2*a + 6*b - 24, 0 = 2*a - 5*b + 12 for a.
4
Let t be 1/2 + (-330)/(-12). Let f = t - 24. Solve -4*h + 16 = -f*y, -2*y + 19 = -5*y - 4*h for y.
-5
Suppose -2*k + 3*v = -13, -14*v + 18*v = -3*k + 11. Solve 5*d - 4*f = k, 32 = -3*d - 4*f + 3 for d.
-3
Let g be (6/7)/((-9)/(-42)). Solve 0 = 2*f + 8 - 0, 3*z + g*f = -25 for z.
-3
Let o be 180/(-315) + 3*4/21. Solve 4*p + 17 = -3*h - 0*h, -3*h + 5*p + 1 = o for h.
-3
Let d(q) = -q**3 - 28*q**2 - 76*q - 20. Let y be d(-25). Solve y*z + 29 = -0*z + a, 0 = -2*z + 3*a - 22 for z.
-5
Suppose -2*q = -2*w - 18, -4*w = q - 4*q + 22. Let h(a) = -2*a + 29. Let p be h(q). Solve 5*s = 5*i, 4*i - 4*s = s + p for i.
-1
Suppose -4*c - 4*f - 21 = 19, 5*c + 58 = 3*f. Let t = 21 + c. Solve t = -5*b, 0 = -4*y - b - 0 + 10 for y.
3
Let z = -59 + 62. Solve -8 = -4*u, -z*u + 4 = 5*b - 27 for b.
5
Suppose 152 + 188 = 68*k. Solve u - 21 = k*p, -p - u - 7 = p for p.
-4
Let h be 3 - (8/(-4) + 6). Let d be 13 - (-1 - 3) - h. Solve -7 - 17 = -5*a + 2*m, -m + d = 5*a for a.
4
Let l(o) = -2*o - 1. Let x(c) = -3*c - 1. Let f(v) = -5*l(v) + 3*x(v). Let w be f(0). Solve 2*s - 10 = 5*h, w*s + s = -2*h + 15 for s.
5
Let h(n) = -n**3 + 3*n**2 - 4*n + 3. Let y be h(0). Let d = 4 + -1. Solve 2*b + d*m = 13, m = 5*b - 10 + y for b.
2
Suppose 2*h + 15 + 2 = 5*o, 5*o + 2*h = 13. Solve o*n + j + 7 = 0, -4*n = -j + 4*j + 6 for n.
-3
Let k be (0 + 12/30)/(1/10). Let l be (5/k)/((-14)/(-168)). Solve 0 = m + 3*w - 0 - 10, -l = m - 2*w for m.
-5
Let x(p) = p**2 + 10*p + 29. Let g be x(-9). Solve -4*u = 3*r - g, -1 + 6 = u + 3*r for u.
5
Suppose 0 = -3*b + 9 - 0. Suppose -b + 0 = q. Let h be 15*((-6)/2)/q. Solve -3*d + 4*y = -9, -4*d - y - 3 + h = 0 for d.
3
Suppose 56 + 88 = 36*c. Solve -2*l + 6*r + 19 = r, -2*l + c = -2*r for l.
-3
Let f be 0 + -6*(-4)/6. Suppose -16 = -5*z + a, f*a = 3*z - 0*a - 13. Suppose 1 - z = -t. Solve t*h + 4*s = 3*h + 4, 14 = 3*h + s for h.
4
Let a = 4 + 0. Suppose 0*i = -2*i - 12. Let t be (i/(-24))/(2/40). Solve -4*b = a*f - 2*f + 6, 0 = -t*f + 2*b - 27 for f.
-5
Suppose 2*i + 2*k - 254 = 12, 0 = -i + 4*k + 158. Let m be (-6)/(-30) - i/15. Let h = m - -12. Solve 3*o + 5*s - 11 = 0, 4*o - 3*s = 2*s + h for o.
2
Let h(c) = c. Let z be h(0). Let b = z - -5. Suppose 0*q = 3*q + 3*r - 6, q = -b*r - 10. Solve s + 9 = -4*j, j - 12 = -q*s - 0*j for s.
3
Let j(w) be the third derivative of -w**4/4 - 5*w**3/6 - 16*w**2. Let f be j(-4). Solve -2*x = -2*o - 6 - 12, o + f = 3*x for o.
-4
Let x be (-2)/(-5) + (-43)/(-5). Let f be (-135)/45 - (-4 + -2). Solve 0 = f*m + 5*q - q + x, q = 5*m - 8 for m.
1
Suppose 0 = 6*o + 31 - 43. Solve -3*s + 2*g - 30 = o*s, 3*s + 32 = 4*g for s.
-4
Let i(n) = -n**3 + n - 29. Let m be i(0). Let a = m - -32. Let c = -3 - -5. Solve -c*v + 3*d = -18, v + 3 + 6 = -a*d for v.
3
Let p(k) = -k**3 - 23*k**2 - 74*k + 39. Let u be p(-19). Solve -2*r = -5*x - 20, -3*x + 4*r - 25 - u = 0 for x.
-2
Let u be 0/(5 - (-4)/(-2)). Let r = u - -2. Suppose -3*n + 4 = -r. Solve t + 3*h + n*h + 22 = 0, 20 = -4*h for t.
3
Let w(r) = -3 + 2*r - 7*r - 6*r**2 + 1 + 5*r**2. Let d be w(-4). Suppose 25*u + 12*u - 74 = 0. Solve 7*c - 2*c = 4*l - 23, -d*c - 10 = -u*l for c.
-3
Let y = -608 - -612. Solve -2*f + 8*j - 4*j = 4, 0 = 5*f - y*j - 2 for f.
2
Let p be (-136)/1156 - (-19)/17. Solve -2*r - 3*t + p = -0*t, -4*r - 5 = -t for r.
-1
Let d(r) = r**3 - 9*r**2 - 9*r - 8. Let x be d(10). Suppose -6*g = -x*g + 16. Let b(a) = -a. Let w be b(g). Solve 0 = -2*p - 3*i + 21, w*p = -p + i + 10 for p.
3
Let c = 8 - 4. Suppose -v + c*v = 42. Let r = v + -14. Solve r = -3*u - 12, 0 = f + f - 2*u - 10 for f.
1
Let n(v) be the first derivative of v**4/4 - 6*v**3 + 19*v**2/2 - 28*v - 33. Let l be n(17). Solve 5*j - z = l, -3*j + j + 2*z = 4 for j.
2
Let s = 17 - 17. Let r be 2/(-5) - 321/(-15). Let x be 2/(-14) - (-108)/r. Solve s = -f + x*c - 4 - 14, 0 = -2*f - 2*c + 12 for f.
2
Suppose -o = 3*q - 6*o - 33, o = -q + 19. Let l be (q/4 + -2)*1*11. Solve -5*m + m + l = -2*g, -10 = -4*m - 2*g for m.
4
Let x(w) = 18*w + 239. Let p be x(-13). Solve p*z + 5*c - 25 = 0, 14 = 4*z + c + c for z.
2
Suppose -4*o + 242 = -2*p, 0*o - 3*o + p = -180. Suppose 7 = -o*q + 60*q. Solve 2*b - 5*k = -14, -5*b + k + k = -q for b.
3
Let f be 8/2 + -7 + 4 + 4. Solve -f*z - 1 = 4*r, r = -2*z + 5*z - 13 for r.
-4
Let n(p) = p**3 + 5*p**2 - 17*p - 66. Let x be n(-6). Solve -2*w = -k - 2*k + 14, -2*w + 4*k - 16 = x for w.
-4
Let s be 10 - ((-2)/(-6) - 26/(-39)). Solve -1 = t - 3*c, s = -2*t + 4*t + 5*c for t.
2
Suppose 0 = -5*d - 2*q - 55, -5*q + 20 = -4*d - 24. Let h = d + 15. Solve -c - 8 = h*c + 4*b, b = -5*c - 17 for c.
-4
Let s = -193 + 193. Solve 3*d = 2*r - 1, 2*r + s*r = -4*d - 6 for d.
-1
Suppose 6*m - 18 = -6. Let l(f) = -3*f**2 + 2*f**3 - m + f + 0*f**2 + 0*f. Let r be l(2). Solve h = 2*a - 14, a = r*h + 5*a - 4 for h.
-4
Let w be 13/2*(1 - -1). Let i = w - 11. Suppose i*z - 15 = -z. Solve -2*s = -z*o - 8, -2*o + o + 3*s = -1 for o.
-2
Suppose -4*o - 28 = -z, 3*o + 48 = 3*z - 0*o. Let a(w) = -14 - 28*w**2 + 19 + 29*w**2 + 17 - z*w. Let j be a(10). Solve 0 = j*g + 8, -h = h + 3*g + 12 for h.
0
Let v(b) = b**3 - 14*b**2 + b - 14. Let l be v(14). Solve -m = -3, -c + 3*m = -l*m + 14 for c.
-5
Suppose 5*d = -2*a + 3*d + 16, 0 = 5*a + 2*d - 25. Let i be (-8)/(-6)*6/4. Solve -2*s - 5 = -i*l - 1, -a*s + 18 = 3*l for l.
4
Let a(k) = k**3 + 23*k**2 - k - 20. Let g be a(-23). Solve -2*o - n + g*n = 2, -4 = 4*o + n for o.
-1
Let o be 15 + (-528)/32 - 6/(-4). Solve -s = -4*t - t + 6, o = 4*s - 4*t + 8 for s.
-1
Let r = 60 - 55. Suppose -n + r = 3. Solve -3*x + 2 = x + 2*c, 0 = n*x - 2*c - 4 for x.
1
Suppose 2*j = -v + 11, -3*v + 10 = 4*j - 13. Solve 2*o - 30 = -j*r + r, -5*r + 45 = 4*o for o.
5
Let v(g) be the second derivative of -g**5/20 + g**3/3 - g**2/2 + 5*g. Let b be v(-2). Suppose -b*a + 14 = 5. Solve 2*w = -2*s - 2*w + 8, 9 = a*w for s.
-2
Suppose -5*k - 37 = 3*i - 1, -4*i = -3*k - 10. Let w(x) = -4*x - 20. Let o be w(k). Solve 0 = a - o*n + 3 + 2, 0 = -3*a + 3*n - 6 for a.
-1
Let m be (-220)/(-56) - (-4)/56. Solve -2*c + m*c = -2, -5*c + 11 = -4*t for t.
-4
Let y = -20 - -20. Suppose -92 = -4*p - 3*n, n + y - 4 = 0. Solve -5*w - i = p, 4*w = -3*i - 7 + 2 for w.
-5
Suppose -2*l - 24 = -6*l + 3*r, -3*l + 2*r + 18 = 0. Suppose 2 + 10 = l*u. Solve u*b + 4*m = 8, 2*b - 6 = 2*m - 4 for b.
2
Let j = 83 - 79. Let p(o) = -o**3 + 9*o**2 - 6*o - 11. Let b be p(8). Solve -3*l - j = b*k, 2*k + 4 = 2*l - 4*l for l.
-3
Suppose -2*x = -p + 9, 2*p - 13*x - 9 = -12*x. Solve -p*g = -3*c, -c = 2*c + 12 for g.
-4
Let u = -6 - -13. Let s(m) = 474*m - 6162. Let o be s(13). Solve -5*n + 19 = -2*l, o = 3*l + 2*l + n + u for l.
-2
Suppose 0 = -5*f + 5*t - 55 - 15, -3*f + 2*t - 40 = 0. Let m be (-72)/f + 4/2. Solve 4*p = -4*x + 6 - 38, -p + m = -3*x for x.
-4
Suppose 35 = 5*i + 2*i. Solve 22 = -4*u - 5*v, -i*v + 3 - 1 = -4*u for u.
-3
Let g be (1/3 - 1)/(6/9). Let l be 0*3/(-6) + (-3)/g. Solve -3*z + 2 = -j, 3*j + 2*j = -l*z - 10 for z.
0
Let n be (-187)/(-7) - -2 - (-4)/14. Let d = n - 27. Solve 5*q + d = -z, -3*q + 0*z = z for q.
-1
Let a(d) = 3*d**2 - 2*d + 2. Let j be a(1). Suppose 3*k - 2*k - 5 = 0. Solve -k*f + 2*z = 4*z + 25, j*z + 15 = 0 for f.
-3
Let o = 195 - 191. Solve -6 = 3*x - q, o*x - 5*q + 3 = -2*q for x.
-3
Suppose -443 = -5*l + c, l + c - 23 - 68 = 0. Suppose 0 = v + 3*w - 11, -l = -3*v - 0*w + 5*w. Solve -2*y - 1 = -3*d - 0*d, -v = 4*y + d for y.
-5
Let o(d) = d**2 - d - 4. Let b be o(-3). Let t = 3916 - 3912. Solve 0 = -t*r + 2*a, -b*r = -4*r - 3*a - 2 for r.
-1
Let o = 19 + -22. Let t be (o - 44/(-7)) + 10/(-35). Solve v - t*b - 15 = b, 3*v - 3*b = 18 