0*y + 6. Solve 0 = -y*s - s for s.
0
Let v(x) be the second derivative of -x**4/12 + 4*x**3/3 - 3*x**2 + 4*x. Let w be v(7). Let q be 2 + -3 - (-2)/2. Solve f + q*f + w = 0 for f.
-1
Let l(v) = -2*v**2 + 2*v - 7*v + 3*v - 1 - 3*v**2. Let s be l(-1). Let w be (s/6)/((-2)/6). Solve -w*z = -0*z for z.
0
Let o(z) = z**2 + 17*z + 2. Let y(r) = r. Let g(s) = o(s) - 4*y(s). Let u be g(-13). Solve 2*n + 4 + u = 0 for n.
-3
Suppose 3*g = -5 - 10. Let w be 6 + g/(15/9). Let j(h) = -h**2 - 4*h. Let q be j(-4). Solve q = r - w*r for r.
0
Let r = -1 + 1. Suppose w + 4*g + 8 = r, -w - 21 = 5*g - 8. Let t be (-4)/(3/(-6)*1). Solve 5*l - t = w for l.
4
Let l = -3 - -5. Let j = 2 - l. Solve 16 = -4*h - j*h for h.
-4
Let c = -7 + 5. Let d be 5/1 - (2 + c). Suppose -o = 2 - d. Solve 12 = r + o*r for r.
3
Let l be (-8)/(-1)*(1 + 0). Let b be 1 - -1*(-2 + 1). Suppose 10 = -o - b*o + 4*g, o - l = -2*g. Solve 0 = -o*h - 2*h + 20 for h.
5
Let p = 6 + -3. Let l(b) = b**3 - 3*b**2 + 3*b - 4. Let k be l(p). Solve -m = -k*m for m.
0
Suppose -3*h + 6 + 0 = -2*o, 0 = 3*o - 3*h + 3. Solve 0*l = o*l + 9 for l.
-3
Let y = 1 - -1. Suppose 3*m - 4 = 2*o - 20, -2*o - y*m = -6. Solve 0*l + o*l = 0 for l.
0
Let c = 39 + -19. Suppose -3*k - 4 - 8 = -3*t, 0 = -5*t + 4*k + c. Solve t*x - 8 = 2*x for x.
4
Let p = 78 - 73. Solve -p*o - 9 = -4 for o.
-1
Let h be 0*(-3)/(-6)*1. Suppose h = -5*t + b - 3, 2 = 3*t - b + 5. Let x be t - 1*0/(-3). Solve x = 4*g - 0 - 4 for g.
1
Suppose 5*s - 5*b = -4 + 19, 12 = 4*s + 4*b. Suppose -8*t + s*t = -20. Solve -5*x = -6 - t for x.
2
Let y = 11 + -16. Let n(x) = x**3 + 5*x**2 - x. Let d be n(y). Solve -d*s - 7 = 8 for s.
-3
Suppose 0*p = p. Let l(h) = h**2 + h. Let b(f) = f**3 - 2*f**2 - 2*f + 1. Let j be b(2). Let c be l(j). Solve p = -z - 2 + c for z.
4
Let u = -3 + 3. Suppose u*p - 10 = -5*p. Solve -p*l - l - 12 = 0 for l.
-4
Let q(x) = -x**3 + 10*x**2 + 13*x - 16. Let p be q(11). Solve -p - 4 = -2*b for b.
5
Let u = -9 + 9. Suppose -4*f + 36 = 4*d, 0 = -d - u*f - 4*f + 15. Solve -3 = 2*m + d for m.
-5
Suppose 0 = 6*z - 3*z + 3. Let m be (4/8)/(z/(-4)). Solve 2*p - 4 = -m for p.
1
Suppose 5*w - 70 = -25. Suppose -12*h + w*h = -63. Solve 0 = 5*s - h + 1 for s.
4
Let g be (-4)/((-16)/(-15))*12/(-9). Solve y = g - 10 for y.
-5
Suppose 0 = 5*i - 32 + 12. Suppose -3*k - 1 = -i*k. Suppose w - 2*z = -2, 0 = -w - w - 5*z + 23. Solve t + k - w = 0 for t.
3
Let z(o) = -2*o - 2. Let j be z(2). Let m be (2/j)/((-1)/3). Solve 0 = r + m - 0 for r.
-1
Suppose 3*t - 7*t + 60 = 4*s, 4*t - 62 = -2*s. Let p = -10 + t. Solve 0 = -k - k + p for k.
3
Suppose 5 + 10 = 3*v. Suppose -v*j - 23 = g - 2*g, 36 = 3*g - 4*j. Solve g = 4*b - 0 for b.
2
Let g(k) = -1 + 0*k**2 - 5*k + 11*k - k**2 + 8. Let m be g(7). Solve m*n + 4 = -4*n for n.
-1
Let z(v) = -5*v. Let g be z(1). Let n be (-3 - (1 + g)) + 4. Let h be (1 + -1)/(3 + -1). Solve h = 4*w - n*w for w.
0
Let p be (-9)/18 + 18/4. Solve 0 = -z - p + 1 for z.
-3
Let f be -2 + 1*(-3 - -8). Let v be 0/(2 + -1 + 1). Solve -12 = -v*c - f*c for c.
4
Let g(s) = -s**3 - 8*s**2 - 1 + 3*s - 9 + 2*s**3 + 6*s. Let w be g(7). Solve -w - 4 = 4*m for m.
-2
Let r(o) = -o**3 - 5*o**2 + 5*o + 6. Let c be r(-6). Solve -2*f + c = f for f.
4
Let k = 25 - 36. Let u be 2/k + 120/(-66). Let t = 8 - u. Solve -5*v = t - 0 for v.
-2
Suppose 4*v - 5*f - 48 = 0, 9*v = 8*v - f + 3. Solve v*t + 25 = 2*t for t.
-5
Let c be 1*11 + -7 + 4. Let h = c - -3. Solve 0 = 3*q + 4 + h for q.
-5
Let f be (-2)/3 + (-20)/(-3). Suppose -3*c - 4*v + f = 0, c + 4*c = -5*v + 10. Let r be (2 + 0 + 0)/c. Solve -r - 3 = 4*m for m.
-1
Let u = 10 + -8. Suppose -u*r + 3 = -5. Suppose 4 = r*z - 4. Solve z*w + 5 = w for w.
-5
Let c = 1 + -1. Suppose 3*b + 5*n - 52 = c, -3*b - 25 = 2*n - 71. Suppose -5*a + 1 + b = 0. Solve 0*v - a = v for v.
-3
Let c(t) = -t**2 - 9*t - 12. Let m be c(-5). Solve -3*x + m = x for x.
2
Suppose -10*b + 7 = -43. Solve b*g - 34 = -9 for g.
5
Let h(l) = -l - 1. Let t be h(-7). Let m = 5 - 3. Let d be 9/m*16/12. Solve -3*z = -d*z - t for z.
-2
Suppose 5*h + 6*t = 3*t + 5, 3*t = h - 19. Solve -h*o = o + 5 for o.
-1
Let h(u) = u + 5. Let c be h(5). Let x = -7 + 1. Let o be (c/x)/((-1)/3). Solve 4*f + 11 = -o for f.
-4
Let c(u) = -u**2 - 3*u + 4. Let x be c(-4). Suppose 0*d + d = 0. Solve x = -4*l - d*l for l.
0
Suppose 4*k - k + 18 = 5*a, -32 = -4*a - 2*k. Solve a*i = 5*i - 5 for i.
-5
Suppose -7*v = -5*v. Suppose 5*q = -v + 60. Solve -4*c - q = -4 for c.
-2
Let n = 5 + -5. Let k(h) = -h**3 - 8*h**2 - 2*h - 11. Let d be k(-8). Suppose 4 + 0 = -5*z - 3*r, -r = 5*z - 2. Solve n = f - d + z for f.
4
Let t be 18/1 - -1 - 3. Let u(h) = -h**2 + 3*h. Let y be u(3). Solve 4*o = -y*o - t for o.
-4
Suppose -3*o + 2 = -7. Suppose o*v - 6 = v. Suppose -c - 8 = -v*c. Solve -3 = -c*b - 11 for b.
-2
Suppose -5*c = 10, 4*y = 3*c + 2*c + 58. Let z be 8*-1*(-6)/y. Let o = -2 + z. Solve o*x = -0*x + 2 for x.
1
Let h = -2 + -3. Let a(t) = -t - 4. Let k be a(h). Solve k + 1 = -f for f.
-2
Suppose -4*q - 5*z + 40 = q, -5*q + 3*z + 16 = 0. Solve -7 + 22 = q*g for g.
3
Let k be (-3 - (0 - 9))*(-4)/(-6). Solve k*o + 1 - 5 = 0 for o.
1
Let w be (-6)/4 + 6/(-4). Let i = w + 5. Let f(u) = u + 6. Let h be f(-4). Solve i*k + h = k for k.
-2
Let w = 14 + -13. Solve o - w = 2*o for o.
-1
Suppose 0 = -p + 6*p - 15. Suppose 0 = -3*i + 4 + 2. Suppose -6 = -i*a - a. Solve a*r = p*r + 1 for r.
-1
Suppose 4*r - 15 = 5. Solve 0 = 5*h + r for h.
-1
Let f be (-30)/(-2)*(1 - 0). Solve -6*v - f = -v for v.
-3
Suppose 5*r + 20 = -4*d, 2*d + 4*r = 3*r - 4. Solve d = -m - 1 for m.
-1
Suppose -3*l = -3*j - 0*l + 15, -4*j - 4*l = 4. Solve -j*v = v + 15 for v.
-5
Let z(f) = f**2 - 2*f + 1. Let d be z(-2). Let c be (4 - 3) + 1*d. Let t be (4/10)/(1/c). Solve t*h - 8*h + 16 = 0 for h.
4
Let a be (-4)/12 - 8/3. Let w(i) = -i**2 - 3*i. Let f be w(a). Let l be f/(-3) - 1 - -3. Solve -p + 3*p = l for p.
1
Suppose 5 = -3*d - 7. Let g be ((-8)/(-3))/(d/(-30)). Solve 8*f + g = 3*f for f.
-4
Suppose 4*u + 30 = v - u, 2*v = -4*u - 10. Solve 0 = k - v*k for k.
0
Suppose c - 3*o - o = -21, -5*c - 30 = 5*o. Let x be ((-4)/6)/(3/c). Solve 0*m - x = m for m.
-2
Suppose 2 = -5*w - 3. Let k be -1 + (8 - 2) + w. Suppose -3*o + 69 = 5*c, 4*o = -4*c + 6*o + 64. Solve q + k*q = -c for q.
-3
Suppose -16 = -4*x - 3*k + 19, -15 = -x - 2*k. Solve 11 = 4*j - x for j.
4
Let d = -2 + 4. Let t(z) = 5*z**3 - 2*z**2 + 2*z - 1. Let n be t(d). Suppose 5*s - n = c - 3*c, 3*s + c = 20. Solve 0 = -2*h + s*h for h.
0
Let c(k) = -4*k - 19. Let j be c(-5). Solve -2*y - 3 = j for y.
-2
Let m(l) = 6*l + 4 + 0 - 1 - 5*l**2 - l**3. Let y be m(-6). Suppose y*c + 1 = 4. Solve p + 3 = -c for p.
-4
Let m = 10 + -5. Let z = -2 + 2. Let b be (z/(-2))/(3 - 4). Solve b*n = m*n for n.
0
Let x be (1 - -1) + 0 + -19. Let t = -11 - x. Solve -2*s = -t*s for s.
0
Let j(m) = m**2 + 4*m + 1. Let y be j(-3). Let w(k) = 2*k**2 + k - 1. Let g be w(1). Let n be (-4)/(4 - g) - y. Solve x - 1 = -n for x.
1
Suppose 5 = 5*r - 5. Solve 1 + 1 = r*o for o.
1
Let q(g) = -g + 41. Let m be q(0). Let d = m + -24. Suppose -d = -5*k - 2. Solve 0 = -k*s - 9 for s.
-3
Let l = 17 - 14. Solve 0 = b - l + 2 for b.
1
Let n be 1/((-1 + 0)/(-5)). Solve 4*i - 15 = n for i.
5
Let z = -9 - -14. Solve y - 4 = -z for y.
-1
Suppose 0 = 2*w - 0*w - 36. Let v(p) = -p**2 + 6*p. Let c be v(5). Solve c*s = -7 - w for s.
-5
Let j(b) = -2*b - 1. Let z be j(-1). Let i(y) = y**3 - 4*y**2 - 4*y - 2. Let s be i(5). Solve -2 - z = s*h for h.
-1
Let d be ((-92)/(-69))/(1/3). Solve 18 + 2 = -d*i for i.
-5
Let a = -7 + 7. Suppose a = -0*i - i - 4*q + 6, q = -3*i - 15. Let y = 12 + i. Solve -y = -c - 1 for c.
5
Suppose -3*u + u + 6 = 0. Suppose 2*g = u*g - 2. Solve g = -4*h + 18 for h.
4
Let u be (-2)/(-4)*(17 + 1). Let y = -6 + u. Solve 2*q + 11 - y = 0 for q.
-4
Let w(d) = -d**3 + d**2 - d + 2. Let p be w(0). Solve -p*y + 4 = -4 for y.
4
Suppose -3*s - 56 + 68 = 0. Solve -2 = -2*l + s for l.
3
Let o be (-1)/(-1)*(2 + 3). Let h be (-10)/(-8)*(o + -1). Suppose -h*w = -11 - 4. Solve 0 = -2*z - w*z + 10 for z.
2
Let f(p) = 2*p**2 - 6*p - 5. Let i be f(5). Suppose i + 23 = 2*u. Solve -5*m - u = 6 for m.
-5
Let m = -41 - -43. Solve m*u = 6*u for u.
0
Suppose -4 = -2*c + b + 4, -5*b = 10. Solve -c*o + 15 = 3 fo