6?
True
Let b(h) be the first derivative of -h**4/4 - 10*h**3/3 - 7*h**2/2 - 3*h - 2. Let k be b(-6). Let t = -68 - k. Is t a multiple of 4?
False
Let l be (0 + -2)*((-20)/8 - -1). Suppose l*o + q + 0*q = 80, 68 = 3*o + 4*q. Suppose 0 = -7*b + 5*b + o. Is 2 a factor of b?
True
Suppose 14*m + 128 = -2*m. Let s(y) = -14*y - 32. Does 9 divide s(m)?
False
Is 2136/1869 - 332694/(-14) a multiple of 33?
False
Let a(z) = 25*z - 920. Is a(112) a multiple of 15?
False
Let o(v) be the third derivative of v**4/24 + 7*v**3/6 + 2*v**2. Let i be o(-5). Does 15 divide i/(((-1)/(-17))/((-5)/(-10)))?
False
Let z = -97 + 101. Suppose -4*c + 77 = -z*t - 431, 3*c - 365 = -5*t. Is c a multiple of 5?
True
Let i(p) be the third derivative of 37*p**4/24 - 22*p**3/3 - 112*p**2. Is 30 a factor of i(13)?
False
Suppose -19 = -4*h + y, y = 5*h - 14 - 10. Suppose 2*d - 1775 = h*x, -27*d - 5*x = -23*d - 3505. Is 16 a factor of d?
True
Let y(a) = -2*a + 9. Let k(v) = -2*v - 36. Let n be k(-20). Suppose n*j + 176 = 164. Is 12 a factor of y(j)?
False
Let u = -98 + 98. Suppose 1285 = -9*g + 12*g - o, u = -3*g + 2*o + 1286. Is g a multiple of 41?
False
Suppose 2*m = -8, -5*j + 4*m = -7*j. Does 25 divide (-25*(-6)/j)/(8/32)?
True
Let p be ((-4)/3)/(2/54*3). Let d(l) = l**2 + 6*l - 4. Let u be d(p). Suppose -57 = -3*h - 3*m, 3*h = 5*m + u - 3. Is 3 a factor of h?
False
Let c(h) = 82*h**2 - h + 3. Let a be c(1). Let k = 139 - a. Does 5 divide k?
True
Let n = 55 + -41. Let o = n + 4. Is 2 a factor of (17/(-3))/((-6)/o)?
False
Suppose -8*r + 46151 - 172311 = 0. Is (-6)/9 - r/30 a multiple of 15?
True
Let v(r) = 3*r**2 + 37*r - 18. Is v(58) a multiple of 52?
True
Let f(p) = 3*p**2 + p. Let t(v) = -14*v**2 - 4*v + 429. Let i(b) = 5*f(b) + t(b). Is 39 a factor of i(0)?
True
Let i(j) = -28*j - 16. Let b be i(-3). Suppose -22 - b = 6*o. Let a = 290 - o. Does 16 divide a?
False
Suppose -4*o + 92 = x, -3*o = x - 2*o - 86. Suppose -12*h = x + 132. Let k = 133 + h. Is 23 a factor of k?
True
Suppose -4*w - 4*x = -131364, -3*x - 65667 = 4*w - 6*w. Is w a multiple of 26?
True
Does 23 divide 380/(-65) - -3 - -3 - 1097910/(-117)?
True
Does 22 divide ((-2539502)/(-1064))/(3/(-4) + 1)?
False
Let n be 10 - (4 - 2 - 5). Suppose -14*a + n*a + 2 = 0. Is 14 a factor of 2 + (-2)/a + 44 - 3?
True
Suppose -s - 3*c + 277 = 0, -665 = -4*s - 2*c + 463. Let x = s + -202. Is 9 a factor of x?
True
Suppose 7*f - 4*f + a = 2, -3*f - 4*a = -8. Suppose 0 = -2*q - 2, f = 2*w - 5*q + 151. Let k = -54 - w. Does 24 divide k?
True
Let c(r) = 1167*r + 670. Does 9 divide c(11)?
False
Let v(d) = d**3 + 11*d**2 - 11*d + 16. Let m be v(-12). Let t be 8/m + 5 + (-12)/4. Suppose 2*x = -t*j - x + 940, j - 218 = -5*x. Is 27 a factor of j?
False
Let g be -97*(-5 - (9/3 + -19)). Let r = -725 - g. Is r a multiple of 19?
True
Let p = -406 - -411. Let a(w) = 9*w**2 + 8*w - 65. Is a(p) a multiple of 4?
True
Is (-3771*1)/(116/754 - (-38)/(-78)) a multiple of 6?
False
Suppose -5*h + 3*h - 25 = -3*s, -5*h - 4*s - 28 = 0. Let k be 252/48*h/(-3). Let m(x) = 6*x - 16. Does 42 divide m(k)?
False
Let j(r) = r**3 - 3*r**2 + r - 12. Let w be j(4). Suppose 2*c + 2*c = w*c. Suppose c*v = 3*v - 33. Is v a multiple of 6?
False
Let g = -12147 - -13269. Is 14 a factor of g?
False
Let y = 2567 + -929. Suppose -2*f + 15*f = y. Does 23 divide f?
False
Let x(p) = 2*p**2 - 2. Let t be x(3). Let j = t + -14. Suppose 5*c - 214 = -j*l, -8*c + 4*c = -5*l + 502. Is l a multiple of 26?
False
Let v(r) = -r**3 - 21*r**2 - 56*r + 2. Let t be v(-23). Let n = -1578 + t. Does 22 divide n?
True
Let c = -80 + 73. Let d(j) = j**3 + 6*j**2 - 6*j + 13. Let r be d(c). Is 16 a factor of (-5 - (-27)/r)/((-2)/284)?
False
Let v(l) = -3*l**2 + 93*l + 147. Does 3 divide v(26)?
True
Suppose -2*n = 21*n - 35896 - 11944. Is 52 a factor of n?
True
Let x be (-1)/(-5) - 252/(-140). Is 23 a factor of -1 - (-5806)/14 - x/(-7)?
True
Let d(h) = -13*h + 4. Let l be d(-5). Let j = -42 + 76. Let f = l - j. Is 11 a factor of f?
False
Let r = -30 - -33. Suppose r*p = 6*p. Suppose -o = 4*k - 27, 5*k - 8*o + 3*o - 15 = p. Is k a multiple of 3?
True
Suppose 6*j - 560 + 1082 = 0. Let s = j + 161. Is 19 a factor of s?
False
Suppose 18*t - 42 = 4*t. Is 2 a factor of 72/8*15/t?
False
Suppose -5*c = -10 - 5. Suppose 2*z + c*z + 2*u - 662 = 0, -4*z = u - 529. Is z a multiple of 27?
False
Let a(o) = -748*o**3 + o**2 - 1. Let h be a(-1). Suppose 6*n + h = 2*n. Let l = n + 263. Does 22 divide l?
False
Let r = 27 - 33. Let s be ((-147)/r + -2)*4. Does 9 divide s*2/(-6)*-3?
True
Let b be -1*(-2)/14 + (-3289)/(-7). Suppose j = 2*a - 140, -5*a - 102 = 2*j - b. Is 18 a factor of a?
True
Let h(j) = -227*j - 70. Let l(d) = 76*d + 23. Suppose -20*g - 25 - 15 = 0. Let f(o) = g*h(o) - 7*l(o). Is 46 a factor of f(-4)?
False
Suppose -34*z = -2*l - 29*z + 5748, -3*l + 8655 = -2*z. Does 27 divide l?
True
Suppose -8*q = -24*q - 960. Is 52 a factor of 210 - ((-6)/10 - q/(-25))?
False
Let o(p) = -2*p**3 + 43*p**2 + 5*p - 15. Let x be o(22). Let m = 421 + x. Is m a multiple of 3?
False
Let n(k) = 3792*k**2 - 2088*k - 3. Is 251 a factor of n(3)?
True
Let r = 47 - 72. Let l = 17 - r. Suppose -736 = -46*g + l*g. Does 43 divide g?
False
Suppose 604*n - 603*n = -2*f + 2013, -9 = 3*n. Does 15 divide f?
False
Let v be (-2)/(-8) + (3 - (-51)/(-12)). Let g be (-2)/4*v/((-4)/(-88)). Let o(c) = c**2 + 2*c + 7. Is o(g) a multiple of 25?
True
Let b = -97 + 115. Let x be (-26)/117 + 274/b. Suppose 0 = -3*v - x, 3*v = 5*c - 2*v - 465. Is c a multiple of 22?
True
Let c be ((-15)/(-9))/((-1)/3). Is (c/3 - -1)*(-92196)/312 a multiple of 26?
False
Let w = 23450 + -23011. Does 124 divide w?
False
Suppose -44955 - 24215 - 33340 = -17*y. Does 15 divide y?
True
Suppose 41*a - 39*a = 6. Suppose 261 = a*t - 63. Suppose m = -m + 6, 2*m = 2*b - t. Is 10 a factor of b?
False
Let k(v) be the first derivative of -v**4/4 + 11*v**3/3 + 6*v**2 + 10*v + 17. Let q be k(12). Let i(o) = -o**3 + 9*o**2 + 15*o - 14. Is 15 a factor of i(q)?
False
Let s = 25759 + -15203. Is s a multiple of 26?
True
Let g(t) = -161*t + 1680. Is 14 a factor of g(-10)?
True
Suppose -1140 = -b + 24. Let g be (b/(-8))/(2/(-4)). Suppose -g = -4*u - 3*w, -2*u - 4*w - 1 = -139. Is 17 a factor of u?
False
Suppose -4*a = -k + a - 23, 4*k + a - 13 = 0. Suppose -x = k*v + 62, -2*v + 126 = -6*v - x. Is 14 a factor of 4848/v*8/(-6)?
False
Is 10 a factor of 20/9 - 156883650/(-12690)?
False
Suppose -5*u = 2*d - 983, 4*d + 1482 = 7*d + 5*u. Is 105 a factor of d?
False
Suppose 3*p = -0 - 6. Let r(i) = 17*i**3 + 3*i**2 + 10*i + 14. Let h(o) = -50*o**3 - 8*o**2 - 28*o - 38. Let l(w) = 4*h(w) + 11*r(w). Does 11 divide l(p)?
False
Let b = -69772 + 123832. Is b a multiple of 204?
True
Let k(l) be the third derivative of 29*l**6/120 + l**5/12 - 13*l**4/24 + 59*l**3/6 + 39*l**2. Is 52 a factor of k(4)?
False
Let s = 69 + -61. Suppose s*g - 4 = 6*g. Suppose 4*o - 159 = -f, -2*f = -5*o + g*o - 307. Is 17 a factor of f?
False
Let u = -83 - -83. Suppose -6 = 2*h, -1333 = -4*t - h - u*h. Suppose -t = -5*g - z + 126, z + 86 = g. Does 16 divide g?
False
Does 109 divide 133/57*(-12786)/(-1)?
False
Let l be -53 + 1 + 0/2. Suppose 0 = -42*w + 10611 - 2001. Let h = w + l. Is h a multiple of 17?
True
Suppose 11421352 + 2853813 = 366*k - 502085. Does 19 divide k?
True
Let r = 2051 + 5793. Is 27 a factor of r?
False
Suppose 14*q + 5*o + 59685 = 19*q, 5*q = -4*o + 59658. Does 153 divide q?
True
Suppose -101*f - 312 = 193. Suppose 2*b - 2 = -2*q, 5*q - 5*b - 25 = 4*q. Is 13 a factor of (-117)/f*2/(2/q)?
True
Let g(u) = 24*u + 11. Let d be g(6). Suppose 4*z - 3*j = 228, -3*z + 3*j = -z - 114. Let h = d + z. Does 14 divide h?
False
Suppose 2*w + 4 = k - 4, 3*k + 5*w - 68 = 0. Suppose -v = 4*o - 0*o - k, v - 7 = -o. Is 4 a factor of 94/3 - o*(-4)/18?
True
Suppose -343*w - 70727386 + 24579016 = -1040*w. Does 15 divide w?
True
Suppose -96381 = -106*t + 97*t. Does 49 divide t?
False
Suppose 2*w + 4*a = 1752 + 870, 3*w + 4*a - 3925 = 0. Does 5 divide w?
False
Suppose -8*h = -183 - 1641. Suppose 0 = -2*d - 80 + h. Suppose 5*t - 41 = d. Is 4 a factor of t?
False
Let v(u) = 7*u**2 - 5*u - 135. Let h(b) = 14*b**2 - 10*b - 270. Let q(a) = -2*h(a) + 5*v(a). Is 16 a factor of q(-13)?
False
Suppose 9*j - 39 = -3. Suppose r - 149 = 5