. Is 14 a factor of o?
False
Suppose -146 = -k - 3*d, -106 = -5*k + 4*d + 681. Suppose k = 5*s - 155. Suppose -2*h + s + 42 = 0. Does 13 divide h?
True
Let d(i) = 2*i**3 - 7*i**2 + 21*i - 70. Is 8 a factor of d(10)?
True
Let u = 14 - 8. Let b = u + -4. Suppose b*k + 67 = y, k + 1 - 3 = 0. Is 28 a factor of y?
False
Suppose 2*r = -0*t + 5*t - 21, 2*t - 18 = 4*r. Suppose 5*i + l - 64 = 5*l, t*i - 33 = -3*l. Is i a multiple of 2?
True
Let r = -16 + 13. Does 7 divide 0 + r + (-98)/(-2)?
False
Suppose -3*c + p + 1044 = 4*p, 711 = 2*c - p. Is 16 a factor of c?
False
Suppose 6*q - 2 = 4*q + 2*r, 2*r - 13 = -3*q. Suppose 2*n = -5*k + 451, q*k = -5*n + 322 - 40. Does 6 divide k?
False
Let t(n) = -87*n - 1065. Is 9 a factor of t(-17)?
True
Suppose 5015 = 4*l + l - 2*c, 4*l - 4029 = 5*c. Does 16 divide l?
False
Suppose 0 = 2*x + 455 + 397. Let k = 771 + x. Suppose 11*d = 6*d + k. Is 16 a factor of d?
False
Suppose -12*j - 24 = -13*j. Suppose 24*h - j = 23*h. Does 2 divide h?
True
Let r(w) = -3*w + 16. Let d(j) = j - 8. Suppose -8 = k - 5*k. Let p(s) = k*r(s) + 5*d(s). Does 2 divide p(-11)?
False
Suppose 5*w - v = 1281, w - 35*v = -32*v + 245. Is 7 a factor of w?
False
Let v(w) = w**3 + 2*w**2 + 3*w + 4. Let j(f) = 1. Let n(a) = 4*j(a) - v(a). Is n(-5) a multiple of 15?
True
Suppose -187 - 209 = -12*h. Does 7 divide h?
False
Suppose 6*l - 11*l + 5*y + 895 = 0, -3*y = -9. Is 7 a factor of l?
True
Let w = 1338 + -781. Suppose 4*j - w = -205. Is 12 a factor of j?
False
Let p(b) = 75*b**2 - 6*b + 7. Let h be p(1). Suppose 2*t - 5*w = 3 - 0, 4*t + 4*w - h = 0. Is t even?
True
Suppose -u + 944 = 2*g + g, -3*g + 2*u + 956 = 0. Suppose 3*y = -5*w + 363, -3*w - w + 4*y + g = 0. Suppose 3*v - w - 54 = 0. Does 15 divide v?
False
Let i(o) = -o**3 + 10*o**2. Let t be i(10). Suppose t = 20*h - 13*h - 826. Is 28 a factor of h?
False
Let c(i) = 48*i + 615. Is c(0) a multiple of 14?
False
Let y(z) = -75*z + 12. Let g be y(-8). Suppose l + 5*k - 171 = 0, -2*l - 2*l + g = 2*k. Does 23 divide l?
False
Let m(i) be the third derivative of -i**6/120 - i**5/60 + i**4/12 + i**3/2 + 3*i**2. Is 2 a factor of m(-3)?
False
Let k(x) = -35*x - 105. Let j be k(-30). Suppose -j = -4*l - 97. Is l a multiple of 53?
True
Let u(p) = -6*p - 8. Let o be u(-4). Let a = 76 - o. Does 12 divide a?
True
Suppose 103 + 77 = -6*i. Let z = 34 + i. Suppose u = -z + 45. Does 16 divide u?
False
Suppose 0 = -4*j + 9 + 7, -3*i - 2*j = 61. Let t = -21 - i. Suppose 220 = 4*h + 6*g - t*g, 4 = -2*g. Is 13 a factor of h?
False
Let j(n) = 2*n - 6 - 3*n**3 - 4*n**2 + 13 - 4*n - 19. Is j(-5) a multiple of 13?
True
Let r = 2249 - 1567. Does 12 divide r?
False
Let r(d) = d**3 - 10*d**2 + 3*d + 26. Let o be r(9). Let i = 85 + o. Is 19 a factor of i?
True
Let v = -245 + 424. Let y = -122 + v. Is 19 a factor of y?
True
Let p = -52 + 46. Let d(o) = -26*o - 25. Is 16 a factor of d(p)?
False
Let o(z) = 35*z**2 - 3*z + 108. Is o(-9) a multiple of 33?
True
Let m be 6/(-27) + 2/9. Suppose -3*k - p + 72 = 0, 5*k - 110 = -m*k - 5*p. Does 7 divide k?
False
Let k = -27 - -32. Suppose k*f - 30 - 5 = 0. Is 7 a factor of f?
True
Suppose 171 - 735 = 6*t. Let p = 310 + -144. Let h = t + p. Is 24 a factor of h?
True
Let u(n) = -n**3 + 7*n**2 - 5*n - 1. Let g be u(4). Suppose 0 = 4*i - g - 85. Does 7 divide i?
True
Let j(q) = -190*q**3 + 2*q**2 + 4*q + 4. Is 81 a factor of j(-2)?
False
Suppose -1 + 6 = 4*s - l, s = -l - 5. Suppose -3*d + 9 = -0*d. Suppose s = t + d*t - 60. Is 5 a factor of t?
True
Let v(c) be the second derivative of 2*c**4/3 + 7*c**3/6 + c**2 - 6*c. Let w be v(5). Suppose 0*q + 93 = d - 4*q, 3*d + 2*q - w = 0. Is d a multiple of 22?
False
Is 6/(-111) + (-944097)/(-777) a multiple of 34?
False
Suppose 0 = -6*j + 474 - 114. Is j a multiple of 4?
True
Suppose 9271 = 27*i - 26261. Is 33 a factor of i?
False
Let y(n) = -27*n**2 - n - 18*n**2 + 46*n**2 - 6. Let f(p) = -p**2 - 6*p + 5. Let w be f(-6). Is y(w) a multiple of 6?
False
Suppose -65 = -t - o, -5*o - 58 = -3*t + 161. Let x be 18/6*t/(-6). Does 5 divide x/(-3) - (-12)/(-36)?
False
Let l(k) be the first derivative of k**4/4 - 8*k**3/3 - 11*k**2/2 - 22*k - 7. Let n be l(11). Suppose 2*d - 3*b - 106 = -b, 4*d + 4*b = n. Is 18 a factor of d?
True
Let w = -100 + 445. Let k = -237 + w. Is k a multiple of 12?
True
Let l(c) = -62*c - 305. Does 7 divide l(-10)?
True
Does 26 divide -12*((-321)/9 - (-2 - -3))?
False
Suppose 0 - 16 = 2*q. Let b(m) = -m**2 - 11*m + 5. Let a be b(q). Suppose -o + 0*o + a = 0. Does 9 divide o?
False
Suppose -2*u = 3*h + 11, u + 5 = -h - 0*u. Is (-4 - h*6)*5 a multiple of 5?
True
Suppose -146 = 2*r - 472. Let g = -109 + r. Is g a multiple of 18?
True
Let x = -273 - -903. Does 7 divide x?
True
Let n = -38 - -39. Let q = -7 + 14. Does 2 divide (-24)/(-16)*(q - n)?
False
Let n(x) = 4*x**2 + 6*x - 19. Let r be (-15)/(-4) + (-42)/56. Does 15 divide n(r)?
False
Let r = 219 + -123. Is r a multiple of 4?
True
Let r = 435 - -44. Is r a multiple of 40?
False
Let o(r) = 10*r**2 + 6*r - 4. Let n be o(-5). Suppose -w + 0*h - 3*h + n = 0, -5*w + 5*h = -1000. Does 17 divide w?
True
Let g = -32 - -140. Is 4 a factor of g?
True
Suppose 2119 = 4*f + 3*x, 3*x = -2*f + 255 + 800. Does 42 divide f?
False
Let q be (3 + 5/(-2))/((-2)/(-16)). Suppose b - 56 = -5*w, 0*b + q*b = -2*w + 314. Is b a multiple of 15?
False
Is 22 a factor of (13 - 1) + 1 + 1505?
True
Suppose 4*d - 212 - 28 = 0. Does 20 divide d?
True
Let f be (4 + 189)/(2/4) + -1. Suppose -3*i - f = -10*i. Does 11 divide i?
True
Suppose l + l = -l. Suppose l = -48*f + 51*f - 75. Does 11 divide f?
False
Suppose -5*l = -2*l + 5*l. Is 24 a factor of (-1855)/(-45) - (l + 4/18)?
False
Let l(r) = r - 8. Let f be l(10). Let o be ((-175)/4)/((-2)/8). Suppose -f*x + o = 3*x. Is x a multiple of 12?
False
Let c(o) = -o**3 + 8*o**2 - 10*o + 10. Let p be c(8). Let n be ((-120)/p)/((-2)/(-7)). Suppose -4*h + n = 4*a - 6, 0 = 5*h + 25. Does 4 divide a?
True
Let o = 2329 + -2146. Is 3 a factor of o?
True
Suppose 3*a - 796 = -3*o + 5*o, -4*o - 1068 = -4*a. Is 19 a factor of a?
False
Let j(b) = -204*b - 13. Let i be j(-4). Suppose 6*y - 2633 = -i. Is 61 a factor of y?
True
Let h(w) be the first derivative of -w**4/4 - 22*w - 7. Let s be h(0). Is 11 a factor of 8/(-44) - 532/s?
False
Suppose 6*d + 10 = 4*d. Let x(c) = 2*c**3 + 4*c + 7*c**2 + 2*c**3 - 3*c**3. Is x(d) a multiple of 10?
True
Suppose 5*m + 4 = 19. Suppose -3*d = -4*f + 5, 6*d - 4*d = m*f - 4. Is 9 a factor of (-2)/f + (4 - -6)?
True
Suppose 0 = 3*d + w - 2101, -3*d + 45*w = 42*w - 2121. Does 39 divide d?
True
Let z(h) = h**3 + 9*h**2 + 2*h + 127. Let k be z(-10). Let m(x) = -3*x + 22 + 0*x + x. Does 2 divide m(k)?
True
Let l(y) be the third derivative of y**5/60 + 2*y**4/3 - 9*y**3 + 17*y**2. Does 2 divide l(-19)?
False
Suppose -k = 5*k - 1002. Let p = k + 25. Does 33 divide p?
False
Let i(a) = -a + 1. Let s be i(-5). Suppose -s*c + 3 = -3*c. Suppose 0 = -2*o + c + 7. Does 4 divide o?
True
Let q(w) = 8 + 12 - w - 2 - 5. Is 11 a factor of q(-19)?
False
Suppose m - 19 = -a, 2*a - m - 81 = -2*a. Suppose -3*j + 11 = -4. Suppose -j*y + 165 = -a. Does 12 divide y?
False
Let a(k) be the third derivative of k**6/120 + k**5/5 + 11*k**4/24 + k**3/3 + 10*k**2. Does 25 divide a(-7)?
False
Does 30 divide -36 - -35 - 421*-1?
True
Let d = -12 - -16. Let i be 34*d/(-16)*-2. Is 8 a factor of 5/10*(i - 1)?
True
Let w(y) be the third derivative of 0 - 1/12*y**4 + 4*y**2 + 0*y + 2/3*y**3. Is 9 a factor of w(-4)?
False
Let z(b) = 5*b**3 + b. Let t be z(1). Suppose 3*m + 51 = t. Is 10 a factor of 346/10 + (-6)/m?
False
Let i be (40/15 + -3)*-6. Suppose s = -i*s - 3*t + 45, -2*s = 4*t - 34. Is 13 a factor of s?
True
Suppose 17*v - 3434 - 2533 = 0. Does 9 divide v?
True
Let p(c) = 328*c + 8. Let f(z) = z**3 - 4*z**2 + 4*z + 1. Let h be f(3). Let b be p(h). Is b/39 - (-10)/65 a multiple of 17?
True
Let p(k) = -2*k + 101. Is 3 a factor of p(15)?
False
Suppose 0 = 2*z + 2*v - 1316, -2*z + 3*v + 617 = -679. Does 6 divide z?
True
Let o be 36/(-10) - (-2)/(-5). Let i(q) = -q**3 + 4*q**2 + 6*q + 3. Let n be i(o). Suppose -3*s + 4 = -n. Is 6 a factor of s?
False
Suppose -2*n + 5 = 5*s - 4, 0 = s - 4*n - 15. Let k be s - (-1 - 4/(-2)). Suppose 2*o = 0, k*x + 4*o - 179 = -65. Does 15 divide x?
Fal