 - 2*w + 4. Let i be h(0). Is (-1)/((-5733)/(-1435) - i) a multiple of 31?
False
Suppose -29*d + 39*d - 5424 = 13346. Is 2 a factor of d?
False
Suppose 4*w - 3*w = -6. Let r be (-145)/(-3335) + 1448/23. Does 5 divide (270/r)/(w/(-21))?
True
Let o(v) = -v**3 - 13*v**2 - 13*v - 14. Let a be -8*((-8)/28 + 100/56). Let c be o(a). Let x = c + 113. Is x a multiple of 15?
False
Let v = -10117 + 12149. Is v a multiple of 5?
False
Let t(z) = z**3 - z**2 + 14*z + 108. Let n be t(12). Suppose -124*c + 119*c + n = 0. Is c a multiple of 4?
True
Let g = -10240 + 5112. Is 19 a factor of 11/55 - g/10?
True
Suppose 0 = -4*d - 2 + 18, -4 = -2*s + 4*d. Suppose 88*q - 90*q = s. Let x(m) = 6*m**2 + 7*m + 11. Is 21 a factor of x(q)?
True
Let z(w) = 4*w + 17. Let t be z(-3). Suppose -1 = -2*b - t. Is (b - 5)/(4 + (-63)/15) a multiple of 4?
False
Let g be ((-53768)/((-4)/(-1)))/(-2). Let z be (-3)/12 - g/(-4). Suppose -10*c + z = -2*c. Does 21 divide c?
True
Let c = 6847 + -3784. Is c a multiple of 99?
False
Let w(m) = m**3 - 3*m**2 - 5*m + 3. Let k be w(4). Let r(f) = -538*f - 34. Is r(k) a multiple of 42?
True
Let u(g) = 4*g**3 + 4 - 7*g - 3*g**3 + 3 - 3*g**2 + g**2. Let c(l) = -l + 20. Let r be c(16). Does 7 divide u(r)?
False
Is ((-8)/(-12))/(-1) - 181056/(-72) a multiple of 13?
False
Suppose -49*q = -52*q + 6, -25*q - 57406 = -3*s. Is s a multiple of 63?
True
Suppose -4*p + 1695 = -2981. Let w = 1673 - p. Does 56 divide w?
True
Let j(r) = -4*r**3 - 6*r**2 - 4*r + 13. Let i(m) = -5*m**3 - 5*m**2 - 5*m + 14. Let a(p) = -3*i(p) + 4*j(p). Does 2 divide a(-9)?
False
Let h(b) = -267 + 9*b - 18*b - 45*b + 29 - b**2. Is h(-36) a multiple of 9?
False
Let b(w) = 2. Let o(t) = 3*t**3 + 9*t**2 - 17*t + 2. Let c(d) = 3*b(d) + o(d). Does 7 divide c(3)?
True
Suppose -t + 221 = -4*y, -3*y + 896 = 4*t - 7*y. Suppose 2*o - 10*v - 72 = -14*v, 5*v + t = 5*o. Is 6 a factor of o?
True
Let h(k) be the second derivative of 37*k**3/3 - 44*k**2 + 5*k + 2. Is 8 a factor of h(8)?
True
Suppose -7*a + 14*a = -35. Is 24/60 + (-2248)/a a multiple of 15?
True
Suppose 0*t = 6*t + 28350. Is 14 a factor of t/(-7) + -1 + 5?
False
Suppose f - 4*f + 564 = -2*g, -4*g + 376 = 2*f. Suppose 0 = -10*p + 6*p - f. Let s = -20 - p. Does 7 divide s?
False
Suppose j = -2*v + 12380, -4*v + 25*j - 30*j + 24742 = 0. Does 35 divide v?
False
Let s(h) = -h**2 + 8*h - 8. Let p be s(6). Suppose p*q = -3*q + 35. Suppose 2*u = q*l - 7 + 59, -u + 3*l + 28 = 0. Is 16 a factor of u?
True
Let f = -576 - -182. Let s = 711 - f. Is 27 a factor of s?
False
Suppose 2*y - 6054 = -74*m + 78*m, 9075 = 3*y - 5*m. Is y a multiple of 67?
True
Let g = -80 + -176. Let s = g - -288. Does 4 divide s?
True
Suppose 0 = -3*c + 85 - 151. Is (-5)/(550/20) + (-686)/c a multiple of 2?
False
Suppose -10*x = 24*x - 947546 + 385390. Is 14 a factor of x?
True
Let l(u) = u**3 - 18*u**2 + 30*u + 65. Does 9 divide l(16)?
False
Let r be ((-4)/(-8))/(2/8024*2). Suppose -u - 132 = 4*g - r, 0 = -5*g + 2*u + 1105. Let v = g + -153. Does 11 divide v?
True
Suppose -4*j + 0*f + 15 = -5*f, -j - 4*f = 12. Suppose -4*g - 3*s + 288 = j, -5*g - 4*s = -s - 363. Let h = g - -89. Does 15 divide h?
False
Let c = -327 - -428. Suppose 105*t = c*t + 500. Is 2 a factor of t?
False
Suppose -4 = n - 3*n, 5*a = 4*n + 17. Suppose 4*f + a = -z - 10, 0 = 3*f - 2*z + 3. Does 34 divide (6 + f/3)*(-204)/(-15)?
True
Suppose i + 4310 = 4*f, 0 = -5*i + 39 - 9. Is f a multiple of 2?
False
Suppose -4*h + 2 = 2*b, -5*h - b = 2*b - 1. Suppose -2*y + 372 = -6*p + h*p, 2*p = -y + 166. Suppose 0 = -7*x + 8*x - y. Does 12 divide x?
False
Is ((-991145)/(-260) - 65/20) + (-4)/(-26) a multiple of 3?
False
Let j(b) be the second derivative of -b**4/12 - 13*b**3/2 - 3*b**2 - 3*b - 34. Does 17 divide j(-20)?
True
Let r(a) = 3*a**2 + 5*a + 1. Let m = -127 - -130. Suppose -m*i + 21 = -5*j, -8 = -i - 3*j - 1. Is r(i) a multiple of 30?
False
Let p(o) = -30643*o**3 - 8*o**2 + 3*o + 4. Is p(-1) a multiple of 46?
True
Let o(c) = 9*c**2 + 8*c + 27. Let i be 10/4 - 33/6. Is o(i) a multiple of 2?
True
Suppose -u = 2*p + p - 6, -4*p + 1 = -u. Suppose -7*j = -10*j - u*f + 2139, -2*j - 4*f = -1416. Is 13 a factor of j?
False
Let a be 5/(-35)*-418 - (-8)/28. Is 24 a factor of ((-23)/(115/a))/((-1)/18)?
True
Let m = -8069 - -12647. Does 31 divide m?
False
Let n(o) = 396*o**2 + 135*o + 407. Is n(-3) a multiple of 68?
False
Let z(f) = f - 5. Let x be z(8). Let c = -30 + 35. Suppose 0 = p + u - 84, 0 = c*p - x*u - 244 - 192. Is p a multiple of 8?
False
Is 5 a factor of (44/24)/(-11) + ((-769251)/(-18))/7?
True
Suppose -16*y + 4*c = -20*y + 140, -2*y - c = -66. Does 9 divide 2/(-2) + y/(217/700)?
True
Suppose x - 7*o + 9*o = 5, 4*x - 2*o - 20 = 0. Suppose 2*y - y - 701 = -x*g, 0 = g + 4*y - 144. Does 10 divide g?
True
Let c(o) = o**3 - 7*o**2 + 4*o + 1. Let j be c(6). Let w(q) = -25*q - 21. Let f(g) = -20*g - 20. Let k(a) = -6*f(a) + 5*w(a). Is k(j) a multiple of 35?
True
Suppose -70*t = -66*t + 44. Let x(k) = -2*k**2 - 31*k - 49. Is x(t) a multiple of 10?
True
Suppose 2*h + s - 16 = -0*h, h = 2*s + 8. Let g = h + -16. Is g/3*(-1410)/20 + -1 a multiple of 11?
True
Suppose -42*g = -47*g. Let b be (78/(-1))/(-3)*10. Suppose g = -12*f + 8*f + b. Is 8 a factor of f?
False
Let f = -165 + 160. Let i(n) = -2*n**3 + n**2 + 8*n + 17. Is i(f) a multiple of 42?
True
Suppose 147*s = -76*s + 1093270 + 2423663. Does 49 divide s?
False
Let h(b) = 2*b**2 + 13*b + 7. Let v be h(-7). Is 37 a factor of ((-444)/(-8))/(-3)*(-2 - v)?
True
Suppose 1602882 = -205*c + 6228946 + 6603016. Does 82 divide c?
True
Suppose 0 = -2*k - 22*k + 240. Let a(w) = w**3 - 4*w**2 + 12*w + 12. Let f(n) = n**3 - 5*n**2 + 12*n + 11. Let m(i) = -5*a(i) + 6*f(i). Is 21 a factor of m(k)?
True
Suppose -5*r - 3504 = -2*q, 0 = -4*q - 2*r + 4714 + 2222. Is q a multiple of 47?
False
Let p(l) = 13*l**2 - 141*l + 2727. Is p(37) a multiple of 17?
False
Suppose -3*j = 2*g - 10, -6*j + 7*j + 5*g = -14. Suppose -j*k + 30 = 4*k. Suppose -h - 340 = -2*x, -5*x = -k*x + 3*h - 324. Is x a multiple of 21?
True
Let g = 8 - 8. Let u(x) = 37*x + 1227. Is 20 a factor of u(g)?
False
Let r(f) = f**3 - 15*f**2 + 14*f - 18. Let j(c) = c**3 - 2*c**2 - 6*c + 6. Let i be j(4). Let s be r(i). Let l = -5 - s. Is l a multiple of 2?
False
Suppose 5*a - a = -4*f - 168, -218 = 5*a - 3*f. Is 3 a factor of (a*(-1)/(-3))/(30/(-90))?
False
Let a be (-4)/2 - (-44)/22. Suppose 0*c + 4*y + 1020 = 3*c, a = 2*y. Is c a multiple of 5?
True
Suppose -18*s = 17*s - 151900. Does 43 divide s?
False
Let b = -10409 - -19145. Is b a multiple of 104?
True
Let t(f) be the third derivative of -f**6/120 + 2*f**5/15 + 5*f**4/24 - f**3 - f**2. Let y = 229 + -221. Does 17 divide t(y)?
True
Does 14 divide (-239778)/(-165)*((-4)/(-1) - 4/6)?
True
Suppose -6 = -y - l, 4*y - 6*y + 18 = 5*l. Suppose -72 = -y*z + 48. Is z a multiple of 10?
True
Let r(g) = 6*g**3 + 251*g**2 + 49*g + 72. Does 84 divide r(-41)?
True
Suppose -8*g - 2340 = -2*g. Let l be ((-21)/(-6))/(1945/g + 5). Suppose 12*q - l = 5*q. Is q a multiple of 11?
False
Suppose -35*t + 26*t = -171. Suppose -t*f - 2611 = -26*f. Is f a multiple of 47?
False
Suppose 124*c = 314*c - 45790. Does 19 divide c?
False
Let m be 48/(-5) - 2/5. Suppose 0 = -4*v - 2*k - 3918, -4899 = -3*v + 8*v + k. Does 14 divide (4/m)/(-2 + (-1956)/v)?
True
Is 33865 - (28 + -22 + -29) a multiple of 17?
False
Let g(h) be the first derivative of 9*h**2/2 - 54*h + 85. Let z be (-1)/(1/24*-1). Does 36 divide g(z)?
False
Let k be 1*-3*(-8)/(-12). Let z be (-102)/k*((-21)/(-9) + -1). Suppose -7*t + z = -884. Is t a multiple of 16?
False
Suppose 0 = 5*c - 5*w + 5006 + 1904, -3*w - 6 = 0. Is (c/28 + -2)*-7 a multiple of 20?
True
Suppose -4*k + 4128 = 2*y, -5*y + 10320 = -125*k + 124*k. Does 4 divide y?
True
Let i be (-55)/(-22) + 741/(-6). Let t = i + 201. Is t a multiple of 20?
True
Suppose 0 = -3*f - 5*j + 3650, -26*j + 4841 = 4*f - 23*j. Does 97 divide f?
False
Suppose -q + 3*c = -2*c + 10, -5*q = -c + 2. Suppose -5*f - 2*s = 18, 2*f + 3*s + 3 + 2 = q. Does 6 divide -78*f/(11 - -1)?
False
Let r be (-1 - 7) + (-4)/((-16)/(-12)). Let k be -10*((-2)/(-10) + (-274)/20). Let b = k + r. Is 9 a factor of b?
False
Let y(a) = -23*a**2 - 9*a - 11. Let k be y(-6). Let n = k + 1552. Is 18 a factor of n?
Fals