6)/(-1). Solve 0*k = -2*k + f for k.
2
Let o = 30 + -30. Solve o = d + 4 for d.
-4
Let w(f) = 2*f + 5. Let g be w(6). Let l = -12 + g. Solve 2 = 3*c - l*c for c.
-1
Suppose 8*v - 3*v + 4*n - 55 = 0, -v = 3*n - 11. Solve -v*w + 8*w = -3 for w.
1
Suppose 8 = -2*x, 4*v + 1 = -4*x + 9. Solve -m - v = m for m.
-3
Suppose -f = 5 + 7. Let l = -8 - f. Solve h + 9 = l*h for h.
3
Suppose -u = u - 8. Let z = u - 2. Let x(g) = g**2 - 2*g. Let q be x(z). Solve -6*h + 3*h + 9 = q for h.
3
Let h be 18 + -10 - (0 + 0). Suppose 0 = -2*s + 2*n + h, -n + 34 = 4*s + 13. Solve -2*k = s + 3 for k.
-4
Let k(g) = g**3 - 2*g**2 - 3*g - 1. Let x be k(3). Let v be x - 18/(-2 - 0). Solve w - 4 = -v for w.
-4
Let a be ((-36)/3)/3*-1. Suppose -a*g = -2*j - 3*g + 6, 5*g + 12 = 4*j. Suppose -j*l + 4 = -2. Solve 0 = -w + l*w for w.
0
Let s = -66 - -68. Let i = 5 + -2. Solve -i = s*o - 7 for o.
2
Let y = 2 - 0. Let x(a) = a**3 + 13*a**2 - 15*a - 14. Let n be x(-14). Suppose -4*p = -16 - n. Solve p*c - 2*c = y for c.
1
Suppose 0 = -0*r - r + 3. Solve r = x + 2 for x.
1
Suppose y + 4*y + 4*t + 4 = 0, -y - 5*t = 5. Solve u = -y*u for u.
0
Suppose -2*s = 4*s - 48. Solve 5*b = -7 - s for b.
-3
Let r be (7 - 9 - (-1 + 1)) + 6. Solve r*y = -21 + 5 for y.
-4
Let c be ((-6)/8)/((-2)/(-8)). Let f be c + (3 + -1 - -1). Solve m + f + 5 = 0 for m.
-5
Suppose 4*s + 2*r - 26 = 4*r, -4*s = 3*r - 31. Suppose -s = 4*j - 31. Solve 0 = 4*b - j*b + 10 for b.
5
Suppose -l + 0*l = -6*l. Solve -p = -l - 2 for p.
2
Let b = 2 + -2. Let a be 12/(3/3 + b). Suppose -10 = -2*s + a. Solve s = -2*n + 1 for n.
-5
Suppose -14 = 4*m - 2*m - 5*h, -2 = 2*m + h. Let x(z) = 2*z + 2. Let r be x(m). Let o be (1/r)/(5/(-50)). Solve o = d - 2*d for d.
-5
Let x be (3/2)/(6/8). Let d = -2 + x. Suppose 4*t = -d*t + 12. Solve t = y - 2 for y.
5
Let k(l) = -l**3 + 9*l**2 + 2. Let q be k(9). Suppose -2*h + 5*h = 3*y, -q*y = 3*h - 20. Solve n = -n - y for n.
-2
Let l be (12/(-18))/(4/(-18)). Let p(f) = -f + 7. Let q be p(l). Let o = q - 4. Solve -s + 3*s = o for s.
0
Suppose -5*q + 28 = -q + 5*b, -3*q - 3*b = -18. Suppose -q*d + 4*x = -0*x - 16, 0 = -4*d + 3*x + 32. Solve 2*f - 6*f + d = 0 for f.
2
Let p = 5 - 5. Suppose p = 4*c - 2*s - 14, -c + 5*s + 21 = -5*c. Let o be (0/c - -2)*1. Solve -o*b - b = -3 for b.
1
Let k(n) = n**2 + 2*n - 3*n - 11 - 4*n - n. Let m be k(8). Solve m*p + 12 = -13 for p.
-5
Suppose 5*r = 3*m + 63, -2*m - 22 = 5*r - 5. Let q = 22 + m. Solve q = -2*x - x for x.
-2
Let o(c) = c + 1. Let d(y) = y**2 + 4*y + 5. Let x(s) = d(s) - o(s). Let p be x(-4). Solve -p - 2 = -5*k for k.
2
Let n = 17 + -12. Suppose -2*h + n*x + 19 = 0, -2*h + 3 = 5*x + 14. Suppose h*u = 1 + 3. Solve 7 = -3*k - u for k.
-3
Let t be 0 - 5/(5/(-2)). Solve 6 = -t*d - d for d.
-2
Let r(h) = 4*h**2 + h**2 + h - 2*h. Let u be r(1). Let a = 18 - -11. Solve -9 = u*k - a for k.
5
Let y = 38 + -32. Solve 0 = h + h - y for h.
3
Let q = 5 - 5. Suppose q = 6*r - 5*r. Solve r = l + 1 - 6 for l.
5
Let q be 2/2*0/1. Let j = -12 - -15. Suppose 7*v - j*v = q. Solve v = -4*b + 3*b for b.
0
Let w(i) be the first derivative of -i**2 - 9*i - 4. Let x be w(-6). Solve -v + 20 = x*v for v.
5
Let h be (-3 - -3)*(-2)/(-4). Let n(w) = w**2 - 3*w + 4. Let j be n(3). Suppose h + j = f. Solve -4 = f*k + 16 for k.
-5
Suppose -2*v - 3*v + 100 = 0. Suppose 0 = 7*a - 3*a - v. Solve a = 4*s - 3 for s.
2
Let k = -25 - -53. Suppose k = 5*i + 3. Solve -4*h - i = -9*h for h.
1
Suppose -9 = 2*p - 5*p. Let l = -1 + p. Let n(t) = t**2 - t + 2. Let g be n(0). Solve -l*j = g + 8 for j.
-5
Suppose 3*t + 46 = -5*a, 2*t + 2*a = -2*t - 38. Let v(f) be the first derivative of -f**2 + 3*f - 1. Let y be v(t). Solve -y = 3*k - 2 for k.
-5
Suppose 2*n + 13 = 3*n. Solve 1 = -3*s + n for s.
4
Suppose 0 = -5*l - 2*z + 12, -4*z + 0*z - 20 = -l. Solve 0*v = -v - l for v.
-4
Let f(n) = n**3 - 10*n**2 - 11*n + 1. Let m be f(11). Solve 7 = -4*b - m for b.
-2
Let k be (-1)/(-3)*3 - 1. Let f be k/(-2)*(-3)/(-3). Suppose -5*t - 3*o + 100 = f, 3*o + 3 + 17 = t. Solve -b = -5*b - t for b.
-5
Suppose -5*f = -4*f + 5*y - 1, -5*f = -5*y - 5. Let z = 28 - 19. Solve -z - f = 5*r for r.
-2
Let p be -9*(-3)/(-2 + 5). Suppose 15 = 4*d - p. Suppose 0*u = -u + 5*g - d, 4*g - 12 = -u. Solve 0 = -4*y + u - 8 for y.
-1
Suppose 2*y = -2*n - 10, -n + 2 = 5*y + 7. Suppose 2*f - 3*h + 20 = 6*f, 3*f + 4*h - 22 = y. Solve q = -f*q for q.
0
Let f = 13 - 18. Let j(v) = v**2 + 4*v - 5. Let o be j(f). Solve 2*n - 7*n + 5 = o for n.
1
Let a be (-3)/(-1) + 3/(-3). Suppose 2*t - 2 = a. Let y be (-8)/44 + 48/22. Solve -t*z + 6 = -y for z.
4
Suppose -7 = -4*t + 1. Solve -w - t*w = 12 for w.
-4
Let q(s) = -3*s**3 - 9*s**2 - 6*s + 4. Let i(d) = -d**3 - d**2 - d. Let o = -4 - -3. Let v(t) = o*q(t) + 4*i(t). Let l be v(5). Solve -3*g = -0 - l for g.
2
Suppose -x + 7*x - x = 0. Solve x = -c - 2*c for c.
0
Let n(q) = q**2 + 2 - q + 7*q - 3*q. Let t be n(-3). Let g be (12/(-18))/(t/(-6)). Solve 2*p - 2 = g for p.
2
Let r be 3/15 - 96/30. Let l be r/(-1) + 0/6. Solve -2*j + 1 = l for j.
-1
Suppose 0 = -5*d + 8 + 17. Solve 1 = -d*b - 9 for b.
-2
Let d = 110 + -103. Solve -2*q = -d*q - 5 for q.
-1
Let u = 29 - 9. Solve u = 2*g + 3*g for g.
4
Let q(t) = t**3 - t**2 + t + 4. Let u be q(3). Solve 4*p = -p + u for p.
5
Let y = -24 - -32. Solve l = -3*l + y for l.
2
Let y(z) = -1. Let s(u) = -u**3 + 5*u**2 + 6*u + 9. Let p(n) = s(n) + 2*y(n). Let o be p(6). Suppose 0 = o*f - 2*f. Solve -j = -f - 1 for j.
1
Let r be 15 - 5*2/2. Solve r = -4*w + 2 for w.
-2
Let y = -10 - -12. Solve 3 + y = z for z.
5
Let r(g) = g**2 - 4*g + 5. Let n be 56/10 - (-33)/(-55). Let d be r(n). Solve 4*s = d + 10 for s.
5
Let o be -1*4/2 + 14. Let t be 5/((-15)/(-6)) - -1. Suppose -t*b + 5 + 10 = -q, -q - 11 = -2*b. Solve -b*a - o = -4 for a.
-2
Suppose 4 = -2*w + q - 0, -2*w + 16 = 4*q. Solve -m = -w*m for m.
0
Suppose 3*g + 2 = s + 2*g, 16 = 2*s + g. Solve 2*o - s = -2 for o.
2
Suppose 0 = 2*r - 7*r. Suppose -17 = 3*a - 11. Let l = r - a. Solve l = -2*h + 6 for h.
2
Let l be -1 + (3 - 3) - -13. Let j = -11 + l. Solve 0 = -3*c - 2 - j for c.
-1
Suppose 11*a = 4*a + 21. Solve 4*r = a*r for r.
0
Let j = -3 + 8. Suppose r = j - 0. Suppose 0 = -9*i + 4*i + r. Solve -i = 2*m + 1 for m.
-1
Let l be (-3)/3 - 5 - 0. Let c be (3 + l)*-2 + -2. Let o(d) = 2*d**2 - d. Let x be o(-1). Solve c = x*h - 2 for h.
2
Let q be (-8)/6*(-75)/(-10). Let d = 16 + q. Solve 0 = -d*r + 3*r for r.
0
Let o(r) = -r**3 - 6*r**2. Let i be o(-6). Suppose -4*h - 2*k + 106 = i, 3*k - 3 = h - 19. Solve 6*b - b + h = 0 for b.
-5
Suppose -q = 5*s - 25, 0*s - 15 = -3*s - 3*q. Let c = -58 + 60. Solve s - c = k for k.
3
Let r = -6 + 6. Solve 3*j + 1 + 2 = r for j.
-1
Suppose 2*w - w = -2*c, -5*w - 3*c = 0. Let r be w/2 + -2 - -5. Suppose 0 = 3*v - r*x + 3, x + 0 = -5*v + 25. Solve 0 = -i - 3*i + v for i.
1
Let n be (-462)/(-98) + (-6)/(-21)*1. Solve n*z + 0*z - 15 = 0 for z.
3
Let m(b) = b**2 + 7*b + 8. Let d be (-6)/2*8/4. Let f be m(d). Suppose f = 4*c - 6. Solve 2*h - c = 2 for h.
2
Suppose 8*q = 9*q. Suppose q*w = -2*w. Solve n + 3*n + 12 = w for n.
-3
Suppose 0 = 7*b - 9 - 5. Suppose k - 6 + 2 = 0. Suppose t + 3*p = -7, 24 = k*t - p - 0. Solve b*s - t = 3*s for s.
-5
Let o be (-9 - -7)*(-1)/2. Let a = 3 - o. Solve -3*h + 5*h = a for h.
1
Let h = -15 - -27. Suppose 4*a - h = -4. Suppose v - a = 2. Solve 7 + 5 = v*t for t.
3
Let r(f) = 3*f**2 + 3*f - 20. Let y be r(3). Let h = 6 - 2. Solve -h*q + y = 4 for q.
3
Let b = -6 + 6. Suppose b*n - r = 4*n - 4, n = 4*r - 16. Let k be 3/(-3)*-2 - n. Solve -y - 6 + k = 0 for y.
-4
Let d be ((-14)/2)/((-6)/((-36)/(-6))). Solve -d*u + 9 = -4*u for u.
3
Let d = -75 - -129. Let j be ((-2)/6)/((-2)/d). Solve -3*x + 0*x = j for x.
-3
Let y(t) = -t**2 - 6*t - 5. Suppose -3*v + 3*z = 18, -v - 2*z + 7*z = 14. Let k be y(v). Suppose -k*q - 4 = -2*x - 4*q, 0 = q + 4. Solve x*i + 5 = -i for i.
-1
Suppose -43 = -3*i - z, -2*i + 3*z + 40 = -2*z. Solve s = -2*s + i for s.
5
Let p = 102 - 94. Solve -3*h - 25 = -p*h for h.
5
Let m(l) = l - 1. Suppose 2*t - 6*t + 4 = 0. Let w be m(t). Let o be (w + 1 - 0)*3. Solve o*b - 4*b = -5 for b.
5
Suppose -4*h = -0*h. Solve h = 3*c + 3 + 6 for c.
-3
Let n = 22 + -13. Let c be 16/7 + 16/(-56). Let j = 3 + c. Solve -j*g - 16 = n for g.