actor of w(n)?
False
Is 44 a factor of -7 + ((-1002)/18)/(3/(-81))?
True
Let q(f) = -194*f + 11418. Is q(41) a multiple of 252?
False
Let p be (54/(-30))/((-7)/35). Suppose 272 - 839 = -p*t. Is t a multiple of 4?
False
Let z be (36/5)/(-6)*60/2. Does 7 divide z/15*(-160)/9*6?
False
Let a = -5483 + 5688. Is 2 a factor of a?
False
Let f = -215 + 250. Let w(j) = j**2 - 29*j + 123. Is w(f) a multiple of 38?
False
Let j(u) = -u**3 + u**2. Let z(a) = 5*a**3 + 19*a**2 + 68*a + 10. Let c(p) = -6*j(p) - z(p). Is 5 a factor of c(28)?
False
Let a(n) = -14*n**2 + 3*n + 4507. Is 21 a factor of a(0)?
False
Suppose 3*m + 877 = -149. Let k = 692 - 38. Let y = k + m. Is y a multiple of 42?
False
Let v(q) = -q**3 + 62*q**2 - 30*q + 404. Is v(61) a multiple of 15?
True
Does 16 divide ((3/(-12))/((-3)/11358))/(24/256)?
True
Let l be (0/(-2))/(-9*2/(-6)). Suppose l*v - h = 5*v - 33, 2*v = -5*h + 27. Suppose -10*o + 144 = v*o. Does 3 divide o?
True
Let l = -257 + 259. Does 22 divide (-4)/l + -4 + 336?
True
Let u = -142 - -36. Let q = u - -181. Is 20 a factor of q?
False
Let x be 218*((-28)/(-8))/7. Let u be (-2)/(-4) - 95/(-38). Suppose u*i - x = -46. Is i a multiple of 7?
True
Let u = 56148 - 23987. Is 142 a factor of u?
False
Suppose -t - t + 5*d = -97, -d + 120 = 3*t. Let p = 809 - t. Suppose 0 = 6*g + 240 - p. Is 22 a factor of g?
True
Let z be (7/(-3) - -1)*(-4251)/52. Does 10 divide z/(-545) - (-2522)/10?
False
Suppose -29128 = -4*i - d, d + 20970 + 8158 = 4*i. Is i a multiple of 22?
True
Let t(s) = -2*s + 28. Let o be t(11). Let k be (-5)/(-2) - o/(-12) - 10. Let q = 35 - k. Is q a multiple of 12?
False
Let z be 2/(-3)*9*4/(-6). Suppose 4*a + 18 = 42. Suppose 0 = -a*t + z*t + 26. Is 3 a factor of t?
False
Let w(a) = -2*a**2 - 33*a + 14. Let h be w(-17). Is 22 a factor of (13/h - -1)/(8/(-2508))?
False
Let u be (-1)/(-3) - (-76)/(-12). Let g = 11 + u. Suppose 0 = -g*m + 14*m - 72. Is 8 a factor of m?
True
Suppose 4*s = -8, 2*s = -6*h + 4*h + 226. Let u = h - 101. Is 1096/u + 2 - (-2)/(-7) a multiple of 23?
False
Let m = -5391 + 12061. Is m a multiple of 29?
True
Let f(h) = -142 + 23*h - 423*h**2 + 422*h**2 - 56*h. Is f(-24) a multiple of 5?
False
Let r = 55988 + -36782. Is 198 a factor of r?
True
Let s(h) = 2*h**3 + 10*h**2 + 2*h. Let w = 20 + -19. Let f(a) = -a**3. Let q(i) = w*f(i) + s(i). Is 10 a factor of q(-9)?
False
Let i = 388 - 383. Suppose 18*r - 16*r - 851 = -5*d, -i*r + 4*d = -2144. Is 22 a factor of r?
False
Suppose -5*p - 2*y = -14342, p + 1374 - 4240 = -y. Is 5 a factor of p?
True
Let z(s) = -s**3 + 6*s**2 + 9*s - 10. Let b be z(7). Let q be -79*3/(2 - 14)*b. Let h = q - 24. Is 13 a factor of h?
False
Let b be (1 + -321)/(3/2*(-48)/108). Let u be 1/((-7)/8 + 1). Suppose -b = 3*o - u*o. Does 16 divide o?
True
Suppose 0 = -8*r - 713 + 609. Let h(a) = a**3 + 17*a**2 + 23*a + 68. Does 6 divide h(r)?
False
Let b(t) = -8*t**3 - 3*t**2 - 294*t - 873. Is 18 a factor of b(-3)?
True
Let b = -171 - -176. Suppose -l + 371 = -a, 4*l - 3*l = b*a + 359. Is l a multiple of 28?
False
Let c be 51/6*(-3 + 3 + -2). Let b = -15 - c. Let t = b + 29. Does 4 divide t?
False
Let j(b) = -5*b + 32. Let g be j(6). Suppose -2*u + g*z = -664, 2*u - 3*u = -5*z - 312. Suppose 0 = -7*f + 356 + u. Is f a multiple of 11?
True
Is ((-10401)/(-6) - (9 + 23/(-2))) + -8 a multiple of 64?
True
Let b(x) = 9*x**3 + 6*x**2 + 16*x - 3. Let k be b(-6). Let z = -1211 - k. Is 74 a factor of z?
False
Let v = -116 + 114. Is 6 a factor of (2 + 14/v)*-5?
False
Let z be (9 - 4 - -5)*61. Let u = z + -64. Is 14 a factor of u?
True
Suppose 0 = -5*v - 136 + 91, -i + 10034 = 3*v. Does 321 divide i?
False
Let i(x) = 184*x + 35. Does 34 divide i(9)?
False
Let q(w) = 6736*w**3 + w**2 + 2*w - 3. Does 66 divide q(1)?
False
Let w be 3/15 + 2722/(-10) + -4. Let b = w + 279. Is b even?
False
Let s be (10/6 + (-2)/(-6))*1. Suppose -3*v + 11 = 4*i, 0*i - 53 = -5*v + s*i. Suppose v*m - 1046 = 259. Is m a multiple of 29?
True
Let u(z) = -z**3 - 11*z**2 + 5. Let n be u(-11). Suppose -4*m = -5*t + 1292, 5*t - m - 1308 = -n*m. Is 11 a factor of t?
False
Is 16 a factor of 16 + 6132/14 - (-4)/(-2)?
False
Let l(p) = -62*p - 2. Let x be l(2). Let z(w) = 256*w**2 + 9*w - 1. Let h be z(-1). Let b = x + h. Does 18 divide b?
False
Suppose -35*z = -321*z + 1208922. Is 44 a factor of z?
False
Let o(r) = 3*r + 41. Let d be (5 + -3)*-4 + -4. Let x be o(d). Suppose 106 = 5*a + 2*i - x, 3*i = -6. Is a a multiple of 9?
False
Let k = 6 - 3. Let n(s) = 2*s**3 - 62*s**2 + 65*s + 49. Let g be n(30). Suppose l - 5*m = -9 + 69, k*l - g = -4*m. Does 7 divide l?
False
Suppose -1738 - 3146 = -2*y + 3*b, 2*b + 9784 = 4*y. Let q be -15*10/(-15) + (-3)/1. Suppose 2*k = -q*k + y. Is 34 a factor of k?
True
Suppose -2*y + 2416 = g, -y + 9640 = 4*g + 3*y. Does 46 divide g?
False
Is 45 a factor of (-168)/48*18568/84*-30?
False
Let m = -26 + 101. Suppose -m - 503 = -2*p. Is p a multiple of 23?
False
Suppose 100*g - 96*g + 16 = 0. Let i be (-136 + g)/4*32/(-10). Suppose -10*v + i + 218 = 0. Is v a multiple of 11?
True
Suppose 198 = -3*l + 25*l. Suppose 0 = -3*r, r = 6*f - l*f + 756. Is 12 a factor of f?
True
Let z(k) be the second derivative of k**5/5 - k**4/12 - 13*k**3/2 - 3*k**2 + 6*k + 7. Is z(6) a multiple of 42?
True
Let p = -131 - -144. Suppose -2601 = -4*b - p*b. Is 17 a factor of b?
True
Suppose k + 4*p = 26688, 3*k - 19227 = -2*p + 60767. Does 31 divide k?
True
Suppose -4*q + 5*q - 5*j = -1119, 2*j = 4*q + 4386. Let t = q + 1835. Does 15 divide t?
False
Let u(q) be the second derivative of 29*q**3/2 + 25*q**2/2 - q - 8. Is 23 a factor of u(5)?
True
Let o(p) = p**3 - 11*p**2 + 11*p - 14. Let u be o(7). Let q = u - -373. Is 15 a factor of q?
True
Let m = 141 - 121. Suppose -3*s = 5*u - 135, 3*u + 91 = 3*s - m. Suppose -3*v + 0*v = 3*b - 120, -v - s = -b. Is 2 a factor of b?
True
Let o = -625 + 2152. Is o a multiple of 20?
False
Suppose -14*z = 78 + 524. Let v = z - -48. Suppose p - 64 = w, -v*p + 2*w + 328 - 20 = 0. Is 10 a factor of p?
True
Let w(s) = -1357*s - 67. Does 78 divide w(-2)?
False
Let x(l) = -l**3 + 10*l**2 - 26. Let g be x(9). Suppose g = b - 112. Does 54 divide b?
False
Let t(q) = -46*q**3 - 20*q**2 + 11*q + 304. Is t(-10) a multiple of 24?
False
Let v(k) = -k**2 - 16*k + 20. Let t be v(-17). Suppose 3 = 2*b + 3*g, -4*b + 2*g = -t*g + 49. Is 6*(-45)/(-24)*(-16)/b a multiple of 4?
False
Let k = 15 - 10. Suppose -w = v - 58, 0 = 5*w - k*v - 119 - 131. Suppose -u - w = -7*u. Is 9 a factor of u?
True
Suppose 0 = 5*v + 47 - 182. Let l = v - -54. Is l a multiple of 16?
False
Let d(w) = 539*w**3 + 4*w**2 + 5*w - 38. Let l(m) = -180*m**3 - m**2 - m + 12. Let u(f) = 2*d(f) + 7*l(f). Is 43 a factor of u(-2)?
True
Let c(z) = -z**2 - 13*z + 16. Let k be c(-14). Suppose -3*v = -k*v + 159. Let p = 237 + v. Does 13 divide p?
True
Suppose 21*c = 99*c - 96096. Does 22 divide c?
True
Suppose -8 = z + 35. Let y = -44 - z. Does 4 divide (0 + y)/((-9)/117)?
False
Suppose -44244 = 2*u + 4*c - 113496, 6*u + 5*c - 207777 = 0. Does 72 divide u?
True
Let l = -28 - -32. Suppose -2*k + l*m + 114 = 2*m, -12 = -4*m. Let f = 90 - k. Is 6 a factor of f?
True
Let w(h) = -h - 52. Let n be w(-16). Let r = -20 - n. Suppose -144 = 12*p - r*p. Is 27 a factor of p?
False
Let z(b) = 5*b**2 + 8*b - 41. Let r(w) = -3*w**2 - 3*w + 20. Let o(s) = -7*r(s) - 4*z(s). Is o(-9) a multiple of 51?
True
Let s = 32 + -28. Suppose t + 4 = 0, -s*t + t - 796 = -4*v. Is v a multiple of 4?
True
Suppose -2*s = 4*f - 9228, 5*s - 21756 = f + 1281. Suppose -5*c - 5*p = -5760, 4*c - s = 41*p - 43*p. Is 48 a factor of c?
True
Suppose 45*j - 120 = 37*j. Suppose -u - 2*u = -2*y + 2227, 0 = 5*u - j. Is 86 a factor of y?
True
Let d = 18 + -16. Suppose d*o - 10*o = 24. Is 27 a factor of 140 - (0 - -3) - (-1 - o)?
True
Suppose 6*t = -90 - 126. Let i = t + 40. Is (3580/(-50))/(((-24)/15)/i) a multiple of 20?
False
Let z = 8228 - 5786. Let u be -3 - z/(-5) - (-9)/15. Is 9 a factor of ((-4)/(-6))/(12/u)?
True
Let h = 143 - 139. Suppose -6*o = -o + 3*x - 993, 0 = -h*x + 4. Is 18 a factor of o?
True
Suppose -6*o + 4136 + 19486 = 0. Is 17 a factor of o?
False
Suppose -2*g + 16*u = 13*u - 16, -3*g + 31 = -u. Is 4 a factor of g?
False
Suppose -24255 = 9*w - 16*w. Suppose 10*t + t - w = 0. Is t a mul