0 = 63*n - 302586 - 158952. Is n a multiple of 66?
True
Let w(n) = -139*n**2 + 3*n - 2. Let d be w(-1). Let b = 534 + d. Does 10 divide b?
True
Suppose -6*r + 0*r = -36. Suppose -r*t + 472 = -308. Let p = t + -78. Does 5 divide p?
False
Is 2 + (-240464)/(-16) - 5 a multiple of 120?
False
Suppose 0 = -3*a + 4563 + 18954. Let k be 6/(-14) - a/(-63). Let v = k - 121. Does 3 divide v?
True
Let g be ((-19)/(-14) + 9/63)*370. Suppose 0 = -14*f + 9*f + g. Suppose 5*l - f - 331 = -3*b, l = -b + 146. Does 37 divide b?
False
Does 55 divide 0/3 + 21/(-2)*-110?
True
Let t be (-15 - (1 - 0))/(3/(-156)). Suppose 6*n - t = -2*n. Is 3 a factor of n?
False
Let w be (-5 + -7)/(-6) - -170. Suppose 694 = 2*b + w. Does 16 divide b?
False
Does 9 divide 11*170 + 266/(-14) + 12?
True
Is (-174672)/(-36)*18/8 a multiple of 36?
False
Let z = 15 + -54. Let v = z - -34. Is 16 a factor of v/25 - 324/(-20)?
True
Let w = -241 + 246. Let y(c) be the first derivative of -c**4/4 + 3*c**3 - 3*c**2/2 - 5*c - 3. Is y(w) a multiple of 11?
False
Suppose 4*i - 64 = -4*i. Suppose -14 + i = -3*y. Does 11 divide (-371)/y*100/(-175)?
False
Suppose -4*v + 3*d = -48896, -4*v + 14271 = -2*d - 34617. Is v a multiple of 25?
False
Let d(f) = 16*f**2 - 3*f - 21. Let m be d(-4). Suppose -2*n + 200 = 4*g, -2*n = 5*g - n - m. Is 12 a factor of g?
False
Let v = 9191 + -1149. Is 96 a factor of v?
False
Is (-1)/(((-21)/(-3))/(-3675)) a multiple of 7?
True
Is (40/105 - (-2)/(-3)) + 6943488/168 a multiple of 14?
False
Suppose x = -5*o + 3783, -3*x + 5*o = -6*x + 11319. Does 26 divide x?
False
Let s(u) = 26*u**2 + 68*u**3 - 36*u**3 + u - 33*u**3 + 3*u + u - 59. Does 36 divide s(25)?
False
Is (-120)/96 - (-2546)/8 a multiple of 112?
False
Suppose 5*j = 5*d + 18210 + 22170, j + 2*d = 8082. Does 2 divide j?
True
Let a be (43 - 40)*3*(-19)/(-3). Suppose -58*z + 1127 = -a*z. Is z a multiple of 23?
True
Let d = -3417 - -5574. Is d even?
False
Suppose -65 + 14 = -3*n. Suppose 41*r = n*r + 16272. Does 14 divide r?
False
Suppose 3*k - 282234 = -8*y, 20793 + 14483 = y + 2*k. Is y a multiple of 60?
True
Suppose 3*z = 3*r + 132, 2*r - 64 = -z - 2*r. Let h(o) = -51*o - 2954. Let i be h(-66). Suppose -2*v - z = -i. Is v a multiple of 13?
True
Let t = -9816 - -19698. Is t a multiple of 81?
True
Suppose 4*p + 4*n + 7 + 1 = 0, -2 = p + 2*n. Let v be p/3 - (-565)/15. Suppose 2*y - v = -5. Does 8 divide y?
True
Suppose 78*x - 67*x = 371316. Is 58 a factor of x?
True
Suppose 2*u - 4*u + 84 = 0. Suppose -u = 15*c - c. Is (3 + c)/(1 - -1) - -240 a multiple of 40?
True
Let v = 97 + -94. Does 8 divide (-3 - (v - 3))/(6/(-320))?
True
Suppose 0 = 2*u + 3*u + 5*t + 20, 2*t + 7 = -u. Is 25 a factor of (3 + u)/(56/(-28)) - -686?
False
Let t(z) = -426*z - 17. Let n be t(-1). Let p = 932 - n. Is p a multiple of 15?
False
Let o(j) = 51457*j**2 + 95*j + 97. Does 7 divide o(-1)?
False
Let l(w) = 3*w**2 + 9*w - 6. Let o be l(3). Let q(j) = 0 - 303*j + o*j**2 + 8 + 299*j. Is q(2) a multiple of 34?
False
Suppose -4*m + 17 + 7 = 0. Suppose 5*u = m*u. Suppose u = -3*h + 98 + 154. Does 14 divide h?
True
Let o(b) = 5*b - 61. Let a be o(13). Is 31 a factor of (14/a)/((-50)/(-13300))?
False
Suppose 3*b - 59698 = -5*h, -15*b + 13*b + 4*h = -39762. Is b a multiple of 74?
False
Let a be (-5 + (3 - -2))/(2 - 1). Suppose 7*r - 18*r + 649 = a. Does 19 divide r?
False
Let f(r) be the second derivative of r**4/3 + 13*r**3/3 + 38*r**2 + r - 6. Is 36 a factor of f(-16)?
True
Let f = -4256 + 5495. Does 44 divide f?
False
Let c(j) = j**3 + 5*j**2 - 7*j - 6. Let u be c(-6). Suppose 4*d + 2*z - 2816 = 114, u = 4*d - 5*z - 2965. Does 15 divide d?
True
Let j(f) = f**2 + 17*f - 5. Let p be j(-18). Is (p/26)/((-6 - -3)/(-54)) a multiple of 3?
True
Let t = 10678 - -12257. Is 16 a factor of t?
False
Let h(u) = -u**2 + 2*u + 1. Let l be h(1). Suppose -j = -4*i + 103, l*i + 2*j - 26 - 18 = 0. Suppose 2*x - q - 19 = 0, 2*x + 3*x = -5*q + i. Does 8 divide x?
True
Suppose -38*c = -c - 777. Does 38 divide 1/(-7)*-5742 + (-6)/c?
False
Let u(n) = 723*n - 4032. Is 5 a factor of u(19)?
True
Suppose -3479 = -13*d + 5*d + 17289. Is 118 a factor of d?
True
Let m be (2 - 9)*(-1 - 6). Suppose -17*l + 251 = -395. Let s = m - l. Does 5 divide s?
False
Let w(j) = j**3 + 4*j**2 + 5*j + 1. Let v be w(-2). Let c = 261 + v. Does 26 divide c?
True
Suppose 142 = 5*b - 4*l, 2*l - 124 = -2*b - 3*b. Suppose -4*f - 18 = -b. Suppose 5*m = 5*g + 265, 3*g - 122 = -f*m + 9. Is m a multiple of 5?
False
Let r be (5 + -6)*12/1. Let z(y) = 3*y**2 + 37*y + 13. Let k be z(r). Does 21 divide k + (-1 + -7)*270/(-15)?
False
Let c(l) = 52*l**2 + 100*l + 1546. Is 33 a factor of c(-15)?
False
Let y = 145 + -141. Suppose 2*f = y, -2*f = 5*u - u - 444. Is 11 a factor of u?
True
Let w(j) = j**2 + j + 24. Let k be w(-18). Let l = -298 + k. Does 8 divide l?
True
Let t = 5841 + -1. Is t a multiple of 35?
False
Let l(o) be the third derivative of -o**5/60 - 13*o**4/8 - 5*o**3 - o**2 - 30. Is 13 a factor of l(-24)?
False
Does 45 divide ((-32)/(-10) - 8)*55350/(-20)?
False
Let r = 33747 + -16933. Is 14 a factor of r?
True
Let w(m) = -m**3 + 23. Suppose 4*q = 2*p - 2, -5*q - 5 + 1 = -3*p. Let a be (1 + p/(-3))/(-2). Is w(a) a multiple of 12?
False
Let x(b) = 29*b**2 + 17*b - 12. Let v(i) = i**3 - 30*i**2 - 18*i + 13. Let n(o) = 2*v(o) + 3*x(o). Is n(-12) a multiple of 14?
False
Let x(m) = 4*m + 188. Let f be x(0). Suppose -4*k + f = 4*g, 4*k + 3*g - 96 = 2*k. Does 9 divide k?
True
Suppose v - 2503 = 5*r, 3*v - 3*r - 8814 = -1353. Does 13 divide v?
True
Let t be ((-110)/(-88))/(2/72). Let r = 42 - t. Does 9 divide (40 + 2)/((-2)/r)?
True
Suppose -18*i + 19*i = 3. Suppose -i*k - 3 = -9. Suppose -k*v - 3*n = -90, -3*v + 242 = 2*v - n. Does 8 divide v?
True
Suppose 2*h = -x - 2*h + 5, 4*x + 2*h = 20. Suppose 7*i - 3*i - 23 = m, -x*i + 4*m + 26 = 0. Suppose 336 = i*s + 6. Is 9 a factor of s?
False
Let d(p) = -20*p - 9. Let u be d(0). Let c(z) = -z**3 + 3*z**2 + 18*z - 11. Is c(u) a multiple of 31?
False
Let k = 1198 - -1092. Suppose -3*q - 2*g = -820 - 894, 5*g - k = -4*q. Is q a multiple of 15?
True
Does 94 divide ((-65)/100 + (-1)/(-4))/((-8)/43240)?
True
Suppose 0 = -4*y + 105 + 207. Let t = -682 + 634. Let z = t + y. Is z a multiple of 13?
False
Let z be (-1 - (2 - 2))*5. Let m(s) = s**3 + 9*s**2 + 2*s + 3. Let u be m(z). Suppose 0 = 2*r + u - 329. Is r a multiple of 11?
False
Let x = -11601 + 14632. Is 10 a factor of x?
False
Let w(d) = 15*d - 5. Let p be w(-3). Does 65 divide (103/5)/((-10)/p)?
False
Suppose 3384 = -8*i + 20*i. Let v = i + 278. Is v a multiple of 26?
False
Does 186 divide (1/(1/8))/((7800/388089)/100)?
True
Suppose 0*i = -5*i + 25. Suppose -9 = i*z - 3*b, -2*z - 3*b = -b - 6. Suppose z = -n - q + 3*q + 35, -2*n - q = -90. Is n a multiple of 12?
False
Suppose -b = -41*u + 44*u - 81651, 5*b = -5*u + 136095. Does 54 divide u?
True
Let a be (25/(300/24))/((-1)/7). Is ((-2)/6)/(a/2268) a multiple of 8?
False
Let g be -1 - -7*(-12)/21. Is 3/90*g + 7490/12 a multiple of 24?
True
Let s(g) = 6*g**2 + 16*g - 14. Let d = -187 + 175. Is 15 a factor of s(d)?
False
Let a = 9982 + -8984. Is 3 a factor of a?
False
Suppose -4*f + 4*c + 920 = 0, -5*f + 1493 - 363 = 5*c. Let w = f - 80. Suppose w = 6*i - 320. Does 13 divide i?
True
Suppose -4*c + 2*l = -18, -c - 3*l + 15 = -7. Suppose -4*a - 66 = -c*a. Let j = a + -7. Is j a multiple of 12?
False
Suppose 4*v - n - n - 34 = 0, -4*v + 4*n + 44 = 0. Let t be 3 - (-510)/12 - 3/v. Is (24/(-10))/((-9)/t) a multiple of 2?
True
Let h be (-132)/22*(-2)/(-4). Is (h/6)/(1/(-26)) a multiple of 10?
False
Let a be (2 + -4)/(-1) - 184. Let i = -76 - a. Is i a multiple of 5?
False
Let j(a) = 2*a. Let m(r) = 31*r - 11. Let v(p) = 30*p - 12. Let s(z) = 3*m(z) - 2*v(z). Let n(t) = 12*j(t) - 3*s(t). Is 12 a factor of n(-3)?
True
Let k(x) = x**3 + 49*x**2 - 19*x + 77. Suppose -20 + 216 = -4*h. Does 28 divide k(h)?
True
Let r(a) = -595*a - 5669. Does 34 divide r(-50)?
False
Is 78 a factor of (16 + (-343)/28)*(-8788)/(-3)?
False
Suppose -7985 = 17*a - 26046 - 75779. Is 40 a factor of a?
True
Let t(k) = k**2 + 10*k + 2. Let h = -79 + 69. Let j be t(h). Suppose j*z - 5*z = -2*c + 40, 3*z = 5*c - 82. Does 7 divide c?
True
Let w be 2/6 + (15224/(-24) - 10). Is 0 - (w/(-6))/((-4)/24) a multi