6*c**2 + 319*c + 26. Is i(15) a multiple of 7?
True
Let j(r) = 8*r**2 - 4*r + 2. Let o be (-8 - (-150)/18)/((-2)/(-42)). Let i(c) = 3*c**2 - 21*c + 5. Let w be i(o). Is j(w) a multiple of 13?
True
Suppose -90*g = -80*g - 25400. Is g a multiple of 5?
True
Let c be ((-27)/6)/(1/6) + -3. Let f(n) = n**3 - 3*n**2 + 4*n. Let t be f(6). Let x = c + t. Is x a multiple of 11?
False
Let n be (737 - -7) + 2/(-4)*-2. Let x = n - 661. Does 3 divide x?
True
Suppose 5*a - 7*a - 32 = 0. Let p be a/10 - (-6)/(-15). Is 3 a factor of (1/p)/(4/(-120))?
True
Let n = -26277 - -29146. Does 179 divide n?
False
Is 11 a factor of ((-168993)/(-396))/(-2 - 70/(-32))?
False
Let k be (-232501)/(-430) + 3/10. Let i = 801 - k. Is 28 a factor of i?
False
Let a = 86 + -10. Is 1/(2/1060)*38/a a multiple of 26?
False
Let b(t) = -5*t**2 + 54*t - 25. Let g be b(10). Suppose -g*r - 14*r = -26187. Is 43 a factor of r?
True
Let q(b) = -b**2 - 7*b + 11. Let z(a) = -4*a**2 - 27*a + 45. Let s(h) = 9*q(h) - 2*z(h). Let r be s(-9). Suppose 5 + r = 2*m. Does 3 divide m?
False
Let u(q) = q**3 - 10*q**2 - 9*q - 23. Let g be u(11). Let z(x) = 71*x**2 - 4*x - 3. Let w be z(g). Let p = -51 + w. Is p a multiple of 10?
False
Let f(k) = -19*k - 41. Let w be f(6). Is 31 a factor of 4176/360*w/(-2)?
True
Let h(o) = -o**3 + 7*o**2 + 52*o + 21. Does 26 divide h(-9)?
False
Let m(h) = -h**3 + h. Let d be m(1). Let x(n) = -n**3 - n**2 + n. Let o be x(d). Suppose -3*u + 4*g - 25 + 123 = o, g = 4*u - 109. Is u a multiple of 26?
True
Let y = 281 + -347. Is 17 a factor of y/(-2)*(-35)/(-15)?
False
Let m(t) be the first derivative of -40*t**2 + 2*t + 111. Suppose -5*f - 2*r - 1 = 9, -f - 4*r = 2. Does 18 divide m(f)?
True
Suppose 2*y = -269 + 293. Let d(q) = q**3 - 10*q**2 - 20*q + 21. Is 26 a factor of d(y)?
False
Suppose -3*o - o = -4*b + 4728, 4732 = 4*b - 2*o. Suppose 1686 + b = 5*h. Does 14 divide h?
True
Suppose 5*h = 5*c - 8*c - 268, -4*c - 216 = 4*h. Let z = h + 60. Does 7 divide z?
True
Suppose 0 = -111*g + 52*g - 271203 + 1546252. Is g a multiple of 194?
False
Let j(f) = -f**2 - 16*f + 21. Let i be j(-17). Suppose 9*o - i*o + 4*y = 376, -2*o + 3*y + 132 = 0. Is 12 a factor of o?
True
Let n(u) be the first derivative of 10*u**2 + 150*u - 111. Is n(-5) a multiple of 18?
False
Let v be 1 + 1 - (-3 + 3). Suppose -3*y = -v*y + 2*r, -y + 6 = -4*r. Suppose y*z - 73 = 417. Does 16 divide z?
False
Let p be 99/21 + 4/14. Suppose l - 31 = -3*a, -2*a = -4*l + 56 + 68. Suppose -p*n + l = -59. Is 3 a factor of n?
True
Let n = -53 + 59. Suppose n*a + 282 = 2574. Is 21 a factor of 48/(-108) - a/(-9)?
True
Let k = 37 - 48. Let i = k + 15. Suppose 12 = -i*s + 120. Is 6 a factor of s?
False
Is 4/8 - 1582975/(-230) a multiple of 8?
False
Is 8 a factor of (-1)/2 - 1 - (-20)/(-32)*-4124?
True
Suppose 5*f + 5550 = -53*s + 55*s, 2775 = s + 2*f. Is s a multiple of 102?
False
Let c(t) = -340*t + 544. Is 8 a factor of c(-2)?
True
Let c(w) = 5*w - 4. Let o(s) = 1. Let i(n) = -c(n) - 5*o(n). Let y be i(1). Does 14 divide (-1001)/(-35) - y/(-10)?
True
Let i(s) = -683*s - 2193. Is i(-9) a multiple of 6?
True
Let p = 141 - 149. Is 23 a factor of -622*((-44)/p)/(-11)?
False
Let x(a) = 6*a**3 + a**2 + 5*a - 30. Suppose 128 = 44*y - 12*y. Is 30 a factor of x(y)?
True
Let f(x) = -57*x + 6. Let p be f(-2). Suppose -w - p = -2*w. Suppose -w = q - 6*q. Is 4 a factor of q?
True
Let m(u) = -u**2 - 25*u - 18. Let w be m(-25). Let y = 110 - w. Is y a multiple of 32?
True
Let r(h) = 10*h**2 + 33*h + 1016. Is r(-32) a multiple of 50?
True
Does 37 divide (-4874)/(-7)*((-9 + 5 - -25) + -7)?
False
Suppose -2*q + 46*u - 43*u + 26071 = 0, -4*q + u + 52137 = 0. Is 19 a factor of q?
True
Let s = 39 + -41. Let k be 2*s/(-8)*-94. Let q = 36 - k. Is 6 a factor of q?
False
Let p = 345 + -63. Suppose 4*x + 4*f = 2540, x - 354 - p = -2*f. Does 8 divide x?
False
Suppose -5*f = -t + 38, 2*t - 2*f - 75 = -t. Suppose t = -u - 34. Let n = u - -138. Is n a multiple of 19?
False
Let m = 714 - 701. Suppose -66 = -3*b + 5*q + 29, 146 = 5*b + 4*q. Let w = m + b. Is 13 a factor of w?
False
Let m(b) = -b**2 - 9*b + 6. Let q(k) = -2*k**2 - 10*k + 6. Let g(s) = -3*m(s) + 2*q(s). Let j be g(4). Suppose j*o + 335 = 11*o. Is o a multiple of 14?
False
Suppose 5*u + 2486 = -834. Does 30 divide 53 + -49 - (u + 1)?
False
Let y(k) be the second derivative of 5*k**4/12 + 7*k**3/6 + 2*k**2 + 37*k. Does 6 divide y(-4)?
False
Let z = 3782 - -3670. Is z a multiple of 27?
True
Suppose -1118 = -3*o - 2*y, 5*o - 102 = -y + 1759. Suppose -2*x - 2*w + o - 28 = 0, 0 = -5*x + 3*w + 892. Let r = x + -106. Does 35 divide r?
True
Suppose -11*m + 44 = -10*m. Let a = 46 - m. Suppose 4*r - 11 = -q, 5*q = a*r + 77 - 0. Is 8 a factor of q?
False
Let l = 18 - -2287. Is l a multiple of 20?
False
Let j be (-1)/2 - (-1)/2. Suppose 3*f + 12 - 6 = j. Is 18 a factor of f/5 - (-724)/10?
True
Let f = 2883 + -2012. Suppose -22*c = -2715 - f. Is 33 a factor of c?
False
Suppose -3*j - 5*y + 805 = -713, -y = 0. Suppose 5*u + m + j = 4*m, -u = -5*m + 110. Does 11 divide (1 - 1 - u - 1) + 4?
False
Let l(m) = -m**2 - 8*m + 37. Let k be l(-11). Suppose 7*d - k*d + j - 2375 = 0, 5*j - 10 = 0. Is 16 a factor of d?
False
Let h = 182 - 124. Suppose 3*g + 0 = -2*k - h, 0 = 5*g + 3*k + 95. Let b = 67 + g. Does 17 divide b?
True
Is 71 a factor of (1065/(-10))/((-9)/978)?
True
Let g = -315 + 314. Does 17 divide 3*((-1400)/(-15) - g)?
False
Is 11 a factor of 1/(-3) + 1042405/273?
False
Suppose 0 = -4*s - p + 18 + 15, -s = 3*p. Let o be (-11)/((-132)/4)*0. Suppose o = -7*v + s + 481. Does 14 divide v?
True
Suppose -3*t + 3588 = c - 6723, -3*t = 4*c - 41199. Does 24 divide c?
True
Let n be (68/16 + -2)/(1/32). Suppose -n = -4*b + 96. Let a = -16 + b. Does 2 divide a?
True
Let q(x) = 2*x + 6. Let b be q(-1). Let t(a) = 146*a - 124. Does 15 divide t(b)?
False
Let c(a) = 6*a**3 + a**2 - 36*a + 90. Let n be c(3). Let s = -114 - -34. Let t = s + n. Is 17 a factor of t?
False
Suppose 0 = 14*y + 15*y - 70528. Suppose 4*u - y = 3*a, u + 6*a - 608 = 8*a. Is 76 a factor of u?
True
Suppose -7363 = -5*g - q + 18463, -5*g + 5*q = -25850. Is 42 a factor of g?
True
Suppose 0 = -2*r - 5*d + 3998, 0 = -4*r + 138*d - 140*d + 7964. Does 4 divide r?
False
Let r(h) = -h**3 - 65*h**2 + 90*h + 385. Is r(-70) a multiple of 63?
True
Suppose 0 = 15*p - 14846 - 226159. Does 57 divide p?
False
Suppose 3*b + 75 + 675 = c, -4*b = -3*c + 2235. Is 13 a factor of c?
True
Suppose -16*d + 18*d - 284 = 0. Is 6 a factor of 6/10 + d/5?
False
Suppose u = 10*u - 126. Suppose u + 4 = 3*d. Suppose 0 = 10*q - d*q - 100. Does 18 divide q?
False
Let n(b) = -2*b**3 + 9*b**2 + 5*b + 6. Suppose -4 = -4*p + 4, -2*p - 16 = -4*t. Suppose -15 = h - 4*v, -h - 4*h + t = -4*v. Does 6 divide n(h)?
True
Is (-14)/2 - ((-151362)/18 + 1) a multiple of 14?
False
Suppose 27*q = 25*q + 3*p + 9104, 0 = -2*p. Is 7 a factor of q?
False
Let s = -13914 - -29342. Is 28 a factor of s?
True
Suppose r - 2 = 0, 7*r + 2 = 2*z + 5*r. Suppose -z*b = 3*x - 411, -b = -3*x - 2*x + 661. Is 40 a factor of x?
False
Let d be 24/16*-2 - 284*-2. Let i = -389 + d. Let j = i - 39. Is j a multiple of 40?
False
Let z(w) = 159*w**2 + 34*w + 87. Does 12 divide z(-3)?
True
Let o(t) = 23*t - 11. Let r be (9/2)/(18/12). Suppose 0*h - r = -h. Is o(h) a multiple of 29?
True
Does 25 divide 4*(-36)/(-180)*(-544545)/(-12)?
False
Is 117 a factor of (-1)/(3/993)*(-6 - 42 - -15)?
False
Let o(u) = -7*u**2 + 2*u + 9. Let k be o(8). Let z = k + 1443. Does 17 divide z?
True
Suppose 47 = -3*j + 56, 2*q + 5*j - 34357 = 0. Does 7 divide q?
True
Is 110 a factor of (33/(-8))/(-11) + ((-858645)/(-8))/9?
False
Let k be 47*(-1)/(-3) - (-92)/(-138). Let m(n) = n**3 - 14*n**2 - 15*n + 72. Does 12 divide m(k)?
True
Let r(y) = -4*y**3 - 2*y**2 + 6*y - 4. Let q be r(1). Let l = q - -693. Does 12 divide l?
False
Let g = -207 - -215. Is g/(-28) + (-5949)/(-21) + 0 a multiple of 17?
False
Suppose -6*c - 1 = -13. Let u(h) = -2 + h**c + 0 - 11*h + 14*h + 0*h**2. Does 14 divide u(-10)?
False
Let m(u) = -15*u + 94. Let f be m(-17). Suppose -4*n - n = 2*d - f, 4*n - 344 = -2*d. Is 6 a factor of d?
True
Let r(v) = 7*v**3 - v**2 + 2*v - 1. Let a be r(1). Suppose -k = -a*k + 378. Is 6 a factor of k?
False
Let z(f) = -f + 26*f + 70 - 24*f. Is z(28