8/6)/(2/15). Suppose -74 + j = -4*h. Suppose 0*w = -4*w + h. Solve -w*k + 0 + 16 = 0 for k.
4
Suppose -5*a - 4*r + 11 = 0, -a + 6*a - 4*r + 21 = 0. Let b be (-5)/((-5)/6)*3. Let y be 2 + a + b/2. Solve -4*l = y + 6 for l.
-4
Let q(p) = p**2 + 4*p + 2. Let l be q(-4). Let z(i) = -6*i. Let y be z(-1). Solve -l*r + 2 = -y for r.
4
Let w be (-1 - -2) + 3 - 0. Suppose -3*y = -3*p - 7*y, -3*p - 3*y = 3. Let m = w + p. Solve 0 = v - m*v for v.
0
Let w(x) = x**3 - x. Suppose 0 = -3*g + p + 2, g - 4*p = -g + 8. Let m be w(g). Solve 4*i + i + 25 = m for i.
-5
Let d(x) = -x**2 + 14*x - 13. Let h be d(13). Suppose h - 3 = -i. Solve 0 = -s + i*s + 10 for s.
-5
Let z = 0 - -5. Suppose -11 = -2*y - z. Solve -h + 1 = -y for h.
4
Let x(q) = -q**2 + 3*q. Let w(y) = y**3 - 9*y**2 + 7*y + 11. Let o be w(8). Let b be x(o). Solve -f - 4*f - 20 = b for f.
-4
Let n(l) = l + 2. Let d = 1 + -1. Let k be n(d). Suppose -k*t = -0*t. Solve t*v = 2*v for v.
0
Suppose 6*o = 8*o - 20. Suppose -9 = 7*p - o*p. Suppose -4 = -p*j + 2. Solve 8 = -j*t - 2*t for t.
-2
Let n(b) = 2*b**3 - b**2 + b. Let v = 21 + -33. Let p be ((-1)/2)/(6/v). Let x be n(p). Solve -x*y - 2 = -y for y.
-2
Suppose -24 = -5*s + 26. Solve -7*z = -s*z for z.
0
Suppose -4*v + 10 = 6. Let q = v + 2. Solve p + 4 = -q*p for p.
-1
Suppose -f + 4*f - 3*o = 6, -f + 5 = 2*o. Suppose -4*s + 2 + 2 = -4*h, -f*h - 9 = -5*s. Solve 2 = -y + h*y for y.
2
Suppose 4*v = b - 6*b + 28, -3*b = 0. Let t(r) = -r**3 + 6*r**2 + 7*r + 3. Let z be t(v). Solve -z*c = -14 - 1 for c.
5
Let y be 2/4*96/4. Suppose -f = -4*s + 7, 0*s + 4*s + 5*f - 37 = 0. Solve -7*l + y = -s*l for l.
3
Let i be (75 + -1)*(-1)/2. Let c = i + 89. Let w be 9/(-15) + c/20. Solve 4*k - w - 2 = 0 for k.
1
Suppose 10 = 3*w - 2. Suppose -3 = -0*o - o. Suppose -w*y + o = -5. Solve 0 = -y*t + 2 for t.
1
Suppose -2*r = 4*q - 13 - 5, -3*r = -q - 6. Let s be 60/(-18)*r/(-2). Solve s*v - v = 12 for v.
3
Let q be 0 - (0 + -6) - 1. Suppose -c = -2*z + 6, -z - 4*c = -0*c - 12. Let t be (-6)/(((-30)/z)/q). Solve t*k + 11 = 3 for k.
-2
Let b(c) = -c**2 - 11*c - 10. Let q be b(-10). Suppose -6*x + 3*x + 24 = q. Solve 12 = -4*j - x for j.
-5
Suppose 5*s - 4 - 6 = 0. Suppose 0 = -s*v - 3 + 7. Solve -2*b + v = -0*b for b.
1
Let f be (-12)/3*2/4. Let d be (-4)/(-16) - (-14)/8. Let m = f + d. Solve m = 7*x - 2*x for x.
0
Let k(v) = 5*v**2 - 1. Let d be k(1). Let y be 8/6*(-27)/(-18). Let g = 9 - y. Solve -d*c + g = -1 for c.
2
Let j(h) = -h + 9. Let g(n) = n + 4. Let m be g(4). Let v be j(m). Solve -11 + v = 2*r for r.
-5
Let c(i) = i**3 - 4*i**2 - i + 3. Let d be c(4). Let j = d + -10. Let h(x) = x**3 + 12*x**2 + 9*x - 6. Let s be h(j). Solve -s = -6*n + 2*n for n.
4
Let y(o) = o**2 - 6*o - 3. Let r be y(5). Let g(x) = -x**3 - 9*x**2 - 9*x + 6. Let k be g(r). Solve -5 + k = 3*v for v.
3
Let p be 4/(-34) - (-1030)/85. Solve 3*a = 6*a + p for a.
-4
Let s(f) = -f - 4. Let h be s(-10). Suppose -1 = -x + h. Solve 4*k = -x - 9 for k.
-4
Let i be 2/(2/3)*1. Let z = i + 0. Solve 5*o - 10 = z*o for o.
5
Suppose 0*a - 40 = -4*a. Let l(w) = w - 2. Let j be l(2). Solve -2*z + a = -j*z for z.
5
Let c = 46 + -23. Solve -4*r + c = 3 for r.
5
Let t = 90 + -88. Solve -t*k + k - 2 = 0 for k.
-2
Suppose -13 = -5*w - r, -4*w - w - 2*r = -16. Let q be (-2)/((-3)/(2*3)). Solve -w*j + q = 2*j for j.
1
Suppose -2*s - 2 = 5*k - 4*s, 0 = 5*s - 5. Suppose 2*d - 4 - 4 = k. Suppose 0 = 2*u - f + 5*f - 24, 4*u - 3*f = 48. Solve -d*l = -8*l - u for l.
-3
Let z = 9 - 19. Let u = -7 - z. Solve -u*i = i for i.
0
Let x(o) = -2*o + 19. Let s be x(7). Solve -2 + s = 3*r for r.
1
Let o(q) = 4*q - 18. Let w be o(5). Solve w*t + 0 = -2 for t.
-1
Suppose -x + 34 + 2 = 0. Let m = x + -20. Suppose 5*a = a + m. Solve a*y = -0*y + 12 for y.
3
Suppose 0 = 4*h - 76 - 36. Let m be h/(-6)*21/(-14). Solve -m*w = -2*w for w.
0
Suppose -13 = -5*z + 2. Suppose 2*f - 3*j = -16, 2*f - 4*j + z = f. Let h = -8 - f. Solve -h*v = -0*v for v.
0
Let w = 5 + -16. Let o = -8 - w. Solve 12 = 3*k - o for k.
5
Let f = -1 + 5. Suppose -3*x + 19 = 2*l, -5*x + 0*l - f*l + 33 = 0. Solve 4*d + x = -d for d.
-1
Suppose -4*b + 2 = 3*a - 11, 16 = 4*a + 4*b. Let z be 4/6*534/4. Suppose 0 = 5*o + r + 2*r - z, -2*r - 74 = -5*o. Solve d + o = -a*d for d.
-4
Let l(j) = -3*j - 13. Let w be l(-6). Suppose -w*m + q = -0*q - 24, 5*q = -5*m + 30. Solve 2*x + m = 1 for x.
-2
Let d(l) = -l - 7. Let r be d(-7). Suppose -3*h = -0*h. Solve 2*w + 2 + r = h for w.
-1
Let y(o) = 3*o**2 - 3. Let f be y(-2). Solve f*v = 5*v for v.
0
Let c(d) = -d - 1. Let o be c(-8). Let t = o + 7. Solve t = 3*q + 2 for q.
4
Let q = -3 + -3. Let l be (-12)/(-9)*(-9)/q. Let g = 6 + 0. Solve l*z - g*z = 4 for z.
-1
Let u(g) be the third derivative of -3*g**2 + 0 + 1/15*g**5 + 0*g**4 + 0*g - 1/6*g**3. Let j be u(1). Solve 4*r - j*r - 3 = 0 for r.
3
Suppose 4*i = 3*i + 4, 0 = 5*p - 3*i - 33. Solve 0 = 3*x + p for x.
-3
Let k(h) = -4*h + 17. Let q(z) = -3*z + 11. Let g(f) = 5*k(f) - 7*q(f). Let r be g(-4). Solve w = -r*w - 5 for w.
-1
Suppose -31*q + 37*q = 18. Solve -f = -0*f - q for f.
3
Let u = 1 + -4. Let r be 2*u/(-12)*8. Suppose 0*t - r = -t. Solve -t*a - 3 = -15 for a.
3
Let m(k) = k + 3. Let i be m(-2). Let v be i/(-1) + (0 - -6). Let z = -2 + v. Solve -2*n = -5*n - z for n.
-1
Let s = -54 + 22. Let h = 65 - 8. Let b = h + s. Solve 8*a = 3*a - b for a.
-5
Let p = -12 + 6. Let d = -1 - p. Solve -d*a + 2 + 3 = 0 for a.
1
Let q be ((-4)/(-5))/((-1)/(-10)). Suppose 0 = -q*c + 3*c. Solve 2*i + 0*i - 4 = c for i.
2
Let c(t) = -t**2 + 10*t. Suppose -1 = 5*o + 9. Let f(a) = 2*a**2 - 11*a - 1. Let k(j) = o*f(j) - 3*c(j). Let g be k(-8). Solve s + 0 - g = 0 for s.
2
Let c = 6 - -2. Solve -4*s - c = 4 for s.
-3
Suppose -13*s + 18 = -10*s. Solve 2*n - 4 = s for n.
5
Let c be (-5)/(5/2) - -6. Let d be (c/10)/((-1)/(-5)). Solve d*l + 0*l = 6 for l.
3
Let d be -4*5/(15/(-114)). Let t be 6/(-27) + d/36. Solve -t = -4*n + 16 for n.
5
Suppose -3*o + 110 = 2*o. Suppose 5*r - 5*m = 20, -5*r - 4*m + 3 = -8. Suppose -o - r = -i. Solve 9*l = 4*l - i for l.
-5
Suppose 5*k = 235 + 35. Let z be 2 - (0 + (24 - 1)). Let s be (-6)/z - k/(-7). Solve r = -r + s for r.
4
Let r be (1 - -5)*(4 - 3). Suppose -q + 1 = -3. Solve -q*p + 14 = r for p.
2
Let i(s) = -s**2 - 13*s - 10. Let c be i(-10). Solve j + c = 6*j for j.
4
Let v be (-1)/(-5) + 4/(-20). Solve -2*l - 4 - 4 = v for l.
-4
Let l be (0 - -2) + (-8)/8. Solve i + 4 = -l for i.
-5
Let j(v) be the third derivative of 2*v**2 + 0 + 1/10*v**5 - 1/120*v**6 + 0*v - 1/2*v**3 + 1/8*v**4. Let b be j(6). Solve -3*s + 0*s = b for s.
-5
Let u(n) = n - 4. Let h(b) = -b**3 - 5*b**2 - b. Let s be h(-5). Let g be 6/(-15) + 32/s. Let t be u(g). Solve t*y + 5 = -1 for y.
-3
Suppose 0 = 5*s + 2*l - 58, -2*s - 4*l = s - 32. Solve 4*z - s - 4 = 0 for z.
4
Suppose 0 = -3*z + 2*f + 62, -f + 3*f + 42 = 2*z. Solve i - z = -3*i for i.
5
Suppose 2*m + 2*m - 32 = 0. Suppose -2*p - 2*p + m = 0. Solve -u = p*u for u.
0
Suppose -m = -5*b + 26, -b - 2*m - m + 18 = 0. Solve 4 = 2*p - b for p.
5
Suppose 0*s = -4*s + 16. Suppose s*x - 6*o - 11 = -o, -5*x + 21 = o. Solve 10 = x*l + l for l.
2
Let t(z) = z - 5. Suppose -1 - 9 = -2*o. Let x be t(o). Solve 3*u - 2*u + 3 = x for u.
-3
Suppose 6 = 2*s + 2. Let z be (-15)/s - 4/(-8). Let j be (z - -1)/(4/(-6)). Solve -5*a + 2*a = j for a.
-3
Suppose 0 = -5*h + r + 4, -2*h - 2*r + 5*r = -12. Suppose h = 2*l - 4*l. Solve l = o - 0*o for o.
0
Let b be (-7 + 3 + 3)*-1. Suppose w + 0 = b. Solve -4*h + w = -11 for h.
3
Let i(k) = -11*k - 45. Let p be i(-5). Solve -5*j - p = -20 for j.
2
Let k be 6 - 3/(-6)*0. Solve k = 5*h + 1 for h.
1
Let w be 2/4*(-4 + 2). Let j be 1*(1 - (w + 0)). Suppose -42 = -j*f - f. Solve 5*t = -6 - f for t.
-4
Let q be (4/(-16))/(3/(-60)). Let b(s) = -s**2 + 3*s + 4. Let t be b(3). Suppose -l = t*l - q. Solve -x - 3 + l = 0 for x.
-2
Suppose 0*q + 5*q = 5*c, -3*q + 5*c - 4 = 0. Suppose 5*l - q*d = -11, 0 = -2*l - 2*d + 2 + 2. Let u be -6*l*(1 - 0). Solve -2*p + 5*p = u for p.
2
Let f = 42 + -18. Suppose 15 = -5*u, 0*z + f = -3*z - 2*u. Let h = 12 + z. Solve -2*x + 0*x + h = 0 for x.
3
Suppose -3*r + 6 + 3 = 0. Suppose 3*a + a - 8 = 0. Let t(l) = -l**3 + 3*l**2 - 2*l. Let i be t(a). Solve r*n - 4*n = i for n.
0
Let k = 22 - 21. So