 Let l be o(2). Solve 0*t - l = t for t.
-5
Suppose 4*v = -o + 3*o - 4, -o - v + 5 = 0. Solve 0 = -o*d - 7 - 5 for d.
-3
Let p be 1 - (1 + -10*1). Suppose -3*g = 2*g - p. Let b(f) = -f**2 - 9*f - 8. Let k be b(-8). Solve 8 = g*x - k for x.
4
Suppose -2*y + 35 = 5*c, -4*c = -5*c + 3*y - 10. Solve 4 = c*g - 11 for g.
3
Let k be (-11)/22*1*22. Let o = k + 16. Solve 3*p = 2 - o for p.
-1
Let p(v) be the third derivative of -v**4/12 - 2*v**3/3 - v**2. Let s be p(-3). Suppose -3*l = s*b - l, 5*l = -b - 8. Solve b*d = 3*d - 3 for d.
3
Let x(q) = -q**3 + 8*q**2 - 7*q + 3. Let p be x(7). Suppose -4*k = p*v + 12, 0 = -k + 4*k + 9. Solve -3 + v = -3*r for r.
1
Let o = 38 + -27. Suppose -o + 1 = -5*g. Solve 7 = 5*b + g for b.
1
Let s(a) = -a**2 + 17*a - 23. Let m be s(14). Solve -4*w = -m + 7 for w.
3
Let r(g) = -g**3 - 2*g**2 - 5*g + 2. Let l(z) = z**3 + 2*z**2 + 4*z - 1. Let s(j) = 3*l(j) + 2*r(j). Let n be s(-1). Solve 4*h + 4 - 12 = n for h.
2
Suppose -o + 80 = 3*o. Solve 0*p + o = 4*p for p.
5
Let q = 24 + -36. Let m be (q/(-8))/(1/2). Let j be (0 + 1)/1 + 3. Solve d + m = j for d.
1
Let x be ((3 - 3)/(-4))/(-2). Solve -p + x*p - 1 = 0 for p.
-1
Suppose 8 + 6 = 7*v. Solve -v = -k + 1 for k.
3
Suppose 0*n = 4*n - 16. Let u(p) = -p**2 + p**3 - 5*p + 2*p - 2*p**2 + 1 - 2. Let m be u(n). Solve -7 - m = 2*y for y.
-5
Let u be 10*1 + (2 - 0). Let x = u + -24. Let t(p) = p**2 + 13*p + 14. Let o be t(x). Solve -o*j = -j for j.
0
Let i = -8 + 13. Let v(k) = -k**3 + 4*k**2 + 2*k + 7. Let o be v(i). Let a be 20/6*(-12)/o. Solve -a*z = -z for z.
0
Suppose -6*n + 4 + 2 = 0. Let i(h) = -h**3 - 3*h**2 + h + 1. Let m be i(-3). Let d = n - m. Solve -d - 12 = -5*u for u.
3
Suppose 0 = -3*c - 0 + 9. Let u = -4 - -9. Suppose -t - 20 = -u*t. Solve -t*m - c = -4*m for m.
-3
Let p be (-6)/3*(-3 - -1 - -1). Solve -p*t + 6 = t for t.
2
Let i(p) = p**3 + 7*p**2 + 4 - 14 + 5*p - p. Let r be i(-6). Solve 0 = u + 2 + r for u.
-4
Let b(g) = g**2 - 2*g. Let i be b(4). Solve m - 3*m - i = 0 for m.
-4
Suppose 4*z - 20 = -5*a, 5*z = 4*a + 39 - 14. Suppose -3*r + 16 = r, 8 = 4*v - z*r. Let l be (-1 - -1)/(v + -5). Solve f = -1 - l for f.
-1
Let d = -23 + 32. Suppose -4*y + d + 7 = 0. Solve -5*v - y = -19 for v.
3
Suppose 7*x - 2*x = 50. Let r = x - 7. Let j = -49 - -69. Solve f - j = -r*f for f.
5
Let s = -7 - -9. Suppose -s*a + 3 = a. Solve 2*d - a + 11 = 0 for d.
-5
Let b(u) = 4*u + 13. Let z be b(-3). Solve -y = -0*y + z for y.
-1
Suppose 5*a = l + 3*l - 41, 0 = -2*l - 3*a - 7. Let i = l + -1. Suppose -t + 2*t = -i*s + 18, -17 = -4*t - s. Solve 0 = -2*x + 1 + t for x.
2
Let r(s) = -s**3 + 8*s**2 - 6*s - 5. Let w be r(7). Let q = 0 + w. Let l = -2 + 2. Solve l = -q*z - 0*z + 4 for z.
2
Let p be (-81)/(-12) + (-3)/(-12). Let z be 102/7 - (-3)/p. Solve 3*q + z = 6*q for q.
5
Suppose 35 = -5*j + 5*f, -3*f - 9 = 5*j + 10. Let o = -6 + 11. Let m = o + j. Solve m = -t - 4*t - 10 for t.
-2
Let p = -162 + 168. Solve 0 = -5*b + p + 14 for b.
4
Let g be (-2)/(-15) - 172/(-60). Solve k - 2*k = g for k.
-3
Let p(o) = o**2 + 1. Let h(z) = z**3 + 11*z**2 - 11*z + 3. Let s(w) = h(w) - p(w). Let y be s(-11). Solve -y*d = -0*d - 8 for d.
4
Let u(p) = p**3 - 6*p**2 + 2*p - 8. Suppose -t + 4 = -2. Let v be u(t). Solve 0 = x - v*x - 3 for x.
-1
Let r(j) be the third derivative of -j**6/120 + 7*j**5/30 - 7*j**4/12 + 7*j**3/3 - j**2. Let t be r(13). Solve 0 = -h - t - 1 for h.
-2
Let f(k) = k**2 - 4*k + 4. Let w be f(-5). Suppose 5*q - w = 51. Solve 0 = 6*i - 2*i + q for i.
-5
Let a = 4 + 4. Solve -2*f + 2 + a = 0 for f.
5
Let f(y) = -y**2 + 14*y - 13. Let r be 2/6 - 114/(-9). Let c be f(r). Solve c = 3*q - 3 - 9 for q.
4
Let i = 6 + -3. Suppose 0*j - 2*j - 3*s - 34 = 0, i*j + 54 = -3*s. Let v be (8/j)/(2/(-10)). Solve v*q + 4 = 14 for q.
5
Suppose 4*v - 40 = -0. Solve 0 = -5*s - v for s.
-2
Let c(x) = -x**3 - 6*x**2 - 5*x + 2. Let d be c(-5). Let f be (d/6)/((-1)/(-6)). Solve -f*r + 1 = -3 for r.
2
Suppose 2 = w - 1, -w = 5*f - 33. Let h be (144/56)/(f/28). Solve -2*m - 2*m = -h for m.
3
Suppose i = 4*g - 16, i + 27 = 5*g - 2*i. Suppose 28 = g*c - 2. Solve -b = b - c for b.
5
Let x = -23 - -33. Solve -o - x = -6*o for o.
2
Let w(c) = -c**3 + 5*c**2 + 7*c - 1. Let g be w(6). Solve g = -h - 0 for h.
-5
Let o be 4/10 + 5/(125/115). Solve a - o + 0 = 0 for a.
5
Let g(x) = x**3 - 3*x**2 + 3*x - 4. Let l be g(3). Let a(k) = -k**2 - 3*k - 2. Let q = 2 + -4. Let h be a(q). Solve h = -3*s + l*s for s.
0
Suppose 0 = w - 3*w + 24. Let m = w + -10. Solve m*z = 7 + 3 for z.
5
Let r(g) = g**2 - 2*g - 5. Suppose 1 + 19 = 4*k. Let s be r(k). Solve -4*d + 6*d = -s for d.
-5
Suppose -5*q + 3*g = -14, 4*q + 11 = -0*g - 5*g. Let u be q + ((-4)/4)/1. Solve 5*p + 6 - 1 = u for p.
-1
Let t(b) = -b**2 - 5*b + 6. Let f be t(-6). Solve f*g + 2*g = 0 for g.
0
Let i(a) = -3*a**3 + a**2 - 14. Let q(u) = u**3 + 5. Let c(v) = 3*i(v) + 8*q(v). Let w be c(2). Solve 6 + 2 = -w*n for n.
-4
Suppose 4*o + 5*v = 5, -3 = -5*o - v - 2*v. Let r be (-6)/2 + (0 - o). Let j = -1 - r. Solve -m + 1 = -j*m for m.
-1
Let j(q) = q - 3. Let d be j(7). Solve d*g = -26 + 10 for g.
-4
Suppose 11 = 3*b - 13. Let n(w) = w**2 - w - 1. Let k(f) = 4*f**2 - 4*f - 27. Let z(d) = -k(d) + 3*n(d). Let t be z(0). Solve -b = -4*u - t for u.
-4
Let p be (32/(-24))/((-1)/9). Let t be ((-3)/6)/((-2)/p). Let f = 0 + t. Solve 0 - f = -c for c.
3
Suppose 3*l - 27 = -3*u, -5*l = -2*u + 10 - 34. Solve 2*a - l = -a for a.
2
Let p(o) = o**2 - 5*o - 1. Let c(f) = 7*f - 1. Let q be c(1). Let z be p(q). Let g(v) = v + 4. Let a be g(-4). Solve l + 4*l + z = a for l.
-1
Let p(a) = -2*a**2 + 7*a + 7. Let y be p(3). Solve 2*b = 4*b + y for b.
-5
Let q(n) = -n + 17. Let k(d) = 13*d**2. Let a be k(-1). Let s be q(a). Solve s + 8 = 4*g for g.
3
Let y = -7 - -12. Suppose 1 = 2*l - y*b, l + 2*b + 3 - 8 = 0. Solve 0 = 2*p - 11 + l for p.
4
Suppose -5*q = -0*q - 15. Suppose q*i = -2*i. Solve i*w = 5*w + 15 for w.
-3
Let c(m) = m + 21. Let a be 14*-1*6/12. Let b be c(a). Solve 0 = -3*n + b - 5 for n.
3
Let m be (-6)/(-3) - -8 - 2. Let t(i) = i + 1. Let w be t(-1). Suppose 4*k = 2*p - 6, -3*k + 12 = 4*p - w*k. Solve -p*x + m = 2 for x.
2
Let t = 35 - 19. Solve 0 = -3*z + 7*z + t for z.
-4
Let u be 9 - (-1 - (0 - 4)). Solve -2*v = -u*v for v.
0
Suppose 3*f + w + 3 - 1 = 0, -f - 6 = 3*w. Solve f = 2*c + 2 + 4 for c.
-3
Let i = -7 - -10. Suppose 4*o + i*d = 5, 0 = -5*o - 9*d + 4*d + 5. Solve 5*u = -3 - o for u.
-1
Let r = 2 + -1. Let g = 5 + r. Solve 4*i + g = i for i.
-2
Let d(a) = 4*a**2 + a - 4. Let w be d(-2). Solve 5*m + w = -0*m for m.
-2
Suppose h + 2*h = 15. Suppose 0 = -0*d + h*d - 15. Solve -6 - 3 = d*a for a.
-3
Suppose 34 = 3*o + k, o + 5*k = -0*o - 12. Suppose -2*g + 45 = 3*g. Let s = o - g. Solve 0 = -2*w + w + s for w.
4
Suppose 2*k - 7*k + 15 = b, 5*b - 6 = -2*k. Suppose 5*v - 3 = 3*x - 41, -36 = 2*v + 4*x. Let q = v + 13. Solve 3 + k = q*r for r.
2
Let k(p) = -p. Let c be k(-4). Solve -c*r - 10 = -6*r for r.
5
Suppose 2*u = 5*u - 6. Suppose u*y = -2*y + 40. Solve -y = b + 4*b for b.
-2
Let z(l) = 14*l**2 + l - 2. Let u be z(1). Solve 3*s - u = 2 for s.
5
Suppose 3*h = -w + 2*h, -2*h = 3*w - 2. Let j = 4 - w. Solve j*b - 5 = -1 for b.
2
Suppose 2*d - 5*i = -21, 7*d - 3*i + 7 = 3*d. Solve -l = d + 2 for l.
-4
Let y = -25 + 26. Solve -y = -z - 5 for z.
-4
Suppose -4*r = -r. Suppose -8 = 2*d - 6*d. Suppose 2 = -l + d*l. Solve -l*b = -r*b for b.
0
Let i = -4 - -6. Suppose -i*h - 4 = -p, 4*p = h + 12 + 4. Solve f + 3*f = h for f.
0
Let y(l) = -l**3 - 3*l**2 + 3*l - 3. Let u be y(-4). Suppose 3*f = 13 - u. Solve r = f*r for r.
0
Let k be -1 + 1 + (-1 - -1). Suppose k*v - 3*v = 6. Let c be (v/6)/((-2)/12). Solve u - c*u = 0 for u.
0
Suppose 0 = 5*n + 3*x + 4 - 16, 0 = 4*x - 16. Solve n = 2*h + 3*h + 15 for h.
-3
Let f = -84 - -86. Solve -10 = -3*q + f for q.
4
Suppose -4*s - s - k + 6 = 0, -k = -2*s + 8. Solve 7*n - 10 = s*n for n.
2
Let p be 4/2*27/18. Solve -p*o + 8*o = 5 for o.
1
Suppose 2*d - 4 = 3*o + 1, -4*d = o - 45. Suppose -3*j - 4*y + 12 + 12 = 0, -7 = -4*j + 3*y. Solve j*l + l = -d for l.
-2
Let k(z) = 2*z - 4. Suppose 4*h = 2*v + 14, 3*h + v + 0*v - 8 = 0. Let d be k(h). Solve -d + 17 = -3*c for c.
-5
Let o = 34 - 30. Let h(f) = -f**2 + 10*f - 2. Let c be h(10). Let i b