True
Suppose 0 = 8*w - 5*w + 270. Let i = w + 210. Is 12 a factor of i?
True
Let x(l) = -l**3 + l**2 + l + 1. Let b(f) = 6*f**3 + 29*f**2 - 17*f - 16. Let j(u) = -b(u) - 4*x(u). Is j(-17) a multiple of 41?
False
Let m(u) = 3*u - 17. Let f be m(7). Let p = 4 - f. Suppose 5*a = -p*a + 120. Is 7 a factor of a?
False
Is 9 a factor of 16/(-40) - ((-11668)/20 - -1)?
False
Let y(w) = -2*w**2 - 8*w + 10. Let q(n) = -3*n**2 - 8*n + 12. Let l(i) = -4*q(i) + 5*y(i). Let s be (-9)/(-4)*8/3. Is 15 a factor of l(s)?
False
Let u(l) = -l**3 + 33*l**2 - 26*l - 24. Does 21 divide u(32)?
True
Let k(c) = 40*c + 44. Is 31 a factor of k(15)?
False
Suppose 5*f - 89*k = -85*k + 3884, 0 = f - 3*k - 768. Does 52 divide f?
True
Suppose -3*u + j + 298 = 0, -3*u + 4*j = -u - 202. Let m = -14 + u. Does 22 divide m?
False
Suppose 0 = 15*r - 13*r - 12. Let q be (-8)/r + 64/3. Is (-2)/10 + 244/q even?
True
Let j(n) = -n**3 + n**2 - n - 3. Let y be j(3). Let c(u) = -64*u**2 - 3*u - 2. Let x be c(-1). Let o = y - x. Is 16 a factor of o?
False
Let o be ((-8)/(-24))/((-1)/21). Let u = 14 + o. Suppose -u*q + 5*q = -60. Is q a multiple of 10?
True
Let o(m) = 2*m**2 - 25*m + 19. Let a be o(11). Let v(t) = -6*t + 33. Is v(a) a multiple of 13?
True
Suppose 4*q + 1046 = -282. Let o = -233 - q. Does 9 divide o?
True
Let a be (24/(-20))/(6/(-15)) + 1. Suppose r + 23 - 135 = 5*m, 0 = -a*m - 16. Is r a multiple of 23?
True
Let t be 1 + 2 - (112 + -5)*-11. Is (-102)/85*t/(-6) a multiple of 16?
False
Suppose 2*i - 3*q - 433 = 0, 5*i = q + 458 + 605. Is 5 a factor of i?
False
Let h(t) = -2*t + 11. Let b be h(5). Is 10 a factor of (202/(-14) - 1)*(-7)/b?
False
Let v(k) = -37*k + 12. Let a be v(-4). Let d = a + -88. Does 6 divide d?
True
Let f = 1461 - 321. Is 15 a factor of f?
True
Let c = 806 - 390. Does 26 divide c?
True
Let d(r) = 3*r**3 - 2*r**2 - r. Let m be d(-1). Is 14 a factor of 27 - (m + 1 + 2)?
True
Suppose i - 9 = 88. Is 7 a factor of i?
False
Let x(c) = -4*c**3 - 16*c**2 + 4*c + 10. Is x(-7) a multiple of 6?
True
Suppose 3*w + 15 = -0*w, 3*z + 4*w = 1051. Let n = z - 204. Does 9 divide n?
True
Let a = -17 + -48. Let k = -5 - a. Let b = k - 29. Is b a multiple of 8?
False
Suppose 0*u - 5*u = 3*q - 4186, 3*u + 5620 = 4*q. Is 12 a factor of q?
False
Let k be 1 - (-4 + (-44)/(-4)). Is (94/k)/(3/(-9)) a multiple of 8?
False
Suppose 0 = 2*p + 7 + 1. Let t = 556 + -574. Is p/t + (-158)/(-18) a multiple of 6?
False
Let d(o) = o**2 + 3*o + 5. Let g(t) = 2*t**2 + 5*t + 9. Let i(h) = -5*d(h) + 3*g(h). Let y be i(2). Let f(v) = 17*v. Does 28 divide f(y)?
False
Let o(f) = 2*f**3 + 2*f**2 - f. Let h(s) be the first derivative of s**4/4 + 2*s**3/3 + s + 2. Let q be h(-2). Is o(q) a multiple of 3?
True
Let n(s) = s**3 + 14*s**2 - 16*s - 22. Let q be n(-15). Let g(j) = j**2 + 3*j + 2. Is 10 a factor of g(q)?
True
Let w = -11 + 3. Let s be 4*(-3 + (-182)/w). Let u = s + -37. Is 14 a factor of u?
True
Suppose 0 = 3*z + 5*d + 368, 4*z = 4*d - 464 - 48. Let u = z - 18. Is 9 a factor of (1/(-2))/(4/u)?
True
Let x(u) = 2*u**3 + 2*u**2 - 4*u - 4. Let w be x(-2). Does 16 divide ((-2)/w)/(-3*(-1)/540)?
False
Is 9 a factor of (-2)/6 + (803192/24)/13?
True
Let q(z) be the third derivative of 1/15*z**5 - 1/120*z**6 + 1/3*z**3 - 3*z**2 + 1/24*z**4 + 0 + 0*z. Is q(4) even?
True
Let w(d) = -d + 3. Let m be w(-13). Does 13 divide (-1010)/(-26) + m/104?
True
Let v(o) = o**2 - 10*o + 10. Let p be v(7). Let t = -6 - p. Does 19 divide (42/t)/(6/40)?
False
Let r(k) be the third derivative of k**5/12 + k**4/8 + 4*k**3/3 - 7*k**2. Does 11 divide r(-3)?
True
Let m(j) = 2*j**2 - 3*j - 1. Let b be m(3). Let y(s) = 6*s - 20*s + 17 + 8*s + 5*s. Is 3 a factor of y(b)?
True
Suppose -j + 160 + 49 = 0. Is j a multiple of 19?
True
Let o(b) = -17*b - 121. Is o(-31) a multiple of 24?
False
Suppose -664 - 1448 = -11*u. Does 32 divide u?
True
Suppose 174*i - 183*i + 14238 = 0. Is 14 a factor of i?
True
Let x(g) = g**3 - 7*g**2. Let s be x(7). Suppose s = -2*z + 3*o - 23, 0 = -5*z - 3*o - 5. Is (26/z)/(4/(-16)) a multiple of 13?
True
Suppose -2*o + 4*o = -3*q + 7214, 0 = -2*q - 3*o + 4801. Does 9 divide q?
False
Suppose 56*f - 1188 - 162836 = 0. Does 42 divide f?
False
Let w be (-2 + 109)*(3 + 0). Suppose 3*b - w = -66. Does 17 divide b?
True
Suppose 972*d + 3528 = 976*d. Is 42 a factor of d?
True
Let v = -14 - -19. Suppose -v*w + 0*w = -z + 292, 4*z = -12. Let r = 96 + w. Is r a multiple of 14?
False
Suppose 0 = 4*n + q + 65, -2*n = -4*n + 4*q - 28. Is n/(-4) + 10 - 2 a multiple of 4?
True
Suppose 0 = 4*r - o + 967, 2*r + 4*o = 5*o - 481. Let u = r + 74. Does 14 divide 5/(-20) + u/(-4)?
True
Let q(n) = -49*n + 1. Let j be q(-1). Let c = 14 - j. Does 14 divide (c/(-42))/(1/35)?
False
Suppose 0 = 23*l - 41*l + 3960. Is l a multiple of 6?
False
Let g(c) = c**3 - 3*c**2 - c + 5. Let n be g(3). Suppose -4*d = -k + 22, 23 = 5*d - n. Is 6 a factor of k?
True
Is 2*(425/10 + 1) a multiple of 14?
False
Let s be -3*(-1 - (-4)/(-12)). Suppose -s*l + 146 = -230. Does 11 divide l?
False
Does 7 divide 4/46 - 1833756/(-4094)?
True
Let b(p) = -21*p**3 - p**2 - 7*p + 6. Is 13 a factor of b(-3)?
True
Suppose 2358 = -m + 746. Is 4/8 - (-2 + m/8) a multiple of 26?
False
Suppose 0 = 5*t - 5 + 30. Let v = 10 + t. Suppose -5*a + v*j = -70, 4*j + 44 = 3*a - 0*j. Is 12 a factor of a?
True
Let t(y) = 87*y**2 - 5*y + 13. Is 37 a factor of t(4)?
False
Suppose -8 = -0*j - 2*j. Suppose 0 = -j*n - o + 186, -5*n - 5*o + 102 = -3*n. Suppose q = -1 + n. Is 15 a factor of q?
True
Let i = 785 + 75. Is 10 a factor of i?
True
Suppose 10 = -3*b + 25. Let a(n) = 7*n**2 - 10*n - 3. Let g(h) = 6*h**2 - 10*h - 3. Let i(k) = b*g(k) - 4*a(k). Does 17 divide i(8)?
False
Let p(h) = -2*h + 24. Suppose -30 = -6*n + 12. Does 10 divide p(n)?
True
Suppose -4*o + 462 = o + m, 3*o - 2*m = 272. Suppose 5*c - 5*w - 10 = 0, 3*c + 5*w - 15 = 23. Does 8 divide 4/6 + o/c?
True
Let n(w) = w**2 - 18*w - 121. Is n(-29) a multiple of 11?
False
Let v(c) = 1129*c**2 - 3*c + 3. Does 40 divide v(1)?
False
Suppose 2*l + l + 4401 = 0. Does 10 divide l/(-18) + (-6)/4?
True
Let c(k) be the second derivative of -9*k**3/2 - 7*k**2/2 + 37*k. Is c(-9) a multiple of 16?
False
Let x be 32/14 - (-4)/(-14). Let t(l) = 6*l**3 + 0*l**3 - 7*l**3 - 9*l + 4 - 10*l**x. Is t(-9) even?
True
Let t(k) = k**3 - 8*k**2 - 6*k + 15. Let r be t(8). Does 35 divide 9/((-9)/(-2)) - r?
True
Let b(l) = 14*l - 1. Let n = 16 - 16. Suppose w + 7 = -0*w + 4*u, n = -w - u + 3. Does 6 divide b(w)?
False
Suppose 19*i = -1129 + 8311. Is 36 a factor of i?
False
Suppose 0 = r - 11. Let t be (-2)/9 - r/(-9). Suppose o = 9 - t. Does 4 divide o?
True
Let b(o) = -o**3 + 12*o**2 - o - 10. Does 38 divide b(7)?
True
Let m(l) = 3*l**3 + 9*l**2 - 5*l + 6. Let a(b) = b**3 + 1. Let p(q) = 2*a(q) - m(q). Is p(-10) a multiple of 25?
False
Suppose 5*i - 3*w - 7591 = 0, w + 768 = i - 749. Is i a multiple of 42?
False
Suppose -3*z = 3*k - 42, -3 = -k + 2*z - 1. Is 21 a factor of (-335)/k*-2 - 4?
True
Let b be 34/5 + (-1)/(-5). Suppose m + 2*k + 2 = 0, -3*m + 19 = -b*m + 3*k. Is 3 a factor of ((-2)/(-3))/(m/(-18))?
True
Suppose 2*c = -0*v - 5*v + 6006, 3*c + 2391 = 2*v. Is 20 a factor of v?
True
Let m(y) = -y**3 + 5*y**2 - 2*y - 3. Suppose -2 - 2 = -s. Let r be m(s). Suppose -3*q + 100 = 4*z + 2*q, 154 = r*z - q. Does 15 divide z?
True
Let l = 30 + -105. Suppose 34 = -2*x + 3*i - 20, 3*x = 4*i - 80. Let c = x - l. Is 14 a factor of c?
False
Suppose -3*d = -6, 2*d - 33 = -5*b - 2*d. Does 2 divide ((-2)/b)/(-1 + 147/150)?
True
Let c(p) be the first derivative of -p**4/4 + 13*p**3/3 - 2*p**2 - 28*p + 15. Does 13 divide c(12)?
False
Let u = -16 - -8. Let a(g) = -2*g**3 - 1. Let i(b) = -7*b**3 - 9*b**2 - 11*b - 3. Let s(y) = -3*a(y) + i(y). Is 6 a factor of s(u)?
True
Let b = -834 - -999. Is b a multiple of 55?
True
Let u(r) = -4*r**3 + 2*r**2 + 2*r + 1. Let q be u(-1). Suppose -90 = q*m - 3*y, -2*m + 3*y = -6*m - 45. Let g = -4 - m. Is 11 a factor of g?
True
Let q(p) = -9*p + 29. Does 10 divide q(-22)?
False
Let y(m) = -m - 8. Let j be y(-11). Suppose 0 = 2*t - 6*t - 3*v + 366, j*v - 96 = -t. Is 45 a factor of t?
True
Let k = -795 + 1622. Is k a multiple of 23?
False
Is (((-8)/12)/2)/(5/(-5715)) a multiple of 78?
False
Suppose -4*z + 2*z - 3*x - 83 = 0, 3*z 