of (-1)/((-4)/42 + 1999887/21023289)?
False
Let r be (0*(-1)/8)/(-1). Let c(h) = 4 + 0*h + 1 - 2*h + h**3. Is 3 a factor of c(r)?
False
Let s(m) = 7*m**2 - 5*m + 4. Let k be s(-5). Let t = -112 + k. Suppose -2 + t = 5*a. Is a a multiple of 3?
True
Let h(r) = r**3 + 33*r**2 - 36*r - 64. Let s be h(-34). Suppose -2*m = -s*a + 3814, 5*m - 407 + 3271 = 3*a. Is a a multiple of 12?
False
Suppose -27*z - 43*z = -267098 - 161582. Does 35 divide z?
False
Suppose -2*s + 7*s - 5890 = -5*o, o + 3554 = 3*s. Suppose -s = -p - 6*p. Is p a multiple of 8?
False
Let a(i) be the third derivative of i**5/60 + 7*i**4/24 + 377*i**3/6 + i**2 + 27*i. Is a(0) a multiple of 23?
False
Let m be 0/(-2) + 0/4. Suppose 7*n - 12*n + 7335 = m. Suppose -2*t + 11*t = n. Is t a multiple of 10?
False
Suppose -4*t = 6*y - 37994, 0 = -4*t + 4*y + 14143 + 23881. Does 80 divide t?
False
Suppose 0 = -11*q - 0*q + 286. Suppose q*d = -190 + 2062. Is d a multiple of 3?
True
Suppose 4*n = -3*f + 42231, -313 = 4*f - 317. Does 13 divide n?
False
Suppose -2*v - 1202 = -4*x, 2*v + 562 = 3*x - 342. Suppose h - 24 - 77 = -c, -2*h = 3*c - x. Does 12 divide c?
True
Suppose t = -v + 11, 0*t - 3*v - 9 = -3*t. Is (78/t)/((-14)/(-196)) a multiple of 3?
True
Let f(h) be the third derivative of h**6/40 + h**5/30 - 13*h**4/24 + 14*h**2. Let r(n) be the second derivative of f(n). Is r(1) a multiple of 11?
True
Let s be (0 - 12/9)/(6/9). Let v be ((2 + s)/(-1))/3. Suppose 0*g + 13*g - 468 = v. Does 18 divide g?
True
Let c = 348 - 582. Let o = c + 450. Suppose 2*i = 6*i - o. Does 16 divide i?
False
Let f = 284 + 49. Let a = f + -76. Is a a multiple of 5?
False
Suppose 5*q - k - 2*k = 95, 0 = 4*q + 2*k - 76. Suppose 0 = q*h - 26*h + 2646. Is h a multiple of 21?
True
Let s(u) = -39*u - 3144. Is s(-100) a multiple of 27?
True
Let r(w) = 16*w - 28. Let f be r(14). Suppose 0 = -37*b + 36*b + f. Does 28 divide b?
True
Suppose 3*p - 2*j - 2146 = -0*p, -4*p = -3*j - 2859. Is p a multiple of 20?
True
Let i = 3 - 1. Suppose 5*k + i*z = 6*k - 470, -4*k + 4*z = -1880. Suppose 0 = 33*g - 31*g - k. Is g a multiple of 30?
False
Let u = 83 + -82. Let r(j) = 39*j - 3. Is 6 a factor of r(u)?
True
Suppose -l - 2*s = 5 - 2, 5*s = -3*l - 8. Let y be l/1 - (8 - 9). Suppose -4*d = -3*p + 162, 4*d + 12 = -y*d. Does 5 divide p?
True
Let y(s) = 235*s**2 + 148*s + 86. Is y(-6) a multiple of 14?
True
Let g(u) = 111*u**3 - 9*u**2 + 19*u + 11. Does 34 divide g(4)?
False
Let k = 21684 - 15120. Is k a multiple of 57?
False
Let o(z) be the third derivative of 1/120*z**6 + 1/6*z**3 - 30*z**2 + 7/60*z**5 - 1/8*z**4 + 0 + 0*z. Is o(-4) a multiple of 10?
False
Suppose 0 = 664*j - 1458423 + 621294 - 1119679. Is 13 a factor of j?
False
Suppose 24 = -4*h - 12, -5*h + 12984 = 3*j. Is j a multiple of 7?
False
Let c(j) = -9*j - 2. Let z be c(7). Let t be (-26)/z - 28/(-5). Suppose o - t*o = v - 39, -3*o - 87 = -4*v. Is v a multiple of 8?
True
Suppose -3*k + 2706 = 10*m, 3*m + 2*k - 816 = -k. Is 10 a factor of m?
True
Suppose -13*x + 21*x = 0. Suppose 4*b - s = -x*s + 800, 800 = 4*b - 4*s. Does 40 divide b?
True
Let v = -94977 - -158426. Is 67 a factor of v?
True
Let f(q) = -28*q + 130. Let j(g) = -g + 1. Let c(x) = -f(x) + 3*j(x). Is c(17) a multiple of 13?
False
Is (1 + 2)*(593778/90 + (-5)/25) a multiple of 16?
True
Let a(g) = g**3 + 3*g**2 - 14*g - 5. Is 43 a factor of a(7)?
True
Suppose 54 = 9*t - 8*t. Let p = 104 + t. Suppose -11*r + p = -9*r. Is r a multiple of 16?
False
Suppose -676187 + 2457226 = 99*x - 207376. Is 65 a factor of x?
True
Suppose -8763 - 65317 = -40*g. Let b = -1106 + g. Is b a multiple of 58?
False
Suppose 39*u - 42*u + 118080 = 9*w, 4*w = 4. Is 308 a factor of u?
False
Let g = 245 - 192. Suppose 78*p = g*p + 18100. Does 35 divide p?
False
Let f = 6858 + 6366. Is f a multiple of 116?
True
Suppose 25*b = 17*b + 94029 + 64195. Is b a multiple of 62?
True
Suppose y - 4*y + i + 811 = 0, -3*i + 15 = 0. Suppose -4*t - 564 = -5*x - 227, 4*x - y = 2*t. Is x a multiple of 69?
True
Let m(q) be the second derivative of -q**4/12 + 5*q**3/3 - 15*q**2/2 - 4*q. Let l be (-27)/(-4) + 1/4*-3. Does 2 divide m(l)?
False
Let c = -551 + 1092. Let u be 4/(-6)*75*-2. Suppose m - 2*i = 75 + u, -c = -3*m + 2*i. Does 61 divide m?
True
Let j(k) = 10*k**2 + k - 55. Let g be j(-17). Is g/11 + 14/(-77) a multiple of 16?
True
Let b(m) be the second derivative of m**4/6 - 25*m**3/6 - 4*m**2 + 36*m. Let x(y) be the first derivative of b(y). Is 7 a factor of x(17)?
False
Let r be (6 - 4) + 0 + 7/1. Suppose 0 = 2*x - 5*f + r + 1, 5*x - f = 21. Suppose 0 = x*l - 5*u - 815, l + 471 = 4*l + 3*u. Is l a multiple of 40?
True
Let i = 278 + -272. Is 25 a factor of (-2)/((-18)/4131) + i/(-2)?
False
Let t = 1735 - 1002. Does 90 divide t?
False
Suppose -5*c = -n + 4*n - 559, -5*n = 4*c - 949. Let a = -78 + n. Does 14 divide a?
False
Let k = -103 - -169. Let h = 138 - k. Does 6 divide h?
True
Let b(k) = 88*k + 10. Let y be b(-5). Let g = -174 - y. Suppose -2*u - g = -4*j, -j - 6*u + 57 = -3*u. Is j a multiple of 7?
True
Suppose -c - 4*h + 161 = 0, -h - 2*h - 3 = 0. Does 29 divide 99/c - 577/(-5)?
True
Suppose -2*s = -o + 9812, 26*s = -2*o + 31*s + 19619. Is o a multiple of 15?
False
Let z(c) = -10*c - 3. Suppose 2*s = 6*s - 8, -2*s = 5*h + 16. Let x be z(h). Suppose q = 3*a - x + 10, -12 = 4*q. Is a a multiple of 8?
True
Is 36003 - ((-4 - 36)/(-4) - 7) a multiple of 20?
True
Suppose -2*k - 227552 = -5*p - 76794, 4*p - 2*k = 120604. Does 20 divide p?
False
Let w = 368 - -262. Suppose 3*m + w = 5*f, f - 6*f + m + 620 = 0. Does 10 divide f?
False
Let m = 80879 + -36154. Is m a multiple of 25?
True
Suppose -11*i + 130279 = -2*i - 46121. Is i a multiple of 28?
True
Let v(y) = 10458*y - 1927. Is 4 a factor of v(3)?
False
Suppose 2*j - s + 5*s = 638, -2 = -2*s. Suppose 0 = 4*v - 5*a - 975, -a = 4*v - 1322 + j. Is 10 a factor of v?
True
Does 7 divide ((41 - 23) + -17)*1141?
True
Let c(o) = -18*o**3 - 6*o**2 + 49*o - 29. Let y(b) = -7*b**3 - 3*b**2 + 24*b - 15. Let z(h) = -2*c(h) + 5*y(h). Is 3 a factor of z(5)?
False
Let c(t) be the second derivative of -t**4/12 + 3*t**3/2 + 24*t**2 + 27*t. Let q be c(13). Is 31 a factor of 1 + 219 - (q + -2 + 9)?
True
Let x = 614 + -604. Suppose x*w + 17*w = 9558. Is w a multiple of 67?
False
Suppose -2*y + 665 - 3241 = -g, 4*g - 2*y - 10316 = 0. Suppose 16*i - g = 1708. Suppose 0 = -10*n + i - 88. Is 6 a factor of n?
True
Let z(y) = -1141*y + 20. Let d be z(-4). Suppose o + 7*o - d = 0. Does 27 divide o?
False
Suppose 0 = -71*a + 6899 - 793. Does 3 divide a?
False
Suppose 4*c + 2*l - 12802 = 0, 0 = 5*c - 21*l + 25*l - 15995. Is c a multiple of 2?
False
Suppose 0 = -47*m - 83603 + 273401 + 89476. Does 3 divide m?
False
Suppose a - 57 = -3*c, -a + 0 = -3*c + 63. Let d = c - -70. Is 9 a factor of d?
True
Let z(m) = 2*m - m + 2*m + 9*m + m**2 + 31 - 7*m. Does 2 divide z(9)?
False
Let k = 727 + -373. Does 4 divide k?
False
Suppose -12066 + 77675 = 65*l + 1259. Is 22 a factor of l?
True
Let i = -622 - -587. Is (-10 - -58)/((-7)/(i/2)) a multiple of 24?
True
Let q = -5086 - -7336. Is q a multiple of 30?
True
Let m(a) = -83*a - 3 + 0 - 21*a + 28*a. Does 25 divide m(-2)?
False
Is 157 a factor of (10/20*2)/((-1)/(-24649))?
True
Let u be (36/(-10))/(24/1280). Let o = u + 378. Let r = o - 106. Is r a multiple of 14?
False
Suppose -u + 2*q + 14 = 0, -3*q + 5*q - 58 = -3*u. Is (126/10)/(u/270) a multiple of 9?
True
Suppose 3*p - 1800 = -15*p. Let k = 452 + p. Does 24 divide k?
True
Let x(f) = f + 6. Let n be x(-7). Let h be 0 - (n - (6 + -4)). Suppose 2*m - 171 = -h. Is m a multiple of 21?
True
Suppose 5*v = 5*z - 14562 + 3527, v = 3*z - 6629. Suppose s = -16*u + 18*u + 435, 5*s + 2*u = z. Is s a multiple of 7?
True
Let c(d) = 12*d**2 - 237*d + 2463. Is 28 a factor of c(10)?
False
Suppose -1 = -y + 3*t - 4*t, 3*y + 1 = -4*t. Let a(p) = -5*p + 31. Let x be a(y). Suppose 0 = -x*q + 690 - 18. Is q a multiple of 17?
False
Let m(d) = 5*d - 2. Let l be m(6). Suppose 15*q = 31*q - 19*q. Suppose q = a + 3, 0*x + l = 2*x - 2*a. Is x a multiple of 10?
False
Does 17 divide 6 + 22419/3 - -17?
False
Suppose 62520 = 39*h + h. Suppose h + 7177 = 10*u. Is 33 a factor of u?
False
Suppose -31*k + 46 = -29*k. Is 14 a factor of -1*92*k/(-46)?
False
Suppose -11*n + 7*n = 