2). Is 24 a factor of o(n)?
True
Suppose 3*p - h = 615, 5*p - 2*h - 667 = 357. Suppose 13 = -5*y + 18, 2*y + 322 = -4*l. Let u = p + l. Does 12 divide u?
False
Suppose -3*j - j - 48 = 0. Let k = -2 - j. Suppose 0 = -p + k + 34. Is 8 a factor of p?
False
Let u(p) be the third derivative of -27*p**6/20 - p**4/24 - 36*p**2. Suppose -v = -4*a + 5, v - 5*a + 6 = -0*v. Is 40 a factor of u(v)?
False
Let g(j) = 2434*j - 11. Let m be g(3). Is m/17 - 84/(-714) a multiple of 13?
True
Let f be (-166)/(-8) - 4/(-16). Suppose f = -r - 17. Is 26 a factor of (-732)/(-14) + r/133?
True
Let c = -7155 - -8190. Is c a multiple of 9?
True
Let f(p) = -5*p**2 + p + 4. Let d be f(2). Let b be (d + 2)/3*1. Is b + 1 + (3 + -1 - -12) a multiple of 4?
False
Let p be ((-6)/(-9))/(10/(-15)) + 5. Is p/(-10) - (-10)/(200/2868) a multiple of 27?
False
Is 161031/27 - (-1 - 10/(-9)) a multiple of 42?
True
Let c(d) = -10*d + 13. Let w be c(3). Let s(f) = 18*f + 41. Let m be s(w). Let h = m - -397. Is h a multiple of 11?
True
Let b be 828 + ((-12)/4 - -6). Does 19 divide (-56)/(-70) - b/(-5)?
False
Let a(n) = -52*n**2 + 3*n - 3. Let g(v) = 105*v**2 - 7*v + 7. Let d(b) = -9*a(b) - 4*g(b). Suppose -2*l + 7 = 5*l. Does 48 divide d(l)?
True
Suppose 100 = 45*q - 35*q. Suppose -4*d + 8498 = q*d. Does 61 divide d?
False
Let n(j) = -3*j**2 - 60*j - 270. Is n(-12) a multiple of 18?
True
Suppose p = -4*l + 640, -4*p + 3*l = -7*p + 1884. Does 16 divide p?
True
Suppose 0 = -4*o - f + 132870, 36997 = 3*o - 2*f - 62639. Is 24 a factor of o?
True
Let k = 54 + -52. Suppose -5*t + 5*d - 679 = -k*t, -t - d = 229. Let p = t + 369. Is p a multiple of 9?
False
Let l(j) = 14 + 39 + 12 - 25*j. Does 16 divide l(-6)?
False
Let t(x) = -164*x + 39. Let n be t(3). Let k = n + 667. Is k a multiple of 14?
False
Suppose -2*y - 30115 = -2*l - 8317, 3*l - 32691 = -3*y. Does 121 divide l?
False
Let b(i) = 11*i**3 + 19*i**2 - 9*i + 2. Is 9 a factor of b(4)?
False
Suppose 0 = 20*k - 11 - 29. Suppose 16 + 131 = 3*g - 5*u, k*u + 182 = 4*g. Does 4 divide g?
True
Let g be ((-168)/70)/(3/(-25)). Is (-2)/g - 248655/(-550) a multiple of 32?
False
Let b = -8647 - -12300. Is b a multiple of 60?
False
Suppose -71*w = -69*w - 472. Suppose -4*f + w = -5*h + h, -5*h = 5*f - 335. Is f a multiple of 45?
False
Let c(b) = -20*b + 74. Let m be (-20)/(-35) + (-156)/28. Does 10 divide c(m)?
False
Let s(o) be the first derivative of -o**3/3 - 7*o**2/2 + 287*o - 41. Is s(0) a multiple of 42?
False
Let t(b) = 19*b**2 + 9. Let d(p) = p**3 - 2*p**2 + 2*p + 1. Let a be d(2). Suppose 0 = 4*x + a*x - 27. Is 19 a factor of t(x)?
False
Suppose 3*q - 53 = -4*p, 2*p + q + 14 = 43. Let l be p/((-34)/(-24))*(0 + 1). Let g = l - -20. Is 32 a factor of g?
True
Let v(t) = -3*t**2 + 8*t - 8. Let l be v(7). Let w = -90 - l. Is w/15 + (0 - (-637)/5) a multiple of 11?
False
Let h = -6945 - -10013. Let v = 4332 - h. Is 42 a factor of v?
False
Suppose -120 = -17*o + 7*o. Suppose -o*w - b - 572 = -14*w, -4*w + 4*b = -1140. Is w a multiple of 52?
False
Let l(t) = 7*t + 13. Let y(o) = -o + 9. Let s be y(7). Let c be (-2*s/1)/(2/(-3)). Does 24 divide l(c)?
False
Let k(i) = 39*i - 22. Let z be k(-6). Let p = z - -397. Is p a multiple of 5?
False
Let l = 174 + -170. Suppose 0 = w, 3*h = l*w + 21 + 141. Is h a multiple of 18?
True
Suppose 4*a = 11*a - 14. Suppose 3*y - 532 = -5*i + 6*y, -a*i + 219 = 5*y. Is i a multiple of 7?
False
Let q be (-6)/(-24) + (-3)/4*-181. Let r = q + -22. Does 19 divide r?
True
Let q(r) = 3*r - 33. Let b be q(12). Let x(p) = -1 + b + 4*p - 3*p**2 + 5*p**2. Is 2 a factor of x(2)?
True
Let g(u) = -105*u + 6. Let f be g(1). Let m(w) = -10*w - 9. Let x be m(15). Let v = f - x. Is v a multiple of 6?
True
Let j = -4332 + 6827. Is j a multiple of 11?
False
Let q be (1/(1/(-6)))/(-1). Let m(f) = 19*f - 13. Let i(l) = 19*l - 12. Let h(x) = q*i(x) - 5*m(x). Is 30 a factor of h(4)?
False
Suppose f + 14 = -h + 4*h, -2*h = -3*f - 7. Let c(o) = 240*o**3 - o**2 - 3*o + 2. Does 17 divide c(f)?
True
Suppose 62 = -2*j + 66. Suppose 0 = -16*t + j*t + 504. Let n = 78 - t. Is 6 a factor of n?
True
Let v = 4043 + -2827. Is 19 a factor of 10/(-1)*(v/(-5))/8?
True
Let y = -165 - 63. Let m = y - -622. Is m a multiple of 67?
False
Let f(s) be the third derivative of s**5/60 + s**4/6 + 7*s**3/6 - 22*s**2. Let u be f(-2). Does 18 divide u/((-308)/329 - (-2 + 1))?
False
Suppose 20*h = -b + 17*h + 23251, -h + 93059 = 4*b. Is b a multiple of 18?
False
Let d(a) = -a**3 + 15*a**2 - 35*a + 3. Let k be d(15). Is 8 a factor of ((-8)/(-6))/((-6)/k)?
False
Let u(w) = -97*w + 40*w + 37*w + 114. Is u(-16) a multiple of 31?
True
Suppose -430*m + 444*m - 12726 = 0. Does 3 divide m?
True
Suppose 0 = 3*h - 13*h + 4823 + 22377. Is 6 a factor of h?
False
Suppose 0 = 2*j - 3*j - 7. Let s(h) be the second derivative of -5*h**3/6 + h**2/2 - 80*h. Is s(j) a multiple of 9?
True
Let d = 1649 + -855. Let j = 1379 - d. Is j a multiple of 40?
False
Is 66 a factor of -3*1/(-18) - (-55827745)/3162?
False
Let g = 144 - -108. Let a be (-2)/(-5) + g/(-105). Let n(i) = -12*i - 1. Is 7 a factor of n(a)?
False
Let f = 43791 - 27355. Is f a multiple of 28?
True
Suppose 5*n - 8*n + 34647 = 4*i, 0 = -5*n - 4*i + 57761. Is 127 a factor of n?
True
Let h(s) = 1189*s + 5391. Is h(10) a multiple of 17?
False
Let u be -3 - 0 - (-9 - -10). Let h(z) = -z**2 - 3*z + 6. Let j be h(u). Suppose -72 = -3*l + 3*a, 3*l + j*a = -a + 60. Is l a multiple of 16?
False
Let x(d) = 167*d**2 + 71*d + 10. Is x(9) a multiple of 8?
True
Suppose 3162 + 2664 - 951 = 5*r. Is r a multiple of 6?
False
Let c = -30270 - -53818. Is 13 a factor of 4/22 - c/(-319)?
False
Suppose -t + 35976 = -5*c, -6911 - 65077 = -2*t + 4*c. Is t a multiple of 11?
False
Let j = -50 + 48. Does 3 divide (j*(-1)/(-3))/(22/(-10263))?
False
Let m(r) = 31*r - 31. Let o be m(8). Let z = -314 + o. Let c = -79 - z. Is c a multiple of 2?
True
Let a = 1 + -6. Let g be 110 - 8/(-20)*a. Let t = 216 - g. Does 27 divide t?
True
Let c(v) = v**3 - 37*v**2 + 75*v + 3. Let k be c(35). Suppose 94 = 2*y + 3*t, -t = -2*y + 6*y - k. Is y even?
True
Let c(k) = 8*k**2 + 10*k + 10. Let t be c(-6). Suppose 0 = 2*a - m + t, 0 = 2*a + 2*m + 268 - 30. Let x = a - -203. Is 42 a factor of x?
True
Let d(m) = -7*m**2 + m. Let f be d(3). Let o = f + 23. Let v = o - -89. Does 13 divide v?
True
Let z(m) = m**3 + 155*m**2 - 191*m + 491. Does 72 divide z(-155)?
True
Is 60*45*1209/325 a multiple of 12?
True
Suppose 65*u = 69*u + 80. Does 23 divide (-512)/(-5) - u/(-50)?
False
Let z(y) = -10*y - 5. Let g be z(-2). Let j = -3 + g. Let n(k) = 6*k + 6. Does 9 divide n(j)?
False
Suppose -5*j + 4*r = -40761, 3*r + 8139 = -j + 2*j. Is j a multiple of 9?
False
Is 5 a factor of (-656)/246 + 2 + (-174524)/(-12)?
False
Let t(s) = -14*s - 251. Suppose 5*l = -4*f - f - 150, 0 = -l + f - 22. Is t(l) a multiple of 9?
False
Let m(l) = 1848*l**3 - 12*l**2 + 15*l - 1. Does 74 divide m(1)?
True
Let h = -81 - -81. Suppose 4*d - d + 45 = 0. Does 7 divide d*(h + (-16)/20)?
False
Let n(r) = 8971*r**3 - 30*r**2 + 24*r + 5. Does 10 divide n(1)?
True
Let y(j) = j**2 - 24*j + 19. Let q(d) = -d**2 + d + 1. Let b(k) = 2*q(k) + y(k). Is 16 a factor of b(-11)?
False
Let g be (-86)/(-10) - 16/(-40). Let a(f) = 8*f + 11. Let m be a(g). Is 14 a factor of (m/(-3))/(4/(-12))?
False
Suppose -302680 = -24*b + 3*b + b. Does 46 divide b?
True
Let d(h) = 14*h**2 + 9*h + 14. Let a(k) = 14*k + 65. Let q be a(-5). Is 33 a factor of d(q)?
False
Let j be 10/4*2 + 15. Let d(q) = -q**2 + 23*q. Is d(j) a multiple of 10?
True
Is -1 + 16/(-16) - 142244/(-2 - 2) a multiple of 19?
False
Suppose 5*g = 5*t + 9 - 34, 3*g = -9. Let d(k) = -k**3 - 6*k**2 + 7*k. Let v be d(-7). Is -34*(t - (v - -3)) a multiple of 10?
False
Let n be 8 + -2 + -6 + 2. Suppose -3*c = n*p - 96, 13*c - 146 = -3*p + 9*c. Does 6 divide p?
True
Is 14 a factor of -57*(-505)/15 - (4 - (-5 + 8))?
True
Let r = 2890 - 1000. Is r a multiple of 27?
True
Let w = 131 + -131. Suppose w = 73*c - 72*c - 314. Is c a multiple of 14?
False
Let w(s) = -27*s + 28. Let m(x) = -134*x + 140. Let i(j) = -3*m(j) + 16*w(j). Does 22 divide i(-13)?
True
Suppose 0*n = -n + 12. Is (13347/27)/(4/n) a multiple of 94?
False
Let s be 7/(-42) - (-13)/6. Let h = s + -4. Does 15 divide (h - 12/(-5))/(4/4