+ 9*s. Does 231 divide m(-2)?
True
Does 24 divide 3/(-27) + 4273150/522?
False
Suppose -m - 30 = -k, -5*m + 4*m = 5*k - 144. Let h(l) = -l + k - 12 - 5*l**3 + 2*l**2 - 16. Does 10 divide h(-3)?
False
Suppose c + 19168 - 56321 = -4*o, 4*o - c = 37151. Does 24 divide o?
True
Let r(y) = 10*y**2 - 6*y + 11. Let h be r(4). Let f = h + -84. Does 4 divide (24/14)/(9/f)?
True
Suppose 4*x - 2 = -5*q, -5*x + 3*q + 1 = -20. Suppose -5*w + 3*z + 946 = 0, 0*w = -w - x*z + 182. Is 5 a factor of w?
False
Let j(o) be the first derivative of o**4/4 - 14*o**3/3 - o**2 + 31*o - 51. Let m be j(14). Suppose m*h - 140 = -0*h + s, 4*s = 16. Does 24 divide h?
True
Is (-47)/(-1551) + 842686/66 a multiple of 112?
True
Let z(d) = 3*d**3 - 7*d**2 + 6*d + 1. Let c be (-6 - 0)*(-46)/69. Is z(c) a multiple of 5?
True
Does 56 divide -17 - -415 - (43/7 - 6/42)?
True
Let a(f) = f**3 - f**2 + 3*f - 1047. Let t be a(0). Let s = 2125 + t. Is 49 a factor of s?
True
Does 124 divide ((-92)/(-69))/(2/28458)?
True
Let g(w) = 4*w**2 - 2*w + 3. Suppose 5*l + 3*v = -15, l - 6 = 3*l - v. Let p be g(l). Let r = p + -20. Is 5 a factor of r?
True
Let d(k) = 39*k**3 + k**2 + 36*k - 103. Is 9 a factor of d(5)?
True
Let s be (-36)/8 - -3 - 153/2. Let i = s - -77. Is 4/2*(i - (-137)/2) a multiple of 10?
False
Let i(k) = k**3 - 13*k**2 + 15*k - 19. Suppose 0 = 3*d + h + 1, -3*h + 9 = 3*d - 0. Let f = 10 - d. Is 3 a factor of i(f)?
False
Let b(a) = a**3 - 18*a**2 - a + 183. Is 39 a factor of b(0)?
False
Let d = -111 - -116. Suppose 3*r + 6 = -d*h, 4*h + 2*r + 7 - 3 = 0. Suppose h = o - 1 - 0, -2*o = 4*q - 874. Does 28 divide q?
False
Suppose -10 = -s - 4*o, 2*s = 6*s + 3*o - 1. Does 2 divide ((-5 - s) + 1)*1015/(-10)?
False
Let x(i) = 12757*i**3 - 3*i**2 + 22*i - 22. Is x(1) a multiple of 7?
True
Let y(u) = -u**2 + 40*u - 11. Suppose 193 = 21*r - 80. Is 4 a factor of y(r)?
True
Let x = 4298 - 1400. Does 41 divide (x/(-105))/(2/(-20))?
False
Suppose 3*f = -3*b - 6 - 12, 0 = f + 5*b + 18. Is 33 a factor of 9 + f + -5 - (0 + -263)?
True
Suppose j - 2*k = 71, -k = 2*j + 3*j - 311. Suppose 7*g = -2*g + j. Is 5 a factor of g?
False
Suppose -5*w + 6*x = 3*x - 25061, -2*x + 5007 = w. Suppose 2*v - 3*c - 1256 = v, -w = -4*v - c. Does 15 divide v?
False
Suppose 0 = -4*q - 2*l + 49532, 0 = -5*q + 4*q + l + 12386. Does 12 divide q?
True
Let n = 4765 - 440. Does 6 divide n?
False
Let j = 116 - 111. Let c(f) = 12*f + 56. Is c(j) a multiple of 29?
True
Suppose -11*x - 1343 = -5600. Does 14 divide x?
False
Let k = -15204 - -15964. Does 5 divide k?
True
Let d be 9/(-54)*-4 + (-1708)/6. Does 43 divide d/((1/(-7))/((-10)/(-35)))?
False
Suppose 337218 = 37*z + 37*z. Is 63 a factor of z?
False
Let d(l) = l**3 + 14*l**2 - 122*l + 96. Is 7 a factor of d(-19)?
True
Is 19173/15 + ((-32)/4)/40*1 a multiple of 213?
True
Let b(o) = -6*o + 156. Suppose 2*v + c - 33 = 0, 0 = -5*v - 5*c + 72 - 2. Does 6 divide b(v)?
True
Let g(o) be the second derivative of 29*o**4/12 - o**3/6 + 7*o**2 + 76*o. Is 34 a factor of g(3)?
True
Is (50/75 - (344372/6)/(-7)) + 7 a multiple of 13?
False
Suppose 31*r + 120 = 28*r. Let a = -48 - r. Is 17 a factor of 2/a*-34*6?
True
Let g = 71524 - 15874. Is g a multiple of 50?
True
Let i(o) be the second derivative of 2*o**3 + 27*o**2/2 + 9*o. Is i(20) a multiple of 6?
False
Does 8 divide 352255/70 + (-39)/182?
True
Let g = -2301 + 4551. Does 9 divide g?
True
Suppose -3*v - 5*n = 0, -6*v - 17 = -7*v + 4*n. Suppose 3*q - 14 = -2. Suppose q*i + v*i - 81 = 0. Does 3 divide i?
True
Let r(s) = 5*s**3 - 3*s**2 - 12*s - 2. Let c = -38 - -35. Let p(f) = 9*f**3 - 5*f**2 - 24*f - 5. Let b(j) = c*p(j) + 5*r(j). Does 15 divide b(-5)?
True
Let j be (-2629016)/(-936) + 16/(-9) + 2. Suppose 0 = -13*z + 12401 + j. Does 26 divide z?
True
Let z = 4530 + -2164. Is z a multiple of 13?
True
Let y = -20328 - -27449. Is y a multiple of 37?
False
Let s = 11274 - 6975. Suppose 46*z = 44*z - 3*l + 2157, 4*z = -l + s. Is z a multiple of 47?
False
Suppose 0*t + 14 = 2*t - 4*g, 3*t - 4*g = 19. Suppose 79 = t*n - 41. Suppose -n*w + 23*w = -258. Is 26 a factor of w?
False
Suppose -121 - 380 = -n - 5*x, 0 = 3*n - 5*x - 1423. Suppose 0 = 9*a - n - 140. Suppose 2*u - 3*u + a = 0. Is u a multiple of 6?
False
Suppose -6*c + 10 = -2. Let h be ((-22)/(-33))/(c/(-72)). Is 22 a factor of (-1)/(-2) - 1860/h?
False
Let i = 49659 - 29155. Is 18 a factor of i?
False
Let y(n) = 15*n**2 + 175*n + 1886. Does 48 divide y(-11)?
True
Let h = 12 + -21. Let a be 4 - 12 - -3 - (-2 + 3). Is 11 a factor of a/h - 192/(-9)?
True
Suppose 2*g - h = g - 26, g = -4*h - 1. Let y = g + 17. Does 7 divide -1*(21/28 + 31/y)?
True
Let o be -83 + 80 + (-5)/(5/(-912)). Suppose -5*r - 2*c + 3999 = 0, 5*c - 3297 = -3*r - o. Is r a multiple of 89?
True
Let a be 34/136 - ((-82)/(-8) + 0). Is ((-646)/4)/(a/60) a multiple of 17?
True
Suppose -3 - 42 = -5*r. Let w be (0 + 0)/(r + -7). Suppose 5*b - 55 = -w*b. Does 2 divide b?
False
Is 37 a factor of (0 + 4/10)/(13364379/(-668220) - -20)?
True
Suppose 0 = -0*k - 4*k + 3*v + 3682, 5*v = -4*k + 3666. Suppose -13*a = -4 - k. Does 4 divide a?
False
Does 44 divide (3/(-4))/((-218)/8231680)?
False
Suppose -515*t = -519*t + 12, 5*u - 5*t - 180860 = 0. Is u a multiple of 25?
True
Suppose -41426 + 26161 - 52937 = -81*l. Is l a multiple of 3?
False
Let j = -8770 - -13937. Does 185 divide j?
False
Let h be ((-167)/2)/(37/74). Suppose r = -5*p - 33 - 4, -5*p + 35 = -5*r. Does 30 divide 1 - h - (7 + r)?
False
Suppose -260*i + 327*i - 498279 = 0. Is 122 a factor of i?
False
Let k = 146 + -134. Does 42 divide (7 - k) + (-1384)/(-8)?
True
Suppose 9858 = 2*y + 6*u - 14320, -3*y + 36211 = u. Is y a multiple of 11?
False
Let o(z) = -z**2 - 16*z - 25. Let p be o(-14). Suppose -9 = 3*b, 2*x + p*x - 3*b - 1059 = 0. Does 30 divide x?
True
Let f(l) = -2*l - 19. Let j be f(-4). Let x(r) be the first derivative of -r**2/2 + 7*r + 1. Is 18 a factor of x(j)?
True
Let c = -122 + 131. Suppose 297 = 20*u - c*u. Is u a multiple of 27?
True
Is 46 a factor of (-8)/(-6)*-5*(-803574)/180?
True
Suppose 4*q - 93635 = 32614 + 41919. Is 13 a factor of q?
True
Let z(g) = -g**2 + 22*g - 113. Let r be z(10). Let j(n) be the third derivative of 7*n**4/6 - 25*n**3/3 + 6*n**2. Is j(r) a multiple of 14?
False
Suppose 15 = -3*u + 5*p, -4*u + 4*p = -p + 25. Does 13 divide ((-546)/u)/(-10*(-7)/350)?
True
Let q = -5686 - -7928. Does 5 divide q?
False
Let h be 0 + 2 + 4 + 503. Let s = 261 + -137. Suppose -5*q - s + h = 0. Is 13 a factor of q?
False
Suppose 3*z = 5*j - 4, 0*z + 2 = 3*j - 2*z. Suppose -5*o + 1118 = j*k - 42, -3*k - 2*o = -1740. Suppose 21*x = 26*x - k. Is x a multiple of 29?
True
Let q(k) = k**2 + k - 13. Let n be q(4). Does 17 divide (8/6)/(n + 8285/(-1185))?
False
Let b(u) = -216*u**2 - 4*u - 4. Let y(o) be the first derivative of 144*o**3 + 9*o**2/2 + 9*o - 1. Let h(a) = -13*b(a) - 6*y(a). Is h(-1) a multiple of 27?
True
Let a = -3182 - -11172. Is a a multiple of 13?
False
Let s(r) = -2815*r**3 + 2*r**2 + 51*r + 50. Is s(-1) a multiple of 8?
True
Let l(p) = -p**3 + 9*p**2 - 5*p - 11. Let b be l(8). Let v = b + -39. Is 13 a factor of (-4 + 15/6)*v?
True
Let s(h) = -218*h + 7. Let w be s(-1). Let d = w + -197. Is 2 a factor of d?
True
Is 8 a factor of (-3 - (-15)/6) + (-1)/((-16)/174408)?
False
Let x be ((-21)/2)/((-15)/7360). Suppose -3*n = 13*n - x. Is 46 a factor of n?
True
Let x = -29788 - -75554. Is x a multiple of 49?
True
Suppose 6241*v = 6231*v + 15420. Does 27 divide v?
False
Let m = 904 + -58. Is m + (-13)/((-78)/12)*-3 a multiple of 42?
True
Let b(n) = -9*n + 43. Let t be b(4). Does 59 divide (-1)/t - (-80820)/84?
False
Let i(h) = -3*h + 1. Let x be i(1). Suppose 5*s - 4*d - 10 = -7*d, -s - 4*d + 2 = 0. Does 11 divide (x + 46)*s/8?
True
Let b = -227 + 225. Let l(p) = -21*p + 8. Does 17 divide l(b)?
False
Let c(l) = -19 - 13*l**2 + 13*l + l**3 - 12 - 19 + 42 - 5*l**2. Is 24 a factor of c(19)?
True
Suppose 3*v = 3*t + 75, 3*t - 2*v = 2*v - 78. Let p(k) = 3*k + 47. Let n be p(t). Let l(z) = z**3 + 19*z**2 + 12. Is 2 a factor of l(n)?
True
Let d = -535 + 588. Is 2 a factor of d?
False
Let s(f) = 350*f**3 + 43*f**2 - 109*f - 24. Is 31 a factor of s(3)?
True
Is 90 a factor of (-44)/((-13)/((-117)/36)*4/(-14040))?
True
Let u(g) = g**2 + 5*g + 89. Let v be u