 0 - 144/21 - (-34)/(-238). Let z(x) = x**3 + 13*x**2 + 18*x + 10. Does 6 divide z(v)?
False
Let c(n) = -246*n - 264. Suppose 2*p = -22 + 12. Is 23 a factor of c(p)?
True
Is 13 a factor of 50 + -1 + 360/(-72)?
False
Suppose 3*s + a = 6*a + 61, s - 32 = 4*a. Suppose 2*c = 2*d + 512, s*c - 2*d - 1283 = 7*c. Is c a multiple of 17?
False
Suppose -2*z = 3*z + 5, 4*h + z - 11 = 0. Let l = -157 - -228. Suppose 3*g - 34 = 5*b + 19, -h*g - 4*b = -l. Does 3 divide g?
True
Let m = 10381 + -3101. Is m a multiple of 208?
True
Let p(o) = -o**2 - 15*o - 32. Let d be -1 + (-4 - -4)/4 + -3. Does 6 divide p(d)?
True
Let s(q) = -3177*q - 2838. Is s(-7) a multiple of 72?
False
Let g be (-159)/(-18) + (4/(-24))/(-1). Let h(n) = g + 3 + n**3 - 3 - n + 4*n**2 - 5. Is h(-4) a multiple of 4?
True
Let s(g) be the first derivative of -g**4/4 - 2*g**3/3 - 3*g**2/2 + 151*g - 94. Does 6 divide s(0)?
False
Suppose 4*f = -o + 19, 3*f - 9 = -5*o + 6*o. Suppose 2*g = -4*b + 172, 2*b = -o - 5. Let m = 159 - g. Does 16 divide m?
False
Suppose 10*w = -13*w + 4623. Let p = w + -41. Is p a multiple of 8?
True
Let a = -111 - -111. Suppose a = -8*c + 5*c + 537. Is c a multiple of 12?
False
Suppose 6*c = -3*w + c + 189052, -w + 63010 = -2*c. Is 27 a factor of w?
False
Suppose 3*s = 3*h - 81 - 63, -h = -5*s - 232. Let f(d) = -d**3 - 47*d**2 - 48*d - 42. Is f(s) a multiple of 5?
True
Suppose o - 4*q - 44 = -9*q, -q = -4*o + 92. Let h = o - 7. Is 11 a factor of h/(102/216) - (2 - -1)?
True
Suppose -w + 4*v + 987 = -v, -1969 = -2*w + 5*v. Suppose -h - 329 = -k - 2*h, -3*k - 4*h = -w. Does 7 divide k?
False
Let h = 466 - -13. Let n = 973 - h. Is 23 a factor of n?
False
Let p be (104/78)/((-4)/(-6)). Let z(t) = 5*t**3 - 3*t**2 + t + 4. Is z(p) a multiple of 34?
True
Suppose -76*d + 32*d + 57640 = -33*d. Is d a multiple of 40?
True
Let f = 12035 - 6962. Is 109 a factor of f?
False
Suppose d + 2*d = 135. Let h = -57 + d. Let w = h + 69. Does 19 divide w?
True
Suppose 17*p = 7*p - 1770. Let u = -87 - p. Does 18 divide u?
True
Suppose 639*d - 622*d = 1224. Let o be (371/1)/1 - 0. Suppose 4*a = 5*c - 541 + d, 0 = -4*c - a + o. Is 23 a factor of c?
False
Let l(a) be the second derivative of a**4/12 + 3*a**3/2 - 5*a**2/2 + 19*a. Let w be l(-15). Let o = w - -76. Is 23 a factor of o?
True
Let v(g) = -3*g - 44. Let y be v(14). Let t = 12 - y. Does 49 divide t?
True
Let g(d) = 16436*d + 4266. Is g(4) a multiple of 20?
False
Suppose -19*t - 12 = -23*t. Let d be -146 + 5 - (-2)/(t + -2). Let m = d + 199. Does 15 divide m?
True
Let b = 626 + -589. Suppose o - 496 = 3*z, -b*z - 495 = -o - 35*z. Is 29 a factor of o?
True
Does 16 divide 620/465 + (-191)/(-3)?
False
Let k be 9/6*2 + -2 + 97. Suppose -6*v + v = -5*d + 120, 0 = -4*d + 3*v + k. Is d a multiple of 3?
False
Suppose -3*u = -4 - 2. Suppose 3*j - u*c - 1458 = -266, -j + 416 = 4*c. Is 20 a factor of j?
True
Does 64 divide ((2 - 3) + 32)/(17/3179)?
False
Let d = 242 + -236. Suppose -12*j + 1188 = -d*j. Is j a multiple of 22?
True
Suppose o - 2110 = s, 368*o - 366*o = s + 4226. Does 92 divide o?
True
Suppose 0 = -w + 140 + 11. Let g be -2 + (-28)/(-18) - 238/153. Is 7 a factor of (1 + w)/4 - g?
False
Suppose -1720 = -7*y + 5*y. Suppose 4*u + 116 = y. Is 8 a factor of u?
False
Let x(b) = b**3 + 4*b**2 + b - 2. Let s be x(-3). Suppose -2*k + 0 = s. Is (-6*1)/k + 19 + -3 a multiple of 8?
False
Let c(b) be the third derivative of -b**6/120 + 7*b**5/30 - 11*b**4/24 - 17*b**3/6 - 184*b**2. Suppose 2*k - 13 = 13. Does 2 divide c(k)?
False
Let s(n) = 15*n**2 + n + 14. Let g be s(6). Let v = g - 100. Is 20 a factor of v?
True
Let z(x) = x**2 - x. Let f be z(2). Let h be -12 - -9 - f/(-1). Let q(y) = 227*y**2 - 6*y - 4. Is q(h) a multiple of 51?
False
Let m(t) = 15*t - 102. Let s be m(30). Suppose -18*a + 19*a - s = 0. Is a a multiple of 14?
False
Let r(n) = 75*n + 937. Is r(25) a multiple of 32?
False
Let i(b) = 3 - 11*b**3 + b - 2*b - 3*b**2 + 12*b**3. Let s be i(2). Does 25 divide (2 + (-218)/8)/(s/12)?
False
Let d = 8566 - 8054. Is 3 a factor of d?
False
Let k(y) = 41*y + 128. Let i be k(-8). Let j = -174 - i. Is j a multiple of 10?
False
Let t(s) = 197*s + 96. Let d be t(-4). Let i = -266 - d. Does 6 divide i?
True
Let w(f) = 12*f**3 + 6*f**2 - 10*f + 61. Let r be w(6). Let k = -1559 + r. Does 25 divide k?
True
Suppose -d + 2*m = 50 - 214, 5*d - 890 = -4*m. Is (46/(-69))/((-4)/d) + 3 a multiple of 32?
True
Suppose -20*u + 503 = -1397. Suppose u = a - 181. Is a a multiple of 11?
False
Let a = 454 - 454. Suppose -14*b + 2073 + 10289 = a. Is b a multiple of 12?
False
Suppose b - 3*a - 360 - 213 = 0, -10 = -5*a. Let i = b - 216. Is 75 a factor of i?
False
Suppose -5*k = 88*t - 83*t - 45, 3*t = 5*k + 19. Let d(z) = 6*z**2 + 14*z - 24. Does 13 divide d(t)?
False
Let o be 50*2/((-10)/(-3)). Suppose -135*m + o = -134*m. Is m a multiple of 19?
False
Let i = -12311 + 23153. Is 53 a factor of i?
False
Let u = -47 + 170. Let w = -35 + u. Does 22 divide w?
True
Suppose -231 = 2*j + t, -5*j - 582 = -0*j + 4*t. Let c = 91 - j. Is 45 a factor of c?
False
Let q = -1912 - -6772. Is 54 a factor of q?
True
Let b(a) = 2*a + 22. Let t be b(-8). Suppose -t*n - 6 = -4*n. Is 301 + n*(-1 - 0) a multiple of 38?
True
Suppose 10503 = 112*l - 118633. Is 56 a factor of l?
False
Let s(n) = 11*n**2 - 35 + 8*n + 25 + 91*n - 2*n**3. Is s(-7) a multiple of 9?
True
Let b = -48 + 169. Let f = -117 + b. Suppose 0 = -3*h + 12, 3*h - 8*h + 528 = f*y. Does 18 divide y?
False
Let n be -170*((-154)/(-44) + 3/(-2)). Let p = -310 - n. Is p a multiple of 3?
True
Let p(o) = -13*o - 29. Let x be p(-4). Suppose 2*b = 5*b + 5*w - x, -3*w = 4*b - 27. Suppose -b*l = -10*l + 192. Is l a multiple of 18?
False
Let n = -32 - -59. Suppose -1669 = -n*d + 6809. Does 20 divide d?
False
Suppose -3*y - 4*p + 12 = 0, -y = -34*p + 37*p - 9. Suppose y = -14*h + 9186 + 1048. Does 38 divide h?
False
Suppose -3*r = -5*y + 37, -5*y - 4*r + 2 = -7. Suppose -4*f = y*d - 1368, -7*f = -12*f + 2*d + 1710. Does 32 divide f?
False
Suppose -5*d + 25 - 15 = 0. Suppose -q + 211 = 2*r, 3*q - 1041 = -d*q + 4*r. Suppose -3*o - 7*p + 121 = -2*p, 0 = 5*o + p - q. Does 6 divide o?
True
Let w(n) = 6*n - 4. Suppose 88 + 20 = -12*k. Let g(f) = -13*f + 8. Let q(u) = k*w(u) - 4*g(u). Does 4 divide q(-9)?
False
Suppose -4*b + 3*b + 3 = 0. Suppose 2*s = 4*l + 24, 12 = b*s - 7*s - 4*l. Suppose s*o + 0*o = 70. Does 7 divide o?
True
Let l be 8/(-2 - (-155)/80). Let q = 120 + l. Is 5 a factor of 2/(-12)*q*153/6?
False
Suppose 17*i - 77 = 25. Is (-10)/20 + 4389/i a multiple of 28?
False
Suppose -s - 8*x = -21634, -38*s + 35*s + 64794 = -3*x. Is s a multiple of 41?
False
Let o(t) = 6698*t**2 - 6692*t**2 - 27 + 14*t + 2*t. Is o(5) a multiple of 7?
True
Suppose -6512 = -83*q + 39*q. Is 11 a factor of q?
False
Let b(h) be the third derivative of 0 + 2/3*h**3 + 8*h**2 - 1/6*h**5 - 5/12*h**4 + 1/120*h**6 + 0*h. Does 3 divide b(11)?
True
Let n(d) be the third derivative of d**7/420 - 19*d**6/360 - 3*d**5/4 - 22*d**2. Let t(z) be the third derivative of n(z). Does 3 divide t(6)?
False
Suppose -212678 - 12520 = -51*v - 2736. Is v a multiple of 106?
False
Suppose 40821*q = 40836*q - 39900. Is 14 a factor of q?
True
Is 90 a factor of 9/6 + 3298141/154?
False
Is (-103)/((-8)/(642 + -10)) + 11 a multiple of 25?
False
Let l = 32 + -9. Suppose 0 = -l*h + 25*h - 46. Does 10 divide h?
False
Suppose -g = -16*k + 19*k - 35, 2*k = g + 20. Suppose 2*c = -12*v + k*v + 196, -4*c + 386 = -v. Does 10 divide c?
False
Suppose -1130*f - 20016 = -1139*f. Does 5 divide f?
False
Does 125 divide 32560/10 + -7 + -5 + 6?
True
Suppose 12*w + 20 = 14*w. Suppose 4*h + 2 = -w. Is (-4 - h) + (3 - 0) + 62 a multiple of 8?
True
Let w(l) = -l**3 - l**2 + 7*l + 1. Let d be w(-5). Let z = d - 63. Suppose -z*s = 7*h - 8*h - 140, s + h = 44. Does 28 divide s?
False
Does 26 divide ((-15)/((-30)/(-28)))/((-2)/546)?
True
Let t(k) = 43*k**2 + 2*k + 6. Let s be t(3). Suppose 0 = 3*j - j - 3*v - 763, j + 2*v - s = 0. Let i = j - 185. Does 32 divide i?
False
Let v be 3/(-8)*(-58 - -50). Is 296*v - (-3 + (0 - 0)) a multiple of 11?
True
Suppose 4*f - 31 + 7 = 0. Let k = -10 + f. Let n(r) = 11*r**2 + 6*r + 17. Is 13 a factor of n(k)?
True
Suppose 16*l + 2*a + 202 = 18*l, 0 = -l - 2*a + 86. Let z be (-4