 factor of m?
True
Let t(c) be the third derivative of -c**6/120 - c**5/4 - c**4/12 + 9*c**3 + 104*c**2. Is t(-18) a multiple of 18?
True
Suppose 29*j + 75*j - 3951 = 355681. Is 4 a factor of j?
False
Let m(i) be the first derivative of i**2 + 25 + 2/3*i**3 - 18*i. Is m(7) a multiple of 23?
False
Suppose -14 = 2*v - 4*g, -3*v = 3*g - 4 + 7. Let y be (-13)/v + ((-14)/6 - -2). Suppose -y*k - 150 = -2*f + 170, -2*f + 2*k = -328. Is 14 a factor of f?
True
Let t(q) = -q**3 - 6*q**2 - q - 4. Let b be t(-6). Let s be 7*((-90)/(-21) - b). Suppose -s*g = -11*g - 450. Does 18 divide g?
True
Let l(x) = 200*x**2 + 5*x - 9. Let c be l(3). Let o be c + 8/(-12)*3. Suppose 18*w - o = -4*w. Does 22 divide w?
False
Suppose 15*w - 2533 = -373. Suppose -w*y + 6526 = -131*y. Is 42 a factor of y?
False
Does 5 divide -4 + (-13047)/(-9)*3?
True
Let r = -3604 + 5734. Is r a multiple of 10?
True
Suppose -5*l + 155 = 2*i, l = 5*i + 3*l - 419. Let c = -298 + 548. Let a = c - i. Is 13 a factor of a?
False
Suppose 16*c = 11*c + 580. Suppose 4*t - k - 43 - 409 = 0, -k - c = -t. Does 19 divide t?
False
Let r(w) = -2*w**3 - 13*w**2 + 15*w - 30. Suppose -5*y - 2*v = 52, -4*y - 48 = y - 2*v. Is 7 a factor of r(y)?
False
Suppose -4*t = 2*w - 27606, 4*w - 855 = 5*t - 35343. Is 92 a factor of t?
True
Let l(w) = -10*w - 48. Let v be l(-5). Suppose -x = v*a - 727, -x + 3*a + 739 = 2*a. Is x a multiple of 35?
True
Suppose -4*n + 516 = 2*g, -11*n + 1054 = 4*g - 14*n. Does 43 divide g?
False
Suppose m - 20 = -3*h, 5*h - 25 = -m + h. Suppose -m*g - f + 25 = -0*g, 2*f - 22 = -3*g. Suppose 3*i + g*x = 136, 4*x + 0*x = 4. Does 5 divide i?
False
Let s(p) = 9*p**3 - 8*p**2 - 3*p - 1. Suppose 6 + 6 = 3*f. Is 15 a factor of s(f)?
True
Let b = 1302 + -929. Suppose -i + 0*i = 2*s - 371, -b = -i - s. Suppose 0 = -4*c + i + 69. Does 12 divide c?
False
Suppose -11 = -3*i - a, -5 = 4*i + 5*a - 38. Suppose -i*h - 3*v + 84 = -63, h + 5*v = 70. Is 17 a factor of h?
False
Suppose n = 2*x + 19862, 2*x - 99370 = 54*n - 59*n. Does 16 divide n?
True
Suppose -18*v - 5*q = -20*v + 8334, -q = -5*v + 20835. Does 21 divide v?
False
Suppose x = -o, -3*x + 0 = -4*o - 7. Let d(a) = 46402*a + 46475*a - 93036*a - 5. Is d(o) a multiple of 43?
False
Let l(p) be the third derivative of 13*p**5/12 + p**4/2 + 14*p**3/3 + 11*p**2. Is 33 a factor of l(-2)?
True
Let l be -81 + -3*2/6. Let d(h) = -7*h - 144. Let m be d(-22). Is 9 a factor of l*3/(-6) + (m - 6)?
True
Let z(f) = 7*f**2 + 18*f - 7. Let q(k) = -14*k**2 - 37*k + 14. Let j(u) = 4*q(u) + 9*z(u). Is 17 a factor of j(-7)?
True
Let l be 2/(-4)*1*12. Let b(c) = -c**2 - 6. Let i(x) = 5*x**2 + 3*x + 21. Let a(q) = 4*b(q) + i(q). Does 3 divide a(l)?
True
Let f = 104 - 100. Suppose 0*o - o = -f*x + 1017, -2*o = -x + 249. Is 15 a factor of x?
True
Let u(l) = -10*l**3 - 3*l**2 + 27*l + 80. Is u(-5) a multiple of 14?
True
Let b(w) = 2*w - 15. Let j be b(13). Suppose -j*x = -1318 - 860. Is x a multiple of 4?
False
Let f(c) = -c**3 + 7*c**2 + 17*c + 18. Let b be f(9). Is 8 a factor of b*((-79)/(-3) - -3)?
True
Let u(n) = 5*n + 61*n**2 + 4 - 96*n**3 + 64*n**2 - 124*n**2. Is 8 a factor of u(-1)?
True
Let s(n) = -4*n + 26 - 5 - 1. Let f be s(4). Suppose -5*m + f*h + 306 = 0, 5*h + 19 = -m + 57. Is 32 a factor of m?
False
Let x(z) = 3*z**3 - 4*z - 17. Let w(n) = -3*n**3 + n**2 + 5*n + 15. Let m(r) = 3*w(r) + 2*x(r). Is 11 a factor of m(-2)?
True
Let j be (4/(-2))/(3 - 21/6). Suppose -40 = -5*o - 3*o. Suppose o*w - 102 = -4*n, 2*w + j*n = 7*w - 118. Is w a multiple of 2?
True
Let r(o) = -3*o + 2. Let m be r(2). Let i(d) = -2*d**3 - d**2 + 11. Is 40 a factor of i(m)?
False
Is 19/((-2394)/(-659260)) - (-3 - 87/(-27)) a multiple of 31?
False
Let c be (-115)/(-46) - (-2907)/2. Suppose 15*b - 1709 = c. Is b a multiple of 32?
False
Suppose 0 = 189*c - 142*c - 1005048. Does 162 divide c?
True
Let r(n) = -10728*n - 3278. Is 13 a factor of r(-5)?
True
Suppose 29*k - 183266 + 67556 = 0. Is 57 a factor of k?
True
Does 13 divide (-11)/(242/(-33))*(67288/6 - 0)?
True
Let v(x) = -6*x. Suppose -6 = -w - 52. Let l = w - -44. Is 7 a factor of v(l)?
False
Suppose -19*v + 23*v - 168 = 0. Suppose -v*j = -45*j + 126. Does 9 divide j?
False
Is 12 a factor of (((-435)/30)/(-29))/(1/4748)?
False
Suppose 503688 = 160*g - 2087032. Is 32 a factor of g?
True
Let j = -390 + 9064. Does 8 divide j?
False
Let j(g) = 289*g + 4496. Is 18 a factor of j(40)?
True
Let c = 8972 + -3648. Is c a multiple of 25?
False
Let j(s) = 41*s - 38. Let w be j(-6). Let i = -80 - w. Let d = -64 + i. Is 28 a factor of d?
True
Suppose 5*o - 14 - 1 = 0. Suppose -o*s = -8*s - 65. Does 17 divide 67*1 - (s - -15)?
False
Suppose -1308 = -l - 4*s, -5*s = -4*l + 2468 + 2911. Does 4 divide l?
True
Let f(x) be the first derivative of 17*x**3 + 19*x**2/2 - 6*x + 21. Does 31 divide f(4)?
False
Suppose -56604 + 465804 = 31*b. Does 12 divide b?
True
Suppose 8*o - 51 - 45 = 0. Suppose 1955 - 7139 = -o*q. Does 16 divide q?
True
Let k = 16084 - 16091. Let h(s) = s**3 - 6*s + 12*s**2 - 19 - 5*s**2 - 5*s. Is 29 a factor of h(k)?
True
Let f(r) = 33*r**3 + 2*r**2 - 66*r - 60. Does 28 divide f(8)?
True
Let f(t) = -4*t - 29. Let v(q) = 7*q + 59. Let a(y) = 5*f(y) + 3*v(y). Let s be a(0). Suppose 34*o - 94 = s*o. Is 11 a factor of o?
False
Suppose 3*d - 2*x = -0*x + 36, 0 = 2*d - 2*x - 22. Suppose 950 = d*q - 1108. Is q a multiple of 21?
True
Let u(m) be the second derivative of m**7/2520 + m**6/40 - 3*m**5/20 + 13*m**4/12 - 15*m. Let b(g) be the third derivative of u(g). Is 10 a factor of b(-20)?
False
Let p(q) = -11*q - 3. Let k be p(-9). Is 11 a factor of (-24)/k - (-573)/4?
True
Suppose -f + h = 135, -38*f + 39*f + 3*h + 147 = 0. Let u = f - -606. Is 18 a factor of u?
True
Does 6 divide (5352/72)/(-3*(-1)/36)?
False
Suppose 0 = 2*y - 7*y + 25, 0 = c - 2*y - 4799. Does 20 divide c?
False
Let n(b) = -b**3 + 35*b**2 - 54*b. Let k be n(14). Suppose -16*q = 12*q - k. Is q a multiple of 20?
True
Let l = -35 - -93. Let i = l - -18. Does 65 divide i?
False
Let u(r) be the third derivative of -1/6*r**4 + 1/30*r**5 + 0*r + 0 + 21*r**2 + 1/2*r**3. Does 17 divide u(-4)?
True
Let y(r) = r**3 - 10*r**2 + 15*r - 62. Does 21 divide y(18)?
False
Suppose -16286 = -18*i + 13414. Is 5 a factor of i/25 + (0 + -5 - 0)?
False
Let q(s) = -s + 9. Let p be q(13). Let d(v) = 9*v**2 + 64*v + 77. Let u(g) = 5*g**2 + 32*g + 38. Let h(l) = p*d(l) + 7*u(l). Is h(-25) a multiple of 22?
False
Suppose -20*l + 22*l + 28 = 0. Let b(u) = u**3 + 14*u**2 - 7*u + 28. Does 9 divide b(l)?
True
Let i = -66 + 68. Let f(k) = -14*k - 21. Let j(n) = -1. Let d(t) = i*j(t) - f(t). Does 36 divide d(11)?
False
Let n = 112 - -12. Suppose -24*w + 26*w = n. Suppose -5*z + 150 + w = -s, -s + 208 = 5*z. Is z a multiple of 3?
True
Let y(i) = -i + 12. Let a(s) = s - 8. Let c(m) = 7*a(m) + 5*y(m). Let u be (15*(-2)/(-9))/((-6)/(-9)). Is c(u) a multiple of 14?
True
Let x(v) = -v**3 - 11*v**2 - 16*v + 17. Let q be x(-9). Let g be (2 + q/1)*0. Suppose 2*a - 14 = -2*b + 34, g = 2*b + a - 46. Is b a multiple of 3?
False
Is (-609924)/(-424)*(-52)/(-6) a multiple of 30?
False
Suppose 1159242 = 196*a - 139258. Is 29 a factor of a?
False
Let z(j) = -278*j - 10329. Is z(-47) a multiple of 10?
False
Let f be (46/(-8) - -5)*24. Is 11 a factor of (0 + -12)*52/32*f?
False
Suppose 31*z - 90 = 25*z. Let b(d) = 15*d - 132. Is b(z) a multiple of 4?
False
Let w(q) = q - 8. Let d be w(5). Let u be d - -5 - (-33 + (-4)/(-2)). Suppose u*i - 38*i = -900. Does 47 divide i?
False
Is 7 a factor of 68155/85 + 42/238?
False
Suppose -20*t + 4*w + 51096 = -16*t, 0 = w + 6. Is 38 a factor of t?
True
Let p(l) = -l**3 + 9*l**2 + 15*l - 14. Let z be p(10). Suppose -z - 16 = -t. Suppose -9*i + 412 - t = 0. Is 20 a factor of i?
True
Suppose -6336 = -22*i + 20*i. Is i a multiple of 96?
True
Suppose -w - 940 = -d - 252, -3*d + 5*w + 2074 = 0. Is d a multiple of 4?
False
Let n be 18*((-52)/12 - -5). Suppose -177 = -15*y + n*y. Does 12 divide y?
False
Let n(l) = 2*l**2 - 14*l + 16. Let r be n(6). Let f be r + (-123618)/(-78) + 4/26. Suppose f = 4*i + 3*i. Does 18 divide i?
False
Suppose 0 = 3*n + 15, 1172*a - 1167*a - 9915 = 3*n. Does 36 divide a?
True
Let a(t) = t**2 + 5*t - 303. Let j be a(15). Is 2 a factor of 7 + j + 46/2?
False
Let u = -5919 +