 f(i) = 2*c(i) + 3*n(i). Does 4 divide f(-8)?
True
Let g be 6/(-2) - (8 - (-6 + 5)). Does 21 divide ((-441)/(-12))/((-3)/g)?
True
Let v(t) = -2 + 1 - t**3 + 3*t**3 - 2*t**2. Let u be v(2). Let p = 14 + u. Is 7 a factor of p?
True
Let z = 1568 - 879. Is z a multiple of 127?
False
Let t be (21 - -3)/((15/(-2))/(-5)). Is 15/(-20)*t*-7 a multiple of 21?
True
Suppose -8*i + 566 - 2398 = 0. Let r = 409 + i. Is 11 a factor of r?
False
Let v(l) = -7*l**3 + 3*l + 10. Let a be v(-4). Is 44 a factor of (2/4)/(1/a)?
False
Let f(t) = t**2 - t. Let r be f(1). Suppose -5*x - 3*d + 19 = -15, 4*x + d - 30 = r. Suppose o = x + 5. Does 13 divide o?
True
Let l(k) = -k**2 + 29*k + 10. Let b be l(28). Let m be 1/((-3)/2 - -2). Suppose m*d - d + 4 = 0, 2*i = d + b. Is i a multiple of 14?
False
Let b = 111 + -74. Suppose -2*v - l = -2*l - 88, v - 5*l - 53 = 0. Suppose -4*z = -b - v. Is 10 a factor of z?
True
Is -261*(-5 + 2) + 1 a multiple of 16?
True
Suppose 0 = -2*i, -13*j + 9*j = -5*i - 1108. Is 19 a factor of j?
False
Let w(t) = 2*t**2 - 22*t - 30. Let g be w(17). Suppose 0 = -3*l + 63 + g. Is 20 a factor of l?
False
Does 4 divide 1/((-6 - 1)/(-4578))?
False
Is 956*2 - (-25 - -29) a multiple of 6?
True
Let z(m) = 3*m**2 - 7*m - 1. Is z(-4) a multiple of 5?
True
Let i be (-3)/(-4) + 247/(-52). Let x(o) = o**3 + 3*o**2 - 5*o - 4. Let t be x(i). Suppose t = -5*k + 2*q + 120, -3 = 2*q - 13. Does 13 divide k?
True
Let c be (8/16)/((-2)/(-16)). Let g be (3 - c) + -1*2. Does 14 divide 50 - (-1 - 2 - g)?
False
Let b = -59 - -67. Suppose -b*c + 10*c - 18 = 0. Does 9 divide c?
True
Let i be 5/(-3)*(-126)/35. Is -1 + (i/(-7))/(1/(-14)) a multiple of 2?
False
Let u(a) = 5*a**3 - 19*a**2 + 23. Let q(i) = i**3 + i - 1. Let c(x) = 6*q(x) - u(x). Does 11 divide c(-18)?
True
Let d = 120 + -209. Let q = 10 - d. Is 9 a factor of q?
True
Let y(n) = -n**2 + n + 2. Let s be y(-1). Suppose 0 = 2*c - 3*t - 100, 0 = -t - s*t. Is c a multiple of 10?
True
Let p(k) = 2*k**2 - 72*k + 370. Is 15 a factor of p(46)?
True
Let y(a) = -3 - 2 + 5 + 8*a. Let i(j) = 3*j**2 - 7*j. Let n be i(3). Is y(n) a multiple of 16?
True
Suppose p + p = 3*b + 88, p = 5*b + 51. Suppose -4*w - 59 = -5*k, -w - 3*w - k - p = 0. Let l = w + 23. Is 9 a factor of l?
False
Let k = 1380 - -360. Is k a multiple of 29?
True
Let f = 3 + -1. Let l = 154 + -125. Suppose m - 230 = -4*w, 3*w - f*m - l = 149. Does 29 divide w?
True
Suppose -21*v + 49*v - 28308 = 0. Is v a multiple of 3?
True
Let a(m) = 40*m - 5. Let j(b) = b. Let t(v) = a(v) - 30*j(v). Is 14 a factor of t(5)?
False
Suppose 51*v + 240 = 48*v. Does 3 divide 42/((8/10)/((-32)/v))?
True
Let c = 603 - 486. Does 3 divide c?
True
Let t(c) = 43*c**2 - 2*c - 3. Let g be t(3). Suppose 2*h + g = -h. Let j = -52 - h. Does 37 divide j?
True
Is -3*5/45 + 638/6 a multiple of 8?
False
Suppose -3*w = -4*i - 582, -i = -4*w - 32 + 184. Let r = -75 - i. Does 23 divide r?
True
Let x(r) = -13*r - 3*r + 0*r + 0*r + r - 1 - r**2. Let c = 5 - 15. Is x(c) a multiple of 19?
False
Let m(g) = 6*g**2 + 3*g - 5. Let b(i) = 24*i**2 + 13*i - 19. Let x(f) = -2*b(f) + 9*m(f). Does 11 divide x(-3)?
True
Suppose 6*q = 2*q + 100. Let m be 0*(q/(-10))/5. Let n(a) = a**2 + 13. Is 2 a factor of n(m)?
False
Suppose 0 = -4*j + 6*j - 16. Suppose j*m = -m + 702. Is 26 a factor of m?
True
Suppose 86 = 5*b + 26. Let p be (2 - (-22)/(-8))*b. Let n(k) = -k**3 - 8*k**2 + 3*k + 6. Is 15 a factor of n(p)?
True
Let c(p) = p**3 - p**2 + 2*p - 4. Suppose -3*h - 4*j + 0 - 2 = 0, -2*j + 14 = -h. Let i be 4/h*18/(-4). Does 20 divide c(i)?
True
Let v(j) = -3*j**3 - 2*j**2 - j - 6. Is v(-3) a multiple of 6?
True
Suppose -d - 9*d + 4770 = 0. Suppose 5*s - d = 2*s. Is s a multiple of 13?
False
Suppose 3833 = 8*z + 265. Does 16 divide z?
False
Does 72 divide 988244/612 - 2/(-9)?
False
Let x = 847 + -505. Let k = x - 206. Let y = k - 84. Is 21 a factor of y?
False
Does 32 divide 0 + 832/13*(4 + 0)?
True
Let j = -3 + -17. Is ((-208)/j)/((-2)/(-10)) a multiple of 33?
False
Let y(h) = -h**2 - 10*h - 22. Let q be y(-8). Is 11 a factor of (7/2 + 2)/((-3)/q)?
True
Suppose 0 + 16 = -4*k. Let y be 5 + 0 + -3*(-8)/(-12). Does 4 divide y/k + (-57)/(-12)?
True
Is -20*(78/897 + (-1066)/92) a multiple of 2?
True
Suppose 8 = -4*k + 3*k. Does 16 divide (70/4)/(k/(-16))?
False
Let s be (-3 + -3)*(6/(-9) - 0). Suppose -7*b - k + 330 = -s*b, 5*k - 550 = -5*b. Is 22 a factor of b?
True
Let f = 24 - 23. Let w(x) = 181*x**3 - 1. Does 36 divide w(f)?
True
Let q(z) = 104*z**2 + 3*z + 2. Let y be q(-1). Let l = y + 0. Is 13 a factor of l?
False
Let c = -1507 - -2779. Is 14 a factor of c?
False
Let u = 156 - 55. Suppose -u = -b + 75. Is b a multiple of 16?
True
Let k = -7 - -17. Let z be k/4 + 23/(-46). Suppose -84 = -0*h - z*h. Is 14 a factor of h?
True
Suppose -8*h - 7 = -63. Suppose -h*q + 12 = -219. Is 6 a factor of q?
False
Let b(l) = -l**3 + 14*l**2 - 13*l - 7. Let m be b(13). Let n(v) = 2*v**2 - 7*v + 3. Does 15 divide n(m)?
True
Let b(g) = -g**3 - 2*g**2 - 2*g - 3. Let d be b(-2). Let o(j) = 3*j**2 - 1. Let l be o(d). Suppose -l*a = 5*n - 91, 3*n - a + 5*a = 63. Is 5 a factor of n?
False
Does 13 divide -42*10/(-40)*(-292)/(-3)?
False
Let g(u) = u**2 - 8*u + 10. Suppose 2*d = 4*f - 30, 3*d + d = 3*f - 25. Let s be g(f). Suppose s*j + 144 = 348. Is j a multiple of 20?
False
Let l = 33 + -33. Suppose 10 = 2*i, l*i + 28 = f - i. Is f a multiple of 5?
False
Let m = -5 - -9. Suppose m*o - 4 = 2*o. Suppose 33 = o*q - 21. Is 7 a factor of q?
False
Let d = -11 + 13. Suppose 2*s + d - 82 = 0. Suppose 4*u + 4*i - s = 0, -4*u + 3*i = -0*i - 54. Is u a multiple of 8?
False
Let f(h) = 14*h**3 - 2*h**2 + 1. Let d(x) = x**2 - 12*x + 21. Let t be d(10). Is f(t) a multiple of 3?
False
Suppose 2*x = -2*t + 134, 3*t + 375 = 2*x + 3*x. Is x a multiple of 18?
True
Let j(z) = -z**3 - 19*z**2 - 2*z - 28. Let g be j(-19). Suppose g*f + 417 = 1137. Is f a multiple of 24?
True
Let x be ((-135)/(-30))/(3/4). Suppose 3 = z - 2. Is 78/z - x/10 a multiple of 12?
False
Let b(u) = -u**2 + 25*u - 93. Does 21 divide b(6)?
True
Let v(r) = -3*r - 6. Let d be v(-5). Suppose d*y = 12*y - 45. Is 15 a factor of y?
True
Suppose 0 = 3*f + p - 12102, 4*p = 3*f + 1793 - 13880. Is 37 a factor of f?
True
Suppose 0 = -5*a + 96 + 169. Let g = 1 + 4. Suppose g*h = 62 + a. Is 7 a factor of h?
False
Suppose -4*g + z + 266 = -63, 3*g + z = 238. Is g a multiple of 9?
True
Suppose 48*i - 2*i - 22034 = 0. Does 36 divide i?
False
Let f be (-22)/(-4) + 57/(-38). Suppose -5*q = -28 - 7. Suppose -8 + 27 = f*p - n, -3*p - q = -5*n. Does 6 divide p?
True
Suppose 3*c - 181 = q + 2376, 4*q = c - 856. Is 35 a factor of c?
False
Let p = -4 + -3. Let s(u) = u**3 + 7*u**2 - 5*u + 4. Is 13 a factor of s(p)?
True
Let i(q) = 2*q**2 - 16*q - 33. Let a(m) = -7*m - 4. Let d be a(-2). Does 3 divide i(d)?
False
Suppose 33743 = 53*u - 50792. Is u a multiple of 23?
False
Let s = 1837 + -1696. Is s a multiple of 2?
False
Let k be (-3)/(1/((-40)/12)). Let x be k/45 + (-34)/(-9). Suppose -5*u + 49 = 4*c, -x*u = -5*c + 101 - 9. Is c a multiple of 8?
True
Let l(m) = m + 9. Let h be l(-5). Suppose 2*y = 2*b + 80, -3*y + 100 = -h*b + 6*b. Is 18 a factor of y?
True
Let s(y) be the third derivative of -y**6/120 - y**5/6 - 3*y**4/8 + y**3/2 - 26*y**2. Let r be -11 + ((-2)/1 - -4). Is 3 a factor of s(r)?
True
Suppose 3*l - 11 = -2*v, 0 + 3 = 2*l - 3*v. Suppose 76 = -l*n + 439. Is n a multiple of 31?
False
Let o be (-6 + 9)/((-6)/(-10)). Suppose 26 - 6 = o*u. Suppose 5*d - u*j + 0*j - 186 = 0, 56 = 2*d + 3*j. Is 24 a factor of d?
False
Suppose -2 = -65*z + 63*z. Does 8 divide (9/(-6) + z)*(-48 + 0)?
True
Let c = -10 + 0. Let x = 25 + c. Suppose 2*z - 12 = 3*g, -5*z + x = -g - 2. Does 2 divide z?
False
Suppose -7*v = -3832 + 1116. Does 9 divide v?
False
Let j = 221 + 204. Is j a multiple of 30?
False
Let l = 553 - 330. Is 36 a factor of l?
False
Let i = 491 + -242. Suppose -3*o + 3*v = -i, o - 5*v - 25 = 70. Does 16 divide o?
True
Let h = 40 - 45. Let d(z) be the second derivative of -z**5/20 - z**4/3 + z**3/3 - 5*z**2/2 - 2*z. Does 8 divide d(h)?
False
Let b = 564 + -235. Is 7 a factor of b?
True
Suppose 5*c + 30 = 5*h, 5*h + 10*c - 5*c - 60 = 0. Suppose -8*m + h*m - 70 = 0. Does 23 divide m?
False
Let y = -2007 + 2867. Is y 