 a(4). Solve 3*k - 6*k + 15 = w for k.
5
Let j(u) = -3404*u - 3 + u**3 - u**3 + u**3 + 6*u**2 + 3396*u. Suppose 0*x = q + 4*x + 11, x + 15 = -2*q. Let p be j(q). Solve 0 = -z - 1 - p for z.
-5
Let u = 9 - 4. Suppose -317 - 224 - 16 = -557*d. Solve -4*a = u - d for a.
-1
Let l be (-138)/12 + 3/(-2). Let b = 15 + l. Let v be (8/(-4) - b)/(-2). Solve -m = -v*m + 1 for m.
1
Let g = -649 + 675. Solve 29*y = g*y + 12 for y.
4
Let x = -16 + 19. Suppose -4*v = x*v. Solve 0 = -2*f - 6 - v for f.
-3
Suppose 0*f = -4*l + 2*f - 154, -3*l + 2*f - 116 = 0. Let d = 16 + l. Let t be d/33 - 34/(-6). Solve 4*n + t = -n for n.
-1
Let y(v) = -4*v**3 - 3*v**2 - v - 2. Let i be y(-2). Let c = 42 + -38. Suppose -c*m + 27 = r + 7, 5 = m + 2*r. Solve i = m*j - 0 for j.
4
Let m = -300 - -308. Solve m - 28 = 5*u for u.
-4
Let j be (-108)/(-26) - 4/26. Suppose 0 = j*r - 3*r - 4. Suppose -5*h = -6*h + r. Solve -h*d = -2*d + 10 for d.
-5
Suppose 40 = 4*z + z - 5*d, z + 2*d = -4. Suppose -z*r + 12 = 2*r. Solve -r*m + m + 4 = 0 for m.
4
Suppose 2*y - 49 = 3*v, -5*y - 3*v + 63 = -70. Solve -4 = -y*j + 24*j for j.
2
Let v = 64 - 51. Suppose v = t + 8. Solve t*z + 12 = -3 for z.
-3
Let q be 19 + -8 - 9/3. Suppose 0*p - 9 = -3*p. Suppose 24 = p*v - 3*j, 3*j + q = j. Solve -5*t + v = -11 for t.
3
Let d be (-48)/27 + 2 + (-7)/(-9). Suppose d = h - 0. Solve 4*b - 3 = h for b.
1
Let d(q) be the third derivative of q**5/20 + 3*q**4/8 - 2*q**3/3 - q**2. Let r be d(-4). Solve r*a + 15 = 5*a for a.
-5
Let c(w) = 2*w**2 + 10*w - 26. Let p be c(-7). Solve 2*m - 3*m = -p for m.
2
Let i be (-1)/2*0 + 3. Suppose -27 = -5*h + 18. Let a(t) = -2*t + 25. Let l be a(h). Solve -5*q - i = l for q.
-2
Suppose 4*r - 64 = -4*i, -2*r + 4 + 8 = -3*i. Solve -r = 4*g - 20 for g.
2
Let d = -245 + 270. Solve -d = 6*f - 7 for f.
-3
Let l(r) = -r**3 - 6*r**2 - 2*r - 6. Let d be l(-6). Suppose -v - 3*o = 2, v + 0*o - d = 5*o. Solve -p - 3 = -v for p.
-2
Let x = 8 - 5. Let q be 6/(x/(-20)*-2). Let l(w) = -2*w + 27. Let z be l(11). Solve -z*h = -h - q for h.
5
Suppose 5*s + 7 = 6*s. Suppose 42 = s*c - c. Solve -c*k = -2*k + 25 for k.
-5
Suppose -49*q + 73*q - 288 = 0. Solve -17 = i - q for i.
-5
Suppose -2*b + 14 = 3*r, 2*r + 3*r + 4*b = 24. Solve -f = -0*f + r for f.
-4
Suppose 0 = -f + 3*p + 9, -2*p = 4*f - 5*f + 7. Solve 2 = -x + f*x for x.
1
Let o = 575 - 575. Solve o = -5*q + 83 - 88 for q.
-1
Let s(k) = -k**2 - 17*k - 65. Let d be s(-9). Solve -d = -2*b - 1 for b.
3
Let j = 3 - -2. Suppose -4 = 3*w + j, 27 = 3*u - 4*w. Suppose 5 + u = 5*g. Solve -g*r = -3*r - 4 for r.
-4
Suppose -q = -13 + 7. Solve -4 = -q*d + 8*d for d.
-2
Let b(d) = -6*d + 16. Let q be b(2). Solve q*c + 0 - 12 = 0 for c.
3
Suppose 12*t - 245 = -23*t. Solve 0 = -h - 2 + t for h.
5
Let h(k) = 2*k - 22. Let i(r) = r + 17. Let q be i(-5). Let z be h(q). Suppose 5*v + z*o = 5*o + 10, 3*o = -3*v + 6. Solve -v*d = -d - 4 for d.
4
Let a = -3 + 8. Let c = a - 2. Solve c*m - m = 4 for m.
2
Let l = -35 + 42. Suppose 8 = 3*q - l, 0 = 5*h + q - 20. Solve -h*j + 13 = -2 for j.
5
Suppose -4*i + 25 = 2*k + i, 0 = -k + 2*i - 10. Solve -3*v - v + 12 = k for v.
3
Let t be 2/((-1)/2 + 1). Let r be 230/46 + 10 + -1. Solve -t = 5*f - r for f.
2
Let q = -41 + 36. Let z be 2/(-4) + ((-45)/2)/q. Solve -z*d + 10 = -10 for d.
5
Let d(v) be the third derivative of -v**5/60 + v**4/2 - 17*v**3/6 + 2*v**2. Let b be d(10). Solve b*x + 3 = 6 for x.
1
Suppose 9 - 25 = -2*p. Let u = p + 0. Solve 7*k - u = 5*k for k.
4
Suppose -5*y - 15 = -20*y. Solve -14 = 5*o + y for o.
-3
Let z be (-4)/2*(1 + -2). Let n = -1826 + 1830. Solve -z*v + 6 = n for v.
1
Let s be 40/(-15)*(-8 - 174/(-24)) + -1. Let n = 5 + -2. Let a be 2/3 - (-4)/n. Solve a*c - 3*c - s = 0 for c.
-1
Suppose -3*l + 5*l = -16. Let f = l - -11. Suppose -3*s + 25 = 2*s. Solve -s*p - 6 = -f*p for p.
-3
Let a be (22/(-3) - -7)*-9. Solve 0 = -a*w + w + 4 for w.
2
Let w(s) = s**3 - 2*s**2 + 4*s + 73. Let j be w(0). Solve 72*a - j*a = -1 for a.
1
Let v(y) = -2*y + 2. Let i = -9 - -9. Let b be v(i). Suppose -4*z - 2*x = x - 26, -x = -b*z + 18. Solve 4*t = 2*t + z for t.
4
Suppose 0 = -9*b + 7*b. Let x(l) = -2*l - 1. Let g be x(b). Let u(s) = s**2 - 1. Let a be u(g). Solve a = -5*n - 3 - 7 for n.
-2
Let p(k) = -k**2 + 7*k - 8. Let o be p(5). Suppose -o*z - 4*y = 16, -2*z + y + 4 = -5*z. Solve z*l = -2*l - 8 for l.
-4
Suppose -18*c = 4*g - 19*c - 53, -63 = -4*g + 3*c. Solve 0 = -11*a + g - 1 for a.
1
Suppose 0 = 4*q - 2*p - 14, -2*q + 3*p + 1 = -6*q. Let o be -4 - -4 - (-6)/q. Let k = 4 + -1. Solve -o*b + 9 = -k for b.
4
Let a(t) = t**2 + 4*t. Let b be a(-5). Suppose -5*d + 4 = 2*z + 78, 5*z = 2*d - 127. Let k = 27 + z. Solve 0*r - b*r = k for r.
0
Let f be ((-196)/343)/(4/(-14)). Solve f*r = -5*r - 7 for r.
-1
Let x(k) = -k**2 + 5*k + 10. Let i be x(6). Let q be 0 + 0 - (4 + -3). Let c be q/(-1) - 0 - 1. Solve c = -t - i for t.
-4
Suppose 8 = 4*q - 2*q + 2*y, y - 16 = -3*q. Let l = -15 - -18. Suppose -l*w = -q*w. Solve w = s - 2*s - 3 for s.
-3
Suppose 2*k = -5*s + 21, -6*k + 41 = -k + s. Solve 7 + k = 3*y for y.
5
Let b be (4*1)/1 - -1. Let o be (-72)/(-14) - (-3 + (-22)/(-7)). Solve b*i - 10 - o = 0 for i.
3
Let s(i) = -19*i - 46. Let l be s(7). Let u = -165 - l. Suppose 2*j + 12 = 3*o - 2, -4*j - 20 = -2*o. Solve -o = -4*v + u for v.
4
Suppose -1184 = 17*a - 2323. Solve a - 71 = 4*l for l.
-1
Let b(s) = 5*s + 10*s**3 - 6*s**2 - 4*s**3 - 5*s**3. Let u be b(5). Solve -d + u + 3 = 0 for d.
3
Let a = 16 - 11. Suppose 4*l = a*z + 11, -2*z = 3*z - 25. Suppose 0 = 2*d - d - l. Solve -2*m + d = m for m.
3
Suppose 3*v = -5*f - 306, -2*f - 306 = 3*v + 2*f. Let c = v + 106. Solve -c*u = -21 + 5 for u.
4
Let k(c) be the first derivative of c**3/3 + 6*c**2 + 4*c - 28. Let s be k(-12). Solve 0 = 5*h - h + s for h.
-1
Let x be -16 + -7 + 16 - -7. Solve -8*h + 15 + 1 = x for h.
2
Suppose o - 4*x + 321 = 2*o, -3*o - 4*x + 947 = 0. Suppose 313 = -2*k + o. Solve k = -4*l + 5*l + 5 for l.
-5
Let z(d) = 3*d**3 - 5*d**2 + d - 2. Let s be z(2). Suppose 2*k = -k. Let u be 48/27 + 2/9. Solve k = 2*p - s*p + u for p.
1
Let c be -4 + 1 + 15/5. Let a(z) = z**2 + 5. Let t be a(c). Let s be 0/(1/((-1)/2)). Solve 5*b - 30 + t = s for b.
5
Let j = 80 - 67. Solve 2*t + 3 - j = 0 for t.
5
Suppose 5*l + 3*t = 7*l + 2, -3*t = 2*l - 22. Suppose 19 = h - 3*v, -h + l*h + v - 11 = 0. Solve 0 = -h*y - 0*y + 4 for y.
1
Let m(s) = -s**3 + 11*s**2 - 6*s - 143. Let l be m(8). Suppose -5*k = -2*k - 15. Solve -k*g + 9 = -l for g.
2
Let y be 6/(-4)*(-136)/51. Solve -11 = y*g + 1 for g.
-3
Let s(d) = -2*d - 2. Suppose 23 = 2*p - 4*c + c, 10 = -2*c. Let a be s(p). Let n = a - -12. Solve 0 = n*r - 6 for r.
3
Let t be 7/2*4/14. Let w be 1 - (-2 + t + 2). Solve w = -3*r - 15 + 6 for r.
-3
Let f be (-1)/11 - (108/22 - 5). Solve 19*l + 18 + 77 = f for l.
-5
Let k be 1/4 + (-14)/56. Let s = k - -7. Let l = s + -4. Solve 12 = -l*i - 0*i for i.
-4
Let q = 72 + -61. Let h(a) = -a + 21. Let o be h(q). Solve -k - k = -o for k.
5
Let k = -7 - -9. Suppose 0 = k*l + 4*y - 16, 3*l = 3*y - 1 + 7. Let n be l - (8/4 - 2). Solve -n*z = -z for z.
0
Let d = -45 + 41. Let l be 24/(d + 8) + -3. Solve -4 - 5 = l*w for w.
-3
Suppose 3*l - l = 3*j, l - 4*j = 0. Suppose l = -w - 4*u - 4, -2*u + 3*u + 4 = 0. Let y = w + -7. Solve -1 = -y*h - 11 for h.
-2
Suppose 5*m = 0, 2*i - 2 = -5*m + 10. Suppose -4*y = 9 + 11, y = h + 103. Let s = -108 - h. Solve s = -2*r + 4 - i for r.
-1
Let n be 6 + (-16)/(-12)*-3. Suppose -54 + 2 = -n*j. Let t = -23 + j. Solve -3*m - t = -0 for m.
-1
Suppose -3*o - 55 = -8*o - 4*n, 3*o + 4 = 5*n. Solve 0 = -9*p - 2 - o for p.
-1
Suppose -4 = -4*k + 64. Suppose o - k = -3*y + 8*y, 0 = -4*y + 3*o - 18. Let u = 2 - y. Solve 3*h - u = 2*h for h.
5
Suppose 0 = x + 4*x - 20. Let g(h) be the second derivative of h**3/6 - h**2 + 3*h. Let c be g(x). Solve 2*z - 3*z = c for z.
-2
Let m = 3 + -5. Let u be 0/m + (-1 - -1). Suppose -2*f + 37 = 3*s + 3*f, -4*s + 96 = -5*f. Solve u = -5*w + s + 6 for w.
5
Suppose 33*i - 25*i - 112 = 0. Suppose 3*q - i = o, -5*q + 0*o - 2*o = -27. Solve -16 = q*l - 1 for l.
-3
Let b be 3*((-7)/(42/4) + 2). Suppose -5*p - b = w + 4, -4*p = w + 6. Solve 0*r = -w*r for r.
0
Let m(g) = 2*g + 5. Let f be 0/2*5/(-10)*-1. Let y be m(f). Solve -y*o = -0*o 