5 divide c?
True
Let o(n) = n**3 - 9*n**2 + 8. Let j be o(9). Let t(r) = 0*r + r - 1 + j*r. Does 18 divide t(3)?
False
Is 8 a factor of -4*(-2)/(-4) + 6*11?
True
Suppose -6*w + w - 15 = 0. Let b = w + 21. Is b a multiple of 6?
True
Let k(p) = -8*p - 33. Is k(-15) a multiple of 8?
False
Let j = -23 + 58. Is 7 a factor of j?
True
Suppose -96 = -150*a + 149*a. Is 16 a factor of a?
True
Does 3 divide 60/18*6/4?
False
Let w(s) = -s**2 + 7*s - 9. Let x be w(6). Let l be (0 - 11 - 2)*x. Suppose -2*j - l = -5*j. Is j a multiple of 7?
False
Let m = 1 - -1. Let k be (-492)/20 + m/(-5). Let w = -13 - k. Does 6 divide w?
True
Suppose 0 = -v + 2*v - 5*x - 140, x = 4. Is v a multiple of 40?
True
Suppose 5*d = d. Let r be (-3 - 5/(-2))*-6. Let f = r - d. Is 3 a factor of f?
True
Let c(l) be the second derivative of -l**6/240 + 7*l**5/120 - l**4/6 - l. Let s(p) be the third derivative of c(p). Is s(-6) a multiple of 13?
False
Suppose 0*a + 5*a = 4*t + 163, -87 = -3*a - 3*t. Let w(f) = f + 1. Let z be w(-2). Is z - a/2*-2 a multiple of 15?
True
Let t be (-5)/(-10)*(-3 - 1). Let n = 10 + t. Is 3 a factor of n?
False
Let f = 0 - -4. Suppose f*s + 21 = 7*s. Is 12 a factor of 163/s - 6/21?
False
Let p = 29 + 2. Is 18 a factor of p?
False
Let j(q) = -q**2 - 6*q + 4. Let a be j(-6). Suppose -d + 4*d = 0. Suppose 2*v + 0*v + 4*c = 2, d = v - c - a. Is v a multiple of 3?
True
Does 12 divide (-104 - -1)/((-7)/14)?
False
Suppose 5*d = h - 4, 5*d + 2*h = -0*d + 8. Suppose 4*r = -12, d*y + 31 = 2*y - 3*r. Does 10 divide y?
False
Let l = 12 - 8. Let s(p) = 21*p - 4. Let v be s(l). Suppose 0 = -4*d - 4*c + v, 4*d - c - 38 = 27. Is d a multiple of 9?
False
Let l = -190 - -320. Is l a multiple of 26?
True
Let f = -13 + 24. Let d = -8 + f. Suppose -5*y - 45 = -5*p + 90, -4*y + 116 = d*p. Is p a multiple of 13?
False
Let j(a) = -a**2 - 5*a - 3. Let s(u) = u**2 - 4*u. Let g be s(3). Is j(g) a multiple of 3?
True
Let o(y) = -2*y**3 - 18*y**2 - y + 10. Let v(f) = f**3 + f**2 - 1. Let q(c) = -o(c) - 3*v(c). Is q(15) a multiple of 4?
True
Let b(j) = 5*j**2 - 4*j + 3. Let f be b(2). Let o = -16 + 8. Let p = f + o. Is 5 a factor of p?
False
Let x(g) = -g**2 + 11*g - 5. Let l be x(8). Suppose 3*i - l = 41. Is 5 a factor of i?
True
Let b(y) = 13*y**3 + 2*y**2 + y. Let k be b(-1). Is ((-19)/4)/(3/k) a multiple of 7?
False
Let w = -41 - -11. Let h = w - -13. Let p = -12 - h. Is 3 a factor of p?
False
Suppose 20 = -5*a, -5*p - a = -2*a - 24. Let b be p/(-8) - 99/(-2). Let v = b + -34. Does 6 divide v?
False
Let f = 5 + -6. Let j be f/((-15)/(-9) - 2). Suppose -j*i - 18 = -4*i. Is 13 a factor of i?
False
Let n = 43 + -63. Let m = n - -39. Is m a multiple of 19?
True
Let a be (-2)/3 - 528/(-9). Let z = a + -22. Does 11 divide z?
False
Let y = 1 - -1. Suppose -7*k + 2*k = -4*b - 211, -5*k + 203 = -y*b. Is k a multiple of 18?
False
Let q = 12 - -3. Is q a multiple of 4?
False
Let y be (-13)/(-3) + (-2)/6. Suppose -5*s = y + 1. Does 11 divide (-7*2/1)/s?
False
Let a = 4 + 0. Suppose 5*j + 4*b - 171 = -31, 0 = -2*j - a*b + 68. Does 14 divide j?
False
Suppose -4*h = -2*h + 12. Let d = h + 9. Suppose -84 = -3*s + 3*r, 3*r - r = -d*s + 74. Is s a multiple of 10?
False
Let p = -95 + 53. Let x be p/(-12) - (-2)/(-4). Does 19 divide -23*(-3 - (-5 + x))?
False
Suppose 0*j - 42 = -2*j. Suppose -5 = -2*b + j. Does 13 divide b?
True
Suppose -a = 3*r - 11, -2*a - 19 = 2*r - 57. Does 3 divide a?
False
Let b(t) = 17*t + 23. Does 7 divide b(3)?
False
Suppose -130 = 2*b - r, 2*b - r + 138 = -4*r. Let o = b + 98. Is o a multiple of 16?
True
Let c(l) = 7*l**2 - 5*l + 5. Let v be c(5). Suppose -2*m - 26 = -3*m + 2*u, v = 5*m - 5*u. Does 12 divide m?
True
Let o(t) = 2 - 17*t + 5 - 4 - 4. Let i be (6/4)/(3/(-6)). Is 18 a factor of o(i)?
False
Suppose -r = 3*b - 4, 3*b = -r - r + 11. Let a = r + 12. Is a a multiple of 12?
False
Suppose 0*k = -a + 3*k + 121, 2*a + 3*k = 269. Is 26 a factor of a?
True
Let q(o) be the second derivative of o**5/20 + o**4/12 + 3*o**2/2 + o. Is q(0) a multiple of 2?
False
Let p(n) = -7*n + 1. Does 3 divide p(-3)?
False
Let d(j) = j + 1. Let b be d(-4). Does 9 divide (1/b)/(5/(-510))?
False
Suppose 0 = -2*c - j + 83, 0 = -2*c - j - 2*j + 81. Is 7 a factor of c?
True
Let a be ((-6)/2 - -2) + 43. Suppose 4*n - 3*d - a = 48, 4*n - 88 = 2*d. Is 6 a factor of n?
False
Suppose 2*n = 371 - 23. Is 29 a factor of n?
True
Let a = -237 + 117. Let l(g) = -4*g**2 + 24*g + 24. Let y(b) = -b - 1. Let k(c) = a*y(c) - 5*l(c). Is k(1) a multiple of 14?
False
Suppose 0 = -u - 5*s + s + 93, -10 = -5*s. Does 17 divide u?
True
Suppose -2*q - 2*q = s - 21, -4*s + 9 = q. Suppose 3*l = -f + 112, 2*l + q = l. Suppose o = 3*k - 85, 4*o = 5*k - 24 - f. Is k a multiple of 9?
True
Suppose 0*l - 5*o = 5*l, 2*l + 3*o = -3. Suppose 0 = l*g - 3 - 0. Let b(k) = 11*k**2 + 2*k - 1. Is b(g) a multiple of 12?
True
Let s(m) = 2 + 3*m - 4*m - 8*m + 3*m. Is s(-4) a multiple of 19?
False
Suppose p - 4 = 2*p. Let x be 2*1 - (49 - p). Is 7 a factor of x/(-2)*4/6?
False
Let j(l) be the third derivative of -l**6/120 - l**5/20 + l**4/8 + l**3/2 - 2*l**2. Let i(t) = -t + 2. Let q be i(6). Is j(q) a multiple of 3?
False
Is 11 a factor of 12/12 - 22/(-2)?
False
Suppose -i - 35 = 5*w - 198, -5*i + 4*w = -670. Is i a multiple of 6?
True
Let n be 5*1/(-2 + 3). Suppose n*i + 289 = -4*v, -5*v - 76 + 218 = -2*i. Let y = i + 91. Is y a multiple of 15?
True
Let a = 125 - 47. Is a a multiple of 17?
False
Suppose -d = -2 - 3. Suppose -2*g + 4*k = -4*g + 2, -5*g = d*k - 15. Does 5 divide g?
True
Suppose 4*b - 4*j - 56 = 0, -3*b - 3*j + 21 + 21 = 0. Is 3 a factor of b?
False
Let c = 20 + -4. Suppose 4*i = c + 64. Suppose 4*m = -3*q + 15, -5*m - 4 = -q + i. Is 9 a factor of q?
True
Let y(p) = -3*p**2 + 10*p + 5 - 2*p**2 + 2*p**2 + 2*p**2. Does 8 divide y(8)?
False
Let v be (-4)/6 + 41/3. Let h = 17 + v. Is h a multiple of 6?
True
Let d be ((-18)/(-24))/(3/8). Suppose -6 = -d*v - 0. Suppose -51 = -4*l + v*t, -3*t = 4*l - 18 - 51. Is l a multiple of 15?
True
Let a(h) = -7*h + 1. Let d = -2 + 4. Suppose -d - 28 = 5*w. Is 18 a factor of a(w)?
False
Let c be 3 + -1 + (-18 - 8). Is (-56 - -1)*c/40 a multiple of 11?
True
Let i be (-2)/(-1 - 10/(-14)). Let v(z) = z**2 + 3*z - 10. Let c be v(i). Does 7 divide (c/(-9))/((-1)/3)?
False
Let f(y) = -y**3 + 4*y**2 + 2*y - 2. Let z(n) = n**2 + 4*n - 2. Let c be z(-5). Does 13 divide f(c)?
True
Let i = 26 - 11. Let k = 25 - i. Does 10 divide k?
True
Let x(r) = r**3 + 5*r**2 + 3*r. Let d be x(-6). Is (d/8)/((-3)/16) a multiple of 14?
False
Suppose -5*l + 3*p = -945 - 175, 224 = l + 4*p. Does 14 divide l?
True
Does 19 divide (4*-3)/(-3) - -72?
True
Let k(o) = -o**2 + 7*o + 5. Let s be k(7). Suppose a + 2*g + 4 = -1, -s*g - 10 = 0. Is 7 a factor of ((-1)/2)/(a/38)?
False
Suppose 2*r = -5*u - 14, -r + 6*u - u = -8. Let p be (r - (-2 + 1))*0. Suppose p = -2*f + 27 + 19. Is f a multiple of 10?
False
Let k be 4/(-6) - 22/(-6). Suppose 5*t - k*t = 6. Suppose -d = -t*d + 36. Is 9 a factor of d?
True
Does 4 divide 6/(-24) + 34/8?
True
Let i(n) = 2*n**2 - 4*n - 12. Let h be i(-8). Suppose 4*w = 0, -2*t + 6*t - h = -5*w. Does 17 divide t?
False
Suppose -u - 3*u + 2*d + 14 = 0, -5*u - 4*d - 15 = 0. Is (69/(-2))/(u/(-2)) a multiple of 23?
True
Let f = -50 - -84. Suppose -11 = -2*t - 47. Let x = f + t. Does 10 divide x?
False
Let m = -3 - -3. Suppose 3*f - 2*f - 4 = m. Is 4 a factor of f?
True
Is 5 a factor of (3/4)/((-6)/(-168))?
False
Suppose p + 4*h = -0*h + 3, p - 2*h - 3 = 0. Suppose -315 = -5*n - 4*w, -2*w = 3*n + p*w - 189. Is n a multiple of 21?
True
Suppose x = a + 17, -a - 2*a = -4*x + 63. Let c(l) = -l**2 + 15*l - 18. Is 18 a factor of c(x)?
True
Let c be -2 + (0 - (4 - 2)). Let x = 2 - c. Is 6 + 1/(3/x) a multiple of 8?
True
Is 9 a factor of ((-3)/(-2))/(12/120)?
False
Is 17 a factor of 143/(-26)*(1 - 19)?
False
Let k = -3 - -4. Suppose -37 = -4*t + 3. Suppose -3*m - t = -4*q, 3*m + k - 3 = q. Is 4 a factor of q?
True
Suppose -8 = -5*y + 117. Is 9 a factor of y?
False
Let v = 20 + 22. Is 14 a factor of v?
True
Suppose k - 3*h + 2 = -4, -4*k + 3*h = -21. Suppose -5*b + k + 111 = 0. Is b a multiple of 12?
True
Let s(v) = -15*v**2 + 2*v + 1. Let k be s(2). Let x = k - -79. Suppose -x = -2*c + 2. Does 7 divide c?
False
