/1260). Suppose -2*l + 7*l - k = 0. Is l a multiple of 14?
True
Let l(p) = -p**3 - 17*p**2 + 34*p - 14. Let h be (-264)/14 - 22/154. Is l(h) a multiple of 62?
True
Let n(j) = -j**2 + 102*j - 10. Let v = 451 + -439. Is 10 a factor of n(v)?
True
Let z(k) = k**3 + 16*k**2 + 13*k - 30. Let y be z(-15). Suppose -80*c + 84*c - 1440 = y. Does 10 divide c?
True
Let f be (-2 + 5)*12/18. Let i(q) = 9*q + 12. Is i(f) even?
True
Let a(o) = 2*o**2 - 32*o - 4. Let f(z) = z**2 - 16*z - 2. Let m(r) = 3*a(r) - 5*f(r). Let s be m(5). Let l = 66 - s. Is 52 a factor of l?
False
Suppose -2*a + 49 + 1 = 2*y, -2*a + y + 56 = 0. Suppose 708 = -b + 4*b. Is b/9 + (-6)/a a multiple of 20?
False
Let p = 57 - 55. Suppose -110 = -3*f + k + 4*k, -p*f - 2*k = -100. Is f a multiple of 2?
False
Suppose 1910 = 6*d - d. Let c be (0 + -1)/(-2 - d/(-190)). Let u = 180 + c. Does 16 divide u?
False
Let k = -114 - -38. Let l = k - -82. Is 462/28*16/l a multiple of 15?
False
Is 136 a factor of (13 - 6557/(-3))*6?
True
Let v(n) = n**3 + 3*n**2 + n - 3. Let s be v(-3). Let b be (-119)/(-1) - (s - -10). Let i = b - 76. Is i a multiple of 10?
False
Suppose 0 = -21*x - 212*x + 54*x + 140694. Does 2 divide x?
True
Let q(m) = 76*m**2 + 421*m - 3. Let g(c) = 19*c**2 + 105*c - 1. Let i(t) = 9*g(t) - 2*q(t). Is i(8) a multiple of 117?
False
Suppose 2*t = b - 0*b + 88, 5*t - 25 = 0. Let n = -77 - b. Is 15 a factor of 227/n - 30/15?
True
Let x(b) = b**2 - 6*b - 6. Let s be x(6). Let o be s/(-14) - 16848/(-84). Suppose 5*n - 321 = 4*h - 2*h, -4*h - o = -3*n. Is 21 a factor of n?
True
Let u(k) = k**3 + 3*k - 7. Suppose -112 = -4*q + 4*l, l + 39 = 4*q - 82. Let x = 35 - q. Is 23 a factor of u(x)?
True
Let c = 4124 + -3155. Is c a multiple of 18?
False
Suppose -58 = -9*p + 95. Let w(b) = -4*b**3 + 0*b - 8*b**2 + 25*b**2 + 3*b**3 + b + 21. Is w(p) a multiple of 10?
False
Suppose -96 = -13*l + 10*l. Let q = -29 + l. Is ((q - 7) + 17)*7 a multiple of 13?
True
Suppose -83*q + 76 = -79*q. Let n(m) = -m**2 + 6*m - 6. Let t be n(6). Let x = t + q. Is x a multiple of 3?
False
Let k(u) = -17*u**3 + 29*u**2 + 36*u + 14. Does 37 divide k(-6)?
True
Let f(n) be the first derivative of 3*n**3 + 43*n**2/2 - 19*n - 1. Does 7 divide f(-11)?
False
Suppose 7*b = 9*b - 56. Suppose b*o - 29*o + 8 = 0. Suppose 0 = -o*f + 3*f + 225. Is 16 a factor of f?
False
Does 8 divide (-31)/124 + (-508270)/(-24) - 2/3?
False
Let u = -277 + 549. Suppose 4*s - 1328 = u. Does 8 divide s?
True
Let l be (-15355)/333 - 1/(-9). Let m = l + 67. Is m a multiple of 8?
False
Let x(j) = 5*j**2 + 22*j + 63. Let w(p) = -27*p**2 - 111*p - 314. Let b(m) = 2*w(m) + 11*x(m). Does 16 divide b(-21)?
False
Suppose -5*q + 39 = 29. Suppose -q*s - 2*s = -h, -4*s + 12 = 2*h. Suppose 0 = -h*d + 3*k + 318 + 396, k - 2 = 0. Does 36 divide d?
True
Suppose 0 = 44*g - 128*g + 94631 + 384085. Is g a multiple of 41?
True
Suppose 3 = 5*s - 12. Let p(v) = 63*v - 9. Let r be p(s). Suppose -6*m + 5*m = -r. Does 30 divide m?
True
Suppose 2*f + k - 6 = -f, -2*f - k + 4 = 0. Suppose -2*m - 2 = -4*m - 2*y, m - f = -2*y. Suppose m = -10*p - 0*p + 730. Does 31 divide p?
False
Let f(m) = 12 + 345*m + 343*m - 678*m. Suppose -4*l + 20 = l. Does 26 divide f(l)?
True
Suppose -3*d = -5*j - 29 + 78, 5*d - 10 = 0. Let r(l) = -3*l + 38. Let n be r(j). Suppose 0 = -5*k + 2*g + 1615, 4*g = -n*k - 356 + 1941. Does 41 divide k?
False
Suppose 5*o - 225 = 165. Suppose 18 = 4*a + o. Is ((-114)/8)/(a/40) a multiple of 12?
False
Let o(j) = 2*j**2 - 14*j - 1. Let a(q) = -q**2 + 10*q + 7. Let r be a(10). Let m be o(r). Does 13 divide (-72)/(-6) - (-2 - 1*m)?
True
Let s(t) = -89*t + 3387. Is s(-84) a multiple of 46?
False
Suppose -20*i + 248404 = 14*i. Is 31 a factor of i?
False
Let j(o) = 10*o**2 + 335*o - 243. Is 104 a factor of j(-55)?
False
Suppose 4*r - 5*a + 23 + 26 = 0, 4*r + 39 = 3*a. Let n be (-6)/((-2)/(10/r - -3)). Suppose 200 - 20 = n*v. Is 3 a factor of v?
True
Suppose 2*v = v + 5*c + 32, -4*v + 2*c + 92 = 0. Suppose 107 - v = g. Is g a multiple of 5?
True
Suppose -4*x + 0*x = -6*x. Let i(c) = -c**3 + c**2 + c + 34. Let b be i(x). Suppose b*f = 35*f - 30. Is f a multiple of 15?
True
Let h(u) = -65*u**2 + u - 6. Let l be h(3). Let v = -148 - l. Is v a multiple of 11?
True
Does 152 divide (-5235)/45*-21 - -9?
False
Let c(a) = 2*a + 4. Let w be c(-18). Does 5 divide 132 - 3*2*(-16)/w?
False
Let p be (-28)/(-35) - (-464)/20. Let n(s) = s**2 + 7*s + 82. Is n(p) a multiple of 14?
True
Let s = -12 - -6. Let r be (-4)/(s/(-9) + -2). Is 3 a factor of (-11 - -16) + (r - 0)?
False
Suppose -26*k + 23*k = -12, -3*r + 26401 = -5*k. Is r a multiple of 9?
False
Suppose 17*p - 8170 = -6725. Does 17 divide p?
True
Suppose 264627 = -75*g + 1625427. Is 18 a factor of g?
True
Suppose 2*m = 2*k + 1578, -7*m - 2327 = 3*k - 2*m. Let j = -410 - k. Is j a multiple of 22?
True
Suppose -48*v = -200*v + 517104. Is 126 a factor of v?
True
Suppose 0 = 4*n - y - 15, -12*n = -7*n - y - 19. Suppose -4*q + 543 = q - n*o, 4*q = -5*o + 418. Does 36 divide q?
False
Let l be (-7)/((-98)/6)*7. Suppose -g + 437 = -5*u, -2*g + l*u = -0*g - 895. Let o = -297 + g. Does 29 divide o?
False
Let l(g) = -4*g - 38. Let j be l(-9). Is 2 a factor of (-3)/j*2 - (-1 + -8)?
True
Let w = -1931 - -2302. Does 3 divide w?
False
Let l = -452 + 454. Is 29682/(-225)*-5 + l/5 a multiple of 11?
True
Suppose 2*g + k - 322 = 0, -32*k - 642 = -4*g - 33*k. Suppose 3*b - 335 = g. Does 33 divide b?
True
Let d(f) be the second derivative of -f**4/12 - 31*f**3/6 - 24*f**2 + 62*f. Does 13 divide d(-20)?
False
Let l = 20407 + -14543. Is l a multiple of 49?
False
Suppose 0 = -2*m + 4*m - 750. Let d = m - -152. Suppose 13*w - d = 19. Is w a multiple of 4?
False
Suppose y - 2*o = 3*y, 12 = 5*y + o. Let p(l) = 17*l**2 - 5*l + 6. Is 10 a factor of p(y)?
False
Is 12 a factor of 8/(-3*14/(-23373))?
True
Let w = -10841 - -15265. Does 8 divide w?
True
Let t(f) = f**2 - 4*f - 4. Let r be t(-6). Suppose 5*v + 1 = r. Suppose 3*b - 49 - v = 0. Is 5 a factor of b?
True
Suppose -8 = 6*g - 32. Suppose -w - w - 3*o = -2225, 0 = 2*w - g*o - 2260. Suppose s + 3*c - 236 = -0*s, 5*s + 3*c - w = 0. Is 58 a factor of s?
False
Suppose 0 = 6*g - 2*g - 20. Let m be (7 - -46) + g + -1. Suppose 0 = -6*u + 579 + m. Is 13 a factor of u?
False
Suppose -85*p - 94590 = -95*p. Is 118 a factor of p?
False
Let l be -4 + 20/(-25)*-20. Suppose -44*x + 23424 = -l*x. Is x a multiple of 61?
True
Let r be (-2)/(-11) - (-2)/(-11). Suppose r*t - s = 3*t + 3, t = -3*s - 1. Does 8 divide (t - (-18)/12)*11*2?
False
Let w = 9 - 41. Let x be 679/4 - (-24)/w. Is 3 a factor of (1 + 1)*x/26?
False
Let y = -13844 + 15796. Is 2 a factor of y?
True
Suppose 3*y = 2*l + 2*l + 460, -3*y - 436 = 4*l. Let c be (l/42)/((-2)/3). Is 3 a factor of (6/10)/((32/120)/c)?
True
Is (1210/(-198) - (-16)/36)*-1764 a multiple of 12?
True
Let x(r) = 69*r**2 - 671*r + 11630. Is 4 a factor of x(17)?
True
Let n(p) be the third derivative of -p**6/120 - 11*p**5/60 + 13*p**4/24 - 11*p**3/3 - p**2 - 13*p. Is n(-13) a multiple of 13?
False
Suppose -5*r - 2*k + 26041 = 0, 14*k = 13*k + 3. Is r a multiple of 136?
False
Let x = -37 - -36. Let f be (272/12)/((-1)/(-3)*x). Let c = f + 77. Is 5 a factor of c?
False
Suppose -8*r - 28 = -r. Let q(u) = -6*u + 10. Let o be q(r). Suppose o*b = 27*b + 1505. Is 19 a factor of b?
False
Suppose -49*k + 276097 = 40*k - 15111. Is 25 a factor of k?
False
Let q = -296 - -299. Is 7 + (-3)/q + 90 a multiple of 6?
True
Let d(b) = 2507*b + 2064. Is d(7) a multiple of 83?
False
Let s = -11116 + 20269. Does 113 divide s?
True
Let r = -42 + 45. Suppose 10*l - 1050 = r*l. Let f = 28 + l. Is 40 a factor of f?
False
Suppose 0 = 6*v - v - 315. Suppose v*w - 65*w - 40 = 0. Does 22 divide 21*w/(-6) - 0?
False
Let d = -331 + 432. Let k = d - -312. Is k a multiple of 15?
False
Let z = -42 + 345. Suppose z = 7*m - 824. Is m a multiple of 36?
False
Let r = 40318 + -24099. Does 7 divide r?
True
Suppose 145*o = 156*o - 20504. Does 4 divide o?
True
Let x(p) = -3*p**3 - 32*p**2 + 5*p + 16. Is x(-13) a multiple of 81?
True
Let z = -678 + 1138. Let s = z - 244. Is 6 a factor of s?
True
Suppose 14*c - 194 = 142. Suppose -c*m + 27*m = 6. Suppose -4*s = 2*d - 40, s - m*d - 22 = -2. Is 6 a factor of s?
True
Let u be ((-1575)/(