 2*d + 19 = 0. Solve -w + o = 2*w for w.
1
Suppose 3*b = b + 6. Solve -b*x = x - 16 for x.
4
Suppose 0 = f + 3*f. Suppose -3*s + s = -2*m + 12, -1 = s. Suppose 0 = 5*l - 15, 0 = m*b - 4*b + l - 5. Solve f*z = b*z - 10 for z.
5
Suppose 11*k + 19 = 96. Solve -5*h = 3 + k for h.
-2
Let b(h) = -3*h + 1. Let z be b(1). Let y(q) = 0*q - 1 + 3*q + 3 - q**2 - 4*q. Let u be y(z). Solve u*j - 8 = 2*j for j.
-4
Let k(t) = t**2 - 14*t + 15. Let p be k(11). Let z be 300/108 - 4/p. Solve -2 = -v + z*v for v.
-1
Let m(i) = -3*i + 8. Let b = 9 - 13. Let a(q) = q - 1. Let k(c) = b*a(c) - m(c). Let w be k(-6). Solve -2 + 6 = -w*o for o.
-2
Suppose -6 = -2*o - o. Let h be ((-2)/o - 1) + 8. Solve -2*i = -h*i + 4 for i.
1
Suppose 6*n - 14*n + 16 = 0. Solve n*d = 5*d + 9 for d.
-3
Let q = -5 - -9. Let s = q + 1. Solve -3*y = -s + 2 for y.
1
Suppose 0 = -2*g - 5*y + 21, 1 + 14 = 2*g + 3*y. Suppose 0*s + 7 = 2*z - s, -19 = -4*z + g*s. Solve 2*n - z - 1 = 0 for n.
1
Let n(j) = -j**2 - 5*j - 3. Let z be n(-3). Let i(x) be the third derivative of x**5/60 - x**4/8 + x**3/3 + x**2. Let k be i(z). Solve -k*l - 3*l = -20 for l.
4
Let a be ((-24)/20)/((-10)/25). Suppose t = -t + 10. Solve t = a*i - 1 for i.
2
Suppose 5*v + 37 = 187. Let l = -18 + v. Let a be 112/l - (-2)/3. Solve x = 3*x - a for x.
5
Suppose 0 = -4*k + 3*k - 5*z - 2, 4*k - 3*z = 15. Solve 20 = -k*o + 7*o for o.
5
Let q(x) be the third derivative of -x**4/24 - x**3/3 + x**2. Let r be q(-5). Solve -z = 4 - r for z.
-1
Suppose -h - 37 = 21. Let s be h/(-18) - (-2)/(-9). Suppose -1 + s = 2*g. Solve v - 3 = g for v.
4
Let x(f) be the first derivative of -1 + 3/2*f**2 + 3*f. Let p be x(3). Solve p = -5*y - 3 for y.
-3
Let t(s) = s**3 + 5*s**2 - 14*s + 2. Let g be t(-7). Suppose 4*i + 4*r + 4 = 0, 5*r - 2 = -3*i - 15. Solve g*y + i = -0*y for y.
-2
Suppose -3*s + d + 26 = -6*s, 30 = -4*s + d. Let p = s - -14. Solve 3 - p = j for j.
-3
Let i = -22 + 22. Let g(c) = c + 2. Let a be g(-2). Solve a = o - 3 - i for o.
3
Suppose 2*i - 6*i = 0. Solve i*t = 5*t + 5 for t.
-1
Let n(w) = 8 + 5*w + w**2 + 0*w + 4*w**2 - 4*w**2. Let t be n(-5). Suppose 4*v - 10 = 3*a, -a - 3*a = 5*v - 28. Solve a*q - t + 2 = 0 for q.
3
Suppose 5*o = -3 + 8. Let t be (0/o)/(3 - 5). Solve -5*m + m = t for m.
0
Let k be 194/8 + 4/(-16). Let s = 24 - k. Solve s*l = -5*l + 25 for l.
5
Let h = 115 + -114. Solve -h = 2*i + 3 for i.
-2
Suppose 2*g + 12 = 5*f, f + 13 = 6*f - 3*g. Solve l - f = 3 for l.
5
Let i = 210 + -206. Solve 14 - 2 = -i*l for l.
-3
Suppose 14*j - 3 - 81 = 0. Solve 0 = j*d + 8 + 4 for d.
-2
Suppose 7*m = -2 + 23. Solve m*k + 19 = 7 for k.
-4
Suppose 2*p - 3*z - 5 - 2 = 0, -z = 5*p - 26. Suppose -1 = f - p. Solve 0*y + 20 = f*y for y.
5
Let m(r) = 2*r**2 - 6*r + 5. Let j be m(3). Solve s + 20 = j*s for s.
5
Let w(q) = -q**2 + 8*q - 6. Let a be w(7). Let f be (a/1 + -1)/2. Solve f = -4*l + 3*l + 2 for l.
2
Let p be 11/2 + 3/6. Suppose l = -l. Solve l*i + p = 3*i for i.
2
Let o = -5 - -7. Let j = 3 - o. Suppose -j = 3*g - 3*f - 7, 4*g = -f + 8. Solve 0*q + g*q = 8 for q.
4
Suppose 3*y - 7*y + 24 = 0. Suppose 0 = -y*s + 3*s. Suppose -2*m - 2*m = s. Solve m*f = -f for f.
0
Suppose 3*b - 2*q = 11, -5*q = -5*b - 2 + 17. Let k(v) = -v**2 - 5*v - 2. Let s be k(-4). Suppose 3*a = s*a. Solve -b*n + 9 + 1 = a for n.
2
Suppose -m = m - 18. Let i be (3/m)/(4/24). Solve 4*j + i = 22 for j.
5
Let c = 2 + 3. Solve 7 - 2 = c*x for x.
1
Let i be (3 + -1 + -2)/(-1). Let q be i - (-3 + -16 + -1). Solve 5 = 3*g + q for g.
-5
Let c = -3 - -5. Let g(z) = 6*z**3 + z**2 - 3*z + 3. Let b be g(1). Solve c*w - b + 3 = 0 for w.
2
Suppose -3*j + 2*r = 4*r - 23, -5*r + 5 = -3*j. Suppose -24 = -7*d + 3*d. Let t(p) = -p**2 + 7*p - 1. Let v be t(d). Solve -v*k + 30 - j = 0 for k.
5
Suppose 5*j + 6 = -9. Let s be (-9)/21 + j/(-7). Solve s = 2*i + 2 for i.
-1
Suppose 21 + 26 = 5*n + g, 4*n + 4*g = 28. Solve -2*j - n = 3*j for j.
-2
Suppose 5*z - 13 = r, -z - z + 4*r + 16 = 0. Suppose -d = z*d. Solve 4*p + 10 - 2 = d for p.
-2
Let d(u) = -2*u - 36. Let c be d(-20). Solve c*t - 4 = 2*t for t.
2
Let u be (-6)/(-1*8/20). Solve -4*j - j + u = 0 for j.
3
Let b(n) = n**2 + 7*n + 2. Let v be b(-7). Solve 0 = -4*g + v*g + 8 for g.
4
Let w(v) = -v**3 + 19*v**2 + 2. Let z be w(19). Solve -3*m - 1 - z = 0 for m.
-1
Let p(x) = -2*x**3 - 4*x**2 + 4*x + 20. Let n(c) = c**3 + c**2 - c - 1. Let f(z) = 3*n(z) + p(z). Let j be f(0). Solve j = 4*t + 5 for t.
3
Suppose c + 2*h - 3 = 8, -2*h + 6 = -4*c. Let s = c + -1. Suppose -b - b = s. Solve 0 = 2*n - b*n for n.
0
Suppose -2*l + 4*s = l + 25, 4*s - 13 = -l. Let w be 0/(0 - (-3)/l). Solve -3*d + 5*d - 10 = w for d.
5
Let x(j) = j**3 + 17*j**2 + 16*j. Let f be x(-16). Let l be 1 + (-1)/(2/(-2)). Solve -3*u + l*u - 5 = f for u.
-5
Suppose -2*f + h + 3 = 0, 5*h + 1 - 25 = -3*f. Suppose -j + 24 = -5*u, -2*j - 16 = -j + 5*u. Suppose j*d + f = 11. Solve -d = p - 0*p for p.
-2
Let t = 3 + 0. Let q(b) = b**2 - 8*b + 8. Let l be q(7). Solve 2*n - t*n = l for n.
-1
Suppose -2*h - h = 0. Solve h = 4*y - 4 - 0 for y.
1
Suppose 0 = -u + 1 + 2. Suppose -8*o - 3*g + 37 = -3*o, 5*g - 20 = 0. Let h(s) = -s**3 + 7*s**2 - 7*s - 2. Let r be h(5). Solve o*i + r = u for i.
-2
Let w = -7 + 2. Let x be ((-10)/(-4))/w*0. Suppose x = -5*s - 5*i - 10 + 75, 4*s = 2*i + 82. Solve -43 = 5*n - s for n.
-5
Let n = 8 + -13. Let s(f) be the first derivative of f**2/2 + 7*f + 1. Let p be s(n). Solve 0 = -4*i + 10 - p for i.
2
Let d be (-4)/14*(1 - 8). Suppose -3*s = -5*a + 4*a + 22, 16 = d*a + s. Solve 3*g - a = -1 for g.
3
Let k(w) = -w - 5. Let o be k(-7). Let p be 14/7*1/o. Solve 3*v - p = 8 for v.
3
Let m(o) = -o**2 + 13*o + 17. Let z be m(14). Solve -z = w - 2 for w.
-1
Suppose -3 = 3*h - 3*x - 0*x, -h + 3*x - 11 = 0. Suppose 0*n = n - 3, -5*w = h*n - 27. Solve w*q + 2 = 5 for q.
1
Let u = -4 + 7. Suppose 0*c - 18 = -3*i - c, 6 = i - u*c. Suppose 1 = 2*l + m - 2, 5*l + 2*m - 8 = 0. Solve l = -4*h + i for h.
1
Suppose 2*a - 24 - 18 = 0. Suppose -a = -2*i - i. Solve 0 = -3*y + i*y - 16 for y.
4
Let t(k) = k + 8. Let i be t(-6). Solve 2*c = c - i for c.
-2
Let v(p) be the second derivative of p**5/20 - p**4/3 - p**3/6 + 2*p**2 + p. Let n be v(4). Suppose 0 = -4*z - n*z. Solve z*f + 16 = -4*f for f.
-4
Let s = 2 - -1. Suppose s*b = -0*b. Let a = -42 - -44. Solve 3*x + a + 1 = b for x.
-1
Suppose -z = -2*z + 3. Solve 4*p - 17 = z for p.
5
Suppose -x - 8 = -2*x. Let v = -9 + 4. Let f = x + v. Solve -3 = f*j - 0 for j.
-1
Let q(b) be the second derivative of -b**4/12 - b**3/3 + 3*b**2/2 + 2*b. Let k be q(-3). Solve k = -2*v - 2*v - 20 for v.
-5
Suppose g = 2, 6 = 3*x + 4*g - 2. Solve 0 = -i - x + 5 for i.
5
Let f(y) = -6*y - 3. Let i(z) = 6*z + 2. Let n(w) = 5*f(w) + 6*i(w). Let j be n(2). Let t be 50/(-15)*j/(-5). Solve v - t*v = -5 for v.
1
Suppose 113 - 74 = 3*q. Solve 5*c + 33 - q = 0 for c.
-4
Let i(w) = -3*w - 5. Let h be i(-7). Suppose 3*s + d = 2*s + 2, 0 = 2*s + 4*d + 4. Solve -s*y = -2*y - h for y.
4
Let n = 13 + -8. Let g(x) be the second derivative of -x**5/20 + x**4/2 - 5*x**3/6 + 3*x**2/2 + x. Let m be g(n). Solve -q = -m*q + 4 for q.
2
Let z be (2 - (-16)/(-4)) + 2 - -15. Solve 0 = -5*a - z - 10 for a.
-5
Let l be ((-8)/6 + 1)*-12. Suppose 3 = -l*t + 23. Suppose 2*q + 12 = t*q. Solve q*j - 5*j - 1 = 0 for j.
-1
Suppose 3*v + 4*z + 5 - 3 = 0, -2*v + 37 = -5*z. Solve -3 = 3*c - v*c for c.
1
Let w be (-41 + 1)/(-4)*(-1)/(-2). Solve -w*m = 3 + 7 for m.
-2
Let d(a) = a**2 - a + 2. Let q be d(-2). Let c(w) = -w**2 - 6*w + 4. Let t be c(-7). Let k = t + 10. Solve q + k = 3*b for b.
5
Let i be (24/(-10))/(-2 - 8/(-5)). Solve -4*m + 2 = -i*m for m.
-1
Let y(i) = 3*i**2 - 5*i - i + 0*i**2 + i**3 - 4. Let z be y(-4). Solve -z*t - t = 15 for t.
-3
Let v be -9 - (-6)/(-4)*-2. Let b(z) = -3 + 3*z**3 - z**3 - z - z**3 + 6*z**2. Let f be b(v). Solve f*w + 9 = -0*w for w.
-3
Suppose z = -z. Suppose 2*v - 3 = -1. Solve z - v = -y for y.
1
Suppose -4*d + 4 = -4*p, 31 = -p + 6*p + 4*d. Solve -p*l + 5 = -8*l for l.
-1
Suppose 24 = 2*x + 20. Suppose 4*i - 25 = 2*a - a, -i + a + 10 = 0. Suppose -2*g + 18 = i*d, -x*g = 2*d + 2*g - 4. Solve 23 = -d*s + 3 for s.
-5
Let y be 0 - 0/(3/(-1)). Suppose y = 3*z + 3*a - 36, a = 3*z - 0*z - 48. Solve 0 = 7*i - 4*i + z for i.
-5
Suppose -2