s g a multiple of 9?
False
Suppose -3*h + 5*n + 205 = 0, n + 16 = 5*n. Suppose 4*k - h = -7. Suppose k*f - 430 = 12*f. Does 43 divide f?
True
Let s(t) = 464*t**2 + t - 2. Let k be s(2). Suppose 26*b + k = 42*b. Is 2 a factor of b?
True
Let c(z) = -z + 4. Let x be c(0). Let p(j) = -2*j**2 + 49*j - 20. Let v be p(24). Suppose -h + 72 = h + x*b, 5*b + 105 = v*h. Does 15 divide h?
True
Let b be ((-1)/(-1))/(8/24) - -9. Let y = 14 - b. Suppose y = f - 112. Is 13 a factor of f?
False
Let s(j) = -7*j - 10. Suppose -8*o + 4*o - 8 = 0. Let w be s(o). Is 4 a factor of (1 - 7)*(w + 1 + -6)?
False
Let o(z) = -12*z**3 + 2*z - 4. Let p be o(2). Let h = 261 + p. Does 15 divide h?
True
Let p(z) = z**2 - 12*z + 5. Let t be p(-14). Suppose t = n + 109. Does 5 divide n?
True
Suppose -2825 - 1062 = -3*h - 4*q, 4*h - 5141 = 3*q. Does 73 divide h?
False
Let h(n) = -51*n - 252. Is h(-6) a multiple of 9?
True
Suppose 6*y + 2768 = 8*y - 8*l, 0 = 4*y - 2*l - 5466. Is y even?
True
Suppose 0 = 4*n + a - 3*a + 1878, 5*n + 3*a + 2320 = 0. Let w = n - -120. Let m = 554 + w. Is 16 a factor of m?
False
Let v = -915 + 1417. Let c = v - 152. Suppose -5*t - 3*o + 440 = 0, 4*t + 0*o = -2*o + c. Is 26 a factor of t?
False
Let p(q) = q**2 + 9*q + 33. Suppose -188*c = -187*c + 9. Is 2 a factor of p(c)?
False
Let j(g) = -g**3 - 21*g**2 - 12*g - 48. Suppose 0 = -5*i, -84 = 4*n + i - 3*i. Does 17 divide j(n)?
True
Let y be (-408)/(-40)*(3 + -38). Let j = y - -414. Is 19 a factor of j?
True
Suppose -5*t - 30 + 10 = 0. Is 16 a factor of (-434)/t + 59/118?
False
Let r(x) = -573*x - 161. Is 26 a factor of r(-5)?
True
Suppose -91 = 4*l - 3*i + 24, -4*l = -4*i + 116. Let p be l/(-3) - (-2 + (-8)/(-6)). Is 164/p + 39/65 a multiple of 17?
True
Let a = -692 + 696. Does 20 divide (5 - (a + -1658)) + 1?
True
Suppose 0 = -26*g + 30*g + s - 63845, 2*g - 31935 = -3*s. Does 28 divide g?
True
Let k = -167 + 172. Suppose -3*j = 3*i - 228, 1 = -i + k. Does 6 divide j?
True
Let a(y) be the third derivative of -y**6/60 - y**5/60 + y**4/24 + y**3/6 + 7*y**2. Let s be a(-1). Suppose s = -4*g + 85. Is g a multiple of 14?
False
Suppose -41 + 8 = -3*m. Suppose 0*v = 4*h + 3*v - m, 0 = 2*h - 4*v. Suppose 5*p = h*w - 387, 2*p = 2*w - 281 - 91. Is w a multiple of 33?
False
Let g = 393 + -381. Suppose 0*a - 3*a + 48 = 0. Is 8 a factor of 4/a + 897/g?
False
Let a = 26 - -24. Let i be -10*((-170)/a + (-1 - -4)). Is (2 - i - -242)*(-5)/(-10) a multiple of 17?
False
Suppose -4*o - 20 + 28 = 0. Suppose -16 = o*c - 10. Is 20 a factor of (-1 - -2) + 126 + c?
False
Let x be (60/(-50))/(2/(-195)). Let y(a) = -a**2 + 8*a + 183. Let b be y(15). Let f = x - b. Does 5 divide f?
False
Suppose 887*r - 43264 = 874*r. Is 18 a factor of r?
False
Suppose -1824 = -2*v - 2*v. Suppose -831 + 621 = -30*k. Suppose k*t - 3*t = v. Is 19 a factor of t?
True
Suppose -5*n + 496 = 3*n. Let z = n - 58. Let s = 136 + z. Does 35 divide s?
True
Suppose -2*l + l = -2*v - 2301, 5*l = 3*v + 11554. Does 10 divide l?
False
Suppose -13 = 3*x - 25. Suppose -f - 5*w + 14 = 0, 5*f + x*w - 81 = 31. Does 7 divide (-195)/(-12) - 6/f?
False
Suppose -9250 = -2*s - p + 10786, 3*s - 30040 = -5*p. Is 17 a factor of s?
False
Let w(s) = -11 - s + 2 - 2 + 39*s. Let o be w(-4). Let t = o + 240. Is t a multiple of 11?
True
Suppose 5*h - 5*k = -500, 5*k + 92 = -h + 2*k. Let a = h + 171. Is a a multiple of 4?
False
Let s(p) = -16*p + 830. Let f be s(34). Let z be 0/3 + (135 - 1). Let j = f - z. Does 38 divide j?
True
Suppose 2*w + 173*h - 18891 = 178*h, -w = 2*h - 9405. Is 60 a factor of w?
False
Let q = 384 - 603. Let v = 1164 + q. Suppose -4*l = -v + 357. Is l a multiple of 21?
True
Let j(k) = -3*k - 35. Let l be j(-10). Let g be 678 + (-5)/l*-3. Suppose -6*x - 75 + g = 0. Is x a multiple of 19?
False
Let l be (30/(-90))/(10/(-9) - -1). Suppose 3*o - 617 = t - l*t, -2*t + 635 = -3*o. Is 8 a factor of t?
False
Let n be ((-1080)/20)/(1/(-1)). Suppose n + 546 = 3*o. Suppose m + 4*m = o. Is 17 a factor of m?
False
Let u = 38070 - 20346. Does 14 divide u?
True
Let p(u) = -6*u + u**2 + u - 4*u + 6*u. Let g be p(3). Suppose g = -6*m - 3*m + 369. Does 8 divide m?
False
Suppose -4*r + 9240 = 4*t, t + 1519 = r - 791. Does 6 divide r?
True
Suppose -11*u - 1874 - 755 = 0. Let h = -165 - u. Does 12 divide h?
False
Let t(h) = -137 - 67 + 314 + 8*h**2 - 11*h. Is t(13) a multiple of 16?
False
Let h = 5605 - 2691. Is 47 a factor of h?
True
Let l = -43095 - -65686. Is 63 a factor of l?
False
Let o be 1*(2 - -1 - -298). Let p = 791 - o. Is p a multiple of 10?
True
Suppose -35*n = -9153 + 25323. Let v = n + 732. Is 10 a factor of v?
True
Let l(i) = 5*i**3 + 2*i**2 - 4*i - 8. Let c be l(-3). Let h = -90 - c. Does 4 divide h?
False
Let k = 66 + -66. Suppose 10*r - 6*r - 20 = k. Does 10 divide 3 - r - 186/(-3)?
True
Suppose -25*w = 6 + 19. Let d(l) = -640*l - 27. Is 11 a factor of d(w)?
False
Let t(f) = -83*f + 6037. Is t(-4) a multiple of 33?
True
Let y = 11881 + -7468. Is y a multiple of 22?
False
Let j(q) = -q**3 + 17*q**2 - 62*q + 5. Let h be j(4). Is 38 a factor of (2 - 51/21) + (-3410)/h?
False
Let n(f) = 55*f - 164. Let g(u) = 7. Let c(b) = 6*g(b) + n(b). Is c(5) a multiple of 31?
False
Suppose 370 = -2*x - 3*y, -4*y + 8*y + 556 = -3*x. Let j = x + 193. Does 5 divide j?
True
Let m = 10 - 8. Suppose 5*s - s - m*w - 498 = 0, -3*w = 3. Let h = s + 9. Does 19 divide h?
True
Suppose 1356*d = 1363*d - 13860. Is d a multiple of 10?
True
Does 30 divide -26 - (-136)/17 - -1338?
True
Let h be (-988)/(-468) + (-2)/18. Suppose -3*q + 1023 = h*d, -6*q + 5*q = -1. Is d a multiple of 17?
True
Let p(m) = -7*m + 141. Let w be p(-7). Let s = -29 + w. Is 8 a factor of s?
False
Suppose -5*r = -35, -2*r = 5*d - 3295 - 37969. Is d a multiple of 11?
True
Let p(y) = -3*y + 31. Let f be p(9). Let l(o) = o + 2*o**2 - 17 + f*o - o + 3*o. Does 19 divide l(7)?
False
Is -204*(-59 + 25 + -26) a multiple of 90?
True
Let p(l) = 5*l**3 - 2*l**2 - 32*l + 242. Is 8 a factor of p(13)?
False
Suppose 0 = 31*c + 796 + 630. Suppose 5*m = -3*v - 219, -4*v + 0*v - 292 = -5*m. Let u = c - v. Does 3 divide u?
True
Let b(z) = 390*z**3 - z**2 + 4*z - 2. Let j be b(1). Let l = 448 - j. Is 19 a factor of l?
True
Let a(m) = -m + 6. Let r(f) = -f + 1. Let g(b) = -2*a(b) + 6*r(b). Let p be g(-3). Let i = 87 - p. Does 7 divide i?
False
Let t be (5 - 4)/(2/(-2)). Let o(n) = -39*n**2 + 3*n + 3. Let g be o(t). Is 4 a factor of (1 - 9)*g/6?
True
Let n(o) = o**3 + 5*o**2 + 2*o + 10. Let c be n(-5). Suppose 24*w - 15*w - 3168 = c. Is 7 a factor of w?
False
Suppose 2*f - 24 = -5*j + f, -4*j + 16 = 4*f. Suppose t = -j*i + 1965, -4*i + t = 6*t - 1593. Does 9 divide i?
False
Let n be (-1 + 1 - 3) + 1. Let j(h) = h**3 - h - 1. Let r(m) = -4*m**3 + m**2 - 3*m - 3. Let l(v) = -3*j(v) + r(v). Is 30 a factor of l(n)?
True
Let y be (60/(-9))/(4/6). Is (-60)/2*1*5/y a multiple of 3?
True
Let u(c) = c**2 - 29*c + 58. Let t be u(27). Suppose 0 = -t*r - 5*s + 489, 2*r - 237 = -s - 4*s. Is r a multiple of 66?
False
Let y = 2 - -3. Suppose -y*a - 662 = -2*s + 122, 4*s = 4*a + 1544. Does 24 divide s?
False
Let j(m) = 5*m**2 + 4*m - 8. Let h(a) be the first derivative of 2*a**3/3 + 4*a**2 + 3*a + 6. Let u be h(-2). Is 19 a factor of j(u)?
False
Suppose 0 = 3*b, 0 = -q + 3*b + 11018 + 4086. Does 32 divide q?
True
Suppose -183*f = -130*f - 12879. Does 4 divide f?
False
Suppose -38*k + 19490 = -0*k - 28998. Is k a multiple of 8?
False
Let f = -2682 + 6408. Is f a multiple of 27?
True
Suppose -18*g - 159449 = -807629. Is g a multiple of 277?
True
Is (32/(-8) - -6) + 2552 + 0 a multiple of 51?
False
Let y be 4605/9 - ((-28)/(-6) + -5). Suppose -2*x = -b + y, -7*x - 1030 = -2*b - 5*x. Does 37 divide b?
True
Let t(z) be the third derivative of 37*z**4/12 + z**3 - 10*z**2. Let d be t(-3). Let y = -146 - d. Is y a multiple of 19?
False
Does 33 divide (-9288)/86*176/(-6)?
True
Let f = 119 - 114. Is -2*11/f*-20 a multiple of 44?
True
Let v(w) = -3*w**2 - 96*w + 8. Let y be v(-32). Let j(i) = 17*i + 68. Does 3 divide j(y)?
True
Let i(m) = -1044*m + 2117. Is 11 a factor of i(-9)?
False
Let r(t) = -60*t + 8. Let f = 16 - 12. Suppose -2*j + 10 = -f*c, -2 = -3*c + j - 9. Is r(c) a multiple of 16?
True
Suppose -4*g + 200160 = 8*m, -3*g = -50*m + 48*m - 150128. Is g a mult