6. Does 9 divide t?
False
Is 101 a factor of (22 - 280825/25)*-1?
True
Let c be ((-4)/(1*-1))/(392/(-2156)). Let d(l) = -6*l + 1. Let f be d(-7). Let w = f + c. Is w a multiple of 7?
True
Let f(y) = -3*y - 4. Let x(c) = -2*c - 1. Let r(a) = -3*f(a) + 2*x(a). Suppose -u + 5*t + 2 = 11, -3*t = -u - 3. Is r(u) a multiple of 7?
False
Suppose 33 = -5*t + 228. Suppose -40*b = -t*b - 89. Is 7 a factor of b?
False
Let y = -12596 - -33806. Does 210 divide y?
True
Let k = -1704 + 5862. Is 22 a factor of k?
True
Suppose -3*m + 1 = -14. Suppose 75 - 5 = -m*u + 5*i, -1 = -u - 2*i. Is (-90)/(u/(9/2)) a multiple of 9?
True
Suppose 0 = 7*o - 29*o + 28248. Suppose -7*c + o = -4764. Is 54 a factor of c?
True
Let x be (0 + -1)/(1/(-2))*13. Suppose 4 = -j - n, -n = -5*j + 4*n. Does 12 divide j/(-13) + 2258/x?
False
Let m(h) = 69*h**2 + 258*h - 2097. Is m(8) a multiple of 9?
True
Let w(x) = -x**3 + 78*x**2 - 376*x - 103. Is 321 a factor of w(55)?
True
Let u(x) = -2*x**3 + 12*x**2 - 5*x + 5. Let j be u(7). Let t = j - -199. Suppose 3*i - 40 = t. Is i a multiple of 18?
False
Let l(i) = i**2 - 8*i**2 + 14*i**2 + 3*i - 15 - 5*i**2. Does 10 divide l(-9)?
True
Let r = 514 - 492. Is (-66)/r - (-1197)/(9/3) a multiple of 11?
True
Let j(l) = 6*l**2 + 12*l - 7. Let p be j(-3). Suppose -p*m = -13*m - 2*t + 64, -4*t = 3*m - 101. Is 3 a factor of m?
True
Let c(m) = -7*m + 55. Let d be c(-25). Let i = d + -48. Is i a multiple of 26?
True
Let a = -141 - -138. Let c(l) = -10*l**3 + l**2 + 9*l + 1. Is c(a) a multiple of 13?
False
Let f(a) = a + 19. Let i(n) = n**3 + 9*n**2 - 25*n - 7. Let c be i(-11). Let t = -9 + c. Is f(t) a multiple of 8?
False
Does 20 divide 6/8 + 2131920/576?
False
Let h(o) = 17*o - 1. Let i be 12/9*6/2. Suppose i*d = -4, 0*j + 9 = 4*j - 5*d. Is h(j) a multiple of 9?
False
Let x(y) = -1108*y - 378. Is x(-6) a multiple of 11?
True
Let n(r) be the third derivative of r**5/60 + 5*r**4/24 + r**3/3 - 22*r**2. Let g be n(-5). Suppose -g = 2*t - 6, v = 3*t + 54. Is 10 a factor of v?
True
Suppose -28 = -2*g + 18. Suppose 18 = -20*b + g*b. Let v(a) = a**3 - a**2 - 12*a - 13. Is 19 a factor of v(b)?
True
Suppose 4*y + 6 - 2 = 5*h, -3*y + 4*h = 3. Let q(f) = 107*f**2 - 6*f - 39. Let o(s) = -54*s**2 + 3*s + 21. Let m(c) = 11*o(c) + 6*q(c). Is 8 a factor of m(y)?
True
Let l be 8/(-20) - (-168)/20. Let m(p) = 4*p + 15. Is m(l) a multiple of 9?
False
Suppose 3*v = -5*x - 2 + 18, -2*v - x = -6. Let b be v/(-8)*(-20)/(-15)*12. Is (-4)/(-30) - ((-28288)/(-60))/b a multiple of 10?
False
Suppose 3 = 2*a - 5*a, 6873 = 4*b + 3*a. Suppose 4*o = 4*m - 483 + b, -4*m = 5*o - 1527. Is 11 a factor of o?
False
Let p(n) = -2*n**2 - 34*n + 490. Let h be p(-25). Suppose -4*a = -0*a - 32. Does 16 divide a/((4 + 1)/h)?
True
Let o = -3520 - -4093. Is 9 a factor of o?
False
Let l = -2077 + 2085. Suppose 3*k - 2*k - 25 = 0. Let z = k - l. Is 3 a factor of z?
False
Let g be 2091/41 + 4 + -3. Let y = 1 + 12. Let r = g - y. Is r a multiple of 13?
True
Does 34 divide 4569 + (-16)/80*65?
True
Let o(d) = -16*d**2 - 181*d - 18. Is o(-6) a multiple of 82?
True
Let q(n) = 6*n**2 - 104*n - 131. Does 40 divide q(-14)?
False
Let z(p) = 65*p + 52. Let s be z(6). Suppose 5*b = 2557 - s. Is b a multiple of 39?
False
Suppose 0 = -6*q + 2*q + 60. Let c = 18 - q. Suppose 135 = -c*t + 8*t. Is 9 a factor of t?
True
Suppose 0 = -3*x - 17 + 8. Is 41 a factor of 984*(x + (-22)/(-6))?
True
Let w(b) = -194*b + 32. Let u be w(-7). Suppose 0 = 96*g - 86*g - u. Is g a multiple of 10?
False
Let x = 76730 + -48618. Is x a multiple of 112?
True
Let v = -160 + 142. Is 52 a factor of ((-3816)/v)/(3 - (0 - -1))?
False
Let d = -2 + 0. Suppose -4 = 360*o - 358*o. Is 130 + (o - d) - (-10)/(-5) a multiple of 32?
True
Let o(f) = 7*f + 59. Let d be o(-9). Let r = 2 - 3. Is (r + (-8)/24)/(d/114) a multiple of 16?
False
Suppose 8*j + 22345 - 106881 = 0. Is 102 a factor of j?
False
Suppose h + 4 = 0, -2*q - 9 = -2*h - 11. Is 6/q - (8 - 62) even?
True
Let z(k) = 177*k + 1520. Is z(25) a multiple of 11?
False
Let b(o) = -64*o**2 - 7 + 3 + 963*o**3 + 65*o**2 + 3. Is b(1) a multiple of 77?
False
Suppose -3*d + 5*u = -7590, 11*u - 15*u + 10152 = 4*d. Is 65 a factor of d?
True
Suppose 10*w - 9*w + 6 = 0. Let a be (28/w)/7*-3. Suppose 6*g + 5*q = a*g + 121, 0 = g - 3*q - 43. Is g a multiple of 17?
True
Let d be (-18)/12*(115/15 - 3). Does 9 divide d/(42/(-45))*18/15?
True
Suppose -2*x + 5*z + 8000 = 0, 4*z = -14 - 2. Suppose -14*u + x = 714. Is u a multiple of 39?
True
Does 56 divide (219/(-2))/((129/380034)/(2/(-18)))?
False
Does 8 divide (3*2927/21)/(-3*(-3)/63)?
False
Let a = 10 - 67. Let r = a + 218. Does 7 divide r?
True
Suppose -23*l + 287856 = 54406. Is l a multiple of 29?
True
Let c(q) = -7*q**3 + 54*q**2 + 7*q - 66. Let y(p) = -4*p**3 + 27*p**2 + 4*p - 33. Let v(t) = -3*c(t) + 5*y(t). Let n be v(27). Does 11 divide ((-27)/n + 4)*-66?
True
Suppose 45 = -14*z + 19*z. Suppose -153 + z = -2*u. Is 9 a factor of u?
True
Suppose -3*h = h. Let f = 51 + -43. Is (h - f/20)*(-1 + -19) a multiple of 8?
True
Let q = -9 - -789. Suppose q = 181*h - 175*h. Is h a multiple of 10?
True
Let d(v) = 20*v - 4. Let j = -18 + 20. Suppose j*m = 30 - 24. Does 28 divide d(m)?
True
Let c be (0 + 1)/(37/74). Suppose 4*g + v - 751 = 0, -c*g + 389 = -0*g + 5*v. Is 17 a factor of g?
True
Let d = -259 + 385. Is 2 a factor of d?
True
Let s = 12395 - -10091. Does 264 divide s?
False
Let s(f) = -18*f + 647. Is s(14) a multiple of 79?
True
Let l(x) = 3*x**3 - 186*x**2 + 111*x + 356. Is 11 a factor of l(62)?
True
Let u(z) = z**2 + 3*z - 7. Let s = -74 + 69. Let b be u(s). Suppose 0 = b*t - 25 - 23. Is t a multiple of 5?
False
Let c = 51 - -585. Let y = c - 178. Is 53 a factor of y?
False
Suppose 0 = -6*a + 5772 + 3792. Suppose -5*l - 4*k + 2008 = 0, -2*k - a = -4*l + k. Is 34 a factor of l?
False
Is 21 a factor of (0 - 1720/32)/((-1)/36)?
False
Let p(f) = -f**2 + 3*f + 32. Suppose -8*c + 2 = -7*c. Suppose c*g = -g. Does 8 divide p(g)?
True
Suppose 35 = 20*w - 45. Suppose 4016 = 5*g - 2*g + w*n, 2*g - 2644 = 4*n. Is g a multiple of 36?
True
Suppose -6*c - 2*c + 32 = 0. Let w = 46 - 66. Does 8 divide 1/c - 635/w?
True
Let m(b) = 20*b - 2*b**2 - 125 + 22*b + 74 + 78. Let q be m(19). Suppose 105*x - 348 = q*x. Does 20 divide x?
False
Suppose -410 = -3*n - 107. Let d be (26 + 3*9/(-9))*1. Let j = n - d. Does 18 divide j?
False
Let w(f) = -f**2 - 57*f - 96. Let i be w(-51). Let v = -5 - -5. Suppose 3*t + 2*t - i = v. Is 6 a factor of t?
True
Let g = 96 - 105. Is 2 a factor of 95/19 + (-1 - g)?
False
Suppose 3*q - 46 = 5*l, 5*q - 3*l + 46 = 128. Let v = 21 - q. Suppose 5*z - 2*c + 0*c = 615, -v*c = 4*z - 492. Is 53 a factor of z?
False
Let t = -5231 - -5611. Is t a multiple of 95?
True
Let u(t) = t**3 + 4*t**2 - 6*t - 8. Let g be u(-5). Is 22 a factor of (-5 + (-704)/3)*g?
False
Let k be (-109)/2*-1 + 12/(-8). Suppose 47*a = k*a + 858. Let l = 55 - a. Is 33 a factor of l?
True
Let u = -149 - -56. Let q = -89 - u. Suppose -2*i + q*v = -55 - 201, 3*v = 12. Does 15 divide i?
False
Let t(s) = 15*s**2 + 4*s + 3. Suppose -6 + 21 = 3*j. Suppose -12 = 4*f + 4*l - 0*l, -3*l = -f + j. Is 14 a factor of t(f)?
True
Is 28269/(-108)*(6 - (-808)/(-12)) a multiple of 32?
False
Let r = -87 - 155. Let z = 405 + r. Is z a multiple of 23?
False
Suppose 5*u + 15 = x + x, 2*u = -3*x + 32. Suppose x*h - 354 = -124. Does 13 divide h?
False
Suppose 3*h = -7*h. Suppose h = 2*p - 5*d, 2*d = 2*p - 4*p. Is 10 a factor of ((p + -8)*-1)/(-1)*-15?
True
Let l be 18*(3 + (-24)/9). Suppose i = l*i - 2335. Is i a multiple of 17?
False
Let d be (-1)/((-2 + (2 - -1))*1). Let h be ((-9)/3)/(d/(-3 - -2)). Let o(c) = 7*c**2 - 5*c + 3. Is o(h) a multiple of 27?
True
Suppose 5*f + 3*m - 2*m = 10, 3*m + 15 = 0. Suppose -2*q = f*a - 1323, 0 = -2*q - 0*q + 4*a + 1330. Does 10 divide q?
False
Does 23 divide ((-207)/117)/(5/(-65))?
True
Let x = -244 - -148. Let l be 7/(-1)*(-198)/21. Is (x/(-36))/(4/l) a multiple of 11?
True
Let d(c) = -1452*c - 2380. Is d(-16) a multiple of 12?
False
Suppose -113*k + 222*k + 210964 = 122*k. Is k a multiple of 13?
False
Let l(p) be the first derivative of p**5/20 - 5*p**4/6 - 4*p**3/3 + 3*p**2 + 23*p + 21. Let w(u) be the first derivative of l(u). Does 9 divide w(11)?
False
Suppose 0 = 4*