w = 10501 + -1027. Is 6 a factor of w?
True
Let q = -2595 - -12504. Is q a multiple of 27?
True
Let x = 1826 - 1598. Suppose -2*l + 0 + 8 = 0. Suppose -l*q + 10*q - x = 0. Is 11 a factor of q?
False
Let v = 197 - 182. Suppose -v*j + 2717 = -4*j. Is 19 a factor of j?
True
Let f(h) = 4*h + 5. Suppose -16 = -9*q + 29. Does 2 divide f(q)?
False
Let m(y) = 4*y**2 - 5*y + 52. Let w = -239 + 231. Is 11 a factor of m(w)?
False
Suppose 189*v = 185*v + 32. Suppose 3*s - 262 = s + m, -v = -2*m. Is s a multiple of 19?
True
Suppose 0 = -16*u + 48*u - 1329704 - 1115992. Is u a multiple of 11?
True
Let b be (36/(-27))/((-1)/((-6)/(-4))). Let h = -63 + 60. Does 9 divide 83 - (h/9)/(b/(-12))?
True
Let o(s) = 3*s**2 - 59*s + 667. Does 22 divide o(14)?
False
Suppose 4*t - 5*h - 63 = 0, 5*t - 2*h - 35 = 31. Suppose 8*z - t*z + 16 = 0. Suppose -z*p - 170 = -494. Does 9 divide p?
True
Suppose -53*h = 28228 - 86051. Does 3 divide h?
False
Suppose 5*u = 0, -z - 3*u = -5*z + 1188. Let m = z - -118. Does 28 divide (-2)/(-8) + 0 + m/4?
False
Let w(n) = -375*n - 450. Is w(-11) a multiple of 3?
True
Let y = -12165 - -17780. Does 4 divide y?
False
Let d(w) = 459*w**2 - 26*w + 43. Does 9 divide d(2)?
True
Let y = -81 + 75. Let n be 12/8*(-3832)/y. Suppose 0 = 8*v - n + 246. Is 5 a factor of v?
False
Let v(b) = -4*b**3 + 15*b + 36. Does 106 divide v(-11)?
False
Let l(v) = v**3 - 7*v**2 + 12*v + 11. Let q be l(6). Suppose -q*u + 324 = -45*u. Is 18 a factor of u?
True
Does 36 divide 32/8 - (-12*71)/3?
True
Let m(r) = -2*r**3 - 13*r**2 - 42*r - 916. Is 17 a factor of m(-23)?
False
Let u be (5/15)/(3/(-81)). Let q be (-6 + 2 - u)*(-604)/(-10). Suppose 0 = 4*n + t - 306, 4*n - q = -0*t - 3*t. Is 7 a factor of n?
True
Let w(j) = -j**2 - 21*j**3 + 24*j**3 + 7 - 1 - 2*j**2 - 8*j + 1. Is 7 a factor of w(4)?
True
Let s(r) = 15*r**3 + 10*r**2 + 5*r + 85. Is s(17) a multiple of 17?
True
Let d(y) = -5*y**3 + 14*y**2 + 225*y + 2323. Is 7 a factor of d(-11)?
True
Suppose 36572 - 27669 = k - 37319. Does 22 divide k?
True
Let c(k) = -k**3 - 5*k**2 + k + 5. Let s be c(-5). Suppose s = 9*r - 27 - 36. Let z(t) = t**3 - 5*t**2 + 6*t + 4. Is 12 a factor of z(r)?
True
Suppose -2*o + 10 = -2*l, -16*l + 1 = 2*o - 21*l. Suppose -o*u = -7*u - 45. Is 3 a factor of u?
True
Let i be -2*-3*(-170)/(-12). Let h = i - 53. Is h a multiple of 17?
False
Let g = -114 + 116. Suppose -g*v + f + 1300 = 2*f, 0 = 3*v + f - 1950. Does 13 divide v?
True
Let w = -5530 + 7846. Is 193 a factor of w?
True
Let i(v) = v**3 - 20*v**2 + 39*v - 347. Is i(20) a multiple of 10?
False
Suppose -5*i - 60 = 4*a, 3*a - 12*i + 45 = -11*i. Let w = a + 264. Does 52 divide w?
False
Let f(o) = -o**3 + 5*o**2 - 10*o + 13. Let m be f(5). Let d = 10 + m. Is 9 a factor of 1/3 + (-1692)/d?
True
Let c be -7 + (-159)/6 - (-5)/10. Let h = 66 + -121. Does 24 divide (1 + h)*44/c?
True
Let u(k) = -23*k - 29. Let i(d) = -24*d - 30. Let j(x) = 4*i(x) - 5*u(x). Let a(z) = -z**3 + 12*z**2 - 11*z + 4. Let f be a(11). Does 18 divide j(f)?
False
Let y be 39/9 - (8/(-6))/2. Suppose y*d = 24*d - 988. Is d a multiple of 26?
True
Suppose 3*t + 15 = 99. Let s(r) = 2*r**3 - 56*r**2 + 5*r + 4. Is 16 a factor of s(t)?
True
Let p(g) = -2*g**2 - 3*g + 19. Let w be p(-6). Let s = w + 39. Suppose -2*z + 256 = 2*n - 4*z, -s*z = 3*n - 370. Is n a multiple of 21?
True
Suppose -7*n + 6 = -106. Suppose -3*p + 9 = 0, n = 5*c + p - 7. Suppose -5*g = -3*g + c, -5*f = -4*g - 368. Is 15 a factor of f?
False
Let s(r) = -7*r**3 + 3*r + 1. Suppose -9*k + 3*k = 186. Let m = k + 29. Is s(m) a multiple of 17?
True
Let m be (-2)/5 - (13894/(-10) - -1). Let l = -556 + m. Suppose l = 14*s - s. Is s a multiple of 5?
False
Let o(u) = 62*u. Let j(r) = 185*r - 1. Let b(i) = 3*j(i) - 8*o(i). Let a = 24 - 22. Does 29 divide b(a)?
False
Suppose m = 2*r - 1, -m = r - 5*r + 1. Suppose -23*s + 16553 - 2201 = r. Does 13 divide s?
True
Let f = 93 + -76. Let z(l) = -l**3 + 16*l**2 + 24*l - 36. Let d be z(f). Let h = d - 51. Does 2 divide h?
True
Suppose 97*j - 14336 = 14473. Let n(l) = 27*l + 9. Let r be n(-6). Let a = r + j. Is 30 a factor of a?
False
Let d = 17456 + -13376. Is 68 a factor of d?
True
Let r(n) = -n**3 - n**2 + 52*n + 9. Let s be r(7). Let g = 413 - s. Is g a multiple of 48?
True
Let n(r) = 618*r**3 + 548*r**2 - 1657*r + 3. Is n(3) a multiple of 30?
True
Suppose -2276*k + 490922 = -2257*k. Is k a multiple of 56?
False
Suppose 2 = -h + f + 7, -3*f - 9 = 0. Suppose 2*v - 4 = 0, 5*n - 133 = -6*v + h*v. Is 10 a factor of n?
False
Let q = -225 + 455. Suppose 221*v = q*v - 4041. Is 43 a factor of v?
False
Suppose b = -2*b + 1197. Suppose 13*x - 56 = b. Is x a multiple of 5?
True
Does 9 divide 72909/(-6)*(-72)/54 + 7?
True
Let n be -1 - (142 - 20)*18/(-4). Suppose n*o = 542*o + 576. Is 16 a factor of o?
True
Let l = 750 - 436. Suppose 3*f = h + 569, h - 67 - l = -2*f. Does 38 divide f?
True
Suppose -5*j + 3*b = -53598, 296*j + 5*b - 32118 = 293*j. Is j a multiple of 188?
True
Suppose 10*t + 33*t = -8*t + 234702. Does 78 divide t?
True
Suppose 0 = 2*a + 2168 - 84. Let w = 1926 + a. Does 17 divide w?
True
Suppose 3*b - 1187 = 1834. Suppose 0 = 19*i - b - 1938. Is i a multiple of 31?
True
Let b(m) be the third derivative of m**4 - 70*m**3/3 - 4*m**2 - 13*m. Does 5 divide b(17)?
False
Let k(o) be the second derivative of o**5/20 + 37*o**4/12 - 13*o**3/2 + 105*o**2/2 - 93*o. Does 3 divide k(-38)?
False
Let g be (-5)/((-80)/(-4)) + (-945)/12. Let s(b) = -b**2 + b + 22. Let o be s(-16). Let t = g - o. Is t a multiple of 21?
False
Suppose 30*k - 21*k - 23700 = -16*k. Is 12 a factor of k?
True
Let v = 289 + -300. Does 10 divide (-11560)/(-330)*6 - (-2)/v?
True
Suppose 3*q - 3713 = 6850. Does 5 divide q?
False
Let a(g) = -52*g**2 - 4. Let l be a(2). Is 16 a factor of -2 + 2 - (l - -19)?
False
Suppose 4*n + g = -3*g - 36, 0 = -3*g - 3. Let t(w) = -7*w - 44. Does 2 divide t(n)?
True
Let z = -2157 - -3333. Does 28 divide z?
True
Let l(f) = 1356*f**2 + 136*f + 562. Is l(-4) a multiple of 21?
True
Let w(u) = u**3 - 10*u**2 + 3*u + 7. Let m be w(12). Suppose 0 = 2*v - m - 533. Is 72 a factor of v?
True
Suppose -3*p + 16109 = 5*c, 6453 + 4228 = 2*p - 5*c. Does 38 divide p?
True
Suppose -23 = -3*b + 4*t + 21, -44 = -4*b - 2*t. Let h = -101 + b. Let a = -49 - h. Does 5 divide a?
True
Let o = -389 - -379. Does 31 divide (64/(-40))/8 - 11002/o?
False
Let k = -29222 - -54278. Does 288 divide k?
True
Let j(v) be the first derivative of 5*v**3/3 + 13*v**2 + 74*v + 256. Is 14 a factor of j(-20)?
True
Suppose 0 = 15*k + 15*k - 8160. Let g = 188 + k. Does 20 divide g?
True
Let t = -3249 + 5409. Suppose 5*z - 2*g = t, 6*z = 4*z + g + 864. Does 18 divide z?
True
Let i(r) = 80*r - 4344. Is i(58) a multiple of 3?
False
Let r(k) be the first derivative of k**2 - 16*k + 12. Let a be r(8). Suppose a = -4*x + 3*t + 156, x + 5*t = 3*x - 78. Does 23 divide x?
False
Let r be 0/(1*(-2 - 0)). Suppose -4*a + r*p = p - 26, 2*p - 24 = -4*a. Is a a multiple of 3?
False
Suppose -2*p + 25625 = 13*p - 83380. Is 43 a factor of p?
True
Is 16 a factor of ((-1)/5)/((-45)/1510200)?
False
Is 24 a factor of (171/27 - -9)*((-3495)/(-10) + 3)?
False
Let g = 16178 - 11138. Is g a multiple of 48?
True
Let z(s) = -98*s + 12 - 7 - s**2 + 108*s. Is z(4) a multiple of 5?
False
Let a be (1 + -2 - -1)/(-2). Let z(j) = -2*j**2 + 4*j + 150. Let m be z(a). Suppose 3*n - m = -2*y - 3*y, -2*n = 4*y - 102. Is n a multiple of 45?
True
Let m(q) = 44*q**2. Let y be m(-1). Let r = 85 - y. Suppose k - r = -36. Does 5 divide k?
True
Let m = 51 - 40. Suppose m = x + 7. Suppose x*h = 83 + 73. Is h a multiple of 13?
True
Suppose -q - 64 = -5*q. Is q/20 + -3*(-4430)/75 a multiple of 5?
False
Let d(r) = -r**3 - 12*r**2 + 22*r + 19. Let k be d(-14). Let q = 105 - k. Suppose q*z + 0*z = 300. Is z a multiple of 15?
True
Suppose -12775 = -29*s + 27*s + 3*r, -4*s - 2*r + 25574 = 0. Does 2 divide s?
True
Let f(w) = -216*w**3 + 41*w**2 + 122*w + 12. Does 90 divide f(-4)?
False
Suppose 23 = 5*w - 27. Let a be (-2)/((-2)/w*-1). Let j = 20 - a. Is j a multiple of 10?
True
Let d(i) = 184*i**2 + 81*i - 3. Is 2 a factor of d(6)?
False
Let k(j) = -1724 - 9*j + 872 + 864. Let f(h) = 3*h - 2. Let d be f(-4). Is k(d) a multiple of 17?
False
Let c(j) = -j**3 - 20*j**2 - 8. Let p be c