(1024/40 + -28)/(((-8)/(-2290))/(-2))?
False
Suppose 2*j = 15*h + 46583, -13525 = -4*j - 2*h + 79353. Does 56 divide j?
False
Let f(z) = 32*z**3 + z**2. Let b be f(1). Let p(c) = -c**3 + 6*c**2 + 10*c - 21. Let r be p(7). Let t = r + b. Is t a multiple of 8?
False
Suppose d - 1 - 24 = 3*q, 45 = 4*d - q. Let n(s) = 12*s**2 - 8*s + 0 + d - 2 - 7. Is 19 a factor of n(4)?
False
Suppose -59 = 9*s - 149. Suppose -9160 = -s*w + 2640. Is w a multiple of 20?
True
Let p be 1 - (0 - 0)/(-2). Let z(j) be the third derivative of 113*j**6/60 + j**5/60 - j**3/3 - 868*j**2 - 2*j. Is 15 a factor of z(p)?
True
Let c(a) be the second derivative of a**4/4 + 2*a**3/3 + a**2 + 9*a. Suppose 36 = 3*l - 12*l. Does 17 divide c(l)?
True
Let a = -54 - -266. Let b be a/36 + (-1)/(-9). Suppose 0 = -0*d - b*d + 96. Is 4 a factor of d?
True
Let o = -69 + 76. Let m(v) = v**3 - 6*v**2 - 3*v + 3. Let j be m(o). Suppose 0 = -36*b + j*b + 1075. Is 43 a factor of b?
True
Let x = -4658 - -7898. Does 15 divide x?
True
Suppose -13*i = -11*i + 218. Let a = i - -104. Let t(g) = g**3 + 3*g**2 - 15*g - 5. Is t(a) a multiple of 8?
False
Let q(p) be the first derivative of p**4/4 + 13*p**3/3 - 7*p**2/2 - 32*p + 48. Does 7 divide q(-13)?
False
Let m = -16022 + 23429. Is m a multiple of 56?
False
Let m = -2017 - -3387. Does 48 divide m?
False
Let r be (-3)/6*-2 + -1. Let p be 13380/65 + 24/156. Suppose 9*v + 8 - p = r. Does 21 divide v?
False
Suppose 22*v - 21250 = 5*v. Suppose -23*u = -v - 728. Is 4 a factor of u?
False
Let f be (1230/8)/(377/(-104) + 4). Suppose 17210 = 15*m + f. Is m a multiple of 16?
True
Suppose -4 - 14 = -9*z. Suppose 2645 = 5*o - z*t - 0*t, 529 = o - 3*t. Is o a multiple of 41?
False
Let v(w) = 229*w - 121. Let i(n) = -229*n + 117. Let h(k) = -6*i(k) - 5*v(k). Does 39 divide h(5)?
False
Let q = -177 + 183. Suppose 2993 = 5*f - k, 2997 = 11*f - q*f + k. Is 8 a factor of f?
False
Let m(a) = 2*a**2 + a + 1. Let s = -2 + 6. Suppose b + 5*r - 40 = -s*b, -4*r + 14 = -2*b. Is m(b) a multiple of 3?
False
Suppose 108751 + 23245 = 19*y - 10694. Is y a multiple of 19?
False
Let f = 794 - 302. Suppose 0*z + 12*z = f. Is z a multiple of 3?
False
Let s = 544 - 590. Let i(b) = -19*b + 18. Is 40 a factor of i(s)?
False
Let o(w) = -w**3 + 11*w**2 + 14*w - 14. Let p be o(12). Let j be 0*(15/p)/(-3). Suppose -2*n = j, 2*f = -0*f + 3*n + 60. Does 5 divide f?
True
Suppose 9*c - 8*c = -8, 0 = -5*n - 2*c + 26719. Does 139 divide n?
False
Let u(x) = x**3 + 48*x**2 + 149*x - 66. Is 20 a factor of u(-42)?
True
Suppose 5*w - 3*z - 16 = 0, w - z + 13 = 3*w. Suppose -101 = -28*g + 26*g - 3*m, -w*g + 3*m + 284 = 0. Is g a multiple of 18?
False
Let x(i) = 24*i + 7. Suppose 0 = c, d - 3*d = -4*c. Suppose d = 5*b - 0*b - 10. Is x(b) a multiple of 11?
True
Suppose -49*o + 282069 = -40057. Is 19 a factor of o?
True
Does 4 divide (2682/(-45) + 2)/(4/(-110))?
True
Suppose -g + 779 = 238*y - 241*y, -3*g = -2*y - 2358. Is 4 a factor of g?
True
Let v = 202 - -194. Is (-6)/(-11) - (-101556)/v a multiple of 12?
False
Let p be 22185/(-115) + (-2)/23. Let j = -126 - p. Is j a multiple of 5?
False
Let t be (((-12)/(-8))/(4/40))/1. Let n(u) = 3*u + 62. Let o be n(t). Suppose 4*k = -4*m + 17 + o, -5*k - 115 = -5*m. Does 11 divide m?
False
Let w be (13 - 5) + 0 + -4. Suppose 2157 = 5*o + q, 16*o - 19*o = w*q - 1284. Is 12 a factor of o?
True
Let w(r) = 240*r - 2583. Is w(26) a multiple of 8?
False
Suppose -114*u = -112*u + 1146. Let f = u + 1161. Is 14 a factor of f?
True
Does 12 divide 28326/14 + -19 + (-2)/7?
True
Let h(a) = 18*a + 40. Let s(p) = -p**3 - 9*p**2 + 10. Suppose 5*o + 3*f + 51 = 0, f = -3*o - 13 - 16. Let t be s(o). Does 16 divide h(t)?
False
Let q(k) = -16*k**3 - 9*k**2 - 56*k - 77. Is q(-11) a multiple of 11?
True
Let w be ((-8)/(-6))/((-44)/(-957)). Suppose 25*j - w*j + 1060 = 0. Suppose 2*t - d = 7*t - j, 3*t + d = 161. Does 7 divide t?
False
Suppose -6*m + 4 + 8 = 0. Suppose 3*b - m*k = 10, -b + 5*k - 13 = -3*b. Is 30 a factor of (-1173)/(-34) + 2/b?
False
Let z be 3 + (-7)/5 + 4/10. Suppose 0 = -z*x + x + 2*k + 21, 0 = -5*k + 15. Is 9 a factor of x?
True
Let f be (12/9)/((-8)/156). Let s = 31 + f. Suppose 7*b - s*v - 120 = 3*b, 108 = 4*b - 2*v. Does 19 divide b?
False
Suppose y - u - 3026 = 3501, y + 4*u = 6532. Does 17 divide y?
True
Suppose 0 = 118*z - 104*z - 40796. Is z a multiple of 44?
False
Suppose -2*b + 5 = -5. Let z be 58/(-3 + b - 1). Let d = 161 - z. Is 26 a factor of d?
False
Suppose -4*w + 676 = -4*p - 6*w, -676 = 4*p - 2*w. Let u = 33 - p. Is 18 a factor of u?
False
Suppose -454*k = -450*k - 2240. Is 70 a factor of k?
True
Suppose -28 = 5*k - 6*k. Let z be (-5)/(-7) - -3 - (-8)/k. Is (-24)/(-10)*(5 - (-30)/z) a multiple of 5?
True
Suppose -2 = -m + 2*l, 4*m - 2*l + 16 = -0*l. Is (m*42/(-20))/((-2)/(-80)) a multiple of 24?
True
Suppose -84390 = 2357*t - 2372*t. Is 26 a factor of t?
False
Suppose 136*n = 135*n - 5. Let l = n - 43. Does 3 divide (42/56)/((-2)/l)?
True
Suppose 33113 = -19*z + 20*z - 12184. Is z a multiple of 21?
True
Let u(o) = 17*o - 107. Let w be u(37). Suppose 5*t - w = 5*m + 268, 4*t - 618 = -3*m. Does 4 divide t?
True
Let c = -73 + 375. Suppose 2*s - 388 = -5*n, -638 = -5*s - 5*n + c. Is s a multiple of 8?
True
Suppose 0 = 2*o + 5*j - 41, 2*j = -23*o + 18*o + 71. Let n(m) = -1 + 65*m**2 - m**3 - 29*m**2 + 15*m - 24*m**2. Is 16 a factor of n(o)?
False
Let y be (272 + (-9)/(-3))/(-1). Let b be 1/2 + 1815/(-10). Let n = b - y. Is n a multiple of 15?
False
Suppose -3*p - 5*j - 17 = -j, -3*j = -3*p + 18. Suppose -a + g + 2*g = -p, 2*a + g = -19. Is 5 a factor of (-1)/(4/(-8)) - a?
True
Let c be 105/42 + 2/(12/9). Suppose c*w - 8*t - 3405 = -7*t, -w + 846 = 5*t. Does 23 divide w?
True
Let n(i) = 226*i - 1087. Does 71 divide n(29)?
True
Let o(i) = 246*i**2 - 2*i - 1. Let p be o(-1). Let c = p + 371. Does 11 divide c?
False
Let s = -16639 - -23528. Is s a multiple of 33?
False
Let b = 19869 - 13367. Suppose -w - b = -5*m, m - 5*w + 2590 = 3*m. Is m a multiple of 26?
True
Suppose 64*o + 125*o + 140557 - 1658038 = 0. Is o a multiple of 37?
True
Let o(m) be the second derivative of -m**5/20 + 2*m**3/3 + 9*m**2/2 + 43*m. Let w be o(-2). Is (2 - (w + -5)) + 73 a multiple of 13?
False
Let k(b) = b**2 - 1. Let w be k(2). Suppose w = -5*u + 73. Suppose -225 = -u*m + 9*m. Is 15 a factor of m?
True
Suppose -536 + 144 = 8*m. Let x = 57 + m. Suppose -345 = x*u - 1905. Does 15 divide u?
True
Suppose -j = 3*y + 15, 32 = -4*y - 5*j + 23. Let z(c) = 47*c**2 - 16*c - 51. Does 33 divide z(y)?
False
Suppose 1185 = -3*k + 5*d - 0*d, -1953 = 5*k - d. Let y(s) = s**3 + 4*s**2 - 17*s - 18. Let i be y(-9). Let r = i - k. Is r a multiple of 15?
True
Let j(g) = 3*g**3 + 2*g**2 - 2*g. Let h be j(1). Suppose -159 + 843 = h*w. Suppose 0*f - w = -4*f. Does 12 divide f?
False
Let o(x) = 16*x**3 - 3*x**2 - 7*x + 33. Is o(6) a multiple of 25?
False
Let t(k) = 6*k**2 + 4*k + 3. Let l(i) = -i**2 - 15*i + 27. Let h be l(-13). Let w = -51 + h. Is 34 a factor of t(w)?
False
Suppose 2*p = -q + 2210, 29*q + 2186 = 30*q - 2*p. Is 24 a factor of q?
False
Let s(f) = 16*f**2 + 11*f - 10. Let w(k) = k**3 + 12*k**2 + 34*k + 12. Let p be w(-8). Does 57 divide s(p)?
False
Let p(o) = o**3 + 10*o**2 + 6*o - 23. Let v be p(-9). Is 20 a factor of (-3)/v + 5630/40?
True
Let z(h) = -2*h + 35. Let k be z(16). Suppose 308 = k*a + 131. Is 5 a factor of a?
False
Suppose -j - 7*j = 5440. Let f = 1292 + j. Is 68 a factor of f?
True
Let p(c) = 2*c**3 - 8*c**2 - 8*c - 14. Let k = 126 + -120. Let b be p(k). Let d = b + 23. Does 21 divide d?
True
Let o(a) = a**2 - 4*a - 29. Let u be o(-4). Let g be (-2)/((1/93*u)/(-1)). Let k = 268 + g. Does 15 divide k?
True
Let d be (0 - -1) + -3*(-32)/3. Let g = d - 1. Does 16 divide g?
True
Let g(w) = -w**2 + 33*w - 14. Let p = 100 - 100. Suppose -5*o + 65 = 3*i, i - 2*i + 5 = p. Is g(o) a multiple of 27?
True
Let x be 45/((-14)/(-7)*1/2). Suppose 2*z + x = 7*z. Suppose -6*f - z = -39. Is f even?
False
Suppose -17*t - 69 = 6*t. Does 18 divide 2*t/(-7)*462/11?
True
Let o = 132 - 96. Is 32 a factor of 21*o/4 + 4?
False
Is 15960/10 + -11 + (-1)/((-2)/(-8)) a multiple of 38?
False
Let j = 6399 + -4946. Does 3 divide j?
False
Suppose -d + 4496 = -3*x, -d - 14*x = -9*x - 4544. Is 2 a factor of d?