= y - 3*p. Does 7 divide 12/(-54) - 2/(y/1757)?
False
Suppose -2*o + m = -8367, m - 1 = -6. Is 5 a factor of o?
False
Suppose 0 = 4*g - b - 25424, 3*g + 11963 = 3*b + 31031. Is g a multiple of 16?
False
Let i(m) = 80 + 44*m + 56 + 8*m**2 - 44. Let y(s) = 3*s**2 + 14*s + 31. Let x(g) = -5*i(g) + 16*y(g). Is x(-5) a multiple of 12?
True
Let j = -218 + 2043. Is 25 a factor of j?
True
Let s = -60 + 72. Suppose s*h - 624 = 60. Does 22 divide h?
False
Suppose 5*x = 5*b + 187485, -74*b + 79*b = 4*x - 149983. Is 34 a factor of x?
True
Is (-408872)/(-48) - (-4)/(-24) a multiple of 34?
False
Suppose -31316 + 225436 = 20*g. Is 4 a factor of g?
False
Let p(w) = -7*w**3 + w**2 + 2*w. Let g be p(2). Let y = 38 + g. Let t(l) = l**2 + 7*l - 12. Is t(y) a multiple of 6?
True
Let l(k) = k**3 + 7*k**2 - 5*k + 3. Let d be l(-8). Let r be 2/3*171/2. Let j = r + d. Is j a multiple of 36?
True
Suppose 4*o - 2*o + l + 60 = 0, 0 = -o - 5*l - 48. Let x be (-3 + -1)*(-1799)/o. Let u = -37 - x. Is 44 a factor of u?
True
Let q = 152 + 78. Let z = -139 + q. Let h = 19 + z. Does 10 divide h?
True
Let b = -3318 + 4231. Is b a multiple of 11?
True
Is 40 a factor of 2/(-35) - 3771350/(-1750)?
False
Let r(j) = j**3 + j. Let w be r(1). Suppose f - w*f + 9 = 0. Let n(l) = 14*l - 24. Does 20 divide n(f)?
False
Let p(y) = 9380*y**2 - 144*y + 283. Is p(2) a multiple of 183?
True
Let p = 190 - 166. Suppose -1387 = p*o - 3811. Is o a multiple of 4?
False
Suppose 0 = -2*o + 11 + 1. Let y be 126/(-105)*(-20)/o. Suppose -y*n + 430 = 3*c, 2*n - 3*c - 224 = -0*c. Is 25 a factor of n?
False
Suppose -15*r - 618576 = -91*r - 22*r. Is r a multiple of 24?
True
Let o be (-28)/21*(-9)/(-8)*-2. Suppose -o + 4 = -p. Is (p + -3 + -16)*-1 a multiple of 10?
True
Let y = 317 - 320. Is ((-271890)/(-70))/9 + y/(-7) a multiple of 48?
True
Let o = 45 - 34. Let j(u) = u**2 - 11*u + 6. Let f be j(o). Suppose -y = -s - f - 2, 0 = -4*y + s + 23. Is y a multiple of 3?
False
Suppose -10*c + 21 + 39 = 0. Suppose -c*y + 633 = -495. Is 48 a factor of y?
False
Let m(u) be the first derivative of 7*u**5/20 + u**4/12 + 5*u**3/3 + 10. Let h(s) be the third derivative of m(s). Does 16 divide h(3)?
True
Suppose 3*g - 2*n - 6132 = 965, -g + 5*n = -2357. Is g a multiple of 5?
False
Is 9847/687*(132*51)/3 a multiple of 8?
False
Suppose 0 = -12*p - 22 - 26. Is p*(-175 - (-6 + 5)) a multiple of 29?
True
Let k = 4246 - 2350. Does 79 divide k?
True
Let m = 29026 - 19762. Is 6 a factor of m?
True
Suppose -3*g - 4*n = -3100, -5156 = -5*g - 4*n - 0*n. Suppose 0 = 6*r - 2*r - y - 1364, 0 = 3*r - 2*y - g. Is 34 a factor of r?
True
Let d = 36755 + -28323. Is 31 a factor of d?
True
Let h(x) be the third derivative of x**5/4 - x**4/12 - 16*x**3/3 + x**2 + 112. Is 6 a factor of h(-4)?
True
Suppose -5*u = -0*u. Suppose 168*p - 30 = 163*p - 4*f, 3*p - 4*f + 14 = 0. Suppose -4*a + l + 264 = u, a = 5*a + p*l - 276. Is 7 a factor of a?
False
Let x = -96 + 82. Does 14 divide 28/((-49)/x + -3)?
True
Let x(p) = 219*p + 1514. Is 17 a factor of x(9)?
True
Suppose 116*f - 2510496 = 71*f - 139*f. Does 113 divide f?
False
Let b be -4 + -10*(-1)/2. Let o be (3*(0 - (-2 + 1)))/b. Is -5*(o/(-15) + -3) a multiple of 4?
True
Let v(o) = o**2 + 13*o + 19. Suppose -2*b + 2*u + 172 = 0, 5*u = 2*u. Suppose 0 = -9*q - b - 31. Is 6 a factor of v(q)?
False
Let m(n) = -24*n + 100. Let q be m(4). Let u(w) = -w + 1. Let g be u(-3). Suppose -4*b = q*c + c - 95, 4*c = -g. Is b even?
False
Suppose 4*c = -8, -15303 - 3346 = -5*r + 2*c. Is 11 a factor of r?
True
Let k(y) = 1252*y**2 - 8*y + 33. Is 67 a factor of k(2)?
True
Let h be (6 - 0)/((-4)/(32/(-12))). Suppose -4*l = h*p - 4096, p + 32 = 27. Does 19 divide l?
False
Suppose -3*q + 11*z = 15*z - 2920, 4*q = 4*z + 3940. Does 5 divide q?
True
Let g(u) = -46*u + 316. Is 9 a factor of g(1)?
True
Suppose 0 = 76*r - r - 49847 - 75478. Does 3 divide r?
True
Let t = 127 + -116. Suppose 25*r - t*r - 2156 = 0. Does 14 divide r?
True
Let c = -245 - -246. Does 25 divide 6/(-5 - c) + 298?
False
Let l(n) = 162*n - 2011. Does 28 divide l(43)?
False
Is (-34677)/(-21) + -1 + (-234)/819 a multiple of 3?
True
Let o = 5143 + 602. Is 2 a factor of o?
False
Suppose -19*l + l + 72 = 0. Suppose -7*o + 1375 = l*o. Does 4 divide o?
False
Suppose 0 = -5*w + 4*j + 36 - 161, 4*w + j = -100. Let v(m) = -23*m - 55. Let p(d) = -33*d - 82. Let g(h) = 5*p(h) - 7*v(h). Is g(w) a multiple of 15?
True
Does 11 divide ((-62)/8)/(9/(-6588))?
False
Let c(d) = -58*d + 4. Suppose -3*s - 112 = 3*j + s, s = -3*j - 109. Let w be ((-3)/(-9))/(6/j). Is c(w) a multiple of 24?
True
Let v(s) = 1130*s**2 - 91*s + 356. Is 12 a factor of v(4)?
True
Let t be 168/9*249/4. Suppose 0 = -2*k - 4, 2*l = 3*k + t. Does 40 divide l?
False
Let c = 10359 - 8143. Is c a multiple of 16?
False
Suppose -1212 + 4992 = -10*q. Let r = q - -478. Does 25 divide r?
True
Let z be 3/(-7) - (-87)/203. Suppose -2*p - 3*t + 532 = z, -237 - 31 = -p - t. Is 17 a factor of p?
True
Let n be -2*(0 + (-9)/(-6)*-3). Suppose 0 = 5*x - n*x - 60. Let l = x + 43. Is 7 a factor of l?
True
Let s(n) be the third derivative of -n**6/120 - 11*n**5/60 - 5*n**4/12 + n**3/2 - 17*n**2. Let h be s(-10). Suppose -h*i - 4*i = -56. Is 8 a factor of i?
True
Let x(h) = -3*h + 1. Let y(a) = 18*a + 4. Let c(o) = -4*x(o) - y(o). Is 3 a factor of c(-7)?
False
Suppose -f = -246 + 48. Suppose -13*y + 15*y = -30. Does 3 divide (-20)/y*f/4?
True
Let v = 386 + -227. Let j(t) = -t**3 + 6*t**2 + 4*t - 7. Let c be j(4). Let x = v + c. Does 40 divide x?
True
Suppose 0 = 17*j + 551*j - 24238832. Is 349 a factor of j?
False
Suppose 0 = -x - x + 5*i + 32, -x - 3*i = -38. Let p = 162 + -152. Suppose p = r - x. Is r a multiple of 4?
True
Suppose -7*l = 61841 - 216884. Suppose 0 = 16*c - 39*c + l. Is c a multiple of 9?
True
Let c = -19 - 53. Let u = -69 - c. Is u even?
False
Let g = -27 + 51. Is 4 + ((-152)/g)/(1/(-12)) a multiple of 4?
True
Let k(p) = 58*p + 52*p + 59*p + 58*p + 24 - 226*p. Suppose -3*c - 13 = 41. Is k(c) even?
True
Suppose -414 = 45*z - 48*z. Suppose -141*w + 1617 = -z*w. Is 16 a factor of w?
False
Suppose -6 = 3*a - 5*h, h - 5 + 17 = 5*a. Let k be (-9)/a + 8 - -5. Let n(z) = 21*z - 45. Is 32 a factor of n(k)?
False
Let j be 326 - 0/(-4 + 2). Suppose -2*s = -4*w - j, w = s + 2*w - 166. Does 33 divide s?
True
Let q(z) be the second derivative of 13*z**5/5 + z**4/6 + z**3/6 - z**2 + 59*z. Does 53 divide q(1)?
True
Suppose -5*u = 4*u + 9. Let x be -2 - -5 - (-105 + (u - 1)). Let z = -70 + x. Is z a multiple of 8?
True
Let g(l) = l**2 - 8*l - 12. Let q be g(-5). Let i(p) = 32 + 10*p - q + 0*p**2 + p**2. Is 25 a factor of i(6)?
True
Let i(a) = -a**3 + 11*a**2 + 26*a + 3. Let m be i(13). Suppose 0 = -22*h + 19*h + 4*z + 2653, 3*z - 2625 = -m*h. Does 51 divide h?
False
Suppose 4*i = 2*l + 2*i - 31232, -4*l = -i - 62485. Is l a multiple of 17?
True
Suppose 3*z + 429 = 14*z. Suppose 3*d - 528 = -z. Does 5 divide d?
False
Let t(v) = -204*v + 1420. Is 12 a factor of t(-7)?
False
Let z be -1 - 12/(-3) - -6. Let b(n) = n**3 - 10*n**2 + 11*n - 20. Let y be b(z). Is 17 a factor of 12129/143 + y/(-11)?
True
Suppose 2*x = -2*z - z + 1, -5*x = -4*z - 60. Suppose x*h + 118 = 622. Does 11 divide h?
False
Suppose 765 = 19*w - 2*w. Is w a multiple of 9?
True
Suppose -3*a = -3*x - 57, 5*x = a - 0*x - 31. Let q be 4/(-12) + a/(-6). Does 7 divide (2 + 77/(-14))*(q + 1)?
True
Let v = 13 - 13. Suppose 2*o + 3*f - 128 = 0, -108 = -2*o - v*f + 2*f. Suppose -3*n + 148 - o = 0. Does 13 divide n?
False
Suppose 21 = -g + 25. Let r be (-9)/((-36)/(-8)) + g. Suppose -r*k + 4*k - 220 = 0. Is k a multiple of 17?
False
Suppose -4*a + z = -0*z - 1197, -5*a - 3*z = -1509. Suppose 78*s = 80*s - a. Does 44 divide 15/(-5) + s + -4?
False
Suppose 0 = 2*t + 121 - 469. Suppose -4*c = 5*a - 4298, -c + 1892 = 2*a + t. Is a a multiple of 13?
True
Let u(v) = -7*v**2 + 4*v - 3. Let o be u(1). Does 5 divide 8 - (o - -18) - -94?
True
Let o(q) = -q**2 + 8*q + 25. Let c be o(10). Suppose -2*m = c*t - 1290, -4*m = -t + 97 + 183. Is 20 a factor of t?
True
Let j = 43 + -51. Let y = j + 12. Suppose y*d = r + 103 + 40, -3*d = 5*r - 113. Is d a multiple of 16?
False
Let x be (-4)/(-18) + 160/90. Suppose 3*w - 144 = -2*q, 4*w - 4*q = x*w + 80. Is 23 a factor of w?
True
Let r 