-1*8/(-6). Solve 1 = -3*y + f for y.
1
Suppose -3*b + b + 30 = 0. Suppose -4*z + 3*m = 3, -2*m + b = m. Suppose 16 = 7*u - z*u. Solve -f = -u*f + 15 for f.
5
Suppose 0 = -5*a + a - 116. Let y = a + 45. Solve 7*z - 3*z - y = 0 for z.
4
Let n be 9/2*104/39. Solve -7 = m - n for m.
5
Let f = 10 + -5. Suppose -m - 3*m = 4*g - 20, f*m = -3*g + 19. Suppose 5*h = -12*h + 34. Solve h*j = 2 + m for j.
2
Suppose -3*a = 4*y - 20, a = -2*y + 4*a - 8. Suppose 4*d - 6 = -y*h, 3*d + 2*d = -5*h + 5. Solve -d = -2*f + 3*f for f.
-2
Suppose 0 = v - 22 - 3. Solve -6*i + i = -v for i.
5
Let s(d) = d**3 - 11*d**2 + 17*d + 13. Let c be s(9). Solve 0*o + 20 = c*o for o.
5
Let b(f) = f**3 - 3*f**2 - 5*f + 6. Let v be b(4). Suppose -22 = -2*l - v*n, 5*l - 6 = -2*n + 43. Let k be l/15 + (-94)/(-10). Solve -2*c + k = 3*c for c.
2
Let o(f) = f**2 + 15*f + 17. Let v be o(-14). Suppose -v*u + 7*u = 8. Solve -10 = -0*n + u*n for n.
-5
Let l(g) = -g**3 - 3*g**2 + g. Let n be l(-3). Let p = n + 5. Let k be 1 - 1/((-2)/6). Solve 4*j + k = p*j for j.
-2
Let r(x) = -3*x - 4. Let q be r(-2). Let f(t) = -6*t + 16. Let i(j) = j - 3. Let l(z) = 3*f(z) + 16*i(z). Let d be l(-1). Solve -d*n + 12 = q*n for n.
3
Let q be (40/6)/((-6)/(-18)). Suppose p + 3*p = q. Suppose 0*x = -p*x + 15. Solve 2*m + 1 = -x for m.
-2
Let v(f) = f**2 - 8*f + 12. Let a be v(6). Solve a = -w - 3*w for w.
0
Let c(g) = 8*g - 37. Let i be c(5). Solve 7 = -l + i for l.
-4
Suppose -6*r = 3*r. Solve -2*x - 2 = -r*x for x.
-1
Let h(a) = -13*a - 4. Let q be h(-3). Suppose 4*p - 24 = -4*v, -q = -5*v - 6*p + 2*p. Let x = v + -7. Solve 0 = -t - x*t for t.
0
Let b(k) = 7*k - 110. Let l be b(16). Let z be 16/(-6)*6/(-4). Solve 0*n = -l*n - z for n.
-2
Let u(m) = 0*m**2 + m - 3*m + 0 - 1 + m**2. Suppose 2*z + 2*n = -0*z + 12, 2*z = 5*n - 9. Let a be u(z). Solve a*s - 4*s = -4 for s.
2
Suppose y = -2 + 3. Suppose 2 = m - y. Let t be (-5 - -2)/m - -1. Solve -z + t*z + 1 = 0 for z.
1
Suppose 0 = -4*r + 8 + 4. Let h be 14/4 - (-2)/(-4). Suppose h*k = -2*k. Solve k = -z - 0*z - r for z.
-3
Let x(n) = -n**2 + 6*n - 1. Let f be x(3). Solve 2*t = -0*t - f for t.
-4
Let z(a) = a**2 - 2. Let d be z(-2). Let n = d + 4. Solve t - 3*t = n for t.
-3
Let a be (-9)/(-1)*(-4)/(-6). Solve -a*h + 5*h = -2 for h.
2
Suppose 0 = -5*o + 4*o + 10. Let n(l) = -l**3 + 11*l**2 - 10*l. Let y be n(o). Suppose y = 4*d - d - 9. Solve -d*k = -k - 6 for k.
3
Suppose 3*x = -x. Suppose -4 = -0*c - 2*c. Suppose -r = -3*f + 4*f - 4, 17 = 5*f + c*r. Solve -f*g - 2*g - 15 = x for g.
-3
Suppose 3*t + f - 2*f - 6 = 0, 5*f - 2 = -t. Let q = -3 + 3. Suppose 4*d - d = q. Solve -4*p + 5*p + t = d for p.
-2
Let b(v) = v**3 + 11*v**2 + 10*v + 5. Suppose -2*g - g = 30. Let f be b(g). Solve -1 - 24 = f*t for t.
-5
Let x = 34 + -20. Suppose 2*p + 2 = x. Solve 3 = -3*l - p for l.
-3
Let w(l) = l**3 + 9*l**2 + 8*l + 4. Let r be w(-8). Suppose -4 = r*c - 4*b, 0*b + 2*b = -3*c + 2. Solve -2*a - 2 = -c*a for a.
-1
Suppose 5*p + 0*p = 0. Suppose p = 4*a - 11 - 29. Solve -2*h + 0*h + a = 0 for h.
5
Suppose -t + 12 = 3*t, -q - 3*t = -12. Let z(h) be the first derivative of h**4/2 - 5*h**3/3 + 3*h**2/2 + 2*h + 2. Let u be z(q). Solve 5*b - u = b for b.
5
Suppose 0 = 2*l - 2, 0*l - 1 = z + 2*l. Let v(n) = -2*n - 2*n + 2*n + 0*n. Let o be v(z). Solve 0 = -2*t - 0 - o for t.
-3
Let f = 56 - 48. Solve 0 = 4*s + f - 0 for s.
-2
Suppose n + 3*n = 36. Solve 2*i - n = 1 for i.
5
Let x = -6 + 0. Let p be 2/x - (-56)/6. Let v be (3 - 2)*0*5/15. Solve -2*r + p - 1 = v for r.
4
Let q(b) = b - 7. Let u be q(7). Let z be (1/(-2) + u)*-8. Solve z*s - 9 = 7 for s.
4
Suppose -4*d = -5*a - 10, 4*a - 6*d = -4*d - 2. Solve a + 3 = h for h.
5
Let p(v) = 2*v**2 + 3*v + 5. Let l be p(-5). Let f = -62 + l. Let o be 4/f + 230/55. Solve -o*u = u for u.
0
Let y be 1/(-1 - 21/(-22)). Let b = -18 - y. Solve -b*k - 2 = -5*k for k.
2
Let g = -49 + 49. Solve g*i + 1 = i for i.
1
Let g be (7 - -3)*6/15. Solve 0 = k - g*k for k.
0
Let h = -16 + 16. Solve -5*b + 25 = -h*b for b.
5
Let s be -2 + 1 - (0 + 3). Let x be s/12*-9*1. Let a(z) = 6*z. Let t be a(1). Solve t*m = x*m for m.
0
Let j(x) = -3*x - 2. Let f(c) = c + 1. Let u(n) = -4*f(n) - j(n). Let g be u(-4). Solve -g*z = -6*z for z.
0
Suppose -2 = -6*l + 5*l. Suppose -4*u = l*u - 24. Solve u = -2*p - 0 for p.
-2
Suppose b = 4*b. Let o be 1/(1/2 - 0). Suppose 0 = -o*g + 2 + 6. Solve -2*h + 6*h - g = b for h.
1
Let p(q) = q**2 + 3*q. Let j be p(-3). Solve j*k = 3*k for k.
0
Suppose -15 = 5*n - 8*n. Suppose -n = -h - 1. Solve o = -h*o for o.
0
Suppose 0*z + 3*h = -3*z - 3, 5*z - 7 = -2*h. Solve 0 = n + z - 0 for n.
-3
Let w be 256/120 - 4/30. Solve 0 = -f + 3*f + w for f.
-1
Let a = 12 + -10. Let q(w) = w + 1. Let j be q(7). Suppose -4*o = -j - 8. Solve a*u = u + o for u.
4
Let w(x) = 2*x**2 - 8*x - 10*x**3 + 11*x**3 + 5*x**2. Let a be w(-8). Solve a*r = 2*r for r.
0
Suppose -419 = -4*t - 379. Suppose 5*q = -3*o - 6, -2*q = q + 9. Solve -z = -o*z - t for z.
-5
Suppose 0 = i - 9 - 18. Suppose 0 = -5*r + i - 7. Solve -2*x = 2*x + r for x.
-1
Let f be (-1 - (-21)/12)*2*2. Solve 0 = -f*g + 4*g + 1 for g.
-1
Suppose 2*n - 4*q - 52 = -18, 4*q = 0. Suppose -3*h + 31 = -11. Suppose 3*y - h = y. Solve y = 5*a + n for a.
-2
Suppose -4*h = -4*l + 6 + 2, 0 = 5*l + 4*h - 37. Let t(w) = -3*w - 2. Let m be t(-4). Solve -3*g - m = -l*g for g.
5
Let r(c) = c**3 + 7*c**2 + 5*c - 3. Let x = 7 + -13. Let s be r(x). Suppose 3*k + 21 = 3*h + s, -5*h = 2*k - 58. Solve -4*i + 2*i - h = 0 for i.
-5
Suppose 0*r = 3*o - r - 46, 5*r = -2*o + 25. Let t = o + -9. Let u = t + -4. Solve -3 = -h + u*h for h.
-3
Let l be (18/12)/((-1)/(-2)). Suppose h + 0*a - l*a - 15 = 0, 5*a = -5*h - 5. Solve -20 = h*u + u for u.
-5
Let c be 1*-2 + (2 - -2). Let i = -2 + c. Let h = -3 - -5. Solve -t - h = -i for t.
-2
Let n(c) = c + 11. Let s be n(-8). Solve 1 = -x + s for x.
2
Let d be -2 + 1/((-1)/(-7)). Solve d*n = n - 16 for n.
-4
Let t(l) = -l**3 - 4*l**2 - 5*l - 3. Let m be t(-3). Suppose 14 = m*y - 1. Suppose -y*d = 5*s - 65, 7 = 4*s + d - 30. Solve -b - s = 3*b for b.
-2
Let h(z) = -z**2 - 3*z + 5. Let r be h(-5). Let y = r + 7. Solve 1 + 3 = y*n for n.
2
Suppose -8*d - 4 = -4*d. Let i be d/((3/9)/(-1)). Solve -6*g = -i*g - 12 for g.
4
Let k(m) be the second derivative of m**5/20 + 3*m**4/4 - 11*m**3/6 - 5*m**2 - 2*m. Let c be k(-10). Solve 0 = -l - c - 4 for l.
-4
Let r be (-18)/(-28)*2 + 4/(-14). Solve 0 = d - 2 + r for d.
1
Let f(i) = 2*i - 1. Let j be f(1). Let c be 1*-10 + 0 + j. Let h(s) = s + 21. Let p be h(c). Solve k - p = 5*k for k.
-3
Let b(t) = -1 + 2 + 1 + 2*t. Let m be b(-1). Solve -4*r - 8 + m = 0 for r.
-2
Let p be -3*(2 + -4 + -1). Suppose w - p + 1 = -l, 3*l = -5*w + 30. Solve -2 = -l*j + 4*j for j.
2
Suppose 1 = 8*w - 39. Solve -2 - 3 = w*g for g.
-1
Let a(c) = -c - 7. Let v = -2 + -3. Let q be a(v). Let w be (-2)/q - 3/(-3). Solve 0 = b + w + 1 for b.
-3
Let b(t) be the first derivative of t**3/3 - 6*t**2 + 11*t + 2. Suppose -3*o + 30 = -3. Let i be b(o). Solve q + 3*q = i for q.
0
Let z(d) = d**3 + 4*d**2 + 4*d + 5. Let v be z(-2). Solve 3*s = v*s + 6 for s.
-3
Let j(m) be the first derivative of 3*m**2/2 - 2*m - 2. Let y be j(2). Let w be -1 + 3 + -1 + y. Solve v = -0 - w for v.
-5
Suppose 3*b = -2*b, -w + 5 = 4*b. Suppose -c + w*c = 0. Solve -5*i + 5 + 0 = c for i.
1
Suppose 4*a - 5*t - 53 = -4*t, -4*a - 3*t = -49. Suppose 0 = -g - 2 + a. Suppose -4*s + 1 = -g. Solve 8*k - s*k - 15 = 0 for k.
3
Let l = 4 - 0. Let m be (-104)/(-28) + l/14. Solve m*c + 0 = 20 for c.
5
Let j be (-9)/(-4 - 15/(-5)). Solve 0 = -5*o - 11 - j for o.
-4
Suppose 4*b - 71 = 9. Solve 0*u = 5*u - b for u.
4
Let u(v) = v + 3. Let z be u(0). Let r = 15 - 12. Suppose r*d + 0*c = c + 4, -2*c + 19 = z*d. Solve 2*b = 1 - d for b.
-1
Suppose t + 0*t + 1 = 0. Let u be -3 - -6*t/(-2). Suppose 0*i - i = 0. Solve -5*j + u*j = i for j.
0
Let j = 18 + -10. Let o = 16 - j. Solve o = 5*p + 28 for p.
-4
Let c(z) = -z**2 + 5*z + 1. Let y be c(5). Let s = y + 6. Suppose 0*o - o = -2. Solve 3*r = o + s for r.
3
Let m(t) = -t**3 - 6*t**2 - 8*t - 5. Let x be m(-5). Let a(s) = s**3 - 11*s**2 + 10*s + 2. Let j be a(x). Solve 0 = d + j - 3 for d.
1
Let p be (2 + (-56)/20)/((-1)/5). Solve -5*f + 9 = p for f.
1
Suppose -4 - 2 = -