c be (6/(-5))/(16/40). Let y be n(c). Suppose -z - 7 - 507 = -5*m, -4*m - y*z = -396. Is m a multiple of 34?
True
Suppose 2*d - 7 - 13 = 0. Suppose d - 150 = -4*w. Is w a multiple of 11?
False
Let b(c) = c**2 + 5*c + 13. Let f be b(-3). Suppose l = 3*h - 73, 3*l + f + 5 = 0. Is h a multiple of 12?
False
Suppose 176 = -2*r - 40. Let l = -597 + 570. Is 29 a factor of (l/(-18))/((-2)/r)?
False
Suppose -5*s + 58 = 8. Let p = 21 + s. Is p a multiple of 3?
False
Let j = -151 - -154. Suppose s = -5*m + m + 110, -j*m - 198 = -2*s. Is s a multiple of 17?
True
Let o = 3028 + -972. Is 8 a factor of o?
True
Let o = 117 - 249. Let t = o - -277. Is t a multiple of 23?
False
Suppose -y - 4 = 0, 0*y + 4 = -f - 2*y. Let w be 2/(f/(-73))*-2. Suppose w + 1 = 2*g. Does 10 divide g?
False
Let i(c) = -15 + 6*c - 3*c + 3*c. Is i(10) a multiple of 9?
True
Let z(g) = g - 6. Let l be z(-18). Let m be (112/l)/(2/12). Let w = 12 - m. Is w a multiple of 8?
True
Let a(l) be the second derivative of -5*l**5/24 + l**3/3 - 5*l. Let s(q) be the second derivative of a(q). Does 26 divide s(-3)?
False
Suppose -2*z - 4*v + 40 = 0, -3*z - 124 = -7*z + 3*v. Let l = -19 + z. Is l a multiple of 2?
False
Does 50 divide 457 - (3/(-2))/(12/16)?
False
Let c(w) = w**2 - 8*w + 7. Let b be c(8). Let z = b + -5. Suppose 0 = -z*s + 3*s - 5. Is s a multiple of 5?
True
Does 58 divide (-346 - 2)/((-66)/176)?
True
Let o(k) = -13*k**3 + 23*k**2 + 15*k + 52. Let r(s) = 3*s**3 - 6*s**2 - 4*s - 13. Let m(x) = -2*o(x) - 9*r(x). Is m(7) a multiple of 6?
False
Let n(o) = -o**3 + 21*o**2 - 3*o + 19. Is 10 a factor of n(9)?
False
Suppose 31 = -4*p + 83. Let m = 18 - p. Suppose -4*t = -m*x + 100, 4*x = t - 0*t + 80. Is 8 a factor of x?
False
Suppose -4*g - g = 0. Suppose 0*d - 4*d + 244 = g. Suppose 3*f + 1 = -x, 20 - d = -3*x + 2*f. Is 3 a factor of x?
False
Suppose -5*w = -10*w + 475. Suppose 5*o = 10*o + w. Let a = 3 - o. Is 17 a factor of a?
False
Suppose 3*a + 2*g = 4, -2 = -2*a - 2*a - g. Suppose a = -2*d - 3*d + 30. Let n(w) = 6*w + 9. Is n(d) a multiple of 15?
True
Suppose 39*b - 34 = 41*b. Let u = 49 - b. Is 11 a factor of u?
True
Is (-5)/20 - (2499/(-28) + -3) a multiple of 12?
False
Suppose 0 = 4*x + 25 - 9. Let g(i) = 4*i**2 + 4*i + 6. Let f(o) = -5*o**2 - 5*o - 7. Let s(p) = 3*f(p) + 4*g(p). Does 11 divide s(x)?
False
Is 2 a factor of 6 - 5/10*-114?
False
Let r(x) = 5*x + 0*x - x. Let f = -18 + 21. Is r(f) a multiple of 6?
True
Let z(c) = c**3 - 15*c**2 + 18*c - 9. Let l = 34 + -20. Is 30 a factor of z(l)?
False
Let n(p) = 4*p**2 - 26*p + 12. Is n(8) a multiple of 30?
True
Let d(y) = -2*y**3 - 7*y**2 - 2*y + 1. Let r be d(-5). Suppose q = r + 61. Suppose 5*j = -27 + q. Does 8 divide j?
True
Let v(u) = u**3 - 11*u**2 + 7*u + 52. Does 20 divide v(12)?
True
Suppose 3*j - 5*j = 5*d - 1394, 3*d - 855 = 5*j. Is d even?
True
Let f(z) = -4*z**3 - 2*z**2 - 2*z - 2. Suppose 0 = 5*s - 4*a - 24, s - 2*a = -a + 5. Suppose -2*r = 5*k - 11, 0*r = s*r - 5*k + 23. Does 13 divide f(r)?
True
Suppose -w = -231 - 151. Is w a multiple of 46?
False
Suppose 32 = 3*n + 8. Is -50*((-20)/n + 2) a multiple of 25?
True
Let v(o) = 3*o + 111. Let j be v(0). Suppose -r + i - 39 = 0, 2*r - 3*r - 5*i = 69. Let g = j + r. Does 20 divide g?
False
Let u(d) = 4*d + 18. Let c(l) = 3*l + 12. Let k(i) = 7*c(i) - 5*u(i). Let b be k(9). Suppose -b*g - 11 = -4*g. Is g a multiple of 9?
False
Let i = -366 + 528. Does 18 divide i?
True
Suppose 0 = -2*m + 5*l + 231, 4*l - 204 = -6*m + 4*m. Let c(t) = -t + 1. Let o be c(-4). Suppose 2*b - o*n = m, 5*b + 0*b - 270 = 3*n. Does 16 divide b?
False
Let j = -97 + 447. Does 7 divide j?
True
Let x = 23 + -19. Let b be x/10 - 88/(-55). Does 38 divide 77/b + (-9)/18?
True
Let k be ((-63)/(-12) - 4)*4. Let j be k/((-60)/(-8))*6. Suppose -s = -j*y - 0*s + 240, -3*y - 4*s + 180 = 0. Is y a multiple of 16?
False
Let y(d) = 5*d**3 + 9*d**2 + 14*d + 1. Let r be y(-3). Let f be 2*2/(-4)*35. Let h = f - r. Does 15 divide h?
True
Suppose 528 = -4*r + 6*r - 4*o, 6 = -2*o. Is r a multiple of 26?
False
Let x(m) = 4*m - 8. Does 5 divide x(7)?
True
Suppose 2*x - 2684 = -2*f, -5*f + x + 5289 + 1415 = 0. Is f a multiple of 30?
False
Let t(s) = s**3 - 33*s**2 + 4*s + 58. Does 4 divide t(33)?
False
Let b(x) = x**3 + 4*x**2 + 3*x + 3. Suppose -3*s + 0*s - 6 = -2*p, -5*s = -p + 17. Let q be b(p). Does 5 divide (-97)/(-6) + q/(-18)?
False
Let y = 699 + -318. Is 17 a factor of y?
False
Let q = 52 + -34. Is 5 a factor of ((-126)/q)/(1/(-5))?
True
Suppose 248 = 4*t + 6*z - z, -3*t + 3*z = -159. Let j = t + 56. Does 11 divide j?
False
Let k be 10/(-3 - -1*(-188)/(-60)). Does 2 divide ((-240)/k)/(1/(-5))?
True
Let k(y) = y**3 - 9*y**2 + 11*y - 3. Let p be k(8). Let f = p + 24. Does 15 divide f?
True
Let d be (3 + 21/2)*-2. Let r = d - -28. Is 4 - (3 - 15)/r a multiple of 7?
False
Let p = 1353 - 660. Is p a multiple of 21?
True
Let k(a) = 2*a**2 + 11*a - 11. Let g(z) = -z**3 + 2*z**2 - 2. Let f be g(3). Is 11 a factor of k(f)?
True
Suppose -3*b + 50 = -u - 69, 113 = 3*b + 2*u. Suppose 2*h - b = -h. Is 13 a factor of h?
True
Suppose 415 = 5*q - 1435. Suppose 1630 = 4*h + q. Suppose -4*f = -9*f + h. Is f a multiple of 25?
False
Let d(o) = o**2 + o. Let b be d(0). Suppose -2*p + b*p = -6. Suppose -p*q + 0*q = -90. Is q a multiple of 15?
True
Let y(g) = g**2 - 8*g + 7. Let d be y(8). Suppose t - d = -1. Suppose 69 = 7*m - t*m. Is m a multiple of 23?
True
Suppose 0*s = -2*s + 8. Suppose -3*f = -5*v - 23, -s*v - 1 = 5*f + 10. Does 24 divide (-143)/v + (-15)/20?
False
Let j = 28 - 14. Does 12 divide 1552/18 - 2 - j/63?
True
Suppose 4292 = 4*q + 5*u, -3*q + 4*u + 9 = -3179. Is q a multiple of 9?
False
Let z = -106 + -68. Let f be z/21 - 4/(-14). Let l = 13 + f. Does 5 divide l?
True
Is 12 a factor of ((-291)/2)/(-2 - 5/(-4))?
False
Suppose -21 = -6*a + 39. Is -1 + a + 4/4 a multiple of 5?
True
Suppose 11*b = 3*b. Suppose -2*p + f + 19 = -b*p, -4*p = -4*f - 28. Is p a multiple of 12?
True
Let d(b) = 2*b**2 - 41*b - 7. Is 14 a factor of d(31)?
True
Let s(o) = 4*o + 10. Let i be s(5). Suppose 24*z = 27*z - i. Is 2 a factor of z?
True
Let c(o) = o**2 - 43*o + 84. Is 21 a factor of c(49)?
True
Let t = 16 - 72. Is 14 a factor of t*(-4 - -3)/1?
True
Let g(s) = -4*s**3 - 5*s**2 - 4*s. Let z be g(-3). Let p be (-5 - 0)*(-10146)/445. Let i = p - z. Is i a multiple of 11?
False
Is ((-9)/(-4))/3 - 65/(-4) a multiple of 13?
False
Let q(a) = a**3 - 7*a**2 + 8*a + 10. Let g = -30 - -36. Does 11 divide q(g)?
True
Suppose 0 = 101*u - 108*u + 1281. Does 23 divide u?
False
Let r(b) = 44*b - 31. Is r(2) a multiple of 19?
True
Suppose 0 = -o + n + 1215, -4701 + 1056 = -3*o + 4*n. Does 74 divide o?
False
Suppose -16*i + 10052 + 2252 = 0. Is i a multiple of 42?
False
Let f(c) = 8*c**3 + c**2 + 22*c - 51. Is f(6) a multiple of 16?
False
Suppose -4*s + 145 = -5*t, -t + 0*s = -3*s + 18. Is 1 - (-2 + t + 2) a multiple of 10?
False
Is (-2)/5 - (-60)/225*2694 a multiple of 26?
False
Let k(z) = z**3 - 4*z**2 + z. Let q be k(4). Suppose -q*t + 22 = 2*o, -3*o - 6*t + 25 = -2*t. Suppose o*r = -2*c + 21, -r - 2*r + 2*c = -33. Is 3 a factor of r?
True
Let t be 30*3*(-4)/18. Let k = t + 47. Does 9 divide k?
True
Let r(h) = 5*h + 32. Let u(i) = -i + 1. Let j(t) = -r(t) + 5*u(t). Is 16 a factor of j(-9)?
False
Let s(k) = -10*k - 40. Let g be s(-4). Suppose -5*w = 5*y - 40, -1 = -4*w + 2*y + 1. Suppose -4*o + 72 = 3*f - 35, g = w*f - o - 127. Does 17 divide f?
False
Let u be (-13 - -4)/((-9)/78). Suppose 0 = -4*m + 2*r + u, -88 = 5*m + 3*r - 213. Suppose -98 = -5*c + m. Is c a multiple of 18?
False
Let n = 114 - 108. Suppose 729 + 315 = n*h. Is h a multiple of 6?
True
Suppose i - 15 = 4*m, -5*m - 2 = i + 10. Suppose 18 = 5*f + i. Is 3 a factor of f?
True
Suppose -4*s - 286 = 2*x - 1032, -2*x - s + 746 = 0. Let f = x + -162. Is f a multiple of 23?
False
Let z = 291 - -19. Is z a multiple of 10?
True
Suppose 0 = 3*j + u - 4536, -j - 1012 = -5*u - 2508. Is j a multiple of 11?
False
Let s(u) = -430*u**3 - u + 1. Suppose 5*b = -5*m + 3*m + 7, -b - 3 = -4*m. Let o be s(b). Is o/(-35) - (-4)/(-14) a multiple of 4?
True
Suppose -6 = -2*b + 10. Suppose 2*f = 5*s - 6*s + b, 0 = -f - 3*s + 14. Is f even?
True
Suppose a = 5 + 1. Let x be (-14)/4 + 3/a. Let k(t) = t**2 - 2*t - 3. Do