4 = -3*w + 2*k. Solve 18*a - 4*a = w for a.
2
Let q(g) = -g**3 - 15*g**2 + 16*g + 1. Let m be q(-16). Let l(z) = -2*z**2 + 5*z - 1. Let b be l(m). Solve 5*y = b*y for y.
0
Suppose 0 = g - 24 + 4. Solve 0 = -62*h + 58*h + g for h.
5
Let w(r) = -r**3 - 16*r**2 - r - 13. Let k be w(-16). Solve 5*j + 2 = -k for j.
-1
Let f(m) = -m**3 + 9*m**2 - 6*m - 11. Suppose -11*i = i - 96. Let r be f(i). Solve n = 6*n - r for n.
1
Let t(h) = -3*h**3 + 24*h**2 + h + 15. Let x be t(8). Solve -x = -4*q - 7 for q.
4
Let u = 30 - 10. Suppose u = 22*k - 17*k. Solve k*t = 6*t - 10 for t.
5
Let q(u) = -7*u**3 - u**2 - u - 1. Let y be q(-2). Let n = -53 + y. Solve n = 2*i + 2*i for i.
0
Suppose 0 = -4*m + y + 1, -3*m + 5*y - 1 + 6 = 0. Suppose m*g = 3*g. Solve g = 4*u - 2 - 2 for u.
1
Let y(g) = -g**2 - 6*g + 4. Let s be y(-7). Let q be -3 - (0 - 0) - s. Solve 2*o = -q*o + 4 for o.
2
Suppose 0 = -l - 1, 5*l = -h + 2*h - 122. Suppose 12 = -116*y + h*y. Solve -4*a + y = -0*a for a.
3
Let c(y) be the first derivative of y**4/4 - 2*y**3/3 - 1. Let l be c(2). Suppose l = 6*h - 4*h - 8. Solve 0*o - h*o = 4 for o.
-1
Suppose -5*u = 2*w - 0*w - 13, 2*u = 4*w + 10. Suppose 7*x + 12 = u*x. Let k be (-15)/(-6)*(x - -5). Solve -2 = k*z - 22 for z.
4
Let o be 5 + 1 - (2 + 0). Let r be (-3 + 99/12)/(9/24). Let h = r - 2. Solve o*y = -4 - h for y.
-4
Let h(n) = -22*n + 167. Let b be h(7). Solve -15*j + b*j + 4 = 0 for j.
2
Let g = -2 + 4. Let f be (-8)/(12 - 4) - -4. Solve -g = w - f for w.
1
Let f = 191 - 186. Solve f*y - 25 = 10*y for y.
-5
Let k be (2/(-4))/((-10)/320). Let b = k - 0. Solve 2*j - 6*j + b = 0 for j.
4
Let i = 12 - 7. Suppose -20*b = -15*b + 355. Let f = 71 + b. Solve s + f*s + i = 0 for s.
-5
Suppose -5 = 2*h - 13. Suppose -h*y - 6 = -30. Let j = y + -3. Solve 1 = j*c - 4*c for c.
-1
Let c be -1 + 2 + (-1)/(2/(-6)). Solve -5*h + 7*h = -c for h.
-2
Let i be ((-170)/(-15))/((-2)/(-3)). Suppose k - i = -50. Let u = -28 - k. Solve 0 = -u*c - 3 - 7 for c.
-2
Let t(i) = 3*i**2 + i - 3. Let p be t(2). Solve 5*r - p = -31 for r.
-4
Let s = 119 - 117. Suppose -s*w + 4*g = w + 10, g = -5*w + 14. Solve -2*j - w*j = -4 for j.
1
Let r(x) = -4 + x + x + 2. Let c(f) = -f**3 - 5*f**2 + 3*f - 17. Let d be c(-6). Let o be r(d). Solve -3*j + 0 + 9 = o for j.
3
Suppose -h = -4*q + 2*q + 23, -53 = -5*q + h. Solve -q*j + 12*j - 10 = 0 for j.
5
Suppose -6*i + i + 4*a + 110 = 0, 3*i - 29 = -5*a. Let t(l) = -2*l + 32. Let y be t(24). Let p = i + y. Solve -5 = p*m + 5 for m.
-5
Let v(t) = -t**3 - 2*t**2 + t - 1. Let a be v(-3). Let r be -1 - a*(2 + -3). Suppose 3*z - 2*z - 2*u + r = 0, -3 = -u. Solve z*w = -0 + 6 for w.
3
Let c be (1 - 1) + 0/16. Solve -6*v + 8*v = c for v.
0
Let b be (7/(35/(-174)))/(30/(-100)). Solve 0 = -3*v - 122 + b for v.
-2
Suppose 0 = 4*a + 5*l - 64, 2 = a - 3*l - 31. Solve -5*y - 2*y + a = 0 for y.
3
Let m be (-5)/(-3)*48/40. Solve 6*c + 4 = -m for c.
-1
Let z(o) be the first derivative of o**4/4 - 5*o**3/3 + 2*o**2 + 4. Let x be z(3). Let n(y) = -y**2 - 9*y - 9. Let d be n(x). Solve 0 = -2*c + 1 - d for c.
-4
Let v(q) = q**3 + 8*q**2 + 3*q + 11. Let m(g) = g**3 + 8*g**2 + 2*g + 12. Let f(t) = -3*m(t) + 4*v(t). Let o be f(-7). Solve 0 = 3*p - 3 + o for p.
-4
Let p(l) = -3*l - 14. Let k be p(-4). Let d be 2 - k - (-4 - -4). Let m = 3 + -3. Solve d*f - 8 = -m*f for f.
2
Suppose 9*g + 264 = 13*g. Let d = g + -46. Suppose 4*n + n - 15 = 0. Solve n*p - d = -2*p for p.
4
Let d = -1 - -11. Let g(h) = 3*h - 14. Let a be g(d). Solve 0 = -4*t - 4 - a for t.
-5
Suppose 4 + 11 = 3*n - 3*k, -2*n + 15 = -3*k. Solve -h - 4*h + 25 = n for h.
5
Suppose -2048 + 1544 = -7*v. Solve -g = -74 + v for g.
2
Let s be 342/45 - (-6)/15. Solve -9*u + 2 = -s*u for u.
2
Let a(g) = 2*g**2 - 19*g + 11. Let u(k) = k**2 - 10*k + 6. Let s(v) = 6*a(v) - 11*u(v). Let l be s(4). Solve -4*y + l = 8 for y.
-2
Let h(u) = 7*u + 87. Let i(z) = 15*z + 175. Let o(n) = 9*h(n) - 4*i(n). Let y be o(-26). Solve -3*j = -y*j + 10 for j.
5
Let d be ((-2)/5)/((-4)/120). Let k = 27 - d. Solve p - k = 4*p for p.
-5
Let y be (-8 - -3)*(-4 - (0 - 1)). Let g(x) = -x**3 + 16*x**2 - 11*x - 50. Let t be g(y). Solve -t = -f - f for f.
5
Suppose -3*x - 5 - 22 = 0. Let q(n) = n**2 + 8*n + 4. Let u be q(-4). Let h be (-6)/(-4)*u/x. Solve -3*y - h*y = -25 for y.
5
Let r be (-1645)/(-94)*(-2)/(-5). Solve 8*l + 5 = r*l for l.
-5
Suppose 19*i - 30 = 13*i. Suppose 0 = -4*j + 3*l + 19, -3*j + 2*j - 4*l = 19. Solve i*s + j + 9 = 0 for s.
-2
Let n(w) = -2*w**3 + 12*w**2 - 10*w - 14. Let l be n(3). Solve -5 = -5*r - l for r.
-1
Let b(t) = -2*t**2 - 13*t - 4. Let v be b(-6). Suppose 0*h + v*h - w = -1, -1 = -w. Solve n = -h*n for n.
0
Let r = 99 + -39. Let d be (r/(-75))/(((-2)/5)/2). Solve d*f + 8 = -4 for f.
-3
Let y be ((-1)/2 - 6/12)*1. Let o be (0/23)/(-1 - y/(-1)). Solve o*h = 2*h + 6 for h.
-3
Let v = -791 + 811. Solve 9*f = 5*f + v for f.
5
Suppose -20 = 4*f - 9*f. Suppose 0 = 4*t - 4*j - 4, 2*t + 0*t - f*j = -4. Solve -t*g = -0 + 4 for g.
-1
Suppose b + 49 = 8*b. Solve -12*w = -b*w - 10 for w.
2
Suppose 3*g = -z + 34 + 124, -3*z = -3*g + 174. Suppose 4*r + 14 = 5*r. Suppose p + r = k - 0*p, -5*k = -p - g. Solve -k = -2*j + 4*j for j.
-5
Let c(z) = z + 12. Let y(x) = -2*x - 13. Let v be y(-6). Let d = v + -6. Let f be c(d). Solve f*w = 7 + 3 for w.
2
Let r(v) = 0 + 0*v - v**2 - 2 + 5*v. Let n be r(4). Suppose 5*k + 26 = n*b, 5*b - k = 4*k + 35. Solve -b*a = 2*a for a.
0
Let c be 66/3 - (16 - 9 - 6). Solve c = 42*q - 49*q for q.
-3
Let l(j) = j - 5. Let v = -28 + 25. Let i be l(v). Let n be 2/i - 8/(-32). Solve 2*q = -n*q + 2 for q.
1
Let k = 15 - 13. Suppose -4*u + 14 = 5*c, -3*c + 5 = k*u - 5. Solve c = -5*z - 14 for z.
-4
Let l(i) = 9*i + 9. Let s be l(-2). Let x be ((-8)/(-1)*-1)/(s - -7). Solve -x*m - 17 + 1 = 0 for m.
-4
Suppose -y + 3*i - 1 = 0, 3*y + i + 21 = -2*y. Let q be (y/((-4)/3))/((-36)/(-48)). Solve -z = q*z - 15 for z.
3
Let m = 19 - 17. Suppose 4*c + 7*f - m*f - 36 = 0, -4*f + 8 = -2*c. Solve 3*k - 1 = c*k for k.
-1
Let q be 1/((4/(-10))/(-2)). Suppose 0 = -a + 10 - 5, -4*a = q*u - 40. Suppose 4 = k + u*y - 2, -18 = -3*k + y. Solve 4*c + 18 = k for c.
-3
Let q(i) = -3*i**2 - 2*i + 1. Let b be q(-4). Let o = b + 43. Solve -o*h - 6 = 2 for h.
-2
Suppose -b - t - 6 = -4*b, -b + 2 = -2*t. Let d = 2 + b. Suppose d*o - 11 - 9 = 0. Solve -x - 4*x + o = 0 for x.
1
Let p(t) = t**2 + 4*t + 4. Let b be 6 + 7/((-7)/2) + -1. Let j be p(b). Solve 0 = 5*q - 10*q + j for q.
5
Let t be -1 + ((-12)/8)/((-3)/6). Solve -2*v + 0 = t for v.
-1
Suppose -8*i = 3*i - 44. Let b = 43 + -24. Solve -i*x - b = 1 for x.
-5
Let d(p) = -p**2 - 14*p - 14. Let j(a) = -a**3 + 7*a**2 + 7*a - 5. Let h be j(8). Let u be d(h). Let w be (-2 - u)/((-1)/3). Solve -r + w*r = -6 for r.
-3
Let t(n) = -n**2 - 9*n + 14. Let z be t(-10). Suppose -r + 2*r = z*c + 48, 174 = 5*r + 2*c. Let i be (-2)/(-5) + r/10. Solve i*d - d - 15 = 0 for d.
5
Let m be (1/3)/(10/(-60)). Let a be (m + 3)/(3/15). Suppose -a*j - 3*o + 37 = 0, -6*o + 3*o - 27 = -3*j. Solve -2*r = -j + 2 for r.
3
Let i(p) = p + 7. Let v be i(14). Suppose -8*g + g = -v. Solve 0 = g*u - 3 - 0 for u.
1
Let o(k) = k**2 + 4*k - 29. Let r be o(6). Solve -s + 26 - r = 0 for s.
-5
Suppose 36 + 24 = 20*w. Solve 0 = -w*r + 5*r + 10 for r.
-5
Suppose -10*i + 138 = -4*i. Solve 19*s = i*s + 20 for s.
-5
Let z be (-26)/(-10) - (-92)/230. Solve -b = 2*b + z for b.
-1
Let o be (15 - 15)*(4/6 - 1). Suppose -4*v - 4*s + 32 = o, s - 34 = -5*v - 2*s. Solve v*z + 34 = 14 for z.
-4
Let j = 113 - 97. Suppose -7 = -3*w + 2*k + 3, -4*w + 4*k + j = 0. Solve -4*r = 10 + w for r.
-3
Let a = -207 + 212. Solve 25 - a = -4*i for i.
-5
Suppose -b - 9 = -2*k, -5 = k + 3*b - 13. Let t(h) = -h**2 + 9*h - 19. Let w be t(k). Solve 0 = q + w for q.
-1
Suppose 5*b - 27 = 3. Let d = b - 3. Let a be d + -3 + (-3)/(-3). Solve w + a = 4 for w.
3
Let l(a) = a**2 - 2*a - 1. Let g(d) = d + 8. Let s be g(-5). Let m be l(s). Suppose f + 4*y = -2*f + 2, -m*y - 32 = -4*f. Solve 3 - f = k for k.
-3
Let s(c) be the third derivative of c**4/24 + c**3/2 - 5*c**2. Let z be s(-17). Let k be z/49 - 44/(-7). Solve -20 = k*a - 2*a for a.
-5
Suppose -278*w + 274*w = -4. Solve -w = 2*y + 3 for y.
-2
Let v(d) be the third derivative of 0*d - 5*d**2 + 0 + 0*d