*a + 8. Solve 2*w = -a*w + 4 for w.
1
Suppose -4*d + 4 = 4*o, -5*d + o - 5 + 16 = 0. Solve d = -h - 3 for h.
-5
Let c(y) = -5*y**3 - 11*y**2 + 5*y - 6. Let q(t) = -t**3 - t**2 - 1. Let o(u) = c(u) - 6*q(u). Let d be o(4). Suppose 5*l + 1 = 31. Solve -d*g + l = 26 for g.
-5
Suppose -4*n + p + 20 = 0, -3*n = p - 3*p - 15. Let g(u) = -u**2 - 6*u + 4. Let v be g(-6). Solve -n*b = -v + 14 for b.
-2
Suppose q + 4*x = 4, 2*q + 0*x + 1 = x. Suppose 8 = -h - 4*f, -5*h - 2*f + 14 = -q*h. Let s(i) = -i**2 + 6*i. Let t be s(6). Solve m + h = -t*m for m.
-4
Let k(u) = u**3 + 11*u**2 - 13*u - 4. Let m be k(-12). Let j be 2/5 + 156/10. Let r = j - m. Solve 0 = -f + 3*f + r for f.
-4
Let d = 72 - 72. Solve d = g - 3 - 2 for g.
5
Let q be -3 + 1 - (-4 - 3). Suppose -65*t = -64*t - 2. Solve -t*s - 1 = q for s.
-3
Suppose -1 = 2*i + 3*v, -5*i = -0*i + 4*v - 1. Let j be 0 - (i + 0 - 7). Solve j = -4*b + 14 for b.
2
Let a = -3 + 5. Solve r = 2*r + a for r.
-2
Suppose -5*j + 10 = -10. Let q = j - -8. Solve 3 + q = 5*i for i.
3
Suppose 3*m - 12 = g - 5*g, 3*m - g - 27 = 0. Solve 0 = -7*b + m*b for b.
0
Suppose -w + c + 8 = 0, 3*w + c = -c + 14. Suppose 4*p + w = 7*p. Solve 1 = p*t - 3 for t.
2
Let n be (-116)/(-6) - 6/(-9). Suppose 0 = 5*a - 3*j - n, 0 = 4*a - a - 4*j - 23. Let r be (-2 + 1)/(a/(-6)). Solve -5*v - 21 = -r for v.
-3
Suppose -4*i + 0*l + 18 = -5*l, i = -3*l - 4. Suppose 0 = -3*y - 5*a + 3*a + 10, 2*y + 3*a = 0. Solve -i*n + y = n for n.
2
Let m = -15 + 18. Suppose -m = p + f + f, 5*p + f = 3. Solve d + 4 = p for d.
-3
Let t = 21 - -11. Suppose -5*k + t = -2*b, 3*b - 9 = -2*k - 0*b. Solve 3*q + k = 5*q for q.
3
Let f be (-1)/3 + (-3)/(-9). Let s be 2/((-2 + -3)/(-5)). Solve -d = -f - s for d.
2
Let b be ((-32)/(-20))/((-4)/(-10)). Let y(u) = -2*u. Let r be y(b). Let h = r - -18. Solve m + h = -4*m for m.
-2
Let g(a) be the first derivative of 3 + 3/2*a**2 + 0*a + a**3. Let w be g(-2). Solve 6 = 3*x - w for x.
4
Suppose -2*u + 12 = 2*u. Let p = 10 + u. Suppose -p = -3*q + 5. Solve -q = 3*j - 6*j for j.
2
Let a = 9 - 6. Solve m + a*m - 12 = 0 for m.
3
Suppose 4 = 5*c - 6. Solve 0 = c*l + l - 3 for l.
1
Suppose c + 55 = 3*m, 3*c + 0*c + 65 = 4*m. Suppose -3*u - 4*v + 10 = 0, -4 = 4*v - m. Let r be 3 + -5 + (u - -12). Solve -r = z + z for z.
-4
Suppose 4*g - 2*s - 3*s = 33, -s - 7 = -g. Solve 0 = m - g - 1 for m.
3
Let c(f) = f + 2. Let k be c(0). Solve k*d - 6 + 14 = 0 for d.
-4
Suppose -6 = -4*x + x. Suppose 3*z - 2 - 1 = -4*l, 3*l + x*z = 2. Solve l = -4*i - i for i.
0
Let j be 3 - (1 - 3 - -2). Let v be (-3)/(j/(-10)) + -3. Solve -v*a = -2*a for a.
0
Let i(f) = -f**2 + 3*f + 6. Let n = 4 + 0. Let h be i(n). Solve 0 = h*z + 8 - 2 for z.
-3
Let x be (-110)/(-11) + (1 - 3 - 2). Solve -x = -5*m + 2*m for m.
2
Let f(k) = 2*k**2 - 11*k + 17. Let a be f(3). Suppose -6*p - 3*i = -p + 5, 4*i = -20. Solve p*v - a = -0*v for v.
1
Suppose 5*s - g - 1 + 6 = 0, -3*g = -4*s - 15. Suppose -2*w - 4*h + 18 = s, 2*h + 14 + 2 = 4*w. Solve w = u + 2 for u.
3
Let c(a) = 14*a - 2. Let p be c(-2). Let s = 0 - p. Suppose 2*o - s = -0*o. Solve o = -3*n - 2*n for n.
-3
Let x be 1 - (-6 + 1 + 2). Let k(o) = o**2 - 2*o - 5. Let p be k(x). Solve 0 = 3*c - 0 + p for c.
-1
Let q(j) = -2*j. Let b be q(-1). Let p(y) = -y**3 - 18*y**2 - 17*y + 7. Let g be p(-17). Solve -g*u - 15 = -b*u for u.
-3
Let b(r) = r**2 - 11*r + 8. Let x be b(11). Suppose -x*t + 4*t = 16, 0 = 2*y - 3*t - 16. Solve m - 3 = -y*m for m.
1
Suppose -b + 5*b - 24 = 0. Let c be -1 + (-1 + 0 - 4). Let h = c + b. Solve h = -r + 3*r for r.
0
Suppose -2*f - f = -9. Solve -2*h = -3*h - f for h.
-3
Suppose 3*m - 7 + 1 = 0. Let k be 0 - (0 + 0 - m). Solve -k = 4*c - 10 for c.
2
Let h be 2/3*1*6. Suppose 3*w - 4*t + 3*t = -2, 0 = -w - h*t + 8. Solve w = 2*d + 2*d for d.
0
Suppose 12*x + 2 = 13*x. Suppose 6*d = x*d. Let v be (-4 + 3)/(1/(-2)). Solve -v + d = -t for t.
2
Let j = 4 - 6. Let f(y) = -2*y - 2. Let k be f(j). Solve -3 - k = d for d.
-5
Let w be (-12)/(-8) + (-102)/(-4). Solve w = -4*m + 7 for m.
-5
Suppose 4*t + 4*h + 6 = -10, 16 = -2*t - 4*h. Suppose t = 5*r - 7*r + 6. Solve -g + 1 = r for g.
-2
Let a be 1/4*18 - 5/10. Solve a*r + 0*r - 16 = 0 for r.
4
Let c = 1 - -1. Suppose -5*w + 5*z + 27 = 7, -c*w - 2*z = -8. Suppose -k + 5 = -p, w*k = -3*p + 3*k + 5. Solve 3*i - 7 - 2 = p for i.
3
Suppose 0*y - 3*y - 12 = 0. Let q = 0 - y. Solve t - q*t = -15 for t.
5
Let h = 10 + -10. Solve 2*w = -h*w for w.
0
Let v be 88/(-12)*6/2. Let q be (-105)/(-33) - (-4)/v. Solve 1 = -4*u - q for u.
-1
Let q = 2 + 2. Let s = -2 + q. Suppose j - 14 = -3*z, -5*z = s*j - 13 - 10. Solve 40 = -z*k + 15 for k.
-5
Suppose 10 = 2*s, -4*s + 2 = 3*q - 6*s. Suppose q = 5*b - 6. Solve 0 = -2*u - b*u + 16 for u.
4
Let h = 39 - 18. Suppose f = -0*f + 4*x + h, 139 = 5*f - 3*x. Solve 0 = -4*q - 9 + f for q.
5
Let u = -9 - -15. Let o be (2 + -2)*(2 - 1). Suppose o = -i + 2*i - 5*b - 6, 4*b - 59 = -5*i. Solve 20 = -i*n + u*n for n.
-4
Let y = -2 - -6. Let a(m) = -7*m**3 - 7*m - 5. Let j(u) = u**3 - u**2. Let f(w) = -a(w) - 6*j(w). Let z be f(-4). Solve -y*b + b = -z for b.
3
Let k = 21 + -19. Solve -5*s + k = -3 for s.
1
Suppose -13 - 59 = -4*z. Suppose 4*q - 2*i - 30 = 0, z = q + i + 2*i. Solve -3 = 4*v + q for v.
-3
Suppose 3*v - 3 = 2*v. Solve 2*z - 1 = v for z.
2
Let k be (-1)/(6/(-4) - -1). Solve 5 + 1 = k*a for a.
3
Suppose 2*v + 8 = 6*v. Suppose v*l + l - 12 = 0. Let k = 5 + -3. Solve k*b = -l - 2 for b.
-3
Suppose 0*m = -3*m + 24. Let r(p) be the third derivative of -p**5/60 + p**4/3 + p**3 - 12*p**2. Let z be r(m). Solve 0 = 3*j - z for j.
2
Let p be (-124)/(-21) - (-12)/126. Solve -d = -p*d - 5 for d.
-1
Let o be 0/5*(-2)/(-4). Solve -s + o + 4 = 0 for s.
4
Suppose -p + 3 = 2. Solve 0 - p = -a for a.
1
Let n be (-13)/(-4) + 4/(-16). Suppose -3*g = -15, 5*g = n*u + 2 + 17. Suppose 1 = -3*r + 4. Solve -u*b - 9 = r for b.
-5
Let p(t) = t**2 + 5*t - 3. Let i be p(-6). Solve -i*d - 6 = -6*d for d.
2
Suppose 1 + 11 = 3*o. Suppose 17 = l + 2*q + q, 3*q = -3*l + 27. Solve -14 = l*m - o for m.
-2
Let t = -2 - -2. Suppose -4*m + 7 = -5*q, t = 5*m + 4*q + 9 + 13. Let z(a) = a + 2. Let y be z(m). Solve 0 = s - y*s for s.
0
Let r = -9 - -9. Solve r = 4*v - 16 + 4 for v.
3
Let p = -78 + 78. Solve p = -5*o + 2 + 3 for o.
1
Suppose 0 = 5*c - 9 - 1. Let a(z) be the second derivative of z**3/6 + 5*z**2/2 - 2*z. Let f be a(-5). Solve p + f = -c for p.
-2
Suppose 2*l = 4*x - 0*x - 50, 0 = 2*l - 2*x + 60. Let g be (-4)/10 - 49/l. Solve -2*d = -d - g for d.
1
Let k be 14/5 - (-9)/45. Suppose c = k*q + 5*c, 0 = -3*c. Solve q = -d + 3 for d.
3
Let n(i) be the second derivative of -1/20*i**5 + 0*i**3 - 2*i + 0*i**4 + i**2 + 0. Let u be n(0). Solve y + u = 2*y for y.
2
Suppose -2*n - 5*u + 1 + 3 = 0, -n + u = -2. Suppose 2*l = 3*l - n. Let h = 1 + l. Solve 0*t = h*t for t.
0
Let h = -55 + 68. Solve -2*m = -h + 3 for m.
5
Let g(a) = a**3 + 13*a**2 + 21*a - 8. Let m be g(-11). Solve -m - 1 = -k for k.
4
Suppose -s + 5*n + 21 = 0, 4*s + 0*s - 4*n = 4. Let u be 2/s*-2 + 2. Solve 2*d = 7 + u for d.
5
Let s(z) be the third derivative of -7*z**6/60 - z**5/60 + z**3/6 - z**2. Let y be s(1). Let x be (-46)/y - 10/35. Solve -2 = x*b - b for b.
-1
Let j = -5 + 5. Suppose j = 4*z - 8*z + 64. Solve 0*u + 4*u = z for u.
4
Let l be (-3)/7 + 295/35 + -2. Solve 0*a = 2*a + l for a.
-3
Suppose 5*w - 4 = 11. Suppose -8 = -2*n, -4*n = 5*v - w*n - 124. Suppose -4*x - v = -2*q, 4*q - 3*x - 33 = -0*q. Solve q*u - 3*u + 3 = 0 for u.
-1
Suppose -5*q + 3*k + 35 = 0, -3*q - k - k + 2 = 0. Solve -y - q*y = 0 for y.
0
Suppose 2*v + 0 - 6 = 0. Suppose 0*b + v*b - 3 = -3*t, 4*b + 14 = 2*t. Solve -t*u = -6*u for u.
0
Let s be 22/(-1 + 5 + -2). Solve s*c - 6*c = 0 for c.
0
Let u(n) = -n**2 - 6*n + 8. Let c = 16 + -22. Let o be u(c). Let v be (3/(-4))/((-2)/o). Solve 6*z + 9 = v*z for z.
-3
Let k = -4 - -7. Solve -m + 2*m = -k for m.
-3
Let t = -151 - -152. Solve -v + 2 = t for v.
1
Let z(g) = g**3 - 11*g**2 - 10*g - 18. Let t be z(12). Solve -t*a + 5 = -a for a.
1
Let r = 4 + -3. Let j = 5 - r. Let u be 7*j*9/42. Solve -2*g = -0*g + u for g.
-3
Let h(v) = -2*v - 2. Let k be h(-2). Suppose 0 = 4*i - 3*r - 3, -i + 3*r = -3*i - 3. Let d = i + k. Solve 5*y + 3 = -d for y.
-1
Let h = -27 - -9. Let d = 