6) a multiple of 152?
False
Suppose -65*f = -56*f - 34*f + 387850. Does 17 divide f?
False
Suppose 4*y = 38 - 14, 4*y + 6567 = c. Is c a multiple of 13?
True
Let i = -1716 - -2066. Is 17 a factor of i?
False
Let n be ((-943)/115)/(0 + -1) - 56/(-70). Suppose 18 = 4*v - 2*k, 3*v + k - 6 = 5. Is 47 a factor of (-3)/n*-717 + (-16)/v?
True
Suppose -2*w = w - 120. Suppose 40*c - w = 35*c. Suppose -16*f + 15*f = -c. Is 2 a factor of f?
True
Let a(k) = -k**3 + 6*k**2 + 21*k + 13. Let d(n) = -2*n**3 + 14*n**2 + 43*n + 27. Let m(y) = 13*a(y) - 6*d(y). Is m(-8) a multiple of 5?
True
Suppose -16*k - 99100 = -173900. Is k a multiple of 28?
False
Suppose 241*a - 266*a = -132825. Does 23 divide a?
True
Let w(b) be the second derivative of 31*b**4/6 + b**3/6 + b**2/2 - 41*b. Does 13 divide w(-2)?
True
Let q(t) = t**3 + 33*t**2 - 37*t + 724. Is q(-27) a multiple of 13?
True
Let s(z) be the third derivative of 45/2*z**3 + 0*z**4 + 1/120*z**6 - 19*z**2 + 0 - 1/60*z**5 + 0*z. Is s(0) a multiple of 10?
False
Suppose -17526*o = -17532*o + 108600. Is 55 a factor of o?
False
Let k = -437 - -673. Suppose -5*l + k = -u, 3 + 1 = u. Does 6 divide l?
True
Suppose -5*c - 3*n = -96915, 106*c - 4*n = 107*c - 19383. Is 273 a factor of c?
True
Let q(i) = -2*i**2 - 7*i + 6. Let w be q(-4). Let v(y) = 300*y - 56. Is 68 a factor of v(w)?
True
Suppose 2*u = 8, 0 = 4*k - 19*u + 15*u - 13448. Is 3 a factor of k?
True
Is 9194811/1007 + 4/38 a multiple of 24?
False
Let c = -72 + 75. Let f be c/((-9)/8124*-4). Suppose 9*u = f + 187. Does 16 divide u?
True
Let o = -1615 + 2855. Suppose -424 = -j + 5*r, -3*j + o = 2*r - r. Is 46 a factor of j?
True
Suppose -622*a + 3160 = -612*a. Is 8 a factor of a?
False
Let u(b) = 2*b**2 - 7*b - 1. Suppose 17 - 25 = 8*v. Let c be -4 + -3*3/v. Does 6 divide u(c)?
False
Let r = 19215 - 12527. Is 17 a factor of r?
False
Let k(t) = t**2 + 22*t + 108. Let f be k(-15). Is 14 a factor of (-1 - -650) + f + (-3 - -5)?
False
Let o = 66 - 64. Suppose o*a + 103 = -3*v, -a - 4 = a. Is (-1309)/v - 2/(-6) a multiple of 10?
True
Suppose -g + 262 = 2*v, -246 = -2*v + 7*g - 12*g. Is 11 a factor of -1*(-21 + -1)*v/14?
True
Let p be 12/32 - 29/(-8). Suppose -224 = p*h - 3*k, -91 = 3*h - 2*k + 76. Let b = h - -85. Does 9 divide b?
False
Let h = -1076 - -1880. Does 6 divide h?
True
Suppose 0 = 19*q + 103 + 49. Let f = q - -18. Does 7 divide f?
False
Let x = -4535 - -11831. Suppose 16*f - x + 1504 = 0. Is 11 a factor of f?
False
Suppose 0 = -4*j - 5*l + 47 + 34, 4*l + 36 = 4*j. Let x be (30/(-21))/5 - (-46)/j. Suppose 0 = 2*n - x*n + 28. Is n a multiple of 14?
True
Let p = -2210 + 2181. Let z be 3/(-15) - 1081/(-5). Let r = p + z. Does 51 divide r?
False
Let d(q) = 3782*q - 5032. Is d(5) a multiple of 10?
False
Suppose 1701 = -6*r - 15*r. Is 12 a factor of (-12)/((15/r)/5)?
True
Let p(z) = -5*z**2 - 8*z + 15. Let s be p(-6). Let v = s + 243. Is 42 a factor of v?
True
Suppose -v + 3*w = -33, -7*v + 9*v - 81 = 3*w. Is (-3 - v)*-1 - -1 a multiple of 3?
False
Let m be (-26)/(-18)*9 - (-3 + 1). Suppose -m*b + 981 = -309. Is b a multiple of 30?
False
Let p(w) = 2*w - 16. Let c be p(9). Suppose -4*j + 233 = 4*v - v, c*j - 115 = -3*v. Let i = -5 + j. Is i a multiple of 8?
False
Let b(v) = -113*v - 44. Let y be -6 + 0 - (-4 + 1 + 1). Does 17 divide b(y)?
True
Is 11 a factor of ((-6)/(-20)*-22)/((-348)/6380)?
True
Let l = 420 - 397. Suppose 5032 = l*y - 9320. Is 16 a factor of y?
True
Let y(z) = 10*z**3 + z**2 + 2*z - 6. Suppose 3*u - 10*t = -9*t + 10, -12 = -5*u - 3*t. Is y(u) a multiple of 12?
False
Let z(g) = -14*g + 86. Let y be -22 + 10*(-6)/(-12). Does 27 divide z(y)?
True
Let n(j) = -3*j**3 + 5*j**2 + 4*j + 4. Let q be n(3). Is 237 + 1 + q/5 a multiple of 39?
True
Let c = -5 + 211. Is 67 a factor of -2 + -2 + -1 + c?
True
Let o(r) = 2*r**2 + 34*r + 284. Let z = 42 - 51. Does 14 divide o(z)?
True
Is 175 a factor of 1835 - (4 - (-130)/(-13))?
False
Let s(j) = -3*j**2 - 16*j + 148. Let v(l) = l**2 + 8*l - 73. Let q(f) = -4*s(f) - 9*v(f). Is q(-12) a multiple of 15?
False
Let x(h) = 5*h + 38. Let o be x(-8). Let t be (-4)/44*o + 18/22. Does 29 divide 2/2 - (t*-24 - 4)?
True
Let i be (-12)/42 - (-4210)/35. Suppose -27*n + 204 = -i. Is 3 a factor of n?
True
Let n be (-1 - -123)*(16 + -15). Let o = n - 69. Let l = o + -30. Is l a multiple of 3?
False
Let u be ((-3)/6)/(50/100). Does 15 divide (-4)/(-30) - (u + 126696/(-180))?
True
Let z(i) = -i**2 - 11*i + 45. Let f be z(-14). Is 34 a factor of f + -9 + 3 + 204?
False
Suppose -17 = 2*m + 3*k, 4*m + 15 = -m - 2*k. Is 50 a factor of (m*2)/6 + 30343/57?
False
Let c(z) be the third derivative of 7*z**4/6 - 11*z**3/6 - 72*z**2. Is c(7) a multiple of 21?
False
Suppose 7*p - 6 = 8. Suppose p*u + 0*g - 1296 = -2*g, -5*g = 4*u - 2594. Does 34 divide u?
True
Let n(a) = 2*a**3 + 62 + 5*a**2 - 16*a + 6*a - 56. Let k be n(6). Let j = k + -393. Is 12 a factor of j?
False
Let f be (((-15)/5)/(-3))/1. Let s be 5/((-10)/(-18))*f. Is 30 a factor of (2 - 1)/3 + 1077/s?
True
Suppose -5*k - 12 = 8. Let l be 2 - (k - 16/(-4)). Suppose 9*v = l*v + 868. Is v a multiple of 15?
False
Let s = -19448 - -23444. Is 36 a factor of s?
True
Let t = 10757 + -4048. Does 9 divide t?
False
Suppose -4*m + 3936 = 3*n, 0*m - 4*m + 4*n = -3908. Is m a multiple of 3?
True
Let g be (-60)/(-9)*12/10. Suppose x = 3*n + 15 + 8, g = x + 2*n. Suppose -229 + x = -5*c. Is 43 a factor of c?
True
Let u = 22 + -18. Let a be ((-58)/8)/((-7 + u)/12). Let v = a - -91. Is v a multiple of 20?
True
Suppose -40*l - 20693 = -45*l + i, 0 = -5*l - 16*i + 20812. Is l a multiple of 30?
True
Let r = -2303 + 5113. Suppose -5*p - 4*q = -6327, 4*q = -4*p + 2250 + r. Does 7 divide p?
True
Let o(s) = -2*s - 185. Let q be o(55). Let n = q - -837. Is n a multiple of 23?
False
Let v(i) = -i**3 - 3*i**2 - 3*i - 4. Let d be v(-3). Suppose -w + 2 = d. Let c(b) = 6*b**2 - 7*b - 1. Does 5 divide c(w)?
False
Let h(r) = 7685*r**2 - 47*r + 51. Is 104 a factor of h(1)?
False
Let c = -125 + 64. Let h = 92 - c. Is 17 a factor of h?
True
Let z = 53 + 19. Let k = z + -87. Does 6 divide k/((-5)/(-1)) + 15?
True
Let k(x) = x**3 - 48*x**2 + 146*x - 74. Is k(52) a multiple of 178?
True
Let b(q) = 1874*q - 4985. Does 110 divide b(6)?
False
Does 21 divide ((-1623)/(-6) + -2)/(10/(-8 + 488))?
False
Let m(j) = 55*j - 174. Suppose r - 8*r = -154. Is m(r) a multiple of 13?
False
Is 2*(1453/2)/1 a multiple of 3?
False
Let j = -12199 - -41660. Does 17 divide j?
True
Let o(z) = 511*z**2 - 93*z + 640. Is 21 a factor of o(7)?
False
Let w = -82 - -90. Let f(b) = -13*b + 11. Let v be f(w). Let p = v - -96. Is p a multiple of 3?
True
Is ((58080/72)/(-2))/((-1)/27) a multiple of 121?
True
Let d = 68 + -67. Let n be d - 4/(-12)*-21. Is (6/8)/(3/n)*-2 a multiple of 3?
True
Suppose -784 + 8842 = 2*g. Suppose 7*w - 2*w + 4*x - g = 0, 3*x = 3*w - 2412. Does 35 divide w?
True
Suppose -3*j + 5*d + 202 = -0*j, 3*j + 5*d = 152. Suppose 64*s - 375 = j*s. Is s a multiple of 9?
False
Suppose 3*a + 3*w = 1725, 10*w + 2891 = 5*a + 7*w. Does 2 divide a?
False
Let f(o) = o**2 - 2*o + 8. Let a be f(6). Let r = 62 + a. Suppose -3*g = -2*j - r, -1 = -2*j - 5. Does 6 divide g?
True
Let y(u) = 41*u + 5. Suppose -56 - 20 = -4*q. Let m be y(q). Suppose 5*v - m = -4*p, 3*p - 2*p = 3*v - 467. Is v a multiple of 23?
False
Let x(j) = 92*j**2 - 250*j - 2270. Is x(-10) a multiple of 69?
False
Let j(b) = b. Let g(w) = 17*w - 21. Let d(x) = g(x) - 4*j(x). Suppose 0 = 27*p - 24*p - 18. Does 19 divide d(p)?
True
Let t(w) = -w**2 + 4*w. Let c be t(4). Suppose 2*n - 2*f - 36 = 0, c = n + 2*n - 5*f - 56. Is 13 a factor of n?
False
Suppose 3*o - 2436 = -25*o. Suppose 84*x = o*x - 135. Is 10 a factor of x?
False
Let c(j) = -2*j**2 + 72*j - 8. Suppose -114 - 96 = -7*t. Is c(t) a multiple of 22?
True
Let u(z) = -z**3 + 8*z**2 - 4*z - 3. Let q(y) = y + 38. Let t be q(-20). Suppose 35 = -13*m + t*m. Does 7 divide u(m)?
False
Let i = -58 + 60. Let s be (-20)/8*792/(-20). Suppose -15 + s = i*r. Is 7 a factor of r?
True
Let v(z) = 121*z**2 - 69*z + 480. Is v(13) a multiple of 29?
False
Let d(z) = z**3 + 8*z**2 + 13*z + 4. Let w be d(-5). Suppose w*x - 5880 = 2*x. Is x a multiple of 62?
False
Let u(m) = 7*m**2 + 14*m - 225. Does 10 divide u(46)?
False
Let j = -584 + 589. Suppos