 divide w(-10)?
False
Suppose 5*j = -8*o + 4*o + 11868, -3*o - 9 = 0. Is 15 a factor of j?
False
Let p = -12283 - -13317. Is p a multiple of 94?
True
Suppose -f = 4*c - 2*f - 17, 4*c - 5*f = 21. Let o be -1*(-1)/(-16)*c*8. Is (21 - 5)*(-1)/o a multiple of 8?
True
Let q(a) = -a**3 + 21*a**2 - 18*a - 35. Let l be q(20). Suppose -62 = -j + l*n, 2*j - 3*n - 100 = n. Is j a multiple of 42?
True
Suppose 10664 = g + 3*m, m - 6660 + 38672 = 3*g. Is g a multiple of 13?
False
Suppose 185 = -d + 207. Suppose z + d*z - 9476 = 0. Is z a multiple of 70?
False
Suppose 0 = -20*n + 24*n - 1622 - 1810. Is n a multiple of 11?
True
Is 37 a factor of (-1 + 921/(-4))/(-6 + 115/20)?
True
Suppose 5*s + 4*n = -217 + 76, -3*s - 4*n - 83 = 0. Let o = -34 - s. Let f = 36 + o. Is f a multiple of 6?
False
Let f(s) = s**2 - 10*s - 51. Let a be f(14). Suppose 2*o + 12*v = 8*v + 440, -5*o + a*v + 1130 = 0. Is o a multiple of 56?
True
Let y(x) be the second derivative of x**5/10 - x**4/2 + x**3/6 - 4*x**2 - 109*x. Does 14 divide y(4)?
True
Suppose -12*t - 10730 = -17*t. Let i = -1401 + t. Suppose -4*b - i = -3*h - 270, -4*b = h - 169. Is 23 a factor of h?
True
Let d(m) be the third derivative of -m**6/60 - 13*m**5/30 - m**4/6 - 11*m**3/3 - m**2 + 9*m. Is d(-13) a multiple of 30?
True
Suppose -29*d + 25*d + 18 = 5*f, 3*f - 4 = d. Is f/3 + (-14560)/(-30) a multiple of 10?
False
Let w(h) = -h**3 + 11*h**2 - 6*h + 1. Let g be w(8). Let r = g - 74. Is r a multiple of 28?
False
Let v = 220 + -140. Suppose 5*y - 2*c = v, y + 5*c = -y + 3. Suppose -y = -r + 50. Does 20 divide r?
False
Let l = -160 - -105. Let i = 22 - l. Is 11 a factor of i?
True
Let s be 3/((-24)/82)*-4*8. Suppose -s = -4*x - 4*m, -2*m - 10 = 3*m. Does 12 divide x?
True
Suppose 19*j + 37234 = 220546. Is 268 a factor of j?
True
Let p = -13 - -14. Let a(x) = 5*x - 1. Let m be a(p). Suppose -241 = -6*s + s + 4*q, 0 = q + m. Is 15 a factor of s?
True
Is 8/(-76) - (-877376)/304 a multiple of 37?
True
Let v be (-167 + 163)*(-2)/4. Let h(l) = 281*l - 3. Let j be h(3). Suppose v*a - j = -3*a. Is a a multiple of 31?
False
Let o = -525 + 1233. Suppose -a - a = -2*r - o, -3*r = -a + 350. Does 26 divide a?
False
Let a be (18/6 - (-14)/(-4))*0. Suppose 3 = g + 2*n + 8, a = -4*n - 8. Let v = g - -13. Does 2 divide v?
True
Let a(q) = -q**3 + 10*q**2 + 8*q - 24. Let k be a(9). Suppose -4*y - k = -5*s - 2, 3*y = -4*s + 114. Is 4 a factor of s?
False
Let l be (60/(-2))/(-2 - -1). Let q = l - 27. Is 37 a factor of (6/q)/((-3)/(-111))?
True
Let a = 870 + -806. Suppose -a*j = -62*j - 806. Is 46 a factor of j?
False
Suppose -5*z - 19*r + 42620 = -15*r, 0 = 2*z + 5*r - 17065. Does 30 divide z?
True
Suppose -2*f - y + 425 = -2*y, -5*f - 2*y + 1049 = 0. Is 8 a factor of f - (-7 - -6) - 0?
False
Suppose 14*q - 5*q = 585. Suppose -s = 2*g - 0*g - 25, 3*s = -5*g + q. Suppose -g*n - 219 = -11*n. Is n a multiple of 28?
False
Let t be 153/102*(-5)/((-5)/126). Suppose -6*l - l = t. Does 21 divide ((-18)/l)/((-1)/(-54))?
False
Is 8 a factor of (-2)/7 - ((-17271000)/84)/25?
True
Suppose 5*l = -2*n - 150, 2*n + 3*l + 123 = -23. Let b = 97 - n. Let i = b + 32. Is 13 a factor of i?
False
Let q(f) = f**3 + f**2 - 11*f + 156. Let z be q(0). Suppose 109*d + z = 113*d. Does 5 divide d?
False
Let t = 3816 - 3811. Let q = -13 + 7. Does 8 divide (12/t)/(2985/(-500) - q)?
True
Suppose -6*r + 3*b = -2*r - 407, 0 = 2*r - b - 205. Is 2 a factor of r?
True
Suppose -3*q + 5*t = -16515, t - 1446 = -2*q + 9551. Does 50 divide q?
True
Suppose -2365*h - 4424 - 20811 = -2372*h. Does 11 divide h?
False
Let f(p) = 5*p - 18. Let m be f(13). Let g = 226 + -165. Let x = g - m. Does 7 divide x?
True
Let l be 8320/(-18) - (-2)/9. Let i = l - -846. Suppose -15*j + 11*j = -i. Is 21 a factor of j?
False
Suppose 4 = 11*s - 40. Suppose -j = 2*c - 294, -4*c + 25 = -s*j + 1201. Does 8 divide j?
False
Suppose 3*z - 4*g = 28, z = 3*z - 2*g - 16. Let s = z + -5. Let x(i) = -31*i**3 + 2*i**2 + 3*i + 2. Is 15 a factor of x(s)?
False
Let g = 11532 - 1300. Does 113 divide g?
False
Let p(y) = 4*y**2 + 1731. Does 58 divide p(0)?
False
Suppose 460*y - 5456904 = 20511936. Is y a multiple of 301?
False
Is (-2)/(-11) + -9 + (-610228)/(-44) a multiple of 42?
True
Let d(a) = 9*a**2 + a - 1. Let p be d(1). Let q(n) = 1 - 12 - 21275*n + 4 - 29 + 21302*n. Does 31 divide q(p)?
False
Suppose -5*i = -66 + 61. Is 10 a factor of ((-6206)/(-428))/(((-2)/(-40))/i)?
True
Suppose 0 = u - 0*k - k - 389, -3*u + 1171 = -4*k. Suppose 31*l + u = 36*l. Suppose -19 = 2*c - l. Does 6 divide c?
False
Suppose 32 = 2*s - 0*s. Let d be (-4)/16 + 708/s. Let i = d - 30. Does 7 divide i?
True
Let n = -61 + 38. Let s(j) be the second derivative of -j**3/6 - 11*j**2/2 + 118*j. Is 8 a factor of s(n)?
False
Suppose -550*n = -559*n - 4527. Let z = n - -551. Is z a multiple of 4?
True
Let l = -1504 + 2344. Suppose -l = -344*b + 343*b. Is 28 a factor of b?
True
Let y = -638 + 829. Suppose 2*w = 3*w - 122. Let n = y - w. Does 26 divide n?
False
Let h(m) = -13*m**3 + 8*m**2 - 14*m + 39. Let l be h(6). Does 57 divide 2*1*2/((-36)/l)?
True
Let a = 419 - 419. Is 19 a factor of (9 + a + -1)*110/4?
False
Let f = -46 + 40. Let q(p) = 13*p**2 + 39*p - 10. Does 8 divide q(f)?
True
Let z = -183 + 213. Is 33 a factor of 2/(-4)*(-25740)/z?
True
Let n = -963 - -1530. Let k = n + -322. Does 5 divide k?
True
Let x = 5783 + -2023. Is x a multiple of 10?
True
Suppose 29649 = 3*d - 4*x - 43671, -5*d - 2*x + 122226 = 0. Is 126 a factor of d?
True
Suppose -10*a - 22445 = -85165. Does 7 divide a?
True
Suppose 30*n - 28*n - 29436 + 10494 = 0. Is n a multiple of 22?
False
Let f(r) = -r**3 - 102*r**2 + 120*r - 408. Is f(-105) a multiple of 4?
False
Let o(w) = 11*w**3 - w**2 - 8*w + 2. Let n be o(3). Let r = 386 - n. Let i = r + -12. Is 27 a factor of i?
True
Let h = 761 + 2296. Let x = h - 2103. Is 35 a factor of x?
False
Suppose -19 = -t + 4*b, 2*t - 5*b = -16 + 51. Let k = t - 11. Suppose -k*a + 143 = -113. Does 8 divide a?
True
Let p(m) = 42*m**2 - 2172*m + 138. Is 336 a factor of p(55)?
True
Let i(r) = 10*r**2 - 30*r + 16. Let x(k) = -7*k**2 + 20*k - 10. Let d(j) = 5*i(j) + 7*x(j). Does 8 divide d(11)?
False
Suppose -2*v + 748 = -u, u + 29 = -v + 409. Let s = 71 + v. Is s a multiple of 6?
False
Let d(n) = 211*n**2 - 2*n + 2. Suppose 3 = 95*h - 92*h. Is 19 a factor of d(h)?
False
Suppose -676 = -8*h - 228. Suppose 101 = 14*f - 11*f + 4*l, 0 = -2*f + 3*l + h. Is 5 a factor of f?
False
Let m(z) = -z**3 + 5*z**2 - 6*z + 5. Let b be m(5). Is (-185)/b*43 + 3/(-15) a multiple of 15?
False
Suppose 10*j = 86950 - 14350. Is 20 a factor of j?
True
Let c = -81 - -102. Is c/105 - 948/(-10) a multiple of 27?
False
Let u = 9 - 7. Let a = 1633 - 1629. Suppose -f - 3*f - 194 = -c, -u*f = a*c - 794. Does 22 divide c?
True
Suppose -6*j + 364 = -10*j. Let l be 0 + 3*-1 + (12 - j). Suppose 14*m - 19*m + l = 0. Is 10 a factor of m?
True
Let p(r) = -14*r**3 + 4*r**2 + 2*r - 4. Let w be p(-2). Suppose -o - 2*t + w = -195, 2*o - 630 = 5*t. Is o a multiple of 15?
True
Let s = -598 - -634. Let a = -5 - -33. Suppose -d - a = -s. Does 5 divide d?
False
Let l be ((-984)/(-18))/((-1)/(-6)). Suppose 4*z + 2*c - l = c, 3*z - 246 = 3*c. Suppose -s = 5*j - z, -5*s + 4*j + 352 = -0*j. Is 12 a factor of s?
True
Suppose 74526 = 3*k + 5*x, -4*k + 34634 = -4*x - 64670. Is k a multiple of 64?
True
Let n(o) = 3*o**2 + 5*o - 10. Let u be n(3). Suppose -160 = -59*a + 63*a. Is 41 a factor of (u/a)/(3/(-615))?
True
Let m be ((-80)/(-6))/(6/(-54)). Let k = 0 - m. Let g = k - 77. Is g a multiple of 5?
False
Let t be 4/10 - (2 - 234/15). Suppose t*y = 3*y - 209. Let w(o) = -5*o - 55. Is 10 a factor of w(y)?
True
Suppose 0 = -5*y + 279 + 216. Suppose 16 = t - 0*t - 2*s, 0 = -3*t + 5*s + 48. Let l = t + y. Does 13 divide l?
False
Suppose 9*p - 131 - 85 = 0. Let c be (p/18)/(2/168). Let q = -59 + c. Is q a multiple of 17?
False
Let n(r) be the first derivative of r**2/2 + 42*r + 1453. Suppose -3*m - m + 24 = 0. Is n(m) a multiple of 8?
True
Let r = -127 - -357. Suppose -4 = w, -q + r = q - 2*w. Suppose -q*c = -107*c - 48. Does 6 divide c?
True
Let y = -8 + 29. Let i be (-28)/y*3 - (-1 - 1). Is 4 a factor of (-23)/i - 7/14 - 1?
False
Suppose 0 = 40*n - 45*n + s + 48974, -2*n = -5*s - 19562. Is 158 a 