4. Solve -2*o + c*o - 9 = t for o.
3
Suppose 0 = -5*t - 2*k - 98, -3*t + t - 3*k - 37 = 0. Let b = t + 20. Solve 0 = 2*w - b*w + 8 for w.
-4
Let u(h) = -6*h - 31. Let c be u(-6). Solve -c - 10 = -5*t for t.
3
Suppose 0*v + 2 = -v. Let h(f) = f + 2. Let s be h(v). Solve s*o = -4*o for o.
0
Let m = 18 - 15. Suppose -m*r - 11 = -f, -r - 1 = f - 0*r. Solve f = 2*i + 8 for i.
-3
Let p be 0/(0 + 2 + -3). Suppose 5*x + 5*s = -5, p = 5*x - 0*s + 2*s + 2. Suppose -j + 5*n - 18 = x, -2*n + 4 = -2*j - 0. Solve k = 2*k - j for k.
2
Let b be 4/(-3)*75/(-10). Let h = b + -7. Solve -4 = h*x + 8 for x.
-4
Suppose 2*k + 12 = 6*k. Suppose -3*f = -k*m - 6, 3*f + f - 5 = 5*m. Solve 3*l + m = -0*l for l.
-1
Let q be 34/(-6) + 22/33. Let y = q + 5. Solve -w - w = y for w.
0
Let t be 2 + 5 + 2 + -4. Solve -t*y = -2*y + 15 for y.
-5
Let q(f) = f**3 + f**2 + 5. Suppose 3*a + a = 20, -5 = 3*r - a. Let u be q(r). Suppose -x + u*d - 23 = 0, -x - 2*d - 3*d = -27. Solve -2*t - 4 = x for t.
-3
Let u(j) = j**2 - 5*j + 3. Let g be u(5). Let x be 1 + 2 + 20 - g. Let d(z) = -z**2 - 4*z - 3. Let w be d(-3). Solve w = -2*p + 6*p - x for p.
5
Let k(h) be the third derivative of h**5/60 - h**3/3 + 3*h**2. Let b be k(2). Solve 9 = j + b*j for j.
3
Let g(p) = 6*p**2 + p. Let y = 5 + -4. Let t be g(y). Solve -3*u + t*u - 20 = 0 for u.
5
Let k be -4*(-35)/10 + -3. Solve -3*i + k = -1 for i.
4
Let w(m) = m**3 + 6*m**2 - 6*m + 8. Let l be w(-7). Let q(b) = b**2 - b + 1. Let i be q(l). Solve 0 = -2*g + i - 7 for g.
-3
Let f be -2*(-4)/(-8)*-4. Solve 12 - f = 4*r for r.
2
Suppose 0 = -0*o - o + 4*d + 20, -d = -2*o + 40. Suppose -2*g = -4*p + 20, 3*g = 2*p + 2*p - o. Suppose 4*w - 2*w - 40 = g. Solve w = 5*h - h for h.
5
Let d(k) = k**3 + 5*k**2 - k - 2. Let f be d(-5). Suppose 3*t + 6 = -4*v + 43, -2*v - 4*t = -6. Solve 4 = f*h + v for h.
-3
Suppose 5*g - 4*r = 8, 5*r - 4 = g + 7. Suppose -2*y + 24 = g*i, -2*i = 5*y - i - 33. Solve -y*q + 8 = -2*q for q.
2
Let l(q) = -4 - 4 + 3*q + 5. Let t be l(2). Let g = t - -3. Solve 0 = 4*r + g + 2 for r.
-2
Let q(p) = p**3 + 3*p**2 - 4*p + 2. Suppose 5*c - 8 = 2*k, 4*k = -c - 13 - 3. Let j be q(k). Suppose -2*t - 5 = 5*l, -5 = -t + 3*l + 2*l. Solve t*d = j*d for d.
0
Let q(j) be the first derivative of -j**2/2 - 2*j - 9. Let x be q(-6). Solve 12 + 4 = -x*b for b.
-4
Suppose 0 = 4*g + 10 + 14. Let c be (-5)/(-2)*(-12)/(-15). Let i be (-48)/(-9) + c/g. Solve -6*l = -l - i for l.
1
Let a = 99 + -91. Solve -4*b + 0*b = a for b.
-2
Suppose -4*o = 3 - 11. Solve o*d = 3*d - 4 for d.
4
Let w(g) = -g**2 - 4*g + 12. Let t be w(-6). Solve 0 = 4*c - t*c + 12 for c.
-3
Suppose x = -4*r - 4, -5*x + r + 3 = 2. Let g be (-3)/2*4/3. Let o(d) = d**2 - d - 1. Let j be o(g). Solve -h + j*h = x for h.
0
Let q be -1*(-36)/(-3) + 3. Let m = 9 + q. Solve m*s = s - 2 for s.
2
Suppose -7 + 22 = 5*i. Solve 0*n + i*n = -3 for n.
-1
Let a(h) = h**2 + 3*h + 2. Let g be a(-2). Solve y + 3 = -g*y for y.
-3
Suppose 0 = -4*s + s + 6. Solve -s*m + 12 = m for m.
4
Let a be 1*0/(-3 + 7). Solve -3*n - 2*n - 10 = a for n.
-2
Let k(r) = -r**3 - 5*r**2 - 5*r. Let z be k(-4). Let l be 20/5 + (-1 - 0). Solve -h = -l*h + z for h.
2
Suppose -3*z - 3*m = -4*z + 10, -5*m + 58 = 3*z. Suppose 0 = -2*q + 6*q - z. Solve -u = -2*u + q for u.
4
Let y be (-3)/3*(-4)/(-2). Let m be 9/(-12)*y*4. Solve -b = -m*b - 25 for b.
-5
Let l(g) be the first derivative of -g**3/3 + 5*g**2/2 + g + 3. Let z be l(4). Suppose -z*q + 0 + 5 = 0. Solve -q = 2*a + 1 for a.
-1
Suppose 4*b - 5*j - 20 = 0, 0*b + j = -3*b + 15. Let u(d) = -d**2 - 13*d - 3. Suppose l + 6 + 6 = 0. Let r be u(l). Solve -b*c - r = 6 for c.
-3
Let w = -8 - -8. Let l = w - -2. Solve r + 6 = -l*r for r.
-2
Suppose 4*g = -h + 35, -g + 25 = 4*g - 5*h. Suppose 5*r = 5*l - 52 - 38, r = -2*l + 21. Let i = l - g. Solve 0 = i*x + 16 + 9 for x.
-5
Let s be (-7 + 19)*4/6. Let p be 81/36 - 2/s. Solve x = p*x - 3 for x.
3
Let z = 1 - -3. Suppose -2 - 6 = -v. Let s(c) = 2*c - 12. Let g be s(v). Solve 5*d - z*d = g for d.
4
Let n = -8 - -13. Let c be -2 + 4 + (-3 - -2). Suppose 2*w = c + n. Solve 4*s - 1 = w for s.
1
Let f(y) = 5*y - 15. Let k be f(6). Solve 6*g + k = 11*g for g.
3
Suppose -c + 2*c = 6. Let v(o) = 3*o + 1. Let a be v(1). Solve a*m - c - 6 = 0 for m.
3
Suppose -5*s - 4*d = -2, 0 = 2*s + 4*d - 2*d. Solve s*i = -2*i - 12 for i.
-3
Suppose 0 = -i - i + h + 11, 0 = 3*i + h - 9. Suppose -i*y - 4 = -4*m, -2 = -0*y + 3*y - 4*m. Let f be y/(-9) - 212/(-18). Solve 0 = -4*a - 0*a + f for a.
3
Let q = -4 - -4. Solve q = -3*g - 19 + 7 for g.
-4
Let a(r) = r**3 - r**2 - r + 4. Let b be a(0). Solve 5*y - 11 = b for y.
3
Let w = -17 - -26. Let m = 10 - 16. Let q be 21/w - (-2)/m. Solve q*i - 1 = i for i.
1
Let c(z) = -z**3 + 5*z**2 + 2*z - 3. Let x be c(5). Suppose x*i - 2*i = 0. Let u = 35 - 30. Solve 0*w + u*w + 5 = i for w.
-1
Suppose 59 - 19 = 4*i. Let m be i/(-25) - (-111)/15. Solve -m = 5*t - 22 for t.
3
Let m(k) = k**3 - 4*k**2 - 4*k. Let c be m(5). Solve -c = -2*o + 1 for o.
3
Let a = -8 + 13. Suppose 3*w = 5*d + 3, 0*d - 4*w + 4 = a*d. Solve 3*l - l + 2 = d for l.
-1
Suppose 3*l + 21 = -2*s, 1 - 2 = -l + 2*s. Let y = 9 + l. Solve -8 = -0*w - y*w for w.
2
Let g(z) = z**2 - z. Let u be g(3). Solve -l = 2*l + u for l.
-2
Let g(l) = l + 17. Suppose 52 = 2*u - 6*u. Let v be g(u). Solve v*n - 17 - 3 = 0 for n.
5
Suppose -8*p + 0*p + 16 = 0. Solve 0 = -p*v - v for v.
0
Let v be (-1)/(-2) - (-4)/(-8). Suppose v = 4*d - 7*d + 6. Solve 2*l + d*l = -8 for l.
-2
Let o(p) = -p**2 - 7*p - 2. Let w be o(-6). Solve d + w*d + 5 = 0 for d.
-1
Let v(w) = -w**2 + 5*w + 3. Let y be v(5). Solve -o + 4 = -y*o for o.
-2
Suppose 2 = 3*x - 4*i, 2*i = -5*x + 10 + 2. Solve w = -w - x for w.
-1
Let i be 329/28 + 2/(16/2). Let q be 7 - (0 - (1 + -2)). Suppose -3*v = 4*f + q - 20, i = 3*f + 3*v. Solve -2*g - f*g = 4 for g.
-1
Let u = 39 - 31. Solve 0 = -z + 5*z - u for z.
2
Let l be 4/6*(-21 - -3). Let o be 1/6 + 2/l. Solve o = -r - 3 + 6 for r.
3
Suppose -4*o - 3*l + 9 = -2*o, 2*l = o - 1. Solve -4 = o*p + 2 for p.
-2
Let f be 1 - ((2 - 1) + -3). Suppose -c = f*c. Solve c = -4*a + 2*a + 6 for a.
3
Suppose -5*y = 5 - 15. Suppose -h - d + 5 = 0, 5*h + d - 5 = -0*d. Let r = h - 0. Solve -y*z - 2 = -r for z.
-1
Let c be -2*(0 - 4/8). Let v be 0*(-3)/(c - -2). Solve 2*t + 0 + 2 = v for t.
-1
Let d(s) = 2*s + 17. Let r be d(-6). Suppose 7 - r = c. Solve -x = -3*x + c for x.
1
Suppose 3 = 4*n - 5. Suppose 0 = 4*m - 3*y - 35, -5*m + 0*y = n*y - 38. Suppose 0 = -5*i - m + 23. Solve -2*f - i = f for f.
-1
Suppose -5*w + 3*w = 6, 4*l - 8 = -4*w. Suppose -l*x = -x - 20. Let m be 1*(-10)/((-4)/2). Solve x*v + 5 = -m for v.
-2
Suppose -70 = -5*p + 35. Solve 4*n + p = 1 for n.
-5
Let h = -6 + 2. Let j = -2 - h. Suppose 0 = 3*c + w - 3, -3*c = c - j*w + 6. Solve u = -c*u + 1 for u.
1
Let c be (4 - 5)/(1/13). Let u = c + 18. Suppose 16 = u*v + 6. Solve v*y + 4 + 2 = 0 for y.
-3
Let g be ((-9)/9)/(2/(-8)). Solve d - g = -3 for d.
1
Suppose 7*v - 5*v - 48 = 0. Solve v - 9 = -5*l for l.
-3
Let q be (-12)/9*(-3)/2. Suppose -2*j - 5*f + 16 = 0, 4*f - 11 = 3*j - 4*j. Solve j*w - 10 - q = 0 for w.
4
Let r(n) = 4*n**2 + 42*n - 16. Let s be r(-11). Solve 3*y - 15 = s*y for y.
-5
Let o = -3 - -3. Let t be o/((-2)/(-4)*2). Solve 5*u = -t*u - 10 for u.
-2
Suppose 0 = 58*y - 56*y. Let j be (-1 + (-1 - -2))/(-2). Solve -2*m + y*m = j for m.
0
Let u(g) be the first derivative of g**2/2 + 4*g + 2. Let r = 5 - 5. Let c be u(r). Solve 0*y + 20 = c*y for y.
5
Suppose -83 = -6*l - 59. Solve -l*d = d - 5 for d.
1
Let f be (-3)/6 - (-36)/(-8). Let p = 8 + f. Solve 8*m = p*m for m.
0
Let p be ((-3)/2)/((-1)/4). Suppose -5*b = -2*h - 0*h - 10, 4*h = 4*b - 8. Suppose 3*n = -6, z - 6 = -3*z - 3*n. Solve 3*i + p + z = h for i.
-3
Let n be (-1 + 1)/(-2 + 4 - 3). Solve 0 = -n*a - a + 5 for a.
5
Let o be 10/6*120/50. Solve 8*a - o = 12*a for a.
-1
Let t be 1/(26/14 + -2). Let x = -5 - t. Suppose -x*n + u + 6 = 0, 2*u - 8 = 6*u. Solve 0 = -4*m + n*m for m.
0
Let p(a) = -2*a**2 - 9*a - 27. Let u(h) = h**2 + 5*h + 13. Let n(x) = 3*p(x) + 7*u(x). Let y be n(-7). Solve -1 = y*s + 2 for s.
-1
Let t(g) = 4*g**2 + 1. Suppose 2*s + 0*s = -5*m + 3, 0 = 5*m + s - 4. Let r be t(m). Suppose r*k - k = 0. Solve -y = -k*y for y.
0
Let w be 