e -10*k + 40*k = -4*k + 632128. Does 16 divide k?
True
Let x = 4290 - -1034. Is x a multiple of 121?
True
Suppose 2*a + 33 + 357 = 0. Let g = a - -210. Is 10 a factor of g?
False
Let y = 13 + 5. Suppose 0 = -9*z - y + 63. Let r = z - -19. Is 14 a factor of r?
False
Let w(v) = 2*v**2 - 95*v + 146. Is w(-6) a multiple of 51?
False
Does 11 divide (-440)/6*(-714)/85?
True
Suppose 7 = 4*j + 39. Let a be 0 + 4/j + (-55)/(-2). Suppose s - a = 30. Is 36 a factor of s?
False
Let w(j) be the second derivative of -25*j**3/3 + 149*j**2/2 + 128*j. Is 2 a factor of w(0)?
False
Let g = 22681 - 9921. Is g a multiple of 17?
False
Suppose 365165 = -5*g - 5*l, l - 2*l + 292142 = -4*g. Does 62 divide (-3)/6 - (g/18)/15?
False
Let x = 60 - -119. Suppose x = 2*k - 79. Is k a multiple of 11?
False
Suppose q = -2*t - 211, 2*t = -2*q + 5*q + 625. Let j = 7 - q. Does 25 divide j?
False
Suppose 1115017 - 909224 + 1502767 = 63*s. Is 120 a factor of s?
True
Suppose -x + 4237 + 4093 = -7103. Is x a multiple of 61?
True
Let b be 2/(-4)*(-9 + -9). Does 34 divide 4*291/(-36)*b/(-1)?
False
Let o be ((-12)/18)/((-1)/(-21)). Let x(t) = -t**3 - 15*t**2 - 14*t + 15. Let z be x(o). Suppose 0 = 13*v - z*v + 8. Does 2 divide v?
True
Let d = 17038 + 1142. Does 5 divide d?
True
Let t be (-5)/(41/(-10) + 4). Suppose t = 5*v + 10. Is -164*(-1)/v*2 a multiple of 4?
False
Suppose t - 2*t + 136620 = 10*t. Does 10 divide t?
True
Let h(o) = 44*o + 8. Let z(w) = -w - 1. Let g(a) = -2*a - 1. Let f(d) = 4*g(d) - 9*z(d). Let p be f(-3). Is 24 a factor of h(p)?
True
Suppose 5*j = -11*j + 336. Is 26 a factor of 21624/14 + 13 + (-285)/j?
False
Is 8/(-28) + (-605800)/(-364) a multiple of 16?
True
Let k(r) = 50*r**2 + 2*r - 2. Let a be k(3). Suppose a*h - 4914 = 451*h. Does 20 divide h?
False
Let k(y) = y**3 + 3*y**2 - 6*y - 9. Let o be k(-3). Let c = o - 1. Let d = 56 - c. Is 20 a factor of d?
False
Let o = 34 + -49. Let n(l) = -l**2 - 13*l + 6. Let r be n(o). Let h = r + 39. Is h a multiple of 15?
True
Does 100 divide 1836/((-7)/(-77)*2) - (11 - 17)?
False
Suppose -19 = -2*q + 53. Let w = q - -8. Suppose 3*d - 2*l - w = 2*l, 3*l = 5*d - 77. Does 3 divide d?
False
Suppose 0 = 7*s + 12*s + 2489. Let k = 175 - s. Is 9 a factor of k?
True
Suppose 3*h - 402636 = 3*h - 26*h. Is 58 a factor of h?
True
Let v = 15 + -8. Let f be (v - 5)/((-3)/(-30)). Suppose 4*c = 2*c - 2*k + 26, -2*c = -4*k - f. Is c a multiple of 2?
True
Let c(s) = 175*s + 108. Let l be c(-4). Let t = -256 - l. Is t a multiple of 16?
True
Let c = -3 + 0. Let t(h) = h**3 - 7*h**2 + 15*h - 54. Let z be t(6). Is 24 a factor of c - (-1 + z) - -50?
True
Suppose -20 = -2*m - 33*b + 29*b, -b - 30 = -2*m. Let d(w) = -w**3 + 14*w**2 + 12*w - 4. Is d(m) a multiple of 41?
True
Let j(d) = 2*d**3 + 3*d**2 - 4*d + 1. Let y be j(1). Suppose -14*n = y*n - 16. Is -2 - n - (-201 - 0) a multiple of 33?
True
Suppose -5*d + 140 = -5*c, -10 = -47*d + 45*d. Let z(n) = -40*n + 158. Is 22 a factor of z(c)?
True
Let y(h) = -5*h**2 + 69*h + 19. Let o be y(14). Suppose 4*g - 483 = -3*c - 2*c, 2*g - o*c - 219 = 0. Is g a multiple of 12?
False
Is 11 a factor of (-1)/((-12)/(-208))*-45?
False
Is 4/(-10) + 2534/5*121/22 a multiple of 29?
False
Let z = 178 + -175. Suppose 0 = z*q - 0*q - 90. Is 8 a factor of q?
False
Let i(x) = x**3 + 142*x**2 + 388*x - 1139. Is i(-137) a multiple of 33?
False
Let i = 374 + -270. Suppose -i*o = -79*o - 6725. Is 9 a factor of o?
False
Let o(k) = 13*k**2 + 2*k + 2. Let j be o(3). Suppose -j = -a - 45. Is 5 a factor of a?
True
Is 122 a factor of (16/(720/(-189)) - -3) + (-50026)/(-5)?
True
Suppose o + 74 + 83 = 0. Let j = o - -230. Is j a multiple of 5?
False
Let c = 28190 - 14893. Is c a multiple of 41?
False
Suppose -225 + 65 = 4*t. Let o(k) = -k**2 - 14*k + 95. Let p be o(-20). Let y = p - t. Is y a multiple of 3?
True
Let s be 4*-2 + 68 + -56. Suppose 0*x - x = s*f - 128, 4*x = -4*f + 536. Is x a multiple of 8?
True
Let z = -207 - -213. Suppose -z*k = -189 - 507. Is k a multiple of 8?
False
Suppose 7 = 4*o - 3*o. Suppose o*l - 842 = 5*l. Let d = -289 + l. Does 22 divide d?
True
Let g be 1 + 104 + 1 + 1. Let o(u) = -u**2 + 76*u - 630. Let v be o(8). Let s = v + g. Is s a multiple of 3?
True
Let i(v) = v + 5. Let m be i(-7). Let d be (6/(-4))/(1/m). Suppose 0 = -3*g + d*n + 174, 0*n + 3*n = -2*g + 96. Does 9 divide g?
True
Suppose 12*c - 16*c = -9*c. Suppose 2*p + 4*r - 3456 = c, -p - 3*p + 3*r + 6934 = 0. Is p a multiple of 24?
False
Suppose 390630 = -39461*i + 39476*i. Is i a multiple of 35?
False
Let w(b) = 140*b**2 + 20*b - 91. Is w(-5) a multiple of 23?
False
Suppose -2*b + 875 = r, 0 = 7*r - 12*r - 2*b + 4335. Let y = -280 + r. Does 17 divide y?
False
Does 18 divide -4*92203/(-108) - (-6)/81?
False
Suppose 5*p = 655*u - 654*u + 142452, 0 = 4*u - 12. Is p a multiple of 309?
False
Let n(z) = z**2 - 2*z - 32. Let p be n(6). Is p/(-28) + (4 - 2825/(-35)) a multiple of 2?
False
Suppose -3*t - 77 = -227. Suppose t*r - 43*r - 4872 = 0. Is r a multiple of 12?
True
Let g(o) = -746*o - 1066. Does 16 divide g(-23)?
False
Is (-17 - -6)*-1 + 534 a multiple of 16?
False
Let g(u) = -2*u**2 + 16*u - 12. Let i be g(7). Suppose -3*c = 2*v - 338, i*c - 340 = -0*v - 2*v. Does 43 divide v?
True
Let r = -342 + 349. Suppose -5*t = -r*m + 6420, 2*m - 2*t - 2752 = -m. Is 23 a factor of m?
True
Suppose -5*m - 1500 = -4*q, m = 4*q - m - 1500. Let j = 534 - q. Is j a multiple of 28?
False
Let k(c) = 22*c - 12 - 8 + 0*c**2 - 43*c + 5*c**2. Is 15 a factor of k(10)?
True
Let h be ((-117)/24*-2)/(1/(-16)). Let v be (h/16)/((-11)/4 - -3). Let c = 85 + v. Is c a multiple of 23?
True
Let z = 245 - 242. Suppose 1985 = z*l + 2*l. Is 23 a factor of l?
False
Let f(c) be the second derivative of c**4/12 + 5*c**3/6 - 65*c**2/2 + 103*c. Does 15 divide f(-19)?
False
Suppose 24*m - 8*m + 21*m = 220224. Is 15 a factor of m?
False
Is (-65)/26 - (-1)/(6/12555) a multiple of 190?
True
Suppose -3*l - 32 = -2*l. Let q = 11 + l. Let h = q + 30. Is h a multiple of 9?
True
Let z = -388 - -184. Let d = z + 672. Is 18 a factor of d?
True
Let j = 1390 - 840. Suppose 4*c + 20 = 2*w - j, 0 = 4*w + 2*c - 1130. Does 36 divide w?
False
Suppose 98 = 6*p + 38. Is 22 a factor of p/(-15) + 2 + (-1572)/(-9)?
True
Let m(b) = -79*b + 135. Let u(t) = 38*t - 67. Let v(n) = 6*m(n) + 13*u(n). Is v(6) a multiple of 3?
False
Suppose 2*y - 4407 = 5*k, 4*y - 123*k = -126*k + 8749. Does 11 divide y?
False
Is (-22 + 204)/((-3)/(-57)) a multiple of 13?
True
Let p = -1286 - -859. Let a = p - -647. Is a a multiple of 4?
True
Suppose 26*u - 24*u - 340 = 0. Suppose 4*d = -2*r + u, 82 = -2*d + 2*r + 182. Is 5 a factor of d?
True
Let s(p) be the third derivative of -4*p**4/3 - p**3/6 + 2*p**2. Let y(n) = -n + 1. Let j be y(3). Does 9 divide s(j)?
True
Suppose 0 = 3*k - 41*a + 36*a - 71909, 5*a = -35. Is 242 a factor of k?
True
Let s be (21 + -27)/((-6)/50). Let m(f) = f**3 + 5*f**2 - 11*f - 9. Let x be m(-7). Is 443/5 + x/s a multiple of 8?
True
Suppose -24*i = -60*i + 108648. Is i a multiple of 4?
False
Suppose 0 = b - 429 - 435. Suppose 3*p - b = -168. Is -4 + (p/16 - 2/4) a multiple of 10?
True
Let g be -5 - -2 - 1 - 3. Let x(q) = q**3 + 7*q**2 + 5. Let u be x(g). Suppose 13 + 257 = u*l. Does 18 divide l?
True
Let a(i) = i**3 - 3*i**2 - 5*i + 7. Suppose 0 = -181*s + 185*s - 16. Let l be a(s). Suppose 4*m = l*m + x + 271, -m + 279 = x. Does 14 divide m?
False
Let l be (-2*(-6 - -4) - 2)*25. Does 13 divide (l/(-8))/((-18)/1152)?
False
Suppose 0 = 4*d - 6*d - 2*i + 12, 5*d - 3*i = -2. Let c be 6 + 2*d/4. Suppose 3*w + 2*f = c*w - 382, -297 = -3*w + 5*f. Is 20 a factor of w?
False
Suppose -q + 9 = -2*x, 0 = -q + 6*q + 5*x. Let z be (3 - (-39)/(-15))/(q/(-285)). Does 5 divide (z/8)/(4/(-16))?
False
Suppose -21*z = -827 - 937. Suppose -k - 168 = -3*k + 2*d, z = k - 4*d. Is k a multiple of 27?
False
Let v be (-105)/(-25) + -5 - (-14)/5. Suppose 0 = -j - v*x + 258, 4*j - 7*j - 4*x + 774 = 0. Does 6 divide j?
True
Let a(b) = -171*b + 1310. Is 44 a factor of a(-59)?
False
Let i be 0/((-3)/(-3) - 0). Let o = 63 + -53. Suppose -o*u + 6*u + 572 = i. Is u a multiple of 13?
True
Suppose -10*a + 6*a = 36, d + 2*a - 46285 = 0. Is d a multiple of 16?
False
Suppose 4*b = 5*j + 23922, 2*j + 14697 + 3248 = 3*b. Does 31 divide b?
