s m(-21) a multiple of 140?
True
Let f = 351 + -209. Let y = -20 + f. Does 4 divide y?
False
Let a = 148 + -91. Let t = a + -57. Suppose 13*p - 19 - 605 = t. Does 6 divide p?
True
Does 121 divide 4114*-1*((-4)/3)/(44/66)?
True
Let v(a) = 25*a**2 - a - 1 + 26*a**2 - 45*a**2. Let u be v(3). Let d = -19 + u. Is d a multiple of 5?
False
Suppose -3*d + 248 = 4*k - d, -d - 132 = -2*k. Suppose -3*n - k = -3*w + 221, 2*w = -2. Is 11 a factor of -6*(-4)/(n/(-44))?
True
Suppose -3*h + 5*f = 4, -2*h + 4*f = 8*f - 12. Suppose -h*m + 819 = -5*c + 10*c, -5*c = -2*m - 831. Is 33 a factor of c?
True
Let r(a) = 84*a**3 + 5*a**2 - 3*a - 4. Let h be r(2). Let j = h - 409. Is 7 a factor of j?
True
Suppose 23*f - 27*f = -40. Let o be (-120)/f - (1*-2 + 0). Is 47 a factor of ((-1548)/10)/(-2) + 4/o?
False
Suppose 832*o - 433*o = 416*o - 293403. Does 244 divide o?
False
Let g(w) be the third derivative of w**4/8 + 5*w**3/2 - w**2. Let r be (-60)/(-210) - (-9)/((-252)/(-328)). Is 34 a factor of g(r)?
False
Is 15/((63/(-8995))/(-3)) - 0 a multiple of 25?
True
Let i be ((-4)/6)/(8/84). Let o be (-6)/(-18) + (-2)/(-3). Does 9 divide ((-54)/i)/(o/7)?
True
Is 17 a factor of 18/21 + (-1)/14*-118414?
False
Let m be 10*(-356)/6*12/5. Let z = m - -2157. Is 9 a factor of z?
False
Let j(r) = 5*r + 30. Let b be j(-5). Is 15 a factor of (-5 + 8 - -37*9) + b?
False
Suppose 116*u = 45*u + 143136. Is u a multiple of 24?
True
Let o(u) = -10*u + 5*u + 11*u + 36*u - 28. Is 8 a factor of o(2)?
True
Let d = -6294 - -13289. Does 8 divide d?
False
Let j be (-3)/(12/40)*(2 + -6). Suppose -23*a - 2601 = -j*a. Is 17 a factor of a?
True
Suppose 2*f = 5*d - 42 + 10, 4*d - f = 25. Suppose 2*g - d*p + 9 = -p, -4*p = -3*g - 10. Is 12 a factor of (-5)/g + -2 + 109/2?
False
Let v(g) = 5*g**2 + 51*g + 15. Let m be v(-10). Suppose 0 = l + 3*l - x - 11, 10 = m*l - 5*x. Is l a multiple of 2?
False
Let v(t) = -139*t + 6240. Is 15 a factor of v(0)?
True
Let p = -427 + 979. Suppose -5*c + 9*c = -4*z + p, -5*c = 2*z - 705. Suppose -12*a - c = -13*a. Is 16 a factor of a?
False
Let b = 34668 + -7728. Does 59 divide b?
False
Let g(d) = -6*d**2 - 328*d + 715. Does 26 divide g(-54)?
False
Suppose 7*a + 8*a = -1125. Let q = a + 78. Is -21*(-3 - q) + 0/(-3) a multiple of 18?
True
Suppose 36213 = 26*j + 11149. Let s = -484 + j. Does 78 divide s?
False
Let b be 6/39 - 11/((-715)/510). Let r be (-3338)/b + (-12)/16. Let l = r - -628. Is l a multiple of 21?
True
Does 19 divide 2983228/2907 + ((-24)/(-27))/(-4)?
True
Let p(g) = g**3 - g. Let d(h) = -7*h**3 + 5*h**2 + 10*h + 2. Let j(t) = d(t) + 6*p(t). Let o(u) = -u**2 + u + 5. Let s be o(0). Does 18 divide j(s)?
False
Let k(b) = b**2 + b - 6. Let a be k(-3). Suppose a = z + 4*z - 40. Suppose -f + 27 = -9*g + z*g, 0 = -4*g - 12. Is f a multiple of 24?
True
Suppose 66*i - 2254409 + 1750165 - 2193044 = 0. Is i a multiple of 17?
True
Let f(w) = -w**3 + 29*w**2 - 44*w + 81. Let c be f(28). Let m = 395 + c. Is m a multiple of 3?
False
Suppose 10*g - 3*k - 2178 = 7*g, 4*k - 2178 = -3*g. Is g a multiple of 16?
False
Suppose -25 + 19 = -t, 5*x - 10760 = 20*t. Is x a multiple of 11?
False
Suppose -747 = 20*o - 2407. Does 2 divide o?
False
Suppose -23*x - 2530 = -45*x. Let f = 204 + x. Is f a multiple of 11?
True
Let y = 51991 - 28375. Is 109 a factor of y?
False
Suppose -17*o + 128739 = 81*o - 47661. Is o a multiple of 120?
True
Let i = -81 - -89. Suppose 0 = 10*g - 6*g - i. Suppose -g*s = 2*q - 138, -5*q + 0*s + 2*s + 324 = 0. Does 7 divide q?
False
Let z(y) = -y**3 - 7*y**2 + 13*y + 40. Let w be z(-8). Suppose 22*h - 17*h - 1105 = w. Is 41 a factor of h?
False
Let r be (0 + 1)/(19/3819). Suppose -5*h = 5*p + 195, -5*h - 5*p + 3*p - r = 0. Let f = h - -103. Does 23 divide f?
False
Let n = -4845 - -5022. Is 3 a factor of n?
True
Let c be (-4)/(-1 - 3) + 4/1. Suppose 4*l - 14 - 6 = d, -5*l = -c*d - 55. Let n = 56 + d. Is n a multiple of 24?
True
Let f(j) = -2*j + 34. Let v be f(16). Suppose d = -2, -z - 4*d = -v*d + 6. Is 8325/63 - z/(-14) a multiple of 22?
True
Suppose -4*b + 1193 + 257 = -2*z, 1447 = 4*b + z. Let x = 370 - b. Is 8 a factor of x?
True
Let w(p) = 3*p**2 + 16*p - 21. Let u(l) = -6 - 2 - 8*l - 3*l - 2*l. Let x be u(0). Is w(x) a multiple of 18?
False
Let n(t) = 2*t**3 - 8*t**2 + 18*t - 3. Is n(7) a multiple of 14?
False
Let b(x) = -232*x**3 + x**2 - 1. Suppose 0*h + j = 5*h, 5*h = -4*j - 25. Does 27 divide b(h)?
False
Is 1 + (-51)/45 - 20886944/(-555) a multiple of 89?
False
Let w(n) = 33*n - 117. Let t be (-57)/2*(-98)/147. Is 30 a factor of w(t)?
True
Let d(h) = 172*h**2 - 22*h. Let w be ((-1)/(9/(-6)))/((-8)/(-24)). Is d(w) a multiple of 46?
True
Let o be ((-25346)/69)/((-7)/9 + 1). Is (-69)/230 + o/(-10) a multiple of 33?
True
Let j(v) = v**3 - 3*v**2 + 4*v - 3. Let w be j(3). Let u(g) be the first derivative of g**4/4 - 8*g**3/3 + 4*g**2 + g + 1390. Is 27 a factor of u(w)?
False
Let t(m) = m**2 - 5*m - 3. Let d be t(6). Suppose 2132 = -d*h + 7*h + 5*k, 5*k = 3*h - 1564. Is 33 a factor of h?
True
Let r(y) be the second derivative of -62*y**3/3 - 2*y**2 + 2*y - 11. Is r(-2) a multiple of 9?
False
Let n(c) = -c**3 + 6*c**2 + 7*c + 4. Let b be n(7). Suppose 0 = -b*t - 9*t + 2288. Suppose t = -3*s + 761. Is s a multiple of 20?
False
Suppose 55*r = 58*r - 384. Let u = r - 5. Let f = u + -114. Is 2 a factor of f?
False
Let p(u) = 2*u**2 - 18*u - 1. Let h(s) = 4*s**2 - 19*s. Let w(z) = 4*h(z) - 5*p(z). Suppose 2*q - q + 6 = 0. Does 8 divide w(q)?
False
Let n(o) = o**2 - 4*o - 44. Let b(d) = -2*d - 34. Let q be b(-21). Let i be n(q). Does 26 divide 1173/i*-2 - (-1)/(-2)?
False
Suppose -4*v + 708 = -5*a + 12074, 2*a - v = 4544. Is 130 a factor of a?
False
Let f(h) = 40*h**2 + h - 1. Let p(v) = 159*v**2 + 3*v - 3. Let i(z) = 9*f(z) - 2*p(z). Is 19 a factor of i(2)?
True
Suppose -4*p = -19*z + 18*z - 39159, -15 = 5*z. Does 117 divide p?
False
Let m(t) = -5*t + 40. Let z be m(8). Suppose z = 8*s - 15*s + 49. Let o(i) = -i**3 + 8*i**2 - 4*i - 11. Is 5 a factor of o(s)?
True
Let o(p) = 3*p**2 + p. Let z be o(1). Suppose -2*s - 2*s - 8 = -z*c, s = -4*c + 8. Suppose 0 = c*q + 2*r - 372, -912 = -5*q - r + 5*r. Is 38 a factor of q?
False
Let b be (-739)/19 + 8/(-76). Is 4*5/(-130) - 14163/b a multiple of 11?
True
Suppose -9 = -3*k, -10*k = -2*o - 14*k + 914. Does 5 divide o?
False
Suppose -8*d + 13*d - 8155 = 0. Suppose -d = -3*p + 766. Suppose 5*g = -149 + p. Does 13 divide g?
True
Suppose -4*a + q = -0*q - 8665, 0 = 4*a - 2*q - 8666. Let o be ((-16)/(-10))/(-4) - a/(-15). Suppose 0 = -2*f - f + o. Is 13 a factor of f?
False
Suppose -6*q + 2*q = s + 16, -q = 3*s + 4. Let m be (-8)/(((-6)/q)/(-3)). Suppose -10 = 15*z - m*z. Does 5 divide z?
True
Let m(a) = 127*a - 18. Let r be m(3). Suppose -2*l - 5*w = -1093, 2*l - 1459 + r = -2*w. Suppose 3*x + 551 = 5*c + 2*x, -x = 5*c - l. Is c a multiple of 22?
True
Suppose 2*d - 4*q = -2200, -50*q + 3280 = -3*d - 48*q. Let l = -738 - d. Does 32 divide l?
True
Let f(r) = r**3 - 6*r**3 + 0 - 3*r**2 + 4*r + 0*r + 8. Suppose -l + 6*h = 4*h + 7, 0 = 4*l + 4*h + 4. Is 20 a factor of f(l)?
False
Suppose 278 - 114 = a. Let s = a + -24. Does 7 divide s?
True
Let d be 72/252 + 3280/(-14). Does 36 divide (37 - 29)*(-1 - d)?
False
Let o = -4533 + 9693. Is 129 a factor of o?
True
Let u = -9 + -7. Let s(b) = b**2 + 14*b - 35. Let c be s(u). Does 7 divide 9 - 3/c - 4/4?
False
Let c(p) = 148*p**2 - 28*p + 40. Is c(8) a multiple of 29?
False
Let s be 16/7 + 26/(-91). Let t be (-26)/(-7) - (-2)/7. Suppose -200 = -4*v + s*w + 238, 0 = t*v - 4*w - 436. Does 11 divide v?
True
Suppose -2 + 0 = 2*y. Let o be (-78 + 50)/(-2*1). Is y - 1 - (o - 294) a multiple of 36?
False
Let x(u) = 12*u**2 + 39*u - 62. Let d(p) = -4*p**2 - 13*p + 20. Let w(a) = 8*d(a) + 3*x(a). Does 7 divide w(-9)?
False
Is 15 a factor of (7*5352/336)/((-1)/(-90))?
True
Let o(y) = 2*y**3 + 10*y**2 + 8*y + 6. Let a be o(-6). Let p = a - -206. Let t = -45 + p. Is 12 a factor of t?
False
Is 56 a factor of (83442*(-5)/20 + -2)*(-128)/80?
False
Suppose 38*m + 18667 - 636053 = 0. Does 82 divide m?
False
Let p = 49 + -26. Let o(g) = 9*g + 21. Let c be o(-10). Let z = p - c. Is z a multiple of 25?
False
Let r be (24/(-5))/(26/(-455)) + -1. Let k = r - 84. Does 8 divide (14 - k)*(-10)/(-6)?
False
L