Solve o = u*o - 4 for o.
4
Suppose -r - r = -6. Let q be (-53)/(-17) + (-18)/153. Solve -q*d + 2*d - r = 0 for d.
-3
Suppose z = -5*k + 2*z + 4, -2*z = 4*k - 6. Suppose 1 = s - k. Suppose s*n = -2*c + 2, -3*c + 3*n = n - 23. Solve y = c - 1 for y.
4
Let k be (-2)/(-1)*3/2. Let n(t) be the first derivative of t**2/2 - 2*t - 1. Let d be n(k). Solve 0 = 2*h + 1 + d for h.
-1
Let b(p) = 2*p**2 - p. Let s be b(-2). Suppose 0 = -5*v - j + 10, -4*j + 4 = 2*v - j. Solve 0 = -4*w - s + v for w.
-2
Let n(u) = u**2 + u + 1. Let p be n(-2). Let i be (8 - p)*(-8)/10. Let q = i - -7. Solve q*f - 2 = f for f.
1
Let v(f) be the third derivative of -f**5/60 - 5*f**4/24 + f**3 - 2*f**2. Let q be v(-5). Let r be 2 - 1 - q/(-3). Solve -1 = r*j + 8 for j.
-3
Let c(i) = -16*i - 11 + 14*i + 3. Let t be c(-10). Solve 0 = -5*r + t - 2 for r.
2
Let q be (-164)/(-24) + 2/12. Suppose 0 = 3*y + q - 16. Solve -2*i = -y*i - 2 for i.
-2
Suppose 5*g + 2 = -p + 17, 0 = -2*p - 10. Suppose -g*u + 2*k - 4*k = -8, -2*u = -4*k - 4. Solve -3 = u*m - 11 for m.
4
Suppose 24 = 26*x - 18*x. Solve -x*o = -o for o.
0
Let o be (-1)/(-1) - -1 - -82. Let k = o - 58. Suppose -2*f = 10 - k. Solve 4*r - f = 12 for r.
5
Suppose -1 = -4*y + 3, 5 = 2*z - 3*y. Let m = 65 - 44. Suppose 3*w + m = 2*w + 5*d, -2*w = 4*d - 28. Solve -z*t + w = -0 for t.
1
Let s be (16 - 1)*(0 - -1). Suppose 3*r - s = -0*r. Solve -n + 2*n = -r for n.
-5
Suppose -2*g + 3*g - 3 = 0. Suppose -4*d + 6 = -5*h, 0*d + 2 = 3*h - d. Suppose -h = -4*s + g*s. Solve -6 + s = -2*r for r.
2
Let w = 41 - 33. Solve -5*f - w = -f for f.
-2
Let d(r) = 2*r - 17. Let u be d(19). Solve 4 = -5*w - u for w.
-5
Let w(j) = 2*j**3 - j**2 + 1. Let x be w(1). Suppose 0*o + 3*r = 3*o - 18, 0 = 2*o + x*r - 8. Solve -3*p - o = 2*p for p.
-1
Let q = -8 - -14. Let n = q + -5. Solve -4*w + n = -11 for w.
3
Let g(h) be the second derivative of h**5/20 + h**4/3 + 2*h**2 - 2*h. Let o be g(-4). Let z = 21 - 17. Solve -z*m + 0*m = -o for m.
1
Let g(t) = -5*t + 40. Let z be g(8). Solve z*b = -b for b.
0
Let a be 6/4*(10 + -8). Suppose -2 = -5*h + a. Solve i - h = -0 for i.
1
Suppose 0 = -5*p - 5, 5*p - 3*p = 3*n + 16. Suppose b = -4*w - 25, 4*b + 34 = -8*w + 3*w. Let d = n - w. Solve 4*s - 30 + 10 = d for s.
5
Let p be 3/((0 + 1)/(6 + -5)). Solve 5*r - p = 7 for r.
2
Suppose 4*h - 26 = -0*h + 2*a, -5*h - 4*a = -13. Suppose -6*q - 60 = -2*q. Let x be q/(-6)*6/h. Solve -3*z = x + 3 for z.
-2
Let t be -1 + (5 - -2) - 0. Suppose -2*c = -t + 2. Solve v - 15 = -c*v for v.
5
Let i be (-9)/(-36) + (-30)/(-8). Solve -5*g - 4 = -i*g for g.
-4
Let f(u) = -4*u**2 + 80*u + 8. Let l be f(20). Let m be -2*(0 + (-6)/(-4)). Let p be (-11)/m - 1/(-3). Solve -p*h + l = 28 for h.
-5
Let q be (-876)/(-60) + 2/5. Let g be (-6)/3 - 2/2. Let t = g - -6. Solve q = -0*o - t*o for o.
-5
Suppose 7*r + 43 = 2*r + m, 0 = 5*r - 3*m + 39. Let z be 0/r + 6 + -1. Solve z*k - 7 = -27 for k.
-4
Suppose -3*h + 3 = -3. Suppose -4*w = -p - 45, -4*w + 2*p + 45 + 5 = 0. Suppose -4*r = -2*r - 8. Solve r*l = -w - h for l.
-3
Suppose -16 = -4*y - 0. Suppose y*t + 168 = 2*t. Let s be (3/(-2))/(9/t). Solve s - 5 = 3*g for g.
3
Let y(b) = -b**2 + 6*b. Let q be y(6). Suppose 0*d + 3*d + 20 = -5*r, -4*r - 16 = q. Suppose s + 0*s = 2. Solve -s = -t - d for t.
2
Let b = 1 + -1. Let r be 1 - (0 - b - 0). Let j = r + 7. Solve 0 = 2*z + j for z.
-4
Suppose -3*u - 7 = -5*y - 4*u, -4*u - 12 = 0. Solve 0 = 2*i - 4*i - y for i.
-1
Let c be 474/48 - (-2)/16. Solve k + c = -k for k.
-5
Let f(a) = -2*a**2 + 6*a + 3. Let p be f(3). Solve -p*g = -4*g - 1 for g.
-1
Let p = -19 + 25. Suppose 0 = -2*m - 0*m. Solve m - p = -3*w for w.
2
Let j be 6/(-4)*16/(-6). Suppose 2*r - j*r + 5*g = 16, -2*r + g = 0. Solve -r*h = -0*h - 4 for h.
2
Let f(a) = -3*a + 5*a - a + 2. Let c be f(0). Solve 2*l - 4*l = c for l.
-1
Let m be -2 + 4 - 1/(-1). Let r be (16/(-12))/((-1)/m). Solve 4 = -r*c + 16 for c.
3
Suppose 2*u - 4*u = -4*u. Solve 4*h - 19 + 7 = u for h.
3
Suppose -5*p = -t + 8, 0*t - p = 3*t + 24. Let n = t - -9. Solve 6 = -4*r - n for r.
-2
Let c(m) = 2*m**3 + m**2 - 4*m + 3. Let f be c(2). Solve -y = -6*y - f for y.
-3
Let o be (12/10)/((-12)/(-30)). Solve -o*f = f for f.
0
Let y be (0 - 0)/(7 + -6). Solve 0 = -y*s - 2*s for s.
0
Suppose -3*s + 7*t + 16 = 3*t, 4*s = -2*t + 14. Suppose 4*h - s = 12. Solve 5*z = h*z - 5 for z.
-5
Let q(w) = -w**3 - 6*w**2 - w - 6. Let a be q(-6). Let l be ((-20)/12)/((-2)/6). Suppose -l = -a*m - 5*m. Solve -z - m = -4 for z.
3
Suppose -7*h - 20 = -11*h. Suppose 0 = n - h*n. Solve 0 = -n*m - m - 4 for m.
-4
Let h(c) = -c**2 - 2*c. Let i(u) = -u**2 - 5*u - 6. Let x be i(-4). Let v be h(x). Solve 3*o + 3 - 15 = v for o.
4
Let b(g) = 2*g + 22. Let v be b(-10). Solve 2 = 4*d - v for d.
1
Suppose -3*w - 14 = 5*n, -2 = 4*n + 2. Let t be ((-1)/w)/((-2)/(-30)). Let y(i) = -i - 18. Let j be y(-18). Solve -t = -j*r - r for r.
5
Let f = 14 + -10. Let d be f/((-1)/(-2)*4). Suppose 2*r = -d*a + 1 + 1, 0 = 3*r + 5*a + 5. Solve -2*x + r = 1 for x.
2
Let q be (4/(-12) + 3)/((-2)/(-6)). Suppose -5*u = -4*u. Suppose u*i + q = l - 2*i, l + 2 = -3*i. Solve 5 = -l*a + 1 for a.
-1
Let z = -28 + 30. Suppose 6*a = -z*a. Let b be 1 + 0 - -1*1. Solve a = b*l - 6 - 2 for l.
4
Let y be (-10)/(-6) + (-3)/(-9). Let i(s) = 0*s**2 - s**2 + 2*s**2. Let h be i(2). Solve -h*u + 10 = y for u.
2
Suppose -4*n + f + 14 = -2*n, n - 3*f = 17. Suppose 4*d - 19 = -o, -n*d + 4*d - 2*o = -3. Solve -4 - 1 = d*l for l.
-1
Let f be 3/(-3 - -6) - -5. Let w(d) = 2*d - 6*d - d**3 + 7*d**2 - 2*d + 4. Let u be w(f). Solve 0*n + n = u for n.
4
Let l(p) = p - 3. Let d be l(-7). Let u = -4 - d. Solve z - u = 4*z for z.
-2
Suppose -3*q + q + 4 = 0. Suppose -q*b - 15 = b. Let c = b + 7. Solve 0 = c*t - 3*t for t.
0
Let g be 2 + 0 + -5 + 5. Let m be g/(-3) + (-17)/(-3). Solve -2 = -3*d - m for d.
-1
Let z be (-5)/(-10) + (-165)/6. Let d = 30 + z. Solve j + d*j = 16 for j.
4
Suppose -2*a = -5*i + 25, 3*i = i + a + 11. Suppose -i*s + 9 = -3. Solve 0 = -s*g + 8 + 4 for g.
3
Suppose 0 = -3*l + 45 + 12. Let p = l - 9. Solve -p = 4*v + v for v.
-2
Suppose 4*z = -0*z - a + 9, -15 = -5*z - 5*a. Let b be 4/(-7)*(-7)/z. Solve b - 5 = 3*c for c.
-1
Suppose 3*m = -5*f + 8*m + 55, 0 = 5*f + m - 25. Suppose 0*v - 3*v - 10 = j, -3*j = 3*v + f. Let a = 10 + -7. Solve -j*l - a = l for l.
-1
Suppose 10 = a - 0*a. Suppose 0*k + 5*k = a. Solve k = t - 2 for t.
4
Let i(f) = f - 6. Let k be i(8). Suppose -k*q + 3 = -1. Let o = 2 + q. Solve -3*j + j - o = 0 for j.
-2
Let i = 9 - -6. Solve 0 = h - 4*h + i for h.
5
Suppose 0 = -0*y + 2*y + 14. Let m = 7 + y. Solve 3*j - 2*j - 3 = m for j.
3
Let d(x) = 13*x - 1. Let w be d(1). Solve -3*p = 3 + w for p.
-5
Suppose -5*r + 17 = 2*v - 0*r, 4*v - 22 = 2*r. Let s(d) = d**2 - 3*d - 7. Let a be s(v). Suppose a + 4 = b. Solve 4*j = 9*j - b for j.
3
Suppose 0*q - 2*z = 2*q + 26, -4*q = 5*z + 51. Let u = q + 19. Solve 3*p = u + 1 for p.
2
Suppose 4*q = q + 30. Let d be (1 + q/(-4))*-4. Let b be -2 - (-1)/((-3)/(-18)). Solve 0 = d*w - b*w - 10 for w.
5
Let i be 3 + (-1 - 3/(-1)). Let q(l) = -l**2 - 6*l - 4. Let f be q(-4). Suppose -2 + 5 = r. Solve -r*n + f = -i for n.
3
Suppose -4*s - 5 + 33 = 0. Suppose 0 = 4*q + 2*z - 18, 0 = q + 3*z - s - 5. Solve 0 = q*f + 2 + 4 for f.
-2
Let f(l) = 1. Let z(j) = -2*j - 3. Let n(x) = -2*f(x) - z(x). Let s be n(1). Let a(c) = c - 2. Let o be a(3). Solve -o = s*v + 8 for v.
-3
Suppose s = -s. Suppose s*x + 3*x - 6 = 0. Solve -x*i + 1 = -3 for i.
2
Suppose -2*s + 22 = 2*t, 0 = 3*t + t. Let i = -8 + s. Solve -4*n = -i*n + 2 for n.
-2
Suppose 2*i = o - 13, -3*o + i = -0*i - 19. Let u = 10 - o. Solve u*y - 3*y = 8 for y.
4
Let b = -5 - -5. Suppose b = -2*j + j. Solve j*x = -x for x.
0
Let o be (-2)/((-2)/4 + 0). Suppose -o + 10 = 3*k. Suppose -9 = -5*d + k*d. Solve d*p + p = 0 for p.
0
Suppose 1 = -2*g - 5*h + 5, 2 = g + 2*h. Solve b + g*b = 12 for b.
4
Suppose 5*z - 25 = -0*j - 3*j, 2*z + 11 = 3*j. Let f = z + 4. Solve 2*l + f = -0 for l.
-3
Suppose 13*s - 9 = 10*s. Solve -4*n = s + 1 for n.
-1
Suppose w = -4*h + 7, 0 = -2*h + 5*w - 2*w + 7. Suppose -2*f - h*d = -3*f, -4*f + 18 = -2*d. Suppose -2 = -3*i + 7. Solve f*o - i*o = 0 for o.
0
Let u(t) be the third derivative of -5*t**4/12 - t**3/3 + 2*t**2. Let 