e
Let c be 0 - (2 - (-4)/6*-9). Suppose -q + 4*q - c*o - 177 = 0, 5*o = -2*q + 95. Does 7 divide q?
False
Does 22 divide (6798/15)/(122/6710)?
True
Suppose 4*x - 10 = t, 2 = -4*x - 3*t + 4. Suppose 31 = -x*j + 89. Is j a multiple of 29?
True
Let c(d) = -d**3 + 10*d**2 - 9*d. Let h be c(5). Suppose 3*x = -q + h, -14*x = -10*x - q - 102. Is x a multiple of 26?
True
Suppose -39675 + 11241 = -3*f - 39*f. Is 7 a factor of f?
False
Suppose -187958 - 87070 = -172*x. Does 3 divide x?
True
Let c be (-144)/(-1512) - 2*1/21. Suppose 29*l - 62*l + 4323 = c. Does 10 divide l?
False
Let t(q) = 1277*q**2 - 9*q + 62. Is 258 a factor of t(6)?
False
Let o(c) = c**3 + 40*c**2 - 110*c - 179. Does 94 divide o(-41)?
False
Let j(z) = 3*z**2 + 51*z - 50. Let s be j(-22). Suppose -4*h - 281 + 897 = 4*b, 0 = 2*h - 5*b - s. Is 10 a factor of h?
True
Let c be 30/(-20) + (-103)/(-2). Suppose -6*b = c - 302. Does 12 divide 2 - (300/(-14) - 24/b)?
True
Let d be ((-8)/(-14))/((-16)/(-56)). Suppose -3*g = -v - 7*g - 14, 4*g + 16 = 0. Suppose 5*p + f = 168, -d*p + 3*f = v*p - 123. Is p a multiple of 3?
True
Let y = 142 + -409. Let k = y + 691. Suppose -8*h + 0*h + k = 0. Is h a multiple of 13?
False
Let w = 136 + -136. Suppose -g + 3 = w, -6*f - 2641 = -10*f - 3*g. Is 44 a factor of f?
False
Suppose -4*r - 2*z + 10 = 0, 2*r = -2*z + 33 - 31. Suppose 2*t = 152 + r. Is 6 a factor of t?
True
Suppose 28*t + 9360 = 36*t. Let l(g) = -g**2 - 10*g + 15. Let v be l(-10). Suppose -v*o + t = -10*o. Does 22 divide o?
False
Suppose 0 = -2*b - 13*b + 15342 + 396423. Does 97 divide b?
True
Let q be -2 + (-2 + 8 - 2). Suppose -q*o - 6*o = -80. Suppose -26 - o = -l. Is l a multiple of 12?
True
Suppose -217976 = -179*p + 127852. Does 12 divide p?
True
Suppose -4*v + 991 = -5*r, 5*v - 2*v - 5*r - 747 = 0. Let y = 17 + 59. Suppose 3*h = v - y. Is 14 a factor of h?
True
Let g(t) = 894*t - 345. Is 21 a factor of g(8)?
False
Let q(h) = 11*h - 2*h + 7 + 0. Suppose 2*m = 3*x + 11, -15 - 8 = -5*m + 3*x. Is 8 a factor of q(m)?
False
Suppose 235*y + 127*y - 1530536 = 0. Is y a multiple of 5?
False
Is 15 a factor of 43/((-215)/60) + 13593?
False
Let o(c) = 2*c**2 - 4*c + 4. Let f be o(3). Suppose -f*k + 270 = -4*k. Does 44 divide k?
False
Let h(v) = v + 6. Let n be h(-8). Let i be n/1 - (0 + -2 + -5). Suppose -3*g - 5*f = -2*g + 7, i*g - 3*f = 77. Is 13 a factor of g?
True
Let j = 1208 + -792. Is j a multiple of 208?
True
Let n(u) = 6*u + 18. Let v be n(31). Suppose i + 2*o - 93 = 0, 2*i - 3*o - 2*o = v. Is 6 a factor of i?
False
Let q(u) = -u**2 + 5*u - 4. Let l be q(4). Let s be 738/(-54)*(l - -57). Is 7 a factor of 4/22 + s/(-11)?
False
Let r = 3961 + 8643. Does 28 divide r?
False
Does 7 divide -4 - ((-130)/(-10) + -3531)?
True
Let q(z) = 3*z**2 - 49*z - 13. Let o(k) = -6*k**2 + 99*k + 25. Let c(x) = -3*o(x) - 7*q(x). Does 27 divide c(8)?
False
Suppose 18*o - 16*o - 19892 = -2*m, -5*m - 4*o + 49729 = 0. Is m a multiple of 35?
False
Suppose -4*t + 65082 = -2*u, -4*t + 4*u = u - 65085. Is t a multiple of 33?
True
Let q(w) = w**3 + w**2 + 93*w + 192. Is 17 a factor of q(18)?
False
Suppose -5*v + t = -3*v - 6, -3*t = 12. Let d be 3 + v*(254 + -2). Suppose d = 2*o - 0*f + f, 4*f + 605 = 5*o. Is 25 a factor of o?
True
Let h(c) = -7*c + 6. Let b(g) = -15*g + 12. Let d(l) = 2*b(l) - 5*h(l). Let q be d(2). Suppose -4*m + 152 = -q*n - 0*n, -38 = -m + 4*n. Is m a multiple of 19?
True
Suppose -14 = 4*p - 22. Suppose -u = p*s - 215, -3*s + 657 = 3*u - s. Let g = -133 + u. Is 21 a factor of g?
False
Let v = 8705 + -2716. Does 5 divide v?
False
Suppose -168 = 2*b + 10*b. Does 17 divide ((-340)/b)/(2 - 65/35)?
True
Suppose -2 = -u + 5*p - 0, -10 = -5*u + p. Suppose 10*w - 550 = 5*w + 5*a, -a + 211 = u*w. Let k = 13 + w. Is 46 a factor of k?
False
Is 108 a factor of 6/(-14) + 0 + 16130520/1176?
True
Is 309 a factor of (-131639)/(-2) - 2 - (-7 + (-120)/(-16))?
True
Suppose -2*v = 5*n + 27 - 8, 0 = -5*n - 25. Suppose 2*o - 3*r = 25, -5*o + v*r = -r - 73. Is o/2 + 4/8 a multiple of 2?
False
Suppose -34*t + 69281 = 4*f - 35*t, f - 17336 = -5*t. Does 115 divide f?
False
Let f(l) = 6*l**3 + 14*l**2 - 40*l - 3. Does 15 divide f(5)?
False
Does 42 divide ((-164331)/76)/(5/(-20))?
False
Does 3 divide -8*1/56 - (-12140)/14?
True
Let g = 5983 + -2374. Does 13 divide g?
False
Suppose -4*k + 13040 = 3*q, 5010 = 3*q - 4*k - 8062. Is q a multiple of 34?
True
Let f = 141 + -49. Let v = 135 + -187. Let w = f + v. Does 20 divide w?
True
Let q(f) = 25*f**3 + 2*f**2 + 4*f - 6. Suppose 3*j - 4*j = 54. Let s be (-2)/9*j/6. Is 35 a factor of q(s)?
True
Suppose -4*y + 4*n + 132 = 0, -41 - 4 = -y + 5*n. Suppose 16*u = y*u - 70. Is 28 a factor of (-112)/((-18)/3 + u)?
True
Suppose 8*h = 4*h - 28. Is 3 a factor of 1 + -5 - (h + (-18 - -6))?
True
Suppose 10*u = 2313 + 1377. Is 12 a factor of u?
False
Let t(z) = -276*z - 18. Let w be t(-7). Is 120/180*w/4 a multiple of 64?
False
Let y = 24 - 27. Let k be -4*(-5)/(-60)*y. Is 18 a factor of (-2 + 1)/(k/(-54))?
True
Let w = 64 + -63. Let t be (5 - w)/(6/27*6). Does 22 divide 2 - 0/t - (-1 + -151)?
True
Let k = -198 - -206. Suppose 15*s - 1428 = k*s. Is s a multiple of 38?
False
Suppose x - 11 = -2*i, 3*x - 24 = i - 4*i. Let c(v) be the second derivative of v**5/20 - v**4/6 + v**3/2 + v**2 - 30*v. Does 3 divide c(i)?
False
Let b = 82 + -78. Suppose -b*h - 3 + 27 = q, -q + h - 1 = 0. Is 26 a factor of 8/q + 164 + (6 - 2)?
False
Let u(a) = a**2 + 2*a - 25. Let y be u(-6). Is (10/1 - 30)*5/y a multiple of 10?
True
Let d be (10/(-25) - 24/(-10))*7. Is 3 a factor of (-812)/58*((-60)/d + 0)?
True
Let o(w) be the second derivative of 4*w**3/3 + 23*w**2/2 + 10*w. Let h be (-2)/((-2)/(8 + 2)). Does 21 divide o(h)?
False
Let p(i) = 5217*i + 469. Does 21 divide p(12)?
False
Let t be -7*(9/21)/3*-2. Suppose 2*o + 3079 = 2*z - o, 0 = 4*z + t*o - 6118. Suppose 5*j + 4*r = z, 6*j = 4*j + 4*r + 624. Is 11 a factor of j?
True
Let r(w) = 18*w - 126. Let j(y) = -2*y. Let f(p) = -18*j(p) + r(p). Is f(11) a multiple of 13?
True
Let f be (-4)/((-100)/(-15) + -4 + -4). Suppose f*j - 13 = 2. Does 5 divide j?
True
Suppose 1372647 + 1986639 = 188*u - 53290. Is 11 a factor of u?
False
Suppose -f + 3613 + 4428 = 0. Is 2 a factor of f?
False
Does 70 divide (-2982)/((-4)/6*(-1782)/(-7920))?
True
Let d(p) = 2*p**3 + 4*p**2 + 10*p - 30. Let f(c) = c**3 + c**2 + 3*c - 10. Let u(y) = -2*d(y) + 7*f(y). Let l = 238 + -235. Is 13 a factor of u(l)?
True
Suppose 4*i = 3*d + 280 - 1073, -d = -2*i - 395. Let h = -154 - i. Is h a multiple of 5?
False
Suppose d - 4*a = 8706, -36*a - 34839 = -4*d - 35*a. Is d a multiple of 17?
False
Let w = -24 - 34. Let y = -41 - w. Suppose 20*n - 336 = y*n. Is 16 a factor of n?
True
Let u(j) = j**3 + 22*j**2 - 6*j + 22. Let c be u(-22). Let h = c + -120. Does 18 divide h?
False
Suppose -4*q = -5*x + 54369, -3*x = 4*q + 2772 - 35387. Is 15 a factor of x?
False
Let f be -5*((-2)/4)/((-1)/(-2)). Let u be (-6)/24 + (-34)/(-8). Suppose -22 = -u*z + 2*d, 3*z - f*d - 20 = -2*z. Is z a multiple of 4?
False
Suppose -3*r - r + 2*n = -26, -4*r + n = -21. Let h(d) = 25 + 23 + 6*d + r*d - 6*d. Is h(16) a multiple of 15?
False
Suppose -561 = -2*t - k, 4*t - 4*k = -0*t + 1116. Is 20 a factor of t?
True
Let l(y) = -13*y**3 - 14*y**2 + 19*y + 96. Is 156 a factor of l(-9)?
True
Let p(n) = 10*n + 23. Let l be p(-3). Let x = l + 132. Does 21 divide x?
False
Suppose 8615 = 5*i + 2*s + 288, -5 = -5*s. Suppose 2878 = 11*z - i. Is 59 a factor of z?
True
Let f = -26 + 29. Let w be (-124)/3*f/(-1)*2. Suppose -4*k + 2*a = -258, -k + 5*k - w = 4*a. Is k a multiple of 12?
False
Let p be (1080/150)/((-2)/(-1865)). Suppose -7*d + 1035 = -p. Does 18 divide d?
False
Suppose -h + g + 9601 + 2220 = 0, -23636 = -2*h - 4*g. Is 151 a factor of h?
False
Let a(z) be the third derivative of z**7/2520 + z**6/144 - 41*z**5/120 + 19*z**4/24 - 6*z**2. Let q(j) be the second derivative of a(j). Is 5 a factor of q(5)?
False
Suppose -6*o = -4*o + 132. Let u = o - -73. Let t(r) = -r**3 + 7*r**2 + 10*r + 11. Is t(u) a multiple of 7?
False
Suppose 2*s = s - c + 62, -115 = -2*s + c. Suppose 3*j - 4*d + 14 = 0, 18 = 2*d + 8. Let b = j + s. Is b a multiple of 28?
False
Let t(z) = z**3 + 20*z**2 - 54*z - 628. Is t(-17) a multiple of 13?
True
Let p(q) = -4*q**