 k be (10/6 - 12/9)*-423. Suppose 0 = h - 5*f - 240, 5*h - f = 2*f + 1134. Let a = h + k. Is 21 a factor of a?
True
Let c = -28 - -54. Let q = c + -25. Is 10 a factor of ((-8)/(-2) + q)*6?
True
Suppose 0 = -0*q + 4*q - 4, 4*q - 4 = 2*m. Let c(l) = -l**3 + 21*l**2 - 48*l - 103. Let z be c(18). Suppose -205 = -z*j - m*j. Does 6 divide j?
False
Let f = 58 + -351. Let j = f + 709. Does 44 divide j?
False
Suppose -57*r + 112832 = 68*r + 39*r. Is 17 a factor of r?
False
Let h(w) = -9*w**2 + 8*w - 31. Let u be h(4). Let f = u + 1269. Is 27 a factor of f?
False
Let m(j) = -780*j**3 + 16*j + 31. Is m(-2) a multiple of 17?
True
Let k = 660 + -949. Is 3 - (-1 + 4) - k a multiple of 60?
False
Suppose 15 = 15*y - 16*y. Let r = 172 - y. Is r a multiple of 25?
False
Let l(f) = f - 6. Let p be l(6). Let v = -1222 + 1226. Suppose 5*g - 20 = -5, p = -b - v*g + 82. Is b a multiple of 8?
False
Let i = 6464 + 17306. Is 63 a factor of i?
False
Let c(m) = 64*m**2 + 197*m + 2979. Does 81 divide c(-18)?
True
Suppose 515*s - 536*s + 35637 = 0. Does 68 divide s?
False
Let v(h) = h**3 + 2*h**2 - 11*h - 2. Let s be v(3). Let g = 20 - 11. Suppose -8 = -s*f + g*f. Does 8 divide f?
True
Suppose -5*y - 15*y = -360. Suppose -y*m + 2915 = -13*m. Is 17 a factor of m?
False
Let n be (1 + (-21)/12)/((-2)/(-48)). Is 8 a factor of ((-5952)/n)/8*6?
True
Let b(t) = -6*t - 10. Let u be b(-3). Let w be -9*u/4 + -2. Let r = 8 - w. Is 14 a factor of r?
True
Let x = -2 - -2. Let h be 8/36*3/(-12)*6*-9. Suppose x = 5*s + 4*d - 230, -2*s + 245 = h*s + d. Is 10 a factor of s?
True
Let t be (-82208)/(-35) + (-3)/(-15 - 0). Let n = -1479 + t. Is n a multiple of 15?
True
Suppose t + 6163 - 10983 = -4*w, -3*w - 15 = 0. Is t a multiple of 28?
False
Suppose -2*k - 4 + 1 = 5*o, -3*o - 2 = k. Let w be 135/(-15) - k*-1. Let z(p) = -2*p**2 - 18*p - 3. Is z(w) a multiple of 8?
False
Let f be ((-88)/12 + 4)*6. Let d(u) = -11 + 3*u - u**2 - 28*u - 5 + 0*u**2. Does 14 divide d(f)?
True
Does 8 divide (209 + 5/(-1))*(3590/15 + 0)?
True
Does 55 divide ((-45)/15 + (-146)/10)/(8/(-1900))?
True
Let h = -24 + 60. Does 20 divide 1680/h*108/21?
True
Let u(m) be the first derivative of 29*m**2/2 - 46*m - 2. Suppose -7*w + 11 + 38 = 0. Does 13 divide u(w)?
False
Suppose 0 = 2*i + i, -5*z = -i - 15. Suppose -5*a + a = -z*c + 262, -c + 80 = -5*a. Is 5 a factor of c?
True
Let p(c) = 18*c**2 + 2*c - 10. Let l be 65/5 + 0/(-2). Let r(g) = 9*g**2 + g - 5. Let k(q) = l*r(q) - 6*p(q). Is k(-4) a multiple of 13?
False
Suppose 67 = -b + 59. Let r(c) be the third derivative of -c**6/120 - 3*c**5/20 - 13*c**4/24 - 5*c**3/3 + 5*c**2. Does 15 divide r(b)?
True
Let u(g) = 10*g**2 - g. Let d be u(1). Suppose 0 = -d*z - 233 + 2105. Is 6 a factor of z?
False
Suppose 0 = -13*a + 12 + 1. Let s(h) = 356*h**3 + 2*h**2 + 4*h - 5. Does 17 divide s(a)?
True
Let a(b) = -241*b + 80. Let x be a(-4). Is (14/14)/((-3129)/x + 3) a multiple of 4?
True
Suppose -3*g - 5*r = -41503, 0 = -5*g - 3*r + r + 69140. Suppose 0 = 24*b - g + 1586. Is b a multiple of 30?
True
Let a be (-7)/((-14)/(-4)) + 9. Let t(c) = 31*c - 161. Is 14 a factor of t(a)?
True
Suppose -2*h = -6*h + 3*l + 3, -2*l = -3*h + 2. Suppose h = 4*j - 0 + 16. Does 15 divide (-2)/j - (-807)/6?
True
Let y(o) be the first derivative of 2*o**3/3 - 3*o**2/2 + 672*o + 27. Let n be y(0). Suppose 0*r - n = -8*r. Is r a multiple of 21?
True
Let q be ((-468)/48)/((-6)/(-16)). Let p = -34 - q. Is (-6 - -26)*(-6)/p a multiple of 13?
False
Let c = 384 + -381. Suppose -3*q = -2*p - 2, -p - p = -5*q + 6. Suppose -15 = -d - c*o + 5, 5*o = q*d + 4. Is d a multiple of 4?
True
Let o = 0 - 15. Let w be (o/(-9) + -1)/((-2)/(-57)). Suppose -3*t + 8 = -3*u - w, 4*t - 71 = -3*u. Is 3 a factor of t?
False
Let a(q) = -2*q**3 + 140*q**2 - 124*q - 744. Let w be a(69). Let y = -28 + 74. Suppose -y = -2*v - c + 42, -w = -5*v - 3*c. Does 10 divide v?
False
Suppose -2*z + 356 = -2*h - 1342, 5*z - 4230 = 8*h. Is z even?
True
Is 30 + 3810/(-120) - (-54195)/4 a multiple of 7?
False
Let p(k) = -k**3. Let g(q) = -4*q**3 + 12*q**2 + 16*q - 42. Let v(w) = g(w) - 3*p(w). Let m be v(13). Does 11 divide 38 + 2/((-6)/(-9)) - m?
True
Suppose -490 + 120 = -5*d. Let w = d - -85. Let x = -95 + w. Does 16 divide x?
True
Let z(i) = 451*i - 6. Let d be z(3). Let x = d - 465. Is x a multiple of 18?
True
Let h(g) = 2*g + 4. Let n be h(-2). Let k be n*4/(-16) + (-6)/(-3). Does 43 divide (k*1 - 0) + (-22 - -178)?
False
Let y = 88078 + -44780. Is y a multiple of 25?
False
Let f be ((-40)/(-10))/(4/2). Suppose -f*q + 35 = -2*s + 385, 2*s - 3*q = 352. Is 10 a factor of s?
False
Suppose 3*g = -l - 382, -12 = -2*l + 5*l. Let i = g - -110. Is 7 a factor of 5046/45 + i/120?
True
Does 58 divide (27/(54/20) - -5848) + 0?
True
Suppose 3*n = -9, -2*w + 296 = 2*w - 4*n. Let u = w - 22. Suppose -4*q + 217 = -t, q + t + 4*t - u = 0. Is 9 a factor of q?
True
Let r = -400 + -288. Let g = r + 794. Does 2 divide g?
True
Suppose 21239 = 4*b - 10245. Does 17 divide b?
True
Suppose 2471 = -3*m - 6*d + 57872, -3*m + 55406 = d. Is m a multiple of 84?
False
Let h = 3794 - -6293. Is h a multiple of 23?
False
Let k(s) be the third derivative of -s**6/120 + s**5/4 + s**4/4 + 11*s**3/3 - s**2. Suppose -51 = -5*c + 4*p, 170 = -p + 176. Is 14 a factor of k(c)?
True
Suppose -5*h - 8*m + 50864 = -9*m, -5*m = 5*h - 50870. Is 8 a factor of h?
False
Suppose -5*t + 4*d + 4252 = 0, 4*t + 9*d - 3407 = 14*d. Suppose t = 4*j - 56. Is j a multiple of 13?
False
Suppose 4*h = -94*h + 23814. Is 7 a factor of h?
False
Suppose -29*n - 152 = -5*b - 27*n, 5*b - n = 151. Let r(x) = -2*x**3 + 60*x**2 + x + 57. Does 6 divide r(b)?
False
Let c be (-36)/21 + 2 - (-233)/(-7). Let j = c + 24. Is 2/j + (-833)/(-63) a multiple of 13?
True
Let q(s) = -7240*s**3 + s. Does 64 divide q(-1)?
False
Let h(v) = 25*v. Let y(s) = s**2 + 19*s - 2. Let a be y(-19). Let u be h(a). Let t = 68 + u. Is 3 a factor of t?
True
Suppose -13864 = -10*b + 16343 + 15993. Is 16 a factor of b?
False
Let x = 5972 - 3245. Does 9 divide x?
True
Is 49 a factor of (-3 + 5 + -10 - 727)/(3/(-63))?
True
Suppose 0 = -8*p - 29592 - 69832. Does 30 divide p/(-36) + 4/(-18)?
False
Let y = -64 + 161. Let b = y - 234. Let m = b - -218. Does 6 divide m?
False
Let u(a) = 531*a**2 - 510*a - 2022. Is 99 a factor of u(-4)?
True
Let c(q) = q**2 - 5*q + 75. Let v be c(-16). Suppose -3*a = -10*p + 9*p - 393, v = 3*a + 5*p. Is 11 a factor of a?
True
Suppose 39 + 199 = -14*g. Is (-524)/(-5) + g/(-85) a multiple of 7?
True
Suppose 0 = 16*o - 12*o + 48*o - 55328. Is 53 a factor of o?
False
Let h(v) = -5*v - 25. Let l be h(-7). Let u be ((-61)/(-3))/(l/30). Let s = u + -43. Is s a multiple of 3?
True
Suppose -4*x + 6 + 30 = 0. Let n(g) = -205*g - 2071. Let r be n(-10). Does 8 divide 15/x*r/(-1)?
False
Let j(s) = -s**3 + 44*s**2 - 41*s - 84. Let i be j(43). Is 76 a factor of (i*-569)/(-1) - 60/15?
False
Suppose -3*s + 14341 = -5*c, -28*s = -29*s + c + 4779. Is 11 a factor of s?
False
Let m be (-13)/((-39)/(-18)) + 4 + 2. Suppose m*z = 4*z + 5*f + 17, -4*f = 20. Suppose 3*b + 0*v - 234 = -5*v, z*v = 0. Is b a multiple of 11?
False
Suppose 105498 = -68*d + 52*d + 384586. Is d a multiple of 15?
False
Let h be 211/((5 - 2)/30). Let d = h + 6554. Does 18 divide d/56 + (0 - 2/(-7))?
False
Let k(r) be the first derivative of -23*r**7/420 - r**5/120 - r**4/12 - r**3 + 10*r - 7. Let w(f) be the third derivative of k(f). Is w(-1) a multiple of 15?
True
Let x(w) = w**2 + 5*w. Suppose -4*z = -5*c - 5, 3*c - 1 - 9 = 5*z. Let u be x(z). Suppose u = 5*v - 908 + 68. Does 19 divide v?
False
Let o be 8/(-52) - 216/(-52). Suppose 0 = 3*p - o*l - 74, 0 = -p + 2*l + 3 + 23. Suppose 4*u - 7 = -3*b + 59, -2*u + 4*b = -p. Is u a multiple of 3?
True
Let i(p) = 6*p. Let q be i(4). Let o = q - 7. Suppose 12*d = o*d - 270. Is 24 a factor of d?
False
Suppose 5*d = 10, -69 = -5*c + 5*d + 6. Suppose -c*j = -18*j + 24. Is 24 a factor of j?
True
Suppose -37*i + 434110 + 15091 = -56922. Does 20 divide i?
False
Let b be -2 + 1156 + -2 + -5. Is b + 5/4*-4 a multiple of 41?
False
Suppose -101*f + 1789488 = 28*f. Is 39 a factor of f?
False
Is -2 + (-19 - (2 - 8941)) a multiple of 57?
False
Suppose -8*m + 1296 = 4*m. Let d be m*-3*(3 - 5). Suppose 0*w - d = -4*w. Does 27 divide w?
True