9/3. Solve 0 = -m - 0*m + p for m.
3
Suppose 0 = -u - 5*r - 9, 0 = -4*u + 5*r - 4 + 43. Solve 2*q - u = -q for q.
2
Suppose 0 = 20*h - 21*h - 7. Let s = h - -7. Solve s*u = -3*u + 9 for u.
3
Let b be 1/(-1) - (-3 + 8 - 10). Let y(m) = m**2 + 4*m - 29. Let n be y(b). Solve n*i + 2*i + 15 = 0 for i.
-3
Let m be (-5)/(-1) + -2 - -1. Suppose m = 2*x - 0. Suppose x*f - 9 = 15. Solve 4*n - n - f = 0 for n.
4
Suppose -2*g + 107 = 99. Suppose g*y = -18 + 26. Solve 0 = r + y*r for r.
0
Let l be (252/(-72))/((-1)/2). Solve l*h = h - 12 for h.
-2
Suppose -9*x + 6*x + 93 = 0. Suppose 36*b = x*b. Solve b = -4*w + 5*w - 5 for w.
5
Let n be (0 - 8/2)/(2/(-2)). Solve -2*u + 4*u = -n for u.
-2
Let i = -9 + 11. Suppose 5*l + i*a = -35, 5*a - 11 = 4*l + 50. Let w be (2 - (-24)/l)*-3. Solve 0 = 3*n + 7 + w for n.
-3
Let g(m) be the second derivative of m**5/20 - m**4/12 - m**2 + 15*m. Let z be g(2). Solve -5*s - z = -27 for s.
5
Let d(i) = -i**2 + 27*i - 26. Let q be d(26). Solve -4*x + 17 - 9 = q for x.
2
Let p be (-5)/((-20)/(-16))*108/(-16). Solve -2*u + p = 7*u for u.
3
Let o = -1208 - -1223. Solve 2*m = -m - o for m.
-5
Suppose 16*s = 17*s - 8. Let a(v) = -v**3 + 8*v**2 + 2*v - 14. Let h be a(s). Solve -h*i + i = 5 for i.
-5
Suppose 4*t = 19 + 1. Let d be 14/21 + 4/(-6). Solve d = 3*f - t - 4 for f.
3
Let k = -17 + 19. Suppose 2*g + 2*g = 3*d - 166, k*d - 106 = -2*g. Suppose o - d = -5*o. Solve 4*n - o = 3 for n.
3
Let k = -142 - -144. Solve 3 - 5 = k*a for a.
-1
Let g(n) = n**3 + 10*n**2 + 8*n - 8. Let i(y) = 2*y**2 + y - 3. Let k be i(-2). Suppose k*w + 8 = -19. Let q be g(w). Solve 3*b - q - 5 = 0 for b.
2
Suppose -12*c + 19 = -125. Solve c = 2*s + 8 for s.
2
Let z be (((-12)/1)/(-4))/(-1). Let r be 3 - (z - 1)/(-2). Let c be 18/2*r/3. Solve 1 = c*b + 4 for b.
-1
Let a = -62 + 72. Solve -7*v + a*v = 6 for v.
2
Let u be -8 + 39/3 - 0/1. Solve -5*h - 20 - u = 0 for h.
-5
Suppose 7*b = 2*b - 4*q + 40, 3*q = -5*b + 40. Solve b*c - 9 - 15 = 0 for c.
3
Suppose z - 10 + 14 = 0. Let a be 2/(z/(-25)) + 1/(-2). Solve -2*c - a = c for c.
-4
Suppose -3*v = -2*f + 3, 0 = 4*f + 2*v - 5*v + 3. Let s = f - -12. Let u = s + -7. Solve -u*m + 15 = m for m.
5
Let b(p) be the second derivative of -p**4/12 + p**3 - 2*p**2 - 9*p. Let a be b(4). Solve 0 = 3*s + a + 5 for s.
-3
Let l(s) = -s**2 + 1. Let a(c) = -7*c**2 - 5*c + 3. Let n(p) = a(p) - 6*l(p). Let j be n(-3). Let g be (-2)/2 + (-6)/(-2). Solve -g - 1 = j*t for t.
-1
Let x(p) = -21*p - 291. Let l be x(-14). Solve l = -w + 1 for w.
-2
Let r(j) = -3*j + 1. Let k be r(1). Let n be 5 - (4 - (-6)/k). Solve -n = -5*t + 4*t for t.
4
Let v(q) = q**3 + 3*q**2 - 3*q + 7. Let r be v(-4). Solve -r*m = -0*m + 12 for m.
-4
Suppose 4*m + 81 = 3*s + 8*m, m = -4*s + 108. Solve -s*r = -26*r for r.
0
Let t be (-4 + 39/9)*6. Solve -2*w - t + 4 = 0 for w.
1
Let b = 1544 + -1542. Solve 11*p - b*p + 5*p = 0 for p.
0
Suppose -3*v = 3*f - 30, 0*f = 2*v + 4*f - 30. Suppose -3*m + 4*z = -31, -3*m - v*z - 4 - 1 = 0. Solve 1 + m = 3*y for y.
2
Suppose 45*i - 168 = 507. Let y be -3*2/3 - -7. Suppose 2*n = y*n - 12. Solve i = -n*k + k for k.
-5
Suppose -2 = -c - 0. Suppose -s = q - 2*s - 6, s = 5*q - 34. Suppose q*m = 11*m - 16. Solve -m*o = c + 6 for o.
-2
Suppose -3*c + 31 = 2*u, 12 = 2*c + 2*c. Let y be (-7 + 3)*18/(-8). Let r = u - y. Solve -r*m = m for m.
0
Suppose d = 3*d. Let g = -46 + 45. Let r be 2/(-3) + (g - (-455)/21). Solve 0 = -5*q - d*q + r for q.
4
Suppose -23 = -5*p - 3. Suppose 6 = -2*c + p*c, -2*w + 4*c = 0. Solve -w = i + i for i.
-3
Let m(q) be the second derivative of q**4/12 - 2*q**3/3 - q**2 + 4*q. Let z be m(5). Let d be 9/(-2 + z - 0). Solve 7*b + d = 4*b for b.
-3
Let v = 17 - 22. Let r be 85/34*(0 + (-4)/v). Solve 3*m = -7 - r for m.
-3
Suppose 0 = 10*b - 7*b - 9. Suppose -6*m = 3*m + b*m. Solve 2*s + 3*s + 5 = m for s.
-1
Let p = -62 + 100. Suppose -2 = -5*n + p. Solve -2 = 5*b + n for b.
-2
Let r be (1 - 2) + -1 + 62 + -57. Solve 0 = -r*g + 6 + 3 for g.
3
Let n(u) = u**3 + 24*u**2 - 112*u + 10. Let k be n(-28). Solve -6*t + 4*t = k for t.
-5
Suppose 3*m - 3*m = 2*m. Solve -a = -2 - m for a.
2
Let v(m) = m**2 - 6*m - 3. Let t be v(6). Let s be 5 - (0 - (-3)/t). Suppose 0 = -2*c + 3*r + 2 + 13, -12 = -c + 3*r. Solve -s + 0 = -c*k for k.
2
Suppose -2*q = -6*q + 2*m + 2, -q + 3*m = 12. Solve -4*z + 2 = -q*z for z.
2
Suppose -3*b - 1 = -10. Suppose 6*g - g - 36 = -3*u, -5*g - 2*u + 34 = 0. Solve 0*o = b*o - g for o.
2
Let m be (-216)/(-28) - (-6)/21. Let r = 11 - m. Solve -r*k = -k - 2 for k.
1
Suppose -4 = 4*g - 12, 4*g - 92 = -3*a. Let k = -27 + a. Solve k = -s + 2*s for s.
1
Let v = 437 + -432. Solve 1 = 3*d - v for d.
2
Suppose 2*q - 3*r - 4 = 0, -2*r = q - 3*r - 3. Let f = 9 - q. Solve 6 = -7*x + f*x for x.
-2
Let j(n) = -n**2 + 25*n + 419. Let c be j(34). Solve -2*x + c = 113 for x.
0
Suppose -56 = -13*y + 74. Solve 0 = 6*l - 4 + y for l.
-1
Let g be 36/(-6) + (-10 - -19). Solve g*v - 20 = -v for v.
5
Suppose -5*t - 12 = -2*t. Let c = t + 7. Suppose 7 - 1 = c*a. Solve a*w = 4*w for w.
0
Let q(l) = l**2 + 8*l + 11. Let r be q(-7). Solve 6 = -r*h + 22 for h.
4
Let u(j) = 4*j**2 + 3*j + 3. Let g be u(-2). Let t = g - 7. Let h be t/3 - -2 - -1. Solve 4*m + 7 = -h for m.
-3
Let v(c) = -c**2 + 20*c + 42. Let a be v(21). Solve a*t + 12 = 15*t for t.
-2
Let m be 2/6 - 164/(-12). Suppose 4*o + 8*q - 3*q = 25, -o + 5*q = 0. Suppose -o*n + 2*c = -5, -2*n - 4 = -2*c - 0*c. Solve n*a = -2 + m for a.
4
Suppose 11 = -0*r + 3*r + 2*m, 0 = -r + 2*m + 1. Let y(v) = -v**2 - v + 2. Let f be y(-2). Solve r*h - h - 8 = f for h.
4
Suppose 4*i + 80 = 72. Let t be (i + 4)*-1*5/(-5). Solve t*v = -0*v for v.
0
Suppose -2*p + 40 = -0*p. Let w be 5*36/20 + -5. Solve 0 = w*t + t - p for t.
4
Let u(b) = b**2 + 44*b - 138. Let m be u(3). Suppose -2 = 5*f + 28. Let j be ((-9)/(-4))/(f/(-16)). Solve -m*k = -j*k for k.
0
Let j be ((-2)/4)/((-6)/2268*-3). Let y = -54 - j. Solve -3*x + 0*x = -y for x.
3
Let o(c) = -c**3 - 20*c**2 - 92*c - 9. Let r be o(-13). Let p = 3 - 3. Solve r*v - 5 - 7 = p for v.
3
Let q = 17 + -7. Let x(j) = -31*j + 64. Let f be x(2). Solve -f*i - q = -0 for i.
-5
Let t be (2 - 1)/(2/10). Suppose -68 = t*u + h, u - 4*h + 40 = -3*u. Let m = 25 + u. Solve g - m = -2*g for g.
4
Let d be (-7)/(28/24)*-2. Let r(g) = -g + 12. Let a be r(d). Suppose c = -2*n + 3*c + 6, 0 = n - 2*c - 2. Solve -u - n + a = 0 for u.
-4
Suppose 0*m = -23*m + 46. Suppose 0 = 2*k - 4 - 4. Suppose -a = -5*u + 2, -4*u + 1 + 7 = -k*a. Solve n = -u + m for n.
2
Let i(d) = -d + 11. Let a be i(9). Suppose f + 4*f - 9 = h, 3*f + a*h = 8. Solve -q + 15 = f*q for q.
5
Let b be (-111)/(-21) - (-2)/(-7). Let h be (-70)/60*(-2)/7*33. Solve -b*z = -4 - h for z.
3
Let s = -371 + 378. Solve -2*n = s - 9 for n.
1
Let x(l) = l**3 - 4*l**2 + 4*l - 11. Let o = 137 - 133. Let z be x(o). Solve 11*u - z = 6*u for u.
1
Let d(a) = -5*a - 6. Let p be d(-3). Let q(r) = r**3 - 8*r**2 - 11*r + 19. Let j be q(p). Solve 0 = -3*l - j - 8 for l.
-3
Let z = 26 - 7. Let l = z + -16. Solve -4*o + 1 = -l for o.
1
Suppose -4*o = c - 7*o + 8, 0 = 4*c + 5*o - 19. Let r = 4 + c. Solve r*y - 8 = 12 for y.
4
Suppose -4*u + 44 = -f, 2*u = f - 3*u + 48. Let j be f/(-4) + -4 + -3. Solve j*o + 8 = 4*o for o.
2
Let q(o) be the third derivative of -o**5/60 - 5*o**4/12 - 3*o**3/2 - 2*o**2. Let l be q(-9). Suppose -7*k + 4*k = l. Solve -i = -k*i for i.
0
Let r be (18/(-4))/((-6)/8). Suppose 187 - 169 = 6*o. Solve 0 = -o*z + r for z.
2
Let h = 267 + -264. Solve 0 = 6*u - 15 + h for u.
2
Suppose -13 = 3*g + 11. Suppose 17*c + 96 = 436. Let i be g/c + (-12)/(-5). Solve 1 = -s + i for s.
1
Suppose 7*m - 6*m - 24 = 0. Suppose 0 = -16*j + m + 8. Solve j*a - 4 = a for a.
4
Suppose 2*j - 5 - 5 = 0. Suppose -3 + 8 = -5*v. Let p be ((-6)/10 - v)/(6/30). Solve -6 = p*n - j*n for n.
2
Let y = -15 - -19. Suppose -y*l + 7*l = 0. Let n be (6/(-3) + l)/(-2). Solve -x - 2 = n for x.
-3
Suppose 9*l = 8*l + 29. Let h = l - 38. Let j be (1 + -1)/(h + 8). Solve j = 3*d - 5 - 1 for d.
2
Let k(x) = 5*x**2 - x. Let o be k(3). Suppose 4*y = -p + 18, -6*y = -3*p - y - 14. Suppose -h - 3*v = 4*h - o, v + 19 = p*h. Solve -h = -2*g - g for g.
3
Suppose -165 = -5*g - 3*u, -2*g = 2*g + u - 139. Suppose -g = -4*z + 5*a - 10, -30 = -4*z + 