+ 6*f**2 + 0. Is 7 a factor of l(-9)?
False
Suppose -4 - 12 = -2*p. Let g be 6/(-4)*p/6. Let b = 11 - g. Does 13 divide b?
True
Suppose -2*v - 2*v = -4. Let z be -5*(258/10 - v). Let l = 194 + z. Does 24 divide l?
False
Is 77 + (-29)/(-9) + (-4)/18 a multiple of 10?
True
Suppose 0 = 9*y - 7*y - 108. Is 2 a factor of y?
True
Suppose s - 2*c - 26 = 34, 279 = 5*s - 3*c. Let w be 4/10 - 885/25. Let v = w + s. Does 7 divide v?
False
Let c(g) be the third derivative of -11*g**4/24 - 3*g**3/2 + 5*g**2. Does 22 divide c(-5)?
False
Suppose 3*s - 2*s = 0. Suppose i - 4 - 1 = s. Is 5 a factor of i?
True
Suppose 0 = -3*q - 4*z + 8, 5 + 5 = -5*q - 2*z. Let l = q - -7. Suppose -l*f + 57 = -0*f. Is 6 a factor of f?
False
Let j = 6 - 8. Let z be (-27)/(j - -5)*-1. Suppose a + 2*a - 3*o - z = 0, 4*a - 3*o - 17 = 0. Is a a multiple of 6?
False
Let i(h) = h**2 - 3*h - 2. Let d be i(4). Suppose -t + 24 = d*t. Does 4 divide t?
True
Let b = -157 + 237. Is (9/4)/(5/b) a multiple of 19?
False
Suppose 5*l + 5*k - 35 = 0, 5*l - 9 = -2*k + 14. Is 3 a factor of l?
True
Let j be 47 + 3 + -2 + 1. Let z = j + -19. Is 15 a factor of z?
True
Let n = -16 + 13. Let u(p) = -p**3 + 2*p**3 - p + 2*p**2 + 4*p**2 - 4. Does 10 divide u(n)?
False
Suppose 3*n - 5*x = -28, 5*n = 2*x - 11 - 42. Let a = -6 - n. Is a a multiple of 5?
True
Let k be 4184/20*1*5. Suppose 2*r + k = 4*m, 2*m - 3*r + 6*r - 519 = 0. Does 14 divide (2/6)/(3/m)?
False
Suppose 113 = 5*q + i + 12, 3*i = 3. Does 10 divide q?
True
Let j(v) = -v**3 - 4*v**2 - 3*v - 5. Let g be (0 + 6/(-4))*-2. Suppose -g*w = o - 11, -o - 2*w - 9 = -3*w. Does 7 divide j(o)?
True
Let t(i) = -i**2 - 3*i - 2. Let q be t(-2). Suppose 5*z - 483 = -3*n, -5*n - 474 = -8*n - 2*z. Suppose -4*j = -q*j - n. Is 15 a factor of j?
False
Let n be ((-10)/(-8))/((-1)/4). Let h(c) = c**2 + 5*c + 4. Let d be h(n). Suppose d*x - x = 12. Does 4 divide x?
True
Let m = 12 - 8. Let n = -6 + m. Is -1 - -1*(11 - n) a multiple of 6?
True
Let s(k) = -k**2 + 18. Is 15 a factor of s(0)?
False
Suppose -4*o + 0*o + 8 = 0. Suppose -14 = -o*x + x. Suppose x = -t + 44. Is 16 a factor of t?
False
Suppose -2*b - 76 = 2*b. Let g be -1 + (-1)/((-1)/42). Let l = b + g. Is l a multiple of 17?
False
Is -1*4/8*-36 a multiple of 9?
True
Let h(z) = z**2 - 4*z. Suppose -3*n + 5*n - 8 = -2*p, 15 = 4*n + 5*p. Let g be h(n). Suppose 3*i - 24 = -m, g*m + i - 13 = 65. Is 7 a factor of m?
False
Let r be -2 + 1 + 1 + -3. Let d(v) = -v**3 - 2*v**2 + 2*v + 2. Is d(r) a multiple of 3?
False
Suppose -269 + 4 = -5*h. Let d = 91 - h. Is 10 a factor of d?
False
Let z = -3 + 3. Let l = 45 + z. Is l a multiple of 15?
True
Suppose 9*v = 4*v. Let p be -1*((-2)/1 - -2). Suppose -c + 46 + v = p. Is c a multiple of 17?
False
Let n be (2 - -1)/(9/6). Suppose -6*a + 28 = -n*a. Does 3 divide a?
False
Suppose 3*u - 40 = 5*w + 8*u, 3*w - 4*u = -17. Suppose 3*x - 2 = 8*x - 2*p, 2*x - 8 = 3*p. Is 13 a factor of (-1 - x)/(w/(-231))?
False
Suppose 0*f + 5*f = -10. Is f/2*-24 + -2 a multiple of 22?
True
Let v be (-12)/15*(-10)/4. Let d(m) = m**2 + 2*m**v - 2*m**3 + 3*m**3 - m + 4. Is 7 a factor of d(-3)?
True
Suppose -4*z + 72 = -68. Is 5 a factor of z?
True
Let b(i) = -2*i - 3. Let j(c) = -7*c - 8. Let x(z) = -8*b(z) + 3*j(z). Let d be x(-2). Does 18 divide ((-4)/d)/(4/(-180))?
True
Suppose 2*h - 2*n + 1 = 3, 3*h = 2*n + 8. Suppose 0 = -h*o + 5*o + 13. Is 9 a factor of o?
False
Suppose 8*a - 13*a = -440. Does 9 divide a?
False
Suppose 0 = 2*m - 3 + 15. Let z(u) = u**3 + 7*u**2 + 2*u + 6. Does 15 divide z(m)?
True
Let s(y) = y**3 - 19*y**2 - 37*y - 11. Does 17 divide s(21)?
False
Suppose -10*h - 90 = -13*h. Does 8 divide h?
False
Suppose 5*p + 15 = w, 0 = 5*w + p - 6*p - 75. Is 4 a factor of w?
False
Let n be (-3)/(-3)*-2 + 241. Suppose -5*j + 0*j = 3*o - n, -4*j + 178 = -2*o. Does 21 divide j?
False
Suppose -4*m + 4 + 0 = 0. Is 9 a factor of (-85)/(-5) - m*-1?
True
Let w(p) be the second derivative of p**4/12 - p**3/2 - 3*p**2/2 + p. Let v(u) = u**2 - 7*u - 1. Let x be v(8). Is w(x) a multiple of 15?
False
Suppose 7*j - 75 = 177. Does 12 divide j?
True
Let d(w) = -2*w + 38. Is 8 a factor of d(0)?
False
Let v(s) = -s**2 - 22*s + 18. Does 18 divide v(-18)?
True
Suppose -103 + 31 = -4*h. Suppose -4*s + h + 31 = -3*u, 2*s - 4*u = 22. Is s a multiple of 12?
False
Let f(h) = -8*h**2 - 6*h - 3*h - 1 - h**3 + h. Let j be f(-7). Does 14 divide (28 + 0)/(j/3)?
True
Suppose -3*v = 0, -3*m - 3*v = -2 - 4. Suppose -y + 2 = m*i - 3, -3*i = -5*y + 77. Is 13 a factor of y?
True
Suppose 90*q = 94*q - 16. Is q a multiple of 2?
True
Suppose 3*u - 19 - 113 = 0. Is u a multiple of 16?
False
Let f = -2 + 3. Let s = f - 1. Does 2 divide s + 4/(2/1)?
True
Let h(o) = o**3 - 7*o**2 - 7*o - 4. Let u be h(8). Suppose 0 = 3*w + u*m + 2, 3*m - 10 + 49 = 4*w. Is 12 a factor of w/(2 - (-21)/(-12))?
True
Let s = 4 - 2. Suppose 0 = -0*a + 3*a - 6. Suppose s = c - a. Does 2 divide c?
True
Is (8/20)/(1/(-5)) - -38 a multiple of 12?
True
Is (-6)/9 + 0 - 466/(-6) a multiple of 11?
True
Let q be 15/2*(-44)/33. Let g = q - -13. Does 3 divide g?
True
Suppose 61 = 4*j - 59. Is j a multiple of 15?
True
Let t(h) = h + 2. Let g be t(7). Is 3 a factor of 36/8 - g/6?
True
Let g(s) = 12 + 3*s - 5 - 2*s + 3. Let r be 0/2*1/(-2). Is 10 a factor of g(r)?
True
Suppose t + 0 = 5. Suppose -t*l - 47 = -187. Is l a multiple of 14?
True
Let c(r) = -r**3 - 16*r**2 + 14*r + 9. Does 12 divide c(-17)?
True
Let c = -46 - -69. Suppose -8*b = -7*b - c. Is b a multiple of 9?
False
Let l = 12 + -1. Does 9 divide l?
False
Suppose -22 = -4*w + 2. Suppose -4*o = -w*o + 94. Is o a multiple of 12?
False
Suppose -5*q = -62 - 103. Is q a multiple of 28?
False
Let v be 5/15 - (-230)/(-6). Let t(j) = -3*j**2 + 9*j. Let r be t(6). Let w = v - r. Does 14 divide w?
False
Let l(t) = t**2 + 3*t - 2. Let a be l(-3). Does 9 divide ((-3)/(-6))/(a/(-36))?
True
Does 12 divide 1/2*8 + 104?
True
Let h(x) = 84*x**3 + 1. Let q be h(1). Let d = -38 + q. Is 20 a factor of d?
False
Suppose -4*i + t + 85 = i, 0 = 3*i - 3*t - 39. Is i even?
True
Let m(x) be the third derivative of x**7/840 - x**6/180 + x**5/30 - x**4/8 - x**3/3 + x**2. Let y(i) be the first derivative of m(i). Does 4 divide y(2)?
False
Let f(t) = -2*t - 6. Let w be f(-7). Let k = 2 - 3. Let m = w - k. Is m a multiple of 4?
False
Let q(g) be the first derivative of g**5/60 - 2*g**3/3 - g**2/2 - 1. Let f(z) be the second derivative of q(z). Is f(4) a multiple of 10?
False
Let f = -14 + -4. Let l = f - -36. Does 6 divide l?
True
Let v(n) = -n**2 - 8*n - 10. Let i be v(-5). Suppose -4*g - 3*r + 28 = -4*r, i*r - 14 = -2*g. Is 3 a factor of g?
False
Let r(z) = 2*z + 1. Let a be r(-1). Let y be a*9*(0 - 3). Suppose -4*i + 69 = -y. Is 11 a factor of i?
False
Let v(p) = -p**3 + 13*p**2 - 16*p + 9. Let y be v(11). Let l = y + -39. Does 13 divide l?
False
Let w = 18 - 13. Let o be 0 - (0 + 1 - 6). Suppose -2*h = -w*z + 80, -o*z + 4*h = -0*h - 70. Is 9 a factor of z?
True
Does 15 divide 207/15 + 1 - (-2)/10?
True
Let m be (-6 + -3)*1/3. Does 11 divide (-4 - m)*11/(-1)?
True
Let n(l) be the second derivative of 47*l**4/12 - l**2/2 - 3*l. Does 23 divide n(-1)?
True
Suppose -2*f = -4*f + 44. Suppose -2*d + f + 8 = 0. Is 15 a factor of d?
True
Let t(q) = 6*q + 4. Suppose -3 = -3*w + b + 2, -2*w = b - 10. Is 6 a factor of t(w)?
False
Let s be (0 - 3 - 0) + 5. Suppose s*d - 7*d = -l + 43, 5*l = -5*d + 305. Is l a multiple of 12?
False
Suppose 158 = 5*l - g, -104 = -3*l - 0*l - 4*g. Does 16 divide l?
True
Suppose 2*c = 72 + 30. Suppose 0 = -5*w + 8*w - c. Is w a multiple of 3?
False
Is 10 a factor of (-1 - -30) + (-3)/9*3?
False
Let u be (-2)/3 + (-190)/(-15). Suppose 7*t = 3*t + u. Suppose t*s - 3 - 9 = 0. Does 3 divide s?
False
Let w be (-36)/(-10) + 2/5. Suppose -x - 63 = -2*f + 2*x, 2*f - w*x - 68 = 0. Suppose f + 12 = 3*t. Is 11 a factor of t?
False
Let k(h) = 5*h + 19. Is k(5) a multiple of 3?
False
Suppose 1 + 5 = 3*o. Is (-259)/(-9) - o/(-9) a multiple of 12?
False
Suppose -m - 172 = -3*w + 4*m, 4*m - 272 = -4*w. Is w a multiple of 18?
False
Suppose -2*b = i + 114, 0 = -5*b + 2*i + 12 - 315. Let a = b - -105. Is 17 a factor of a?
False
Let p be 4/(-12) + 14/6. Suppose 2*h + 5*r - 136 = 0, 0 = -p*h + r + r + 122. Does 16 divide h?
False
Suppose