+ 3*i**2 + 6. Let d(y) be the second derivative of k(y). Does 12 divide d(8)?
True
Suppose 0 = -3*d - 0*d + 36. Let j = d + 0. Suppose 5*t - t = j. Is 3 a factor of t?
True
Suppose 0*z + z - 493 = 0. Suppose -374 = -i - 2*i - 5*d, 4*i + d = z. Suppose 2*g - i + 39 = 0. Is g a multiple of 24?
False
Let u be (-6 + 3)/(-3) - -33. Let z = u - 0. Does 7 divide z?
False
Suppose -4*a + 3*h = -5 - 44, 4*h = a - 22. Let x(w) = -w**3 + 6*w**2 + 7*w - 1. Let r be x(7). Let c = r + a. Does 3 divide c?
True
Let y(m) = 76*m + 95. Is 17 a factor of y(6)?
False
Let n(y) = 1313*y**2 - 1314*y**2 + 3*y + 4*y - 2. Let i be 3*((-10)/(-6))/1. Does 7 divide n(i)?
False
Let d = 422 + -105. Is d a multiple of 28?
False
Let m = -6 - -2. Let i be -14 + 13 - (-26)/(-2). Is 3699/63 + m/i a multiple of 23?
False
Let n(g) = -22*g + 28. Is 20 a factor of n(-6)?
True
Let v(i) = i**2 + 6*i - 7. Let b be v(-7). Let y(j) = j + 4. Let a be y(b). Suppose -4*w - 42 = 2*c - a*c, c - 5*w = 33. Does 4 divide c?
False
Suppose -6*u = 4*w - 4*u - 40, 4*w - 4*u - 64 = 0. Let o(d) = d**3 - 9*d**2 - 22*d - 3. Is o(w) a multiple of 33?
True
Does 6 divide (-90)/60 - (-419)/2?
False
Let k be 67 - (-1 - (1 + -1)). Suppose 3*d - 17 + 101 = 0. Let h = k + d. Does 20 divide h?
True
Suppose -3*g - 10 - 14 = -3*k, -k + 8 = -4*g. Let a be (0 - -4)*k*1. Let i = a + -4. Is i a multiple of 11?
False
Let o(m) be the first derivative of 10/3*m**3 - 3 - 7/2*m**2 - 8*m - 1/4*m**4. Is 16 a factor of o(8)?
True
Is (-1)/7 - (-858993)/357 a multiple of 64?
False
Let l = -770 + 1305. Does 5 divide l?
True
Let x(n) = -25*n**2 + 9*n + 6. Let t(f) = 13*f**2 - 4*f - 3. Let d(k) = 5*t(k) + 2*x(k). Is 9 a factor of d(-1)?
False
Let f = -282 + 472. Let n = f - 82. Is 17 a factor of n?
False
Let s = 45 - 42. Suppose -5*d - 314 = -4*p + 386, 5*p - s*d = 862. Is 34 a factor of p?
True
Suppose 0 = -47*h - 4*h + 13974. Does 12 divide h?
False
Let i(j) = 2*j**2 + 13*j - 15. Let q be (1 - 0)*(4 - 14). Is i(q) a multiple of 11?
True
Suppose 0 = -5*y + 2*g - 6, 1 - 7 = y + 2*g. Is 13 a factor of -2 + y - -6 - -37?
True
Suppose 3*m = -3*m + 294. Suppose m = 2*h - 15. Is 8 a factor of h?
True
Suppose -22 + 12 = 5*q, -5*c = q - 9028. Is c a multiple of 33?
False
Let y(t) = -t**2 + 14*t - 13. Let w be y(13). Let r be 3/((-1)/((-16)/6)). Let d = w + r. Does 2 divide d?
True
Is 7 a factor of (-86 - (-2 - -3))/((-351)/234)?
False
Let j be (1 + -1)*1/2. Suppose j = -3*t + 6, l + 5*t - 1 = 4*l. Suppose -l*c + 54 = -c. Does 11 divide c?
False
Let r(u) = 179*u + 134. Is 12 a factor of r(2)?
True
Let g(x) = x**2 - 17*x - 7. Let j be g(21). Does 10 divide j + (0 - 2) + 0?
False
Suppose 2*y - 3*j - 36 = 0, j + 12 = 2*y + 4*j. Suppose -y*x = -7*x + 5560. Is 10 a factor of (-8)/(-28) + x/(-28)?
True
Let u(i) be the third derivative of i**5/60 + i**4/24 - 7*i**3/6 + 19*i**2. Suppose g - 23 = -0*f + 4*f, -5*f = g + 31. Does 4 divide u(f)?
False
Let z = -756 - -936. Is z a multiple of 12?
True
Let m(t) = 2*t**2 + 10*t - 7. Let f be m(-9). Suppose -f - 575 = -4*h. Is 11 a factor of h?
False
Let f(v) = 4*v**3 - 2*v + 1. Let m be f(1). Let o(c) = 27 - 2*c**3 - c**2 - 2*c - 2*c**m - 2*c**3 + 7*c**3. Is 15 a factor of o(0)?
False
Let r be 157/5 + 2/(-5). Let c = -201 - -206. Let f = r + c. Is f a multiple of 36?
True
Let r = 9191 + -5630. Is 11 a factor of r?
False
Let w(p) = -p**3 - 5*p**2 + 4*p - 10. Let b be w(-6). Suppose -b*a + 251 = 3*x, 3*a - 436 + 70 = -x. Is 9 a factor of a?
False
Let n(r) = -r + 7. Let c be n(5). Suppose 0*j = c*j. Suppose -2*y = 3*k - 26, -y = -j*k + 4*k - 18. Does 4 divide y?
False
Let r be (8/10)/((-16)/(-280)). Suppose 5*k + 5*c + 10 = -0*k, -3*k - 5*c = r. Suppose 4*f - k*f = 2*x + 78, 5*x = 4*f - 154. Is 16 a factor of f?
False
Suppose -6*u + 6 - 18 = 0. Is 25 a factor of -2 + u/1*-26?
True
Suppose -4*l - 2*w = -914, -4*w - 230 = -l + 12. Is l a multiple of 5?
True
Is 6 + ((-924)/126)/((-4)/1074) a multiple of 66?
False
Let f = -7 + 10. Let c be f/(9/381) - 2. Suppose 5*b - c = -0*b. Is 11 a factor of b?
False
Suppose 0*t - 48 = -4*t. Let w = t + -5. Does 5 divide w?
False
Let l be (33/9 + -3)*3. Let s(v) = -11*v + 2 - l + 5*v. Is s(-5) a multiple of 7?
False
Let y = -11 - -13. Suppose 3*c = -y*a + 231, a = -c + 52 + 25. Is c a multiple of 11?
True
Let f(j) = -54*j**3 + 7*j**2 + 4*j + 4. Does 4 divide f(-2)?
True
Let s(k) = -638*k + 4. Let o be s(3). Does 16 divide 4/22 + 2 + o/(-22)?
False
Let d be (-1 - -1)*(-3)/(-6). Suppose d = -0*h + h - 50. Let w = h - -64. Is w a multiple of 38?
True
Suppose -2*q = 5*i - 1833, -4*q = -0*i - 4*i - 3680. Is q a multiple of 84?
False
Suppose 4*r + 5*k - 2678 = 0, -30*r - 1328 = -32*r + 3*k. Is r a multiple of 23?
True
Suppose 3*w + 18 = 4*w. Let u = 1100 - 1106. Let n = w - u. Does 6 divide n?
True
Suppose 0 = 2*y + 3*y + 5*o - 5, 7 = y - 2*o. Suppose -u - 48 = -y*u. Is 8 a factor of u?
True
Let a(u) be the first derivative of u**4/4 + 13*u**3/3 + 23*u**2/2 + 13*u + 24. Does 11 divide a(-9)?
False
Suppose -1439 = -11*j + 244. Let v(o) = -o**3 - 5*o**2 - 4*o + 5. Let r be v(-4). Suppose -j = -2*s - 3*t, -r*s + 99 = -4*s - 3*t. Is 14 a factor of s?
True
Suppose -25*q + 30*q + b - 1372 = 0, -5*q - 4*b = -1363. Is 8 a factor of q?
False
Suppose 14*w = 1379 + 133. Let i = w - 33. Does 4 divide i?
False
Suppose 0 = -0*m - 13*m + 585. Suppose -m*n = -40*n - 205. Is n a multiple of 41?
True
Let n = -12 - -10. Let l be (-4)/12*-15 + n. Suppose 0*v = l*v + 2*a - 123, 5*v = 2*a + 189. Is 13 a factor of v?
True
Suppose -5*a + 2*s = -2235, -173 = 3*a - 2*s - 1518. Does 15 divide a?
False
Let d = -13 + 112. Let p = d - 81. Is 3 a factor of p?
True
Let o = -22 - -24. Does 19 divide (-4)/2 + 342/o?
False
Suppose 2767 = -20*c + 17507. Is 7 a factor of c?
False
Let m(o) = 2*o**2 - 11*o + 4. Let j(n) = -3*n**2 + 17*n - 6. Let c(d) = -5*j(d) - 8*m(d). Let l be c(11). Is 15 a factor of 1/(-9) + (-1450)/l?
False
Suppose 6*o + 5*k = o + 10555, 2*k + 10576 = 5*o. Is o a multiple of 11?
False
Let j be 3/(-18)*-3*-18. Let l(d) = d**3 + 10*d**2 - 7*d - 2. Is l(j) a multiple of 12?
False
Does 12 divide 271992/1260 - (-4)/30?
True
Let s = -1 + 2. Let x(r) = 61*r**2 + 14*r - 6. Let o(c) = -20*c**2 - 5*c + 2. Let g(i) = 8*o(i) + 3*x(i). Is 15 a factor of g(s)?
False
Suppose t + 2*x - 544 = 0, 3*t = -2*t - 3*x + 2699. Is t a multiple of 9?
False
Let c(o) = -7. Let t(s) = -s - 28. Let g(y) = 9*c(y) - 2*t(y). Let n be g(10). Suppose -n*z = -14*z + 10. Does 4 divide z?
False
Suppose 106 = 3*x - 4*q, 4*x - 144 = 4*q - 0*q. Suppose -2*c + 7*c = 3*w + 132, 2*c = -w + 55. Let j = x - c. Does 8 divide j?
False
Suppose 35 + 175 = -5*t. Let m be (4 + (-12)/4)/(5/(-100)). Let i = m - t. Does 5 divide i?
False
Let l(n) = -4*n - 43. Let m(y) = -12*y - 128. Let d(a) = 7*l(a) - 2*m(a). Does 4 divide d(-13)?
False
Let y(d) = -d**2 - 62*d - 9. Is y(-9) a multiple of 9?
True
Let b be ((-895)/25 - (-2)/(-10))/(-2). Let t(i) = 5*i + 24. Is 12 a factor of t(b)?
False
Let o = -83 + -7. Does 21 divide 481/(-6)*-2 - 60/o?
False
Does 52 divide (33 - 2)*(-10 - -2)*-1?
False
Let r = -47 - -25. Let a = 25 + r. Suppose -14 = -a*n + 46. Is 19 a factor of n?
False
Suppose -4*c = -3*c + 3*k - 202, -1048 = -5*c + 4*k. Suppose -2*b - c = 5*o, -b + 0 = 4. Is ((-84)/(-7))/((-6)/o) a multiple of 10?
True
Suppose w + 48 = 4*w. Is (-4)/w - (-100)/16 a multiple of 6?
True
Suppose 2*w + 3*b = -17, -6*b + 2*b = 5*w + 39. Let x = w - -12. Is x a multiple of 2?
False
Let n(j) = 443*j - 33. Does 27 divide n(3)?
True
Is (-1275)/30*160/(-8) a multiple of 34?
True
Let r(n) = 1 + n + 10*n + 1. Suppose -5*b - 5*f = -2*f - 20, -9 = b - 2*f. Is r(b) even?
False
Let d be (-1 - -3)*225/18. Suppose h - 89 = -d. Let l = h - 30. Does 17 divide l?
True
Suppose -x - t - 1 = -4, x - 9 = -3*t. Suppose x = -d - d + 84. Suppose 2*i = 42 + d. Is 14 a factor of i?
True
Let r be (-4)/14 + (-18282)/(-42). Suppose 6*w + r = 11*w. Is w a multiple of 43?
False
Is 4/12*-1 - 2694/(-9) a multiple of 23?
True
Suppose 153 = -5*m + 8*m. Let p = 86 - m. Let f = 37 + p. Does 24 divide f?
True
Let t(z) = z - 1. Let q be t(10). Let g(s) = 3 - s**2 + 0*s**3 - 5*s**3 - 3*s + q*s**3. Is 8 a factor of g(2)?
False
Let m(h) = 8*h**2 - 4*h - 28. Is m(-5) a multiple of 8?
True
Let n be (-6)/((-