s 9 divide j?
False
Let x(z) = -3*z**2 - 14*z - 6. Let o be x(-4). Suppose -o*h - 76 = -4*w, 0*h - 76 = 2*h + w. Let d = h + 98. Is 11 a factor of d?
False
Let y be ((-22)/11)/(2/(-6)). Let i(h) = h**2 + 8*h + 32. Let l be i(-4). Suppose -y*u + l*u = 940. Does 9 divide u?
False
Let i(m) be the third derivative of 3*m**5/4 - m**4/8 + m**3/3 + 9*m**2. Let p(h) = -h**3 - 2*h**2 - 3*h + 1. Let v be p(0). Is 9 a factor of i(v)?
False
Suppose 10*r + 1065 = n - 235, 5276 = 4*n - 2*r. Does 30 divide n?
True
Let r = 9834 + -8880. Is r a multiple of 6?
True
Suppose 0 = 2*v - 2*d - 886, 4*v - 2*d - 510 - 1256 = 0. Is v a multiple of 11?
True
Suppose 12 = -3*p + 9*p. Let l(d) = d**3 - d + 7*d**p + 29 - 6*d**2 + 22. Is l(0) a multiple of 17?
True
Suppose -184*z + 532*z = 11920392. Is z a multiple of 99?
True
Let y(f) = f**3 + 26*f**2 + 79*f - 80. Does 199 divide y(20)?
True
Suppose 54*b = 10*b - 79259 + 403187. Is 18 a factor of b?
True
Suppose -k = 3*x - 5400, -2*x - 22135 = -3*k - 5869. Does 43 divide k?
True
Suppose 42*l - 258*l = -136080. Does 3 divide l?
True
Suppose -65 = -3*h - 59. Suppose 10*y = -h*y - 60. Is 13 a factor of (-5)/(-3)*(y - -14)?
False
Let k = 3305 - -2305. Is 2/(11/(k/4)) a multiple of 14?
False
Let l = 69 + -44. Let i = -4 + l. Is 25 a factor of 49/2 + i/42?
True
Let t(o) be the third derivative of o**6/120 - o**5/10 + 25*o**2. Let v be t(3). Let x = v + 87. Is 15 a factor of x?
True
Suppose -5*u + 2*t = -u - 14, 4*t = -u - 10. Let v(w) = 12*w**2 + 3 - 16*w**u + 11*w**2. Is 31 a factor of v(-2)?
True
Let b(p) = 35*p**3 - 2*p**2 + 2*p. Let n = 60 - 57. Suppose -4 = -n*c - 1. Is b(c) a multiple of 5?
True
Let f be (-192)/84 - (-4)/14. Let h(j) = -115*j**3 - j**2 - 9*j - 4. Does 31 divide h(f)?
True
Suppose 149886 = 62*i + 60486 - 213594. Does 176 divide i?
False
Suppose 6*v - 3*v - 3391 = -q, -25 = 5*q. Let i = v + -775. Suppose 13*g - 10*g = i. Is 24 a factor of g?
False
Let o be (1 - -200)/(18*(-1)/(-6)). Let p = o + -24. Is 43 a factor of p?
True
Let s be (5665/20)/1*-4. Let x = -749 - s. Is 24 a factor of x?
True
Let u(t) = t**3 - 5*t**2 + 22*t - 108. Let p be u(5). Suppose 2*v + 2*i = 1640, 14*v - 15*v + 821 = p*i. Is 13 a factor of v?
True
Let m(k) = 7*k - 17. Let p be m(7). Let s = 111 - p. Suppose -x = 3*q - 134, 29 = 2*q - 4*x - s. Is 23 a factor of q?
True
Let q(t) be the third derivative of -7*t**6/720 - 13*t**5/120 + 3*t**4/4 - 34*t**2. Let h(w) be the second derivative of q(w). Is h(-4) a multiple of 3?
True
Let h = 2860 - -2155. Is h a multiple of 17?
True
Let u(i) = -2*i**3 - 4*i**2 + 5*i - 1. Suppose 4 = -4*q - 4. Let m be ((-25)/(-10))/(q/4). Does 31 divide u(m)?
True
Let l(o) = -4*o**3 + 72*o**2 + 10*o - 10. Let u be (-576)/(-80)*5/2. Does 10 divide l(u)?
True
Let o(f) = f**2 + 13. Suppose 2*t + 20 = 2*k, 5*t - 47 - 53 = -5*k. Is 7 a factor of o(k)?
True
Suppose -157063 - 335545 = -118*z + 795244. Is z a multiple of 6?
True
Suppose 0*m + 6 = 6*m. Let g be ((-1)/m - -2)*(1 + -1). Suppose g = -3*y + 484 + 62. Is y a multiple of 11?
False
Is ((-212850)/(-385))/((-3)/(-14)) a multiple of 60?
True
Suppose 29*u + 2262 = -17023. Let i = u - -1503. Is i a multiple of 24?
False
Let j(w) = w**3 + 8*w**2 + 5*w - 16. Let u be j(-6). Suppose -u = -i - 2*v, 4*v - 9*v - 10 = 0. Is 5 a factor of i?
True
Let n(a) = -54*a - 31. Let k(g) = -g**3 - 7*g**2 - 6. Let z be k(-7). Is 9 a factor of n(z)?
False
Suppose -4*n - 176*y + 16004 = -172*y, 15*n + 2*y = 60119. Does 12 divide n?
False
Suppose 0 = -5*q - 6 - 29, 0 = 3*x + q - 4841. Does 34 divide x?
False
Let m be 96/56 + 2/7. Suppose m*d + 3*s - 11 = 0, d + 0*d = -3*s + 10. Does 4 divide (68 - 14) + (1 + 0)*d?
False
Let l be ((-12)/15)/(6/(-15)) - -14722. Does 13 divide l/63 + (-1 - (-18)/14)?
True
Let u = 19221 - 14555. Does 4 divide u?
False
Let a be 560/(-7) + (-5)/1. Let x = 83 + a. Let q(g) = -2*g**3 - g**2 - 5*g - 5. Is 4 a factor of q(x)?
False
Suppose 0 = -i + t + t + 154, -i + 164 = 3*t. Suppose -3*c - 188*x + 186*x = -18, 28 = -c + 5*x. Suppose -c*h + o + 65 = 2*o, 0 = -5*h - o + i. Does 8 divide h?
False
Let t(m) = m**2 + 36*m + 77. Let v be t(-34). Suppose -5*z = -i - 61, v = 2*z - 4*i - 19. Is z a multiple of 4?
True
Suppose 14*v + 14 = 16*v. Suppose 0 = v*b - 3*b - 2*w - 1938, -1968 = -4*b - 4*w. Is b a multiple of 6?
False
Let g(a) = 115*a - 63. Let f be g(-4). Let y = 33 - f. Is 52 a factor of y?
False
Suppose -20*x + 2*p + 7964 = -19*x, -p = 2*x - 15938. Is x a multiple of 96?
True
Let a = -18651 + 24351. Is 15 a factor of a?
True
Suppose -y - 6*y + 2*y = 0, 70932 = 3*a - 2*y. Is 92 a factor of a?
True
Suppose -24*v + 12192 = -8*v. Let j = v - 574. Is 4 a factor of j?
True
Suppose -3*k = 4*d - 12 - 5, -3*k + 11 = d. Suppose 8 + 2 = 2*m, -40 = -5*c - 3*m. Suppose 0 = -k*s + 3*w + 657, c*s + 0*w = -w + 1101. Is 10 a factor of s?
True
Let d = -3782 - -9477. Is d a multiple of 10?
False
Let h(j) = -54*j**3 + 4*j**2 - 3*j. Let z be h(1). Suppose -14*b - 620 = -19*b. Let w = z + b. Is 20 a factor of w?
False
Suppose 0 = -2*a - 2, 26 = 4*o - 2*a - 0*a. Let d be (-3)/o + (-5)/(-10). Suppose 2*g - 69 + 3 = d. Does 6 divide g?
False
Suppose 17*u + 76 = 36*u. Suppose 4*b + 1902 = 5*g - 844, u = -b. Is 8 a factor of g?
False
Let c(h) = 20*h + 3. Let b be c(2). Let a = 48 - b. Suppose x - 29 = -a*s, -2*x - 6 = -4*s - 22. Is x a multiple of 2?
True
Let m(k) = -k**3 - 28*k**2 - 28*k - 50. Let l be m(-27). Let o(t) = t**3 + 26*t**2 + 33*t - 55. Is 28 a factor of o(l)?
False
Suppose -4*v + 12 = 0, 3*v - 36 = -2*f - 7. Does 6 divide 20/((2/f)/(51/5))?
True
Let n = 207 - -9. Suppose -n = h - 5*h. Suppose -6 + h = y. Does 12 divide y?
True
Is 25 a factor of (-4060)/4466 - (-159520)/22?
True
Suppose -5*h = -3*b + 3, 10*b - 3 = 7*b - 4*h. Is 3/9*(222 + b + 5) a multiple of 8?
False
Suppose -2*f - 2 - 4 = 0, -3 = 4*a + f. Suppose a = -5*k + p + 39 + 61, 3*p + 100 = 5*k. Is 55/k - 2 - (-1578)/8 a multiple of 47?
False
Suppose 4*b + 5*a + 71 = 0, -3*b + 0*b - 3*a - 57 = 0. Let r be b/(-6) - (-1 - 0/2). Suppose -5*l + 4*o = -240, -r*l + 240 = o - 2*o. Is 6 a factor of l?
True
Let x be 3/(-2)*(175/7 + -7). Does 21 divide ((-63)/x)/((-2)/(-126))?
True
Let i = -8624 - -9284. Is 12 a factor of i?
True
Suppose 7*v - 5129 = 13687. Suppose -5*l + v = l. Suppose 455 = 7*h - l. Is 26 a factor of h?
False
Suppose 0 = 3*x + 2*z - 3890, x + z - 541 = 757. Suppose -5*i - t = -x, 15*t - 19*t = 3*i - 773. Is i a multiple of 12?
False
Suppose 0 = -2*u + 7*t - 8*t + 30229, -5*u + t + 75548 = 0. Is u a multiple of 24?
False
Suppose -4*d - 20 = -2*t - 5*d, -d - 4 = -t. Suppose 2*y = x + t, -2*x + 0*y + 4 = y. Suppose x = -0*f + 3*f + 15, -2*j = 4*f - 82. Does 17 divide j?
True
Let n be (-1 - -2) + 1/2*-2. Suppose n = -7*m - 3*m. Suppose -q + 52 = 5*p, p = -5*q - m*p + 236. Is 5 a factor of q?
False
Suppose 7 - 16 = -3*r. Suppose -5*b - r*q + 47 - 16 = 0, 4*q - 13 = -b. Suppose -g - 3*m = -75, 0*m + b*m - 15 = 0. Does 3 divide g?
True
Does 15 divide 8/(-9) + 39 + 2224356/108?
False
Let d(f) = 14*f + 142. Let w be d(-36). Let j = 407 + w. Is 32 a factor of j?
False
Does 8 divide 135905/25 + 264/(-220)?
False
Let y be -6*(155 - (-7)/7). Let g = -510 - y. Does 19 divide g?
False
Let v(q) = -24*q - 10. Let c be v(-1). Suppose 5*d = 3*j - 2120, 2*j - 1415 = c*d - 9*d. Does 23 divide j?
False
Suppose -o - 1065 + 1072 = 0. Let u(n) = 11*n**2 + 23*n - 12. Is 43 a factor of u(o)?
True
Suppose -z = 2*j + 34, 134 = -3*z + j + j. Let y = 44 + z. Suppose r = -5*n - 3*r + 600, 0 = 5*n + y*r - 600. Does 20 divide n?
True
Let p(f) = -f**2 - 23*f - 120. Let j be p(-9). Suppose 9*n - 123 = -j. Does 13 divide n?
True
Let n(a) = 3703*a - 4849. Is 227 a factor of n(3)?
False
Suppose -9*w + 5 = -8*w. Suppose -2*g + 41 = -i - g, -185 = w*i - g. Let j = i - -80. Does 22 divide j?
True
Let t be -1*(1 - (5 + -3) - -1). Suppose -36*d + 32*d + 148 = t. Suppose 6*v = -a + v + d, -2*v - 258 = -4*a. Is a a multiple of 31?
True
Suppose 560*q - 739*q - 133332 + 1909012 = 0. Does 62 divide q?
True
Let s = 9228 - 3020. Does 16 divide s?
True
Let u(j) = -j**2 - 17*j + 22. Let v be u(-18). Suppose g + 150 = v*g. Suppose s - 73 - g = 0. Is s a multiple of 41?
True
Let w = -279 + 191. Let l = -90 - w. Does 42 divide -15 + 11 - 370/l?
False
Let l(