3 divide -127 + 130 + (6/(-4) - 12942/(-4))?
True
Let g = 30 + -19. Suppose -393*v - 839 + 693 = 1819. Let j = g - v. Does 8 divide j?
True
Suppose -5*j + 1384 + 2456 = 0. Suppose -2115 = -5*h + 5*i, j + 74 = 2*h - 3*i. Is h a multiple of 46?
False
Suppose -3*k = 2*m - 8328, 3*m + 12*k - 12530 = 17*k. Does 16 divide m?
False
Suppose -5*l - 30 = 30. Let g(v) = v**2 - 2*v - 8. Let x be g(l). Suppose y - s = 3*s + x, -3*y + 444 = -3*s. Is 32 a factor of y?
False
Let t be -1 + 4/3 + 545/(-15). Does 13 divide (t/45)/(-3 + (-10132)/(-3380))?
True
Let x = 777 + -528. Let w = x + -144. Is w a multiple of 22?
False
Suppose 4 = 2*m - 5*j, -3*j + 2 = -4. Let s be 2/m + 84/49. Suppose s*f - 5*f = -411. Is 14 a factor of f?
False
Let k(j) = j**3 + 5*j**2 - 6*j + 5. Let n be k(-6). Suppose 0 = -n*y - 0*y + 380. Suppose -24 = -4*v + y. Is v a multiple of 5?
True
Let y = -809 - -320. Let a = y + 830. Is 31 a factor of a?
True
Let l = -4 + 4. Let v(m) = -m**2 - m + 3. Let i be v(l). Does 12 divide 3/((i - 2) + (-366)/384)?
False
Let h(b) = 18*b**3 - 7*b**2 + 15*b - 96. Is 12 a factor of h(7)?
False
Let d(l) = 2*l**2 + 5*l + 2. Let j be d(-3). Suppose j*w = -4*h + 4 + 8, 2*w - 6 = -h. Suppose -100 = -4*o + o - w*y, 3*o - 72 = 3*y. Is o a multiple of 9?
False
Let k = -421 - -113. Let u = k - -627. Is u a multiple of 29?
True
Let i(t) = -25*t**2 - 4*t + 12. Let j be i(4). Let n be (-1)/((-2)/2) - j. Let x = -278 + n. Is 10 a factor of x?
False
Is ((-2)/4)/((-2)/8136 + 0/(-59)) a multiple of 9?
True
Suppose -3*i + 12 + 3 = 0. Suppose -206 = 2*o - 214. Suppose -g = -o*b + 48, g = -2*b + 19 + i. Does 3 divide b?
True
Let s be 2/10 + 76/20. Suppose -f - 13 + 41 = 5*l, 3*f = -s*l + 18. Is 9 a factor of l/57 - 853/(-19)?
True
Suppose 9*j = 8*j + 438. Let y = j + -294. Does 24 divide y?
True
Let p be (14/6 + -3)/((-5)/60). Let w(i) = -i**2 + 9*i - 2. Let s be w(p). Suppose 7*k - 56 = s*k. Does 14 divide k?
True
Let i(w) = 535*w**2 - 464*w - 1389. Is i(-3) a multiple of 146?
True
Suppose -x - 1 = 2*i, 3*x - x = 3*i - 16. Let q be (1/(-8)*i)/((-6)/2424). Let r = q - 76. Is 17 a factor of r?
False
Let o(w) = w**3 + 44*w**2 - 83*w - 31. Is o(-43) a multiple of 5?
False
Does 11 divide 13 - (2 + -5104 - 0)?
True
Suppose 5*l - 6*l = 2*b - 1676, 5*l + 2501 = 3*b. Let h = b - 545. Is h a multiple of 39?
False
Let a(x) = 17*x**2 - 2*x + 3. Let i be a(-3). Suppose m - 12 = 219. Let f = m - i. Is f a multiple of 11?
False
Let i(g) = 7*g - 131. Let n be i(19). Suppose -n*b + 781 = -5*z - 459, -4*b - 2*z + 2528 = 0. Is b a multiple of 30?
True
Does 20 divide (26/3)/((-15 + 14)/(-360))?
True
Let r(d) be the third derivative of 0*d - 1/60*d**5 + 19/24*d**4 + 0 - 42*d**2 - 8/3*d**3. Does 24 divide r(8)?
True
Suppose 114*r - 13647 = 26957 + 7276. Is 6 a factor of r?
True
Does 245 divide 9/((-360)/184) - 6/(-10) - -32109?
False
Let i = 900 - 919. Let q(d) = 6*d**2 + 97*d - 48. Is 60 a factor of q(i)?
False
Let j(d) = d**2 - 4*d. Let l be j(4). Let v(n) = -n**2 - 24*n - 75. Let p be v(-4). Suppose 0 = -s - 4*u + 56, -p*s - 5*u + 134 + 131 = l. Does 4 divide s?
True
Let x(y) = 2*y**2 - 9*y - 4. Let z be x(7). Let k = 30 - z. Is ((-936)/6)/(k - (1 + -1)) a multiple of 58?
False
Let q(g) = 40*g**2 + 22*g + 94. Let m be q(-4). Is m + 4 + (-1 - 8) a multiple of 19?
False
Let a = -10839 - -22503. Is a a multiple of 81?
True
Let u(d) = 13*d**2 + 5*d - 42. Is 5 a factor of u(6)?
False
Suppose -155*o + 1180 = -153*o. Does 5 divide o?
True
Let f(x) = -x**2 + 6*x + 16. Let v be f(5). Suppose y = -3*l - v, 5*y - l + 94 = -43. Does 10 divide 24/(-18)*y + 1?
False
Let c(p) = 32*p - 34*p - 6 - 13. Let q be c(-13). Suppose 2*l = -l - 15, 3*g + 5*l + q = 0. Is g a multiple of 3?
True
Suppose 4*w - 5*w - 68 = 4*l, 5*l - 5*w = -110. Suppose -4*f + 152 = -4*c, 0 = 3*f + 2*c - 4*c - 115. Let r = f + l. Is 9 a factor of r?
False
Suppose -11820 = -2*d + 2*p, -6*d = 31*p - 34*p - 35460. Is 6 a factor of d?
True
Suppose 0 = -0*j + 3*j + 144. Let c be (1 - 17)/8*(1 + -3). Is (j/(-5))/((-5)/((-150)/c)) a multiple of 33?
False
Let h(u) = u**3 - 8*u**2 + 9*u - 10. Let y be h(7). Suppose -3*n = s - y, -3*n + n = -2. Let l(r) = 41*r**2 - 2*r + 3. Is l(s) a multiple of 19?
False
Suppose 0 = 4*s - 4*k - 12668, -17*k - 6340 = -2*s - 21*k. Does 22 divide s?
True
Let w(q) = -19*q**3 - 2*q + 1. Let b be w(1). Let m be -10*b/(-6)*(-30)/(-8). Let i = m - -261. Is 20 a factor of i?
False
Suppose u = 4*f - 0 + 37, 4*f = -5*u + 65. Is 67 a factor of (-1 - u)/((-2)/67)?
True
Suppose 18*w - 5*w + 5*w = 0. Suppose 7*h - 489 - 190 = w. Is 2 a factor of h?
False
Let r(z) = -54*z + 60*z + 13*z**2 - 12*z**2 + 13. Let f(n) = n**3 + 2*n**2 + 1. Let c be f(-3). Is r(c) even?
False
Let u(l) = l**2 - l - l - 2 - 4*l + 0. Let t be u(-6). Suppose t = 2*h + 2*j, -4*h + h = -3*j - 135. Is h a multiple of 8?
True
Let w be 8/(5*(-4)/10). Does 16 divide 3 + 416 + w + 1?
True
Let t(j) = 1111*j + 215. Is t(1) a multiple of 54?
False
Suppose -5*m - 3*j + j + 372 = 0, 3*m - 223 = -j. Let v = 34 + m. Does 3 divide v?
True
Let u(y) = -4*y**3 - y**2 - 2*y - 1. Let g be u(-1). Suppose 5*f + 4 = -4*m, g*m - 19 = 5*f + 17. Suppose -m*i + 2*i + 36 = 0. Does 11 divide i?
False
Let w = -13030 - -23084. Is 11 a factor of w?
True
Let a = -56 + 50. Let k = a + 10. Suppose -t + k*t = 123. Does 41 divide t?
True
Let w(b) = 6978*b + 2484. Does 23 divide w(8)?
False
Suppose 0 = 4*o - 21 - 7. Suppose 9*b - o*b + 50 = 0. Let s = b + 41. Does 10 divide s?
False
Suppose 0 = -3*r - 2*r - 7*r. Let b(m) = 22*m - 9 - 2 - 3 + r. Does 20 divide b(7)?
True
Suppose 0 = 4*g - 25 + 13. Suppose -n = g*n + 2*c - 4, 3*n + 3*c + 3 = 0. Suppose -3*m + n*s + 540 = 0, -6*s = -m - s + 188. Does 27 divide m?
False
Suppose 13*r + 9 + 30 = 0. Let a be (-2750)/176 + r/8. Let s = a + 82. Is 24 a factor of s?
False
Suppose 5*t - 5*m + 50 = -40, 3*m = 0. Let i = 19 + t. Does 22 divide (-366)/6*-2*i?
False
Is 32 a factor of 7283 - 59 - (-1 + -19)?
False
Let a(u) = u**3 - 186*u**2 - 195*u + 3993. Is a(187) a multiple of 11?
True
Let b(g) be the third derivative of g**8/10080 + 79*g**6/720 + 4*g**5/15 + 15*g**2. Let j(z) be the third derivative of b(z). Is j(0) a multiple of 36?
False
Suppose 3*w = 475 - 46. Let b = 215 - w. Does 12 divide b?
True
Let k(t) = -t**3 - 5*t**2 - 3*t - 9. Suppose 3*d - 9*d - 30 = 0. Let p be k(d). Let j(q) = q**3 - 3*q**2 - 6*q - 8. Is 16 a factor of j(p)?
True
Let m(a) = 9*a**2 - 23*a - 30. Is m(-6) a multiple of 8?
True
Suppose 34*v - 29*v + 5 = 0. Let z be (2/4)/(v*4/(-24)). Suppose -2*w - 3*w - z*u = -84, -4*u = 2*w - 28. Is w a multiple of 7?
False
Suppose 0 = 5*n - i + 16, -3*n + 3*i + 3 = 15. Let o be 517/3 - 2/n. Let y = o - 93. Is 8 a factor of y?
True
Let i(y) = -210*y**2 - 13*y + 59. Let j be i(5). Is j/(-27) - 3/(-9) a multiple of 8?
False
Let c(w) = -w**3 + 5*w**2 + 17*w - 17. Let l be c(7). Suppose 0 = -l*x - 12*k + 10*k + 1448, 0 = 4*x + 5*k - 1460. Is x a multiple of 6?
True
Suppose -5*p + 11830 = -14270. Is p a multiple of 145?
True
Let q(t) = t**3 + 12*t**2 - 14*t - 1. Let s = -61 + 48. Is q(s) even?
True
Let b = -131 + 136. Suppose -5*l = 4*m - 1, -m - 7 = 2*l - b. Suppose -m*z + 3*t = -225, z + 3*t - 32 = 13. Is z a multiple of 18?
True
Let s be (1 - 25)*(-2)/(-3). Let k(o) = -2*o**2 - 32*o + 19. Is 19 a factor of k(s)?
True
Suppose 0*w + 650 = 5*w. Let y = w + -120. Suppose 11*p - 221 = y*p. Is 13 a factor of p?
True
Let l(q) = -3*q - q - 3*q + 6*q - 4. Let x be l(-9). Suppose 6*a = 2*a + x*j + 490, 3*j - 474 = -4*a. Is 24 a factor of a?
True
Suppose 24*j + 35751 - 374775 = 0. Does 16 divide j?
False
Suppose -b - 1818 = -5*k, -845*k + 1812 = -840*k + b. Is k a multiple of 3?
True
Suppose -2*f + 2*j + 320 = 0, 0 = -f + 4*j - 19 + 170. Is 8 a factor of f?
False
Let j(l) = 3*l + 1. Let n(x) = -2*x**2 - 12*x - 2. Let y(v) = 4*j(v) - n(v). Is 43 a factor of y(10)?
False
Let d(y) = 0*y - y + 2 + 14*y**2 + 6*y. Let h = -134 - -132. Is 12 a factor of d(h)?
True
Let r(f) = -16*f + 98. Let t be r(6). Suppose -4*d = a - 4*a + 41, -t*d - 4 = 0. Is a a multiple of 4?
False
Suppose -f - 52 = 3*i, 0 = -5*f - 0*i + 3*i - 242. Let p = f + 51. Is (p/(-6))/(2/(-6))*108 a multiple of 12?
True
Let u = 309 + -289. Let a(x) = -x**2 + 19*x + 36. Is 5 a factor of a(u)?
F