 Solve 5*o = 9 + m for o.
2
Let m be 2/(-10) + (213/15 - 13). Let d = 15 + -4. Solve -m + d = -2*z for z.
-5
Let z be (-6)/(-4 + 0 + 2). Suppose 0 = 3*o + z - 12. Solve -o = s + 2 for s.
-5
Let c(f) = -f**3 + 20*f**2 - f + 26. Let l be c(20). Solve t + l = 11 for t.
5
Let k be ((-3)/((-9)/2))/((-264)/(-5148)). Solve 1 = -7*u - k for u.
-2
Let u(i) = -i**3 - 5*i + 4*i + 2*i - 4 + 6*i**2. Let w be u(6). Suppose -7*l + 3*l = w*s - 12, -3*s - 4*l = -16. Solve -y + s = -5*y for y.
-1
Let b = -48 + 16. Let f = b - -34. Solve -f*q = -7*q + 25 for q.
5
Let a(o) = -o**3 + 14*o**2 - 11*o + 19. Let f be a(13). Suppose 0 = -f*h + 47*h. Solve h = u - 3 for u.
3
Suppose 0 = -4*i - 2*n + 200, 4*i - 200 = 2*n + 2*n. Let x = i + -43. Solve -x*q + 3*q + 12 = 0 for q.
3
Suppose -j - 4 = 0, 21*j = -4*c + 22*j + 8. Solve -c = -4*o - 5 for o.
-1
Let c(t) = t**2 - 7*t - 7. Let d be c(6). Let f(u) = 2*u + 8. Let h be f(d). Let v be h/108 + 26/12. Solve -4*l + v = 10 for l.
-2
Suppose 9*h - 3*h - 18 = 0. Suppose 0 = -0*n + 2*n - 14. Let i be 2/n + 246/21. Solve h*a = -0*a - i for a.
-4
Suppose -3*i + 40 = 2*i. Let u be i/(-6)*(-6)/4. Solve -2 = u*o + 6 for o.
-4
Let y(o) = -2*o + 7. Suppose 50*h - 4 = 51*h. Let c be y(h). Solve -c = -3*m - 0 for m.
5
Let b(f) = 5*f - 5. Let c be b(7). Let y = c + -28. Solve y*v = -2*v - 8 for v.
-2
Let g be (-2)/4 + (-1)/((-6)/27). Suppose 29 = 2*c + 3*q, -c - c - 4*q + 34 = 0. Solve -v + c - g = 0 for v.
3
Suppose -3*c + 4*g = -21, -646*c + 2*g = -651*c + 9. Suppose -2*s - 1 + 5 = 0. Solve -8 + s = c*n for n.
-2
Let t be (1 - 3 - -10) + 6/(-2). Solve -t + 7 = f for f.
2
Let c(f) = -f**2 + 8*f + 24. Let w be c(10). Solve r - 5 = -w for r.
1
Let w(g) = 7*g**2 - 29*g + 16. Let y be w(4). Solve y*z = 11*z for z.
0
Let r(n) be the second derivative of n**5/20 - n**4/3 + n**3/2 + n**2/2 - 27*n. Let l be r(3). Solve -5 = 4*p - l for p.
-1
Let u be (-2)/(44/(-12) - -3). Suppose h - 4 = u*h. Let p = h + 3. Solve f + 2 = p for f.
-1
Let r be 1 + -2 + 5 + -5. Let t = -3 - r. Let w be (-2)/t + (4 - 5). Solve p + w = -5 for p.
-5
Let j(q) = -q**3 - 14*q**2 - 18*q - 20. Let i be j(-13). Let d = -40 + i. Solve -3 = -2*g + d for g.
4
Let k = 986 + -970. Solve 0 = 9*a - k*a - 21 for a.
-3
Let h = -7 + 7. Let m(p) = -p**2 - 2*p + 3. Let d be m(h). Suppose -y = d*y. Solve -4*x = -y*x - 8 for x.
2
Let o = 798 + -793. Solve 5*q - o - 5 = 0 for q.
2
Let c(g) = 2*g**3 - 6*g**2 + 3. Let f be c(4). Suppose f = h + 4*h. Suppose -2*b = -h*b. Solve b = 3*q - 5*q + 8 for q.
4
Suppose 32 = 2*u - o, 3*u = o - 0*o + 47. Solve u*c - 3*c = 12 for c.
1
Let l be 3/(-6)*2 + 5. Let r be (l/(-12))/(((-4)/(-6))/(-2)). Solve -t + 5 = r for t.
4
Let w = -48 + 68. Suppose 10*f - 230 = -w. Solve -f + 1 = 4*o for o.
-5
Let z be 16/10*(-15)/6. Let j be (-9)/6 + (-18)/z. Suppose w + j = 6. Solve 8*l - w*l = 15 for l.
3
Let h = 6 - 1. Let x be (-51)/(-6)*(-3 - 1). Let a = x - -35. Solve -a = -4*j - h for j.
-1
Let w be (-130)/(-25)*1*-5. Let f be w/(-2*(2 - 1)). Suppose 0 = q + 4*h - 5*h - f, -43 = -4*q - 5*h. Solve q = -k - 2*k for k.
-4
Suppose 5*t = -3*j + 39, -t - 5*j + 4*j + 9 = 0. Solve 2*o + 10 - t = 0 for o.
-2
Let m(c) = c + 3. Let k(z) = -1 + 9*z - 6*z + 7 - z. Let g(y) = -3*k(y) + 5*m(y). Let v be g(-8). Solve 1 = -r + v for r.
4
Let u = 12 + -7. Suppose -1 = u*f + 29. Let a = 6 + f. Solve 0 = -a*q - 2*q for q.
0
Let a = -779 - -792. Solve -a*j = -10*j for j.
0
Suppose -2 = -2*d + 5*q, -5*d - 2*q + q = -5. Suppose -53 = -9*r + d. Solve 8 = s + r for s.
2
Let z = -546 + 548. Solve -y - z = -0*y for y.
-2
Suppose -16 = -2*y + 2. Suppose 2*m - 5*m = -y. Suppose -m = 5*p - 33. Solve p = -5*q - 4 for q.
-2
Let x(q) = q**2 + 48*q - 149. Let m be x(-51). Solve 6*k - 10 = -m*k for k.
1
Let v = -33 - -35. Suppose -6 = -2*q - v. Solve 0 = -q*b - 2*b - 4 for b.
-1
Suppose 0 = -62*b + 42 + 2004. Solve 3*h + b = -8*h for h.
-3
Let v(r) = -21*r - 1. Let s be v(-2). Solve 0 = 2*u - s + 31 for u.
5
Let y(g) = 5*g + 8. Let s be y(2). Let j(n) = 5*n**2 - 2*n - 2. Let h be j(2). Let x = s - h. Solve 8*t = x*t for t.
0
Let a be 2*(-3335)/50 - 9/15. Let y = a - -142. Solve y*c = 3*c - 5 for c.
-1
Suppose -41*t - 56 = -43*t. Solve 10*i = 3*i - t for i.
-4
Suppose -2*a + 20 = a + 5*y, -y = a - 6. Solve 0 = a*p - 8 - 7 for p.
3
Suppose -15 = -3*d - 2*d. Let v = d - 2. Let s be (-2 + 3)/v + 5. Solve s*o = o for o.
0
Suppose 0 = f + f - 4. Solve f*h = 4*h + 6 for h.
-3
Let w be 36/6 + 2/4*-4. Solve 0 = f - 3*f - w for f.
-2
Let c = 1112 + -1096. Solve 0 = 3*r - c*r for r.
0
Suppose 23*q = 67*q - 968. Solve -25 = -3*x - q for x.
1
Let o(v) = -v + 4. Let c be o(0). Let x(y) = y**3 - 4*y**2 + 3. Let h be x(c). Let z be 1/(-1)*(-9 + h). Solve 0 = 2*f + f - z for f.
2
Let z be 0/((-3)/(-2)*4 + -7). Suppose 0 = 2*r + 1 - 5. Solve -n = -z*n + r for n.
-2
Let f be ((-50)/3)/((-3)/9). Let z = -14 + f. Suppose 5*j + z = 136. Solve q + 3*q = -j for q.
-5
Suppose 2*w - 85 = -m + 7, -3*w - m + 139 = 0. Let k = w + -32. Solve -2*h - k = -5*h for h.
5
Let x be 69/12 + (-3)/4. Suppose -x*z + 18 = 3. Solve o - 2*o + z = 0 for o.
3
Let q = -141 - -156. Solve -q + 10 = -k for k.
5
Let l be (-240)/(-39) + (-46)/299. Solve 0 = -l*j + 98 - 116 for j.
-3
Suppose n - 24 = -2*c - 3*n, 4 = 4*c - 3*n. Let t be c*(-1)/((-1)/2). Suppose 3*o - t = -o. Solve -o*k + 0*k = 8 for k.
-4
Let l be 16/(-24) - 40/(-6). Let z(q) = 1 - 4 + 5 - l*q**3 - 3. Let g be z(-1). Solve 8 + 7 = g*p for p.
3
Let q = -76 + 76. Solve 16 = -4*j - q*j for j.
-4
Let b(c) = -c**3 + 12*c**2 + 12*c + 29. Let r be b(13). Suppose 2*m - r = -2*m. Solve -8 + 0 = -m*p for p.
2
Let f(z) be the first derivative of -z**2 + 12*z + 27. Let b be f(5). Solve -b*k = -k for k.
0
Let m(l) = -l + 2. Suppose 0*g = -2*g - 8. Let a = g + -4. Let c be m(a). Solve p - c = -p for p.
5
Let d(b) = b**3 - 3*b**2 - b - 8. Let g be d(4). Suppose -y + g = 5*a, 1 = -6*a + 2*a - 5*y. Solve -a = -p - 0*p for p.
1
Let j(o) = o**2 + 7*o + 6. Let i be j(-1). Solve i = -s + 9*s - s for s.
0
Suppose -10*k + 825 = -5*k. Let s = k - 160. Solve -7 = s*q - 27 for q.
4
Suppose 5*c = c + 20. Suppose -3*b + 24 = 2*b - 4*i, 0 = -5*i - c. Let r be (-30)/9*(-1 + -2). Solve d = -b*d + r for d.
2
Let y be 4/(-34) + (-3289)/221. Let c = y + 16. Solve 4 = 5*r - c for r.
1
Let u(l) = -l**2 + 9*l + 90. Let j be u(15). Let z = 6 - 4. Suppose z*i - 10 = -2. Solve j = i*b - 3*b - 2 for b.
2
Let l(p) = 2*p + 7. Let k(s) = 3*s + 7. Let o(x) = 4*k(x) - 5*l(x). Let t be o(5). Suppose 3*g - 80 = -2*g + t*v, -3*v = 2*g - 32. Solve 6*n = 2*n + g for n.
4
Suppose -14 = -3*j + 4*l - 1, 0 = -5*l - 5. Solve i = -4 + j for i.
-1
Let l(k) = k**2 + 2*k. Suppose -s = -5, -2*d + 4*d + 2*s - 6 = 0. Let c be l(d). Suppose 2*m = -7*m + 27. Solve c = -3*y + 18 - m for y.
5
Let i = -27 - -3. Let c = 27 + i. Suppose 5*k + 1 = 2*m, c*k + 3 = 2*m - 0. Solve -m = 5*y - 13 for y.
2
Let n = -1 - -1. Let w = 64 - 58. Let j be (-10)/6*14/105*-9. Solve -w*r + j*r = n for r.
0
Let d = -4 - -6. Let r(u) = 11*u**3 - 3*u**2 + 5*u - 1. Let y be r(1). Solve y = d*x + x for x.
4
Let a(l) = -l**2 - 57*l - 531. Let r be a(-12). Solve 0*g = -r*g - 45 for g.
-5
Let v(q) be the third derivative of -q**6/120 - q**4/24 - 19*q**2. Let y be v(-1). Solve 0*d - 2 = y*d for d.
-1
Suppose 0 = 3*s + 12, -2*z + 32 = -2*s + 8. Solve -2*h + z = -0 for h.
4
Let j(m) = -m**3 - 18*m**2 - 17*m + 5. Let t be j(-17). Let p be (32/24)/(4/(-6)). Let x be 30/9*(-3)/p. Solve t*h = -0*h - x for h.
-1
Let l be (-2)/(1 + 3) - 136/(-16). Let b(m) = m**2 - 8*m + 4. Let s be b(l). Solve s*c + 15 = 3 for c.
-3
Let z(u) = -20*u - 99. Let w be z(-5). Solve 0 = -f - 6 + w for f.
-5
Let i(r) = -r**2 - 8*r - 12. Let m(u) = -u**2 - 20*u - 25. Let g be m(-19). Let v be i(g). Solve 4*k + 6 + 10 = v for k.
-4
Suppose -3*o = 3*p + 60, 2*o = -2*p + p - 23. Let y(a) = -a**3 - 18*a**2 - 19*a - 34. Let q be y(p). Solve q = -l - 1 + 2 for l.
1
Suppose 29 = v + z, -33*v = -35*v + 3*z + 33. Solve -v*m - 15 = -21*m for m.
-5
Let s = 202 - 184. Solve s = -4*f + 2 for f.
-4
Suppose 0 = 14*m - 52 + 10. Solve -11*l + m*l = 24 for l.
-3
Suppose -8*v + 4*v = 2*q + 6, 2*q - 5*v - 30 = 0. Suppose -5*a + 35 = q*s - 0, 3*a - 3 = 3*s. Solve -a*h + 6 = -7*h for h.
-2
Let h be 1 + (0 - -1) - 0. Suppose 