 - 15. Let u be i(z). Solve -u*o + 8 + 7 = 0 for o.
5
Let t(k) = -3*k - 7. Let c be t(-4). Solve -4*u + c - 13 = 0 for u.
-2
Let x = 389 - 254. Suppose -x = -5*y + 15. Let b be 12/(-15)*y/(-4). Solve b = 2*l - 0 for l.
3
Let c = -6 + 10. Suppose x + 12 = t + c*t, -6 = -3*x + t. Solve 5*i - x*i + 6 = 0 for i.
-3
Let r = 17 + 1. Let n = r + -8. Let w be -1*3*-2 + -1. Solve s = -w + n for s.
5
Suppose -11*p = -6*p - 20. Let l = 4 + -1. Let u = -2 + l. Solve 0 = -p*z + 3*z + u for z.
1
Suppose -5*z + 3*f = 3, 6*f - 5 = 3*z + f. Solve z = 10*l - 6*l - 4 for l.
1
Suppose c - 19 = 3*s, -5*c + 2 + 3 = 3*s. Suppose -c - 10 = -f. Let w = f - -2. Solve -o + w = -5*o for o.
-4
Let k(m) = -m**3 + 3*m**2 - m - 1. Let i be k(3). Let f = i - -19. Solve 0 = 3*j + 2*j + f for j.
-3
Suppose -i + 6 + 6 = -k, 4*k + 33 = -i. Let y be ((-3)/k*0)/1. Let q be 4*(y + (-2)/(-2)). Solve 1 - q = t for t.
-3
Let i be (7/(-21))/((-2)/6). Solve -3*v = -i - 5 for v.
2
Let u be 45/(-12)*4/1. Let n = 23 + u. Solve 2*m = -0*m - n for m.
-4
Let g = -17 - -17. Solve v = 5 - g for v.
5
Suppose 0*u + 6 = -2*u. Let m = 3 + u. Solve m = -3*x + 7*x + 16 for x.
-4
Let q be (0/2)/(5 - 3). Solve q = -7*w + 2*w + 25 for w.
5
Let r(x) be the first derivative of x**5/120 + x**4/24 + 4*x**3/3 + 2. Let w(f) be the third derivative of r(f). Let g be w(3). Solve -s = -g + 3 for s.
1
Let z = 7 - 5. Let n be ((-1)/z)/(2/(-44)). Solve 4*b = -n - 5 for b.
-4
Let d be 3/(-21) - (-116)/28. Let t be (-30)/25*(-10)/d. Solve -4*v + t*v = -5 for v.
5
Let j = -95 + 98. Let g(w) = w**2 + 2*w - 5. Let f be g(-5). Let y be 2/f + (-3)/15. Solve y = -0*z - j*z + 3 for z.
1
Let x be -1 - 1 - -6*1. Suppose -x*t - 16 = -8*t. Suppose -4*d = t, 3*m = -3*d - 2*d + 1. Solve 0 = 2*z - m - 0 for z.
1
Let g be (-1 + 2)/((-1)/(-2)). Suppose 0*r + g = -r. Let y = r - -3. Solve 0 = 2*m + 3 - y for m.
-1
Suppose -5*w + n = -30, 0 = -0*w + 5*w + 3*n - 10. Solve 0 = -2*v + v - w for v.
-5
Let h be (2 + -1)/(4/(-48)). Let w(p) = -p**3 - 13*p**2 - 13*p - 8. Let t be w(h). Let r = t - 2. Solve 0 = -r*x + 3*x - 1 for x.
1
Suppose 3*z = -2*z + 5*k + 25, -3*k = z - 25. Suppose -o = -6*o + z. Solve o*d + d - 12 = 0 for d.
4
Let z be 0 + (1 - 3) + 5. Let h(k) = k + 14. Let g be h(-17). Let v be ((-1)/z)/(g/36). Solve -y = -v*y for y.
0
Let y be (-546)/(-117) - (-2)/(-3). Solve -3 = -y*k + 1 for k.
1
Let j(p) = p**3 - 2*p**2 - p - 3. Let s be j(3). Suppose -1 = -s*g + 11. Solve 0 = -2*n - 0 + g for n.
2
Suppose -5*h - 5 = 10. Let f be h - (-1 - 3) - -2. Solve -o + f*o = -8 for o.
-4
Suppose -6*y = -11*y + 40. Suppose y*j = 3*j. Solve 3*x - 4*x - 5 = j for x.
-5
Let x = 11 + -8. Solve x*l = -2 + 17 for l.
5
Suppose -2*w + 3*m = 19, w + 6*m = 5*m + 3. Let n be (4 - 2)*(-3)/w. Solve -n = -l - 2*l for l.
1
Let c(k) = k**2 - 4*k - 1. Let s(o) = -3*o**2 + 9*o + 2. Let a(u) = -5*c(u) - 2*s(u). Let p be a(-2). Solve p = 4*g + 9 for g.
-2
Let o be (4/(-3))/(16/(-24)). Solve 3 = o*k - 5 for k.
4
Suppose 3*o - 66 + 0 = 0. Let s be (-3 - 0) + -8 + o. Solve 0 = 4*n - 3 + s for n.
-2
Suppose 4 = 4*c - 2*c. Let z be (-10)/(-6) - c/(-6). Solve -5 = z*h - 1 for h.
-2
Let m(o) = -5*o + o**2 + 53 - o - 60. Let t be m(9). Solve -6*s = -2*s - t for s.
5
Let i = -11 - -11. Solve i = b - 3 for b.
3
Suppose 2*h - 6 = 2*b + 3*h, h + 12 = -4*b. Let q be b*(-1)/(2 + -1). Solve 3*o + 0 = q for o.
1
Suppose -4*u = -16, 0 = 2*y + 4*u - 0 + 2. Let t = -7 - y. Solve t*x - 3*x - 1 = 0 for x.
-1
Let u be 2*-1*(-5)/(50/15). Solve 9 = u*i - 6*i for i.
-3
Let g(z) = 3*z - 20. Let j be g(8). Solve j*p + p = -20 for p.
-4
Let c be 1/(1 - (-9)/(-8)). Let m be (c/(-6))/((-2)/(-15)). Solve -5*j + m*j - 15 = 0 for j.
3
Let n = -31 - -31. Let g(q) = -q**3 + 3*q**2 - 2. Let s be g(2). Solve -s = -2*m - n*m for m.
1
Let p be 2/(-3)*21*1/(-2). Solve 0 = -3*l + p*l - 16 for l.
4
Suppose -9*i = -5*i. Solve i = 3*l - 2 - 10 for l.
4
Let x(o) = -o - 1. Let n be x(-1). Suppose 2*u - 14 + 6 = n. Solve 0 = u*w + 13 + 7 for w.
-5
Let y(m) = -4*m**3 - m - 1. Let r be y(-1). Solve -1 = r*k - 3*k for k.
-1
Suppose 2*c = -2*g + 2, 3*c - 4*g - 9 = -g. Solve 2*d = -c*d + 12 for d.
3
Let h = 34 + -31. Solve 3*o - h + 6 = 0 for o.
-1
Let p(t) = t**3 + 9*t**2 - 21*t + 18. Let l be p(-11). Solve -l*v + 5*v - 10 = 0 for v.
-5
Let g = 5 + -1. Suppose 3*i + 5*t - 27 = 0, -4*i + 49 = g*t + 21. Let l = 6 - i. Solve -s = l*s for s.
0
Suppose 2*o = -0*o. Solve o = 2*c - 7*c for c.
0
Suppose 0 = 4*y - 3*r - 12, 0 = -6*r + r. Suppose 0 = -2*a + y*o + 12, 2*o + 5 = -0*a + a. Solve 5*i - a + 4 = 0 for i.
1
Suppose x = -0 + 8. Let j = -20 - -20. Suppose j = 4*u + 3*r - 8, 5*u - 7*r = -6*r + 10. Solve -x - u = -5*k for k.
2
Let r(v) = -v**2 + v + 3. Let q(z) = -2*z**2 + 3*z + 5. Let a(h) = 2*q(h) - 5*r(h). Let i be a(-6). Solve 0 = 5*k + i for k.
-5
Let u be 1*(-3 + 6 + -3). Solve u = -3*n + 10 + 2 for n.
4
Let z(p) = -p**2 + 9*p - 18. Let l be z(4). Solve -2 = q + l for q.
-4
Suppose 0 = 5*h + g - 3*g - 41, 2 = 2*h + 4*g. Solve 0 = -3*j - h - 2 for j.
-3
Let k be 1/(-2)*16/(-2). Suppose -3*i = c + 9, 2*i = c + k*i + 5. Suppose 5 = -0*g + g. Solve c*b - g = -2 for b.
1
Let d(r) be the second derivative of r**5/4 + r**4/12 - r**3/6 - r. Let j be d(1). Let b(z) = 9*z - 6. Let n be b(1). Solve j*o = n*o for o.
0
Let f = -23 - -24. Solve -f - 7 = 2*i for i.
-4
Let x be -1*3*(-3)/3. Let z be (-2 + x)*-1*-13. Solve 1 = 3*d + z for d.
-4
Suppose -2*x + 4*x = 12. Suppose -x*m + 2*m - 8 = h, 4*m = -4*h - 8. Let r(s) = -s**3 - 6*s**2 - s - 4. Let y be r(-6). Solve h = y*b + b - 9 for b.
3
Let l be (4/10)/((-2)/10). Let w be (5/(-2) - 0)*l. Let i = -22 - -24. Solve -i*f + f = -w for f.
5
Let s be (2 - (-1 + 2))*6. Suppose 0 = -3*j + 6 + s. Let d = 5 - 3. Solve -d*b + b = -j for b.
4
Let i(f) be the third derivative of -f**6/120 + f**5/15 + 5*f**4/24 + 2*f**3/3 + f**2. Suppose 0 = r + r - 10. Let t be i(r). Solve -3*c = -c - t for c.
2
Let c(y) be the first derivative of y**4/4 + 10*y**3/3 - y**2/2 - 6*y + 2. Let t = -15 + 5. Let i be c(t). Solve o + i*o = -25 for o.
-5
Let i(v) = 84*v - 86*v - 2*v**3 - 1 - v**2 + v**3. Suppose -4*h + 2*h + 5 = 5*r, -3*h + 14 = r. Let x be i(r). Solve 4*p - x = -5 for p.
-1
Let c(f) = f - 1. Let p = -8 + 28. Suppose -i = 4*i - p. Let x be c(i). Solve -w = -4*w - x for w.
-1
Let v be (-13)/26*(-9 - 1). Suppose v*h - 13 - 2 = 0. Solve 0 = h*p - 4*p - 2 for p.
-2
Let t be (4 - 1)*(-2)/(-3). Suppose 4 = -t*a - 2. Let n be a/(2 - (-3 + 6)). Solve -3 = n*y - 6 for y.
1
Let t(d) = d - 2. Let c be t(2). Let u be (-111)/(-21) + 4/(-14). Suppose -u*i + 18 = -4*s, -5*i + c = s - 8. Solve -i*h + h = 0 for h.
0
Let a(k) = k**2 - 3. Let s be a(0). Let y = -3 - s. Suppose 4*n + 0*r + 3*r - 22 = y, 0 = -5*n + 5*r + 10. Solve 7 = n*i - 1 for i.
2
Let g be 2/(-5) + 37/5. Let r = -4 + 7. Suppose -3*p - 10 = -2*i, 8*p = i + r*p - 5. Solve -g*f + 4 = -i*f for f.
2
Let g(t) = t**3 + 4*t**2 - t + 1. Let u(j) = j**3 + 5*j**2 - 6*j - 4. Let d be u(-6). Let i be g(d). Solve i*n - 5 + 0 = 0 for n.
1
Let u be (-36)/3*2/4. Let w be (-8)/(-6)*u/(-4). Solve m - w = -0*m for m.
2
Let h(u) = -u + 20. Let z be h(18). Solve 12 = 5*a - z*a for a.
4
Let j be 3*1*(-8)/(-6). Suppose -c - j = -5*c. Solve 3 = 2*n - c for n.
2
Let l(d) = d**2 + 6*d + 4. Let z be l(-6). Suppose 0 = 5*y - z*y - 3. Let p be 1 + -1 - -1*3. Solve y*m = 4*m + p for m.
-3
Suppose 0 = -5*j + 3*r + 6, -3*j + 4*j = 5*r - 12. Let m = 5 - j. Suppose -9 = 3*l - 0*l, 0 = -4*z - 3*l - 1. Solve m*n = z + 2 for n.
2
Let r(d) be the first derivative of d**4/4 - 2*d**3 + 4*d**2 - 7*d - 3. Let o be r(5). Solve -o = -2*j - 0*j for j.
4
Let o(b) = -b**3 + 8*b**2 + 8*b + 5. Let f be o(9). Let n = f - -4. Solve 4*y - 16 = -n*y for y.
4
Let p(m) = -m**3 - m**2 + m. Let k be p(0). Let i(d) = d**2 + 2*d + 1. Let q be i(-3). Solve k*o + 4*o = -q for o.
-1
Suppose -3*g = 5*q - 23, 0 = q + q + 4*g - 12. Let h(i) = i. Let y be h(q). Suppose 0 = -3*t + t + 3*o + 9, y*t + 3*o = 27. Solve -r + t*r = 20 for r.
4
Let m be (-6)/21 - 16/(-7). Solve 3*a + 10 = -m*a for a.
-2
Let w = -103 + 106. Solve -g = -w + 2 for g.
1
Suppose 0 = -6*r + 25 + 11. Suppose 3*u = 7*u - 16. Solve u*w - r = 2*w for w.
3
Let w = 83 + -79. Solve 0 = -w*h - 8 - 4 for h.
-3
Let j(g) = -g**3 + 5*g**2 - 2*g