of 66?
False
Let v(k) = 10*k**2 + 21*k - 101. Does 71 divide v(-20)?
True
Let v(r) = 6*r + 55. Let k be v(-9). Does 49 divide k*2/(-5) + 13748/70?
True
Suppose -220 = 6*i - 1012. Is i a multiple of 12?
True
Let l = 40 + -71. Suppose 0 = -a - 4*x + x + 42, 4 = -x. Let g = a + l. Is 11 a factor of g?
False
Let y(u) be the second derivative of u**6/90 + u**5/30 - u**4/24 + u**3/3 - 4*u. Let f(b) be the second derivative of y(b). Is f(-4) a multiple of 12?
False
Let a(u) = u**2 + 6*u - 4. Let k(i) = i + 14. Let p be k(-6). Does 27 divide a(p)?
True
Let w(b) = 11*b + 196. Is w(16) a multiple of 39?
False
Let m = -10 - -8. Does 9 divide (96/m - 3)/((-3)/2)?
False
Suppose 0*z = z - u - 4, -10 = -5*u. Let x(i) = 0 - 3*i - z - 3*i**3 + 6*i**2 + 4*i**3. Is 17 a factor of x(-5)?
True
Suppose -5*j + 3*m + 26 = 0, 3*j - 14 = -3*m + 4*m. Suppose -3*n - 32 - 50 = -5*p, 16 = -j*n. Is 12 a factor of p?
False
Is 13 a factor of 1*5 + 8996/26?
True
Let z(i) = 2 + 1 - 4*i**2 + 2*i**2 - 4 - 2*i - i**3. Let h be z(-2). Suppose -89 = -h*t - 0*f - 4*f, -t + 5*f = -55. Does 24 divide t?
False
Let u = 270 - -271. Suppose 12*r = u + 323. Does 5 divide r?
False
Suppose -9*g + 8 = -11*g. Let h be 2/g*(4 + -2). Let d(x) = -24*x. Is 8 a factor of d(h)?
True
Let x(s) = 9*s**2 + 15*s - 64. Is 14 a factor of x(4)?
True
Let r(a) = -a**3 + a + 6. Let o be r(6). Is o/(-9) + 3 + (-3)/(-9) a multiple of 21?
False
Suppose -2*r - 3*q = -317, 0*r - q = -2*r + 321. Is r a multiple of 25?
False
Let w = -3 + 12. Let g = w + -9. Suppose -2*d - x + 56 = 0, -d + g*x - 3*x + 18 = 0. Does 9 divide d?
False
Let b be (-273)/(-13)*4/3. Does 4 divide (-8)/b + 300/21?
False
Let f(y) = y - 11. Let a be (-6)/(-14) + (-78)/(-14). Let i be f(a). Let q = i - -42. Is 18 a factor of q?
False
Suppose 5*r - 35 + 30 = 0, -3*v + 23878 = -5*r. Is 14 a factor of v?
False
Does 8 divide (-351)/(-4) - (-2 + 35/20)?
True
Let w = 471 - 797. Let c = w + 476. Is 25 a factor of c?
True
Suppose a = 5*j + 476, -157*j + 987 = 2*a - 160*j. Does 4 divide a?
False
Suppose -17*q = -10611 + 3709. Does 61 divide q?
False
Suppose -114 = -3*u - 2*t + 20, 2*u - 86 = -2*t. Is u a multiple of 24?
True
Let w = 17 - 14. Suppose 5*u = w - 13. Is u + 6 - 0/2 a multiple of 4?
True
Suppose 0 = -2*b - 4*x - 22 + 148, 5*b - 300 = -5*x. Is 19 a factor of b?
True
Suppose 0 = -3*k - 5*s - 63 - 120, s + 129 = -2*k. Does 24 divide k/(-12) + -5 - (-143)/2?
True
Let p = -52 - -128. Is 6 a factor of p?
False
Let y(j) = -9*j + 99. Is y(-33) a multiple of 22?
True
Let v(t) = 8*t**2 + 24*t - 81. Is 12 a factor of v(4)?
False
Suppose -3*j + 6 = -j. Let r be 10 + (j - 2) - 0. Let u = -4 + r. Does 2 divide u?
False
Let z = -26 + 40. Suppose 0 = 2*l - 62 + z. Does 4 divide l?
True
Let n(w) = -w**2 + 12*w - 7. Let g = -9 + -7. Let j = g + 26. Is n(j) a multiple of 11?
False
Let r(v) = -3*v + 11. Let u be r(4). Is 5 a factor of (496/24)/(4/(-6)*u)?
False
Suppose -4*b - 1465 = 267. Let v = -248 - b. Is v a multiple of 8?
False
Let f = 0 - -651. Does 31 divide f?
True
Let a(v) = v - 14 + v**2 + 2*v - 12 + 20. Is 16 a factor of a(4)?
False
Let d(m) = m + 0*m + 4*m**2 + 2*m - 6 + m. Let o(r) = 9*r**2 + 8*r - 11. Let y(v) = 7*d(v) - 3*o(v). Does 12 divide y(-7)?
True
Let x(n) = -212*n**2 + 5*n + 9. Let u be x(-2). Is 22 a factor of (-6)/16 - u/24?
False
Does 33 divide 285860/300 - (-4)/30?
False
Let b(t) = -5*t**3 + 4*t + 7. Let q be b(-3). Suppose -5*s - g + 506 = -111, s = 2*g + q. Does 11 divide s?
False
Let g be (2 - 0)*(-564)/(-8) - 1. Suppose 16*d = 9*d + g. Is 20 a factor of d?
True
Suppose 36 = -y + 21. Is 12 a factor of (-380)/y + (-4)/3?
True
Let z(o) be the third derivative of o**5/60 + 3*o**4/8 - 5*o**3/3 + 3*o**2. Let r be z(-10). Suppose r = 3*k - 5*k + 30. Is k a multiple of 9?
False
Let g(s) = 55*s - 1. Let m be g(1). Let z be 250/8 - (-1)/(-4). Let r = m - z. Is 9 a factor of r?
False
Let y be (-2)/4*-10 - 4. Let c = 23 - y. Suppose -4*w + 4*b = -52, 2*w - 2*b - c = -4*b. Is w a multiple of 3?
True
Suppose 3*o - 8*o = 955. Let t = 368 + o. Let l = t - 117. Is l a multiple of 30?
True
Suppose 139 = k - 5*i - 238, -3*k = -i - 1061. Suppose k = -6*b + 2*b. Let l = b - -132. Is l a multiple of 22?
True
Let u = 321 + -155. Suppose 4*p - u - 226 = 0. Does 14 divide p?
True
Let t(y) = -11*y - 10. Let z be t(3). Let b = z + 79. Is b a multiple of 12?
True
Suppose -2186 = -4*o + 5*c, 2*c + 1 = 5. Is 21 a factor of o?
False
Suppose 0 = -2*g + v + 2, -2*v = -3*g + 2*g - 5. Suppose f = z - g, 7*f - 2*f - z = -3. Suppose f = 2*c + c - 237. Is 11 a factor of c?
False
Suppose 4*n + 4*x - x = -2459, -2*n = -5*x + 1197. Let l = n - -855. Does 36 divide l?
False
Let l = -156 - -222. Suppose 2*p - l = -2*d, -34 = -3*d + 3*p + 47. Is d a multiple of 5?
True
Suppose -3*r = q - 666, 2*q = r + 225 + 1100. Is q a multiple of 22?
False
Let z be (-3 + (-266)/8)*(-12)/3. Let j = z + -55. Is j a multiple of 18?
True
Suppose -32*x + x = -8060. Is 2 a factor of x?
True
Let q(g) = 2*g + 8. Let i(n) = -n - 1. Let o(t) = 3*i(t) + q(t). Let w be o(4). Let b(f) = 4*f. Is 4 a factor of b(w)?
True
Let m(y) be the first derivative of y**4/4 - 4*y**3/3 - 5*y**2/2 + 3*y + 6. Let z be m(4). Let v = 33 + z. Is v a multiple of 16?
True
Let b(t) = t - 7. Let x be b(5). Does 12 divide (-12)/(-4) + x - -36?
False
Let f(j) = 59*j**3 + 5*j**2 - 2*j - 12. Is 81 a factor of f(3)?
True
Does 11 divide (-7 - 1510/(-6))/(2/18)?
False
Suppose -37*m = 15*m - 20488. Does 35 divide m?
False
Let s = -122 - -135. Let m(h) = 11*h - 49. Does 43 divide m(s)?
False
Suppose 0 = 17*i + 19*i - 42768. Does 6 divide i?
True
Let r(q) = 80*q - 124. Does 27 divide r(3)?
False
Let i(c) = 6*c**2 + 10*c + 25. Let p be i(-2). Suppose -25 - p = -2*n. Does 27 divide n?
True
Let v(b) = b**2 - 7*b + 5. Let z(d) = d**2 - d + 7. Let r be z(0). Let t be v(r). Suppose -l = -t - 15. Is l a multiple of 8?
False
Does 9 divide 250/(-5)*54/(-4)?
True
Let p = 23 + -21. Suppose -2*h - 2*d = -28, 4*h + 3*d = -p + 59. Is 15 a factor of h?
True
Let r = -173 - -268. Does 30 divide r?
False
Suppose 0 = 13*k + 6 + 33. Let o(h) = -86*h - 18. Is 22 a factor of o(k)?
False
Let g = -92 - -110. Is 11 a factor of (-3382)/(-14) - g/(-42)?
True
Let t(p) = -262*p. Let l be t(-1). Let r = l + -117. Is r a multiple of 37?
False
Let m(d) = -4*d - 1. Let t be m(-2). Let z(p) = p**3 - 4*p**2 - 17*p - 1. Does 2 divide z(t)?
False
Suppose 0 = c - 5*c + 8. Suppose -c = -s - 3. Is (-39)/13 + 24 + s a multiple of 6?
False
Let f(g) be the third derivative of g**7/2520 - 7*g**6/720 + g**5/24 - 5*g**4/24 + 3*g**2. Let j(r) be the second derivative of f(r). Is j(9) a multiple of 17?
False
Let q = 0 - -4. Let d = q + -22. Is 3 a factor of d/(-30) - (-104)/10?
False
Let x(g) = 251 - g - g**2 - 10*g - 242. Does 16 divide x(-10)?
False
Suppose -13*m + 498 = -1153. Does 6 divide m?
False
Let g = -77 + 81. Let k(v) = 2*v**3 - 5*v**2 + 5*v + 3. Is k(g) a multiple of 6?
False
Suppose 0*m + 2*t = m - 60, m = -4*t + 90. Is m a multiple of 7?
True
Is (-9 - (-2841)/(-9))*(-3)/2 a multiple of 7?
False
Let k = -89 - -107. Is 13 a factor of 770/k + -3*(-2)/27?
False
Let b = -18 + 118. Does 3 divide b?
False
Let k(p) = 13*p**2 - 2*p + 17. Does 4 divide k(-5)?
True
Let d(o) = 16*o**3 - o - 1. Let l be d(-1). Let h(n) = -n**2 - 22*n - 17. Is h(l) a multiple of 19?
False
Let b = 127 + -241. Let t = -4 - b. Does 22 divide t?
True
Suppose -4*o + 31 = -1. Let d be (-4)/(0 - (2 + 0)). Suppose o = 2*y - d. Does 5 divide y?
True
Let q(m) = -m**3 + 7*m**2 + m - 2. Let w be q(7). Suppose o = -5*s + s + 80, w*s - o = 91. Does 4 divide s?
False
Let p = -52 - -55. Suppose 5*l - 996 = 2*x, -296 = -p*l - 3*x + 289. Does 32 divide l?
False
Suppose -4 = -5*w + 6. Suppose 3*p = -w*r - 10, 3*r + 0*r + 15 = 2*p. Suppose -3*f + 4 + 8 = p. Is 2 a factor of f?
True
Suppose -2*i + 259 = 2*r + r, -i + 4*r + 113 = 0. Suppose 5*o = -0*o + i. Is o a multiple of 9?
False
Let o(c) be the first derivative of -4*c**2 - 24*c + 23. Does 12 divide o(-12)?
True
Suppose 19*d - 22682 - 23298 = 0. Is d a multiple of 55?
True
Suppose -168*z = -161*z - 13664. Is z a multiple of 29?
False
Let u be 2/(-13) - (-10965)/39. Suppose 3*x = 763 + u. Is (-3)/(-12) + x/16 a multiple of 7?
False
Suppose 21*k - 20*k - 148 = 0.