-5635. Is (3 - 5) + n + 3 a multiple of 24?
False
Let k(z) = -120*z + 2606. Is 87 a factor of k(-9)?
False
Suppose 2*x + 5*b = -11725, 2*x + b - 1654 = -13359. Is ((-2)/(-3)*-2)/(30/x) a multiple of 22?
False
Suppose -52779 = -14*p + 8*p - u, 2*p + 4*u = 17604. Is 44 a factor of p?
False
Suppose 29*z + 36*z - 69290 = 0. Let l = -1022 + z. Does 2 divide l?
True
Let a be (-1)/((-4)/(-18))*(-18 + 16). Suppose -2*u + 9 = a. Suppose 2*t + 3*t - 245 = u. Is 9 a factor of t?
False
Let b = 82 + -79. Suppose -y = -3, 2*o - b*y + 0*y = 591. Is o a multiple of 50?
True
Let i = -161 + 511. Is i a multiple of 10?
True
Suppose 12*b = -205 + 265. Suppose -k + b*s + 64 = 0, -3*k - 3*s - 59 = -179. Does 11 divide k?
True
Suppose 33*w = 634190 - 140675. Is w a multiple of 15?
True
Let m(p) = -139*p**3 - 10*p. Is m(-5) a multiple of 47?
False
Let t be (-3747)/(-2)*(100/30)/5. Let v = t + -405. Is v a multiple of 26?
False
Is 2 a factor of (-1)/(-6) + 29/((-1740)/(-38870))?
True
Let c(s) = 6*s + 4. Suppose 35*g + 30 = 30*g. Let h be c(g). Let j = h - -40. Does 5 divide j?
False
Suppose -26*s + 31*s - 12715 = 0. Does 10 divide s?
False
Let l = 1962 + -1635. Is 14 a factor of l?
False
Let g(l) = -10*l**2 - 6*l - 11. Let p be g(-2). Let s = p + 79. Suppose -3*y + s + 38 = 0. Does 20 divide y?
False
Let c(g) = g**2 - 6*g + 9. Let h(t) = 8*t - 4. Let p be h(1). Let u be c(p). Is 8 a factor of (25*4 - u) + -3?
True
Suppose 9897 - 1584 = 17*g. Suppose -591 = -6*s + g. Does 12 divide s?
True
Let h be -1 + 9/((-27)/276) + -3. Is 32 a factor of h/9*(-9 + -12)?
True
Suppose 29183 + 20713 + 5616 = 6*r. Is r a multiple of 47?
False
Let y be -3*1236/54*6. Let v = y + 595. Is v a multiple of 10?
False
Let t(x) = 13*x**2 + 29*x + 62. Does 28 divide t(-23)?
True
Let d = 95 + -159. Let b = d - -62. Does 11 divide (140/(-49))/(b/119)?
False
Suppose 3*o = -3*a - 9, 2*a + 3*o + 0 + 11 = 0. Suppose 2*q - 12 = -a*q. Is (-135)/(-2 - q) - 3 a multiple of 12?
True
Suppose -l = -6*l + 40. Suppose -2*b + 5*c - 2 = -b, -4*b = -4*c + l. Does 10 divide b + 64 - (-15)/(-5)*-1?
False
Suppose 10*k - 33 = -k. Suppose 0 = 2*i - 4*m - 190, 0*m = i + m - 80. Let r = i + k. Is 22 a factor of r?
True
Suppose 4*i - 22 = -2*u - 10, 0 = 4*i - 4*u - 24. Let h be 147/14 - 4 - (-6)/i. Suppose -10*x = -h*x - 158. Does 13 divide x?
False
Let v(j) be the third derivative of j**7/5040 + 2*j**6/45 - 7*j**5/30 - 13*j**2. Let l(m) be the third derivative of v(m). Does 26 divide l(10)?
False
Suppose 4*h + 7*t - 115 - 88 = 0, -3*t = -2*h + 69. Is 21 a factor of h?
True
Suppose 5*p = -5*x + 100285, -262*p - 3*x = -260*p - 40107. Is 44 a factor of p?
True
Is 300*(20 + -7 + -6 - -3) a multiple of 100?
True
Suppose 163834 + 190806 + 144803 = 17*k. Is k a multiple of 21?
True
Let m be 216 - ((-36)/(-6) - 4). Suppose -26 = -5*d + m. Does 7 divide d?
False
Suppose 758 - 8688 = -5*m. Suppose -m = -10*s - 426. Does 29 divide s?
True
Let n be ((-240)/140)/((-1)/7). Let w(f) be the second derivative of f**4/6 - 23*f**3/6 - 3*f**2 + 2*f. Is w(n) a multiple of 6?
True
Let j(a) = 76*a**2 - 20*a + 31. Let v(h) = -15*h**2 + 4*h - 6. Let s(x) = -2*j(x) - 11*v(x). Is s(-6) a multiple of 12?
False
Let a(k) = -5*k - 124. Let v be a(-26). Let l(q) = -q**3 + 8*q**2 + 3*q - 10. Is l(v) a multiple of 16?
True
Suppose 55 = 4*g - 5*s, -g + 38 = 4*g + 4*s. Let t(p) = 9*p**2 - 9*p + 6. Is 102 a factor of t(g)?
True
Suppose -29*x = -31*x - 4. Let h = -19 + x. Is (-351)/h - 8/(-28) a multiple of 2?
False
Let n = 2246 + -1074. Suppose 0 = -2*r + 2*h - 6*h + n, 2368 = 4*r + 2*h. Is 54 a factor of r?
True
Let i(z) = 7*z**3 + 11*z**2 - 3*z + 6. Is 65 a factor of i(7)?
True
Let v(z) = -z**3 - z**2 + 11*z - 9. Let o be v(4). Let d = o - -41. Does 4 divide ((-2)/(-2) + -3)/(d/122)?
False
Let o(v) = 10*v**2 - 143 + 147 - 12*v - 6*v**2. Let r = -5 + 10. Is o(r) a multiple of 22?
True
Let f(y) = 7*y**2 + 9*y - 172. Let q(t) = 15*t**2 + 19*t - 345. Let p(r) = -13*f(r) + 6*q(r). Let x be p(0). Suppose -26 - x = -2*w. Is w a multiple of 11?
False
Let g(d) be the third derivative of d**6/144 + d**5/60 + d**4/12 + 8*d**2. Let n(v) be the second derivative of g(v). Does 6 divide n(2)?
True
Let g(y) = 1651*y - 8528. Is 117 a factor of g(35)?
True
Let m(u) be the second derivative of 5*u**3 - 3*u**2/2 + 27*u. Let x be m(1). Suppose -30*j + 180 = -x*j. Is j a multiple of 10?
True
Is 1*((-14)/(-10) - 2) + 1131248/80 a multiple of 14?
True
Let k be ((-6)/(-10))/((4 + 0)/20). Let j be k*(-1523)/(-39) + 4/(-26). Is ((-431)/4)/(-1) + j/(-156) a multiple of 10?
False
Let c be -2 + (-54 - (-3 - -3)). Let r be 7*(-4)/c + (-238)/(-4). Suppose 0 = s - 2, 3*s + r = 2*u - s. Is 13 a factor of u?
False
Suppose -913275 + 313516 - 3235258 = -369*o. Is o a multiple of 21?
False
Let x = 2 + 1. Suppose -2*n = -x*n + 198. Let g = 334 - n. Does 35 divide g?
False
Does 44 divide -3 - ((-55100)/(-12))/(2 + (-35)/15)?
True
Let d(a) = 4*a**3 - 2*a - 15. Suppose -3*y = q - 3, -13*q + 11*q + 6 = 4*y. Is 3 a factor of d(q)?
True
Suppose -22*f + 1448 + 37162 = 0. Does 52 divide f?
False
Let p(j) = j**3 + 6*j**2 - 6. Let f be p(-6). Let z be (-51)/f + (-1)/2. Does 18 divide (-645)/(-12) - (-2)/z?
True
Let d be 0 - -2 - (71 + 5). Suppose 464 = -3*k + j, 0*k - 157 = k + 2*j. Let y = d - k. Is y a multiple of 13?
False
Suppose -3*t - 7424 = -4*w, -2*w + 6*t = 7*t - 3712. Is 104 a factor of w?
False
Let q(d) = d**3 - 33*d**2 - 8*d - 44. Is q(34) a multiple of 15?
True
Suppose 280 = 4*q + 5*j, 0 = 5*q + j - 2*j - 350. Let n be (-4)/5 + 52/(-10). Does 5 divide (-1 + 2)*n/(-6)*q?
True
Let l be 72/((-52)/(-17) + -3). Suppose -l = -12*n + 3*n. Is 19 a factor of n?
False
Suppose -88 = -5*x - 0*h - 3*h, 4*h - 24 = -2*x. Let m(i) = 25*i + x - 12*i - 14*i - 4. Is m(-4) a multiple of 20?
True
Let z(l) = l**3 + 47*l**2 + 18*l + 109. Is z(-29) a multiple of 25?
True
Let o(i) = i**3 - 9*i**2 - 2*i**2 + 2*i - 20 + 2*i**2 + 0*i. Let a be o(9). Does 3 divide (-33 + (-1 - -4))/(3/a)?
False
Let f be ((-64688)/(-48) - 2/3) + -2. Suppose -9*s + 14*s + f = 3*c, -2*c + 2*s = -890. Is 5 a factor of c?
True
Suppose -31*t = -23*t + 1488. Let l = t - -249. Does 63 divide l?
True
Is 134 a factor of 43244 - ((-3)/(-2) - 377/58)?
False
Suppose -454*w + 3*s + 6869 = -452*w, -2*w + 6873 = s. Is 16 a factor of w?
False
Suppose 2*n + n - 483 = 3*y, 507 = 3*n + 5*y. Suppose -389 = -7*i + n. Is 13 a factor of i?
False
Let w(n) = -12*n**2 + 26*n - 6 - 12 + n**3 - 11*n. Let s be w(12). Suppose s = d + 49. Is d a multiple of 12?
False
Let u be ((-33)/6)/(4/8). Let m(s) = -6*s + 44. Is m(u) a multiple of 22?
True
Let o be 95/76 - (-5)/(-4). Suppose -3*c + u = -679 - 171, -5*c + 4*u + 1405 = o. Does 38 divide c?
False
Suppose 2991 = 5*n + 3*x - 203, 1288 = 2*n - 4*x. Does 5 divide n?
True
Let f(v) = -v + 1238. Is 37 a factor of f(-18)?
False
Let f be ((-190)/(-76))/((2/144)/1). Suppose 5*m + f = 11*m. Does 18 divide (m/18)/(1/12)?
False
Let o(b) = b**3 - 17*b**2 + 16*b + 23. Let u be o(16). Suppose u*f = -23*f + 38640. Does 30 divide f?
True
Let k be -1 - (-2 - (1 - 3)). Let b be (-55)/4 + 2 + (-72)/32. Let q = k - b. Is q a multiple of 10?
False
Let j(o) = -o**2 + 5*o - 1. Let s be j(-5). Let h = s + 55. Is 6 - 6 - -23*h a multiple of 46?
True
Suppose -888 = -4*l + g, -4*l + 15*g + 888 = 19*g. Let m = 321 - l. Does 3 divide m?
True
Suppose 0 = -3*p - 8*p - 3157. Let r = p - -530. Suppose -5*o + 57 = -r. Is o a multiple of 10?
True
Let r = 147 - 150. Does 27 divide (1/r + -3)*1134/(-4)?
True
Suppose 0 = 1935*d - 1937*d - 4, -14260 = -3*y + 2*d. Is 12 a factor of y?
True
Let x = 15 - 36. Let v = 27 + x. Does 6 divide v/2 - 216/(-9)?
False
Let q(x) = 75*x - 729. Is q(69) a multiple of 68?
False
Let m = -376 + 533. Let k = m - 43. Is k a multiple of 19?
True
Let w = -81 + 83. Suppose w*i + 3*i = 455. Does 13 divide i?
True
Let d(y) = 14*y**2 - 4*y - 19. Suppose 0 = -3*b + 2*x - 5*x - 9, -2*x = 5*b + 21. Does 27 divide d(b)?
True
Suppose 4*b - 2419 = -3*m, 3030 = 5*b - 0*m + 5*m. Let c = b - 481. Is 10 a factor of c?
True
Suppose -3*n - x + 26357 = 0, 38*n + 5*x + 35149 = 42*n. Does 23 divide n?
True
Let a = -692 + 978. Suppose 4*z - 3*r - 378 = -5*r, 3*z = -r + a. Let b = z - -106. Is 15 a factor of b?
False
Let a be (-966)/(-5)*(61 -