/((-46036)/(-11512) - 4). Let b = j + -1918. Does 64 divide b?
True
Suppose 0 = -4*a, 3*a + 22 + 58 = 4*d. Suppose -192 = d*u - 21*u. Is 8 a factor of u?
True
Let i(b) = -b**3 - 3*b**2 + 3*b - 1. Let l be i(-4). Suppose -l*t - t = -7*t. Does 7 divide 162/3 + (t - -2)?
True
Suppose 0*f = -5*w + 3*f + 27453, f = -4*w + 21942. Is w a multiple of 14?
False
Let m = -177 - -149. Let n(u) = u**2 + 3*u - 6. Let k be n(-6). Does 9 divide (322/m)/((-2)/k)?
False
Suppose -53*n + 89*n + 84840 = 46*n. Does 42 divide n?
True
Let o(p) = -p**3 + 10*p**2 - 11*p - 7. Let t be o(10). Let x = -114 - t. Does 23 divide -1 - (-137 + -4)/x?
True
Let m = -11 - -38. Let z = m - 23. Let g(y) = 8*y**2 - 4*y + 14. Is g(z) a multiple of 42?
True
Let r(h) = -h**3 - 45*h**2 - 40*h + 144. Let k be r(-44). Let v = 65 - k. Is v a multiple of 2?
False
Suppose 60*t - 5150 = -963 + 6073. Is 4 a factor of t?
False
Suppose 3*c = -5*j + 47, 3*j + 11 = 4*c - 13. Suppose 14 = -a + c, 691 = 2*o - 5*a. Is o a multiple of 9?
True
Let z(x) = 92*x**2 - 35*x + 179. Let j be z(6). Suppose 6*c - 3679 = j. Is 58 a factor of c?
True
Suppose 632*q - 10469767 = 23036345. Is 18 a factor of q?
False
Let k = -22485 + 28137. Is 18 a factor of k?
True
Suppose 5*s = -3*v + 497, -4*s + 493 = 4*v - v. Suppose 0 = 3*a + 5*k - v, -225 = -5*a + 2*k + 3*k. Let x = 7 + a. Is 11 a factor of x?
True
Let m = 156 + -155. Is 7 a factor of (-69)/(-414) + (m - 1001/(-6))?
True
Suppose -26*g = -78926 - 48209 + 8575. Is 19 a factor of g?
True
Suppose 0 = 12*u - 4192 - 4208. Is 28 a factor of u?
True
Let z(k) = -402*k**2 + k + k + 410*k**2 + k**3. Let r be z(-8). Is 173/5 - r/40 a multiple of 4?
False
Let h = -15908 - -45908. Is h a multiple of 75?
True
Suppose 5*u = 25, -5*l + 2*u + 6212 - 1322 = 0. Suppose 3*x - l = -5*p - 0*x, -2*p + 366 = -4*x. Is p a multiple of 5?
False
Suppose -8287 = -37*z + 14024. Let x = z + -284. Is 26 a factor of x?
False
Suppose 2*u - d = 2597, u - 491*d - 1294 = -495*d. Is 16 a factor of u?
False
Let w(u) = 4*u**3 - 5*u**2 - 14*u + 18. Let r be (-196)/(-21) - (-1)/(-3). Let q be w(r). Is 32 a factor of (32/(-10) - -3) + q/15?
True
Does 135 divide ((-6)/3 + 305)/(0 - (-27)/657)?
False
Suppose 19*c - 231640 - 136104 = 83183. Does 24 divide c?
False
Let j be 2*(22/(-4) - -1). Suppose 10*q - 7*q + 7 = v, -5*v + q + 7 = 0. Is v/(j/(-726)) + (-6)/9 a multiple of 16?
True
Let n(h) = -h**2 + 3*h + 19. Let w be n(6). Is ((-12)/14*w)/(4/(-182)) a multiple of 18?
False
Suppose -186*l = -120*l - 803352. Is l a multiple of 179?
True
Let m(y) = -7*y**3 + y**2 - y - 2. Let c be m(-1). Let l(d) = 6*d + 6. Let f be l(c). Suppose f = 4*z - 2*g - 60, 0 = 3*z + g - 86. Does 28 divide z?
True
Suppose 4*j - j = 3*q - 417, 0 = -2*q - 2*j + 278. Let d(h) = h**3 + 86. Let u be d(0). Let a = q - u. Is a a multiple of 11?
False
Let j = -2666 + 3128. Does 14 divide j?
True
Let n(u) = 145*u**2 - u - 1. Let l be n(-1). Let s be (-1 + 0)/1 + l. Suppose -6 - s = -6*d. Does 4 divide d?
False
Let i = 4183 - 2176. Let u = -1042 + i. Does 13 divide u?
False
Let l(q) = -874*q**3 + 12*q**2 + 28*q - 13. Does 19 divide l(-4)?
False
Let o(g) = -g**3 + 7*g**2 - 16*g + 67. Let z be o(6). Is 309 - ((z - 9) + 4) a multiple of 5?
False
Suppose 50 = 5*i + 5. Let n(w) = w. Let g(h) = -9*h + 11. Let l(x) = 2*g(x) + 22*n(x). Is 19 a factor of l(i)?
False
Let c = -983 - -1754. Let d = c + -652. Is d a multiple of 12?
False
Let t = 9110 - 14030. Is (t/(-75))/(2/20) a multiple of 8?
True
Let c = -58 + 60. Suppose w = -2*h - 3*h - 125, -c*h - w - 50 = 0. Let a = 49 + h. Is a a multiple of 8?
True
Is 1205259/77 - (-20)/(-28) a multiple of 31?
False
Suppose d = 2*p - 190, -5*p + 2*d + 186 = -3*p. Suppose 4*f + p = 1297. Does 25 divide f?
True
Let z be ((-108)/(-72))/(((-3)/176)/1). Let k = 205 - z. Let i = -20 + k. Does 30 divide i?
False
Let c be ((-6)/(-10) - 1)/((-5)/300). Is 40 a factor of -4*((-138)/c - 0)*41?
False
Let c be ((-2)/(-4))/(5 - (-358)/(-72)). Let m(u) = -u**3 - u**3 + 9*u**2 + 7*u**2 - c*u**2 - 5*u - 3. Is 24 a factor of m(-4)?
False
Suppose 0 = -412*l + 416*l - 3*c - 175501, l = -2*c + 43878. Does 28 divide l?
True
Let y be (-5)/(-15) + (-15)/(-9). Let q(s) = -8*s**3 + 3*s**2 - s - 6. Let k be q(y). Is 42 a factor of (105/k)/(1/(-232)*2)?
False
Suppose -4*q = -4*p - q + 18, -2*q = -2*p + 10. Let z be -1*p + (-51)/(-17). Suppose -u + 7*u - 102 = z. Is u a multiple of 3?
False
Let k be (-2 + -67)*7/((-4)/4). Does 2 divide (k/(-18))/7*-6?
False
Let b = 11374 + -6620. Does 43 divide b/14 - (-39)/91?
False
Suppose 5*a + 8*r - 4*r = -622, -620 = 5*a + 5*r. Let y = a + 211. Is 5 a factor of y?
True
Let w = -61 - -60. Let b be 33*24/9*w. Is 16/b + 400/22 a multiple of 15?
False
Suppose -21*q = -16*q + 260. Let n = q - -54. Suppose -9*w + 420 = -n*w. Is 12 a factor of w?
True
Suppose 5*j - 4*c + 1254 = 3362, 5*j - 2110 = 5*c. Is j a multiple of 30?
True
Suppose -2*u - 11941 = -4*k + 3*k, 59600 = 5*k + 5*u. Is 35 a factor of k?
False
Is (-50116)/(-17) + (19 - 18) a multiple of 48?
False
Let l = 10551 + -9443. Is 3 a factor of l?
False
Suppose 15 = c - 5*y, -4*c + 2*y = c - 190. Let w be (-24)/15*c/(-16). Suppose -w*j = 0, -j - 2*j + 146 = 2*z. Is z a multiple of 17?
False
Let o(s) be the third derivative of s**5/5 - s**4/8 - 5*s**3/6 + 36*s**2. Is o(-4) a multiple of 2?
False
Let g(c) be the third derivative of c**6/120 - c**5/6 + c**3/2 + 47*c**2. Let v be g(10). Suppose -4*m + 69 = 2*y - 23, 2*y = -v*m + 92. Is 7 a factor of y?
False
Suppose 18*b - 6*b = 768. Suppose 209 + b = 3*o. Does 4 divide o?
False
Suppose 0 = 3*c - 1 - 5. Let i be (8/(-16))/(c/(-152)). Suppose q + 4*d - 22 = i, -d = -4*q + 291. Is 12 a factor of q?
True
Let h(m) be the second derivative of -5*m**4/12 - 67*m**3/6 - 3*m**2 + 31*m - 3. Does 4 divide h(-10)?
True
Suppose 113*s = 106*s - 5249 + 135379. Is s a multiple of 36?
False
Suppose -5*c + 15 = -m - 0*c, -c = -4. Suppose d - 4 = -0*d + s, 0 = -2*d - 4*s + 8. Is (-2*1 - -18) + (m - d) a multiple of 2?
False
Suppose 0 = 2*z - 2450 - 562. Suppose 3*p = -3*r + z, 5*r + 2026 = -3*p + 7*p. Does 12 divide p?
True
Let q(n) = n**2 - 1. Let m(i) = 5*i**2 - 10*i + 8. Let c(l) = m(l) - 4*q(l). Let t(j) = j**3 - 17*j**2 - 4*j + 79. Let f be t(17). Is 12 a factor of c(f)?
False
Let b(v) = 27*v - 110. Let r be b(5). Is (r - 0)/(14/28) a multiple of 50?
True
Let k = 0 - -3. Let t(w) = -2*w**3 - 3*w**2 - 6*w - 1. Let u(j) = -j**3 - 4*j**2 - 9*j - 2. Let f(y) = -5*t(y) + 4*u(y). Is 33 a factor of f(k)?
True
Let k be ((-329)/(-4))/(-13 + (-1668)/(-128)). Suppose 9*q - 1625 - k = 0. Is q a multiple of 18?
False
Suppose 11*f + 616 - 671 = 0. Suppose -2*i = f*a - 148, 0 = -18*a + 15*a - 4*i + 100. Is a a multiple of 2?
True
Let g(v) = v**2 + 7*v - 4. Let j be g(-7). Let t be ((-2 - j)*2)/(-1). Let p(o) = 3*o**2 + 2*o + 12. Is 13 a factor of p(t)?
True
Is 15 a factor of (161/(-138))/((-8)/165744)?
False
Let a = -18656 - -23182. Is a a multiple of 4?
False
Let v(x) = 29*x - 8. Let n be v(11). Let i(f) = 2*f**3 + 20*f**2 - f + 16. Let b be i(-11). Let o = n + b. Is 16 a factor of o?
True
Suppose -4*q = -40 + 8. Suppose 4*s + q + 29 = -f, -3 = 3*s. Let l = f - -41. Is 8 a factor of l?
True
Let t(o) = 14*o**2 + 225*o - 7845. Is t(39) a multiple of 48?
True
Suppose 0 = -13*g + 3697 - 1348 + 3189. Does 213 divide g?
True
Let r(m) = 107*m**2 + 84*m - 385. Is r(5) a multiple of 50?
False
Let c(u) = 2*u**2 + 6*u + 128. Let m be 1 - ((-2 - -5) + -2). Is 32 a factor of c(m)?
True
Let o = -116 - -171. Suppose -65 = -5*f - o. Does 28 divide (f + 2/((-4)/3))*324?
False
Let n be (-1)/((-5)/(-2) + -3). Let c(m) = 28*m + 1 + n - 39*m. Does 14 divide c(-1)?
True
Does 53 divide 1/(1/3804)*2548/546?
False
Suppose -2 = -l - 2. Does 24 divide 4/3*(22 - -2) + l?
False
Let i(y) = -1077*y - 23. Let o = 102 - 103. Does 31 divide i(o)?
True
Let o(i) be the second derivative of i**5/20 - 2*i**4/3 + 7*i**3/3 + 5*i**2 - 11*i - 2. Is o(10) a multiple of 61?
False
Suppose -2*a = 3*d + 1454 - 12582, 0 = 4*d - 8. Is 54 a factor of a?
False
Let t be 1 - (-152)/16 - (-3)/2. Let d(i) = 3*i - 34. Let h be d(t). Does 38 divide ((-231)/h)/(-1) + 15/(-10)?
True
Let h(l) = 3*l**3 - l**2 - 6*l - 7. Let v(b) = 7*b**3 - 2*b**2 - 11*b - 13. Let a(w) = -5*h(w) + 3*v(w). L