e
Let l(y) be the third derivative of -y**6/120 - y**5/6 + 7*y**4/12 + 11*y**3/6 - 19*y**2. Let t be l(-11). Let s = -8 - t. Does 3 divide s?
False
Let a(q) = -q**3 + 13*q**2 - 23*q + 14. Let k be a(11). Let m(t) be the third derivative of t**5/12 - 5*t**4/24 + t**3 - 2*t**2. Is 28 a factor of m(k)?
False
Let g(i) = -3*i**3 - 2*i + 6. Let a be g(-3). Let v = a - 41. Let d = v - -28. Is 10 a factor of d?
True
Let w(j) = 786*j**2 - 524*j - 2110. Is w(-4) a multiple of 17?
False
Let r(m) = -43 - 34 - 18 + 7 - 58*m. Is r(-7) a multiple of 33?
False
Let u(h) be the third derivative of -2*h**4/3 - 12*h**3 + 5*h**2 - 13*h. Does 2 divide u(-7)?
True
Let c(n) = n**3 - 4*n**2 + 12. Let t be c(4). Suppose 2865 = -17*v + t*v. Let b = -319 - v. Is 31 a factor of b?
False
Let x(f) = -f**3 + 6*f**2 - 6*f. Let w be x(4). Suppose -2*u = 2*u - w. Suppose 4*m = u*m, 3*m + 60 = 2*g. Does 8 divide g?
False
Does 12 divide (5682/10)/((-714)/(-1190))*12?
True
Let q be 251*(-6 - (-2 + -13)). Does 16 divide q/15 + -6 - 6/10?
True
Suppose -40 + 46 = -z. Does 27 divide (-18)/z + 4 + 234?
False
Suppose 2*s = 3*d + 7, 19 - 6 = 3*s - 4*d. Suppose s*a - 3*a - 32 = 0. Suppose 2*g + 3*g - 55 = -c, -a*c + 4*g = -172. Does 9 divide c?
True
Let w = 456 + 3142. Does 8 divide w?
False
Let p = -312 + 337. Suppose 43 = 4*m + 3*d - 322, 5*d = -p. Does 5 divide m?
True
Suppose -6*h - 7 = 65. Is 4 a factor of (-3 - -117) + h/12?
False
Let k be 1/(6/10)*399*1. Let i = -438 + k. Is i a multiple of 11?
False
Suppose -5*k - 598 = 2967. Let n = -479 - k. Is 26 a factor of n?
True
Let l = 2123 + -900. Let z = 1744 - l. Is z a multiple of 14?
False
Let v(g) = 1 + g**3 - g**2 + 16*g**2 - 17*g + 2. Let x be (-2)/3 - 184/12. Is v(x) a multiple of 4?
False
Suppose 10*g = 13*g + d - 69151, 4*d = 4*g - 92164. Is g a multiple of 172?
True
Let r(d) = -15*d**2 - 4*d + 5. Let s be r(5). Let m be 209*(21/(-28) + (-6)/24). Let p = m - s. Does 9 divide p?
False
Let j(a) = 8307*a + 803. Does 39 divide j(3)?
False
Let b = 730 + -913. Let p = 642 + b. Does 27 divide p?
True
Suppose -9*s = -35*s + 52. Is 3 a factor of (-4)/((s/33)/(-2))?
True
Let k = -23970 + 48686. Is 74 a factor of k?
True
Suppose 17*t + 9*t = 52. Suppose t*b = -h + 496, -b + 2000 = 4*h + 3*b. Is 14 a factor of h?
True
Suppose 27*c + 12 = 30*c. Let f be (4 - (-529)/c)*-4. Let p = f + 809. Does 44 divide p?
True
Is 148 a factor of 3281740/112 + (-264)/(-96)?
True
Let h(l) = -106*l - 6. Let z be h(-6). Suppose -23*o + 13*o + z = 0. Is 23 a factor of o?
False
Let g(z) = -13*z**3 + z**2 + 2*z. Let s = 63 - 61. Let v be g(s). Let o = v - -124. Is o a multiple of 14?
True
Suppose 6*i - 175208 = 2*i - 62792. Is 12 a factor of i?
True
Let r(j) = -26*j + 93. Is 73 a factor of r(-49)?
False
Is (-35582)/(-4) + 369/82 a multiple of 178?
True
Let o = -24142 + 24832. Is o a multiple of 24?
False
Let o(h) = -24*h + 1210. Let s be o(49). Let y be (-25)/(-1) + (7 - 7). Suppose 4*m = -4*f + s + 58, 0 = 2*f - 5*m - y. Does 5 divide f?
True
Let t = 158 - 64. Suppose b - t = 2*r + 144, 0 = -4*b - r + 916. Is b a multiple of 9?
False
Let a(q) = -1485*q - 915. Is a(-18) a multiple of 19?
False
Let o be (-4 + (-15)/(-6))*2. Let a be ((o - -3)/(-3))/5. Suppose a*x + 222 = 6*x. Is 10 a factor of x?
False
Suppose 100 = -3*a - 3*p - 98, 2*p - 344 = 5*a. Let y = a - -204. Is 30 a factor of y?
False
Let z = -228 + 221. Let x = 401 - z. Is x a multiple of 34?
True
Let d(x) = 3*x**3 - 172*x**2 + 27*x + 576. Is d(60) a multiple of 164?
True
Suppose 30*c - 12924 = 21*c. Suppose 5*i - 3047 = k + 525, 2*i = 4*k + c. Is i a multiple of 42?
True
Does 41 divide (-375720)/(-44) + (-7)/77 + -7?
False
Let t be ((-264)/(-5))/4*(-60)/(-9). Let y = t - 48. Suppose y = 2*s - 48. Is s a multiple of 11?
True
Suppose l + 4*v = 12431, 5*v - 2*v + 99378 = 8*l. Is 101 a factor of l?
True
Suppose -14851 - 11599 = -5*v. Is v a multiple of 115?
True
Suppose 46*d + 116107 = 131*d - 174593. Is 95 a factor of d?
True
Suppose 3*w - 2*w - 300 = k, w - 285 = -2*k. Suppose -3*z + w = -47. Suppose -11*h + z = -9*h. Does 19 divide h?
True
Let g = -138 - 371. Let y = 6 - g. Is 34 a factor of y?
False
Suppose -2*o = 3*c - 1441, 0 = 3*o + 1664*c - 1662*c - 2169. Is o a multiple of 22?
False
Let o = -33 + 51. Suppose -o*s + 12 = -22*s. Does 10 divide (s/(-2))/(2/16)?
False
Let t(l) = -9*l - 16. Let n be t(6). Let w = 67 + n. Let g = w + 17. Is g a multiple of 3?
False
Suppose 19*m - 40553 - 20361 = 0. Does 15 divide m?
False
Let i be ((-18)/72)/((-2)/40) + -2. Suppose -250 = -i*q + 623. Is q a multiple of 12?
False
Suppose m - 33 = -143. Let a = 372 + m. Does 10 divide a?
False
Let p(y) = y**3 + 6*y**2 + 3*y - 4. Let s be p(-2). Suppose s*d = d + 2*t + 372, 3*d = 4*t + 226. Is 13 a factor of d?
False
Let j(o) = -o**3 - 22*o**2 - 14*o - 4. Let r be j(-22). Let w = r + -40. Is w a multiple of 22?
True
Suppose 3*b + 22 = -20. Is 16 a factor of b/(-3)*(-216)/(-9)?
True
Suppose 60*u = 78*u + 270. Let x(r) = 7*r - 8. Let j be x(7). Let i = j - u. Does 18 divide i?
False
Let n(o) be the second derivative of 7*o**3/6 + 35*o**2/2 - 3*o + 1. Does 7 divide n(12)?
True
Suppose 205 = -4*r + 781. Is r a multiple of 16?
True
Let x(y) = 2*y**3 + 17*y**2 + 20*y - 4. Let k be x(-7). Suppose 4*v - 7*v + 3*m + 897 = 0, 3*m - 927 = -k*v. Does 35 divide v?
False
Let c(v) = 8*v**2 + 2*v - 10. Suppose -9*j + 6*j = 12, -2*i + 3*j + 20 = 0. Let a(x) = -x**2 + 1. Let z(p) = i*a(p) + c(p). Is z(-2) a multiple of 4?
False
Let j be -59 - (0 + (-2)/(-1)). Let x = -268 - -421. Let n = x + j. Is n a multiple of 23?
True
Suppose 0 = -2*o + 5*o - 15. Suppose 5*x - 64 + 564 = o*u, 4*u + 2*x = 424. Is 13 a factor of u?
True
Let m(w) = 39*w**2 + 3*w. Let t be m(-2). Let s(z) = 12*z**2 + 10*z + 1. Let j be s(-1). Suppose -2*h = j*h - t. Is h a multiple of 8?
False
Suppose -4*c - 3*d = -2296 - 805, -3*c - 7*d + 2359 = 0. Does 154 divide c?
True
Let j = 782 + -546. Suppose -3*g = 5*m - 5*g - j, -3*m = -4*g - 150. Let w = m + 35. Is 9 a factor of w?
True
Let b(i) = -i**2 - 22*i - 7. Let p be b(-22). Let q = 11 + p. Suppose 4*t - 117 = -3*j - 33, -q*t - 4*j = -80. Is t a multiple of 4?
True
Let r(h) = -82*h - 183. Let p(s) = 10*s - 175. Let j be p(17). Does 3 divide r(j)?
False
Suppose -4*k + 116 = 28. Suppose -5*d = 5, -k*d = 5*i - 20*d - 1808. Does 27 divide i?
False
Let g = -8735 - -15304. Suppose 12*v = -1397 + g. Does 31 divide v?
False
Let i(t) = -153*t**2 - 21*t - 258. Let k be i(-9). Is k/(-10) + 20/25 a multiple of 63?
False
Suppose -3*m - 2*y = -23294, 4*y - 27890 = -4*m + 3170. Is 34 a factor of m?
False
Let c = -6538 - -11158. Is 15 a factor of c?
True
Suppose -8*i + 4*i + 24 = 0. Let t(b) = i*b + 9*b**2 - 4*b**2 - 2 + 3. Is t(5) a multiple of 27?
False
Let h(f) = 255*f - 534. Is h(10) a multiple of 42?
True
Suppose 0 = 3*u - 14*w - 6723, 31*u + 2*w - 4448 = 29*u. Does 131 divide u?
True
Let d(o) = -8*o + 18. Let p be d(1). Does 3 divide ((-8)/(-32)*52)/(2/p)?
False
Is ((-285)/38)/((-3)/814) a multiple of 37?
True
Let i be 3 - ((-3 - 0 - 0) + 121). Let z = 183 + i. Is z a multiple of 17?
True
Let f(p) = 20*p + 5. Let u be f(5). Let o = 249 - u. Is 12 a factor of o?
True
Let d(x) = -3365*x - 1317. Is 19 a factor of d(-11)?
False
Let o be (-2)/(-1 - 5) + (-6685)/(-105). Suppose -l + 67 = 5*p - o, l - 115 = 3*p. Is 5 a factor of l?
False
Suppose 139670*u - 43296 = 139669*u. Does 44 divide u?
True
Let j(o) = -40*o + 78. Let h be 5 - (18 + (7 - 4 - 4)). Is j(h) a multiple of 17?
False
Let y(s) = 2031*s + 10173. Is y(10) a multiple of 16?
False
Let f(c) = -196*c + 1179. Let o be f(6). Let a = -1 - -8. Suppose 184 = a*t - o*t. Is t a multiple of 23?
True
Let m be 8/60*74 - (-2)/15. Suppose -7*o + m = -7158. Is o a multiple of 18?
False
Is ((-1089)/(-135) + -8)*35 + (-438415)/(-15) a multiple of 185?
True
Is (-8 + -16142)/34*71/(-5) a multiple of 19?
True
Let l = -10367 + 18346. Is 79 a factor of l?
True
Let w be ((-2)/(-4))/((-34)/(-43180)). Let h = -440 + w. Is h a multiple of 15?
True
Suppose 10*b = -f + 13*b + 3169, 3*f - 2*b - 9493 = 0. Does 17 divide f?
False
Let i be 6388/(-14) + (-4)/(-14). Let s = -349 - i. Is 5 a factor of s?
False
Let d = -461 + 558. Let b = 211 + d. Does 22 divide b?
True
Let g be ((-1)/(-2))/(4/12672). Suppose 2