. Let a(m) = 5*m**3 + 50*m**2 - 74*m + 15. Let r(v) = -5*a(v) - 8*t(v). Does 6 divide r(12)?
False
Suppose 1015 = 45*c - 470. Does 2 divide c?
False
Let j(m) = m**2 + 4*m - 15. Let h be (-4)/(-2) - ((-1 - -3) + -2). Suppose 34 = -4*y - 3*l, h*y - 5*l + 3 + 1 = 0. Is j(y) a multiple of 2?
True
Suppose -146*o - 270 = -140*o. Let r = o + 88. Is r a multiple of 4?
False
Let l = 29333 - 11903. Is 15 a factor of l?
True
Let q be 1088/(-26) - (-4)/(-26). Let f = q - -41. Let o = f - -15. Is 4 a factor of o?
False
Let b(n) be the third derivative of 23*n**7/720 + n**6/144 - 11*n**5/20 + 22*n**2. Let w(y) be the third derivative of b(y). Does 7 divide w(1)?
False
Let m = 2327 - -1159. Does 7 divide m?
True
Suppose -3*l = 31*l - 41888. Is 16 a factor of l?
True
Suppose 115*s - 124*s + 594 = 0. Suppose -s - 194 = -5*o. Does 11 divide o?
False
Let d be -1 + -3*(-20)/15. Suppose -m = -3*x + 5 + 73, -d*m - 109 = -4*x. Is 15 a factor of (12/10)/(51/x - 2)?
True
Let f(l) = 9*l**3 + 10*l**2 + 15*l - 109. Does 18 divide f(6)?
False
Let u be (59 - 0/(-5))/((-3)/(-51)). Let c = u - 571. Does 19 divide c?
False
Let p be 3/27 + 483/(-54)*-2. Suppose p*d - 20*d = -236. Is d a multiple of 3?
False
Suppose 5*k + 563 = 548, 5765 = 2*l + 3*k. Is 6 a factor of l?
False
Let c be 3*2/3 + 2. Suppose 34 = c*f - 5*q, 3*f + 4*q = -0 + 10. Does 3 divide f?
True
Suppose 61*i - 113*i + 71*i = 229216. Is 92 a factor of i?
False
Let u(p) be the second derivative of p**5/60 + 11*p**4/24 - 13*p**3/3 + 3*p**2/2 + p. Let a(n) be the first derivative of u(n). Is 9 a factor of a(-17)?
False
Let k(i) = 28*i + 5*i + 54*i + 26 - 3*i**2. Does 61 divide k(22)?
True
Let w(g) = -10*g + 75. Let o be w(7). Suppose o*c - 5*k = -4*k + 2376, 1 = -k. Is 19 a factor of c?
True
Let g = 413 - 642. Let k = g - -880. Is 31 a factor of k?
True
Suppose -6*q + 2 + 166 = 0. Let h be ((-36)/(-20))/((-2)/(-30)). Suppose h*y - q*y + 248 = 0. Is 40 a factor of y?
False
Let l(s) = 417*s**3 - 12*s**2 + 8*s + 5. Let r be l(5). Suppose 0 = -11*j - 31*j + r. Is 13 a factor of j?
True
Suppose 15*c = 236 + 64. Suppose 0 = -5*o + 2*x + 10, 7*o + 4*x = 2*o - c. Suppose o*l = -2*l + 4*a + 38, l - a = 17. Is l a multiple of 2?
False
Let m = -1911 + 2436. Does 25 divide m?
True
Let m = 26 + -19. Let o(z) = 7*z**2 + 552 - 578 - m*z + z**2. Is 13 a factor of o(-4)?
True
Suppose -2*w + 47 = 11. Does 7 divide 210/84*w/5?
False
Is (-213)/(-3) - (-338)/26 a multiple of 2?
True
Let p(r) = 6*r**3 - 1078*r + 46*r**2 + 1085*r - 51*r**2. Suppose 4 - 19 = -5*u. Does 46 divide p(u)?
True
Let f = -55 - -67. Is (f/36)/(((-2)/447)/(-2)) a multiple of 7?
False
Suppose 5*b - 8*b + 6 = 0. Suppose 2*j = -3*p + 125, 2*p = 2*j + b*j + 94. Suppose 0 = -47*t + p*t + 320. Is 12 a factor of t?
False
Let j(g) = 5 - g**3 + g + 2*g**2 - 12*g**2 - 18 - 3. Let l be j(-8). Is 19 a factor of (l/3)/(14/(-21))?
True
Let c(p) = p + 8. Let b(r) = r - 1. Let n(d) = -2*b(d) + c(d). Let j be n(5). Is 25 a factor of ((-1008)/20)/(-2)*j?
False
Suppose -4*p = -6*p + 2123 + 3027. Is p a multiple of 14?
False
Let t = -27 - -30. Suppose t*s = -0 + 84. Does 7 divide (-4)/14 + 288/s?
False
Let v be 676/(-34) - 0 - (-4)/(-34). Suppose n = -67 + 461. Is 28 a factor of 10/v + n/4?
False
Suppose 5*l = 4*h - 5*h - 38, -3*l - 67 = 4*h. Let d(o) = -4*o + 11. Let n be d(h). Let u = -47 + n. Is u a multiple of 8?
True
Let s(b) = b**3 - 7*b**2 + 11*b - 7. Let g be s(7). Suppose g = 3*r - t - 58, 20 = 5*t. Does 18 divide r?
False
Suppose -1 - 14 = -5*h. Suppose j - 39 = 5*f, -3*f - 8*j - 29 = -h*j. Does 3 divide 94/8 + (-2)/f?
True
Let p = -174 - -176. Suppose -4*k + 82 = p*x - 0*k, 4*x - 149 = -3*k. Is x a multiple of 7?
True
Let y = 76 - 146. Let f = -194 - -322. Let l = f + y. Does 12 divide l?
False
Suppose 3*k - v + 18 = 0, 4 = -k + 2*v - 2. Let i be (-134)/4*(k + 4)*1. Suppose -59 = -3*s - 2*u, -4*s + 2*u + i = -21. Is s a multiple of 7?
True
Let x = 1063 - 89. Suppose -4*b = -p + 212, 4*p + b - x + 41 = 0. Does 8 divide p?
True
Is 10 a factor of -5804*11/(-440) + (-2)/20?
False
Suppose -x + 3971 = k, -575*x = 4*k - 580*x - 15857. Is k a multiple of 37?
False
Suppose -3*a + 1791 = -0*a. Suppose 4*c = -89 + a. Let y = -90 + c. Is 18 a factor of y?
False
Suppose 2*c + 10*x = 5*x + 27455, -3*c + 3*x + 41151 = 0. Does 40 divide c?
True
Suppose 4*a + 49 = -v - 6, 20 = -a + v. Let q(z) = -z**2 - 18. Let y be q(-6). Let g = a - y. Is 4 a factor of g?
False
Let k be (12/10)/((-3)/15). Let y(b) = 21 - 10*b - b**3 + 20 - 47 - 2*b**3 + 2*b**3 - 5*b**2. Does 30 divide y(k)?
True
Suppose -8*t - 12 = -12*t. Let h be 75/2*(-4)/t. Let k = -34 - h. Does 3 divide k?
False
Let j(i) = 262*i - 9. Let r(c) = c**3 + 4*c**2 + 2*c - 3. Let f be r(-2). Is j(f) a multiple of 11?
True
Suppose -1599042 = -348*a + 2028162. Is a a multiple of 7?
True
Suppose -105*i + 110*i = 10, -3*q = -2*i + 16. Does 15 divide ((-18088)/(-95))/(q/(-10))?
False
Does 3 divide 6704/7 - (4 + (-180)/42)?
False
Let w be 7/(-35) - 2/((-30)/27633). Suppose w = 16*m - 142. Does 24 divide m?
False
Suppose 0 = -4*a + l - 99 - 97, 4*l - 98 = 2*a. Let b = a - -37. Does 9 divide (412/(-6))/(3 + 44/b)?
False
Let f(h) = h**3 + 11*h**2 + 2*h + 24. Let t be f(-11). Is 11 a factor of (43 - (-10)/10)*t/4?
True
Let q = 1912 + -4362. Let v = 4375 + q. Does 106 divide v?
False
Let u(c) = c**3 + 11*c**2 + 5. Let p be u(-11). Suppose -844 = -3*r - r - 2*x, -2*r - p*x + 406 = 0. Let j = -137 + r. Is 35 a factor of j?
False
Let x = 14328 - -14701. Is x a multiple of 22?
False
Let a(r) = 6*r + 26. Let p(y) = 11*y + 53. Let j(g) = -5*a(g) + 3*p(g). Let n be j(-8). Does 2 divide n - (-3 - (-5 - -3))?
True
Suppose 5*x + 50 - 55 = 0, 2*g + 2*x = 3300. Is 13 a factor of g?
False
Let v(d) = d**2 - 6*d - 13. Let t be v(10). Suppose -z - i - 39 = 2*i, z - 3*i = -t. Let u = -17 - z. Is u a multiple of 6?
False
Let n(a) = -489*a - 1927. Is n(-17) a multiple of 103?
True
Suppose 5*s - p = 26387 - 6832, -2*s + 7819 = -p. Suppose 53*j = 45*j + s. Is j a multiple of 9?
False
Let p(i) = 9*i**3 - 5*i**2 - 4*i + 27. Let x be p(-5). Let t = 1893 + x. Is t a multiple of 10?
True
Suppose 2*h - 5 = -6*g - 23, -3*h - 2*g + 1 = 0. Suppose 127 = 4*c + x, h*c - 101 = -0*x + 5*x. Does 9 divide c?
False
Let w(c) = c**3 + c**2 + 7*c - 4. Let r be w(3). Is r + 20 - (1 + 2) a multiple of 2?
True
Suppose 9*f + 55063 = 4*t, 4*f = -5*t + 87449 - 18727. Is t a multiple of 5?
True
Suppose -b = -3*v + 17, 4*b - 7*b = 3*v - 21. Suppose 179 = -v*f + 3*f - g, -2*f - 5*g = 115. Let w = f - -193. Does 7 divide w?
True
Suppose -577342 = -63*k - 22*k + 921378. Does 152 divide k?
True
Let c(v) = 17*v + 789. Is 22 a factor of c(-21)?
False
Let r = 65195 - 44120. Does 281 divide r?
True
Does 5 divide (-3296)/24*375/(-50)?
True
Suppose 37 = -4*c - 199. Let l = 246 + c. Is l a multiple of 17?
True
Suppose 3*a - 7754 = -2*p + 4*a, 0 = 3*p - a - 11630. Is p a multiple of 12?
True
Let y = 4401 - 1137. Is y a multiple of 19?
False
Suppose 3*z + 27950 = 4*b, -3*b = 111*z - 116*z - 20946. Does 38 divide b?
True
Let r = 526 + -318. Let n = r + 648. Is 8 a factor of n?
True
Suppose 109*m - 15106 + 5623 = 0. Is m a multiple of 2?
False
Let m(f) = 4*f**2 - 6*f - 15. Let a be m(3). Suppose 0 = 3*i - a*k - 361 - 626, 3*k = -6. Is 49 a factor of i?
False
Let o(d) = 17*d - 266. Let y be o(16). Let x(b) = 50*b + 20. Does 16 divide x(y)?
True
Suppose 298 = -117*x + 2755. Let p(g) = -g - 9. Let q be p(-8). Is (-2)/((-2)/(x + q)) a multiple of 2?
True
Let u(z) = 1275*z**2 + 638*z - 639. Is u(1) a multiple of 13?
True
Let p(l) = -6*l**3 - 47*l**2 + 39*l + 112. Let x be p(-25). Suppose 0 = -23*t - 45*t + x. Does 12 divide t?
False
Suppose 4*q - 225 = 1423. Let l = q + -286. Is 2/(3/l*1) a multiple of 28?
True
Suppose -73*j + 77*j + c - 26845 = 0, 0 = -2*c + 10. Is 25 a factor of j?
False
Suppose 0 = 7*k - 6*k - 1624. Does 29 divide k?
True
Let r(d) be the third derivative of d**8/6720 - d**6/90 - 5*d**4/8 - 27*d**2. Let p(m) be the second derivative of r(m). Does 32 divide p(4)?
True
Let i(c) = -4*c - 52. Let g be i(-5). Let s = 258 - -53. Let w = g + s. Does 30 divide w?
False
Suppose -2*p + 3*p = 2*o + 13, -3*p = 4*o + 1. Suppose -3*y + 251 = 2*s, 3*y = p*s - 347 - 333. Is s a multiple of 21?
False
Let i(o) = 