 Let b(c) be the third derivative of -c**6/120 + c**3/6 + 5*c**2. Let k(h) = 2*b(h) + o(h). Is 15 a factor of k(12)?
False
Suppose 688 = 2*i - 762. Let g = i - 439. Is 11 a factor of g?
True
Let o be (-2024)/(-4)*(-2)/(-4). Suppose 3642 = 4*y - 3*d, -y = d - 661 - o. Is y a multiple of 76?
True
Let o(c) = c**2 + 6*c - 7. Let u = 71 + -128. Let s = 44 + u. Is 34 a factor of o(s)?
False
Suppose 5*f + 20748 - 88382 = 60496. Is 25 a factor of f?
False
Let p(l) = 3*l**2 - 71*l - 74. Let a(m) = m**2 - 17*m - m**2 - 7*m + m**2 - 25. Let w(k) = -17*a(k) + 6*p(k). Does 12 divide w(23)?
True
Suppose -6 = 35*n - 34*n. Let i(r) = -r**2 + 3*r + 53. Let y be i(n). Let m(g) = -163*g + 4. Is 12 a factor of m(y)?
False
Let v(d) = 3*d**2 - 2*d + 2. Let o be v(1). Suppose 4*h + q + 4*q = 173, 3*h = -o*q + 132. Suppose 5*f - 215 = -3*w + 8, h = f + 3*w. Is 32 a factor of f?
False
Let a(k) = -k**3 + 70*k**2 - 114*k - 139. Does 8 divide a(40)?
False
Is 32 a factor of 52809750/4095 - (1/(-3) - (-38)/78)?
True
Let f(l) = l**3 - 13*l**2 + 29*l - 15. Let y be f(10). Let r(w) = w**3 + 24*w**2 - 33*w - 55. Is 38 a factor of r(y)?
False
Is 34 a factor of 19198 - (-11 + (-138)/(-12))*-6?
False
Let q = 839 + -452. Let n = q + -207. Is n a multiple of 19?
False
Let p(d) = -2*d**3 - 2*d**2 + 8*d + 2. Suppose -5*a = -2*t - 6 - 109, 223 = -4*t + 3*a. Let x = -58 - t. Does 14 divide p(x)?
True
Let k = 23 - 34. Let m(r) = -r**2 - 9*r + 23. Let t be m(k). Is 9 a factor of 4/t + (-656)/(-16)?
True
Let z = 115 + 369. Suppose -7*m + 1490 = -z. Is 2 a factor of m?
True
Let s(o) = -o - 1. Let k be s(-1). Suppose k = y + 4, -2*c + y = -26 - 314. Is 8 a factor of c?
True
Suppose 0 = 5*q - 2*q - 330. Suppose -j = -486 + q. Is 47 a factor of j?
True
Let w(y) = 7*y**3 - 3*y**2 - 28*y + 2. Let r(n) = 21*n**3 - 8*n**2 - 83*n + 6. Let u(b) = -6*r(b) + 17*w(b). Is 43 a factor of u(-5)?
True
Suppose 9*h - 250 = 2*x + 8*h, 4*h - 508 = 4*x. Let m(s) = -23*s + 2. Let j be m(3). Let g = j - x. Does 13 divide g?
False
Suppose 10650 - 1370 = 5*z + 5*n, z + 5*n = 1860. Does 35 divide z?
True
Let o be (-20)/8*30 - 2. Let q = 71 + o. Is (-63)/q + 2 + (-2)/4 a multiple of 2?
True
Let p(c) = -5*c**2 + 19*c**3 - 13 + 2*c - 18*c**3 - 13 + c**2 + 5*c. Let r(j) = j**2 - 2*j + 3. Let i be r(3). Is p(i) a multiple of 15?
False
Suppose 4*q - 9 = f, 25*f - 29*f = 20. Is 227 - (8/4)/q a multiple of 5?
True
Let k(c) = -c**2 - 8*c - 5. Let d be k(-3). Let i be (-5)/25 + (62/d)/1. Suppose -i*t + 296 = -52. Is 10 a factor of t?
False
Let s(g) = 133*g - 5939. Is s(73) a multiple of 6?
False
Let q = -11 - -16. Suppose v + q*y - 179 = -2*v, 3*y = -v + 61. Is 29 a factor of v?
True
Suppose -5*x + 15935 = -33*q + 36*q, -5*q + x = -26493. Is 25 a factor of q?
True
Suppose 62*u = 4*h + 64*u - 4538, u + 1 = 0. Does 17 divide h?
False
Let f = -39 - -2. Let z = f + 108. Let w = z - 51. Is w a multiple of 4?
True
Let m = -112 + -168. Let n = m - -700. Is 14 a factor of n?
True
Let a(r) = -r**3 - 7*r**2 - 11*r + 1. Let b be a(-5). Let w(v) = 5*v**2 + 2*v - 23. Does 13 divide w(b)?
True
Let y be 1484 + (-2 - -1)*6. Let q = y + -908. Is q a multiple of 19?
True
Let g = 600 - -4125. Is g a multiple of 45?
True
Suppose -2*s - 8 = 0, -s - 15 = 3*t + 2*s. Is (-15 + t)/1*(-195)/26 a multiple of 15?
True
Let p = -107910 + 162037. Is 113 a factor of p?
True
Let a = -130 + 118. Let k = a - -96. Is k a multiple of 21?
True
Let r(t) be the third derivative of 599*t**4/8 + 5*t**3/3 + 144*t**2. Is 10 a factor of r(1)?
False
Let s be 2/(-1 - -3) + -3. Suppose 12 = 22*j - 32. Is 30 a factor of (j/2)/((-4)/(202*s))?
False
Is 13 - (-410)/(-5)*-10 a multiple of 6?
False
Suppose -3*l = 4*q + 44, 2*l - 5*l + 3*q = 51. Let z be 18/27 + l/6 + -4. Does 7 divide 40 - 3/(z/(-10))?
True
Let a(w) = -759*w**3 + 5*w**2 - 8*w + 8. Let j be a(2). Is ((-4)/(-10))/1 + j/(-100) a multiple of 18?
False
Suppose 7*w - 2*w - 508 = -4*v, v + 3 = 0. Let g = w + -15. Is g - ((-3 + 11)/4 - 3) a multiple of 15?
True
Suppose 174*a = 66*a + 556308. Is 15 a factor of a?
False
Suppose -10*a = -a - 162. Let u be (16/(-48))/((-2)/a). Let x(d) = 11*d**2 - d - 9. Is x(u) a multiple of 29?
True
Suppose -5*x + 74 = -v, 4 - 82 = -5*x + 2*v. Let j = 22 - x. Is 7 a factor of j + (-2 + -1)/(-1)?
False
Let x = 154 + -156. Is (152/(-24))/(x/48) a multiple of 43?
False
Let i(v) = -v**3 - 10*v**2 + 18. Let k be i(-10). Let a be (6/(-9))/((-4)/k). Does 4 divide 3/a*(-1 + 34)?
False
Let h(s) = -s**3 - 24*s**2 - 26*s - 20. Let c = 27 + -50. Let l be h(c). Suppose 0 = -4*g - 2*p + 74, -4*g + 31 = -4*p - l. Is g a multiple of 4?
False
Let o(w) = -2*w + 21. Suppose -s - 2*q - 9 = q, 2*q = -4*s + 14. Let u be o(s). Suppose -u*a = -3*a - 1272. Does 28 divide a?
False
Let y be 2 - ((-10)/(-5) + 0). Suppose y = -6*l + 17*l + 297. Does 5 divide 4/(-18) + 2 + (-2112)/l?
True
Let k(h) = -2*h + 78. Let v(s) = 1. Let q(j) = k(j) - 6*v(j). Does 8 divide q(23)?
False
Let s be (-18)/12*3*20/(-18). Suppose t = -3*h + 6*t + 15, -s*t - 15 = 3*h. Is h/2 - (-1 + 16*-2) a multiple of 7?
False
Suppose 512 = -37*o - 228. Let b(l) = -128*l. Let i be b(1). Let h = o - i. Does 20 divide h?
False
Let t(c) = -360*c - 10. Let w(j) = -40*j - 1. Let v(g) = 6*t(g) - 55*w(g). Let a be v(-2). Let u = -34 - a. Does 10 divide u?
False
Is 1 + 256296/34 + 8260/595 + -14 a multiple of 38?
False
Suppose -4*w + 48 = 2*a, 2*w - w = -a + 19. Suppose -211 = a*s - 2535. Is 23 a factor of s?
False
Suppose 0 = -1626*v + 1621*v - 35, -4*h + 3*v + 189573 = 0. Is h a multiple of 14?
False
Suppose 16*h = -178 + 322. Suppose 9114 + 2262 = h*j. Is 21 a factor of j?
False
Let x = -50237 + 72188. Is x a multiple of 13?
False
Let a = -311 + 278. Suppose -4*w = -5*z + 157, -2*w - 144 = w + 5*z. Let h = a - w. Does 2 divide h?
True
Let t(s) be the first derivative of s**3 - 5*s**2/2 - 16*s + 7. Is t(-5) a multiple of 42?
True
Does 102 divide (-306705)/(-27) + 32/24 + 2/9?
False
Let t be (8/(-5))/(-4 - (-294)/75). Let m be 2*5*(92/t - 5). Let g(y) = -12*y + 16. Does 8 divide g(m)?
True
Suppose 9 = -s + 4*x + 58, -58 = -s - 5*x. Let v = 39 - s. Does 6 divide (-15)/1*(1 - v/(-10))?
True
Let s be (16/(-40))/(2/(-36840)). Suppose 0 = 27*c - 5322 - s. Is c a multiple of 5?
True
Let i(a) be the second derivative of 5*a**3/2 - 13*a**2/2 - 4*a - 1. Let h(y) = 2*y**2 - 4*y. Let v be h(3). Is 21 a factor of i(v)?
False
Let u be -4 - (-7598)/8 - (-3)/(-4). Suppose -33 = 3*q - u. Suppose -q = -5*y + 261. Does 39 divide y?
False
Let i(s) = 5*s**3 + s**2 - 74*s + 80. Is i(14) a multiple of 27?
True
Suppose -5 = -5*f, -5*o + 8*o = 5*f + 118. Suppose -o*l = -66*l + 33450. Is 20 a factor of l?
False
Let s(f) = 3*f**2 - 144*f + 36. Is s(-22) a multiple of 48?
True
Let o(d) be the first derivative of 39*d**2 + 10*d + 2. Let u be o(3). Let t = u - 146. Is 14 a factor of t?
True
Suppose 19*h + 35 - 225 = 0. Suppose 8*a + h*a = 1638. Is a a multiple of 23?
False
Suppose j - 402 = 4*j. Let d = -110 - j. Is 8 a factor of d?
True
Let n be 2*(1 + 3)/(-8) - -7. Let d be n*((-9)/(-36) + (-77)/4). Let l = 5 - d. Is l a multiple of 11?
False
Let c(w) = 18*w + 116. Let b be c(-6). Suppose 16*f - 232 = b*f. Does 2 divide f?
False
Let b = 3833 - 653. Is b a multiple of 30?
True
Let g = -10662 + 19420. Does 17 divide g?
False
Suppose -2*g - 1649 = -3*w + 536, 3*g - 2*w = -3270. Let c = -838 - g. Does 4 divide c?
False
Let p = 3512 - 1186. Does 6 divide p?
False
Let q = 3180 - 1407. Is q a multiple of 9?
True
Suppose -215784 = -816*i + 810*i. Does 18 divide i?
True
Let k(x) = -x**3 + 3*x**2 - 3*x + 5. Let a(b) = -b**3 + 11*b**2 + 11*b + 15. Let f be a(12). Let w be k(f). Does 7 divide (-21)/(1 + w/2)?
True
Let l be -2*(-9)/4 + (-270)/180. Suppose 864 = 4*q + 5*t, -l*q + 5*t = 2*t - 675. Is 17 a factor of q?
True
Suppose -7 + 7 = -14*q. Suppose 4*x + 4*o = -o + 159, o - 3 = q. Is x a multiple of 9?
True
Suppose -3*k + 8 = -7, -3*o = -3*k - 17598. Is o a multiple of 50?
False
Suppose 2*u + 2736 = 5*n, -24*u + 5442 = -28*u - 5*n. Let j = -763 - u. Does 20 divide j?
True
Suppose -2*o - 24 + 1578 = 0. Suppose 0 = 5*a - o + 122. Let j = -53 + a. Does 39 divide j?
True
Let v(b) = 10*b**2 - 2*b - 3. Let p be v(-1). Let z be ((-6)/p)/((-2)/(-6))*-2. Is 46 a factor of 55 - ((-13)/z - (-1)/4)