f + 12011, -4*f + 5*r + 9594 = 0. Let i = f - 1471. Is i a multiple of 10?
True
Let w = 11465 + -3977. Does 26 divide w?
True
Let s(t) = -2*t**3 + 13*t**2 - 25*t - 8. Let b be s(7). Let d = -133 - b. Does 11 divide d?
True
Suppose -3*h + 40*h - 163579 - 386019 = 0. Is h a multiple of 14?
True
Let f = 31425 + -5367. Is 101 a factor of f?
True
Let r(p) = -p**3 + 9*p**2 - 11*p + 7. Let f be r(6). Let b = 75 - f. Let n = b - 9. Is n a multiple of 10?
False
Let d(z) = 11*z - 40. Let f be d(8). Does 13 divide ((-1092)/f)/(2/(-8))?
True
Suppose -152*y = 45*y - 1763732 - 1208801. Does 16 divide y?
False
Suppose 4*d + 17*j = 22*j + 1325, 2*d + 5*j - 655 = 0. Let m = d - 320. Does 5 divide m?
True
Suppose -2*w = -4, 9 + 3 = 2*x + w. Suppose -5*f + 51 - 486 = -x*a, 3*f + 79 = a. Let q = a - -9. Is q a multiple of 14?
False
Let i = -162 - -176. Suppose -199 + 815 = i*f. Is f a multiple of 3?
False
Suppose 15*i - 19584 = -2*i. Let k = -828 + i. Does 9 divide k?
True
Let g(m) = 567*m + 263. Does 18 divide g(20)?
False
Let y(g) be the third derivative of g**9/60480 + g**6/144 + 7*g**5/30 - 11*g**2. Let b(m) be the third derivative of y(m). Does 2 divide b(0)?
False
Let c(f) = -f**2 - 2*f + 5. Let a be c(-3). Let o be 15/5 + (-1 - (a - 2)). Suppose -3*p = -o*p - 92. Is p a multiple of 23?
True
Suppose 5*t - 2068 = -i, 54*i - 70*i + 2*t = -33498. Is i a multiple of 91?
True
Let d(a) = a**3 - 140*a**2 + 158*a + 390. Is d(139) a multiple of 81?
False
Suppose 3*u + r - 557 = -2*u, 4*r = 8. Suppose -17 = -2*z + u. Does 12 divide z?
False
Let q be ((-4329)/(-52) - -14)/((-1)/(-4)). Is 14 + q - (-6 - 1) a multiple of 30?
False
Let t(n) = 8*n - 29. Let u be t(4). Suppose 0*h = -u*h + c + 76, -3*h = -5*c - 80. Is h even?
False
Suppose 242430 + 84545 = 41*a. Suppose a = 11*u - 231. Is 6 a factor of u?
False
Let v be (20/50)/((-2)/(-90)). Let r(n) = -6*n + 111. Does 3 divide r(v)?
True
Let p(z) = -2*z**3 - 9*z**2 + 10*z - 76. Let b(x) = -x**3 + 1. Let f(g) = -3*b(g) + p(g). Does 53 divide f(11)?
False
Let x = -26260 - -30280. Is x a multiple of 42?
False
Let q(z) be the first derivative of z**4/4 - 23*z**3/3 + 12*z**2 + 77*z - 60. Is 15 a factor of q(22)?
False
Suppose 3*d = -19*q + 23*q - 4179, q - 1046 = d. Does 27 divide q?
False
Suppose -696790 = -84*f + 42114 + 40952. Is f a multiple of 211?
True
Let k(b) = -8*b**3 - 8*b**2 + 4*b - 9. Let x be k(-5). Let h = -604 + x. Does 6 divide h?
False
Suppose 0 = -0*x + 5*x - 715. Suppose y - 5*r - 176 = -23, y = -5*r + x. Suppose f = -3*f + y. Does 8 divide f?
False
Suppose 0 = 4*v - 3*y + 632, y + y = v + 153. Let d = -117 - v. Does 2 divide d?
True
Does 13 divide 6/72*-8*-1380?
False
Suppose 5*v = 5, -4*k - 3*v = -6*k + 5. Does 12 divide ((-1440)/(-21))/(k - 108/28)?
True
Let y = 280 - 160. Let g be (-6192)/y - 4/10. Does 7 divide g*(12/8)/(-3)?
False
Let i = -18 - -22. Suppose 4*k + 96 = -0*f - i*f, -k - 74 = 3*f. Let w = 172 + f. Does 13 divide w?
False
Suppose -24*z + 39*z = 17*z - 15540. Is z a multiple of 21?
True
Suppose -5254 = 7*x + 612. Does 18 divide x/(-3) - (-5)/(-15)?
False
Let c(p) = -39*p + p**3 + p**2 - 32*p**2 + 0 + 52*p**2 - 2 - 4. Is c(-22) a multiple of 23?
True
Let x be 665/(-20) - (68/(-16) + 4). Is 435/2*(-22)/x a multiple of 6?
False
Suppose -52*s = -41*s - 385. Suppose 0 = s*d + 929 - 20529. Is d a multiple of 20?
True
Suppose -8*v - 374 = -1278. Let q = 188 - v. Is 55 a factor of q?
False
Suppose 10*t = 13054 + 24676. Is t a multiple of 5?
False
Let s = 2197 + -870. Does 44 divide s?
False
Suppose -356 - 674 = 4*p - 5*c, 0 = -4*p - c - 1042. Let y = p - -458. Does 11 divide y?
True
Suppose 28288 = -1941*s + 1958*s. Is s a multiple of 35?
False
Suppose 3*l - 3*m = 3603, -7*m = -4*m + 12. Suppose -2*n + 5*j + l = 0, -2*n - 460 = 4*j - 1630. Is n a multiple of 14?
False
Let u(y) = -y**2 + 22*y - 33. Let i(s) = -5*s + 2. Let l(k) = 10*k - 3. Let j(n) = 5*i(n) + 3*l(n). Let p be j(3). Is u(p) a multiple of 15?
False
Let o(s) = 13*s + 2. Let g be o(-5). Let r be 43/(-9)*-1 + (-14)/g. Suppose 5*q - 68 = -4*p, -2*q - r*p + 49 = 2*q. Is 5 a factor of q?
False
Suppose -3*v = 2*h - 15103 - 6633, 4*v = h - 10846. Is h a multiple of 20?
False
Suppose -7*t + 1257 - 39 = 0. Let y = -148 + t. Does 6 divide y?
False
Let o(x) = 51*x**3 + 7*x**2 - 6*x + 36. Is 22 a factor of o(4)?
True
Let o = 2173 + -1521. Suppose 0 = -5*p + o + 558. Does 56 divide p?
False
Let c(u) be the third derivative of 0*u + 0 + 1/3*u**3 + 7*u**2 + 29/60*u**5 - 1/12*u**4. Is c(2) a multiple of 19?
True
Is 60 a factor of -12*(132759/18)/(-9)?
False
Let b(q) = -2*q + 23. Let m be b(6). Let l(f) = 4*f + 8 - m + 7*f + 5*f. Does 41 divide l(13)?
True
Let x(a) = a**3 + 6*a**2 + 7*a + 6. Let h be x(-3). Suppose 1130 = 5*m + 7*j - h*j, 2*j = -8. Is 37 a factor of m?
True
Let f(r) = -r**3 + 7*r**2 - r - 2. Let o be f(6). Let i = o - 110. Let v = 234 + i. Is 38 a factor of v?
True
Suppose 14*z + 13*z + 0*z = 106488. Does 11 divide z?
False
Suppose 2*z - 285 = 36*b - 35*b, 0 = 3*z - 2*b - 426. Is 38 a factor of z?
False
Let m(n) = -n**3 + 16*n**2 + 24*n - 38. Let j be m(17). Let s = j + -75. Does 6 divide s?
True
Suppose -3*p - 16 = 3*f + 2, 0 = -5*f + 5. Let j(d) = -123*d - 305. Does 55 divide j(p)?
False
Suppose -10*i + 199684 = -32216. Is i a multiple of 11?
False
Suppose 0*h + h = -4. Let g be ((-66)/(-15) + h)*305. Suppose 2*z - g = 5*y - 827, -2*y + 253 = 5*z. Does 23 divide y?
False
Suppose 19*r = 43*r - 15*r - 318501. Is 10 a factor of r?
False
Let c(q) = 20*q**3 + 17*q**2 - 35*q - 14. Is 7 a factor of c(7)?
True
Let y = -168 - -172. Suppose 4*z - 3*x = 366, -354 = -y*z - 4*x + x. Is z a multiple of 9?
True
Suppose 0 = -9*v + 11*v - 4074. Does 7 divide (-6)/(-4) + v/14?
True
Suppose -2 = -x, 8*i + x = 7*i + 2711. Does 43 divide i?
True
Suppose 0*g + 2*g - 6 = 0. Suppose 0 = 5*i + g - 18. Suppose -3*a - a - i*r = -6, 4 = 2*a + r. Is 2 a factor of a?
False
Suppose -3493 = -5*q - 293. Let u(r) = 5*r + 319 + 319 - q. Is 6 a factor of u(4)?
True
Suppose 5 = r - 6. Suppose -12*t + 15*t - 147 = 0. Let j = r + t. Is 20 a factor of j?
True
Suppose 3*z = -z + 8. Suppose 5*o + k = 18, 5*k - 11 = z*o - 2. Suppose 0 = 4*p - 5*q - 334, 4*p = 3*q + 327 + o. Is 24 a factor of p?
False
Let a(v) = -348*v**3 + 2*v**2 + 12*v + 27. Does 17 divide a(-2)?
False
Let h = 106948 - 70735. Is h a multiple of 70?
False
Let h = 309 + -108. Let v = -4 - h. Let x = -115 - v. Does 18 divide x?
True
Let f(t) be the second derivative of 1/6*t**3 - t**2 + 0 + 20*t. Is f(8) a multiple of 2?
True
Let b = 7441 - 6351. Is 3 a factor of b?
False
Let j be -1025 + -1 - 78/(-13). Is 28 a factor of (4/10)/((-6)/j - 0)?
False
Let y(q) = -48*q + 106*q + 24*q - 118. Is y(6) a multiple of 22?
True
Let v(c) = 6*c**3 + 2*c**2 + 3*c + 2. Let d be v(-1). Does 16 divide (((-46)/d)/(-1))/(1/(-15))?
False
Is (14 - 12) + (6 - -1 - -12380) a multiple of 60?
False
Let u = -61 + 67. Suppose 2*c + 468 = u*c. Let j = c - 21. Is j a multiple of 23?
False
Is (-1)/12*-20337 - -2 - 20/(-16) a multiple of 24?
False
Does 5 divide -11 + 2 - (-7 + -1938)?
False
Let f(r) = -81*r + 29. Let d(v) = 80*v - 24. Let x(m) = 4*d(m) + 3*f(m). Is x(3) a multiple of 5?
False
Let h(m) = -m**2 + m - 87. Let v be h(0). Let u = v - -117. Let t = u - -99. Is t a multiple of 52?
False
Suppose -1973*s = -1968*s - m - 40017, s + 5*m = 8045. Is s a multiple of 25?
False
Let x(p) = -16*p + 4413. Is x(0) a multiple of 18?
False
Let k = 7344 - 799. Is 35 a factor of k?
True
Suppose -64*x + 83*x = 475. Let p be (-106)/(-6) + 2/(-3). Let c = x + p. Is 6 a factor of c?
True
Let t = -1019 - -811. Let s = t + 398. Does 3 divide s?
False
Suppose 6 = -2*f + 2*o - 5*o, 0 = o + 2. Suppose -q + 3*q + 2*d = 4, f = -4*d. Suppose 3*g - 4*y - 52 = 0, 0*y - q*y + 10 = 0. Does 8 divide g?
True
Suppose -14*t - 16*t = -88087 + 2587. Is t a multiple of 75?
True
Let b(r) = 6*r + 93. Let g be b(-15). Suppose 5*n + 4*a = 2505, g*n + a = -a + 1501. Is n a multiple of 71?
True
Suppose 50*k = 48*k - 3*o + 16484, 0 = -3*k + 2*o + 24713. Does 116 divide k?
False
Suppose -c = 2*p - 1409, 15*c = -p + 17*c + 692. Is p a multiple of 78?
True
Is 419/(((-2)/(-6))/((-30)/(-45))) a multiple of 10?
False
Is ((-7)/(-2))/(9*10/66960) a multiple of 51?
False
Let a(s) = 