False
Let f(s) = -s**3 - 17*s**2 - 4*s - 163. Is f(-31) a multiple of 117?
False
Let m be (287/49 + -6)*-7*1. Let b = 7 - 10. Is 10 a factor of (b + 86 - 2)/m?
False
Let y = 326 + -323. Suppose y*d = d + 480. Does 30 divide d?
True
Let z(d) = d**2 + 18*d + 9. Let q be z(-16). Let i = 71 + q. Is i a multiple of 24?
True
Let x(k) = k**2 - 3*k + 13. Let j be (-3 - -5)/(-5 - 33/(-7)). Is x(j) a multiple of 3?
False
Is 80 a factor of -8 + (19127/2 - 8*(-27)/(-144))?
False
Suppose 0*v = 13*v - 52. Suppose -5*t - 284 = -v*x - 2*t, 3*t = -3*x + 192. Does 12 divide x?
False
Is 19 a factor of (66/(-275))/((-6)/(-20)) - (-628453)/35?
True
Let x(u) = 5227*u - 53. Does 104 divide x(1)?
False
Suppose -26*h - 29*h + 48816 = -43*h. Does 45 divide h?
False
Let o = 32 - -92. Suppose -40*i = -19*i - 42. Suppose -2*f - 82 - 82 = -4*j, 3*j = i*f + o. Does 4 divide j?
True
Let b(h) = -3*h**3 - 32*h**2 - 4*h + 45. Let v be (13/3)/(6/(-18)). Is 20 a factor of b(v)?
True
Is 12 a factor of ((-44128)/(-96))/((-1)/(-3) - (-10)/(-45))?
False
Suppose 3*h = 4*v - 47085, -24*v + 16*v + 4*h = -94172. Does 4 divide v?
True
Suppose -6*k - 8 = 2*k. Suppose f - 7*n = -2*n - 8, -5*f + 16 = 3*n. Is 10 a factor of f - k - -9*3?
True
Let u = -413 + 417. Let l = 818 - 512. Suppose -10*m + u*m = -l. Is m a multiple of 7?
False
Suppose -9*k - 27902 = -5*r - 7*k, -3*r = k - 16739. Does 48 divide r?
False
Let y(a) = -3*a**2 + 3*a. Let f(i) = i**3 + 2*i**2 + 7. Let p be f(-3). Let r be y(p). Does 8 divide 24/r*(3 - 57)?
True
Let q(n) = n**2 - 9*n - 102. Let b be q(-11). Suppose -50*p = -51*p + b. Is p a multiple of 39?
False
Let w(u) be the third derivative of 37/6*u**3 - 7/12*u**4 + 0 - 20*u**2 + 0*u. Is w(-7) a multiple of 22?
False
Let k be (-16)/(-8) + -1 - -4. Suppose k*f = -5*v + 1100, -212 = 3*f - v - 860. Is f a multiple of 24?
False
Suppose 51 = 4*a + 27. Let n be ((-18)/(-48))/(a/(-652))*4. Let x = n + 284. Is 37 a factor of x?
False
Suppose 207 - 27 = -2*x. Suppose 11 = 9*z - 2140. Let g = x + z. Is g a multiple of 30?
False
Let q be (-38)/(-95) + 3496/10 + -2. Let a = 192 + q. Does 9 divide a?
True
Does 36 divide 407490/21 - (5 - (-33)/(-7))?
True
Suppose 1157*m + 7202064 = 1306*m. Is 12 a factor of m?
True
Suppose -110*d + 99*d = 429. Does 10 divide (-13)/(d/1140) - (5 - 1)?
False
Let r(p) = 3*p + 12. Let m be r(-3). Suppose 0 = -m*o - 2*j + 204 + 62, 3*o = j + 263. Is o a multiple of 5?
False
Suppose q + 13 = -5*c, 3*q + 3 = -13*c + 10*c. Suppose -b = -6*b + 2*i + 385, -4*b + q*i = -310. Does 12 divide b?
False
Let n be 7*(1285/35 + -3). Suppose -798 = -g - n. Is g a multiple of 48?
False
Let w be 2592/(-396) - 12/(-22). Let p(t) = -32*t - 183. Does 9 divide p(w)?
True
Let f = 87 - 83. Suppose -5*t + 27 = f*t. Suppose -b = -0*g + 2*g - 244, 5*b - 1185 = -t*g. Does 18 divide b?
True
Suppose -9*k = k + 12*k - 4136. Is k a multiple of 4?
True
Let d be ((-14)/(-7))/((-1)/(-3)). Suppose d*x = 3*x + 222. Suppose 18*a - 20*a = -x. Is a a multiple of 37?
True
Let d(q) = 74*q**2 + 4*q + 2. Let b be d(-1). Let n = -42 + b. Suppose -4*l = 5*s - 201 - n, -5*l + 149 = 3*s. Is 14 a factor of s?
False
Let d be 780/42 + 6/14. Is (d/(-3) - -3)*(-8 - 1) a multiple of 15?
True
Let h(s) = -10*s - 3*s**3 + 18 + 6*s**3 + 11 - 30 - 4*s**2. Does 20 divide h(6)?
False
Let y(h) = 99*h + 1863. Is y(-4) a multiple of 2?
False
Let g = 112 + -110. Is 13 a factor of 24/(-48) + 1611/g?
False
Suppose 12*q - 23*q = -19360. Is q a multiple of 40?
True
Suppose -2*d = 0, 10*c - 9*c = -d + 2116. Is 7 a factor of c?
False
Let o(d) = 49*d + 9. Let q be o(6). Let y = 412 - q. Is 4 a factor of y?
False
Let w = 10079 + -8828. Does 139 divide w?
True
Let q(f) = 6*f**3 + 13*f**2 - 56*f - 55. Is 11 a factor of q(11)?
True
Is 9 a factor of (-51 - -3605)*(-36)/8*-1?
True
Let o(l) = 20*l - 214. Let c be o(10). Let m = c + 289. Does 11 divide m?
True
Suppose 23*n - 10*n - 178009 = 0. Is n a multiple of 118?
False
Let o = 1542 + -1552. Let s(g) be the second derivative of g**5/20 + 5*g**4/6 - g**3/6 + 6*g**2 + 2*g. Is s(o) a multiple of 4?
False
Let d be (-2)/13 + 89515/65. Let w = -803 + d. Is 18 a factor of w?
False
Let d(f) be the second derivative of 13*f**4/6 - 29*f**3/6 + 2*f**2 + 197*f. Is 19 a factor of d(4)?
True
Suppose 36 = -2*a - 74. Let k = a + 13. Let q = 22 - k. Does 3 divide q?
False
Is (96/(-8))/(-2) + 1510/(0 + 5) a multiple of 44?
True
Let a = 19 + -19. Let g(h) = h**3 + 16*h**2 + 6*h - 11. Let o be g(-15). Suppose 2*d = q - 0*d - 136, a = q - 5*d - o. Does 16 divide q?
True
Suppose 111*h - 106*h = 5, -2*y + 2*h = -26978. Is y a multiple of 42?
False
Let y be 4 + (3 - -1) + -4. Let k be 1/(y + 19/(-5)). Is 17 a factor of 169/k - 9/(-45)?
True
Let p = 446 - -1955. Does 13 divide p?
False
Suppose q + 9 = -3*h, -2*h = 5*q + 2 - 9. Suppose -4*i + q*x + 157 = 0, 4*i - 158 = -14*x + 16*x. Is i a multiple of 3?
False
Suppose -21*z + 201904 + 91856 = 123*z. Does 40 divide z?
True
Suppose 2*q - 1093 = 3*v + 2*v, 1105 = 2*q - v. Does 18 divide q?
False
Let t be (3/9)/(1/(18*(-3)/(-6))). Suppose 5*o - 20 = o. Suppose -144 = -o*k + t*k. Is 8 a factor of k?
True
Let v(z) = 2*z**3 + 10*z**2 - 72*z + 12. Is 3 a factor of v(-9)?
True
Suppose 111*n - 115873 - 46409 = 0. Is 14 a factor of n?
False
Let t(x) = -x**3 + 5*x**2 + 5*x + 1. Suppose 0 = 4*a - q - 5, 5*a + 3*q - 4 = 5*q. Suppose -a*r = 5*r + 28. Is t(r) a multiple of 24?
False
Let p(s) = 3*s**3 - 161*s**2 - 25*s + 114. Is 35 a factor of p(54)?
True
Suppose -379593 + 87525 = -21*r. Does 114 divide r?
True
Let v be (-16)/56 - 2696/(-28). Suppose 2*z + 61 + 17 = 0. Let m = v - z. Is m a multiple of 20?
False
Let u be ((0/(-2))/2)/(-2). Let b(x) be the first derivative of x**3/3 + 3*x**2/2 + 46*x - 954. Does 23 divide b(u)?
True
Suppose -53 = -3*c + 5*z, -9*z + 11*z + 8 = 0. Suppose 0 = -3*f + 4*w + 2258, 0 = -15*f + c*f - w + 3036. Is f a multiple of 19?
False
Suppose 2*u + 2*b = 16, 2*u = -u - 2*b + 21. Suppose 3*h - u = -2*w, 4*h = -h - 5*w + 5. Does 19 divide 26*3 + 2*(h + -4)?
True
Is 65 a factor of (5*2933/35)/2*4?
False
Suppose z - 383 = 2*l, -l - 194 = -0*l + 2*z. Let a = 519 - l. Is 79 a factor of a?
True
Suppose 2*x - 20763 = -5*j, 43793 = 4*x - 2*j + 2255. Suppose q - x = -10*q. Suppose q + 154 = 6*l. Is l a multiple of 19?
False
Let m be 15/(-10)*5/(30/(-12)). Suppose 0 = m*l - 28*l + 1050. Is l a multiple of 6?
True
Let d = 1829 - -9063. Does 28 divide d?
True
Let l(a) = a**2 + 8*a + 3. Let b be l(-1). Is 10/(-4)*(b - 1888/40) a multiple of 10?
False
Let i = 10665 + -69. Is 11 a factor of i?
False
Let s(c) = c**2 + 25*c + 11. Let z be s(-25). Suppose -16 = -z*v + 6. Suppose v*m = 7*m - 80. Is 8 a factor of m?
True
Let i = 46 - 44. Suppose -3*f + 7*f - 348 = 4*l, i = l. Is f a multiple of 9?
False
Let s be (1321/(-1) - -2)/((-1)/3). Let b be s/24*2 + 3/12. Suppose -3*w - 2*f = -b, -4*w - f + 445 = -0*f. Does 16 divide w?
True
Let g(v) = -32*v**3 + 3*v**2 + v + 2. Let i = -190 + 188. Does 33 divide g(i)?
False
Let h be (-24)/6 - -2 - -5. Does 12 divide 6/(-9)*(3 - 27)*h?
True
Let j(i) be the first derivative of i**4/4 - 13*i**3/3 + 4*i**2 - 14*i - 323. Let c(o) = -o**3 + 5*o**2 + 2*o + 3. Let h be c(5). Does 45 divide j(h)?
True
Suppose 40 = 4*k - 664. Suppose -4*j + 4*m = -k, -12 = -7*m + 4*m. Does 5 divide j?
False
Let g(v) = v**3 - 22*v**2 + 22*v - 23. Let t be g(21). Let s(c) = 4*c**2 + 3*c - 1. Let x be s(t). Suppose 11*r - 152 = -x. Is r even?
False
Let l(n) = -181*n - 16. Let p be l(4). Let o = -514 - p. Let x = o - 127. Is x a multiple of 15?
False
Suppose -369*v + 16364241 = 2923047. Is v a multiple of 78?
True
Let f(m) = -34*m + 151. Is f(-4) a multiple of 26?
False
Let u(x) = -x**3 - 16*x**2 + 17*x + 5. Let s be u(-17). Suppose 1016 - 386 = -s*g. Is (6/7)/((-6)/g) a multiple of 9?
True
Suppose -4*u - 4*m + 1139 = -2009, 5*m = u - 763. Is u a multiple of 9?
True
Suppose -584 = -2*a - 6*a. Let j = a - 70. Suppose -j*n + 2*n = -10. Does 3 divide n?
False
Let l = -426 - -456. Is 9/90*48*l a multiple of 6?
True
Let u(t) = -2*t**3 + 10*t**2 + 11*t + 7. Let y be u(6). Is 6 a factor of 4 + 1 + 82 + (3 - y)?
False
Let l(k) = -2*k**2. Let r be l(-1). Let p be (-40)/(-5) + r + -2 + 3. Suppose -98 = p*h - 966. Is h a multiple of 16?
False
Suppose 21*o = 20