 + 74873 + 83412. Is 65 a factor of j?
False
Let j(m) = -131*m**3 + m + 2. Let z be j(-1). Let k = z - -188. Is 16 a factor of k?
True
Let p = -696 + 1640. Suppose 3*s = p + 112. Is 44 a factor of s?
True
Let q(z) = -77*z - 5. Let l be q(-1). Suppose 2*r = 11*r + l. Is 6 a factor of (-59 + -1)*r/20?
True
Suppose n + 385 = j - 526, 0 = 4*j - 5*n - 3647. Let u = j - -20. Suppose 5*x - u - 47 = 0. Is x a multiple of 39?
True
Let y = -430 - -804. Is 4 a factor of y?
False
Let d = 513 + 97. Let z = -404 + d. Is (-1)/5 - (z/5)/(-1) a multiple of 9?
False
Suppose 2 - 167 = 15*u. Does 7 divide u - (-3 - 3) - -48?
False
Let h(a) = 29*a**2 + 11*a - 1. Suppose 2*y + 5*f = -9, 0 = -62*y + 65*y + 5*f + 11. Does 2 divide h(y)?
False
Let z(f) = f**3 + 13*f**2 - 16*f + 13. Let r be z(-14). Let t = 113 - r. Suppose t = -0*n + n. Is n a multiple of 36?
True
Let k = 56 - 53. Let g be (-168)/(k/(45/(-10))). Suppose 59*p - g = 55*p. Is p a multiple of 3?
True
Let i be ((-2)/4)/((-8)/64). Let z be (-96)/(-9)*9 - i. Is 16 a factor of z/(-5)*45/(-18)?
False
Suppose 20*s + 55 = 31*s. Is -1*(s - 867) + -5 a multiple of 10?
False
Let f be 156415/21 - ((-16)/6 - -3). Suppose 17*s + f = 31*s. Is s a multiple of 89?
False
Suppose -4*t - 260 = -0*h + 2*h, 0 = 5*h + 5*t + 675. Is (3 - h/(-44)) + (-10533)/(-33) a multiple of 10?
False
Suppose -3*t + q + 1417 = 0, -4*t + q = -3*q - 1876. Suppose 5*l - 1126 = t. Suppose 2*o + l = 6*o. Is 19 a factor of o?
False
Suppose -112 = 26*f - 24*f. Is f/70*(-4780)/8 a multiple of 8?
False
Let d(j) = 6*j**3 - 2*j**2. Let p be d(1). Does 63 divide p/6*99294/76?
False
Let x be ((-337 - 9)/((-4)/2))/1. Suppose -935 + x = -3*s. Is 6 a factor of s?
False
Let y = -7465 - -16644. Does 65 divide y?
False
Let z(v) = -75*v - 145. Let n be z(-2). Let i = 1 + -1. Suppose -3*g - 60 = -4*w, i = -5*w + w + n*g + 60. Is 14 a factor of w?
False
Is 11 a factor of -66*(49/(-14) - -3)/((-2)/(-242))?
True
Suppose 26*d - 280*d - 29*d + 15760836 = 0. Is d a multiple of 36?
True
Suppose 2*f - 25 = 3*s, 6*f + 3*s - 17 = 5*f. Suppose 0 = -f*d - 22*d + 16560. Is 23 a factor of d?
True
Let h(g) = -7*g**2 + 160*g + 75. Let j(v) = -4*v**2 + 80*v + 37. Let w(b) = -6*h(b) + 11*j(b). Is 42 a factor of w(-32)?
False
Let o(q) = q + 13. Let z be o(-9). Let l(j) = -61 + 1 + 36 - z*j. Does 12 divide l(-12)?
True
Let p = 38891 + -16509. Is 59 a factor of p?
False
Let m(b) = b**3 + 5*b**2 + 3*b + 7. Let f be m(-5). Suppose -7 = 16*x + 57. Does 4 divide 1/x - 66/f?
True
Is 152 a factor of (-78)/(-104)*153752/6?
False
Let f(o) = 43*o**2 + 36*o - 3. Let c be f(3). Let t = c - 276. Does 36 divide t?
True
Suppose -153*p + 126*p = -1030860. Does 166 divide p?
True
Let y be ((-79)/3)/((-3)/(-9)*-1). Suppose 0 = -5*h + y - 14. Let z(p) = p**2 - 11*p + 10. Is 3 a factor of z(h)?
True
Suppose -6047 = -7*m + 14428. Suppose 0 = 25*y - 30*y + m. Does 13 divide y?
True
Suppose -158*q - h = -159*q + 1880, 0 = 2*q + 4*h - 3712. Is 13 a factor of q?
True
Suppose 148*h - 78*h = 185220. Does 153 divide h?
False
Let b = 483 + -291. Suppose 0 = x, 4*p + 4*x + x = b. Suppose 0 = t - 162 - p. Is 42 a factor of t?
True
Suppose 4*h - 6*p = -p + 14478, -5*h + 18087 = -p. Is 36 a factor of h?
False
Suppose 2*r + 12*r = 5*r + 30780. Is r a multiple of 95?
True
Suppose 0 = 2*v - 2*i - 4306, 102*v - 97*v - 2*i = 10759. Is 6 a factor of v?
False
Does 147 divide (-156)/364 - (-6670)/28*2?
False
Does 30 divide ((-548120)/(-71))/(5/15)?
True
Let c be 726/4 + -1 + (-7)/14. Suppose 0*l + c = 4*l. Is 32 a factor of l?
False
Let g = -634 - -634. Suppose g*n = n + 3, 0 = -v + 5*n + 947. Does 13 divide v?
False
Let m = 31 - -18. Suppose 48*v + 70*v - 2402 - 1610 = 0. Let z = v + m. Does 10 divide z?
False
Let i(q) = 34*q**2 + 5*q. Suppose -3*t = 5*c + t + 4, c + 16 = 3*t. Let d be (6/c)/(15/20). Does 38 divide i(d)?
False
Let c = -46 + -17. Is -489*6/4*14/c a multiple of 20?
False
Is 31 a factor of (-6)/(-3) + 0 + -32 + 3936?
True
Is 33 a factor of -231*29/(-406)*(12 - 0)?
True
Let k(t) = -333*t - 41. Let v be k(-17). Suppose 0 = z + 4*h - 1124, 5*z + 0*h - v = -h. Suppose 8*l - d = 12*l - 1099, -4*d = -4*l + z. Is 12 a factor of l?
True
Let t(w) = -13*w. Let i be t(-20). Is 6 a factor of (i - 0)/5 - 2?
False
Suppose 27*v + 9*v - 21*v - 23040 = 0. Is v a multiple of 48?
True
Suppose -3*p + 74031 = -z, 7*p + z - 74019 = 4*p. Is p a multiple of 15?
True
Let x(d) = 1 + 4 + 3 + 0 - 2*d. Let r be x(2). Is 10 a factor of r + -3 + 3 - -6?
True
Let k(q) = -q**3 + q - 1. Let f(r) = 7*r**3 - 8*r**2 - 2*r + 4. Let t(u) = -f(u) - 6*k(u). Let z be t(7). Let y = z + 0. Is y a multiple of 7?
False
Let f be (-4 - -2)/(-3 + 2). Let s be ((126/28)/((-9)/228))/(-1). Suppose 2*q = o + o + s, -f*q = 4*o - 90. Is 53 a factor of q?
True
Let k(h) = 15*h**2 + 23*h + 50. Does 11 divide k(27)?
False
Let u = 12 + -8. Let l(q) = q**3 - 2*q**2 - 10*q + 6. Let t be l(u). Is 758/8 + 1 + t/(-8) a multiple of 15?
False
Suppose b - 4*n = 320, -n - n = 5*b - 1556. Suppose -3*t + 241 - 45 = 2*q, -5*t + 4*q = -b. Suppose -6 = 2*o, -2*o + 20 = 2*k - t. Is 15 a factor of k?
True
Let w(q) = 104*q**3 + 12*q**2 - 110*q - 18. Is 12 a factor of w(5)?
True
Let j = 4222 + -4053. Is 31 a factor of j?
False
Let i(t) be the third derivative of -t**4/3 - 13*t**3/6 + 8*t**2. Let x be i(6). Let g = x + 192. Is 19 a factor of g?
False
Let a = -24276 - -24432. Is a a multiple of 78?
True
Let k be (-7 + 44/8)*(0 - -154). Let n = 759 + k. Is 16 a factor of n?
True
Let q be (0 + 0)/((-10)/(80/24)). Is 17 a factor of (q - 1) + -1 + (328 - -5)?
False
Let m = 1 - -1. Let l = 1139 + -1134. Suppose l*v = f - m*f + 75, 4*f = -v + 319. Does 17 divide f?
False
Let h(p) = 8*p + 2 - 10*p + 10. Let q be h(6). Suppose q = -2*d - 2*d - 4*c + 16, -4*c - 14 = -2*d. Does 3 divide d?
False
Let u be 1/((2/(-4))/(7 - 2)). Let p(l) = -l**2 - 5*l + 6. Let r be p(u). Let m = 65 + r. Does 7 divide m?
True
Suppose -61*f + 64*f - 4*y = 32994, -7*f - 4*y = -76906. Is 13 a factor of f?
False
Let l(x) be the second derivative of -6*x - 11/2*x**2 + 0 - 19/6*x**3. Is l(-4) a multiple of 5?
True
Let i(n) = -n**2 - 2*n + 17. Let q be i(-5). Let p be (-102)/(-9)*135/q. Suppose -3*f + 8*f = p. Is f a multiple of 17?
True
Let u be (-1)/(1/(-7))*-3. Let x = 123 + -122. Is 14*(x - (-3)/u) a multiple of 5?
False
Is 5908*(7 + (-450)/70) a multiple of 70?
False
Suppose 54*x + 52*x - 17111 = 74049. Is x a multiple of 20?
True
Let s(g) = 2 - 12*g**3 - 17*g**2 + 11*g**3 - 29*g - 63. Does 21 divide s(-16)?
True
Let z(i) = i**3 + 10*i**2 + 20*i - 4. Let g be z(-7). Suppose -3*m + 3*c = -2694, -11*m - g*c = -13*m + 1797. Is 23 a factor of m?
True
Suppose 2986440 = 1997*i - 1877*i. Is i a multiple of 71?
False
Let q(j) = -11*j**3 + 19*j**2 + 15*j + 53. Let c(l) = 5*l**3 - 10*l**2 - 8*l - 27. Let w(z) = -9*c(z) - 4*q(z). Is 21 a factor of w(13)?
False
Suppose -3*a + 5*a = 4*l - 40, -l + 5*a + 1 = 0. Suppose -l*k - 19 = 47. Let q(j) = -34*j + 4. Is q(k) a multiple of 29?
False
Let u = 2288 - 1513. Suppose u + 1178 = 9*d. Let q = -122 + d. Does 14 divide q?
False
Suppose -2*w = 4*u - w - 4687, 2*u - 2348 = -2*w. Suppose -4*j + 942 = -5*v, -3*j + 3*v + u = 2*j. Is j a multiple of 10?
False
Let r be 9/9*((-24)/(-4) - 3). Suppose 0*n = -r*d - 3*n + 1752, -2*d + 1159 = -n. Is d a multiple of 7?
True
Let x(t) = 7*t**2 + 15*t + 16. Let h(b) = 13*b**2 + 31*b + 32. Let c(z) = 6*h(z) - 11*x(z). Does 14 divide c(-22)?
False
Is 8 a factor of 98560/924*30/4*(21 + 2)?
True
Suppose 5*m + 2*q - 955 = -q, 0 = -3*m - 3*q + 573. Suppose -275 = -3*l - m. Is l a multiple of 4?
True
Let p(c) = -c**3 - 28*c**2 - 40*c - 1. Is p(-29) a multiple of 18?
False
Let c(w) be the first derivative of -79*w**2 - 19*w - 42. Is c(-3) a multiple of 15?
False
Let y = 2388 - 4210. Does 53 divide (8/4)/(-5 - 9114/y)?
False
Is ((-1464)/(-427))/(6/861) a multiple of 5?
False
Suppose -89*o - 255*o + 3581728 = 0. Is 144 a factor of o?
False
Suppose -55*o = -48*o - 448. Suppose 71*w - o*w - 4725 = 0. Is 45 a factor of w?
True
Let f(b) = -b**3 - 2*b**2 + 34*b + 284. Does 94 divide f(-12)?
True
Let u = 24 + -11. Suppose q - 5*w = u, 3*q = 5*w - w + 17. Suppose q*p - 62 - 141 = 5*y, -2*p - 4*y + 172 = 0. Is p a multiple of 18?
False
Suppose 0 = -3*j - 5*b - 17, 17