 Solve d*v + 2*v = 0 for v.
0
Let b(s) be the first derivative of 2*s + 1/2*s**2 + 3. Let x be b(3). Solve -x*k + k = 4 for k.
-1
Let x(t) = 2*t**3 + 52*t**2 + t + 26. Let d be x(-26). Solve d = 5*s - s for s.
0
Suppose -5*z + 3 = w - 21, -36 = -5*z - 4*w. Solve -8*x - 20 = -z*x for x.
-5
Let h(i) = -i**2 + 13*i - 11. Let z be h(7). Solve z = 6*a + 31 for a.
0
Let c(q) = -q**3 - 17*q**2 + 13*q - 24. Let p(y) = -2*y**3 - 35*y**2 + 26*y - 48. Let x(o) = -9*c(o) + 4*p(o). Let u be x(-14). Solve -5*d + 15 = -u for d.
5
Suppose f - 9 = -s, s + 4*f = 6*s. Let v(i) = -i**2 + 13*i - 30. Let y be v(6). Suppose w - 4*w = -y. Solve w*l + 0*l - s = 0 for l.
1
Let i(q) = -q**3 - 10*q**2 + 9*q - 15. Let x be i(-11). Let a(f) = -f**2 + 10*f - 5. Let k be a(x). Solve -k = -d - 3*d for d.
4
Let a = 286 + -256. Solve -k - 28 = -a for k.
2
Let v = 31 - 22. Solve -3 = -3*m - v for m.
-2
Let i(p) = -p - 2. Let n be i(-6). Suppose 0 = -4*j - 0*j - 4. Let w be (-2)/6 - j/3. Solve -n*s + 20 - 4 = w for s.
4
Let x(l) = 4*l**2 - 6*l - 4*l**2 - 2*l**2 - 2*l. Let o be x(-4). Solve o = -4*g + g for g.
0
Let c be (-2 + 0)*10/(-4). Suppose -44 + 29 = -5*l. Suppose -7 = -c*b + l. Solve 3 = s + b*s for s.
1
Let g = 11 - 12. Let y be 9 + 46 - (g - -1). Suppose 5*m - 2*k = 14 + y, 2*k = -4. Solve 2*c + 5 = m for c.
4
Let o be (69/(-92))/(2/(-8)). Suppose 0 = 3*j + w - 4, -2*w - 1 + 0 = o*j. Solve -8 = c + j*c for c.
-2
Let f be -4*1/3*(-21)/14. Let d be 0 - 0 - -1*4. Suppose -p + f*p - d = 0. Solve -p = -2*k - 0 for k.
2
Let r be ((-2)/2 - -1) + 3. Let i(s) = 2*s**3 - 15*s**2 + 8*s - 3. Let p be i(7). Suppose 25 = p*t - 3. Solve 5 = -r*g - t for g.
-4
Let k be 2 - (7 + -4 - -3). Let g be (k/2 - 4 - -2) + 8. Solve -10 = -g*d - 2 for d.
2
Let g be (-7 - 8)/(-3) - 1. Solve 29 - 13 = g*s for s.
4
Let g be ((-6)/(-18)*2)/(1/30). Solve -35 = 3*u - g for u.
-5
Let w(y) = y**2 - 1. Let i be w(-2). Suppose z + f - 23 = -i*f, 0 = z - 2*f + 7. Suppose 3*r - 5*t = 29, 0 = 4*r - t - 20 - 13. Solve r = z*o - 4 for o.
4
Suppose 5*h - 3 = -3*j, 3*j - 2*h = -0*j + 24. Solve -u - 8 = -j for u.
-2
Let l(m) = -m**2 + 12*m + 3. Suppose -r - 2*z + 15 = -3*z, 0 = -2*r + 4*z + 36. Let f be l(r). Solve -5*g + 22 = -f for g.
5
Let l(b) = b**3 - 14*b**2 + 2*b - 1. Suppose 2*t = 2, 71 = 5*r + t - 0*t. Let a be l(r). Solve 0 = 5*d - a + 7 for d.
4
Let j(c) = 14*c**2 + 17*c - 53. Let q(x) = 5*x**2 + 6*x - 18. Let z(m) = 4*j(m) - 11*q(m). Let y be z(-5). Let f = 13 - 9. Solve 5*v + f = -y for v.
-1
Suppose -7*z + 6*z + 8 = 0. Let n be 6/(-4)*8/(-6). Solve -z + n = 3*w for w.
-2
Let k(u) = u**3 - 18*u**2 - 22*u + 63. Let b be k(19). Solve 10 = -d + b for d.
-4
Suppose 2*u = -2*d - 6 - 2, 5*u = -4*d - 20. Suppose w = -3*w + 40. Suppose 5*z - w + d = 0. Solve 0 = -i + 2 + z for i.
4
Suppose 7 = 4*v + 3, -f + 11 = 3*v. Let x(d) = -f + 9 - d + 0*d. Let o be x(-1). Solve t + t = o for t.
1
Let r(w) = w**3 - 11*w**2 + 7*w + 8. Let f be r(8). Let l = 131 + f. Solve l*u + 20 = -2*u for u.
-4
Suppose 3*i - 51 + 42 = 0. Solve 6*c - i*c - 3 = 0 for c.
1
Suppose -8*h + 3*h - 26*h = 0. Solve h = 11*m + 2*m for m.
0
Suppose -p + s = -14, 19 = 3*p + 2*s - 3. Solve 0 = 2*v + 16 - p for v.
-3
Let v(o) be the second derivative of -o**3/6 + 3*o**2/2 - 2*o. Let t be ((-15)/25)/((-2)/10). Let c be v(t). Solve -r - 4 = -c*r for r.
-4
Let b(f) be the third derivative of -f**6/120 - f**5/10 - f**4/24 - f**3/6 - 32*f**2. Let d be b(-6). Solve d*l = 4*l + 5 for l.
5
Let t be (-46)/(-14) - 3/63*6. Suppose -m = -3*w + 8, 0 = -5*w - 4*m + 5 - t. Solve 5 = r + w for r.
3
Suppose 0 = -5*m + 10, 0 = 4*h + 5*m + 2. Let b be (h/(-6))/(2/(-4)). Let o be 4/(-12)*(b - -1). Solve 2*v + 0*v - 10 = o for v.
5
Suppose 5*y + 3*s = 6*y + 6, -4*y - 2*s = -18. Solve -59*l = -56*l + y for l.
-1
Let h(y) = 6*y**2 + 73*y + 16. Let i be h(-12). Solve 5*d = 1 + i for d.
1
Let n be (32/6)/(-4)*-18. Suppose 5*s + 4 - n = 0. Solve 0*k = k + s for k.
-4
Let h(s) be the third derivative of -s**6/120 - 13*s**5/30 + 9*s**4/8 + s**3/3 - 25*s**2. Let i be h(-27). Solve -3*f = i*f + 20 for f.
-4
Suppose -5*h = -3*q - h - 71, -3*h - 78 = 4*q. Let z = -13 - q. Let m = z + -3. Solve 2*d - m = d for d.
5
Let l be (3 + -3)/((-32)/(-12) + (-3)/(-9)). Let h(y) = y**3 - y**2 + 2*y - 3. Let m be h(2). Suppose 0 = -m*c + 8 + 2. Solve -c*f + l = 6 for f.
-3
Suppose 25 = -b + 30. Suppose 3*d - 3*u - 18 + 3 = 0, 3*d - b*u = 17. Solve t + 3 - d = 0 for t.
1
Let t = 232 + -230. Let z(g) = 2*g**2 - 5*g + 4. Let i be z(4). Let j = i - 11. Solve t*m = j*m for m.
0
Let m(a) = 20*a**3 - a + 1. Let n be m(1). Let y = -13 + n. Suppose 0 = y*o - 6*o - 9. Solve 4*l - l - o = 0 for l.
3
Let x = 6 - 0. Let q(d) = -10*d - 17. Let h be q(-2). Suppose f = -2*f. Solve -h*t = -f*t - x for t.
2
Suppose 14 = -d - 5*x + 2, 2*d + 2*x = 0. Suppose d*b + 8 = -p, 0 = 5*p - 5*b + 3 + 17. Let r = 0 - p. Solve 0 = -r*y + 23 - 8 for y.
3
Suppose -3*y + 1 = -4*p, -1 = y - 44*p + 42*p. Solve 0*v = -2*v + y*v for v.
0
Suppose 0 = -4*z + q - 3*q + 90, 3*z = -2*q + 66. Let i = -23 + z. Suppose -o + 3 = -i. Solve 0*k = -o*k for k.
0
Let g(k) = 12*k - 1 + 2*k**2 - 2*k**3 + 0*k**3 - 4*k + 5. Let w be g(-2). Solve w + 0 = -3*h for h.
-4
Suppose -3*i - 3*w = -12, i + w + 8 = 3*i. Let p be (2 - (-5)/(-2))*-4. Solve -x + p*x = -i for x.
-4
Let b be (-1)/((-15)/(-6) - 3). Solve 0 = -4*x + 7*x + b*x for x.
0
Suppose -72 - 72 = -3*u. Suppose -2*y = -5*z - 11, -6*y - 4*z = -2*y + u. Let g be 0*(y/2)/7. Solve -4*l + 15 + 5 = g for l.
5
Let m(n) = 2*n**3 + 7*n**2 - 3. Suppose 0 = 4*v - 2 - 6, 2*v + 2 = -2*r. Let b be m(r). Solve 0 = 2*p + p - b for p.
2
Let x be 18/(-6) - (8 + -2). Let m(h) = h**2 + 7*h - 13. Let y be m(x). Solve 0 = y*g - 25 - 0 for g.
5
Let z(v) = -15*v - 837. Let l be z(-56). Suppose 4*h + 4 = x - 8, -9 = -2*x + 3*h. Solve -o + l*o = x for o.
0
Let m be ((-13)/(-7) - 1)/((-4)/(-14)). Solve -29 + m = 13*j for j.
-2
Let c = 2 - 2. Let x = 107 - 102. Solve -x*u = -c*u for u.
0
Let g = 27 - 21. Suppose g + 6 = 4*u. Solve u = -0*h + h for h.
3
Let c = 10 + 0. Suppose 5*n = 3 + 52. Let p = n - c. Solve k = p - 0 for k.
1
Let z be (-18)/(-45) - 2/5. Suppose 12 - 3 = 4*x + n, z = x - 2*n. Let p = -1 + 1. Solve -t + p - x = 0 for t.
-2
Suppose c - 17 = 1. Let t be 48/c*(-3)/(-1). Let o(z) = z**3 - 9*z**2 + 10*z - 8. Let n be o(t). Solve n = -4*a - 4 for a.
-3
Let i(h) = h - 4. Suppose -4*u + 2*u + 14 = 0. Let z be i(u). Suppose -z*o = -3 - 0. Solve q = -2 + o for q.
-1
Let h(u) = 3*u - 12. Let z be h(4). Suppose z = 4*b - s - 2, 5*b + 0*b - 9 = -2*s. Let f be 0/(0 + -1) + 0. Solve b = -q - f for q.
-1
Let x(k) = -k**2 + 15*k - 23. Let c be x(12). Let h be (-55)/(-65) + 15/c + -1. Solve -2*a = -3 + h for a.
1
Suppose -5*o - 25 = -5*q - 0*o, -o = 2*q + 2. Let h be ((-2)/(-3) - 40/60)/(-2). Solve h = 3*l - 4*l - q for l.
-1
Suppose 5*s + d - 44 = -2*d, 3*d - 37 = -4*s. Solve 0 = -9*c + s*c for c.
0
Suppose -m = -4*m + 4*o + 8, -2 = 3*m + o. Suppose 16*a - 10*a - 24 = m. Solve -a = 3*c - c for c.
-2
Let x = 3 + 1. Let c be 3*(x + -3) - -3. Let z = 9 - c. Solve -2*w - 15 = z*w for w.
-3
Let l = 103 - 99. Solve 8 = -2*u + l*u for u.
4
Let z = 598 + -592. Solve -15 = -7*c + z for c.
3
Suppose 3*p + 8 - 104 = 0. Solve -2*k = -26 + p for k.
-3
Suppose 16*o = 14*o. Let t be o/(-5 - -4)*-1. Solve 0*g + 5*g - 5 = t for g.
1
Let d be (-20 + 14)*(28/(-6))/7. Suppose 0 = -5*u - 5*b + 50, 5*u = -0*u - b + 30. Solve 9*l - u = d*l for l.
1
Let t = -244 - -246. Solve -6*n + t*n = 0 for n.
0
Let g be (-1 + 10)*(-6 + 9). Suppose 0 = -g*t + 31*t. Solve -5 = 5*z - t for z.
-1
Let x = -25 - -17. Let n = -6 - x. Let l = -224 - -227. Solve 5 - n = l*b for b.
1
Let n(c) = c**3 + 6*c**2 + 2*c - 7. Let j be 23/(-5) + 10/(-25). Let l be n(j). Solve 0 = -5*t + t - l for t.
-2
Suppose -16*f - f + 102 = 0. Solve 0 = 7*r + 34 - f for r.
-4
Let v(j) = j**3 - 25*j**2 - j + 25. Let z be 125/15*(4 + 1 + -2). Let k be v(z). Solve -l - 3 = -k*l for l.
-3
Let t(j) = j - 13. Let n be t(9). Let b be (-20)/n*(-2)/(-5). Solve 0 = b*g + 3*g - 15 for g.
3
Suppose -2*a + 24 = 6. Let f be 3/a - 33/(-9). Suppose -f*y = -y. Solve 4*z = -y*z for z.
0
Let c(k) = -2*k**3 + k**2. Let j be c(-1). Let q(n) = -5*n + 19 - 6 - 11 + 2*n**2. Let y be q(j). Solve -z - y = 