6. Is w a multiple of 6?
False
Suppose -8*d + 25 = -167. Let w be 2/(-8)*(-3 + -1). Is w - d/(-4)*1 a multiple of 5?
False
Let s = -256 + 256. Suppose 0*a - 4*a - 2*j = -1600, s = j + 4. Is 45 a factor of a?
False
Let n(a) = 1744*a - 1060. Does 36 divide n(10)?
True
Let l = 428 + -441. Let s(a) = a**2 - 26*a - 27. Does 12 divide s(l)?
True
Let j = -11635 + 20527. Does 18 divide j?
True
Let w = -45 + -75. Let x = -86 - w. Let k = x - -21. Does 11 divide k?
True
Let y(m) = 9*m - 125. Let l be y(13). Does 35 divide (2100/l)/(-5)*4?
True
Let c(s) = 18*s**2 - 47*s - 19. Let d(j) = -1. Let y(l) = 9*l**2 - 24*l - 4. Let k(b) = -6*d(b) - y(b). Let f(o) = 6*c(o) + 11*k(o). Does 4 divide f(4)?
True
Let j be 666/30 - (-3)/(-15). Let x be (-8)/10*(17 - j). Let u = x + 50. Is 29 a factor of u?
False
Is 8 a factor of (-667575)/(-175) - 14/(-49)?
False
Let p(o) = o**3 + 2*o**2 - 4*o + 2. Let l be p(-4). Let t be (4 - l/(-2))*-1. Suppose 0 = 5*f + 2*a - 94 - 33, 120 = 4*f - t*a. Is f a multiple of 9?
True
Let b be ((0 - -1) + 526)/(1/1). Suppose b = 15*q - 808. Is q a multiple of 3?
False
Suppose -5*s + 28116 + 1002 = -r, 17468 = 3*s - 2*r. Is s a multiple of 104?
True
Let c = 3960 - 3264. Is c a multiple of 6?
True
Suppose 12*k = 1566 + 2190. Let x = k + 17. Does 22 divide x?
True
Let m = -85 - -89. Suppose c + m*c = -4*c. Suppose c*y - y + 3*b = -108, -4*b - 324 = -3*y. Is y a multiple of 51?
False
Suppose -5*i + 4*v = -2056, -2*i - 7*v + 4*v = -850. Does 4 divide i?
True
Let w = -172 + 117. Let f = w - -59. Suppose 9*b - 4*b - 3 = -c, -20 = f*b. Is 20 a factor of c?
False
Let a = 152 - -935. Suppose 3*q = 623 + a. Does 30 divide q?
True
Suppose 4*z + 3*q + 5 + 0 = 0, 2*z - 5*q = 17. Let i be 771/2*z/(3/2). Let x = i + -162. Is 19 a factor of x?
True
Suppose 1896 = 5*h - 2*h. Suppose 2*n - 10*n + h = 0. Let v = n + 1. Is v a multiple of 10?
True
Let u = -6993 + 12382. Is u a multiple of 17?
True
Let b(j) = -j**2 - 7*j - 8. Let x be b(-3). Suppose -x*w = w. Does 6 divide 12*(2/4 - -2 - w)?
True
Let n be 2*(8 + (-2 - -4) + -2). Let b(y) = -13*y - 10*y + n + 6. Is b(-11) a multiple of 49?
False
Suppose 3 = -11*y + 10*y + 4*r, r = -2*y + 21. Let z(x) = 10*x - 50. Is z(y) a multiple of 40?
True
Suppose 2*i = -o - 62, i - 3*o - 6 = -30. Does 6 divide 15*(-51)/i*4?
True
Let l(r) = -1967*r - 1269. Is l(-4) a multiple of 9?
False
Let j = -10919 + 15404. Does 39 divide j?
True
Let y(v) = 51*v**3 - v**2 - 3*v + 4. Let f be (-1)/(38/(-80)) - (-16)/(-152). Is y(f) a multiple of 11?
False
Let l(g) = 27 + 4 - g + 2 + 2. Suppose -7 = 5*a - 57. Does 11 divide l(a)?
False
Let a be (4 - 10/2) + 4. Suppose -f - 1 = 0, 0*f + 1292 = 5*n + a*f. Is n a multiple of 37?
True
Suppose -2*l = 2*g - 140, 350 = -0*l + 5*l - g. Does 4 divide (-28)/l*4*(-15)/1?
True
Let y(f) = -f**3 + 10*f**2 + 24*f + 7. Let x be y(12). Suppose x*p - 2*g = 2*p + 31, -27 = -3*p + 4*g. Suppose p*o + 432 = 1857. Is 42 a factor of o?
False
Suppose x - 2 - 22 = -2*s, -5*x = s - 156. Suppose -v = -3*v + 12. Suppose v*y - x = 46. Does 12 divide y?
False
Let p = -169 - -173. Suppose -p*y + 2*h + 303 = -697, 1000 = 4*y + 5*h. Is y a multiple of 51?
False
Let t = -1056 + 495. Let v = -305 - t. Suppose -5*a + v = 3*a. Is 16 a factor of a?
True
Suppose -7*p + 10*p = 37*p - 618800. Does 8 divide p?
True
Let n(f) = f**2 - 3*f - 11. Let b be n(5). Let l be b/(-4 + 3)*1/1. Is 120 + (l + -2 - 3 - -1) a multiple of 10?
False
Let m be 10/75 + 296/30. Let q be (-36)/30*m/(-6). Suppose -3*g - q*g = -465. Does 26 divide g?
False
Let u = -30 - -14. Let z = -16 - u. Suppose z = -34*f + 36*f - 32. Is 4 a factor of f?
True
Let f(w) be the third derivative of 11*w**5/60 - w**4/24 + 4*w**3/3 - 27*w**2. Let r be f(7). Is ((-8)/(-8))/(3/r) a multiple of 30?
True
Let s(z) = -7*z + 26. Let y be s(4). Let i = -6 + 3. Is 472/12 + y/i a multiple of 8?
True
Let g = -10106 - -17533. Does 52 divide g?
False
Let n = -17428 + 18269. Is 14 a factor of n?
False
Let p = -96 + 92. Let v be (0 + p)*(-15)/6 + 1. Let r(y) = -y**2 + 16*y - 9. Does 27 divide r(v)?
False
Suppose -b = j + 2, -b + j + 6 = -2*j. Suppose -4*f + 2*h + 324 = -b*f, -5*f - 3*h = -383. Let d = 90 - f. Does 2 divide d?
False
Let a(c) = -c**2 - c + 124. Let h be ((1 - 1)/(-3))/(8 - 10). Is 34 a factor of a(h)?
False
Suppose -6*g - 14 = -38. Suppose -g*q - 227 = -i, 2*i - 519 = -9*q + 4*q. Is 32 a factor of i?
False
Let q(z) = 2*z**2 - 12*z - 47. Let r be q(9). Is r/3 + (-8456)/(-21) a multiple of 6?
False
Let t(g) = 6*g + 1061. Is 75 a factor of t(-42)?
False
Suppose 14*j - 62 = -17*j. Suppose -n = -j*i - 1192, n - 3592 = -2*n - 2*i. Is 13 a factor of n?
True
Does 18 divide (14712/(-14))/(4 + (-240)/56)?
False
Suppose -2*l - 2*l + 40 = 0. Let m(o) = o**3 - 5*o**2 - 15*o + 19. Is m(l) a multiple of 41?
True
Let c be (-18)/63 + 1410/(-14). Let l = c - -237. Let a = -68 + l. Does 15 divide a?
False
Suppose -246 - 62 = -2*d. Let t = 22 + d. Is t a multiple of 11?
True
Suppose 2*j + 2*j - 2*g = 0, -5*g = -j - 18. Suppose j*m - 10 = -c + 69, -5*c + 360 = 3*m. Does 2 divide c?
False
Suppose 106*d = -63*d. Suppose 5*g + 5 = 5*q, 7*q - 2*q = 4*g + 9. Suppose -q*y + 62 + 208 = d. Does 7 divide y?
False
Let o be 0 - -114 - 8/(-5 - -3). Let n = -115 + o. Suppose -n*u + 443 = -340. Is 47 a factor of u?
False
Let s = 239 + -47. Suppose i - s = 48. Suppose -8*w + 4*w = -i. Is w a multiple of 12?
True
Let a = 11951 + -10813. Is 31 a factor of a?
False
Suppose -4312*u = -4321*u + 113877. Does 75 divide u?
False
Let k(s) = -31*s - 38. Let x be (-256)/44 - (-12)/(-66). Is k(x) a multiple of 11?
False
Let u(d) = d**2 + 5*d + 9. Let i be u(-3). Let f be i/(9/(-112)) + (-7)/(-21). Let q = f - -46. Is 8 a factor of q?
False
Let c = 17 + -13. Suppose 0 = -c*s + 7*s + 15, 5*l - 165 = -4*s. Suppose -w + 8 = -l. Is w a multiple of 23?
False
Let l be -11 + 11 - (0 - 225). Let h = 1574 - 1457. Let i = l - h. Is i a multiple of 18?
True
Suppose u + 39*u = 10407 + 30033. Does 45 divide u?
False
Suppose 3*q + 15*g - 1458 = 18*g, -468 = -q - 2*g. Is q a multiple of 12?
True
Suppose -160*y = y - 1100088 - 739176. Is 33 a factor of y?
False
Does 29 divide 75/175 + 468312/21?
True
Suppose -c - 2*h - 394 = -2061, -3*c + 5021 = 2*h. Is c a multiple of 2?
False
Let a be 759/6 - (-2)/(-4). Let b = a - -58. Suppose -j = 7*c - 3*c - 56, -5*j + 4*c = -b. Is 20 a factor of j?
True
Suppose 20*n - 8770 = -1910. Let v = -253 + n. Is 45 a factor of v?
True
Let m(q) = 3*q - 6 + 4*q + 2*q**3 - 6*q - 4*q**3 + 20*q**2. Let s be m(10). Suppose 0 = s*h + h - 190. Is h a multiple of 6?
False
Suppose -5*g - 89 + 14 = 0. Let s be (-14 - g)/(2/6). Suppose -3*m - 58 = -2*c - 280, -2*m + s*c = -143. Does 38 divide m?
True
Let s be 18/(-6)*4/(-3). Suppose -4*q - 1104 = -s*o, -q + 3*q = 5*o - 1377. Suppose 2*c - 110 = 2*p, -2*p + p - o = -5*c. Is c a multiple of 31?
False
Let g be 4 + -5 + (-4 - 68). Let l = 25 - g. Is l a multiple of 14?
True
Let f(g) = g**2 - 32. Let x be f(-6). Suppose 4*n - 2432 = -3*z + 4*z, -x*z - 593 = -n. Is n a multiple of 26?
False
Suppose -20*d + 13*d + 84 = 0. Let z be 1 - 10/6 - (-21176)/d. Suppose 0*w = -7*w + z. Is 12 a factor of w?
True
Suppose -4*m + 7*m - 6 = 0. Suppose 5 = h, 0 = -2*q - m*q + 2*h + 458. Is 9 a factor of q?
True
Suppose -l - 2*l + c = 72, 0 = -2*l - 2*c - 48. Let t = l + 101. Is 11 a factor of t?
True
Let z = -5535 - -5735. Is 12 a factor of z?
False
Let x(o) = 2*o**2 + 8*o + 17. Let d be x(-3). Suppose 0 = d*c - 6744 + 1904. Is 18 a factor of c?
False
Suppose 3*q = 5*q + 5*j - 12, q = -2*j + 6. Let r = 93 - 38. Let v = r + q. Is 13 a factor of v?
False
Is 12 a factor of (-14)/(-4)*((-4)/78 + 192474/2457)?
False
Suppose 3*r - 5*q = 32, -4*q = 2*r - q + 4. Suppose l - 4*l = p + 93, 2*l = -r*p - 342. Let v = 122 + p. Does 19 divide v?
True
Suppose -5*h - 4*q + 70245 = 0, 4*q = -4*h + 62480 - 6284. Is 34 a factor of h?
False
Let c(x) = 2*x - 7. Let r be c(6). Suppose -2*l + q = -86, 2*l - 6*l = r*q - 158. Is l a multiple of 4?
False
Let k(t) be the third derivative of 145*t**4/24 + 161*t**3/6 + 2*t**2 - 23. Does 38 divide k(5)?
False
Let n = 3550 - -14620. Is n a multiple of 29?
False
Suppose -3*k + 9920 = 3*f - 11566, -4*k - f + 28633 = 0. Is 35 a factor of k?
False
Let f(z) = z**3 - 22*z*