-7*l - 45. Let y be 13 - l - (-2 + 2). Suppose -y*o - o = -96. Does 2 divide o?
True
Let q(m) = -14*m**2 + m + 5. Let d(y) = -15*y**2 + 2*y + 6. Let k(b) = 5*d(b) - 6*q(b). Is k(2) a multiple of 22?
True
Suppose 4*f - 16 = -2*b, -f - 6 = -4*b + 4*f. Suppose b*k + 3*i + 25 = -159, k - 4*i + 65 = 0. Is 3 - (-3 - (0 - k)) a multiple of 25?
False
Suppose -o + 2*w = w - 7, 4 = 4*o + 2*w. Suppose -310 = -5*b + 3*b + 4*u, -b = -o*u - 150. Is 33 a factor of b?
True
Suppose 32*z + 4141 = 34*z - d, 3*d - 2067 = -z. Is z a multiple of 10?
True
Let x = 32 - 25. Suppose -x*g = -140 + 602. Let q = g - -227. Does 24 divide q?
False
Let b(z) = -z**3 + 3*z**2 - z + 3. Let d be b(3). Is 1/(-5) + ((-10272)/(-60) - d) a multiple of 15?
False
Let w = 7514 - 2666. Is w a multiple of 101?
True
Let n = 14931 - 7472. Does 34 divide n?
False
Let w = 13525 + 1323. Does 8 divide w?
True
Suppose q + n - 355 = 0, -2*q - 4*n + 902 - 202 = 0. Suppose -4*r + 0*x + q = 5*x, r = 3*x + 107. Suppose 3*b - r = 121. Is 19 a factor of b?
False
Suppose 3*f + 17 = -3*b - 46, 5*b - 33 = f. Let m = -10 + -29. Let n = f - m. Does 2 divide n?
True
Suppose -5*k + 26 = 6. Suppose 5*c - 5*i = -10, -k*c = 3*i - i - 16. Suppose 3*s = 5*h - 944, 4*s + 386 = -c*h + 4*h. Does 27 divide h?
False
Suppose 3*a - 14 = -4*o + 15, 0 = 2*a + 10. Suppose -6*c - 480 = -o*c. Does 3 divide c?
True
Suppose 8*m - 148278 = 8810. Is 138 a factor of m?
False
Suppose 5*x - 395 = 5*n, -4*n - 2*x - 208 = 102. Let z = -81 - n. Does 8 divide (-2)/(284/92 + z)*-1?
False
Is 89 a factor of 862/4*(4 - (5 - 3))*89?
True
Let q(z) be the second derivative of z**5/20 + z**4 - 7*z**3/3 - 23*z**2/2 - 24*z. Let m be q(-11). Suppose -m = 5*i - 14*i. Is i a multiple of 7?
True
Let g = -5242 + 9004. Is 7 a factor of g?
False
Let w(l) = 3*l + 35. Let m be w(-9). Suppose -307 - m = -5*a. Does 21 divide a?
True
Suppose 3*z = -15*z + 108. Is (z/(-7))/3 - 78146/(-287) a multiple of 16?
True
Let k(r) = 242*r**2 + 8*r + 8. Suppose -16 = 281*j - 273*j. Is k(j) a multiple of 10?
True
Does 16 divide 0 + -2 - (-1462900)/36 - (-247)/(-2223)?
False
Let a(g) = 2*g - 28. Let k be a(15). Suppose -6*z + k*z + 160 = 2*h, 5*h = 3*z + 361. Let x = h + -4. Is x a multiple of 10?
True
Suppose 4*b = 2*b + 80. Suppose -2*q - b = -4*q. Is (0 - -4) + q + 1 + -3 a multiple of 11?
True
Let j be (-2)/(1*(-3)/21). Suppose -24*p = -26*p + j. Suppose 0 = -6*u - p*u + 1859. Does 11 divide u?
True
Suppose 365 = -3*r - 49. Let l = 141 + r. Suppose -258 + 6 = -l*z. Is z a multiple of 13?
False
Does 81 divide (8/12)/((-20)/(-210) - (-40164)/(-422163))?
False
Suppose -5*w - 5*w = -2060. Suppose 0 = -8*h + 9*h + w. Let z = 338 + h. Does 30 divide z?
False
Let s(c) = 2*c**2 + 5*c - 37. Let l be 5 + 1 + (0 + 2 - 3). Is 8 a factor of s(l)?
False
Let v = -23074 - -37433. Does 6 divide v?
False
Suppose 192*u = 190*u + 88. Let s = 40 + u. Does 6 divide s?
True
Let w be 36/135*-21 - 2/5. Let j(z) be the first derivative of z**3/3 + z**2/2 + 6*z - 1. Is 9 a factor of j(w)?
True
Is (1 + 1)/(((-3)/(-72))/(4506/18)) a multiple of 9?
False
Let t be 12 - (-3*2 - -2). Let g = t - 37. Let m(j) = -j**2 - 24*j - 23. Is 8 a factor of m(g)?
True
Let x(h) = 64*h**3 + 17*h**2 - 43. Is x(8) a multiple of 51?
True
Suppose -2*p - 1 = -3*j - 23, 4*j - 64 = -4*p. Suppose 0 = -3*m + p + 10. Suppose -3*u - 2*k + 8 + m = 0, 4*k = 3*u - 4. Does 3 divide u?
False
Is 2 a factor of (-28 - (12 - 680)) + 3 + 1?
True
Suppose t - 2*t = -11. Suppose t*s = 14*s - 36. Suppose s*m = 5*m + 924. Does 12 divide m?
True
Let l = -389 + 981. Let k = l - -112. Is 16 a factor of k?
True
Let m(l) be the second derivative of -l**5/10 - l**4/12 + l**3/3 + 3*l**2 - 31*l. Let h be m(-3). Is h/(9/3)*(-14)/(-6) a multiple of 7?
True
Let a(w) = 2*w**3 + 3*w**2 - 8*w - 13. Let s be a(7). Let b = -393 + s. Is b a multiple of 9?
False
Let z(q) = -8*q + 42. Let v be z(-14). Suppose -v*i + 158*i = 436. Is i a multiple of 7?
False
Let f(i) = i**3 - 4*i**2 - 3*i - 5. Let x be f(5). Suppose 4*t - n + 28 = 3*n, -5*t - 5*n = -x. Does 6 divide (-2 + -4)/t - -6?
False
Let z = -4977 - -9252. Suppose 10*i - z = -9*i. Is i a multiple of 25?
True
Suppose 5 = 5*g - 15. Let f(o) = 33*o**2 + 7*o + 14. Does 15 divide f(g)?
True
Suppose -p - 31026 = -18*z + 17*z, -3*p + 310338 = 10*z. Is z a multiple of 23?
False
Let r = -17 - -23. Suppose 0 = -r*h + 11*h - 200. Is ((-32)/h)/(4/(-270)) a multiple of 18?
True
Let x(y) = -y + 43. Let f be x(-11). Suppose -4*g + f = 4*w - 2*w, -5*g + 5*w = -30. Suppose -1872 = -5*q - g*q. Does 9 divide q?
True
Suppose 44*a = 16*a + 133168. Does 116 divide a?
True
Suppose 0*a - 12 = 3*k - a, -2*a + 9 = -k. Let z be ((-4)/k*134)/((-4)/(-18)). Let g = -516 + z. Is 18 a factor of g?
True
Let n(r) = 2*r**3 - 3*r**2 + 4*r + 4. Suppose -3*q = 5*b + q - 19, 0 = -b + q + 2. Let a be n(b). Suppose -25*g = -26*g + a. Does 43 divide g?
True
Let a(i) be the second derivative of i**5/20 - 5*i**4/12 - i**3/2 - 5*i**2 - i. Let z be a(6). Let u(q) = q**3 - 8*q**2 + 5*q + 11. Is 5 a factor of u(z)?
False
Let g = 36889 + -36023. Is g a multiple of 6?
False
Let x(m) = -8*m**2 + 4*m - 47. Let d be x(11). Let r = -604 - d. Is 9 a factor of r?
False
Let l(w) = -w**2 + 23*w - 40. Let d be l(20). Does 16 divide 240/(-9)*-2*75/d?
False
Suppose -5*p + 94 = -1126. Suppose 5*d + 2*w - 25 = w, -4*d + 2*w + 20 = 0. Suppose d*v + 5*x - 96 = p, 4*v = 3*x + 300. Does 9 divide v?
True
Let a = 67 + -68. Let j be 5 + a/(3/69). Is ((-56)/(-42))/((-4)/j) a multiple of 6?
True
Suppose -75*u - 11544 = -2*r - 79*u, -23036 = -4*r + 5*u. Is 12 a factor of r?
False
Let x = 3264 - 2009. Is x a multiple of 66?
False
Suppose 3*o + 6 = -0*c + 3*c, 5*c - 37 = -4*o. Let g = 14 - o. Suppose 0 = g*z - 416 + 163. Is 23 a factor of z?
True
Let m = 4738 + 3248. Is m a multiple of 22?
True
Let t(y) = -y**2 + 190*y + 1558. Does 13 divide t(83)?
True
Suppose 4*d + 4 = 20. Suppose 37 = d*y - 571. Let w = 261 - y. Is 20 a factor of w?
False
Let c = 29219 - 22379. Is 317 a factor of c?
False
Suppose 4*z = c - 29586, 5*c - 37*z = -30*z + 147943. Is c a multiple of 269?
True
Suppose 33*g + 95 - 75896 = 0. Is g a multiple of 114?
False
Is 526 - -12108 - (27 - 1) a multiple of 9?
False
Let b(p) = p**3 - 10*p**2 + 6*p - 9. Let a be b(11). Let r = a - 100. Does 35 divide r?
False
Suppose 121*b - 126*b + 117462 = -2*y, y - 4 = 0. Is b a multiple of 34?
True
Let c(r) = -r**2 - 8*r + 35. Let t be c(4). Let l(q) = q**2 + 13*q + 30. Does 2 divide l(t)?
True
Let l(a) be the first derivative of a**4/4 + 17*a**3/3 + 17*a**2/2 + 20*a + 103. Does 19 divide l(-13)?
True
Let f(v) = -69*v + 284. Is 41 a factor of f(-22)?
False
Suppose y + 3*o = 3*y - 7, -2*o = 4*y - 6. Suppose -4*r = -2*d - 2398, 3*r = -y*d + 929 + 859. Does 52 divide r?
False
Is (-160452)/16*((-720)/54)/10 a multiple of 57?
False
Let n(a) = -a**2 - 126*a + 260. Let j be n(2). Let z(x) = x**2 + 3*x. Let q be z(-3). Suppose q = j*k - k - 18. Is k even?
True
Let f(t) = 313*t**2 + 85*t - 1294. Does 122 divide f(14)?
True
Let p be (-6)/(-9)*(8 - 2). Suppose -2*w - 66 = p*r, 128 = -0*w - 4*w - 4*r. Let d = w + 68. Is 6 a factor of d?
False
Suppose -6*p - 520 = -11*p. Let t = p - 99. Suppose -k = -3*k - j + 24, -4*k + t*j = -76. Is k a multiple of 3?
False
Suppose 0 = -r + 5*h + 12978, -648*r + 2*h + 12978 = -647*r. Is r a multiple of 18?
True
Let f(r) = 23*r**2 + 160*r - 1197. Does 35 divide f(7)?
True
Suppose -18*x - 1436 = 3550. Let f = x + 317. Is f a multiple of 3?
False
Let i be 9 - ((-12)/14)/(78/(-364)). Suppose 0 = -4*q - 14*w + 18*w + 476, 0 = q + i*w - 143. Is q a multiple of 42?
False
Let s = 567 - 497. Let a = -44 + 14. Let x = a + s. Does 10 divide x?
True
Suppose -35*p + 32437 = -88523. Is p a multiple of 18?
True
Suppose 4*i = 3*i. Suppose 3*p + 4*x = 70, 2*p - 4*x = -i*x + 60. Is 39 a factor of 3*4/8*p?
True
Let q(f) = 180*f + 6. Let p be q(4). Is 6 a factor of (-2 - 20/(-15))/((-4)/p)?
False
Is 36 a factor of (-38880)/(-192)*-3*(-264)/45?
True
Suppose 0 = 4*w - 3*n - 2293, -2*w + 1149 = n - 2*n. Is 11 a factor of w?
False
Suppose -h = 5*j + 3*h - 4835, -4*j - h + 3879 = 0. Let a = -1476 - -1727. Suppose -a = 6*v - j. Is 15 a factor of v?
True
Suppose -3*n - 12 = -39. Let q(p) = -n*p**2 - 18 + 0*p**3 + 0*p**3 - 6