4*a + 4*o - 2*o = -180. Does 16 divide a?
False
Let a(v) = 333*v**3 - 4*v**2 - v + 2. Let r(j) = -668*j**3 + 7*j**2 + j - 3. Let z(l) = -7*a(l) - 4*r(l). Is 19 a factor of z(1)?
True
Let q(f) = 4*f + 16. Suppose -5*p + v - 20 = 0, 3*p + 2*v = -0*v - 12. Let t be (-14 - -10) + p*(-5 + 2). Is q(t) a multiple of 24?
True
Suppose 5*l - 52 = 4*a, 5*l - 5*a = -10 + 60. Let j(o) = o**3 - 7*o**2 - 32*o + 9. Is 15 a factor of j(l)?
True
Suppose 7*o - 10*o = 138. Let r = -52 - o. Let k(d) = d**2 - 9. Is k(r) a multiple of 10?
False
Let t = 6278 + -1960. Is t a multiple of 12?
False
Let v(d) = 3*d**2 + 60*d - 3. Let s be v(-25). Suppose -25*a + 31*a = s. Is a a multiple of 9?
False
Let a(q) = -4*q**2 + q + 2. Let g be a(-11). Let n = g + 715. Is 14 a factor of n?
False
Let n be (-66)/(-99) + (2 - (-656)/6). Suppose -16*z = -14*z - n. Does 56 divide z?
True
Let b(o) = 909*o - 1025. Does 70 divide b(9)?
False
Let k(o) = -o**3 - 2*o**2 - 64*o + 7. Does 24 divide k(-11)?
True
Let w be 606/(-8) + (-5)/(24 - 4). Let p = w + 82. Suppose p*f - 1199 = -5*f. Does 23 divide f?
False
Let g be ((-38)/3)/(7/(-63)). Let r be (-25)/(3*(-5)/45). Suppose -g = -2*m - 4*x, -r = -4*m + 5*x + 205. Is 16 a factor of m?
False
Suppose 9*w - 3044 = -155. Is 42 a factor of w?
False
Let m(c) = 2*c**2 + 12*c + 6. Let u be m(-6). Let q(n) = u*n + 5*n - 18 - 9. Does 21 divide q(12)?
True
Let k = 595 - 597. Is 81 a factor of 32*(-56)/k - 5?
True
Suppose 8*t + 7*t - 31496 = 12154. Does 6 divide t?
True
Let q be 3/((-75)/(-10)) - 5316/(-10). Suppose 0 = -32*b + 39*b - q. Is 4 a factor of b?
True
Let n be (87/9)/(6/18). Suppose -259 = n*j - 6291. Is 104 a factor of j?
True
Suppose -2*w - 4*h = -830, -2*w - 434 = -h - 1239. Suppose 4*t = 783 + w. Is 33 a factor of t?
True
Let u(t) = -t**3 + 22*t**2 - 17*t - 32. Let p be u(15). Suppose 33*b + p = 41*b. Does 7 divide b?
True
Does 42 divide (-8 - (-10 + -14)) + 3554?
True
Let s be 1/((-5)/(-25) - 0). Suppose 4*l - 109 + 32 = -3*t, -s*l + 104 = -4*t. Suppose 0 = 5*h + l - 100. Does 4 divide h?
True
Let f(a) = -1421*a + 10181. Is f(0) a multiple of 37?
False
Suppose 1203*z - 1284*z + 2582847 = 0. Is z a multiple of 127?
False
Let k(u) = 825*u**2 + 39*u + 37. Is k(3) a multiple of 75?
False
Suppose 0 = 35*i - 40*i + 3660. Suppose 2*d = 4*f + i, -22*d = -23*d - 3*f + 391. Is 17 a factor of d?
False
Let q(a) = 8*a + 20. Let z be q(-13). Let i = z + 98. Is 12 a factor of i?
False
Let r be (-1)/(1426/238 + -6). Suppose 0 = -2*t + 2*m + 48, -2*t - 4*m - r = -7*t. Is 3 a factor of t?
False
Is (-7 - 1910)*8/(-4) a multiple of 17?
False
Let a be -2*(-1)/(-2) - -178. Let g(x) = -12*x**3 + x**2 - 9*x + 8. Let s be g(1). Is (1 - 9)*(a/s + 5) a multiple of 13?
True
Let s(w) = -4*w**2 - 176*w - 86. Does 82 divide s(-36)?
True
Suppose 18*w + 29 = 65. Suppose w*y = 0, g - 65 - 3 = -4*y. Is g a multiple of 7?
False
Let p = -88 + -8. Suppose 0 = 5*n + o - 3*o + 278, 3*n + 171 = -3*o. Let b = n - p. Does 20 divide b?
True
Suppose -k + 2*z + 3487 + 992 = 0, -9*z - 22397 = -5*k. Does 14 divide k?
False
Let c(i) = 30*i**2 - 35*i + 327. Is c(9) a multiple of 37?
True
Let t = 148 - 149. Is (t - -5) + (498 - -26) a multiple of 22?
True
Suppose d = -5*i + 10375, -2*d = i - 5073 - 15713. Is 33 a factor of d?
True
Is 1810/24*33 - (-3)/(-4) a multiple of 43?
False
Let w(r) = -123*r**3 - 6*r**2 - 15*r - 162. Does 72 divide w(-6)?
True
Let x(v) be the third derivative of -v**6/120 - 7*v**5/60 - v**4/12 + 2*v**3 + 17*v**2. Let c(t) = -t**2. Let w(y) = -3*c(y) + x(y). Does 11 divide w(-6)?
False
Suppose -12*l + 168 = 5*v - 13*l, 0 = 3*v - 3*l - 96. Let g(j) = j**3 - 35*j**2 + 35*j + 22. Does 8 divide g(v)?
True
Suppose j = 5*t - 3, 3*j + 3*t - 7 = -16. Does 9 divide (j - (-160)/2) + 6?
False
Suppose 1839*c + 135210 = 1844*c. Is 27 a factor of c?
False
Let y be 1340/3*(-78)/52. Let a = -337 - y. Is a a multiple of 13?
False
Suppose 5*f + 136575 = 2*y, 32*y - 3*f - 204876 = 29*y. Is y a multiple of 15?
True
Suppose -v + 10*b + 6 = 9*b, 14 = 3*v + b. Let k(c) = c**3 + 6*c**2 - 11*c + 10. Is k(v) a multiple of 10?
True
Let h = -4806 - -12466. Is 30 a factor of 6*(-5)/20*h/(-6)?
False
Suppose -3*o + 45 = 57. Is (o - -8) + -5 - -815 a multiple of 22?
True
Let h be -9 + 1 + 6629/7. Let f = 1598 - h. Is 18 a factor of f?
False
Let l = 4042 + -3776. Is l a multiple of 14?
True
Let q(s) = -3*s**2 + 273*s - 2030. Is q(70) a multiple of 28?
True
Suppose -2308 = 8*z - 10084. Is z a multiple of 9?
True
Let a(v) = -v**2 - 7*v + 6. Let t be a(-6). Let i be (8/t)/(831/(-837) + 1). Suppose -d + i = 28. Is 5 a factor of d?
True
Let k be 1/3 + 1/(-3). Suppose -3*f + f - q = k, 3*f - 18 = 3*q. Is -1 + -1 - (-87)/(f - 1) a multiple of 17?
True
Suppose 9*j + 38 = -25. Let k be (-1770)/21 - 2/j. Let t = k - -168. Is 21 a factor of t?
True
Suppose -78 = -4*s + n, -5*s - 3*n + 46 = -3*s. Suppose -5*a + y = -30, 2*a + 0*y - s = 2*y. Suppose a*x + 7 = 3*k + 35, 0 = -2*x - k + 9. Does 3 divide x?
False
Suppose 0 = -53*b + 9*b - 4928. Is -2 - (-4 + b - 7) a multiple of 11?
True
Suppose 1 - 3 = -2*v. Let a(d) = 135*d - 5. Let t be a(v). Suppose -3*o = p - t, 4*o - 5*p - 186 = -0*o. Is 14 a factor of o?
False
Let q = -93 + 475. Let c = q - 41. Is 11 a factor of c?
True
Is -3 + 4 + (-32155)/(-30) + 9/54 a multiple of 9?
False
Let o be -3*3*6/27. Let v(a) = a**3 + 9*a**2 + 13*a - 3. Let u be v(-7). Is (u/o)/((-1)/10) a multiple of 6?
False
Let x = -73146 - -108011. Is x a multiple of 5?
True
Let n be ((-34)/4)/(3*4/(-792)). Let r = -300 + n. Is 24 a factor of r?
False
Let l = 143 + -145. Does 2 divide l/((-12)/(-15)) + (-1407)/(-42)?
False
Let d = 109 - 80. Let s = d - 17. Does 32 divide (2 - s/(-10))/((-6)/(-360))?
True
Suppose 2*n - 214 = 4*s, -s - 47 = 4*n + 11. Let t = 20 - s. Does 33 divide t?
False
Does 60 divide 1 + -4 + (5673/(-62))/((-2)/36)?
False
Suppose 13769 + 5020 = 5*x + 3*j, -3*j - 7503 = -2*x. Is x a multiple of 6?
True
Let d(m) be the third derivative of -m**6/120 - m**5/30 - m**4/6 + 202*m**3/3 + 44*m**2. Is 11 a factor of d(0)?
False
Suppose 7 - 12 = b. Is (2 + (b - -4))*90 a multiple of 30?
True
Suppose 2*i + 18 = 3*i - 5*l, 2*l = 2*i - 52. Let u(c) = -c**3 + 11*c**2 - 2*c - 8. Let k be u(11). Let f = i - k. Does 29 divide f?
True
Let n = -358 - -5. Let v = n + 771. Is v a multiple of 27?
False
Suppose -4*j + 12*j - 40 = 0. Suppose -j*m = 12 - 32. Is 6 a factor of (-9)/(45/(-230)) - m?
True
Let r = -495 + 693. Suppose 31*d = 29*d - r. Let h = d - -139. Is h a multiple of 10?
True
Let z(y) = -2*y**3 + 8*y**2 - 5*y - 8. Let p = -23 + 29. Let a be z(p). Let d = a - -310. Is d a multiple of 33?
False
Does 69 divide (-8)/192 - 5323773/(-504)?
False
Let b = 467 + 4565. Is 53 a factor of b?
False
Suppose 4*a + 21 = 3*i - 758, 0 = a - 4. Let x = i + -202. Is 21 a factor of x?
True
Let h = 64 + 321. Suppose y = 3*k - h, 3*y - 4*y = -2*k + 257. Suppose 3*z - 34 = k. Is 9 a factor of z?
True
Let a(j) = -3*j - 42. Let q be a(-21). Let g = -3 - q. Is 20/g*-15*2 a multiple of 13?
False
Suppose -12*f - 45492 = -30*f + 7644. Is f a multiple of 18?
True
Let v(y) be the second derivative of y**4/2 + 11*y**3/3 + y**2 + 35*y. Let a be v(-4). Suppose a*k - 72 = 9*k. Is 8 a factor of k?
True
Let j be (3 - 0) + (0 - 0). Let x = j + -42. Let v = x + 49. Does 4 divide v?
False
Suppose 226*u = 54*u + 364597 + 856259. Is 91 a factor of u?
True
Is 10 a factor of (2745/(-30) + 14)/(6/(-864))?
True
Let b = -37842 - -72386. Is 34 a factor of b?
True
Let s(d) = d**3 - 3*d**2 + 2*d - 4. Let x be s(4). Suppose 1425 = -x*i + i. Let r = -59 - i. Is 7 a factor of r?
False
Suppose 0 = 4*q - 3*n - 81862, -2*q = -6*q + n + 81858. Is q a multiple of 16?
True
Let z(m) = -8*m - 93. Let j be z(-12). Suppose 0 = -6*a + 3*a + 5*u + 2372, j*u = 4*a - 3159. Is 67 a factor of a?
False
Suppose 2*y - 2*s - 20 = 0, -10*y = -15*y + s + 30. Suppose -y*l + 431 = q, l - 1315 + 453 = -2*q. Is q a multiple of 39?
False
Suppose 0 = 4*c + 60 - 80. Suppose -c*k + 5676 = -40*f + 36*f, 2*k + 4*f - 2276 = 0. Does 16 divide k?
True
Let n(k) = -k**3 + 23*k**2 + 18*k + 30. Let g be n(17). Suppose g = q + 14*q. Is q a multiple of 23?
True
Let d(k) = k**2 + 8*k - 58. Suppose -362*s + 364*s - 28 = 0. Does 78 divide d(s)?
False
Let f(v) = v + 12. Let u =