e w?
True
Let b(k) = -k + 16*k - 6*k + 35 - 6*k. Is 4 a factor of b(11)?
True
Let x(o) be the third derivative of o**6/120 - 4*o**5/15 - 17*o**4/24 - 2*o**3/3 - 5*o**2. Does 10 divide x(18)?
False
Suppose 3*b = -2*b - h - 271, -2*b + 5*h - 130 = 0. Let u = b - 174. Let y = 397 + u. Does 12 divide y?
True
Suppose -v + 10743 = 2*b - 30254, -2*b = 4*v - 41018. Is 79 a factor of b?
False
Suppose 129*l + 278991 = 134*l - 3*r, 4*l - 2*r - 223190 = 0. Is 58 a factor of l?
False
Suppose -1746*h = -1829*h + 164672. Is h a multiple of 32?
True
Suppose -2*v - 3*v + 820 = 0. Suppose -2*h + 3*d = -79 - 80, -2*h + 4*d + v = 0. Suppose -h - 102 = -2*u. Is 29 a factor of u?
True
Let o(p) = 29*p**2 + 40*p + 126. Is 3 a factor of o(-8)?
True
Let a = 223 + -243. Is 4 a factor of ((-210)/a)/((-2)/(-8))?
False
Let z be (4 - (-28)/(-8))*502. Suppose 0 = -8*q + 27 - z. Let k = 158 + q. Is 26 a factor of k?
True
Let w be (-12)/10*(-6 + 101 - 5). Let u = w + 113. Suppose 3*s + s = 4*y - 36, -2*y + 30 = -u*s. Does 5 divide y?
True
Let s(u) be the third derivative of -22 - 7/12*u**4 - 2*u**2 - 5/2*u**3 - 1/60*u**5 + 0*u. Is s(-8) a multiple of 3?
True
Let i(g) = 3*g + 15. Let p be 1/(-1) + 11 + -10. Let m(t) = -t**2 - 3*t + 7. Let z be m(p). Is i(z) a multiple of 7?
False
Let t(c) = 7205*c**3 - 10*c + 8. Is 21 a factor of t(1)?
True
Let i(c) be the third derivative of 7*c**4/12 - 3*c**3/2 - 5*c**2. Suppose -4*b - 562 + 570 = 0. Is i(b) a multiple of 3?
False
Suppose 101*z - 1324909 = 70*z. Is 120 a factor of z?
False
Suppose -22*d = 8*d + d - 1577900. Is d a multiple of 19?
False
Let w = -8521 - -36311. Is 14 a factor of w?
True
Suppose 115*f - 1982713 - 817311 - 2459846 = 0. Does 33 divide f?
True
Suppose -5*i - 4*r = -26949, 6*i + 2*r - 21552 = 2*i. Does 15 divide i?
True
Suppose 5*x - 244754 = -4*j, -4*x = 2*j - x - 122374. Is j a multiple of 35?
False
Does 77 divide (156/(-195))/(2/(-10))*(-1 + 155)?
True
Let r = -123 - -126. Let u(a) = -12 + 9 + 2*a**r + 7*a**2 - 18*a + 7*a**2 + 13. Is u(-7) a multiple of 8?
True
Let n = -49454 - -70030. Is n a multiple of 94?
False
Suppose 40*t - 39*t + 12 = 0. Let s be 2 - (-27)/t - 68/(-16). Suppose -5*n + s*n + 6 = 0. Is n a multiple of 3?
True
Let h = 30 + 5. Suppose -33*l - 4*t - 772 = -h*l, 0 = -4*t - 16. Does 18 divide l?
True
Let h(t) = 48*t - 53. Suppose 4*y - 4*q + 4 = -0, -32 = -3*y - 4*q. Is 36 a factor of h(y)?
False
Let k = 2686 + -2055. Does 5 divide k?
False
Let s(f) be the first derivative of -f**5/20 + 2*f**4/3 + 11*f**3/6 - 16*f**2 - 14*f + 3. Let m(g) be the first derivative of s(g). Does 14 divide m(8)?
True
Suppose 1171 = 2*u + 4*z + 31, 4*z - 2862 = -5*u. Does 21 divide u?
False
Suppose -29*a + 441136 = 55*a - 5*a. Is a a multiple of 30?
False
Let h(j) = -163*j + 30. Let c be h(6). Let s = c + 1348. Is s a multiple of 16?
True
Does 7 divide (-43245)/(-65) + 80/(-260)?
True
Let b be (-2)/(-5) + -3 + 1972/20. Let n = 180 - b. Suppose -7*y + 0 = -n. Is y a multiple of 2?
True
Let m = 956 + -96. Suppose -10*t + m = -7*t - i, -i - 288 = -t. Is 11 a factor of t?
True
Is 128 a factor of (-4904139)/(-1236) - (-2)/8?
True
Let d(n) = -3*n**3 + 7*n**2 - n. Let m be d(2). Is 5 a factor of (6/m - 0) + 731/17?
False
Suppose -2*v - 3*y + 8*y = -845, y = -v + 433. Let k(i) = -i**2 + 61*i - 1079. Let c be k(24). Let q = c + v. Is q a multiple of 40?
False
Suppose 5*d - 6113 = 2*k, 2*d + 2*d + 4*k - 4896 = 0. Suppose 5*g = -10, -2*g - d = 3*s - 7*g. Let w = -171 - s. Does 15 divide w?
True
Let o(i) = -5*i**2 + 5*i - 1. Let n be o(11). Let p = n - -760. Is p a multiple of 46?
False
Let y(t) = 39*t**2 - 111*t - 128. Is y(-11) a multiple of 10?
False
Let i(t) = -t**3 - 22*t**2 - 34*t - 57. Let n be i(-20). Let c = -34 - 3. Let r = c - n. Is r a multiple of 10?
True
Let n(l) = l**2 + 15*l - 33. Let s be n(-16). Let r = s + 20. Suppose 0 = -r*z + 2*z + 3*v + 19, -3*z - 2*v + 2 = 0. Is z a multiple of 2?
True
Let p be (1 - (-6)/8)/((-34)/(-136)). Is 23/161 + 1280/p a multiple of 28?
False
Let w(p) = 16*p - 4 + 12*p + 2 - 23*p. Suppose -41 = -2*g - 4*b + 7*b, 3*b + 54 = 3*g. Does 21 divide w(g)?
True
Is 41 a factor of (20 + 442946/87)/(6/9)?
True
Suppose 12*y - 68718 = -27*y. Let i = y + -1258. Is i a multiple of 21?
True
Suppose q - 2*v = 30759, 4*q - 41*v = -44*v + 123003. Is q a multiple of 201?
True
Let y be (200/30)/(4/6). Suppose 3*k - 10 = -r - 1, -2*r - y = -k. Is k/(-1) - (-44 - 3) a multiple of 5?
False
Suppose 130*u = 625947 + 1297533. Is 54 a factor of u?
True
Let y = -46085 - -78725. Does 68 divide y?
True
Let s(v) = -v**2 + 2*v + 1. Let m(c) = c**3 - 5*c**2 - 17*c + 26. Let d be m(7). Let n be s(d). Let r = n - -104. Is 6 a factor of r?
True
Suppose -2*u + 11*s = 14*s - 47, 2*s - 90 = -4*u. Let t(q) be the second derivative of -q**5/20 + 7*q**4/4 + 4*q**3 + 19*q**2/2 - 2*q. Is t(u) a multiple of 9?
True
Suppose n + 13*t = -11*t + 10128, -2*n + 20080 = 4*t. Does 8 divide n?
True
Suppose 836 = 2*u - 802. Is 13 a factor of (-10)/(-12)*u*8/10?
True
Let h(l) = 48*l + 6. Let b be h(5). Let g(u) = -2*u**3 - 17*u**2 - 5*u + 11. Let d be g(-6). Let w = d + b. Is 12 a factor of w?
False
Let r be 1034*3*3/18. Let n = r - 336. Is n a multiple of 32?
False
Let h = -1585 + 948. Let b = h - -1709. Does 34 divide b?
False
Let p(z) = -22*z + 10. Suppose 208 - 56 = -8*u. Is p(u) a multiple of 16?
False
Let l(y) = 125*y + 2629. Let b be l(-21). Suppose 583 = a + 130. Suppose -4*w - 5*o = -a, 0*w + 4*o + 444 = b*w. Is 16 a factor of w?
True
Let d(g) = g**3 + 7*g**2 - 3*g + 8655. Does 66 divide d(0)?
False
Let q = -23726 - -26624. Is 14 a factor of q?
True
Let c = -174 + 36. Let l(w) = 7*w**3 + 19*w**2 + 3*w + 13. Let j be l(-3). Is 10 a factor of (-60)/126*c - 4/j?
False
Suppose -11*r + 9*r + 6 = 0. Let j = 227 + -32. Suppose 0 = -r*z + 234 + j. Is 13 a factor of z?
True
Suppose -175*j + 173*j + 48046 = 2*g, 2*j - 48016 = 3*g. Is j a multiple of 47?
True
Let p = 558 - 58. Let q = 979 - p. Is q a multiple of 91?
False
Let b = 495 - -3490. Is 122 a factor of b?
False
Suppose -4543 = -3*j - 3*l + 18653, j - 7748 = 3*l. Does 84 divide j?
False
Suppose -a - 26 = 4*k, 3*a - 2*k - 2*k = 2. Let m be 3/a*22 - -3 - -2. Let f = 42 + m. Is 9 a factor of f?
True
Suppose 20*t + 79250 = 24*t + 15890. Is t a multiple of 11?
True
Let b(l) be the first derivative of l**3/3 - 19*l**2/2 - 50*l - 60. Is 22 a factor of b(26)?
True
Let c be (9/(-6) + 1)*(-9 - -13). Let g = 4 - 6. Is 38 a factor of 211/((-4 - g)/c)?
False
Let k(l) = -l**3 + l**2 - l + 6. Suppose s - 3*q = 0, 4*q + 0*q = 2*s. Let y be k(s). Let u(z) = -z**3 + 6*z**2 + 8*z - 8. Does 20 divide u(y)?
True
Let l(a) = 453*a**2 - 441*a + 3455. Is 14 a factor of l(8)?
False
Let g = -1 + 6. Let v(o) = -o**2 - g*o + o - 4*o. Is 6 a factor of v(-6)?
True
Suppose -5*j = -10*j + 1965. Let w = 1018 - j. Suppose -3*q + 5*z + w = 212, -2*q = -3*z - 276. Does 24 divide q?
False
Let k(f) = -f**3 + 4*f**2 + 7*f - 7. Let h be k(5). Let m(r) = 15*r**2 - 1 + 20*r - 24*r - 5 - h. Is 19 a factor of m(-3)?
False
Suppose -16 = -8*x + 56. Suppose -195 = x*p - 1617. Is 13 a factor of p?
False
Let j = 1066 - -3318. Is j a multiple of 16?
True
Suppose -5*a + 77*k = 76*k - 161001, k = -5*a + 160999. Is 92 a factor of a?
True
Let x(r) = -79 + 99 + 35*r**2 - 6*r - 2*r. Is 42 a factor of x(2)?
False
Let w(h) = -340*h - 204. Is 67 a factor of w(-10)?
False
Let f(v) = 98*v**3 + 3*v**2 + 5*v - 5. Let j be f(4). Suppose 18*g - j = 6301. Does 9 divide g?
True
Suppose 4*w + z - 247 = -0*z, 2*w + 3*z - 121 = 0. Suppose 4*h - 538 = -w. Let p = -106 + h. Is p a multiple of 2?
False
Let v(u) = -2*u**3 - 20*u**2 - u - 12. Let f be v(-10). Does 18 divide f/9 + 29680/(-216)*-3?
False
Let w(o) = 8*o**2 - 3*o - 5. Let t be 3 - (-6)/(-2) - -10. Let a be (6 - t) + 3*3. Is 33 a factor of w(a)?
False
Suppose 4 + 47 = 17*c. Suppose 0 = -c*m + b + 90, -9*m + 6*m + 90 = 5*b. Does 2 divide m?
True
Let r be (-2)/(-2) + -3 + 8. Let k be (r/(-4)*1)/((-6)/48). Suppose 8 = -4*y, -9*y + 458 = 2*p - k*y. Does 18 divide p?
False
Suppose 7 = -4*p - 5*u, -3*p - 9 = 4*u - 4. Is 54*(3 - (p + 3) - -1) a multiple of 41?
False
Let b = 15417 + -10698. Is 15 a factor of b?
False
Suppose 3*m = -a + 6*m - 3, -4*a + 4*m = -4. Let r(s) = 10*s**3 + 6*s**2 - 7*s + 6. I