f 18?
False
Let a(p) = -52*p**3 - p**2 - p - 1. Let i = -1 - -3. Suppose 3*c = -3*v - 15, -c + i*v + 6 = c. Is 24 a factor of a(c)?
False
Let k = 18 + 4. Suppose 6 = 5*y - 7*y, -2*y = -4*g + k. Suppose 0 = -l + 6 - g, d = l + 11. Is 5 a factor of d?
False
Suppose -4*i - 43 = -5*n, -n + 5 = -3*i + i. Is n a multiple of 4?
False
Let i be (-2)/(-10) + 368/10. Let y be -16 - 2*(-1)/2. Let z = i + y. Is z a multiple of 11?
True
Suppose -7 = -w - s + 34, -4*s + 209 = 5*w. Does 8 divide w?
False
Let a(y) = 25*y**2 - 4*y + 4. Is 24 a factor of a(2)?
True
Suppose -3*m + 3 = 0, -8 = -4*x + 3*m + m. Suppose 28 = n - 5*h, -x*h = 2*n - h - 68. Does 16 divide n?
False
Suppose w + 4*w = 330. Suppose -2*k = -3*m - 2*m + 58, -4*k = -5*m + w. Is 4 a factor of m?
False
Let c be (9/(-1))/(-3) + -1. Let y be c/(-1*2/(-4)). Suppose 105 = y*x - 59. Is 21 a factor of x?
False
Let c = 8 - 5. Suppose -c*j - 2*j = 10. Does 18 divide -1*j*19 - 2?
True
Is 11 a factor of 3 + (-7)/((-28)/184)?
False
Is 10 a factor of 100/(-8)*(-10 - -2)?
True
Suppose 0 = 3*p - 0*p + 9. Does 13 divide (15 - 1) + p + 2?
True
Let l be 6/15 - (-63)/5. Suppose l = m - 3*w - 16, 4*m - 86 = -3*w. Let h = m - 13. Is h a multiple of 10?
True
Suppose -2*v - 26 = -4*k - 0*k, 3*v + 15 = 0. Is (-41)/(-4) - 1/k a multiple of 3?
False
Suppose -34*s - 96 = -38*s. Does 24 divide s?
True
Let o = -95 - -152. Is 19 a factor of o?
True
Let p(g) = 3*g**2 - 4. Let y be (-4)/(0 - 3/3). Let r be p(y). Suppose -6*c + r = -2*c. Is c a multiple of 11?
True
Suppose 0 = -2*x - 2*x + 96. Let z = x + -8. Does 8 divide z?
True
Let u = -4 + 6. Suppose -i - u*i = -165. Is 15 a factor of i?
False
Let y(w) = -w**3 + w**2 - 6*w + 8. Let a(g) = g**2 - g + 1. Let k(b) = -5*a(b) + y(b). Is k(-4) a multiple of 7?
True
Suppose 0 = -h - 4*j + 194, 5*h + 2*j + 203 - 1119 = 0. Is 30 a factor of h?
False
Suppose 0 = 3*i - i - 10. Suppose -a = -5*l + 84, i*l - 4*l + 4 = -5*a. Does 8 divide l?
True
Let x(s) = -2*s**2 + 3*s + 3. Let g be x(3). Let f be 1/(3 + 20/g). Is 27 a factor of (-138)/(2/3*f)?
False
Let p(y) be the third derivative of y**6/120 + 2*y**3/3 + y**2. Let i be p(0). Does 11 divide i/5*(-165)/(-6)?
True
Suppose 5*f - 2*f = 66. Suppose 4*q - 4*y - 28 = q, 0 = 2*q - y - f. Is q a multiple of 4?
True
Let i = 103 + -70. Is 5 a factor of i/(-22)*38/(-3)?
False
Suppose j - 2*n - 40 = 0, -4*j + 3*n + 44 = -3*j. Is j a multiple of 16?
True
Let x(k) = -k**3 - 6*k**2 + 12. Does 11 divide x(-6)?
False
Let o(l) = -l**3 - 18*l**2 + 36*l - 24. Is o(-20) a multiple of 28?
True
Let o(m) = -7 + 0 - 15*m**3 + 4*m**2 + 4 + 4*m. Let q(g) = -14*g**3 + 5*g**2 + 5*g - 4. Let h(z) = 5*o(z) - 4*q(z). Is h(-1) a multiple of 10?
True
Suppose 8*c = 7*c + 5. Is (0 - 6)*(4 - c) a multiple of 4?
False
Let m = -11 - -7. Let d = m + 11. Suppose -5 = t - 2*i - 3*i, 0 = t - i - d. Is t a multiple of 4?
False
Let u = -282 + 420. Does 23 divide u?
True
Let b(y) = -y**2 - 7*y - 6. Let w be b(-6). Suppose w*v + 5 = -v. Let m = 7 - v. Does 7 divide m?
False
Let o be (602/(-6))/((-1)/3). Let q = o - 212. Does 23 divide q?
False
Let c(a) be the first derivative of -a**4/4 - 4*a**3 - 3*a**2/2 - 3. Does 9 divide c(-12)?
True
Suppose -6*u + 166 + 26 = 0. Suppose 2*r - 8 = u. Does 10 divide r?
True
Suppose 0 = -2*a - a. Suppose 4*r + 28 = 3*r - 5*j, a = -j - 5. Does 14 divide 3*(-1)/r - -25?
False
Suppose 0*v + 45 = 5*v + 2*n, -27 = -v - 4*n. Suppose v + 25 = 2*x. Does 8 divide x?
True
Suppose -100 = -2*i + 2*h, h = -4*i - 3*h + 208. Is i a multiple of 32?
False
Let c(g) = -8*g + 10. Let i be c(-10). Suppose i = 6*p - 3*p. Suppose -3*r = -24 - p. Does 11 divide r?
False
Let w = -16 + -3. Let r = -1 - w. Is r a multiple of 9?
True
Suppose -3606 = -11*o + 24. Does 33 divide o?
True
Let j = -4 - -7. Suppose -j*o + 8*o = 25. Suppose 0 = 5*d + 2*g - 138, 0 = -o*d + 2*g + 51 + 91. Is 14 a factor of d?
True
Suppose -570 = -7*j - 129. Is 13 a factor of j?
False
Let o(v) = -2*v + 3. Let r be o(-9). Let i = -11 + r. Does 10 divide i?
True
Let n(s) = -60*s**2 + 2*s + 1. Let k be n(3). Let g = -373 - k. Suppose -d - 4*d + g = -5*v, -4*d + 5*v = -123. Is d a multiple of 14?
False
Let y(h) = 75*h**2 + 1. Does 10 divide y(-1)?
False
Let q = -10 + 6. Does 10 divide (-20)/14*(q - 3)?
True
Let y = -109 - -212. Is y a multiple of 22?
False
Let p(u) = -5*u**2 + 2*u + 4. Let r be p(3). Let k = r + 73. Is k a multiple of 10?
False
Suppose 3*b = 4*b. Is (-3 + 2)*(b - 34) a multiple of 17?
True
Let x(f) be the third derivative of -f**7/2520 - 13*f**6/720 + f**5/24 + f**4/12 + f**2. Let o(g) be the second derivative of x(g). Is 17 a factor of o(-7)?
False
Let s = 133 + -56. Is s a multiple of 11?
True
Let c(h) be the second derivative of -h**4/12 - h**3/6 + 16*h**2 - 4*h. Is 14 a factor of c(0)?
False
Let g(p) = p**2 + 5*p - 10. Is 3 a factor of g(-8)?
False
Let w = 19 - -2. Suppose 4*g - w = -1. Is 3 a factor of g?
False
Suppose -2*c + 2 = 0, 3*y = -c + 71 - 4. Is y even?
True
Suppose -133 = -5*j + 82. Is j a multiple of 18?
False
Let m(h) = -h**3 + h**2 - h + 42. Is m(0) a multiple of 12?
False
Suppose 0 = 2*n - 6*n + 128. Let h = 57 - n. Let j = h + -13. Does 12 divide j?
True
Let y(c) = 2*c**2 + 12*c + 50. Is 12 a factor of y(-11)?
False
Let t = 24 + 71. Does 19 divide t?
True
Suppose -3*m = 3, 0*v + 3*v - 2*m = 260. Does 5 divide v?
False
Suppose -6*f - 15 = -f + l, 26 = -4*f + 2*l. Let r be 3/2*f/(-6). Suppose -r - 3 = -b. Is b a multiple of 4?
True
Suppose -19 - 13 = 2*z. Let d(l) = -l**3 - 16*l**2 - 3*l - 13. Is d(z) a multiple of 6?
False
Let c(n) = n**2 - 7*n + 3. Let z(a) = -a**2 + 3*a + 5. Let w be z(4). Suppose -2*s + 23 = 2*i + i, 0 = -i - 4*s + w. Does 7 divide c(i)?
True
Let w = -208 + 304. Is w a multiple of 34?
False
Suppose 3*l + 0 = -2*a + 11, 5*a - 2*l = 18. Suppose -a*u - w = -5, 2*u + 2*u - 3*w - 17 = 0. Let i = 13 + u. Is 8 a factor of i?
False
Suppose -2*m + 10 = -t - 6*m, 5*m = 2*t - 19. Suppose -t = -2*x + 4. Is x a multiple of 3?
True
Suppose 3*f = 2*b + 21, b + 6 = -b. Suppose 15 = -4*o + f*o. Is 7 a factor of o?
False
Is 18 a factor of ((-8)/2 - 37)/(1/(-3))?
False
Let d(g) = -4*g - 3. Let q be d(-2). Suppose -r - b - 4*b = -6, q*r + 2*b - 76 = 0. Is 16 a factor of r?
True
Suppose -5*g + 45 = -3*f, -2*g + 3*f + 27 = -0*g. Suppose t + 6 = -5*w, -4*t - 5*w + g + 0 = 0. Let z = 23 - t. Does 14 divide z?
False
Suppose 5*k + 20 = k. Let n(j) = -j**2 - 6*j + 7. Is 6 a factor of n(k)?
True
Let f = 2 - 2. Suppose f = -3*k - 26 + 206. Is k a multiple of 17?
False
Suppose 305 = 4*l - 2*l - 5*k, 0 = l - 5*k - 155. Suppose -2*w - w = -l. Is 19 a factor of w?
False
Suppose 141 = u - 4*y, -440 = -4*u + u - 5*y. Is 29 a factor of u?
True
Suppose -4 = z - 5, -4*s + 17 = 5*z. Let n be (-1)/(1 - 28/26). Suppose -i - s = -n. Does 5 divide i?
True
Let i(v) = -v**2 + 5*v + 8. Suppose u = -4*x + 24, -4*u - 1 = -2*x + 11. Let a be i(x). Suppose -n + 18 = -a*r, 0 = 2*n - 4*n - 2*r + 36. Is 18 a factor of n?
True
Suppose 4*o + 326 = -74. Let r = -52 - o. Suppose 2*t - r = -t. Is t a multiple of 6?
False
Let p(m) = -11*m + 1. Let y be p(-1). Suppose -q + 5*q - y = 0. Suppose 0 = 4*s - 5*z - 48, 4*s = q*s + 4*z + 1. Does 12 divide s?
False
Let m = -7 - -7. Suppose -150 = -5*h - m*h. Does 10 divide h?
True
Suppose 0*m + 2*m = -18. Let s = m - -15. Is (2 - -1)*(-3 + s) a multiple of 5?
False
Suppose 0 = 4*p - 2*p. Let l(m) = 5*m**2 - 2 + 0*m + m**3 + 2*m + p*m. Is l(-4) a multiple of 6?
True
Suppose 4 = 4*k + 2*w, -2*w = k - 3*k + 14. Suppose -3*h + 21 = -2*r - 7, -3*r + k = 0. Let q = h + -3. Is q a multiple of 5?
False
Let s(k) = k + 1. Let p be s(5). Suppose -4*h = -5*g + 8, -p*h = -2*g - 2*h - 4. Is g a multiple of 2?
True
Let q(p) = 3*p + 24. Is q(-6) a multiple of 3?
True
Suppose -5*z + 3*x = -303, 5*x - 3 + 8 = 0. Is 15 a factor of z?
True
Let j = -4 + 6. Let q = 0 - -6. Suppose -j*r + q = -8. Does 7 divide r?
True
Is 57 a factor of (-11076)/(-65) - 3/(-5)?
True
Suppose 2*y - 5*p = 82, 112 = 4*y + 3*p - 26. Is 9 a factor of y?
True
Let i = -73 + 128. Does 23 divide i?
False
Suppose 20 = k - 5*k. Does 7 divide 1*18*(k + 6)?
False
Let z = -3 + 3. Suppose 4*a - 6*a + 11 = -3*q, z = 3*a - 2*q - 19. Is a a multiple of 6?
False
Let n(o) = -o**2 + 7*o - 5. Let v be n(5). Let y = v - -14.