Solve 4*o = 8*o - w for o.
3
Let a(q) be the second derivative of 1/6*q**3 + q**2 + q + 0. Let d be a(0). Solve -d*i - 2 = -0 for i.
-1
Let n = -22 - -12. Let d = n - -16. Suppose d*w - 2*w = 12. Solve -w*q = -0*q + 9 for q.
-3
Suppose -4*y = -20, -3*i + 16 = -i - 4*y. Suppose i = 5*b - 2*b. Suppose 0 = 3*n - 2*z + 6, -2*n + z = 3*z - 6. Solve b + n = -3*u for u.
-2
Let g = -2 + 5. Suppose 0 = g*s - 5*o - 3, s - 3 = -2*s - o. Solve 0 = -5*r - s + 6 for r.
1
Suppose 1 - 4 = -a. Solve 3*t = -3 - a for t.
-2
Let v be 0 - (0 + -4 + 2). Let t be v/(-5) + (-188)/(-20). Let g be 26/6 - 3/t. Solve w = -g*w - 10 for w.
-2
Let g = 17 + -16. Solve -b + 2 + g = 0 for b.
3
Let m = -2 + 5. Let i(v) = -6*v. Let n be i(1). Let d = 7 + n. Solve 8 = -m*w - d for w.
-3
Let j(h) = h**2 + 9*h + 18. Let m be j(-6). Solve 3*b - 2 - 1 = m for b.
1
Suppose 2*k = -5*r + 11, k - 4*r = 6*k + 15. Let s = k - -34. Suppose 3*t + 3*a - s = 0, -5*t + 2*a + 30 = 4*a. Solve t = -3*i - i for i.
-1
Let c(v) = 8*v**2 - v + 1. Suppose -2 = 6*l - 8*l. Let p be c(l). Solve -5*i = p + 2 for i.
-2
Let d(f) = -2*f - 30. Let h be d(-15). Solve h = u - 5*u - 4 for u.
-1
Let m(c) = -4*c**2 + 6*c - 7*c**2 + 5*c**2 - 3 + 4 + c**3. Let s be m(5). Solve -5*v - 2 = -s*v for v.
2
Suppose 4*q - 56 = 4*z, -z = q - 3 + 11. Let a = 16 + z. Solve 3*i + a = -1 for i.
-2
Let d be (-48)/36*(-27)/4. Solve -d*k - 3 = -8*k for k.
-3
Suppose z = -0*z + d + 1, -5 = -5*z - 5*d. Suppose -3*y - z = -31. Solve 2 = 3*a - y for a.
4
Let v(m) = -m**2 - 7*m. Let u be 32/(-5) - (-6)/15. Let i be v(u). Let c be 15/i - 1/2. Solve c = -2*s - 0 for s.
-1
Let y be ((-1)/1 + 0)*0. Let t(j) = 2*j**2 - 2*j - 1. Let u be t(-1). Solve 2*h + h - u = y for h.
1
Let q(v) be the second derivative of -v**3/6 + v**2/2 - v. Let f be q(0). Suppose 4*b - 13 = -f. Solve -p + 0*p = b for p.
-3
Let a(q) = -q**2 - 7*q + 3. Let v be a(-7). Let k = -2 + v. Let j be 1 + (-2 - -1) + 2. Solve d + k = -j for d.
-3
Suppose -11*a + 12 = -5*a. Solve 14 = 4*p + a for p.
3
Let l(n) = n**3 - 5*n**2 - 2. Let j be l(5). Let c = 22 + j. Solve -2*y + 7*y = -c for y.
-4
Suppose -1 = 4*l - 49. Let k = l - 4. Solve 0 = 2*t - 4*t - k for t.
-4
Let x = -11 + 6. Let n = 11 + x. Solve 4*q - 6*q = -n for q.
3
Let b(v) = v**3 - v**2. Let f be b(-1). Let j = f + 1. Let z be (2/(-4))/(j/8). Solve 0 = -z*i + 7*i + 15 for i.
-5
Let p(m) = -m - 2. Let k be p(-4). Let g = 11 - k. Solve -2*h + g = h for h.
3
Let f be 48/12*15/12. Solve 8*p = 3*p - f for p.
-1
Let o(q) = -q**3 - 4*q**2 - 3*q - 1. Let v be (2/(-3))/(3/9). Let h be o(v). Let k be 1 + -1 - -2 - h. Solve -k*w = -2 + 17 for w.
-3
Let o = 8 + -6. Let x be (-52)/(-12) - o/6. Let k be 0/((x*-1)/2). Solve k*b = b for b.
0
Suppose 0 = -z + 10 - 19. Let s = -9 - z. Solve -4*y - 4 + 8 = s for y.
1
Let p be 4/6 - 32/12. Let f be (p/6)/(3/(-9)). Let k = f - -2. Solve -k*g = g for g.
0
Suppose 0 = -37*o + 32*o. Solve c + 6 - 1 = o for c.
-5
Let i = -61 - -67. Let r(o) = o**2 + 3*o - 1. Let b be r(-4). Suppose -15 = b*m + 5*x, 2 = 3*m + 2*x + 8. Solve -2*f - i = -m*f for f.
-3
Let f(h) = h**2 + 3*h. Let v be f(-4). Let x be v/(1 - -1)*2. Let m(u) = u**2 + 3*u - 6. Let s be m(-5). Solve 3*a = x*a + s for a.
-4
Suppose 0 = -3*g - 3*a + 36, 3*a = -5*g + 3*g + 25. Suppose -2*j = -w - 7, -w - 4*j = -13 - 4. Solve -3*c + g = -w for c.
4
Let d = -8 + 8. Suppose d*t - 12 = -4*t. Solve -t*a - a + 16 = 0 for a.
4
Let l(p) = -p**3 - 8*p**2 - p - 8. Let u be l(-8). Solve -8 = 4*o - u*o for o.
-2
Suppose 5*y - 3*y - 28 = v, 2*y = 3*v + 20. Solve 3*n + n = y for n.
4
Suppose -129 = -4*f - 89. Solve -c = c - f for c.
5
Let o(c) = 7*c - 1. Let n be o(3). Let d = n + -92. Let p be (-2)/(-10) + d/(-15). Solve -p + 6 = -k for k.
-1
Suppose 4*g + 5 = -g. Let i be g*0/(12/3). Solve -o + 2*o + 5 = i for o.
-5
Let n = 6 - 4. Suppose 78 + n = 5*l. Solve 3*h + l = 7*h for h.
4
Suppose -5*n = -19 - 1. Let u = 10 + -8. Suppose -4*i + 20 = u*c, -n*i = -5*c - i - 2. Solve q - 5 = -c for q.
3
Let h(b) = -b**3 - 3*b**2 - 7*b - 6. Let f be h(-6). Let a be (f/40)/((-6)/(-20)). Solve -7*w = -3*w - a for w.
3
Suppose -c = 2*t - 109 - 14, -3*t + 4*c + 212 = 0. Suppose 0 = 3*s - 4*d - 31, t = 5*s - d + 18. Let n = -1 - -3. Solve s = n*a - 1 for a.
5
Suppose 0 = -9*z + 5*z - p + 4, -8 = 2*z + 3*p. Solve -z*s - 10 = -7*s for s.
2
Suppose m = 2*u + 5, -4*u - 4*m = -12 - 8. Solve g + 2 = -u*g for g.
-2
Suppose -p + 5 + 6 = 4*b, b = -2*p + 8. Solve p = 3*c + 15 for c.
-4
Let w be 0*(2/4 - 1). Let g(p) = p - 2. Let z be g(4). Solve w = -z*c - c - 15 for c.
-5
Let h(d) = -d**2 - 10*d - 4. Let b be h(-9). Let q(k) = -b*k + 2 + 5*k**3 - 4*k**2 - 4*k**3 + 0. Let p be q(5). Solve -5*x - p = -3*x for x.
-1
Suppose 11 = 2*s - x, 4*s - x - 32 = -9. Suppose -2*p = -p - s. Solve p*h + 2 = 5*h for h.
-2
Let x(m) = -m**3 - 3*m**2 - 3. Let b be x(-4). Suppose -2*f = -5*d - b, -3 = -3*f - 2*d - 12. Let z be 0*f*(-1)/(-2). Solve 2*u + 6 = -z*u for u.
-3
Let l(c) = -c + 7. Let y be l(6). Suppose 5*q - 4*j - 22 = 0, j - 9 = -3*q + 2*j. Let n = q + y. Solve -n*m = -m - 4 for m.
2
Let b(a) = a**3 + 17*a**2 + 17*a + 22. Let f be b(-16). Suppose 0 = -3*s - s + 8. Let h be (-18)/f + 12/s. Solve -h = -0*r + r for r.
-3
Suppose 0 = -z + 2*z - 4*z. Solve -2*c + 7 + 1 = z for c.
4
Suppose 0 = g - 6 + 2. Suppose 0 = -15*s + 11*s + 12. Solve g*u - 1 = s*u for u.
1
Let l(v) = -v**2 + 9*v - 1. Let o be l(8). Let q = 11 - o. Let n = q - 4. Solve 4*w + 0*w - 20 = n for w.
5
Suppose 0*n - 3*n + 6 = 0. Let l = -2 + 7. Solve -r + l = -n*r for r.
-5
Suppose -99 + 15 = -6*a. Solve 2 = 4*z + a for z.
-3
Let s(i) = 1 - 4 - i + 0 - 1. Let t be s(-9). Solve 4*c - t*c = -3 for c.
3
Suppose -21 = -3*q + 2*k + 21, -27 = -q + 5*k. Solve 5*s = 2 - q for s.
-2
Let p be (6/5)/((-7)/(-35)). Let b = 6 - p. Solve 2*u + 2 + 2 = b for u.
-2
Let q be 4/(-16) - (-36)/16. Let k(t) = t**2 - 2*t + 4. Let d be k(q). Solve d*n - 3 = 5*n for n.
-3
Let m(l) = -l**2 - l + 1. Let d = -8 - -6. Let o be m(d). Let j = o - -5. Solve 0*i + j = 2*i for i.
2
Let l(s) = 3*s**3 + s**2 + 2*s - 2. Let o be l(1). Solve -x + 10 = o*x for x.
2
Suppose 4*b + 3*c - 7*c = -16, c - 4 = 3*b. Solve 0 = -b*d - 2*d - 6 for d.
-3
Suppose -3*t = 2 - 8. Let k be 3 + (t - 3)*1. Solve -2*z + 3*z = -k for z.
-2
Suppose 13*p = 5*p. Solve p = -k + 6*k + 5 for k.
-1
Suppose 78 = 4*s - 3*q, -103 = -3*s - 2*s + q. Let t = s + -6. Suppose k - 4*k + 6 = 0. Solve k*h + h = -t for h.
-5
Suppose 5*c - 3*c = 0. Suppose -4*o + 7 + 5 = c. Solve -o*m = -m + 4 for m.
-2
Suppose -4*d - s + 12 = 0, 5*d + 3*s = 4 + 4. Solve -3*p + d = -p for p.
2
Let z(d) = 4*d + 1. Let w be z(2). Solve 0 = -6*o + 3*o - w for o.
-3
Let p(j) = -j**2 + j + 20. Let c be 3/((-6)/4) - -2. Let h be p(c). Solve 0*a + h = -5*a for a.
-4
Let s be (40/30)/((-8)/(-18)). Solve 6*j + 12 = s*j for j.
-4
Let v be 14/35 - 88/(-5). Suppose 4*x + 2*x = v. Solve 1 = -x*d - 5 for d.
-2
Let k be (4/(-6))/((-4)/12). Solve k - 1 = t for t.
1
Suppose -4*a + 44 = 4*s, 0*s - 2*a = -3*s + 23. Solve -s = 2*k + 1 for k.
-5
Suppose -4*q - 9 = 7. Let f = -4 - q. Solve 2*v - 9 + 1 = f for v.
4
Let b(h) = 5*h - 14. Let x be b(6). Let p = -4 + 7. Solve -k - p*k - x = 0 for k.
-4
Let j = 16 - 19. Let v be (10/(-4))/(j/6). Solve 20 = -v*a - 0*a for a.
-4
Suppose -4*x = -17 + 1. Suppose 4*u + 3 + 1 = 0. Let h(f) = 3*f**2 - f - 1. Let g be h(u). Solve -n + g*n = -x for n.
-2
Suppose -o = -3*o + 6. Solve 0 = 7*j - o*j - 12 for j.
3
Suppose 0 = 3*a + 2*u - 9, 4*a + 3 = 7*a + 4*u. Suppose 2*s - 5*m - 15 = 0, -3*s = s + a*m + 45. Let n be 5*3*(-1)/s. Solve -3 = -n*x + 3 for x.
2
Let v(j) = -j**2 - 10*j + 13. Let c be v(-11). Suppose 5*b - 9 = -29, 0 = -5*m + 5*b + 50. Solve o + c*o = -m for o.
-2
Let l(b) be the first derivative of -b**2/2 - 3*b + 3. Let g be l(-7). Suppose -3*t = -g*t. Solve t*a - a + 3 = 0 for a.
3
Suppose 0 = y - 3*s - 18, 2*s = 4*y + s - 17. Solve -7 = y*b - 4 for b.
-1
Let q(p) = p**2 - 7*p - 3. Let y be q(8). Solve 4*a - 1 + y = 0 for a.
-1
Suppose -5*z + 12 = -0*z + 3*x, -4*z + 12 = 3*x. Suppose 24*k = 27*k. Suppose a + 7 - 12 = k. Solve -5*j - a = -z for j.
-1
Let l = 14 - 11. Let d be l/(-1*6/(-20)). Solve -h = h + d for h.
-5
Suppose -2*p - 3*u = p - 30, -5*u = -25. Solve -p*o - 5 = -0*o for o.
-1