 be f(8). Let v(y) = 2*y**3 + 4*y**2 + 10*y - 4. Let o be v(-3). Let u = c - o. Is 10 a factor of u?
False
Let q(v) = -v**3 + 13*v**2 - 13*v + 17. Let m be q(12). Suppose -4*p = -m*p. Suppose p = -4*y + 44 + 24. Does 17 divide y?
True
Suppose 0 = 3*w + 410 - 29. Let t = w - -189. Suppose -2 + t = 5*v. Is 4 a factor of v?
True
Suppose 5*k + 2*d + 4 = -43, 4*k + 4*d = -28. Is 11 a factor of k*(0 - -3 - 6)?
True
Let q(s) = -252*s**3 + s**2 - 4*s - 5. Is q(-2) a multiple of 68?
False
Let b(t) = 662*t**3 + t**2 - 5*t + 5. Is b(1) a multiple of 43?
False
Let h be -5 + -43 - -1*2. Let p be -2*(h/(-4) - 4). Let g(o) = o**2 + 13*o - 19. Does 3 divide g(p)?
False
Let t(s) = -s**2 + 28*s + 518. Does 48 divide t(0)?
False
Let c(y) = -y**3 + 2*y**2 + 3*y. Let q be c(3). Suppose l - 1 = q, -d + 72 = -3*l + l. Let t = d - 53. Is 11 a factor of t?
False
Let b = 19 - -278. Does 9 divide b?
True
Let w = 66 + -60. Suppose -w*n + 376 = -2*n - 4*z, 3*z = -n + 110. Is 14 a factor of n?
True
Let q(t) = 4*t**2 - 8*t. Let s be q(5). Let r be (10/4)/(2/s). Let x = r + -41. Is 17 a factor of x?
True
Suppose 0 = 2*k - 118 - 14. Does 22 divide k?
True
Let r = -151 + 266. Does 19 divide r?
False
Suppose -3*n - 2911 + 3469 = 0. Is n a multiple of 3?
True
Suppose -7 = -v - 5. Suppose 0 = 5*z - 3*q - 59, -7 = -v*z + 4*q + 25. Suppose -3*i - 3*j = -9, -4*i - 2 + z = 5*j. Does 3 divide i?
False
Suppose 2*u = 5*l - 3*u - 65, -4*u = 2*l - 20. Suppose -8*a + l*a = 20. Is (1*-34)/((-10)/a) a multiple of 4?
False
Suppose 2*c - 5 = 3*c. Let m(i) = -3*i + 15. Is 3 a factor of m(c)?
True
Let l = 1039 + 56. Is 31 a factor of l?
False
Suppose x - 9 = -2*i, 0 = -0*x - x + 5. Suppose 3*a + i*a = 0. Suppose -5*j + a = -20. Does 2 divide j?
True
Let j(k) be the first derivative of -2*k**3 + 7*k**2/2 - 6*k - 4. Let y be j(4). Let i = 125 + y. Is i a multiple of 29?
False
Let h = -334 + 727. Does 4 divide h?
False
Let v be (14/(-7))/((-2)/9). Suppose -1915 - 1109 = -v*g. Is 32 a factor of g?
False
Let a(u) = -150*u**2 - 2*u - 1. Let s be a(-1). Let f = -78 - s. Is f a multiple of 11?
False
Let d(b) = -5 + 3 + 13 + b + 10. Is 5 a factor of d(-5)?
False
Let w(r) = 2 - 5 + 0*r + 3*r - 9*r. Is 13 a factor of w(-7)?
True
Let s(t) be the third derivative of t**6/120 - t**5/12 - t**4/6 - 5*t**3/3 + 2*t**2. Let p be s(6). Is 80 - p - (-3 - -7) a multiple of 22?
False
Let r(b) = -2 - 213*b**3 + 4*b + 4 - 8*b**2 + 9*b**2. Does 53 divide r(-1)?
True
Suppose -7*c + 2336 = -548. Is 18 a factor of c?
False
Let s(j) = 4*j**2 - 25*j + 73. Does 53 divide s(13)?
True
Let r(i) = 39*i - 11. Let h be r(6). Suppose -4*t = -751 + h. Is t a multiple of 11?
True
Suppose -9993 - 8927 = -40*h. Does 11 divide h?
True
Let h = 391 - 57. Let d = 591 - h. Is d a multiple of 38?
False
Let o(p) = -p**3 + 4*p**2 - 7*p + 21. Let q be o(-5). Let x = 118 + 74. Let c = q - x. Is c a multiple of 15?
False
Let y(m) = -15*m + 3. Suppose -4*k = 14 - 6. Is y(k) a multiple of 33?
True
Let r = -469 + 503. Let w = 23 - 2. Suppose 0 = 5*j - w - r. Is j a multiple of 4?
False
Let t(h) = 13*h**2 - 7*h + 29. Is t(8) a multiple of 65?
False
Let f be (-1320)/(-18) + -2 - 2/(-3). Let p = -58 + f. Is 13 a factor of p?
False
Let u(t) = -30 + 2*t**2 + 10*t - 27 + 57. Is 6 a factor of u(3)?
True
Let t = 993 + -187. Does 46 divide t?
False
Let f be 487 - -2 - (1 + -2 + -1). Let j = f - 332. Is j a multiple of 32?
False
Let h(b) = 92*b - 5. Let x be h(-1). Let r = 157 + x. Is 10 a factor of r?
True
Let b(i) = i**3 - 4*i + 5. Let m be b(2). Suppose -m*u + s = -0*s - 468, 5*u - 4*s = 477. Suppose -3*c = -4*p + 241, p - u = c - 32. Is 9 a factor of p?
False
Let g = 0 + 6. Let c = 8 - g. Suppose -1 = -c*q + 13. Does 7 divide q?
True
Let j(p) = p**3 - 4*p**2 - 7*p + 3. Let t be j(6). Let z = t + -1. Does 4 divide z?
True
Let w be 0 - -1*1*3. Let m(i) be the first derivative of 17*i**2/2 - 2*i + 17. Is m(w) a multiple of 15?
False
Suppose 0*w = -3*w. Suppose w = -2*b + 11 - 9. Let s = 2 + b. Does 3 divide s?
True
Suppose -26*g + 19*g + 3073 = 0. Is 21 a factor of g?
False
Suppose 2*w = -2*z + 4, -3*z - 5*w + 7 = 1. Does 31 divide 2 + 4/z + 170?
False
Let s be ((-16)/16)/((-1)/5). Let f be s/(60/(-8))*3. Is 17 a factor of f/6 - (-103)/3?
True
Suppose 5*v - 186 = -5*b + 4, 0 = -3*v - 2*b + 112. Does 18 divide v?
True
Suppose -67 - 179 = -b - 3*a, 4*b - 5*a - 1069 = 0. Is b a multiple of 11?
False
Suppose 7*x - 10*x = -36. Suppose 0 = 2*m - 3*g + 1 - x, -15 = -5*m - 5*g. Does 5 divide 35 + (-4)/(-1) + m?
False
Suppose -3*j - 40 = 2*j. Let u = -10 - j. Is 21 a factor of (-60)/u + 3 + -3?
False
Suppose -48*h + 1915 = -47*h. Is h a multiple of 25?
False
Let z = -4 + 9. Suppose -2*h - 2*d = -0*h + 10, -2*d = z*h + 34. Let s(g) = -3*g - 8. Is s(h) a multiple of 8?
True
Suppose 0 = 141*s - 156*s + 1950. Is 10 a factor of s?
True
Suppose 7*k - 24 = k. Suppose w = 2*t + 21, -k*w - t = t - 64. Is 6 a factor of w?
False
Let i(y) = y**2 - y - 5. Let w(x) = -x**2 + 6*x - 3. Let b be w(5). Suppose b*o + 35 = -3*o. Does 10 divide i(o)?
False
Let m = 19 + -12. Suppose -3*r + 3 = -3. Suppose 0 = -g + r*g - 2*b - m, -56 = -4*g + b. Is 5 a factor of g?
True
Let d be 150/9 + (6/(-9) - 0). Does 17 divide 132 + d/4 + 0?
True
Suppose -4*j = -8, -5*j - 5 + 24 = 3*m. Suppose 4*g = h + m*h + 52, -3*g = 5*h - 47. Does 14 divide g?
True
Let s be ((-12)/(-15))/(-4) - 112/(-35). Suppose 5*w - 470 = -5*y, -1 = y - s*w - 115. Is 3 a factor of y?
True
Let b be (8/(-12))/((-2)/39). Suppose -h - 3*h + k + 24 = 0, -b = -3*h + 2*k. Let g(c) = -c**2 + 12*c - 7. Is g(h) a multiple of 12?
False
Suppose -5*u - 5*w = -3*w - 22, 0 = u + 2*w - 6. Suppose -u*j + 427 = -5*x, 0 = x - 0*x - 1. Does 27 divide j?
True
Is 17 a factor of (-5925)/(40/(-8)) - -1?
False
Let v(m) = -23*m**3 + 2*m**2 - 1. Let c(r) = -r**3 + 11*r**2 - 9*r - 9. Let t be c(10). Let n be v(t). Is 15 a factor of 482/11 - 4/n?
False
Suppose -2*n - 25 = -4*n - t, 13 = n + t. Suppose -1144 = y - n*y. Is 13 a factor of y?
True
Let t = 330 + 139. Is t a multiple of 45?
False
Let q be (1 + 5 + -4)*1 + 11. Does 9 divide 1761/39 + (-2)/q?
True
Let g(r) be the first derivative of r**3/3 + 13*r**2/2 - 9*r + 11. Let d be g(-14). Suppose d*u + o - 190 = 0, 5*u - o + 4*o - 190 = 0. Is 12 a factor of u?
False
Let z(l) = 3*l**2 + 24*l - 553. Is z(17) a multiple of 32?
False
Let z(n) = 125*n**2 + 36*n + 3. Does 24 divide z(2)?
False
Let q = 1 + 682. Is 8 a factor of q?
False
Let g(l) = l**3 + 12*l**2 + 6*l - 11. Let q(t) = t**3 + 12*t**2 + 7*t - 11. Let j(n) = -2*g(n) + 3*q(n). Is 2 a factor of j(-11)?
False
Is (0 + 3)*(-32)/(-12) a multiple of 5?
False
Let k(i) = i**2 - i - 4. Let j be k(3). Suppose -3 = -3*v, -2*r + j*v = 4*v - 128. Is r a multiple of 7?
True
Let b(g) = 4*g + 1. Let y(a) = -1. Let z(m) = -b(m) - 4*y(m). Let p be z(-5). Let t = 48 - p. Is 11 a factor of t?
False
Let a be (-1)/(-4) + (-69)/(-12). Suppose f = -f + a. Suppose -v = f*v - 28. Is 2 a factor of v?
False
Let p be (-1)/2 + (-26)/(-4). Suppose t - 29 + 31 = 3*v, 2*v - 2*t + 4 = 0. Suppose 5*w + p*j - 44 = 2*j, 28 = v*w - j. Is 7 a factor of w?
False
Is 25 a factor of (-22)/(-220) + (-10107)/(-30)?
False
Let u be 1*-4 - (13 - 5). Let v(i) = 3*i + 41. Is 5 a factor of v(u)?
True
Let n = -2 + 4. Suppose -4 = -4*y + 3*k - 7*k, -n*k + 10 = -2*y. Is 3*(-8)/(4/y) a multiple of 4?
True
Is 12 a factor of ((-3)/(-8))/((-6)/1636)*-4?
False
Suppose -2*z = -4*b + 3350, 4*b - 2513 = b + 2*z. Is 9 a factor of b?
True
Let f(u) = -7*u - 2. Let c be f(-5). Let p = 63 + c. Suppose 4*d - p = 84. Does 8 divide d?
False
Let u be -23 - (-5 - (-4)/2). Let b be ((-64)/u)/(2/35). Is 28 a factor of b - (0/1)/4?
True
Suppose 4*f = 3*y + 16, -3*y + 7 = 4*f - 9. Suppose 0 = -3*w + w + 280. Does 3 divide (w/21)/(f/6)?
False
Let u be (-1 - 0)/((-2)/(-8)). Let d be ((-2)/4)/(u/32). Suppose 8*o = d*o + 132. Is 16 a factor of o?
False
Suppose -10*m - 6369 = -28609. Does 15 divide m?
False
Let i = 75 - -72. Is 8 a factor of i?
False
Suppose 0 = -2*n + 5*s + 11, 2 - 11 = -3*s. Does 6 divide n?
False
Let x = 647 - 603. Is x a multiple of 22?
True
Let v(y) = 2*y**3 - 2*y**2 + 3. Let z be v(2). Suppose 8*l - 9*l + z = 0. Is 7 a factor of l?
False
Let g = 30 + -39. Let x(m) = m**3 + 10*m**2 + 5*m + 13. Is 6 a fact