. Is 2 a factor of s(11)?
True
Let j(q) = -18*q + 33. Suppose -m - 2 = -c - 6, -m + 4 = 5*c. Let t be j(m). Let r = 82 + t. Is 6 a factor of r?
False
Let b(n) = -8*n**2 + 2*n**3 - 14 - 28*n - n**2 - 3*n**3 + 17*n. Let w be b(-8). Does 6 divide 2107/35 + (-2)/w?
True
Let j(q) = 76*q**2 - 325*q + 1. Is j(5) a multiple of 92?
True
Let l(q) = 207*q**3 + 8*q**2 - 7*q - 61. Is 137 a factor of l(5)?
False
Let z(n) = -18*n + 9. Suppose 13 = -3*i + 7. Let g be (-28)/(-6)*-3*(-1)/i. Does 32 divide z(g)?
False
Let x be 0/(-12) - -1*1. Let i(m) = -m - 26*m**2 - 21*m**2 + 0 + 48*m**2 + x. Does 2 divide i(-3)?
False
Suppose -2*h - r - 185 + 601 = 0, r + 214 = h. Let q = h - 70. Is q a multiple of 4?
True
Suppose -579*d + 1581 = -582*d. Let m = d + 791. Does 33 divide m?
True
Suppose c = -0 + 6. Let n(l) = 9*l**2 + 3*l + 2. Is n(c) a multiple of 29?
False
Let t = 15104 + -14942. Is 4 a factor of t?
False
Suppose 0 = 2*f + 2*f - 2*j + 32, -j = -3*f - 22. Let u(q) be the second derivative of -q**4/12 - 7*q**3/6 + 3*q**2 - 2*q + 95. Is 6 a factor of u(f)?
True
Let q(v) = -v**3 - 15*v**2 - 14*v + 3. Let f be q(-14). Let z(n) = -5*n**3 + 4*n**2 - 2*n + 4. Let u be z(f). Let g = -47 - u. Is 3 a factor of g?
True
Let b(q) = 4*q**2 + 35*q + 222. Is b(-8) a multiple of 11?
True
Let v = 87 - 85. Let c = 94 - v. Is c a multiple of 37?
False
Let a = 1782 + -425. Is a a multiple of 59?
True
Does 13 divide (6/15)/((-31)/(-397730))?
False
Let x be 22*(-3)/(-2)*2. Suppose 3*u - x = -2*o, -2*o = u - 5*o - 11. Suppose -4*i + u = -32. Does 13 divide i?
True
Let y(m) = -2*m**3 - 13*m**2 - 9*m. Let o be y(-8). Suppose 0 = 2*c - 0*c - o. Suppose n + 0*n + b = c, 0 = 4*b - 12. Does 26 divide n?
False
Let v(x) = 25*x - 106 + 49 + 37. Is 80 a factor of v(36)?
True
Let j = 1818 + 63. Is j a multiple of 99?
True
Is 24 a factor of ((-66)/(-10))/(3*(6 + 25823/(-4305)))?
False
Let q(z) = 390*z**2 + 199*z + 24. Is q(-5) a multiple of 11?
False
Let r(j) = 12*j**2 + 365*j + 137. Is 10 a factor of r(-63)?
True
Let j = -91 + 89. Let b(h) = h**3 + 3*h**2 - 2*h - 4. Let c be b(j). Suppose 0 = -c*x + 159 - 115. Is 10 a factor of x?
False
Suppose 0 = 3*w + 2*x + 239, -3*w + 0*w - 5*x - 242 = 0. Let v = w - -19. Let c = v - -100. Is c a multiple of 8?
True
Suppose -2*b - 44 + 4 = -2*r, -3*r + 40 = b. Suppose -3*s - 4*i = -894, 2*s + r = -i + 606. Is s a multiple of 6?
True
Suppose -53*g = -50*g + 4*f - 18959, -4*f - 12646 = -2*g. Does 6 divide g?
False
Let h(q) = 3*q**3 + 541*q**2 - 2*q**3 - 7 - 545*q**2 - 4*q. Does 20 divide h(6)?
False
Let q = -148 - -142. Is q + (6 - 3) - -67 a multiple of 8?
True
Suppose 55957 + 19613 = 10*r. Is 11 a factor of r?
True
Let z(i) be the third derivative of -i**4/6 + 26*i**3/3 + 21*i**2. Let m be z(12). Is m/(-6) - (4 + (-2082)/18) a multiple of 8?
False
Let w = -16313 - -29527. Is w a multiple of 109?
False
Let a(b) = 4*b**2 + 9*b - 2. Let z(g) = 3*g - 7. Let o be z(4). Suppose 5*u - 5*w + 10 = 0, -o*u - 1 = -3*u - 3*w. Does 24 divide a(u)?
False
Suppose 0 = 2*o - 2. Suppose 5*z + 75 = -5*s, 0 = z + 4*s - o + 7. Let b = z - -50. Is 11 a factor of b?
False
Let h = 24487 + 12089. Does 36 divide h?
True
Suppose 117 = 2*k + 63. Let r = -133 + k. Let z = -84 - r. Is z a multiple of 5?
False
Let o = 189 + -190. Let s(k) = -342*k**3 - k**2 + k + 2. Is 16 a factor of s(o)?
False
Let g = 476 + -148. Suppose 2*l = 666 + g. Does 9 divide l?
False
Let g(v) be the first derivative of v**4/4 + v**3 - 3*v**2 + 8*v - 2. Let o be -3 - (-1)/(8/64). Does 9 divide g(o)?
False
Let k = -6607 + 8750. Does 5 divide k?
False
Let l be (-176)/(-28) + 2/(-7). Suppose -l = -c - 6. Is 15 a factor of (-21)/((-4)/20 + c)?
True
Let q be (-6)/(-2) + 3 + 65. Let s = 815 + -786. Let n = q - s. Does 7 divide n?
True
Let x(h) be the second derivative of -2*h**3/3 - 3*h**2 - 6*h. Let m be x(-3). Suppose 5*j = m*j - 11. Does 2 divide j?
False
Let s = 18722 + -10970. Is 76 a factor of s?
True
Suppose 0 = 13*u + 22 - 74. Does 46 divide (u/(-20) - (-1103)/(-35))*-7?
False
Suppose 102*m - 32127 = 48861. Is 66 a factor of m?
False
Let n(x) = -x + 116. Let s be n(35). Let g = s + -37. Is g a multiple of 11?
True
Suppose 4*p - d - 6 = 0, 0 = 5*p + d - 3*d - 6. Let l = -21 - -25. Suppose k = 2*f + 66, -l*f = p + 6. Does 31 divide k?
True
Suppose -278*m + 456654 = -157*m. Is m a multiple of 8?
False
Suppose 1095 = 5*l - l - 3*m, 0 = -5*l + m + 1377. Let j = -84 + l. Does 24 divide j?
True
Suppose 75*g - 5816 - 3438 = 5296. Does 6 divide g?
False
Suppose -5*d + 220285 = 3*z, -4*d + 12*z + 176226 = 14*z. Is 149 a factor of d?
False
Suppose 4*y + 345 = g + 6*y, 5*g + 4*y = 1731. Let u = -296 + g. Does 25 divide u?
False
Suppose -755383 + 202558 = -35*c. Suppose -105*b = -90*b - c. Is b a multiple of 9?
True
Suppose 14*u - 7 = 21. Does 14 divide ((-101)/u)/(30/(-12) + 2)?
False
Let x(y) = 2*y**3 + 9*y**2 + 4*y + 4. Let b be x(-4). Suppose 2*p - 9 = -11, -3*i = -b*p - 1684. Is i a multiple of 35?
True
Suppose 11*o - 1711 - 533 = 0. Does 68 divide o?
True
Suppose 3*f - 820 = 2009. Suppose 0 = -8*b + 3815 - f. Does 69 divide b?
False
Let a be (-5)/(-15) - (-464)/3. Suppose 3*i - 5*z - a = 0, -7*z = 2*i - 79 - 76. Does 12 divide i?
True
Let n = -872 - -1775. Suppose 4*y + d - n = 0, -5*d + 172 = y - 30. Let j = y + -38. Is j a multiple of 29?
False
Suppose -19*d - d + 40250 = 3*d. Does 5 divide d?
True
Let c(k) = -1797*k - 168. Is c(-5) a multiple of 93?
False
Let a be 948 - (1 + 0 + 2). Let f = -905 + a. Is f a multiple of 3?
False
Let r(z) = -1257*z - 920. Is r(-16) a multiple of 28?
False
Let s(o) = 2*o**2 - o + 165. Let n be s(0). Let d = n - 21. Does 8 divide d?
True
Let s be (84/(-8) - 0)*4. Let g = 507 - s. Does 32 divide g?
False
Let x(k) = 1390*k**2 - 146*k + 746. Is x(5) a multiple of 20?
False
Suppose 0 = 637*x - 635*x - 4. Is (x - (934 + 1))*4/(-6) a multiple of 49?
False
Let q(w) = w**2 - 23*w + 52. Suppose -9*k = -14*k + 105. Is q(k) a multiple of 10?
True
Let a(y) be the first derivative of -y**4/4 - 23*y**3/3 + 2*y**2 - 46*y + 115. Does 31 divide a(-24)?
True
Suppose -2*j = -3*i - 7, -5*i = -4*j + j + 13. Let a(c) = 3 + 1612*c - 805*c + c**3 - 805*c + 5*c**2. Does 11 divide a(j)?
True
Suppose 22 + 8 = 10*m. Suppose 5*k = -2*o + 313, -193 = -m*k - 6*o + 10*o. Does 7 divide k?
True
Let c be (-1 - 2)*46/(-6). Suppose -22*y + 314 = -c*y. Let z = -202 - y. Does 14 divide z?
True
Let k be (52/(-104))/(-1*1/8). Suppose k*a - r - 2340 = 0, 5*a + 0*a - r - 2925 = 0. Does 22 divide a?
False
Suppose 1354242 + 1150553 = 335*q. Is q a multiple of 66?
False
Let u(j) = -3*j + 29. Let t be u(9). Let c(a) = 18*a + 0*a**t + 30 - a**2 + 3. Is c(17) a multiple of 8?
False
Is 15 a factor of 22260976/555 - 2/(-15)?
True
Let b be (((-140)/4)/5 - -3)*-8. Suppose -4*z = 4*t - b, -t - 18 = -4*z - 1. Is z a multiple of 5?
True
Let q(l) = 101*l**2 - 22*l + 96. Is 36 a factor of q(7)?
False
Suppose 6*q - 961 - 773 = 0. Suppose 3*v - q = 89. Suppose 2*u + c = -2*u + 134, 4*u - v = -5*c. Is u a multiple of 9?
False
Suppose -425498 = -117*n + 11497. Is 14 a factor of n?
False
Suppose 6*v - 25 = -a + v, -3*a - 4*v + 75 = 0. Suppose -35*c + 7480 = -a*c. Does 22 divide c?
True
Let w(d) = -4*d**2 - 9*d. Let g(p) = -p**2 + 1. Let t(z) = -3*g(z) + w(z). Let v be t(-9). Does 36 divide (-2 - v/6)/(2/(-48))?
True
Let c(y) = y**3 - y**2 - y. Let d(r) = -5*r**3 - 11*r**2 - 12*r - 3. Let h(g) = -6*c(g) - d(g). Let m be h(18). Does 7 divide ((-63)/6)/(m/(-4))?
True
Let n(l) = 2*l - 26. Let v be n(12). Is 21 - 0 - ((v - 0) + 4) a multiple of 8?
False
Suppose 43*q - 809 = -10699. Is 52 a factor of q/(-60) - 4 - 625/(-6)?
True
Does 12 divide (84/(-9))/4 + (-124920)/(-216)?
True
Let n be -8*((-95)/(-20) + -5). Suppose -3*t - 13 + 298 = 0. Suppose -3*i - n*i + 4*v = -445, i = 2*v + t. Is i a multiple of 30?
False
Let a(b) = -253*b**3 + 10*b**2 + 21*b + 8. Is a(-2) a multiple of 10?
True
Let x(o) = -44*o - 84. Let b be x(-3). Does 79 divide 7596/8 - b/32?
True
Let v(l) = l**2 + 3*l - 44. Let k be v(-8). Let m(d) = 153*d**2 + 2*d - 9. Let x be m(k). Suppose -17*c + x = -4*c. Is c a multiple of 9?
False
Let f(s) = -20*s**3 - 2*s**2 + 8*s + 6. Let w be f(-3). Let l = 954 - w. Suppose l = a + 4*a. Is 15 a factor of a?
True
Let p = -55 + 58. Let n be (-