. Is 18 a factor of w(m)?
False
Let h(z) = -36*z**3 + 13*z**2 - 7*z + 12. Let g be h(4). Does 25 divide g/(-5) - (-8 + 148/20)?
False
Suppose 1082 = 5*i + 387. Let k be i/((-4 + 3)*-1). Suppose -w + 0*z + 71 = -3*z, -3*z = -2*w + k. Is 13 a factor of w?
False
Let y be 17*4/18 + (-12)/(-54). Suppose y*d - 380 = -2*z, -5*z = -16*d + 18*d - 910. Is z a multiple of 18?
True
Let h(u) = 21*u**2 + 15*u**3 - 1 - 4*u**3 - 2*u - 25*u**2. Let x be h(4). Suppose 0 = 10*s - 129 - x. Is s a multiple of 16?
False
Suppose 4*v + 5465 = 2*f - 20719, 3*f = 5*v + 39273. Is f a multiple of 18?
True
Suppose 0 = 30*u - 39*u - 1242. Let q = 240 + u. Does 17 divide q?
True
Let c(h) = h**3 + 5*h**2 - 13*h - 40. Let p be c(-6). Suppose -p*a - 3 = -33. Is 7 a factor of a?
False
Suppose -166*n + 175*n = 19872. Is 69 a factor of n?
True
Suppose -4*b + 5*t = -1418 - 474, 4*b = -2*t + 1920. Suppose -4*f = -110 - b. Let m = f - 81. Is m a multiple of 17?
False
Suppose 3*r - 19 = -4. Let b(s) = 26*s + 236. Let v be b(-9). Suppose -t - 2*t - 4*g = -421, 719 = r*t - v*g. Is 14 a factor of t?
False
Does 32 divide ((-78793)/(-38) - -17) + (4/(-8) - 1)?
False
Suppose 8*z + 9288 = 2*z. Is (40/120)/((-2)/z) a multiple of 43?
True
Let r(h) = -h**2 - 41 + 2*h - 24*h + 27. Let t be r(-15). Let v = 154 - t. Does 26 divide v?
False
Suppose 2*f - w - 178 = 0, 0 = 3*f + w - 104 - 163. Suppose 2*p - f = u, -u - p = p + 77. Let m = u - -161. Is 26 a factor of m?
True
Let p = -40 - -37. Suppose -2*m - 10 + 6 = 0. Does 10 divide p*(3 + m) - -163?
True
Let y(a) be the third derivative of 7*a**4/24 - 16*a**3/3 - 76*a**2. Is y(13) a multiple of 3?
False
Let u(x) = -3*x**3 + 457*x**2 + 324*x - 764. Does 10 divide u(153)?
True
Suppose 0 = 2*z + 4 - 8. Suppose z = -g, -2*i + 938 = i - g. Is 39 a factor of i?
True
Suppose 2*i = 3*u - 76, 4*i - 32 = -4*u - 184. Does 36 divide (0 + -172 + 0)*19/i?
False
Suppose 0*b + 2*b - 4*c = -796, -4*b - 1592 = -c. Is 15 a factor of b/(-10)*(-5 - -10)?
False
Let i be (30/50)/(18/(-15) - -1). Is 10 a factor of 35/(-4 + (i - (-762)/108))?
True
Is 18 a factor of (2 + (-30)/5 - -19)*(-20772)/(-30)?
True
Let c(h) = 184*h**2 - 149*h - 800. Is c(-6) a multiple of 35?
False
Suppose -21*l + 8 = -17*l. Suppose m = 5*r + 26, -4*r - 19 = 3*m - l*m. Let z = m - -27. Does 4 divide z?
True
Suppose 0 = 3*x - 6493 - 2471 + 1956. Does 4 divide x?
True
Suppose 5*x = 2*g + 6, 10 = 2*g - 0*x - x. Suppose g*t = 21*t - 798. Does 2 divide t?
False
Let t = 1260 - 664. Let r = t - 512. Is 19 a factor of r?
False
Let x(k) be the second derivative of -k**4/6 + 3*k**3 - 3*k**2 - 22*k. Let y(p) = -2*p**2 + 18*p - 7. Let h(a) = 4*x(a) - 5*y(a). Is h(11) a multiple of 20?
False
Suppose -g - 12 = -3*y, -4*g = 2*y - y - 4. Let t(q) = -q**2 + q + 1. Let o(s) = -12. Let n(k) = -o(k) - 9*t(k). Is 37 a factor of n(y)?
True
Let j = -2183 + 1432. Let p = 23 - j. Is p a multiple of 9?
True
Suppose p + 3*p = -3*v - 5231, 4*p + 5191 = 5*v. Let z = p + 2056. Does 21 divide z?
False
Suppose 2*j + 680 - 666 = 0. Let c(f) = -77*f - 422. Is c(j) a multiple of 9?
True
Let a = -607 - -868. Let c = 387 - a. Is 6 a factor of c?
True
Let x(i) = i**3 + 51*i - 44. Is 69 a factor of x(11)?
False
Let g be (6/18)/((-1)/(-12)). Let w(s) = -2*s - 11. Let z be w(-7). Suppose z*h - 63 = -3*p, -2*h - g*p = p - 27. Is 13 a factor of h?
True
Suppose 24*a + 10 = 19*a, 2*a + 1636 = -4*b. Let t = b + 616. Is t a multiple of 52?
True
Let p(d) = d**3 - 23*d**2 - 4*d + 7. Let o be p(22). Let z = 941 + o. Is z a multiple of 38?
False
Let j(r) = -540*r - 906. Does 102 divide j(-20)?
True
Suppose -15*w = -13*w - 92. Let y = 50 - w. Suppose h - 3*t - 114 = 0, -2*h - y*t + 100 = -h. Does 7 divide h?
False
Let q be (1/1)/(15/(-1725)). Let p = q - -119. Is (50/4)/((-39)/10 + p) a multiple of 18?
False
Suppose b - 3*y - 44252 = 0, 5*b - 803*y + 807*y = 221146. Does 8 divide b?
False
Let d(f) = f**2 - 11*f + 19. Let c be d(9). Let x(k) = 74*k**2 - k - 1. Is x(c) a multiple of 4?
True
Let y = 20 + -20. Suppose y = 4*t + 106 + 86. Let x = t + 68. Is x a multiple of 4?
True
Is 57 a factor of (-767920)/(-30) + (-65)/15?
True
Let c be -1*(-3)/(-1) + 5 + -3. Is 16 a factor of -2*(-207)/2 - c?
True
Let v(k) = k**2 + 4*k + 5. Let q be v(7). Let o(n) = 48*n**2 + 155 + n - 73 - q. Does 11 divide o(-1)?
False
Suppose 74 + 58 = -12*z. Let q(p) = p**3 + 15*p**2 + 6*p + 11. Does 13 divide q(z)?
True
Suppose -32896 = 70*b - 173736. Does 5 divide b?
False
Let u(o) = o**3 + 29*o**2 - 8*o + 96. Does 6 divide u(-27)?
True
Suppose -3*b + 5 = -d + 4, -d = 5*b + 1. Suppose -2*m - 5*v + 531 = b, -2*m + 4*v = -v - 561. Let p = m - -78. Is p a multiple of 21?
False
Suppose 118965 = -367*w + 402*w. Is 47 a factor of w?
False
Let v(y) = 26 - y**2 + 0*y**2 + 2*y**2 - 20*y. Let q be (-16 + -2)*790/(-711). Is v(q) a multiple of 13?
True
Let v = -710 + 384. Let u = 379 + v. Does 4 divide u?
False
Let w be (((-12)/(-3))/4)/(-1) + 65. Let b = w - 53. Let q = b + 29. Is 6 a factor of q?
False
Let o = -1904 + 3716. Does 12 divide o?
True
Is 21 a factor of 100578720/35475 + -1 + 4*2/10?
True
Let h = -18581 - -23117. Is h a multiple of 42?
True
Let i = -31 + 33. Let z be i + 2 - (2 + 2). Let l = 68 - z. Does 22 divide l?
False
Let h(x) = -4*x**2 - 28*x + 5. Let q be h(-7). Suppose 0 = 5*n - 3*j - 1415, -8*n - q*j = -10*n + 566. Is n a multiple of 35?
False
Let v(a) = 4*a**2 + 4*a - 2. Let p be -32 + 1 + (3 - 1). Let y = p + 32. Is v(y) a multiple of 32?
False
Suppose -j + 580 = 5*g - 3*g, -5*j + 20 = 0. Let i = g - 236. Is i a multiple of 13?
True
Let r(y) = y**3 - 26*y**2 - 56*y + 19. Let l be r(28). Suppose 0 = l*j - 25*j + 5826. Is j a multiple of 11?
False
Let a be (-2)/(-11) - 21471/(-187). Suppose 3*h - 230 = -v + a, -2*v + 4*h + 740 = 0. Is v a multiple of 10?
True
Let i = 33189 + -24431. Does 62 divide i?
False
Let u = -28 - -28. Suppose 4*j - 3*f - 12 = u, 3*f - 2*f = -3*j + 9. Does 6 divide -9*(j + 1 + -5)?
False
Suppose -3*r + 7*r - 11205 = -5*m, -4*r + 11195 = -5*m. Suppose -r = -16*o + 6*o. Is 5 a factor of o?
True
Let f = -1671 + 1669. Let v(m) = m**2 + 8*m - 4. Let x be v(6). Is 11 a factor of x + (-1 - f - -3)?
False
Is 16 a factor of 65536/(-24)*(-15)/5?
True
Let k(s) be the third derivative of 0 + 0*s - 37*s**2 - 1/2*s**3 + 7/24*s**4. Does 11 divide k(13)?
True
Let g = -5508 + 10246. Does 7 divide g?
False
Let i(p) = 9*p**2 - 11*p + 2. Let f be i(6). Suppose 10*r - d - 634 = 5*r, -2*d - f = -2*r. Does 36 divide r?
False
Suppose 119*y - 118*y = -26. Let u = -1 - y. Does 25 divide u?
True
Suppose -1867 - 34418 = -3*j - 56*j. Is 3 a factor of j?
True
Suppose 0 = 1689*k - 1685*k - 27956. Is k a multiple of 18?
False
Let y be (1 - 3*-11) + 2. Suppose 0 = -4*b + y + 188. Is 6/(-2)*b/(-3) a multiple of 6?
False
Suppose 2*o + 3*u + 374 + 132 = 0, -2*o - 5*u - 498 = 0. Suppose -2*a = 4*d + 1017 + 577, -3*d - 1200 = 3*a. Let k = o - d. Is k a multiple of 22?
False
Let s = 58 - 34. Suppose 2*k + s = -3*k + 2*v, -5*v = -2*k + 3. Does 3 divide 56/4 - 3/k*0?
False
Let s = -21554 + 29564. Is s a multiple of 267?
True
Suppose 0 = 5*n - 4*z - 30, 3*n = -2*n + z + 30. Suppose -v = -3*y - 10, -v - y = -n*y - 12. Let s = 2 + v. Is 2 a factor of s?
False
Let h be 22/88*(-8)/(-1). Suppose -45*q + 44*q = h. Is 39 a factor of ((-273)/28)/(q/8)?
True
Let a(s) = 14*s - 31*s + 12*s + 7. Is 5 a factor of a(-3)?
False
Suppose -10525 = -47*q - 340 + 32068. Is q even?
False
Let u(a) = a**3 - 8*a**2 - 3*a - 13. Let c be u(9). Let k = 514 - 491. Let f = c + k. Does 32 divide f?
True
Let b = -43 - -46. Suppose -b*k - 10 + 22 = 0. Suppose 20 = k*z - 4. Is z a multiple of 6?
True
Let u = -734 - -428. Let i = -8 - -4. Is (u/24)/(1/i) a multiple of 17?
True
Let o(q) = -8*q - 118. Let k be o(-15). Suppose -5*s + v + 1445 + k = 0, -867 = -3*s + v. Is s a multiple of 4?
False
Suppose 30*w - 14 = 28*w. Suppose a = 2*a + w. Is (2/6 - 0)/(a/(-2751)) a multiple of 35?
False
Let b(q) be the third derivative of -q**4/4 + q**3 + 37*q**2. Let y be (0 - 1) + -1 - 13. Is b(y) a multiple of 12?
True
Let u(m) = -45*m - 277. Let r be u(-6). Let o(h) be the first derivative of 2*h**3/3 + 13*h**2/2 + 10*h + 1. Is 14 a factor of o(r)?
False
Let c(n) = -n**3 - 2*n**2 - 2*n - 1. Let w be c(-1). Suppose w = -9*d + 23