
Let l = 4167 + -2919. Does 21 divide l?
False
Let o(k) = k + 33. Let j be o(-5). Let m be (-12)/j + ((-30)/(-21) - 1). Suppose -6*g + 9 + 387 = m. Is g a multiple of 22?
True
Let b be -1*318/42 - 8/(-14). Is 11 a factor of (5 - (-28)/b)*242?
True
Let w = -1469 - -6056. Is w a multiple of 15?
False
Let s(y) = -21*y**3 + 8*y**2 + 12*y - 17. Is s(-4) a multiple of 22?
False
Suppose 0 = 20*c - 125161 - 332499. Is c a multiple of 24?
False
Suppose -2 = 8*q - 10. Let v be q/3 + (-62)/(-3). Let o = v + 19. Does 24 divide o?
False
Let r be (3 + 10/5)/(1 + 0). Suppose -r*y - 4*g + 47 + 144 = 0, 3*y + 5*g = 125. Is y a multiple of 13?
False
Suppose 5*g - 2*n = 31, 2*n - 7*n = -4*g + 35. Suppose d = 4*q - g, 18 - 8 = 3*q - 2*d. Suppose -k + 73 + 17 = q. Is k a multiple of 12?
False
Suppose -4*r + 9 = -5*w, -4*r = 4*w - 22 - 14. Let s be (-1)/r + 155/30. Suppose -384 = s*g - 11*g. Is g a multiple of 8?
True
Suppose -6524 = 10*p - 17817 - 29157. Is p a multiple of 20?
False
Suppose -86 + 2 = -21*b. Suppose b*v = 2*a - 520, 5*a + 674 - 1960 = 3*v. Does 16 divide a?
True
Let u(r) = 5*r - 9. Let q be u(4). Let g(o) = q + o - 10 - 4*o**2 + o**3 - 8*o. Does 6 divide g(6)?
False
Suppose -4*z + 1308 = 2*g, 0 = -4*z - 1038 + 1026. Does 44 divide g?
True
Suppose -34*b = -32*b - 74. Suppose -3*r + 2*r + 14 = 5*i, -i + b = 2*r. Suppose -954 = r*w - 25*w. Does 29 divide w?
False
Let a(k) = k**2 - 12*k + 6. Let u be a(3). Let v = 26 + u. Suppose r = v*r - 480. Is r a multiple of 20?
True
Let m = -208 - -632. Suppose m*l - 421*l = 141. Does 47 divide l?
True
Suppose -222*h + 80136 = -186*h. Is 27 a factor of h?
False
Let a be ((16 - 6) + -10)*(1 - 0). Is 17 a factor of 735 - -9 - (7 - a)?
False
Let v(d) = -d**3 + 4*d**2 + 35*d - 40. Let i be v(8). Is 8 a factor of -2*1470/i - (-1)/4?
True
Suppose -46*b + 9*b = -73445. Does 11 divide b?
False
Suppose 3*c - 3 + 12 = 0. Let i be -2 - (-4)/(-8) - c/2. Is 29 a factor of 83 - ((-4)/(-1))/i?
True
Let b = 250 + -246. Suppose 1849 = 3*j + o + 69, -3*o - 2395 = -b*j. Is j a multiple of 49?
False
Suppose -76 = -4*s + 3*s. Suppose 0*r + 5*f + 74 = -2*r, s = -2*r - 4*f. Let c = 192 + r. Is c a multiple of 25?
True
Let p(b) = 3*b**3 + 5*b**2 - 7*b - 11. Let k be p(-4). Let v = 68 - -147. Let w = k + v. Is w a multiple of 30?
True
Let i = 16255 + -7110. Is i a multiple of 29?
False
Let k(h) = h + 91. Let j be k(29). Suppose 95*g - j = 91*g. Is g a multiple of 15?
True
Suppose 9*r - 10*r + 1846 = 0. Suppose 6*f - 32 = r. Is f a multiple of 4?
False
Let f be (-2)/(-8) - (-15)/4. Let p = -12329 - -12334. Suppose 5*g = p*l - 60, f*l - 13 = -g + 35. Does 12 divide l?
True
Let h(a) = 41*a**2 - 11*a + 21. Suppose 0*l - 9*l = 189. Let j = -19 - l. Does 33 divide h(j)?
False
Suppose -11*j + 7*j = 0. Suppose w + j = 2. Does 30 divide w/6 + 466/6 + 0?
False
Let a(u) = -9*u**3 - 68*u**2 + u + 362. Is 38 a factor of a(-17)?
False
Let o = -231 + 235. Suppose s + 885 = 3*h + 2*s, 4*h - 1188 = -o*s. Is 14 a factor of h?
True
Let a(l) = -316*l - 1576. Is 44 a factor of a(-10)?
True
Let g = 92 - 78. Is 26 a factor of (-6928)/(-28) + (-6)/g?
False
Let u(w) = 5*w + 99. Let h be u(-18). Suppose 238 = 10*b - h*b. Is 14 a factor of b?
True
Let a = -27385 + 45857. Does 8 divide a?
True
Suppose -2*t = -3 - 5. Let o be 397/(-5) + t/10 - 2. Is 7 a factor of -18*9/(o/12)?
False
Let t(z) = -120*z**3 - 2 - 128*z + 52*z + z**2 + 74*z. Is t(-1) a multiple of 3?
False
Let z(l) = l**3 + 12*l**2 - 53*l + 258. Does 32 divide z(12)?
False
Let v(h) = -h**3 - 15*h**2 - 16*h - 23. Let t be v(-14). Suppose -4*l = 4*r - 20, t = 2*l - l. Is 24/8 + (3 - r) a multiple of 5?
False
Let d(p) = 357*p**3 + 2*p**2 - 2. Let h(k) = k**3 + 17*k**2 - 17*k + 20. Let z be h(-18). Suppose -4*v - 1 = a, z*v - 3*v - 4*a = 19. Does 51 divide d(v)?
True
Let m(u) = -u + 66. Let z be m(-27). Let k = z + -75. Is k a multiple of 6?
True
Let a = -57 - -60. Suppose 0 = -4*n - 3*h - 177 + 745, -427 = -a*n - 2*h. Is n a multiple of 29?
True
Let v(k) = 2*k**2 - k - 2. Let h be v(-5). Let b = h + -58. Let o(m) = -8*m - 5. Does 7 divide o(b)?
True
Let c be 2 + 1 - (2/1 - 307). Suppose -312*w + 716 = -c*w. Is 8 a factor of w?
False
Suppose 0 = 87*h - 92*h - 5*d + 5010, 5*h - 5052 = 2*d. Is h a multiple of 7?
True
Let f(k) = k**2 + 17*k + 28. Let u(p) = -20 - 3*p + p - 18 + 49. Let j be u(15). Does 11 divide f(j)?
True
Is 5 a factor of 56/(-5)*(14 - 19) - 9?
False
Let u be 0/(4/(5 - 1)) + 0. Suppose u = -f - 2*c + 2, -2 = -2*f - 2*c + 2. Suppose 147 = 5*b + f. Is b a multiple of 29?
True
Suppose 165 = 49*p - 31. Suppose p*f = -l + 673, 6*l - 5*l = -5*f + 669. Is 14 a factor of l?
False
Let g = -18583 + 26080. Is 5 a factor of g?
False
Suppose 3*c = 20 - 8. Suppose w + c*x - 3*x = 129, -391 = -3*w + x. Does 7 divide 2/(10/25 + (-42)/w)?
False
Suppose 36*q + 3332 = 2*v + 32*q, 2*q + 3332 = 2*v. Does 34 divide v?
True
Suppose 0 = -4*z + 3*g + 338835, -18*z + 4*g + 254128 = -15*z. Is z a multiple of 39?
True
Let b(p) = -8*p + 129. Let f be b(38). Does 59 divide f/(((-5)/15)/((-8)/(-6)))?
False
Suppose -3790 = -3*q - 2*d, -28*d + 5044 = 4*q - 30*d. Does 87 divide q?
False
Let s = 5148 + -2048. Suppose -18*k + 698 + s = 0. Is 4 a factor of k?
False
Suppose 0 = 8*a + 625 + 3055. Let w = a + 603. Is w a multiple of 12?
False
Let d be (2 + -5)*8/3. Is (-147560)/(-448) - (-3)/d a multiple of 7?
True
Suppose -126159 = -85*k + 387707 + 304939. Is k a multiple of 19?
True
Let g = 111 + -144. Let w(b) = -62*b - 281. Is 53 a factor of w(g)?
False
Suppose -98*d + 109*d = -3685. Suppose 316 = -2*h - 110. Let p = h - d. Is p a multiple of 45?
False
Let k(v) = -4*v**3 - 9*v**2 + 7*v + 69. Does 7 divide k(-6)?
True
Suppose -z + 2*g - 6*g - 16 = 0, -20 = -4*z + 5*g. Suppose z = -2*t + 48 + 68. Suppose -5*v = -7*v + t. Is v a multiple of 3?
False
Suppose 2 + 8 = 2*w. Suppose 4*q + w*f - 1031 = 0, 284 = q - f - 3*f. Is q a multiple of 27?
False
Let l(d) = d - 11. Let s be l(10). Let r be 293/6 + s/(-6). Let j = r + 76. Does 25 divide j?
True
Let x = 34 - 33. Let w be (-88)/11 - (-2 + x). Is 6 a factor of (16/7 + -4)*w/1?
True
Let v(i) = 43*i**3 + 4*i - 6. Let d be v(2). Suppose 1214 = 13*z - d. Is z a multiple of 30?
True
Let y(c) = -7*c + 103. Let n be y(15). Does 18 divide (-70)/(-1*n/55*-5)?
False
Is 8 a factor of 2/43 + (-235749982)/(-9503)?
True
Suppose 4*u = 5*c - 13, 58*u + 2*c = 56*u + 16. Is 13 a factor of (-66)/(4*u/(-416))?
True
Suppose -3*q - q + 68 = 0. Suppose -22*f + 345 = -q*f. Suppose -78 = -4*g - 0*g - 2*r, 4*g - f = r. Is 18 a factor of g?
True
Suppose 17*h + 6 = 16*h. Let y(u) = -2*u**3 - 11*u**2 - 4*u + 3. Does 9 divide y(h)?
True
Let o = 3179 - 1582. Is o a multiple of 61?
False
Let u(k) = 0*k**2 + 7*k - k**3 + 6*k**2 - 8 + 4*k + 0*k**3. Let h be u(7). Is h - (2 + -2)/(-1) a multiple of 8?
False
Let s = 205 + -289. Let x = s + 27. Let r = x - -244. Does 11 divide r?
True
Suppose 4*h = -5*a + 9, -4*a + 13 = a + 3*h. Suppose -3*x - a*k - 526 = 99, 1033 = -5*x - 4*k. Is x/(-2)*-3*(-2)/3 a multiple of 41?
True
Let l be (-1)/4 - (-45)/20. Suppose -l = d, 4*x = x + 2*d + 55. Does 17 divide x?
True
Suppose -25*c - 76964 = -167*c. Does 2 divide c?
True
Is (4 - 38/3)/(((-124)/4320)/31) a multiple of 144?
True
Suppose t - 2*b = 31, 5*b + 6 - 44 = -3*t. Let g = t - -26. Is g a multiple of 12?
False
Does 13 divide 16164 - 460 - (0/1)/((-1)/(-1))?
True
Suppose 0 = -2*w + 1 + 1. Suppose -3*u = 6*x - 4*x + 13, -u = 4*x + w. Let r = 101 + u. Is r a multiple of 8?
True
Suppose 2035822 = -167*q + 3850640 + 2263823. Is q a multiple of 21?
True
Let i(q) = q**3 - 5*q**2 - 7*q + 10. Let c be i(6). Let s(h) = 9*h + 6. Let p be s(c). Does 13 divide 0/(-2*(-3)/(-6)) + p?
False
Let b be (12/(-5))/((27/50)/(-9)). Suppose j - b*s + 42*s = 37, -5*j = -5*s - 170. Is j a multiple of 3?
False
Suppose 2*d = d - 5, t - 5 = d. Let j be 6 - (t/(-1) + -2). Does 9 divide 10 - 4/(j/6)*-1?
False
Suppose -29*i = -26*i - 9. Let x be ((-14)/(-3))/((-1)/i). Is (x/(-8))/(14/504) a multiple of 17?
False
Suppose 2*f - 1181 = -4*b + 1661, 3*b = f - 1411. Let p = -844 + f. Suppose 375 = 2*x + 5*l, -x + 4*l = -4*x + p. Is x a multiple of 12?
False
Let f = -22008 + 38823. Is f a multiple of 13?
False
Suppose -25*l + 13*l + 59496 = 0. Does 77 divide l?
F