. Does 14 divide o(n)?
False
Let n(c) = -c**3 + 12*c**2 - 11*c - 2. Let m be n(11). Let x = -11 - m. Is 11 a factor of (-102)/x + (-2)/6?
True
Let i = -257 + 261. Is i a multiple of 2?
True
Suppose -3*x + l + 2 = 0, -5*l - 7 = 3*x - 33. Suppose x*n - 16 = -2*n. Does 14 divide n/30 - (-2690)/75?
False
Suppose 3*x - r = -4*r - 12, -4*x - 13 = 3*r. Let g(b) = -9*b - 6. Let u be g(-1). Is -26*(u - 5 - x) a multiple of 16?
False
Suppose 0 = 3*t + t - 8. Suppose -t*h = -11 + 23. Is 12 a factor of 1/1*(h - -18)?
True
Let r be ((-72)/(-21))/((-4)/(-14)). Does 7 divide r/(-9)*-3 + (-8 - -22)?
False
Let c(y) = -y**3 - 12*y**2 - 13*y + 14. Let t be c(-11). Let s = 64 - t. Is 15 a factor of s?
False
Suppose -u - 11 = -2*u. Let r(o) = 2*o**2 - 3*o. Let s be r(6). Suppose -5*k + s = -u. Is 13 a factor of k?
True
Let m = 67 - 41. Suppose 3*u = 4*u - 10. Let y = u + m. Does 9 divide y?
True
Let z(x) = 33*x**3 + 2*x**2 + 3*x - 6. Does 34 divide z(2)?
True
Let k(z) = z**3 + 5*z**2 - 8*z - 4. Let w be k(-6). Does 13 divide w*(-548)/(-56) + 6/(-21)?
True
Suppose c - 3*d + 123 = 3*c, 5*d + 245 = 5*c. Let g(b) = 25*b + 152. Let v be g(-6). Suppose 4*t = -v*r + 122, -23 = -r + 2*t + c. Is r a multiple of 23?
True
Suppose 4*k + 9 + 7 = 0, -t - k = 1. Is (-247)/(-52) - t/4 a multiple of 2?
True
Suppose 5*o - 16 - 4 = 0. Suppose -5*f = -10*f - o*w + 601, 16 = 4*w. Does 12 divide f?
False
Let l = 107 - 64. Let s = 83 - l. Is 16 a factor of s?
False
Suppose -5*a + 0*a = 0. Let k(u) = -u**2 - u + 259. Let r be k(a). Suppose -3 = 4*q - r. Is 26 a factor of q?
False
Suppose 77*h - 93*h = -12352. Is h a multiple of 13?
False
Let m be (42/9 - 4)*6. Suppose -5*o = 3*a - 813, 2*o + m*a + 0*a = 314. Does 33 divide o?
True
Suppose 7*o - 432 = 4*o. Suppose 336 = -4*p - d + 5*d, 0 = 2*p + 4*d + 144. Let q = p + o. Does 19 divide q?
False
Let k(s) = -2*s**2 + 38*s - 4. Let y be k(15). Suppose 0 = -8*z - y + 1164. Is 10 a factor of z?
False
Let z(k) = k**3 + 6*k**2 - 7*k + 17. Let g(f) = f**2 - 3*f + 1. Let c be g(-2). Let m = c + -18. Does 10 divide z(m)?
False
Let g be -21*(10/(-7))/5. Let o(f) = 8*f + 13. Is 12 a factor of o(g)?
False
Let r = 1 - -1. Suppose 213 = r*i + i. Let v = i + -43. Does 28 divide v?
True
Suppose -2*n = 4*f + 10, -3*f + 2 = -5*f. Let l = 145 - n. Is 23 a factor of l?
False
Let k = -238 - -545. Does 33 divide k?
False
Let t = 1531 + -849. Is t a multiple of 62?
True
Let l be (1 - -3) + (-1)/((-3)/(-9)). Is 615/7 + l/7 a multiple of 4?
True
Suppose 4*l = -4*z + 16, 2*l - 70 = -3*l + 5*z. Suppose l*g = 4*g + 3*y + 524, -5*g = 4*y - 503. Is 15 a factor of g?
False
Let p = 7 + -4. Let t(c) = 3*c - 3 + 3*c - 5*c - p. Does 2 divide t(12)?
True
Let j = 50 - 45. Suppose -346 = -j*i + 274. Does 31 divide i?
True
Suppose -7 = -2*v + 3*v. Let t = v - 1. Is 5 a factor of t/3*180/(-16)?
True
Is 13 a factor of ((-7956)/(-238))/((-4)/(-252))?
True
Let y be 186/15 + (-4)/10. Suppose -4*m = y + 4, 2*m + 350 = 3*h. Is h a multiple of 32?
False
Let s(v) = -v**2 + 14. Let n be (-6)/(-27) + (-64)/(-36). Let o be (-10 - -10)/(n - 1). Does 6 divide s(o)?
False
Let u(i) = 210 + 96 - 114 - i**2 - i. Is u(0) a multiple of 33?
False
Suppose 1670 = -3*q + 4*f + 6957, 0 = 3*q + 2*f - 5317. Is q a multiple of 61?
True
Let r be 0 - (2 + -4 - -7). Let j = r - -9. Suppose 0*d = -j*d + 104. Is 26 a factor of d?
True
Let b be (582/20*-2)/((-3)/15). Suppose 9 = g - b. Is g a multiple of 30?
True
Suppose -196*j + 193*j = -600. Is j a multiple of 20?
True
Let f be (-2)/(4*4/(-24)). Suppose -4*h + h + f*q = 333, 0 = -2*h - 4*q - 240. Let s = -42 - h. Is 24 a factor of s?
True
Does 39 divide 27849/51 + (-11)/187?
True
Let w(p) = -p**2 - 12*p - 32. Let j be w(-8). Suppose 59 = 2*t - 5*k, k + 4*k - 15 = j. Does 13 divide t?
False
Let b be (0 + (-3)/6)*0. Suppose b = -4*i - t + 15, -2*i - 2*t = -6 - 6. Suppose -5*p + 336 = i*d, 7*p = 3*p - 4*d + 272. Does 22 divide p?
True
Let f(i) = 10*i - 40. Does 10 divide f(18)?
True
Let n = 136 + -70. Suppose 10*g + n = 12*g. Is 11 a factor of g?
True
Let h(l) = 35*l**2 - 32*l + 182. Is h(6) a multiple of 10?
True
Let l(c) = -2*c + 10. Let b be l(-1). Is 17 a factor of (288/(-10))/(b/(-60))?
False
Suppose -25*i + 36*i - 2310 = 0. Is 21 a factor of i?
True
Let a(k) = -k**3 - 2*k**2 + 5*k - 1. Let u be a(-4). Suppose -u = 5*h + 19. Does 2 divide ((-7)/(-14))/((-1)/h)?
False
Suppose -n = 1 - 3. Let d(p) = p**3 + 2*p**2 - 2*p**3 - 3 - n + 7*p + p**2. Does 2 divide d(4)?
False
Suppose -8 = -5*q + 7, 3*s + 5*q = 378. Is 11 a factor of s?
True
Suppose -d = 6*d - 840. Suppose 4*x + d = 10*x. Is 4 a factor of x?
True
Does 34 divide (-7 - 11)/(2/(-34))?
True
Suppose -4*c + 77 = -575. Is 24 a factor of c?
False
Let r(b) = 54*b + 1. Let t be r(1). Let k be 1495/t - 2/11. Is (161/(-21))/((-3)/k) a multiple of 23?
True
Suppose 0 = -5*i - c - 5, 3*i + 0*i + 2*c + 10 = 0. Suppose i*j = -j + 192. Does 36 divide j?
False
Is 10 a factor of -8*(44/286 - (-199)/(-26))?
True
Let p be (1 + 0)/(5/(-135)). Let a = p - -174. Does 21 divide a?
True
Suppose 101*v - 100*v = -8. Let c(i) = -i**2 - 17*i - 19. Is 5 a factor of c(v)?
False
Let l = -15 - -15. Let p be 926/11 - (-2)/(-11). Suppose -3*u + u + p = l. Is u a multiple of 20?
False
Let v(z) = -z**3 - 16*z**2 - 15*z - 16. Is v(-16) a multiple of 28?
True
Suppose -3*p = 5*i + 47, -5*p + 2*i + 2*i - 29 = 0. Let j be ((-8)/3)/((-1)/p). Does 8 divide (j/(-36))/((-1)/(-45))?
False
Let f(z) = z**3 - z**2 + 19. Let q be f(0). Let y = -17 + q. Suppose -6 = y*o - 12. Does 2 divide o?
False
Does 28 divide (4/(-16))/((-4)/848)?
False
Suppose 4*z = 6*z - 12. Let r be (-1)/(-3)*(3 + z). Suppose -s - s + 2*m + 64 = 0, -4*m - 95 = -r*s. Is s a multiple of 11?
True
Let a be 155*3*(8 + -7). Suppose -130 = -5*i + a. Is i a multiple of 6?
False
Let o(x) = x**2 - 2*x + 2. Let w be o(3). Let g(f) = -w + 0*f**2 - 4*f + 3*f + 0*f + f**2. Does 5 divide g(4)?
False
Let y(m) = -2*m**2 - 3*m + 4. Let w be y(2). Is 11 a factor of (w - -71) + 0/2?
False
Let c be 10/3*(-12)/(-10). Is 16 a factor of ((-1)/2)/(c/(-680))?
False
Let d be (2 - -1 - 28) + 3. Let b = 91 - d. Is 12 a factor of b?
False
Let r = -78 - -103. Suppose 2*g = 3*f + 56, -2*g - r = -f - 73. Is 3 a factor of g?
False
Let q(f) = 61*f + 1. Let n be q(5). Let w be (2/6)/(2/n). Suppose -y = 2*y - w. Is y a multiple of 7?
False
Let b = 7269 + -869. Is 128 a factor of b?
True
Suppose 62*o = 54*o + 4912. Is 13 a factor of o?
False
Suppose 0 = j - 4*j + 15. Suppose -j*l - 2*l + 5054 = 0. Is 8 a factor of l/10 + (-16)/80?
True
Let p(w) = -7*w**2 + 3*w + 15. Let o be p(-4). Let g = 168 + o. Is g a multiple of 11?
False
Suppose -8*j - 764 = -t - 13*j, j + 2324 = 3*t. Does 9 divide t?
True
Let f(b) = -2*b + 2. Let p be f(-1). Is (10/p)/(2/52) a multiple of 28?
False
Suppose -2204 = -4*j - d - 594, 0 = 5*j - 4*d - 2002. Is 6 a factor of j?
True
Let u(b) = 87*b - 1000. Is u(13) a multiple of 4?
False
Let o(u) = -u**3 - 4*u**2 - 8*u - 7. Suppose -2*t - 25 = -11. Is o(t) a multiple of 11?
False
Suppose -3*i - 11 = -5*b, -2*i - 5 - 5 = -4*b. Let t(o) = i + 2*o**2 + 4 - 8*o - 2. Does 5 divide t(5)?
True
Suppose -1221 = -8*n - 509. Does 17 divide n?
False
Suppose o - 10528 = -13*o. Suppose i - 106 = -3*f, 5*i = -2*f - 222 + o. Is 5 a factor of i?
False
Let n = -1077 - -1701. Suppose n = -2*d + 15*d. Is d a multiple of 2?
True
Let r(b) = -100*b - 201. Is 3 a factor of r(-9)?
True
Suppose 1 = 2*l - 199. Let h = -66 + l. Is 17 a factor of h?
True
Let w(l) = 161*l + 15. Let g(p) = 3*p**2 + 81*p + 2. Let c be g(-27). Does 43 divide w(c)?
False
Let d(q) = 8*q - 11. Let s be d(7). Suppose -3*p + 36 = 4*m - s, 5*p - 135 = -m. Is p a multiple of 12?
False
Suppose -d = 5*a + 132, 2*d - 7*a + 3*a + 306 = 0. Let r = d - -209. Does 17 divide r?
False
Suppose 5*b - 3 - 17 = 3*a, 4*b = 3*a + 16. Suppose 0 = -b*i + 10 - 2. Suppose 5*k - 195 = -i*l, -k - 5*l = -11 - 5. Does 10 divide k?
False
Let z be 3 + (-3 - (-3)/1). Suppose -3*l + 5 = -a, z + 0 = 3*l. Is 46 - a - (-1 - -1) a multiple of 16?
True
Let q be (13 - -1)/((-12)/(-24)). Suppose 5*v - 6*v - q = 0. Is (0 + 1)/((-4)/v) a multiple of 2?
False
Suppose 3*g - 10 = -2*g. Let q(p) = p**3 + p**2 - p. Let r(h) = -5*h**2 + 5*h. Let u(j) = 4*q(j) + r(j). Is 15 a factor of u(g)?
T