l - -6 - (3 - y). Solve 0 = -f*z - 18 + 6 for z.
-4
Suppose -7*b + 14*b = 0. Solve 3*j - 3 + 0 = b for j.
1
Suppose 5*b + 2 + 5 = 2*c, 12 = -3*c + 3*b. Let d(a) = a + 9. Let s be d(c). Suppose p + 0*q = 5*q - 18, s = 5*p - 3*q + 2. Solve p*m = -0 - 10 for m.
-5
Suppose -4*w + 2*w + 2 = 0. Solve -3*s - 4 + w = 0 for s.
-1
Suppose -2*o + 4 = -o. Let c = -1 + 1. Solve c = h + o*h + 5 for h.
-1
Suppose 2*x + w + 9 = 4*x, x + 1 = -5*w. Solve 5*s = x*s for s.
0
Let z be (-8)/12 - (-148)/6. Suppose 8*a - 4*a = -z. Let m be (-12)/a - -3*1. Solve m*b = -0 + 10 for b.
2
Suppose -4*b + 23 = -d + b, -5*b + 21 = -2*d. Solve -d*f + 9 - 1 = 0 for f.
4
Suppose 3*c - 4 = 4*a - 23, -4*a = -5*c - 21. Solve -4 = -a*q - 16 for q.
-3
Let q = -1 - -1. Let y(s) = -s**3 - 5*s**2. Let g be y(-5). Let b = g - -1. Solve q = -c - b - 2 for c.
-3
Let t(u) = -u**2 - 8*u + 2. Let b be t(-8). Solve -4*g + 6*g + b = 0 for g.
-1
Let d(j) = 2*j**3 - 5*j**2 - j + 2. Let f be d(4). Suppose 3*o = o + f. Suppose 4*y = -5*k + 16, -4*k + 3*y = k - o. Solve k*x + 12 = 4 for x.
-2
Suppose 4*q - 14 = 2*j, -j + 5 = -0*j. Solve s = -s + q for s.
3
Suppose -5*p + 2*f + 2*f = -26, -p = -2*f - 10. Suppose -p*y = w - 3, 0 = -y + w + w + 4. Solve 0 = -2*m + 4*m + y for m.
-1
Let q = -6 - -6. Suppose q = 4*h + 2*y + 4, 2*h = -2*h - 5*y - 10. Solve 4*v + 3 - 19 = h for v.
4
Let p = -9 - -9. Solve p = -3*w - 12 for w.
-4
Let s(y) be the third derivative of 7/24*y**4 + 0 + 1/60*y**5 + 0*y - 7/6*y**3 + 3*y**2. Let c be s(-8). Solve 2*r = 3*r + c for r.
-1
Suppose -11*i = 2*i - i. Let k = 0 - -6. Solve i = -3*v + 3 + k for v.
3
Let w(g) = 12 - 3*g**2 - g + 4*g**2 + 0*g. Let x be w(0). Solve -13 - x = 5*t for t.
-5
Let g(z) = z**2 + z - 4. Let b be g(-3). Let r(t) = -t - 6. Let f be r(-9). Let n = -3 + f. Solve n = b*u + u for u.
0
Let i = 26 - 21. Solve 20 = -i*c - 0*c for c.
-4
Let p(d) = -d**3 - 11*d**2 + 13*d + 14. Let x be p(-12). Solve x*i - 5*i = 6 for i.
-2
Suppose 2 = 2*p - 2*x, 2*x - 3*x + 4 = 0. Solve p*a - 13 = 12 for a.
5
Let x = -3 + 7. Suppose 0 = x*l - 5*l. Solve 4*y - 2*y + 4 = l for y.
-2
Let o be (-8)/(-5)*(-2 + 7). Solve -3*c - o = 7 for c.
-5
Let o = 7 + 8. Suppose 0*t - o = -5*t. Solve -4*v = -t*v for v.
0
Let t = 53 - 52. Let d be (0/3)/(-1 - -2). Solve d = p + 4 - t for p.
-3
Let w be (-2)/(24/(-3)) - 94/(-8). Solve 0 = 4*b - b + w for b.
-4
Let r(y) = y - 2. Let z be r(5). Suppose c + c + 8 = 0. Let t = -2 - c. Solve t*d + 1 = z for d.
1
Suppose 43 = -3*f - p - 3*p, -2*p = 3*f + 35. Let i(n) = n + 12. Let a be i(f). Solve -a + 8 = -j for j.
-5
Let d = 6 + -4. Let k be (2/4)/(2/8). Suppose 3*f = 5*h + k*f - 1, 2*h + 4*f = -4. Solve h = 2*z + 8 + d for z.
-5
Let r(g) = -g + 15. Let s be r(9). Suppose -f + s*f = 0. Solve f*q + 3 = q for q.
3
Let b(p) = -2*p + 2. Let x be b(1). Let h(m) = 4*m**3 - m. Let g be h(1). Solve 3*w - g = -x*w for w.
1
Let i = 7 + -5. Solve 0 = i*r - r for r.
0
Suppose -5*w = -2*j - 44, 6 = 3*w - 5*j - 9. Let s = w + -6. Solve 0*h + s = -h for h.
-4
Let q(z) = z - 9. Let b be q(4). Let a be (-15)/b + (-2)/(-2). Solve -2*r + 4 = -a*r for r.
-2
Let u = 19 - 10. Let a be 14/3 + (-6)/u. Suppose 3*y - 34 + 9 = 4*m, 31 = 5*y - a*m. Solve -6 = -y*i - 0 for i.
2
Let a be 0 + 2 + 0 + 28. Let n be (-6)/a - 66/(-5). Solve 5*p + n = -2 for p.
-3
Let l be (-2)/(-3) - (-16)/3. Let o = 12 - l. Suppose -2*d + d + 3*d = 0. Solve d*v = 3*v - o for v.
2
Suppose -2*l = 2*s - 3*l - 12, 3*l + 31 = 5*s. Solve 4*w - 1 = -s for w.
-1
Suppose p - 3*m = 1 + 7, 4*p - m = 21. Solve p = 4*y + 13 for y.
-2
Let v(d) = d**2 + 10*d - 22. Let h be v(-12). Solve 2 = h*g - g for g.
2
Let s(z) be the second derivative of 0 + 1/2*z**3 + z + 1/20*z**5 + 2*z**2 - 1/4*z**4. Let r be s(3). Solve 3*g = 1 - r for g.
-4
Let z(o) = o**3 - 5*o**2 + 5*o. Suppose 3*w - g - 8 = 3*g, 3*w - 7 = 5*g. Let i be z(w). Solve 0 = -5*b + 1 + i for b.
1
Let x be (-34)/(-8)*(0 + 4). Let v be (x/3)/((-1)/(-3)). Solve -4*z + v = 5 for z.
3
Let g(b) be the first derivative of b**3/3 - 5*b**2/2 + 4*b - 1. Let d be g(5). Solve r = -0*r + d for r.
4
Let n = -13 - -33. Suppose 0 = n*u - 18*u. Solve s + 4*s - 5 = u for s.
1
Let f(m) = m**2 - 2*m + 4. Suppose -r + 4*r = 27. Let g = r + -5. Let q be f(g). Solve -d = -5*d + q for d.
3
Suppose o - 5 = 0, -5*x - 2*o - 3*o + 45 = 0. Suppose 2*s - 43 = -6*b + 3*b, 0 = -4*s - 2*b + 66. Let r be (-4)/s - 90/(-21). Solve 0 = -x*m + 3*m + r for m.
4
Let d(g) = -g**3 + 6*g**2 - 6*g + 2. Let r be d(5). Let k be (r/(-2))/((-2)/(-4)). Suppose k*u = u + 4. Solve 0*z = -u*z for z.
0
Let s = 45 - 43. Solve -s*n + n + 1 = 0 for n.
1
Let l be (24/30)/(2/5). Suppose -1 + 0 = 3*b - r, 2*r - l = 0. Let o = b + 2. Solve 6 = o*f - 0 for f.
3
Suppose 47*c + 9 = 50*c. Solve 0*w - 3 = c*w for w.
-1
Let q(r) = -r + 2. Suppose 0 = 4*h - 4 + 24. Let p be q(h). Suppose -4*t = -2*u - p - 5, u = -t + 6. Solve t = -g + 2*g for g.
4
Let a(k) = k**2 + 4. Let j be a(3). Suppose 4*y = t - j, -2*t - 6 = -4*t - 2*y. Suppose f = 5*c + 22, 3*c + t + 9 = f. Solve 0 = -2*w + f for w.
1
Suppose -4*p + p = -69. Let n = -7 + p. Solve 0*l = 4*l + n for l.
-4
Let a be 4/(-14) - (-30)/7. Suppose -2*s - 8 = -5*o, -2*s + 0*s + 3*o = a. Solve 3*i + s = -14 for i.
-5
Suppose -2*x - 2*x = -5*a + 50, -4*a = -3*x - 39. Let v be a/(-4)*12/(-9). Suppose v*p - 4 = 14. Solve 4*n - p = -1 for n.
2
Suppose -9 = -3*w - 3. Let r(q) = -q + 4. Let l be r(4). Let h be l/(w - 0 - -1). Solve 2*x + 2 + 6 = h for x.
-4
Let z(a) = 2*a**3 + a**2 - 2*a + 1. Let t be z(1). Let u(m) = -9*m + 3. Let i be u(t). Let p be i/((-3)/8*2). Solve 2*g + 2*g = p for g.
5
Let q be (-4)/(-22) + 375/55. Let r be 33/5 + (-2)/(-5). Let n = r + -5. Solve -10 = q*u - n*u for u.
-2
Let p be 12 + ((-12)/4)/(-3). Solve 0 = -4*a - p + 1 for a.
-3
Suppose p + 2 = 4. Suppose -9 = -p*i - i. Solve -d + 2*d - i = 0 for d.
3
Suppose 10*k - 8*k - 8 = 0. Solve 3*u - k*u = 1 for u.
-1
Suppose -3*a + 0*v = 3*v + 15, 0 = 4*v + 4. Let i be (a + 3)*1*-3. Let p be (3 - 3) + -1 + i. Solve 5*k = p*k - 15 for k.
-5
Let l(b) be the third derivative of -b**6/120 - b**5/10 - b**4/6 + 7*b**3/6 - b**2. Let a be l(-5). Solve 8 = -2*o - a*o for o.
-2
Suppose 2*h - 5*m - 15 = 0, 0*h - 3*h + 3*m + 9 = 0. Let q be (-56)/(-12) + 2/(-3). Let z be (2/4)/(q/32). Solve -4*g + h + z = 0 for g.
1
Suppose 5*n + 18 = 8*n. Let h(c) = -c**2 - 7*c - 2. Let q be h(-6). Solve -q*j + j - n = 0 for j.
-2
Let o = -33 - -49. Let n = -8 + o. Solve 3*j - 7 = n for j.
5
Let d(p) be the first derivative of p**2/2 + 3*p - 2. Let b be d(0). Solve o = b*o - 6 for o.
3
Let w(v) = -v**3 + 5*v**2 - 3*v + 19. Let r be w(5). Solve -r*c + 12 = -0*c for c.
3
Let w = 45 - 45. Solve 0 = r - w - 5 for r.
5
Let x(c) = -c + 16. Let k be x(12). Solve -k*q + 3 = -3*q for q.
3
Let h(s) = s - 1. Let t be (-940)/(-18) + (-2)/9. Let w be 4/18 - t/(-9). Let m be h(w). Solve 15 = m*d - 0 for d.
3
Let i(a) = a**3 + 5*a**2 - 7*a. Let j be i(-6). Let n be 10/4*8/4. Solve -f + j*f - n = 0 for f.
1
Let o = 6 - 3. Let q(k) = -o - k + 3*k - 6 - 1. Let x be q(7). Solve x*r - 2 = 3*r for r.
2
Suppose 3*m - 7 = -5*f + 5, 2*f = 4*m - 16. Solve 0 = -m*p + 16 - 4 for p.
3
Let g(v) = -v**2 + 5*v - 3. Let r be g(4). Solve r + 1 = 2*m for m.
1
Suppose 5*a = n + 13, -2*a + 14 = 4*n - 0*a. Solve -2*w = n*w - 12 for w.
3
Let r = -6 - -11. Solve 1 + 4 = -r*a for a.
-1
Let u(p) be the first derivative of -p**4/2 - p**3/3 - p**2 - p + 5. Let s be u(-1). Solve s*q = 3*q for q.
0
Let c = 6 - 2. Suppose 3*v = c*v - 5. Suppose 4*k - v*k + 8 = 0. Solve 2*g - k + 0 = 0 for g.
4
Let h(b) = b**3 + 4*b**2 + 2*b - 1. Let o be h(-2). Let q(r) = -r**3 - 5*r**2 - r - 5. Let s be q(-5). Solve o*u = -s*u - 3 for u.
-1
Suppose 0*g = -5*s + 3*g + 30, 4*s + 2*g - 2 = 0. Let m = s + 4. Let u = m - 2. Solve u*l - l = -12 for l.
-3
Let m = -19 + 20. Solve -f = 2 + m for f.
-3
Let k = 16 - 20. Let l = 10 + k. Solve 5*w + l = 1 for w.
-1
Let w be (-1 - 2)*8/(-6). Solve 5 - 1 = w*p for p.
1
Suppose -2*y + y = 0. Suppose y = 5*o + 5*t - 40, -5*t = o - 3*o + 30. Solve 0 = -8*x + 3*x - o for x.
-2
Suppose 2*h + 2*h + 76 = 0. Let b = 34 + h. Solve 5*a + b = -10 for a.
-5
Let c(r) = -r**3 + 4*r**2 + 7*r - 2. Let v be c(5). Solve -v = 5*b - 3 for b.
-1
Suppose -a + 12 + 14 = -3*l, -5*l - 