(2/10). Let k be (2/h)/(3/(-12)). Does 7 divide y(k)?
False
Let l(x) = 12*x - 15. Let b(a) = a**2 + 4*a - 5. Let s be b(-3). Let j(q) = 4*q - 5. Let i(w) = s*j(w) + 3*l(w). Is 7 a factor of i(4)?
False
Let s(q) be the third derivative of 11*q**6/360 + 11*q**5/120 + 5*q**4/24 - 2*q**2. Let k(i) be the second derivative of s(i). Is 11 a factor of k(5)?
True
Suppose -31*j - 1053 = -40*j. Suppose -53 = -v + j. Does 39 divide v?
False
Let m(n) = -9*n**2 + 55*n**2 - 8 + 26*n**2 + 19 - 14 - 4*n. Is 6 a factor of m(-3)?
False
Let q(z) be the second derivative of 5*z**4/12 - 2*z**3 - z**2/2 + 132*z. Does 11 divide q(-5)?
False
Let r be (46 + -52)*(-3)/1. Suppose -r*j + 53*j = 20475. Is j a multiple of 13?
True
Let o = -28 - -138. Let x = o + -54. Is 9 a factor of x?
False
Suppose 47*x - 41383 = 42888. Is 39 a factor of x?
False
Let r be (36/126)/(1/14). Suppose 3*j + j - p = 263, 0 = r*j - 2*p - 262. Is j even?
True
Suppose 2*d - 1048 = r, 5*d + 19*r = 18*r + 2620. Let n = d + -348. Is n a multiple of 3?
False
Let c = 585 - 513. Does 6 divide c*(3 + -2 + 1 + -1)?
True
Is 18*(-2492)/(-42) - -2 a multiple of 88?
False
Suppose -8*a = -11*a + 3, r = 3*a + 102. Is 3 a factor of (r - 2) + 10 + -12?
False
Let g = 23469 + -16395. Does 49 divide g?
False
Let n(h) = 392*h**3 - 10*h**2 + 41*h - 69. Is 6 a factor of n(3)?
True
Suppose 0 = 11*c - 8*c - 6. Suppose 0 = 2*o + 4*u - 174, -2*u - 90 = c*o - 272. Does 22 divide o?
False
Let o(n) = 194*n**2 - 3*n. Let r be o(-1). Let u = r + 50. Does 19 divide u?
True
Suppose 25 = -5*g, 5*g + 61 = 4*u + 12. Does 10 divide 549/u - 15/10?
True
Let t be 13/6*2*3. Let r = t - 9. Suppose 4*w - y = 247, -r*w + 398 - 126 = 4*y. Is 21 a factor of w?
True
Let i(c) = c**3 + 9*c**2 + 19*c - 883. Is 22 a factor of i(20)?
False
Let a = 179 - 174. Let l(g) = 91*g - 11. Is 37 a factor of l(a)?
True
Let a(c) = 2*c - 57. Let v be a(29). Does 6 divide (-2 - -3) + (v - (-2 - 129))?
False
Let h(a) = 213*a**2 + 387*a + 4. Is h(5) a multiple of 13?
False
Let i(q) = 3*q**3 - 8*q**2 - 109*q + 48. Is i(28) a multiple of 30?
True
Let t(u) = 2*u**3 + 13*u**2 + 40*u - 32. Is 14 a factor of t(10)?
True
Let x(v) = v**3 + 36*v**2 + 20*v - 68. Let z be x(-30). Suppose 0*d = -13*d + z. Does 15 divide d?
False
Does 197 divide (3 - -588)/(243/26892)?
True
Suppose -9*f + 11*f - 12 = p, -3*p - 11 = -f. Suppose 3*i - 744 = -3*g, 2*i = f*i - 4*g - 723. Is i a multiple of 49?
True
Let n = 27530 - 13946. Is n a multiple of 33?
False
Let v be 2*7*3/(-6). Let x be 1/2 - ((-10)/(-4) + v). Suppose 4*n - 5 = -4*g + 319, -x*g = 10. Is n a multiple of 26?
False
Let k be 3/(36/3) + (-93)/(-12). Suppose 0 = -k*o + 29*o - 9555. Is 9 a factor of o?
False
Suppose -5*v + 4*z = -23, 0 = 5*v - v + 3*z - 6. Suppose -v*o + 436 = b - 598, -1396 = -4*o + 3*b. Is 49 a factor of o?
False
Let n(d) = -7*d**2 - 257*d - 85. Is 2 a factor of n(-36)?
False
Suppose n = -6*n + 105. Suppose 2*y = -7 - n. Does 12 divide (-215)/(-3) + y/(-33)?
True
Let b be 3/(-1 - (-11)/(-22)). Let s = 135 - 59. Is 4 a factor of (b + 0)/((-236)/s + 3)?
False
Let i(n) = -340*n**3 + n**2 + 4*n + 3. Let l be i(-1). Is (48/(-30))/((-8)/l) a multiple of 4?
True
Let q be 14/(-4)*6888/(-147). Suppose -25 = -q*f + 163*f. Is f even?
False
Suppose -6*q = 907 - 937. Suppose 0 = -q*n + 49 + 66. Does 13 divide n?
False
Let s(o) be the third derivative of 7*o**6/120 - 13*o**5/60 - o**4/12 + 17*o**3/3 - 102*o**2. Is 7 a factor of s(5)?
True
Let q(s) be the second derivative of -s**6/120 + s**5/20 + s**4/24 - 2*s**3/3 - 7*s**2 + 11*s. Let b(d) be the first derivative of q(d). Does 13 divide b(-4)?
True
Suppose -y - 4*y = 4*k - 23, 0 = -4*y + 12. Let z be -21 - -19 - (k - -1). Let o(b) = -4*b - 3. Is o(z) a multiple of 3?
False
Is 157 a factor of (9/4)/((3 - 11) + (-703375)/(-87920))?
True
Let u = 15176 + -2824. Let g = u - 8587. Is g/25 - 3/5 a multiple of 15?
True
Let j(g) = -g**2 - 15*g + 22. Let r be j(-16). Let a be -5 + r/3 + 6. Suppose -4*k = 5*b - 19, 0 = 2*b + a*b + 5. Is k a multiple of 6?
True
Let d(y) = 38*y - 2001. Is 74 a factor of d(86)?
False
Suppose 167*f - 189507 = -73*f + 59*f. Is f a multiple of 6?
False
Let a(s) be the second derivative of s**5/20 + 13*s**4/12 - 4*s**3/3 - 2*s - 5. Is 3 a factor of a(-12)?
True
Let v(q) = -43*q**3 + 3*q**2 + 12*q + 19. Let o be (-88)/(-33) - 28/6. Is 9 a factor of v(o)?
True
Suppose -141*s = -49*s - 5269760. Does 10 divide s?
True
Suppose 7784 + 3018 = 11*i. Suppose i*k = 975*k + 1260. Is 10 a factor of k?
True
Suppose -17370*x + 17359*x + 113960 = 0. Is x a multiple of 3?
False
Let m = -100 + 115. Does 81 divide -12*((-3)/m - (-3764)/(-80))?
True
Let g(t) = 33*t**2 + 37*t + 93. Is 47 a factor of g(-10)?
False
Let f(m) = 2*m**3 - m + 670. Let y be f(0). Suppose 10*t - y = 8730. Does 32 divide t?
False
Let m be (-291)/(1/(8/(-12))). Let z = m - 112. Does 4 divide z?
False
Let b = -1401 + 3143. Is 69 a factor of b?
False
Suppose 4*j - 3*k = 24715, -8084 = -j + 4*k - 1889. Is j a multiple of 19?
True
Let f(c) = -16*c + 17 + 3*c**3 - 12*c**2 - 4*c**3 - 1 + 4. Let w be f(-10). Let g = 38 - w. Does 9 divide g?
False
Let g = -143 - -213. Does 37 divide (-420)/g*(0 - (-222)/(-4))?
True
Let l = -21 + 25. Suppose 5*b = -l*s + 5, 5*b - 4*b = -3*s - 10. Is 16/s*(0 + -5) a multiple of 4?
True
Let y(h) = h**3 + 7*h**2 + 4*h - 6. Let n be y(-6). Does 10 divide 1 + 30/n + 184?
True
Suppose l = 7 - 2. Let m(v) = 15*v - 28. Does 8 divide m(l)?
False
Suppose 0 = -3*r - 13 + 22. Suppose -3*g - 32 = -4*w, 0 = -2*g - 0*w - w - r. Is (-100)/(-2) - (-8 - g) a multiple of 27?
True
Let r(k) = -k**3 - 22*k**2 - 2*k - 50. Let u be r(-22). Let c be u/21*-239 - 2/7. Suppose c*z = 71*z - 159. Is 10 a factor of z?
False
Suppose 6*t - h - 2390 = 2*t, 0 = -2*t + 2*h + 1204. Is t a multiple of 18?
False
Let s = 118 - 108. Is (-4 + (-255)/10*s)/(-1) a multiple of 13?
False
Suppose 16 = -2*f + 6, 3*s - f + 76 = 0. Let n be 4056/s - 2/(-9). Let x = -91 - n. Is x a multiple of 11?
False
Let q be 4*-2 + -12 + 16. Is ((-24)/(-10))/q - 15984/(-40) a multiple of 19?
True
Let d(y) be the third derivative of 19*y**5/60 + 17*y**4/3 - 2*y**3 + 48*y**2 + 2*y. Does 13 divide d(-9)?
False
Let k(o) = -2*o**3 + 3*o + 835. Let g(h) = -h**3 + 15*h**2 - 55*h + 9. Let d be g(9). Is k(d) a multiple of 34?
False
Let x be 2 - (-1 - (-6 + 3)). Suppose x*y - 12 = -4*y. Suppose y*w + 2*v = w + 26, 0 = 5*v - 15. Is w even?
True
Let t = 3894 + -1502. Does 23 divide t?
True
Let v(z) = 14*z + 5. Let a be v(-1). Is ((-118)/6 - 4)*a a multiple of 12?
False
Let c(v) = -2*v + 33. Let k be c(20). Let y(d) = d**3 + 9*d**2 - 25*d - 4. Is 12 a factor of y(k)?
False
Let d(n) be the second derivative of n**5/10 - 3*n**4 - 19*n**3/6 + 9*n**2/2 + 173*n. Does 43 divide d(19)?
False
Let z(g) = -g**2 + 3*g - 2. Let v be z(2). Let m(r) = 3*r**2 + 8 + 6 + 11*r + v*r. Does 14 divide m(-7)?
True
Let x(w) = 2*w**2 - 15*w - 10. Let s be x(7). Let g = s - -12. Let u(i) = i + 7. Is u(g) a multiple of 2?
True
Suppose 4*p - 2*x - 8 = 0, 5*x - 2*x - 8 = p. Suppose 4*s + 0*s = -15*s + 76. Suppose -3*q + 148 = -s*m, 2*m - 189 = -p*q - m. Is q a multiple of 4?
True
Suppose 0 = -2*i - 3*k - 12, -i + 5*k + 20 = -2*i. Suppose 0 = -4*r - 4*b + 4, -5*r + 5*b = -5 - i. Is 14/(12/8 - r) a multiple of 5?
False
Let g(z) = 18*z**2 - z - 1. Let m be g(1). Is 53 a factor of (-172)/m + 11 + 1123/4?
False
Let a(q) = q**3 + 9*q**2 + 7*q + 6. Let v(x) = x**2 - 19*x - 28. Let m = 28 + -8. Let l be v(m). Is 9 a factor of a(l)?
False
Suppose -h + 96 = 2*h. Suppose h = -9*t + 13*t. Is (40/6*1)/(t/60) a multiple of 26?
False
Suppose 778*o - 801*o = -219374. Does 19 divide o?
True
Let l = 307 + -512. Let z = -185 - l. Does 15 divide z?
False
Let t(s) = -4*s - 17*s**2 + 4*s - 12 + 16*s - 3*s - s**3. Let r be t(-17). Let o = -104 - r. Is 32 a factor of o?
False
Suppose 391*q - 99824 = 186249 - 48345. Does 38 divide q?
True
Suppose -21*h + 18077 = k - 22*h, -5*k = 2*h - 90420. Does 44 divide k?
False
Let b = 98 - 17. Let w be (-9)/(b/240)*18/(-3). Let s = -92 + w. Does 37 divide s?
False
Let i(g) = 147*g - 3568. Is i(66) a multiple of 30?
False
Let z = 222 + -351. Let j = 438 + z. Is j a multiple of 25?
False
Suppose w - 20366 = 6*h, 160*w - 4*h - 81384 = 156*w. Is w a multiple of 35?
