 - 225, 1015 = o*n + 3*q. Does 21 divide n?
False
Suppose -7*q - 15*u = -14*u - 36806, -2*u = 0. Is 51 a factor of q?
False
Suppose 0 = 4*u + 8, -141356 = 24*p - 29*p - 2*u. Is p a multiple of 152?
True
Suppose -99*m = -u - 100*m + 2922, -4*u = 3*m - 11682. Is 27 a factor of u?
True
Suppose -592 = -a + 4*y, 5*y + 2472 - 661 = 3*a. Let w = -543 + a. Is w a multiple of 23?
True
Let o(z) be the second derivative of 7*z**3/6 + 7*z**2/2 - z. Is 49 a factor of o(13)?
True
Let n(t) = t**3 - 3*t**2 - 1. Let y be n(3). Let s be y + 1 - (-4218)/19. Let w = -144 + s. Is 19 a factor of w?
False
Suppose -2*u + 12678 = 4*g, 0 = -g - 91*u + 94*u + 3187. Does 122 divide g?
True
Suppose -3*i - 4*i + 32*i = 61500. Is i a multiple of 12?
True
Let m = 13303 + -4215. Is 11 a factor of m?
False
Suppose 4*u = -4, -5*u - 12 = -5*x + 63. Suppose t - x = -2*g, 2 + 1 = 3*g - 3*t. Suppose -g*i - 4*f + 183 = 0, -3*i + 0*i = 2*f - 109. Is i a multiple of 5?
True
Suppose 0*d = -10*d - 1020. Let w = -95 - d. Does 4 divide w?
False
Let h be 27*((-20)/25 + 164/30). Suppose -6*p + h - 48 = 0. Is 3 a factor of p?
False
Is 205 a factor of (-29176)/(-49) - (114/21 + -6)?
False
Suppose 2*q - 74209 = -2*v - 3999, 5*v - 175549 = q. Does 249 divide v?
True
Let p be 4/(9/3*(-2)/(-6)). Suppose 5*f - p*f = -8. Let g(w) = -w**3 - 7*w**2 + 8*w + 6. Is g(f) a multiple of 2?
True
Suppose 3*k - 2*h - 3 = 0, -10*h + 12*h = k + 3. Is 10 a factor of ((-9681)/(-6))/7 - k/6?
True
Suppose -10 = 3*v - 37. Suppose -v*d = -13*d + 1256. Let u = d + -166. Is 19 a factor of u?
False
Let m(n) = -6*n - 3*n**2 + 1 + 1 - n**3 + 2. Suppose 2*j + 3*j = -4*h, -h = -4*j + 21. Is m(h) a multiple of 11?
False
Let q be (-20 - -7) + 6 + 6/(-3). Is 6 a factor of (-501)/q + 0 + 10/(-6)?
True
Suppose -t + 10084 = 4*r - 12640, r - 68106 = -3*t. Does 49 divide t?
False
Let k(x) = -x**3 - 28*x**2 + 16*x + 24. Suppose -2*c + 126 = -4*h, -h = 4*h - 3*c + 160. Is k(h) a multiple of 20?
False
Let a = -1097 + 3675. Suppose 1282 = 4*g - a. Is g a multiple of 38?
False
Suppose -3*v - b + 51 = 0, 0 = -5*v + 5*b - 8*b + 81. Suppose 0 = -0*z - 3*z + v. Suppose 0 = z*f - f - 35. Is 7 a factor of f?
True
Suppose -5*f + 59028 = 4*y, 2*f + 5*y = 19976 + 3625. Is f a multiple of 12?
True
Is (43/((-86)/6))/(6/(-39238)) a multiple of 20?
False
Let b(k) be the first derivative of 37*k**3/2 + 5*k - 16. Let w(s) be the first derivative of b(s). Is 22 a factor of w(1)?
False
Suppose 604 = c + 5*k, 5*c - 5*k - 3973 + 923 = 0. Suppose 0 = -3*t + 4*w + 2277, 3*t - c = w + 1668. Is t a multiple of 23?
True
Suppose 80360 + 7676 = 13*y - 11908. Is 26 a factor of y?
False
Let f(c) = 219*c**2 - 31*c + 31. Is f(-11) a multiple of 62?
False
Let j(n) = -5*n + 45. Let z be j(9). Let v = z - -2. Suppose -4*c - 28 + 208 = -4*f, -45 = -c - v*f. Does 18 divide c?
False
Let y(o) = o**2 - 10*o - 9. Let u be y(11). Let t = -14 - u. Is 9 a factor of 29/(-2)*t/8?
False
Suppose y + 99 + 150 = 0. Let p = 445 + y. Does 14 divide p?
True
Suppose -1974 = 3*w + 2*y, 2*w - y + 723 + 586 = 0. Let q = 766 + w. Is q a multiple of 10?
True
Does 12 divide (1275/(-34))/25*-23064?
True
Let w(f) = f**2 + 7*f - 44. Suppose -23*l + 272 = -6*l. Does 22 divide w(l)?
False
Let s = 16 + -14. Is 8 a factor of 263 - (2 + 5 - s)?
False
Suppose -5*j + 15 = r - 2*j, -2*r - 2*j = -42. Suppose -p - 3*a + r = 4*p, 2*p - 4*a + 6 = 0. Let m(y) = y**3 - 2*y**2 - y. Is 3 a factor of m(p)?
True
Let x(v) = -9*v - 10. Let j be (-3)/2*(-4)/(-12)*14. Let t(d) = d**3 + 6*d**2 - 6*d + 1. Let b be t(j). Does 39 divide x(b)?
False
Let p be ((-1)/2)/((-4)/48*3). Suppose -p*a + 5*f = 24, -3*a - 5 = -2*f + 31. Let c = 23 + a. Does 11 divide c?
True
Let o(l) = 4*l**3 + 73*l**2 + 22*l + 23. Let y(a) = -2*a**3 - 36*a**2 - 13*a - 11. Let i(h) = 2*o(h) + 5*y(h). Is 51 a factor of i(-17)?
False
Let i(p) = -7327*p - 6342. Is i(-6) a multiple of 198?
True
Let t(y) = 190*y - 288. Is t(30) a multiple of 44?
True
Suppose -312 = 4*v - 292. Let j(k) = 10*k**2 + 16*k + 21. Is j(v) a multiple of 19?
False
Let g(w) = -54*w - 2451. Is g(-61) a multiple of 5?
False
Let p = -2025 + 3649. Suppose p = -10*g + 14*g. Is 47 a factor of g?
False
Let j = -432 - -1468. Suppose 10*a - j = 374. Is 10 a factor of a?
False
Suppose 5*d - 12 - 3 = 0. Let h = -3734 + 3879. Suppose d*b = 35 + h. Is b a multiple of 7?
False
Suppose 0 = 4*c + c + 745. Let w = c + 219. Let v = w - 59. Does 4 divide v?
False
Let l = -5009 + 8466. Is 2 a factor of l?
False
Suppose -4*z - 3975 = -z. Suppose -98*h = o - 93*h + 65, 0 = 5*o + 4*h + 241. Does 21 divide 10/o - z/9?
True
Suppose -15*x + 14*c + 68046 = 11*c, -5*c = -5*x + 22690. Is 21 a factor of x?
True
Let h(u) = u**2 + 10*u + 20. Let y be h(-8). Suppose -y*x = 3 - 19. Suppose -j + 41 = 2*v, -3*j + 0*j + 79 = x*v. Is v a multiple of 9?
False
Let x(k) = 403*k**3 - 3*k**2 - 13*k + 85. Does 34 divide x(5)?
True
Let j = -96 + 97. Let k be j/2*-6 - -4. Is 13 a factor of 5 + -6 + (k - -247)?
True
Is 10 a factor of (14 + -19 - 185/(-35)) + 226512/28?
True
Is -1*(10421 + 9)/(-14) a multiple of 16?
False
Suppose 4*t + 3*o - 145 = 71, -216 = -4*t + 2*o. Suppose -18088 = -t*y + 40*y. Is y a multiple of 14?
False
Is (-12 + -2)/(-86 + 85) a multiple of 14?
True
Let q = -44 - -48. Suppose 0 = -q*l - 153 + 13. Let j = l - -59. Does 11 divide j?
False
Suppose 78907 + 183668 = 45*t. Is t a multiple of 15?
True
Suppose 15*m - 18*m + 5*g = -48630, -g - 16212 = -m. Is m a multiple of 141?
True
Let d be (-9)/(-6)*(-2 - -4). Let g be -8*16/(112/(-105)). Suppose 2*p + g = d*p. Is p a multiple of 33?
False
Suppose 0 = 2*u - 2*k - 440, 880 = 4*u - 97*k + 95*k. Does 22 divide u?
True
Let r(b) = -b**3 + 11*b**2 + 2*b - 23. Let j be r(13). Let n = 1175 + j. Is 20 a factor of n?
True
Let d(a) = -80*a + 1570. Does 98 divide d(-11)?
True
Let n be (-7 + 1)/2*(-14220)/(-135). Let w = 612 + n. Does 74 divide w?
True
Let z(m) = m + 24. Let o be z(16). Let t be 24/13 - (-8)/52. Suppose t*q - o = q. Is q a multiple of 20?
True
Let b be (7 + -1940)*(-1 - 0). Let k = b + -1275. Suppose x = -6*x + k. Does 9 divide x?
False
Let k = 54 + -149. Let r = k - -50. Does 31 divide (-4179)/r + (-2)/(-15)?
True
Let h = -341 + 328. Does 11 divide (-3157)/h + -1 + (-2)/(-13)?
True
Suppose -3*s + 10 = -26. Suppose 4*d = -4*f + 12, -5 = -3*d + 5*f + s. Suppose -d*l = -l - 108. Is l a multiple of 6?
True
Let d = -30 + 93. Let j be (d/12)/((-1)/(-40)). Suppose m - j = -6*m. Is m a multiple of 6?
True
Suppose -197*q - 64*q + 1477782 = 0. Is q a multiple of 20?
False
Let r(t) = -3*t**2 + 168*t + 312. Is 110 a factor of r(40)?
False
Let q(f) = -30*f + 673. Is 10 a factor of q(22)?
False
Let x be (2/(-3))/(6/(-1737)). Let w = x - -119. Is w a multiple of 6?
True
Let b = -903 + 5143. Is b a multiple of 8?
True
Suppose 4 = h, -3*y - 1032 = h + 287. Let z = 817 + y. Suppose -9 = -3*l - 0, -5*m - 2*l + z = 0. Is 20 a factor of m?
False
Suppose -3 = -0*c + 2*c - i, 3 = -3*i. Suppose -8 = 8*l - 16*l. Does 25 divide -165*l*c/6?
False
Suppose n - 3*i - 24 = -3, 2*n - 4*i - 42 = 0. Let k = 20 - n. Is ((-21)/2)/(k/8) a multiple of 17?
False
Let i(p) = 3*p**3 + 25*p**2 + 6*p + 9. Suppose -87*y + 102*y = -90. Is i(y) a multiple of 12?
False
Suppose 21*q = 24 + 60. Suppose -47*d = 4*h - 42*d - 193, -q*d - 148 = -4*h. Is 2 a factor of h?
True
Suppose -4*l = 12, 0 = -4*m + 7*m + 2*l - 24. Let y be 2 + (-5)/(m/(-906)). Let f = y + -263. Is 12 a factor of f?
True
Suppose 12*k - 9398 - 1266 = 772. Is 17 a factor of k?
False
Suppose 3*s = 4*k - 10957 - 5737, 0 = -3*s + 6. Is k a multiple of 66?
False
Let x = -183 + 420. Suppose -5385 + x = -6*i. Does 13 divide i?
True
Let h = 138 + -89. Let j = h + -81. Let n = 88 + j. Is n a multiple of 17?
False
Suppose -27*j = -103408 + 15874. Is j a multiple of 94?
False
Suppose -31*h = 29519 - 219356 - 16189. Is h a multiple of 50?
False
Does 61 divide (-35)/(-21) - 23/(690/(-155500))?
True
Let y(d) = 4*d**2 - d + 3. Let f(z) = z**3 + 6*z**2 + 3*z - 12. Suppose -4*x - 22 = -n, 0*x - 3*n + 16 = -2*x. Let b be f(x). Is 4 a factor of y(b)?
False
Is 26 a factor of (17 + -94)/11 - (1 + -3)*22391?
False
Suppose -4*o - v + 2873 = 258, 0 = 3*o - 5*v - 1944. Is o a multiple of 6?
False
Let t(g) = -20*g + 34. Let c = 21 + -26. Let p be t(c). Supp