 a multiple of 44?
True
Is (-5 + 24128/(-20) + -4)*(-28 - -23) a multiple of 68?
False
Let p(l) = l**3 - 24*l**2 + 32*l - 39. Let f be p(23). Suppose -33*y + f = -30*y. Suppose -y*b = -62*b + 612. Does 17 divide b?
True
Let t(a) = a**2 - 4*a + 203. Let n be t(36). Suppose 3*x = 4*k + 1331, -2*k = -3*x - 4*k + n. Is 12 a factor of x?
False
Suppose -3*u + 9863 = 2*g, g + u + 0*u - 4930 = 0. Suppose 6*r + 7*r = g. Does 39 divide r?
False
Let s = 34504 - -7750. Does 19 divide s?
False
Suppose 0 = 3*u + 9*u - 2676. Let g = 376 - u. Is g a multiple of 51?
True
Suppose 94*q = 51*q + 51*q - 1680. Is q a multiple of 3?
True
Let c be 2/(-1)*-2 + (-29 - -30). Suppose 4*x = -4*z + 1292, z - 341 - 1282 = -c*x. Does 25 divide x?
True
Does 7 divide 6/36*42 + 1869/1?
True
Suppose -p = -2*n - 5997, -3*p = -n + 2*n - 17984. Is 109 a factor of p?
True
Suppose 5*s + 17*g - 482 = 18*g, -14*g + 602 = 5*s. Is s a multiple of 25?
False
Is ((-345321)/(-8) - (-26)/(-208)) + -5 a multiple of 130?
True
Let y = -84 - 413. Let j be -1 - y/(3 - 2). Suppose 2*t = -2*t + j. Does 31 divide t?
True
Let z = 3102 + 888. Is 15 a factor of z?
True
Let o be 9/(-1)*(-94)/141. Does 17 divide 2855/o + 51/306?
True
Let t(r) = 8*r + 1233. Is 16 a factor of t(-71)?
False
Suppose -66268 = -5*w - 4*l - 16109, 4*w = -4*l + 40132. Does 17 divide w?
False
Let u = 202 + -202. Suppose -77 = -2*n - 5*j, 7*j - 5*j - 10 = u. Is n a multiple of 9?
False
Suppose -30*b - 1331017 = 187*b - 3796137. Does 5 divide b?
True
Suppose -5*j + 20 = q, 0*q - 10 = 5*j - 5*q. Suppose 2*z + 4 = 5*m - 52, -j*z - 54 = -5*m. Does 21 divide 6/m*298 - (-1 + 3)?
True
Let l = 36783 - -7401. Does 24 divide l?
True
Suppose -140*m + 137*m + 5*r + 24185 = 0, 4*r + 16122 = 2*m. Is 71 a factor of m?
False
Suppose -9*i + 1659 = -1239. Let u = i + -194. Is 16 a factor of u?
True
Let y(b) = -b**2 - 84*b - 141. Is 13 a factor of y(-55)?
False
Let x = -1621 - -2485. Let t = 4 + 1. Suppose 0 = 3*u + t*c - x, 3*u + 4*c - 576 = u. Is u a multiple of 16?
True
Suppose -4*s - 20 + 28 = 0. Suppose -4*j + 16 = -4*w, 2*j - 15 = 5*w - s*j. Is 6 a factor of w - 65/(-2)*(-8)/(-10)?
False
Is 2/(-16) - ((-370250)/(-80))/(-25) even?
False
Let a(m) = -219*m - 6. Let g be a(-2). Suppose -15*n = -19*n - g. Let y = 185 + n. Does 49 divide y?
False
Suppose 7*o - 677 = 34*o - 153848. Does 15 divide o?
False
Let n(f) = 14*f**2 - 2*f**3 - 26 + 5*f**3 - 3*f**3 + 23*f + f**3. Let u = 130 - 141. Is 14 a factor of n(u)?
True
Let b(h) = -h**2 + 2*h - 10. Let g(z) = -2*z + 11. Let q(a) = -4*b(a) - 5*g(a). Is 65 a factor of q(7)?
True
Suppose 4*y = 2*f - 820, f - y = -60 + 475. Is 10 a factor of f?
True
Suppose 5*w + 1702 = 4*d, -3*w - 582 - 2431 = -7*d. Let x = 93 + -397. Let g = d + x. Does 17 divide g?
False
Let w(m) = 6*m. Let b be w(2). Suppose -b = -3*x - 0*x. Suppose 0 = 6*v - x*v - 140. Is 14 a factor of v?
True
Suppose 429*r = 464*r - 92610. Is r a multiple of 9?
True
Suppose -532*s + 529*s = -252. Is 14 a factor of (147/s)/((-1)/(-48))?
True
Suppose -17*q + 12*q = 0. Suppose a + 244 - 41 = 4*m, m + 3*a - 67 = q. Does 12 divide m?
False
Suppose 9*p - 14371 = 4430. Suppose 3*f - 6*j + j = 2101, -3*f - j = -p. Does 58 divide f?
False
Let w be (-2)/(-6) - 9036/(-27). Let y = w + -97. Does 38 divide y?
False
Suppose 51*h - 13*h - 84170 = 0. Does 10 divide h?
False
Suppose 0 = 2*l + 1717 - 4435. Is 10 a factor of l?
False
Let s(p) = -31*p**3 - 44*p**2 + 23*p + 10. Is 19 a factor of s(-9)?
False
Suppose -7*r + 0*r = 21. Let m be (-4)/(-5)*(r + (-6 - -4)). Is 7 a factor of (-2)/m*-9*2*-3?
False
Let j(h) = 29*h + 203. Let i be j(-7). Let q(g) = -g**3 + 2*g + 126. Does 18 divide q(i)?
True
Let k(v) = -121*v**2 + 10*v - 2. Let i be k(3). Let m = -580 - i. Is 8 a factor of m?
False
Let i(k) = -10*k**3 + 3*k**2 + 2*k + 2. Let u be i(-3). Let o = 17658 + -17122. Let n = o - u. Does 15 divide n?
False
Suppose -11*h = -12*h + 46. Suppose 2*a - h = 44. Suppose 44*x + 51 = a*x. Does 3 divide x?
True
Suppose -120 = 12*w - 2*w. Let v = w + 24. Is v a multiple of 4?
True
Suppose -3*f - 9 = -u, -3*u + 6*u + 2*f = 5. Suppose -4*b + 1296 = 5*s, u*s - 6*s + 772 = b. Is 16 a factor of s?
True
Let f be (-5)/(-4 + (-9)/(-6)). Let o(b) = 1 - b**3 - 12 + 4 - 10*b + 16*b**f. Is o(15) a multiple of 30?
False
Let k(g) = -g**2 + 1. Let y(t) = -68*t**2 + t - 3. Let f(s) = -2*k(s) - y(s). Let b be (3/(-15))/((-9)/(-15))*-3. Is 12 a factor of f(b)?
False
Let b(m) = 3*m**3 - 19*m**2 + 27*m - 446. Is b(16) a multiple of 39?
True
Suppose 4*g - 228 = -0*g + 4*c, 0 = -3*g + c + 177. Suppose 0 = -45*i + g*i - 4845. Is i a multiple of 19?
True
Let d be 64720/25 + 3/15. Suppose 0 = 5*q - 25, -51 - d = -5*g + 4*q. Is 19 a factor of g?
True
Let v = -4058 + 4478. Is 30 a factor of v?
True
Let q(n) = -50*n + 166. Let d(p) = -5*p**2 - 29*p - 26. Let t be d(-5). Is q(t) a multiple of 38?
False
Suppose 5973 + 433814 = 45*c - 128788. Is c a multiple of 7?
True
Let j = -268 + 269. Does 3 divide j/((-1)/(-107)) - -2?
False
Let s = 263 + 106. Does 6 divide s?
False
Let k(b) = 21*b - 118. Let x be -6*(2/(-5) - (-406)/(-435)). Is k(x) a multiple of 4?
False
Suppose -c + 4*c = -3*m - 3, c = -3*m - 11. Suppose -c*h + 815 = 5*j - 1185, 25 = 5*h. Does 18 divide j?
True
Let w be (-544)/204*(-642)/4. Let j = -105 + w. Is 17 a factor of j?
True
Suppose 4*u = 2*z + 2*z - 204, -z + 69 = 5*u. Let d be (8/6)/((-18)/z). Let l = 9 - d. Does 3 divide l?
False
Let x be 8/(-5) + 2 + (-2074)/10. Let y = 309 + x. Suppose -5*p = 3*r - 146, 0 = -3*p - 3*r + 6*r + y. Does 24 divide p?
False
Is 2940 + 12 + -12 + 18/2 a multiple of 49?
False
Suppose 4*a + 5*z = 12, -5*z = 2*a - 0*a - 16. Does 19 divide 3 + a + (-4 - 1) + 61?
True
Suppose -1144*b - 259047 - 47553 = -1164*b. Is 42 a factor of b?
True
Let b(r) = 3247*r + 1252. Does 8 divide b(6)?
False
Suppose u - 16 = -195. Is u/1*(-12 - -11) a multiple of 4?
False
Let i(v) = -v**2 - 8*v + 616. Let q = 394 - 394. Is i(q) a multiple of 14?
True
Let z(b) be the second derivative of -b**4/12 - 13*b**3/6 - 11*b**2/2 + b. Suppose k + 5 = -2*s, -33 - 16 = 5*k + 2*s. Is z(k) a multiple of 7?
False
Suppose 12982 = 53*n - 50*n + 2*r, 21632 = 5*n + 4*r. Does 38 divide n?
True
Suppose 294462 = 31*g + 51*g. Does 19 divide g?
True
Let n(t) = 115 - 32*t - 29*t - t**3 + 62*t. Does 6 divide n(0)?
False
Suppose -3462*l + 3478*l - 56816 = 0. Is l a multiple of 53?
True
Let o = 56 - 52. Suppose -21 = o*a + 35. Is 4560/25 + (a/10 - -1) a multiple of 22?
False
Does 66 divide ((-742)/84 - -9) + 12149/6?
False
Suppose -17*u + 528 = 27*u. Is 20536/16 + (-6)/u a multiple of 36?
False
Suppose 0 = -13*v + 11*v + 80. Let l(b) = -3 + 7*b - v*b + 13*b + 7*b. Is l(-11) a multiple of 35?
True
Let z = 11092 + -6834. Suppose z - 933 = 7*k. Is k a multiple of 25?
True
Suppose 2*q - 224 = -6*q. Let x be 2416/28 + (-8)/q. Suppose 2*t = 2*z - x, 4*z - 3*t - 241 + 67 = 0. Does 9 divide z?
True
Let t = 101 + -67. Suppose 12*f = -551 + 911. Suppose -t = -k - f. Does 4 divide k?
True
Suppose 0 = -357*x + 317*x + 205760. Is x a multiple of 42?
False
Let g = 52172 - 32281. Does 46 divide g?
False
Is 51 a factor of ((-110)/(-20))/((-7)/(-6034)) + 2?
True
Suppose 0 = 4*v + 6*h - 2*h - 688, 5*h = -3*v + 518. Suppose 5 = 5*q, -5*b + 1688 = -q - v. Is 12 a factor of b?
True
Let z(w) = -9*w**3 - 17*w**2 + 4*w + 1. Let q(y) = y**3 - 2*y**2 + y + 1. Let d(p) = 5*q(p) + z(p). Is 16 a factor of d(-8)?
False
Let a(l) = 21*l + 19. Let u be a(7). Suppose -270 = 3*s - 4*p, -4*p + 45 = -s - 37. Let m = s + u. Does 17 divide m?
False
Let j = 40780 - 35782. Is j a multiple of 17?
True
Suppose 2*n = 2*g - 76378, 2*g + 2*n - 76354 = n. Is g a multiple of 33?
True
Let b(y) = -2 - 8*y + 3*y**2 + 2*y + 5. Let g be b(2). Does 9 divide (-9)/((9/g)/(-15))?
True
Suppose 2*g - 19325 = 5*o + 103265, -61295 = -g + 3*o. Is g a multiple of 270?
False
Let p = -6 - 54. Let f be -24 + ((-124)/(-8) + -16)*3*2. Let d = f - p. Does 4 divide d?
False
Let l(y) = 3*y**3 + 29*y**2 - 31*y + 131. Let d(i) = 2*i**3 + 29*i**2 - 32*i + 130. Let h(c) = 4*d(c) - 3*l(c). Does 32 divide h(27)?
True
Let b = -317 + 456. Is 2 a factor of b?
False
Let d = 569 + -548. Suppose d*u - 9166 - 6668 = 0. Is 8 a factor of u?
False
Let l be 1*1/4 + (-42)/(-24). Suppose -3*i = l*i + 5