-15. Let z(v) = v**3 + 7*v**2 + 6*v + 5. Does 2 divide z(b)?
False
Suppose -4*a + 35 = 5*g, -3*g - 2*a = -4 - 15. Suppose 0 = -g*i + 46 + 20. Is i a multiple of 11?
True
Let g(y) = -y**3 + 6*y**2 + 3*y + 8. Let p = 1 + 5. Let q be g(p). Suppose -2*k + q = -k. Is 13 a factor of k?
True
Let y(o) = -o**3 - 13*o**2 - o + 1. Does 7 divide y(-13)?
True
Suppose -d - 268 - 24 = h, -5*d - 3*h - 1458 = 0. Let y be (-2)/5 - d/15. Let j = -8 + y. Is 11 a factor of j?
True
Suppose -4*c = 3*k - 229 + 57, 3*k = 3*c - 108. Is c a multiple of 20?
True
Suppose -10 + 122 = 4*m. Is m a multiple of 4?
True
Suppose -3*s + 10 = 2*s. Suppose 0 = 5*r - 4*x + 3*x + 13, 0 = -5*r + s*x - 11. Does 20 divide r/(1/(-22)*2)?
False
Let o(v) = -v**3 - 4*v**2 + 8*v + 2. Is o(-6) a multiple of 13?
True
Suppose -h - 4 = -3*h. Suppose 4*w = h*w + 32. Is w a multiple of 8?
True
Suppose 0*c = 5*c. Suppose c = -3*l + l. Suppose 4*n + l*n - 128 = 0. Does 12 divide n?
False
Let n(i) = -12*i + 1. Let k be n(-8). Suppose 2*h - 107 - k = 0. Is h a multiple of 34?
True
Suppose 3*t - 41 = -5*m, 4*t - m - 45 = 2*m. Is t a multiple of 2?
True
Let g(h) = -5*h + 4. Let z be g(-4). Suppose -z = 2*s - 4*s. Does 6 divide s?
True
Suppose -4*r - 24 = -2*o, -o - 2*o + r = -16. Suppose 15 = 5*u, c - 2*u + o = 14. Is c a multiple of 6?
False
Let b(m) = -m**2 - m + 3. Let v(x) = -x**2 + 8*x - 4. Let r be v(7). Let w be b(r). Let t = w - -16. Does 7 divide t?
True
Let h be (-2)/(-6) - 172/12. Let y = 6 - h. Does 14 divide y?
False
Let w(s) = s**2 - 5*s + 5. Suppose -14 = q - 0*q. Let u be q/(-2)*(2 + -1). Is w(u) a multiple of 11?
False
Suppose 0 = z + 4*z - 2*j - 250, 3*z + 4*j - 124 = 0. Suppose 4*s - 20 = z. Does 6 divide s?
False
Suppose 3*x + 4*p - 16 = 5*x, -19 = 3*x - p. Is 14 a factor of (-546)/(-36) - (-1)/x?
False
Let d(h) = 2*h**2 + 11*h - 9. Let z be d(-7). Let t = z - 1. Is 3 a factor of t?
False
Let h(u) = u**3 + 9*u**2 + 7*u - 10. Is 11 a factor of h(-7)?
False
Let o be 3*6/9 + 3. Suppose 2*h - 46 = -o*b + 19, -b - 119 = -4*h. Let g = h - 16. Is 14 a factor of g?
True
Suppose 2*w = 4*w + 2*k - 12, -3*w + k + 10 = 0. Suppose -w - 20 = -4*q. Suppose q = -3*t, -19 = -5*a - 2*t - 8. Does 2 divide a?
False
Let i be (3 - 4)*(1 - 4). Suppose 0*w + i*w - 12 = 0. Suppose 0 = 2*f + 2*n - w - 0, -4*n - 20 = 0. Does 4 divide f?
False
Suppose 2*c - 49 = 95. Is c a multiple of 12?
True
Let k(m) = -m**2 - 13*m + 4. Let g be k(-11). Let a be 2500/g - (-12)/(-78). Suppose 4*x - 32 = -4*o + a, -5*x - 32 = -o. Is 16 a factor of o?
True
Let q be (0 - (-15)/3)/1. Suppose -x - 3 = -4*d, -q*d + 2*x - 3 = 3*x. Suppose d*p + 3*p - 150 = t, -100 = -2*p - t. Is p a multiple of 25?
True
Suppose 4*g - 4*s + 4 = 0, g + 19 = 5*s + 6. Let l be 3/g*76/6. Let u = l - 6. Is 7 a factor of u?
False
Is (-56)/(-3)*(-3)/(-2) a multiple of 14?
True
Let a(u) = u**3 - 4*u**2 - 10*u + 7. Does 19 divide a(6)?
True
Let r = -24 + 35. Is r a multiple of 2?
False
Is 11 a factor of (-2)/9 + (-1414)/(-126)?
True
Suppose 2*v - a = -0*a + 65, -2*v + 5*a = -69. Is 32 a factor of v?
True
Suppose j = -4*j + 80. Suppose m + 0*m - j = 0. Is 16 a factor of m?
True
Let g be 3 - (2/2 + 2). Suppose g = 2*q + 20 - 66. Does 13 divide q?
False
Suppose -4*g + j + 56 = 0, -3*j + 5*j - 83 = -5*g. Is 15 a factor of g?
True
Let k = 23 + -11. Let g = k - 9. Is g even?
False
Let s be (-4)/(-18) - (-68)/18. Suppose -4*q + 26 = -0*r - r, -s*q + 34 = 3*r. Let y = q - -6. Is 7 a factor of y?
False
Let c(l) = -l**3 - 5*l**2 + 5*l - 1. Let i be c(-6). Suppose -8 + 3 = i*t. Let m = t + 7. Does 6 divide m?
True
Let j(r) = -r + 2. Is 9 a factor of j(-16)?
True
Suppose -q - q = -10. Suppose 0 = 4*u - 3*g - 88, 4*u = 8*u - q*g - 80. Suppose -y - 5*h - u = -2*y, 0 = 3*y + 3*h - 39. Does 15 divide y?
True
Suppose 4*z = 9*z - 10. Is 16 a factor of (-1 + -1)/z - -54?
False
Suppose -139 = -5*g - 4*r, 3*g = 4*r + 27 + 50. Does 9 divide g?
True
Let k be 2/((-1)/(-1)*-1). Is -21*(-3 - k) + -3 a multiple of 6?
True
Let b be ((-6)/(-4))/(6/256). Suppose b - 22 = 3*l. Is l a multiple of 7?
True
Let c(r) = -3*r + 6. Let l(y) = y**3 - 7*y**2 + 8*y - 4. Let z be l(6). Let u be c(z). Is (-176)/u + 4/18 a multiple of 10?
True
Let r = -5 - -5. Suppose 65 = m - r*m. Does 12 divide m?
False
Let w be 4 + 2/4*-4. Suppose -3*v + 26 = 5*s, 5*v - 36 + w = s. Is v a multiple of 4?
False
Let h(o) = -o**3 + 5*o**2 + 4. Let v be h(5). Suppose v*d - 15 - 9 = 0. Does 6 divide d?
True
Suppose -47 = -4*c + a + 51, a = -4*c + 94. Is c a multiple of 12?
True
Let c = 2 + -5. Let y = -6 + 0. Does 13 divide 2*(y/c + 15)?
False
Suppose -810 = z + 4*z. Let a = z + 227. Does 21 divide a?
False
Suppose -5*b - 6 = 2*x - 55, -3*x = -5*b - 111. Suppose -4*s - 8 + x = 0. Is s a multiple of 3?
True
Let l be (-1)/(1 - (-22)/(-23)). Suppose j - 26 + 83 = 0. Let b = l - j. Does 12 divide b?
False
Let u(r) be the third derivative of r**4/3 + 2*r**3/3 + 3*r**2. Is u(7) a multiple of 20?
True
Suppose -2 + 136 = k. Is 23 a factor of k?
False
Suppose -5*r - 5*w - 5 = 0, 5*r - 6 = w + 13. Suppose 228 = -r*n - n. Let o = -25 - n. Does 16 divide o?
True
Let h(u) = 49*u + 8. Let k be h(-4). Does 7 divide k/(-28) - (-2)/7?
True
Suppose 3*o + 0*o = -3. Let a be o - -1 - (-26)/1. Suppose 4*s - a = 3*w - 5*w, 21 = w + 4*s. Is 2 a factor of w?
False
Let a be (-870)/(-9) - (-2)/(-3). Suppose w = 3*w - a. Does 16 divide w?
True
Let f be 31/(12/8 + -1). Let a = 117 - f. Is 30 a factor of a?
False
Suppose -276 = -10*o + 674. Is o a multiple of 54?
False
Let o(w) be the third derivative of 5*w**4/24 + w**3/2 - w**2. Is 11 a factor of o(3)?
False
Suppose 0 = 2*v - 7*v - 3*m + 27, 0 = -2*v + 2*m - 2. Is -15*(6 - v - 4) a multiple of 11?
False
Let a = -767 + 1127. Suppose -5*v + a = 35. Is 19 a factor of v?
False
Let v(f) = -5*f**2 - 24*f - 45. Let m(u) = -u**2 - 6*u - 11. Let n(l) = -9*m(l) + 2*v(l). Is n(6) a multiple of 9?
True
Let w(a) = a**3 + 10*a**2 + 5*a - 2. Is 17 a factor of w(-9)?
True
Let p = -7 - -18. Is p a multiple of 11?
True
Let r(z) = z**3 - 9*z**2 + 14*z + 15. Does 6 divide r(8)?
False
Let t be (-52)/(-16) + 2/(-8). Suppose -t*w + n = 31, 0*w + 5*n + 61 = -3*w. Is (-3)/3 - -1 - w a multiple of 5?
False
Suppose -d - 7 = 5*y, 4*d + 2*y - 55 = -11. Does 2 divide d?
False
Suppose j - 1864 = -3*j. Suppose 3*g - 3*h + 1394 = -5*h, -g - j = 2*h. Is g/(-18) + 4/18 a multiple of 10?
False
Suppose -2*n + 57 + 111 = 0. Suppose -3*s - n = -6*s. Is s a multiple of 14?
True
Let i be (-4)/(-2 + 0) + -14. Let l = 25 + i. Does 11 divide l?
False
Is (17 + 304)*1/(-3)*-1 a multiple of 22?
False
Suppose 6*u = 126 + 54. Is 10 a factor of u?
True
Suppose -n + l = -219, -n + 171 + 54 = l. Let f = n + -116. Suppose -5*s + 5*d = 2*d - f, 5*s = 4*d + 108. Is s a multiple of 20?
True
Let j = -87 - -105. Is 13 a factor of j?
False
Let b = -9 - -6. Let p(y) = -4*y**2 + 14*y - 14. Let l(n) = -9*n**2 + 29*n - 29. Let j(a) = b*l(a) + 7*p(a). Is j(9) a multiple of 4?
False
Let a(j) = 2*j - 6. Let s be a(4). Let c be 0 + s + 1*-10. Is (1 - (-26)/(-8))*c a multiple of 9?
True
Let f = 8 - 3. Suppose -o - 129 = -f*c, o = -0*o + 1. Is 26 a factor of c?
True
Let m(h) = -h - 4*h + 10 + 0*h - h**2 + 2*h**2. Is m(5) a multiple of 5?
True
Suppose s + s - 152 = 0. Is s a multiple of 16?
False
Suppose 2*i - 45 = -i. Is 7 a factor of i?
False
Is (-1)/5 + (-1377)/(-85) a multiple of 10?
False
Let o = -328 + 574. Is 53 a factor of o?
False
Suppose 0 = 8*o - 3*o + 15. Does 5 divide 6/8*(-60)/o?
True
Let h be (-95)/(-25) + (-2)/(-10). Suppose -p = p - h. Suppose p*z - 5 - 35 = 0. Is z a multiple of 8?
False
Let s(k) = 7*k + 26. Let y(b) = b. Let a(x) = s(x) - 5*y(x). Is a(0) a multiple of 7?
False
Let t(s) = -s + 5. Is t(-6) a multiple of 3?
False
Suppose 2*w - 29 = 21. Is 25 a factor of w?
True
Suppose 5*t = 4*t + 3. Suppose t*f = -f + 8. Suppose -f*k + 60 = k. Is 14 a factor of k?
False
Suppose 2*s = -s. Suppose 2*a - 14 = -3*m, 0 = -3*a + 2*a + 4. Suppose m*i - 16 = -s*i. Does 8 divide i?
True
Let j = 38 + -29. Is 9 a factor of j?
True
Let f = 39 - -11. Is 7 a factor of f?
False
Suppose -2*w + 240 = 3*w. Suppose -3*l = q - 6, 2*l = -q + 1 + 3. Suppose 0*z + w = l*z. Is z a multiple of 16?
False
Let o be (-3)/(-6) + (-25)/2. Let t be 1/(-4) + (-147)/o. Let u = 10 