ivide (-22)/(-5)*220/w?
True
Let y(x) be the second derivative of x**6/120 + x**5/60 + 5*x**4/12 - 5*x**3/6 - 25*x. Let k(z) be the second derivative of y(z). Is 10 a factor of k(5)?
False
Let h be (-27)/6 - -5*1/(-10). Let r(z) = -z**2 - 6*z - 5. Let d be r(h). Suppose -g - 218 = -2*u, -3*g + d*g - 114 = -u. Is 16 a factor of u?
False
Let o(g) = 2*g + 27. Let q be o(-10). Let s be (q - 3)/2 - 5. Does 26 divide (-1)/9*s*549?
False
Suppose 4*w - 4*r - 40820 = 0, 4*w - 29124 - 11704 = 2*r. Is 123 a factor of w?
True
Let r(t) = t**2 + 19*t + 1. Let q be r(-20). Is (-2)/7 - 34*(-99)/q a multiple of 16?
True
Let n(g) = -g**3 - 8*g**2 - 5*g - 16. Let i be (-63)/(-18) - 3/2. Let h be i + (1 + 29)/(-3). Is n(h) a multiple of 6?
True
Suppose 0 = -2*d - 6 - 78. Let o = 0 - d. Is (-2)/(-7) - (-3)/(o/178) a multiple of 2?
False
Let j be (-246)/(-7) + 14/(-98). Let u be 1 + (-18)/14 - (-10)/j. Suppose 18*k - 14*k - 328 = u. Is k a multiple of 12?
False
Suppose 0 = -4*z - 2*p - 1698, -z + 5*z - 3*p = -1693. Let b = z + 1345. Does 25 divide b?
False
Let u(i) be the second derivative of i**7/63 + i**6/360 - i**5/120 - i**4/12 + 21*i. Let m(p) be the third derivative of u(p). Does 17 divide m(1)?
False
Suppose 0 = 4*w + 8, -2*w - 10 = -n - 2*n. Let s(x) = n - x**2 + 11 - 2 + 2*x**2. Is s(-5) a multiple of 7?
False
Suppose -y - 40 = -2*y. Let q be ((-20)/y)/((-2)/(-20)). Does 10 divide (-40)/(q/(10/9) - -4)?
True
Let v(w) = 5*w**3 + 9*w**2 - 8*w - 39. Let t(l) = -4*l**3 - 10*l**2 + 7*l + 40. Let g(b) = -6*t(b) - 5*v(b). Is g(13) a multiple of 23?
False
Suppose 5*a - 25 + 36 = -c, 2*a + 22 = 4*c. Is 87/a*-1 - 8 a multiple of 21?
True
Is 21 a factor of ((-1)/(8/(-11274)))/(36*(-13)/(-1872))?
False
Suppose 0 = 5*h - 4*i - 52312 + 10127, 16887 = 2*h + i. Suppose 13*j - h = 1790. Is j a multiple of 72?
False
Let w(s) = 2*s + 65. Let f be w(0). Suppose -f*t + 68*t = -891. Let k = t + 429. Is k a multiple of 22?
True
Suppose -4*g + 87 = -3*b - 0*b, 0 = -5*g + 5*b + 110. Suppose 0 = 9*h - 15 - g. Suppose 2*m - 8*t = -h*t + 148, -95 = -m - 5*t. Is m a multiple of 4?
True
Suppose -4*v = -16, i - 4 = -v + 32. Let u = i - 30. Suppose -u*n + 7*n - 540 = 0. Is n a multiple of 33?
False
Let l(h) = -h**2 + 64*h - 283. Is l(38) a multiple of 25?
False
Let f(g) = 4*g**2 + 119*g + 356. Is f(-38) a multiple of 9?
False
Let s(f) = -90*f - 3. Let v be s(-3). Suppose 0 = 3*n - 3 - v. Let m = n - 34. Is 14 a factor of m?
True
Suppose -4*x = -5*x + 4. Suppose -5*w + 21 = -x. Suppose 2*v = -4*f + 124, -3*v - 29 = -w*f + 137. Is 16 a factor of f?
True
Let v(y) = -y**3 - 9*y**2 + y - 1. Let l be v(-6). Let d(q) = 3*q**2 + 72*q + 44. Let u be d(-20). Let z = l - u. Does 18 divide z?
False
Let h(m) = -207*m - 7001. Is 102 a factor of h(-74)?
False
Suppose p - 3*q = -0*p + 2115, 0 = 3*p - q - 6321. Let y = p + -1411. Does 40 divide y?
False
Suppose -249003 = -53*c + 62637. Does 98 divide c?
True
Let b be (-2*1 - (-9)/3) + -6. Let k be ((-1)/2)/(b + 738/148). Suppose 129 + k = 2*w. Is 35 a factor of w?
False
Suppose 7*k - 10*k = -255. Let s = k + 0. Does 4 divide s?
False
Let k = 491 - 489. Is 17/k*4914/63 a multiple of 5?
False
Suppose -p = -3*c + 43, c - 3*p - 4 = 5. Suppose 0 = 3*b + 2*b - c. Suppose 0*v = b*a - 3*v - 234, 3*a = 2*v + 239. Is 14 a factor of a?
False
Suppose 0 = 12*w - 16*w + 1888. Suppose -2528 = -3*t + w. Suppose -14*o = -4*o - t. Is o a multiple of 16?
False
Let z = 1148 + -981. Is z a multiple of 2?
False
Suppose 7*t = 7 + 21. Suppose -t*l + 5 = 3*w, w = 4*l - 2*w + 13. Is 6 a factor of (-408)/(-10) + l/20*-4?
False
Let i = 830 + -828. Does 4 divide ((7 - 17) + 763)*i/3?
False
Let i(s) = 11*s - 39 + 7*s - 6*s - 19*s**2 - 3*s**3 + 3*s - 7*s. Does 56 divide i(-10)?
False
Let h(a) = -2*a**2 + 14*a - 18. Let q be h(5). Is (-6*4/(-24))/(q/100) a multiple of 25?
True
Let r = 80 + -87. Does 43 divide r/(21/129)*-3?
True
Suppose 46452 = -214*g + 263*g. Does 4 divide g?
True
Let j(b) = 10*b - 3. Suppose 0*w + 58 = 2*w. Suppose 3*l = -3*z - 9, -5*z - w + 10 = 3*l. Does 6 divide j(l)?
False
Let w(l) = l**2. Suppose 0 = m - 3*m, -3*o + 2*m - 12 = 0. Let x be w(o). Is (8/x)/(2/60) a multiple of 3?
True
Let a = -94 - 110. Does 24 divide (-26 - a) + 5/(-1)?
False
Let m(l) = -2*l**3 - 5*l**2 - 3*l - 6. Let h(v) = -v**3 - v**2 + 4*v - 1. Let p be h(-3). Suppose -5 + 25 = -p*c. Is m(c) a multiple of 18?
True
Suppose -4*p + 19 = 7, -p - 1737 = -2*m. Suppose m = 5*o - 5*r, -10*o = -12*o + 5*r + 342. Is o a multiple of 11?
True
Let i(r) = -36*r - 1. Let f be i(0). Let m(n) = 14*n**2 + 6*n + 6. Is 9 a factor of m(f)?
False
Let o(m) = -m**2 + 10*m + 34. Let w be o(13). Let n be 6/(w/2 - -4). Suppose 6*i - 92 = n*i. Is i a multiple of 9?
False
Suppose 5692 = -4*c - 3*y + 21528, 5*c - 19773 = -y. Is 67 a factor of c?
True
Suppose 5*j - 32 = -37, -21946 = -2*x - 2*j. Is x a multiple of 22?
False
Let o = -66948 + 150432. Does 25 divide o?
False
Suppose -2*z - q + 2514 = -3*q, 2*q = 4. Is z a multiple of 5?
False
Let f be (12*1/(-10))/((-2)/5). Let j = f - 3. Suppose j = -x - 2 + 79. Does 13 divide x?
False
Suppose 2211*l = 2208*l + 32841. Does 37 divide l?
False
Let t(z) = 247*z - 1173. Is 63 a factor of t(30)?
True
Suppose 6*n + 27*n - 297730 = 14*n. Is 10 a factor of n?
True
Let z be (95/25 + -3)*5. Suppose -3*j = 3*g - j - 19, 5*j - 30 = -z*g. Suppose -154 = -g*y + 6. Is 2 a factor of y?
True
Let n = -190 + 194. Let q be (-264)/(-1 + -2 - -2). Suppose n*a - q = 48. Is a a multiple of 13?
True
Suppose -7278*i + 7296*i = 112176. Does 76 divide i?
True
Let t(i) = -23*i - 44. Let g be t(-6). Suppose g*c - 85*c = 1575. Is 2 a factor of c?
False
Suppose -p - 5 = 0, -2*k - 11*p + 10*p = -7. Let h(m) = -m**3 + 6*m**2 + 11*m + 19. Is 4 a factor of h(k)?
False
Suppose m + 2*l = 1753, 3*m + l - 4180 = 1084. Does 23 divide m/11 + 24/(-44)?
False
Suppose -4*s - 238 = 13*s. Is (s/6)/((-10)/(-360)*-3) a multiple of 3?
False
Let y be -15*(1 + (-30)/25). Suppose 6*p - 528 = y*p. Suppose -p = -u - u. Is 11 a factor of u?
True
Let q(c) = -78*c**2 + 3*c + 9. Let t be q(-2). Is ((-103)/t)/((-2)/(9*-10)) a multiple of 15?
True
Let h(w) = -2*w**3 + 3*w**2 - 3*w + 12. Let p be h(-5). Suppose 2*r + p = 4*k, -2*r = -4*k - r + 352. Suppose 3*a = 29 + k. Is a a multiple of 4?
False
Let i(h) = h**3 + 7*h**2 + 5*h - 2. Let l be i(-6). Suppose 0 = -33*o - 1 - 395. Is 26 a factor of o/7*26/l*-7?
True
Let m = 214 + -214. Suppose m = -9*z + 1500 + 1056. Is 26 a factor of z?
False
Suppose 300 = 5*b - 210. Suppose 6*z + b = 234. Does 2 divide z?
True
Suppose 0 = -12*a + 9*a + 264. Let m = a + -80. Let p = 30 + m. Is 19 a factor of p?
True
Let q(c) = -25*c + 897. Is q(-39) a multiple of 9?
True
Let n = 391 + -393. Does 74 divide 1/((-1)/n) - (-748 - 87)?
False
Let l(f) = 5*f**2 + f + 1. Let g be 6 - 3 - (24/3)/2. Let p be l(g). Suppose p*x = 83 - 8. Is x a multiple of 10?
False
Does 3 divide (1*(-8)/12*117)/((-29)/116)?
True
Suppose 3*c = -10*q + 15212, 2*q - 24*c - 3036 = -23*c. Does 95 divide q?
True
Let g(s) = 3*s**3 - 60*s**2 + 112*s - 14. Does 2 divide g(18)?
True
Suppose -1516 = 5*r - g - 10282, -2*g + 3516 = 2*r. Is r a multiple of 12?
False
Suppose z = -2*u + 152 + 606, -z + 770 = -u. Is 4 a factor of z?
False
Let o(a) = -27*a**2 + 34*a - 152. Let h be o(4). Suppose 0 = -5*x + 2*j - 20, -4*x + j - 18 = -j. Does 20 divide (h/24)/(x/15)?
True
Suppose 3*i - 99044 = r, 165084 = 54*i - 49*i - 3*r. Is i a multiple of 15?
False
Suppose -243931 - 527581 = -40*s - 16*s. Does 108 divide s?
False
Suppose -19*g + 6 = -16*g. Suppose 2*a = x + 5*a - 33, g*x - a = 101. Is 6 a factor of (-2)/(-3)*x*(-3)/(-2)?
True
Let l(a) = -2*a**3 - 125*a**2 + 559*a - 77. Does 8 divide l(-68)?
False
Let u(z) = -z**2 - 17*z - 27. Let x be u(-15). Suppose w - 5*q - 654 = -0*w, w - x*q = 656. Does 19 divide w?
False
Suppose -456 = 3*f + f + 3*h, -5*f - 570 = -4*h. Let u(z) = -2*z**2 + 8*z + 38. Let g be u(14). Let n = f - g. Is n a multiple of 16?
True
Let b(w) = -2*w**3 + 80*w**2 - 64*w - 38. Is 17 a factor of b(39)?
False
Let v = 121 + -124. Let j be (-1*4 + 2)*v/6. Does 17 divide (j - -1) + -5*(-10 - 1)?
False
Let s be 0/(9/(-6) - (-3)/(-6)). Let u(i) = -i**2 - i - 54. Let t be u(s). Let z = 82 + t. Is 7 a factor of z?
True
Let x(n) be the second 