True
Let a be (0 + 0)/(2/(3/3)). Suppose a = -s + 2*s - 3. Suppose 0 = -s*o - 26 + 86. Is 14 a factor of o?
False
Let f = 79365 - 20340. Is 25 a factor of ((-1)/(-3))/(25/f)?
False
Let l(u) = u**2 - u. Let i(q) = 9*q**3 + 2*q**2 - q - 2. Let a(s) = i(s) - 4*l(s). Let c be a(1). Suppose -c*h = 9 - 121. Does 4 divide h?
False
Suppose -8*f = -3*f. Is f + 1 + 865/5 a multiple of 29?
True
Does 45 divide 38/513 - 7/(1134/(-145788))?
True
Let q(s) = -6*s - 18. Suppose 140 = 15*d - 5*d. Let x = -24 + d. Does 5 divide q(x)?
False
Suppose -57*j + j = 17*j - 853808. Does 12 divide j?
False
Suppose l = -5*l. Suppose 0 = 3*s + 3*r - 1534 - 629, -2*s - r + 1444 = l. Does 12 divide 3/3 + 3 - s/(-3)?
False
Let j(s) = -s**3 - 10*s**2 - s - 1. Let n = 48 - 58. Let q be j(n). Suppose q*y = 603 - 180. Is y a multiple of 14?
False
Let a(o) = 3*o**2 + 8*o - 17. Suppose 17*c = 22*c - 100. Let x = c - 28. Does 18 divide a(x)?
False
Suppose 9077*b = 9004*b + 318280. Does 5 divide b?
True
Suppose -2*h + 4 = -4. Let a = -195 - -360. Is (-3)/(((-36)/a)/h) a multiple of 11?
True
Suppose 8*t + 15 = 11*t. Suppose -4*a + 19 - 3 = 2*z, -t*z = -2*a - 4. Is 28 a factor of 46/(-14) - z/(-7) - -115?
True
Suppose -s = -3*l + 8, -s = -3*s + 8. Let x(v) = -v**3 + 9*v**2 + 7*v - 8. Does 25 divide x(l)?
True
Let y(n) = -n**3 - 3*n**2 + 6*n + 17. Let q be y(-5). Suppose -q*z + 756 = -35*z. Is z a multiple of 42?
True
Suppose 46 = 4*w + 2*v, -32*w - 12*v + 86 = -27*w. Let l = 228 - 443. Is -3*w/75*l a multiple of 45?
False
Suppose 23*x - 6150 = 34537. Is 15 a factor of x?
False
Suppose 0 = -4*w + 4, -2*b + w - 15 = -1400. Suppose 0 = -7*u + b + 3864. Is u a multiple of 28?
False
Suppose -33*j + 35*j = -3*b + 28352, -4*j + 4*b + 56664 = 0. Is j a multiple of 20?
False
Let x(y) be the first derivative of -y**3/3 - 53*y**2/2 + 192*y + 105. Is 21 a factor of x(-44)?
True
Suppose 0 = -u + 6700 + 7091. Suppose u = 30*d + 5091. Does 20 divide d?
False
Suppose -48 + 52 = -4*z, -4*z - 56029 = -3*u. Is u a multiple of 83?
True
Suppose m + 19 = 24. Suppose 0 = 3*f + m*n, -3*f + 2*n + 3*n = -30. Suppose -b - 5*u - 529 = -4*b, -f*b - u = -891. Is b a multiple of 30?
False
Suppose 0 = -136*m + 1349191 + 2375610 + 1144679. Does 231 divide m?
True
Let d be (-5)/(5/4) + (0 - -215). Let c = d + -90. Is c - (12/(-2) + 1) a multiple of 14?
True
Suppose 9*u = -4*y + 7*u + 34, -25 = -5*u. Let d be (y*5)/(3 + (-46)/14). Let a = 9 - d. Is a a multiple of 38?
True
Let o(f) = 13*f + 95*f + 110*f - 5*f + 25. Does 17 divide o(1)?
True
Suppose 2 = 2*m - 2*d, -m + 5*m + 4*d = 20. Let n be (-149 + m)*-2 + -3. Suppose -5*u = 4*l - n, 0 = 2*u + 8*l - 6*l - 114. Does 17 divide u?
False
Let l(t) = -t - 5. Let x be l(-7). Suppose 5*h + i - 15 = 0, x*h - 6 = 7*i - 2*i. Suppose 4*q - 4 = 0, h*q - 61 = -2*y + 4. Does 2 divide y?
False
Let z(o) be the second derivative of -8*o**3/3 - 16*o**2 - 5*o. Let v be z(6). Is 3 a factor of v/(-4) - (-5 - -3)?
False
Let v be (1*-1)/((-18)/360). Let b be v/(-3)*((-16)/20 + -1). Is b/(-16) - 310/(-8) a multiple of 21?
False
Suppose -14*m + 3*x - 3333 = -18*m, 2 = -2*x. Let h = m + 66. Is h a multiple of 50?
True
Let q(a) = 95*a - 101. Let u be q(8). Suppose -35*g + 30*g - 317 = -f, 0 = -2*f + 5*g + u. Is f a multiple of 13?
False
Let s(l) = -13*l + 57. Let k be s(-14). Let o = 519 - k. Is o a multiple of 27?
False
Let j = -209 + 435. Let i = -23 + 27. Suppose -i*o + 3*f + j = f, 0 = 2*o + 3*f - 117. Is o a multiple of 16?
False
Let o(m) = 2*m**3 - 60*m**2 - 11*m - 227. Is 35 a factor of o(31)?
False
Let o(w) be the first derivative of -1 + 5/2*w**2 - 28*w + 1/3*w**3. Does 3 divide o(-9)?
False
Does 133 divide (((-56)/21)/(-4))/((-26)/(-247299))?
False
Let g be 1784/56 + (-2)/(-14). Let c(p) = -8*p - 13 + p - g*p. Is c(-3) a multiple of 52?
True
Let p(l) = 24*l**2 + 80*l - 4. Is p(-15) a multiple of 166?
False
Is 18375/10 - 37/74 a multiple of 20?
False
Suppose -179*n + 89*n + 95*n - 36875 = 0. Does 9 divide n?
False
Let h = 4319 - 2883. Let p = h + -856. Does 10 divide p?
True
Suppose -2*f + 79 = -5*m, 6*f + 43 = -2*m + 3*f. Let w = 95 - 142. Let u = m - w. Is 6 a factor of u?
True
Let m = 109 - -71. Suppose -16*h + 13*h = -m. Suppose t - h + 4 = 0. Is t a multiple of 7?
True
Is 2 a factor of 20/(-1) - (-123 - 146)?
False
Let l(s) = 25*s**3 - 3*s**2 + 42*s - 112. Does 35 divide l(7)?
True
Let s = -2379 - -25939. Is 124 a factor of s?
True
Let i = -39 + 27. Let k be -2*4/(-8) - 4. Does 26 divide ((-44)/i)/(k/(-126) + 0)?
False
Is 12 + -20 - 140/(-16) - 149178/(-8) a multiple of 14?
True
Let t = 18609 - 11817. Is t a multiple of 31?
False
Does 47 divide ((-738)/(-164))/((-669)/(-334) + (-2 - 0))?
False
Suppose -g - 11 - 9 = z, -5*g - 56 = 3*z. Let x(p) = -p**3 - 20*p**2 + 33*p - 95. Does 7 divide x(z)?
True
Let u = 133 - 1687. Does 37 divide (u/63)/(2/(-9))?
True
Let l be 142/4*(4 + 0/(-3)). Let g = l + -82. Let n = g - -20. Is 20 a factor of n?
True
Suppose -4*s - 2*n + 12498 = 0, -13*s + 6239 = -11*s - n. Does 14 divide s?
True
Let p(y) be the second derivative of -17/2*y**2 + 1/20*y**5 + 11/6*y**3 + 0 + 7/6*y**4 + 10*y. Does 2 divide p(-13)?
False
Is 21196 - (238/14 - 21) a multiple of 53?
True
Let o(w) be the second derivative of 20*w + 0*w**2 + 23/6*w**3 + 0. Is 23 a factor of o(5)?
True
Is (6285/(-6))/((-25)/30) a multiple of 3?
True
Suppose 36586 = 14*u - 7136. Is 20 a factor of u?
False
Suppose 6*j - p + 37 = 4*j, 79 = -4*j - 3*p. Let v(w) = w**3 + 20*w**2 + 24*w + 20. Let g be v(j). Let t = g - -99. Is t a multiple of 3?
True
Let i = 5406 + -3135. Is i a multiple of 46?
False
Let c(v) = -3*v + 41. Suppose -38 = -2*h - 6. Let s be c(h). Does 54 divide 647/3 + s/(-21)?
True
Let u = -364 - -367. Does 49 divide (-5)/(-3)*u + 338?
True
Let s(n) = -14*n - 14. Suppose -9*k - 2*a = -7*k + 84, 2*k = 5*a - 56. Does 58 divide s(k)?
False
Let c = 860 - 513. Suppose 348*s - 756 = c*s. Is s a multiple of 36?
True
Let i(l) = 2*l**2 + 10*l - 30. Let y be i(-9). Is 14/y + 6675/9 a multiple of 14?
True
Let r = -73907 + 104932. Is 25 a factor of r?
True
Let q(o) = 2*o**3 - o**2 + o. Let a be q(1). Let d(y) = -y**3 - 21*y**2 - 2*y - 35. Let k be d(-21). Suppose -675 = -k*w + a*w. Does 14 divide w?
False
Let f = -516 - -306. Is 18 a factor of 28/f - (-1354)/30?
False
Let h(z) = 4*z**2 + 2*z**2 - 449*z - 9 + 446*z. Is h(-5) a multiple of 12?
True
Let w = -24205 - -25331. Does 18 divide w?
False
Let i be 30/80 - (-345)/40. Let c(l) = -l**3 + 22*l**2 - 21*l + 6. Does 30 divide c(i)?
True
Let k = 234 - 11. Let o(d) = -6*d**2 + 20*d + 89. Let l be o(-4). Let g = k + l. Is 12 a factor of g?
False
Let w = 144 - 43. Suppose -v + 3*f + 58 = 0, -2*v - w = -4*v + f. Is 16 a factor of -2 + -2 + 2 + v - -1?
True
Let s(r) = 144*r**3 + 42*r**2 - 235*r - 1. Is 9 a factor of s(5)?
True
Let y(u) = u + 1. Let v(g) = -6*g**2 - 6*g + 23. Let h(r) = -2*v(r) + 4*y(r). Is 6 a factor of h(5)?
False
Let n(s) = -378*s - 5004. Is 10 a factor of n(-22)?
False
Suppose -384*c + 727370 = -460726. Is 2 a factor of c?
True
Let f(q) = 4*q**2 - 22*q + 10. Let k be f(-7). Suppose 4*l = -4*v + k, -15*l = -10*l + 5. Does 13 divide v?
True
Let j(o) = -6*o - 1. Let g(b) = 16*b - 12. Let i be g(2). Let r be i*(4 + 9/(180/(-88))). Does 6 divide j(r)?
False
Let v(g) = 20*g**2 - 18*g - 40. Is 138 a factor of v(-12)?
False
Suppose 20*s = -5108 + 18308. Suppose -22*t + 17*t + s = 0. Is 2 a factor of t?
True
Let z(s) = s**3 + 5*s**2 - 7*s + 5. Let g be z(-6). Let x(y) = -3*y - 7. Let h be x(g). Is 9 a factor of (27 - 0)/((-30)/h)?
True
Let j(w) = -w**3 - 20*w**2 + 16*w - 27. Let p be j(-21). Let v = p + -60. Is 5 a factor of (-96)/v*15/(-2)?
True
Suppose 0 = -5*x - 2 - 3. Let m = x + 43. Let o = -35 + m. Does 2 divide o?
False
Let s(t) = -5*t + 21. Let i be s(3). Is 81/((-12)/(-4)) - (i + -1) a multiple of 22?
True
Let i(s) = s**3 + 26*s**2 + 51*s + 106. Let x be i(-24). Let l = 52 + -6. Let j = l + x. Does 7 divide j?
False
Suppose -3*n - 457 = -3*x + 152, 3*x - 609 = -3*n. Let b = x + -48. Suppose -3*u + 4*z = -b, 0*u = u - z - 51. Is u a multiple of 7?
True
Let i be (45/(-27))/((-1)/6). Is 5 a factor of 4 - 3 - (i + -114)?
True
Let s be ((-3)/4)/((-1)/12). Let w(u) = 4150*u - 6*u**2 - 4170*u + u**3 - 16 + 6. Is 11 a factor of w(s)?
False
Let