False
Is 4 a factor of 90/(15*26/3315)?
False
Let h(b) = -18*b**2 - 589*b + 15. Is 10 a factor of h(-15)?
True
Let z(q) = -q**3 - q + 1. Suppose 0 = -2*l, 3*k - l + 3 = 4*l. Let b(r) = 3*r**3 - r**2 + 3*r + 3. Let o(d) = k*z(d) - b(d). Does 8 divide o(-2)?
False
Suppose 3*b = 4*f - 28, 2*f + 530 - 554 = -b. Is 5 a factor of f?
True
Suppose -9*u - 72267 = 6*u - 219852. Does 174 divide u?
False
Let a(f) be the second derivative of -f**5/20 - f**4/6 + f**3/6 + f**2 - 9*f. Let t be a(-2). Suppose -r + t*r = -15. Does 15 divide r?
True
Let s(r) = 561*r**2 + 10*r + 10. Suppose k - 4*l + 6*l = 9, -3*l + 18 = -3*k. Does 33 divide s(k)?
True
Suppose 9 = 3*d + 3*s, 3 = 5*d - 2*s + 2. Let h = 5 - d. Suppose -h*q + 8*q = 336. Is q a multiple of 28?
True
Suppose -3*f + 5*q = -0 - 1, -5*f - 7 = -4*q. Let v(a) be the first derivative of a**3 + a**2 + 7*a + 2. Does 19 divide v(f)?
False
Suppose -o + n = -1075, 3*o + 4*n - 595 = 2595. Let q = o - 560. Does 47 divide q?
False
Suppose 0 = -30*u + 79*u - 44541. Does 9 divide u?
True
Let n(c) = 59*c**3 + c**2 - 9*c + 7. Suppose -3*s - 3*d = -15, -12 = 9*d - 12*d. Does 29 divide n(s)?
True
Let f(d) be the second derivative of 11*d**7/504 - d**6/144 - 25*d**4/12 + 26*d. Let t(k) be the third derivative of f(k). Is t(2) a multiple of 21?
True
Let q(u) be the second derivative of -13*u**3/6 - u**2/2 + u + 20. Does 18 divide q(-7)?
True
Let j be 5/60*4 - 28/(-6). Suppose -j*m = -92 + 27. Let s = m + 13. Does 10 divide s?
False
Suppose -4*o = n + 20, 0 = -o - o - 8. Let w be (-21)/(-9) + n/(-6). Suppose -2*x - 3*x - 64 = -w*g, 0 = 3*g + 4*x - 100. Does 4 divide g?
True
Let t(r) be the third derivative of r**5/60 - 7*r**4/24 - 8*r**2. Let o be t(5). Let d = o + 53. Is d a multiple of 4?
False
Let q(x) = -x**3 + 46*x**2 + 46*x - 181. Is 19 a factor of q(45)?
True
Let p(b) = 2*b**2 - 4*b - 22. Let s be p(-5). Suppose 37*d + 847 = s*d. Is 6 a factor of d?
False
Let x be (-70)/22 + (-168)/(-77) + -2. Let a(n) = n**2 + 9*n + 5. Let y be a(x). Let f = y + 52. Does 11 divide f?
False
Let n(x) = -x**3 - 111*x + 0 + 54*x + 6*x**2 + 62*x - 12. Is n(3) a multiple of 8?
False
Does 41 divide (43/(-4))/(32/(-15744))?
True
Let q(l) = l**3 + 9*l**2 + 17*l + 2. Let d be q(-5). Suppose -12*g = -d*g - 515. Let k = 138 + g. Does 23 divide k?
False
Let i(w) = -2*w**3 + 2*w**2 + 12. Does 14 divide i(-10)?
True
Suppose 53196 = 35*i + 13*i - 58260. Is i a multiple of 20?
False
Suppose 0 = 7*q - 11*q + 12. Suppose 4*i - 686 = -3*g, -4*i + q*g = -0*g - 674. Is 17 a factor of i?
True
Suppose -2*i - 5*b = 98 + 38, 0 = i + 4*b + 74. Let c be ((-12)/4)/(-6)*i. Let g = 101 + c. Is g a multiple of 9?
True
Let v = -2573 + 3693. Does 20 divide v?
True
Let v(n) = 16*n + 14. Let z be v(4). Suppose -672 = -y + 2*u - z, 5*y = -3*u + 2996. Is y a multiple of 13?
True
Let k = 5863 + -2307. Does 14 divide k?
True
Is 54 a factor of 1080/1296 - (-136075)/6?
True
Suppose 7*a - 4*g = 4*a + 98, 2*g + 124 = 4*a. Let r be 6/(-9)*a/(-5). Suppose -3*q = -3*c + 42, 5*q - 14 + 68 = r*c. Does 8 divide c?
True
Let z(x) be the second derivative of 17*x**5/20 + x**4/12 - x**3/3 + x**2/2 - 2*x. Is 17 a factor of z(1)?
True
Suppose 5*l - 4*g = 53804, -15*l + 145137 = 4*g - 16259. Does 29 divide l?
False
Let h be 12/(-9) + 44/6. Suppose 662 = h*j - 1186. Suppose -4*v - 10 + 2 = 0, -5*s + 4*v = -j. Is s a multiple of 12?
True
Let p be (1 - 5) + 4 + 1315. Suppose p + 1241 = 9*u. Is u a multiple of 14?
False
Let a = 608 - -56. Let h = a - 303. Is 58 a factor of h?
False
Does 7 divide ((-4)/2 - 2) + 2723?
False
Let k(n) = 24*n - 135. Does 3 divide k(8)?
True
Suppose -4 + 9 = b. Suppose -3*r - 240 = -b*i, 0*i + 5*r = -3*i + 144. Suppose 5*k - 283 = -i. Is k a multiple of 13?
False
Let m = 420 - 930. Is (1 - 0)*(4 - -1 - m) a multiple of 26?
False
Suppose -22*s - 28058 + 144779 = 11*s. Is 2 a factor of s?
False
Let w = 7930 + -1379. Does 23 divide w?
False
Let m(b) = b**3 - b**2 - b. Let g be m(-2). Let s = -3 + g. Let z = 58 - s. Is z a multiple of 15?
False
Let q be ((-36)/(-30))/(6/20). Let k(m) = 15*m - 17. Let d be k(q). Let p = 76 - d. Is 11 a factor of p?
True
Is 18/171 - (123610/(-38) - 5) a multiple of 66?
False
Let h = 584 + -580. Suppose -f - 4503 = -3*y, h*f - 620 = -2*y + 2396. Is y a multiple of 23?
False
Is (684 - 1)*16*(-206)/(-824) a multiple of 15?
False
Suppose 0 = 3*j - 75341 + 26381. Suppose 7*c + 25*c = j. Is c a multiple of 10?
True
Suppose 4*r - 3*m - 25 = 9, -4*m - 8 = 0. Let w(h) be the third derivative of h**6/120 - h**5/15 + h**4/24 - h**3 + h**2. Is 22 a factor of w(r)?
False
Let h(y) = -3*y + 42. Let r be h(13). Suppose 2060 = -5*s - 2*n, r*s - 4*n + 390 = 2*s. Is s/(4 + -7 - -1) a multiple of 53?
False
Let s(z) = -z**3 + 9*z**2 + 77*z + 13. Does 66 divide s(-8)?
False
Suppose -2*n - 16872 = -4*n + 4*z, -42103 = -5*n - z. Is 14 a factor of n?
False
Suppose -14*h = -7*h - 90202. Is 16 a factor of h?
False
Suppose 4*h = 3*k - 1, -6 = -4*k + 4*h - 2. Suppose 10*i + 4*p = 15*i - 1095, -i + k*p = -219. Does 20 divide i?
False
Let d = 146 + -141. Suppose d*m - 9*m + 4*o = -620, -5*m + 4*o + 773 = 0. Is 15 a factor of m?
False
Suppose -11*n = -0*n + 187. Let w be (0 - 32/n) + (-6)/(-51). Suppose 0 = i - 3*b - 253, -2*i - 3*i + 1231 = w*b. Is 13 a factor of i?
True
Let l be (-5)/(-4) + (-133875)/(-20) + 5. Let h(y) = -y**3 - 1. Let g be h(3). Does 32 divide 2/g*-4 - l/(-70)?
True
Let d = 9561 - 5012. Suppose 26*n - 5565 = d. Does 9 divide n?
False
Suppose -96*d - 85*d - 312345 = -196*d. Is d a multiple of 46?
False
Suppose u + 22 = 5*m + 7, -5*m + 15 = u. Suppose 5*f - 998 = -4*d, -m*d - 5*f + 294 + 452 = 0. Suppose z + d = 4*z. Is 14 a factor of z?
True
Let f(v) = 40*v + 9535. Is f(35) a multiple of 57?
False
Suppose -15 = 11*l - 12*l. Let x = l - 6. Suppose 5*j + 460 = x*j. Is 23 a factor of j?
True
Suppose -5*v = -t + 6725, -348*t = -350*t + v + 13423. Does 122 divide t?
True
Is 16 a factor of ((-18)/8)/(234/(-416208))?
False
Let o be -8 - (2 + 1 + -2 + 3). Let n be ((o/14)/(3/(-126)))/1. Suppose 4*s - 4*z = 44, -5*z = 4*s - 2*s - n. Is 8 a factor of s?
False
Let j(h) = -10*h + 87. Let b(a) = -3*a**2 - 60*a + 29. Let v be b(-21). Is j(v) a multiple of 15?
False
Suppose -1 = m - 6. Suppose 5*t = 2*z + 1211 + 789, -4*z + 1970 = 5*t. Suppose -a = 3*v - 136, -m*v = 3*a - v - t. Is 24 a factor of a?
False
Suppose 32 = -2*l + 20. Is 4/12 - (502/l - 5) a multiple of 7?
False
Let p be (-227)/(-2)*92/(-46). Let b = -125 - p. Is b a multiple of 51?
True
Suppose -s - 14 = -8*s. Suppose -358 = s*z - g, 2*z + 362 = -0*g - g. Is z/(-25)*7/(63/30) a multiple of 12?
True
Suppose 5*u - 3*b + 516 = 0, -b - 372 = 3*u - 68. Let w = u + 319. Does 38 divide w?
False
Suppose 1105 + 5618 = 9*b. Suppose 16*q = 7*q + b. Is 12 a factor of q?
False
Suppose 5*s - 524 = -2*i, 240 = i - 15*s + 12*s. Does 32 divide (i + 4)*3/((-3)/(-2))?
True
Let t = -322 - -324. Suppose -u = 3, t*x + 16*u - 13*u - 169 = 0. Does 42 divide x?
False
Is 32 a factor of 9132/5 - 6 - (-2)/(-5)?
False
Let i be (42/4)/((2/1)/(-4)). Let b be (-2128)/i + 3/(-9). Suppose 4*w - 411 = -n - 24, -w + b = -4*n. Does 10 divide w?
False
Suppose 33235 = 142*m - 223075. Is m a multiple of 3?
False
Suppose 40*o - 389082 = 2230120 - 644522. Does 104 divide o?
False
Is 7/1 + (-9)/(234/(-108524)) a multiple of 11?
False
Let i(w) be the second derivative of -w**4/2 - w**3/6 - w**2/2 + 15*w. Let l be i(-1). Is 15 a factor of 34 + 3 + l + 3?
False
Let t(x) = -805*x**3 + 4*x**2 - 3. Is t(-3) a multiple of 82?
False
Let f = -56 + 61. Suppose 0 = 5*d - f*k - 2010, d + 5*k = 285 + 99. Suppose -3*r = v - 393, -2*r - r = 3*v - d. Is r a multiple of 9?
False
Let w(l) = -l**3 - 18*l**2 - 5*l + 49. Suppose -2*o - 42 = 2*b, -o = -3*o + b - 33. Does 5 divide w(o)?
False
Is 224 a factor of ((-243)/(-108))/(2/7168)?
True
Let p = 12572 + -5916. Is p a multiple of 107?
False
Suppose 673 + 14 = 49*v - 881. Is v a multiple of 4?
True
Let t(k) = -3*k + 6 + 2*k + 7 - 5*k**2 + 0*k. Let y be t(4). Let q = y - -95. Is 4 a factor of q?
True
Let h(b) = -44*b - 24. Let f be h(-11). Suppose 7*v + 1300 = f. Let r = 192 + v. Is 24 a factor of r?
True
Let n(x) = -988*x**3 - x**2 + 13*x + 1. Is 18 a factor of n(-2)?
False
Let q(z) = -z**3 + 9*z**2 + 13*z - 24