Is 11 a factor of w?
False
Let b(a) = a**3 - 3*a**2 + 3*a. Let k be b(2). Let i(q) = -5*q - 3 + q**3 + 5*q**k + 1 - 2*q**2 + 5. Does 3 divide i(-4)?
False
Suppose 4*i = 2*p + 16, 5 = 3*i + 3*p - p. Suppose 0 = 4*s - i*r - 195, r = -4*s + 144 + 47. Is 24 a factor of s?
True
Suppose l - 4 = 1. Suppose -2*f - 7 = -l*f - 2*m, f + 3*m = -7. Suppose -f*y = -0*y - 75. Is 15 a factor of y?
True
Suppose -195 = 4*w - 3. Let v = -28 - w. Does 14 divide v?
False
Let g be (-7 - -4) + (-99)/(-3). Is g/(-2 - (-7)/2) a multiple of 10?
True
Let j = 10 - -42. Suppose -a - 2*o + 17 = 0, 2*a - 5*o - j = -0*a. Does 21 divide a?
True
Let r(b) = -55*b**3 - b**2. Let v be r(1). Let d be (0 - 1)*(v - 3). Let l = d - 23. Is l a multiple of 13?
False
Let z be 10 - (-2 - 0/(-2)). Suppose 5*l - z = 2*r + 78, -4*l = 4*r - 100. Does 9 divide l?
False
Let g = -11 + 15. Suppose -22 = -2*x + g*w, 4*w + 0 - 16 = 0. Is x a multiple of 5?
False
Let z = -41 + 71. Is 2 a factor of ((-2)/(-4))/(3/z)?
False
Suppose -4*y = -2*o - 328, 2*o - 246 = -3*y + o. Does 11 divide 6/(-9) + y/6?
False
Let i = -65 + 91. Is 24 a factor of i?
False
Let h(o) = 2*o**3 + o**2 - o - 1. Let d be h(-1). Let a be (-6)/((d - 2) + 2). Does 12 divide 142/a + (-1)/(-3)?
True
Let b(q) = 3*q - 1 + q**2 - 2*q**3 + 0 - 2. Is b(-3) a multiple of 13?
False
Let q = -6 - -11. Suppose -q*i + 11 = -74. Is 8 a factor of i?
False
Let f(u) be the second derivative of u**4/12 - u**3/2 - 2*u**2 - u. Suppose 2*l + 25 = -3*l. Is 13 a factor of f(l)?
False
Let w = 41 - 11. Suppose w = 5*t - 0*t. Is t a multiple of 5?
False
Let s(h) = -h - 3. Let y be s(-6). Let n be (-2)/y + (-2)/(-3). Let z(b) = -b**3 - b + 16. Does 16 divide z(n)?
True
Let t be 6/(-15) - (-2421)/15. Is (-1)/(-2) - t/(-14) a multiple of 12?
True
Let s be 1 + (1 - 0 - 1). Suppose -5*a + 10 = -2*c, 2*c - 2*a + s = -3. Suppose c = 3*d - 6*d + 48. Is 8 a factor of d?
True
Suppose -4*g + g + 12 = 0. Suppose 2*f - g*o = -7*o + 96, -2*f + 3*o + 120 = 0. Is 18 a factor of f?
True
Let u(o) = 2*o**2 + 5*o + 8. Is u(-6) a multiple of 19?
False
Suppose 0*m + 30 = 2*m. Does 15 divide m?
True
Suppose -3*b + 0*b = -42. Is 5 a factor of b?
False
Let m(y) = 5*y**2 + 2*y - 7. Let v be m(-5). Suppose v = -i + 19. Let f = -53 - i. Is f a multiple of 12?
True
Let n = 21 + 10. Is n a multiple of 8?
False
Let k be (-90)/(-25) - 4/(-10). Suppose -62 - 10 = -3*v. Suppose 0*j = -k*j + v. Is j a multiple of 4?
False
Let i be (-131)/(-3) - 14/21. Let l(w) = 8*w**2 - 3*w - 4. Let d be l(-3). Let p = d - i. Is 17 a factor of p?
True
Let u(n) = -n + 10. Let y be u(6). Suppose -4*g - 15 = 4*v - 71, 3*v - 45 = -y*g. Is 4 a factor of v?
False
Suppose -o + 2 + 2 = 0. Suppose o*z = 3*z + 13. Is 6 a factor of z?
False
Let y be 0 - 1/(-2)*4. Suppose -5*x + y = -0*x - 4*h, 2*x = 5*h - 6. Is x even?
True
Suppose 2*a = 3*b - 25, -16 = -5*b + 3*b + a. Does 7 divide b?
True
Suppose -19 - 1 = -5*w. Suppose 0*m - w*m + 108 = 0. Suppose -3*o - 34 = -2*k - o, -5*o = 3*k - m. Is k a multiple of 4?
False
Does 17 divide (68/(-10))/(1/(-5))?
True
Let z(m) = -4*m + 2. Let j be z(-2). Let h = j - 4. Is h a multiple of 6?
True
Suppose -w + 59 = 4*w + 3*x, -15 = -w + x. Let c = w + 3. Is 8 a factor of c?
True
Suppose y - r + 6*r - 3 = 0, 4*r + 44 = 5*y. Let w(l) = 10*l + 6. Let p be w(y). Let u = -38 + p. Is 16 a factor of u?
True
Let i(d) = d**3 - 3*d + 2. Let p be i(-3). Let m = 30 + p. Is 13 a factor of m + 2/2*-1?
True
Suppose -r = -3 - 0. Suppose 2*a + 9 = -r*v, -4*v - 6 - 1 = a. Does 13 divide a/(-9) - (-190)/6?
False
Let b be (-18)/12 + (-7)/(-2). Suppose 0 = r + b*r - 162. Is 27 a factor of r?
True
Suppose 3*y - 58 = 14. Suppose 111 = 3*p + y. Is 22 a factor of p?
False
Suppose -202 = -l + 4*u + 85, 0 = 2*l + 3*u - 618. Does 24 divide l?
False
Let s(p) = -6*p. Let b be s(1). Does 2 divide ((-15)/(-6))/((-3)/b)?
False
Suppose 3 = z - 3. Is z a multiple of 4?
False
Suppose -4*p = 2*i - 1164 + 92, 5*p - 2*i = 1322. Is 14 a factor of p?
True
Let r(u) = u**3 - 7*u**2 + 7*u - 1. Let m be r(6). Suppose p - 2*z = -1, -5*p + m*z + 1 + 9 = 0. Does 4 divide p?
False
Suppose -4*m + z = -3*z - 1212, 2*z = 4*m - 1216. Suppose -2*n - m = -7*n. Does 25 divide n?
False
Let b(c) = 68*c - 1. Is 15 a factor of b(1)?
False
Suppose -4*d = 4*p - 80, p + 20 = 2*d - 8. Is d a multiple of 9?
False
Suppose 2*y - 50 = -2*w, 0*w = -5*y + w + 131. Is 12 a factor of y?
False
Let j(n) = n**2 + 3*n - 4. Suppose 0 = 4*t - t + 3*h, t + 4*h - 9 = 0. Let s be j(t). Does 3 divide (-30)/s + 3/(-6)?
False
Let j = -32 + 118. Does 6 divide j?
False
Let i(o) = o**3 + 3*o**2 - 7*o - 5. Let x be i(-5). Is ((-48)/x)/((-2)/(-15)) a multiple of 9?
True
Suppose 6*d = 8*d - y - 214, -212 = -2*d + 2*y. Is 18 a factor of d?
True
Let s(d) = -2*d**3 - 7*d**2 - 5*d - 1. Is s(-4) a multiple of 12?
False
Let y(i) = i**3 + 6*i**2 + i + 6. Suppose -6 = j - 0*j. Let h be y(j). Is 13 a factor of (-2 + 39 - h)*1?
False
Suppose -5*b + 2 = -23. Suppose -b*f + 165 = -95. Is f a multiple of 13?
True
Suppose 4*r + 2 = 5*i, 0*r - i = -5*r + 8. Suppose -r*b + 5*b - 132 = 0. Does 22 divide b?
True
Let m = -27 + 49. Does 13 divide m?
False
Let h be 0/(-3 - (2 - 3)). Suppose 5*l = -h*l. Suppose -5*b + 0*b + 70 = l. Is b a multiple of 11?
False
Let f = 2 + 8. Does 5 divide f?
True
Let p(j) = -j**3 - 3*j**2 - 4*j. Let q be p(-2). Does 3 divide 16/(-12)*(-42)/q?
False
Let x = 6 + 21. Does 8 divide x?
False
Let l = -100 - -142. Is l a multiple of 14?
True
Let v(q) = -8*q + 1. Is 32 a factor of v(-7)?
False
Let p be ((-1)/3)/((-4)/24). Let f be 3/(21/(-9) + p). Is 14 a factor of (-2)/f - 284/(-18)?
False
Suppose -r - 3*r + 16 = 0, -r = 2*u - 40. Is u a multiple of 7?
False
Let f be 0/((-1)/(-1 - 0)). Suppose f = r - 3*r - 8. Does 8 divide r/(13/(-4) + 3)?
True
Suppose 8*u - 4*u = 16. Suppose u*k - 43 + 7 = -2*z, 100 = 4*z + k. Is z a multiple of 26?
True
Suppose 0 = -2*h - 3*m - 2*m + 9, -2*m = 2*h - 6. Suppose 3*z - 126 + 49 = u, -h = -2*z. Let q = -52 - u. Is 22 a factor of q?
True
Suppose -3*m - c + 157 = 0, -3*m + m + 133 = -5*c. Suppose n - m = -0*n. Is 18 a factor of n?
True
Suppose 0 = 4*i - 6*i + 32. Is 8 a factor of i?
True
Let h = 4 - 1. Suppose q + h = -6. Does 3 divide (-28)/(-6) + 6/q?
False
Is 3/(-12) - (-66)/8 a multiple of 7?
False
Let b(y) = -y**2 + 10*y - 3. Is b(7) a multiple of 6?
True
Let s(x) be the third derivative of -x**8/20160 - x**7/1008 + x**6/720 + x**5/60 + 2*x**2. Let y(d) be the third derivative of s(d). Is y(-4) a multiple of 5?
True
Suppose -k = -0*k - 8. Suppose 3*l - 5*p - k = 5, 0 = 5*l + 5*p - 35. Is 6 a factor of l?
True
Let q = 100 + -71. Suppose -z = 10 - q. Is 8 a factor of z?
False
Suppose 2*q + 6 = 2*d + 3*q, q + 14 = 3*d. Is d a multiple of 4?
True
Suppose 2*o - 12 = -0. Is 3 a factor of 3/o + 44/8?
True
Is 5*4/10*6 a multiple of 6?
True
Suppose 3*c + 132 = 2*g + g, 256 = 5*g + 4*c. Is g a multiple of 12?
True
Is 5 a factor of ((-15)/2)/(18/(-48))?
True
Suppose 0*q - 50 = -2*d + 2*q, 3*d - 4*q - 74 = 0. Does 13 divide d?
True
Let m(p) = 2*p - 8*p**3 - 1 - p + 2. Let i be m(-1). Suppose -27 = -i*b + 5*b. Does 9 divide b?
True
Suppose -4*c + 3*h = 5*h - 138, -2*h + 39 = c. Is c a multiple of 33?
True
Let s be 8/(-6)*(-21)/14. Does 17 divide 1/((s + 0)/34)?
True
Let i = 205 - 106. Is i a multiple of 33?
True
Is 15 a factor of 4*(0 + 35/4)?
False
Let d = -32 - -74. Is 14 a factor of d?
True
Let x = -6 - -13. Let l be (-3)/x + 325/7. Suppose 4*w - l = 3*w. Does 23 divide w?
True
Suppose -3*t = 0, f + t = 6*t + 3. Suppose -5*y + 2 = -f*y. Does 8 divide (2 - 5)*(-2 - y)?
False
Suppose 2*f - 2*k = 18, f = -0*f - 2*k + 18. Is f a multiple of 4?
True
Suppose 3*k + 4 + 44 = 0. Let v = k - -30. Suppose -z + 3*g + v = 0, 5*z - 4*g - 16 = 21. Is z a multiple of 4?
False
Let u(d) = 23*d**2 + 6*d - 8. Let g(k) = -22*k**2 - 5*k + 7. Let l(q) = -6*g(q) - 5*u(q). Does 22 divide l(2)?
True
Let w be 21 + (0 - 3/(-3)). Suppose 12 = 2*p - w. Is p - 6/(9/3) a multiple of 15?
True
Let z = -74 + 105. Let u = z - -45. Does 12 divide u?
False
Let o(i) = 2*i + 17. Let z(q) = -7*q - 50. Let l(f) = 11*o(f) + 4*z(f). Is 14 a factor of l(-9)?
False
Let o(s) = 15*s**2 + 3*s - 2. Does 16 divide o(2)?
True
Let q(c) = c**3 + 16*c**2 + 29*c - 10. Does 6 divide q(-13)?
