41. Is 7 a factor of n?
True
Let g = -5 - -7. Let x be (72/(-20))/(g/(-35)). Suppose x = 3*y - 3*m, 5*y = -2*m + 51 + 26. Is y a multiple of 11?
False
Suppose 11*i = 3213 - 507. Does 41 divide i?
True
Suppose -21 = -4*v - t, -v - 5*t + 9 = -5*v. Is v/1*(-130)/(-4) a multiple of 10?
True
Let q(h) = 12*h**2 + 3*h - 6. Let a(r) = -r**3 - 4*r**2 - 4*r - 2. Let f be a(-2). Is 7 a factor of q(f)?
False
Suppose 2*j - 4*j = 4, 1 = 3*l + 4*j. Suppose -w - 457 = -5*a - 3*w, -l*a + w + 283 = 0. Does 26 divide a?
False
Suppose -4*k + 6 = -2. Suppose 4*w - 3*j = 341, -w + 21 = k*j - 56. Is 12 a factor of w?
False
Let y(a) be the third derivative of a**5/20 - 4*a**3/3 - 14*a**2. Is 10 a factor of y(4)?
True
Let k(y) = -y**2 - y + 1. Let b(u) = -10*u**2 - 2*u + 5. Let i(z) = -b(z) + 4*k(z). Let m be i(-2). Suppose -3*p + 60 = -m. Is p a multiple of 9?
False
Let x be (-15)/(-4) + (-9)/12. Suppose -3*v = -9, -2*a - x*v - 1 = -12. Does 11 divide 16/a + -8 + 8?
False
Let p = -578 - -839. Let q = -91 + p. Is 17 a factor of q?
True
Does 105 divide 1*(-15799 + 4)/(-9)?
False
Let c(o) = o**2 + 36*o - 196. Is 19 a factor of c(12)?
True
Let r be 2 + (-1680)/(-45)*(-18)/(-4). Suppose -2*g - 5*w - r = -3*g, 2*g - 2*w - 324 = 0. Is g a multiple of 20?
True
Let y = 110 - -100. Let m = y - 341. Let i = 189 + m. Is i a multiple of 29?
True
Let h(z) = 15*z - 2. Let j be h(-1). Let a = 17 + j. Suppose 54 = 3*n - a*n. Is 9 a factor of n?
True
Suppose s = -2*s + 4*y - 22, -5*s + 4*y - 34 = 0. Let b(w) be the first derivative of w**3/3 + 5*w**2/2 + 2*w + 2. Is 4 a factor of b(s)?
True
Let x(f) = -4*f - 2. Let r be x(-1). Suppose -r*q + 0 = -8. Suppose 3*l = t + 250 - 40, q*l = -4*t + 280. Does 25 divide l?
False
Suppose -2*i - i = 4*k - 61, 3*k - 47 = -2*i. Let q = k + -9. Suppose -20 = -4*d + y, 5*d - 2*y - q = 12. Does 3 divide d?
True
Let f be 13 - (1 - 0) - 4. Let p(b) = 4*b**2 + 7*b + 12. Is p(f) a multiple of 27?
True
Suppose -2*b - q = -7*b + 26, -14 = -2*b + 4*q. Suppose 1 = 2*t - b. Let z = 42 - t. Is z a multiple of 20?
False
Suppose 3*n = -3*w + 150, 4*w + 5*n = 88 + 115. Is w a multiple of 2?
False
Let j(z) = -28*z - 2. Let i be j(-1). Suppose -i = -2*s + 12. Suppose -15*d + s*d - 260 = 0. Does 13 divide d?
True
Suppose z - 6 = 3*x + 54, -4*z + x + 240 = 0. Is z a multiple of 6?
True
Let r = -61 - -164. Suppose 0*f + r = f. Is f a multiple of 10?
False
Suppose -3*k + 717 = 3*v, 2*v - 481 = -0*v - 5*k. Suppose o - 345 = -2*h - h, -2*o = -2*h + v. Does 21 divide h?
False
Let o be -1*(-13 + 6)*(-12)/(-14). Suppose j + 3*c = 64 + 143, -3*c - o = 0. Is 29 a factor of j?
False
Suppose -12736 = -9*i - 1603. Is i a multiple of 59?
False
Suppose 8662 = 14*v - 886. Is 23 a factor of v?
False
Suppose -2091*z + 2103*z = 26460. Is z a multiple of 62?
False
Suppose 3*i - 2*c = 58, -i - 2*c + 28 = 6. Let b = i - -3. Suppose -b = -2*f + 89. Is f a multiple of 16?
False
Suppose -36*y + 31*y = -20. Suppose 212 = 3*o + 4*u, -y*o - o + 346 = 3*u. Does 5 divide o?
False
Is 17 a factor of ((-48)/(-14))/(((-192)/2268)/(-8))?
False
Let g(l) = -l - 4. Let m be g(-6). Suppose -m*r = -4, 3*j - 499 = r - 0*r. Is j a multiple of 19?
False
Let m = -210 + 54. Let p = -99 - m. Does 12 divide p?
False
Is (3280/615)/((-4)/(-3474)) a multiple of 17?
False
Let b(m) = m**3 - 9*m**2 - m - 11. Let j be b(10). Is 13 a factor of j/6 - (-5)/(-30)?
True
Suppose 135 = h - 400. Suppose 29*a - 34*a + h = 0. Let c = a + -35. Does 17 divide c?
False
Let x be (-7)/(-21) - 359/(-3). Let q = x + -69. Is q a multiple of 17?
True
Let x(a) = a - 2. Let n be x(-6). Let f be (-18)/9 - 1*n. Is 9 a factor of ((-1)/(-2))/(f/168)?
False
Let o = -42 + -2. Let j = o - -61. Is 7 a factor of j?
False
Let c(i) = i**3 - 1. Suppose r + 4 = 5*r. Let f(o) = 6*o**3 - 4*o**2 - 2*o - 6. Let w(p) = r*f(p) - 5*c(p). Is 16 a factor of w(6)?
False
Suppose p + 519 = 5*t - 1204, 0 = -2*t - 4*p + 698. Let v be (-18)/27*t/(-2). Suppose -2*u - 3*u + v = 0. Is 7 a factor of u?
False
Suppose 8*b - 3*b - 320 = 0. Suppose -5*q - 3*s + 99 = -81, 144 = 4*q + s. Let a = b - q. Is 14 a factor of a?
True
Let g(j) = 242*j**3 - 7*j**2 + 12*j - 15. Is 17 a factor of g(2)?
False
Let x(n) = -3 + 9*n - 1 + 0 - 10. Let p be x(6). Does 21 divide 2 + p + 0/(-2)?
True
Let s(n) = -3*n**2 + 9*n - 2. Let h = 16 + -10. Let l be s(h). Does 11 divide (0 + 6)/((-21)/l)?
False
Let m be (1 + -2)*1/1. Let u(j) = 3 - 56*j**2 + 111*j**2 - 2. Is 12 a factor of u(m)?
False
Is (1/1)/((-7)/(13195/(-5))) a multiple of 29?
True
Let g = -7 + 18. Let t = g + -11. Suppose 0 = -s - t*s + 3*b + 16, 5*s + 5*b = 160. Is 14 a factor of s?
True
Suppose -5*c - 2*f + 35 = 0, -c - 2*f = c - 20. Suppose -c*o = -68 - 352. Is 14 a factor of o?
True
Suppose 3*u = 20 + 1042. Is 62 a factor of u?
False
Let g(t) = 304*t**2 - 9*t - 8. Is g(-1) a multiple of 36?
False
Is -1 + (837 - -1 - -4) a multiple of 29?
True
Suppose 11018 = 46*j - 33510. Is j a multiple of 44?
True
Let w(d) = d**2 + 4*d + 8. Let o be w(-4). Is 21 a factor of ((-4)/o)/(4/(-696))?
False
Let i be (-1 - 5/(-1))*(2 - 0). Suppose i = -4*a + 4*r, 3*a + 11 = 8*r - 4*r. Does 3 divide a?
True
Is (-1720)/(-6) + ((-116)/12 - -9) a multiple of 26?
True
Let d be 3 - (5 - 4 - -1). Is 31 a factor of (-69)/(-2 - -2 - d)?
False
Let i be (-2 - -1)/(1/3). Let d be 2/i + (-268)/(-6). Suppose -56 = -5*y + d. Does 15 divide y?
False
Suppose -4*w = -968 - 216. Suppose 0 = 4*g - p - 286, -4*p + w = g + 3*g. Suppose 0 = r - 2*u - 12 + 4, -4*r + g = 2*u. Is r a multiple of 4?
True
Let s(p) = -16*p + 6. Let a be s(5). Let x be a/(-6)*(-1 - -4). Let h = 66 - x. Is h a multiple of 7?
False
Let w be 7 + -4 + 0 + 1 + -4. Suppose 3*n + n - 342 = -2*b, -4*b - 2*n + 678 = w. Does 42 divide b?
False
Let q = 47 - 49. Let u(o) = -42*o + 6. Is 15 a factor of u(q)?
True
Let f be 3 + -1 + (-16)/(-4). Suppose f*z - 278 = 52. Is 5 a factor of z?
True
Let d = -3 + -3. Let i be 26/(-10) - d/(-15). Let j = 27 + i. Is j a multiple of 24?
True
Let z(b) = b + 5*b - 8 - b**2 + 3*b + 5*b. Let m be z(13). Suppose v = -m*n + 8, 0 = 5*v - v - 2*n - 98. Is v a multiple of 23?
True
Let j be 80/(-48)*(-5 - 1). Is (-20 + 5)*(-108)/j a multiple of 7?
False
Suppose -6*o + 2*o = -244. Is 3 a factor of o?
False
Suppose y + 6*g - 240 = 2*g, 4*y = g + 960. Is 8 a factor of y?
True
Is 7 + (-6)/(36/(-1734)) a multiple of 74?
True
Let d(j) = 286*j**2 - 20*j - 8. Is d(3) a multiple of 17?
False
Suppose -3*q = -z - 3113, 3*z = -1 - 5. Does 25 divide q?
False
Is 41 a factor of (-1101)/(-3 - 0) + -1 + 3?
True
Let p(q) = 220*q**2 - 2. Is p(3) a multiple of 23?
True
Let b(u) = -7*u - 44. Let l be b(-7). Is -32*3/((-15)/l) a multiple of 10?
False
Let w be 5 + (1 - 2) - (-100)/(-10). Is 36 a factor of -49*w/28*4?
False
Suppose 0 = 5*f + 1 - 16. Suppose -m = -h + 85, -4*h + 5*h - 83 = f*m. Is 15 a factor of h?
False
Suppose 30267 = 7*i + 20*i. Is i a multiple of 10?
False
Suppose 1 = -2*d - 4*s + 5*s, 5*s = d + 5. Suppose d = -2*u - 63 + 433. Does 12 divide u?
False
Let g = -38 - -58. Is 248/g + 8/(-20) a multiple of 3?
True
Suppose 0 = -r + 5*c + 25 + 26, 2*c = 5*r - 209. Suppose -5*n = -4*n - r. Let k = n + -28. Is k a multiple of 5?
False
Let a be (-8)/44 + (-9114)/(-33). Let g = a - 147. Suppose 6*r - g = 3*r. Is r a multiple of 36?
False
Let s(j) = -j**3 + 10*j**2 + 19*j - 88. Is s(-11) a multiple of 17?
True
Suppose -2*r - 64 - 271 = -3*w, 220 = 2*w + 2*r. Let d = w - 36. Is d a multiple of 15?
True
Suppose 5*x - 2*b = 3*b - 145, 2*b + 58 = -2*x. Let p = -11 - x. Suppose 2*j + 2*l = 50, 4*j - 73 = -l + p. Does 4 divide j?
False
Let q(c) = -c + 50. Is 31 a factor of q(11)?
False
Let r(t) = -t**2 - 4*t + 23. Let o be r(7). Let j = 86 - o. Is j a multiple of 28?
True
Let c(l) = -l + 29. Is c(-17) a multiple of 5?
False
Suppose 3*q - 15 = l, -2*l + 15 = 3*q + l. Is 67/q + 18/30 a multiple of 14?
True
Suppose 0 = 3*c - 411 - 645. Is c a multiple of 10?
False
Suppose 0 = -2*t + 4*k + k + 208, k - 493 = -5*t. Is t a multiple of 3?
True
Suppose -5*g - 3 = -13. Suppose 0 = -4*v + 3*m - 11, -3*m + g = -1. Is 18*((-8)/6 - v) a multiple of 4?
True
Let j(d) = -d**2 - 4*d - 10. Let o be j(-13). Let h be 0 + -53 - (-2 + 1). Let v = h - o. Is v a multiple of 25?
True
Let v(l) = -10*l - 8. Let d be v(-3). Let u