2 = 2*p. Suppose -n = g*t - 2039, 3 = 5*n + 8. Is 24 a factor of t?
False
Let l(k) = -k**2 + 5. Let v be l(-3). Let r = v - -9. Suppose -6*s + 294 = -3*s + 3*t, -r*s + 474 = -3*t. Does 12 divide s?
True
Suppose 86*g + 155696 = 89*g - 4*t, 0 = 3*g - 5*t - 155695. Is g a multiple of 150?
True
Suppose -4*v - h = -9*v + 20, -2*v = -4*h + 10. Suppose -v*y = -12*y + 1568. Does 28 divide y?
True
Let x be ((-146)/(-3))/(10/(-30)). Suppose 0 = 48*c - 30*c + 2304. Let z = c - x. Is z a multiple of 9?
True
Let g(r) = -11*r - 3. Let s = 60 - 65. Let p be g(s). Suppose 2*n = -2*n + p. Does 4 divide n?
False
Suppose -5*j - 5*l = -64805, -8275 + 60123 = 4*j + 2*l. Does 87 divide j?
True
Is 4 a factor of 258/(-86)*(-4)/(-6)*-652?
True
Does 71 divide (2 - 7/(-2))/((-199)/(-95122))?
False
Suppose 5*g + 877*y = 880*y + 155788, -g = -3*y - 31148. Does 7 divide g?
False
Let o be ((-27)/36)/(1/88). Let w = o + 120. Does 7 divide w - (-3 - -2) - (5 + -2)?
False
Suppose 5*a = 2*a - 3*d - 12, 4*a - 2*d - 14 = 0. Let k(g) = -3 + 7*g + 1 + 3*g. Does 2 divide k(a)?
True
Let d(l) = 56*l**2 - 4*l - 9. Let j be ((-9)/(-3))/(1 + -2). Is 13 a factor of d(j)?
True
Suppose -614 = 4*a + 5*j, -4*j - 466 = 3*a - 3*j. Does 7 divide 3536/a*(0 - 3)?
False
Suppose 109 = 14*z + 25. Suppose 2*k - 2*p = 86, -z*k - 4*p + 86 = -4*k. Does 14 divide k?
False
Let n = -537 - -852. Let w(u) = u**3 - u**2 - u. Let p be w(2). Suppose d = -p*d + n. Does 15 divide d?
True
Let t = -26 - -23. Let k(r) = r**2 + 2*r + 3. Let a be k(t). Suppose -a = -3*u + 51. Is u a multiple of 3?
False
Suppose -4*y - 2*r = -18, 3*y + 0 = -r + 12. Let z(m) = -205 + y*m - 12*m**2 + 190 - 7*m**2 + 5*m + m**3. Is z(19) a multiple of 33?
False
Suppose -2 = -k - v, 4*k + 3*v + 2 = 15. Suppose z - 6 = k*z. Is 6 a factor of z/(-4) + 87/4?
False
Suppose 3 = 6*s - 3. Suppose -4*j + 2*w = 2, j - 4*w = -5 + s. Suppose 4*i + 5*l - 141 = 0, -2*i - 2*l + 70 + 2 = j. Does 13 divide i?
True
Let q be 5 + -1 + 2/1. Does 14 divide 392/(-42)*(-207)/q*1?
True
Let m = -899 + 5940. Does 42 divide m?
False
Let n = 71035 - 45109. Does 29 divide n?
True
Suppose -4*w + 2*c + 11930 = 0, 4*w - 4*c = -76 + 12012. Suppose 4*g = 5*k - w, -k - 2*g + g = -589. Does 65 divide k?
False
Suppose a - 2*a = -4*x - 43, 3*x + 42 = 4*a. Let m(s) = 6*s**2 + 33*s + 46. Is 11 a factor of m(x)?
False
Let s = 418 + -416. Does 26 divide 341 + s - (2 + 3 - 0)?
True
Let u = 127 - 62. Let v = -37 + u. Does 6 divide (45/36)/(1/v)?
False
Let a(s) = s**3 - 21*s**2 - 23*s + 1. Let g be a(22). Is (14/g)/((-2)/162) a multiple of 5?
False
Let o(i) be the second derivative of -5*i**3/6 + 21*i**2/2 + 26*i. Let v be o(-7). Is (6*(-1)/(-2))/(3/v) a multiple of 14?
True
Let j(q) = 2*q + 58. Let p be j(-27). Suppose -17*c = -16*c + p*r - 187, -5*c + 2*r + 869 = 0. Does 64 divide c?
False
Let q(x) = 88*x + 65. Let h be q(-6). Let s = h - -485. Is 10 a factor of s?
False
Let j(l) = -l**2 + 4*l + 15. Let c be j(6). Suppose 0 = -2*m - 6*g + c*g + 233, 5*m + 2*g = 566. Is 14 a factor of m?
True
Let p(c) = 4*c**3 - 14*c**2 + 2*c + 5. Let l be p(7). Let o = l + -432. Is o a multiple of 6?
False
Let s(c) = -c**2 + 47*c + 13. Let h(m) = m**2 + 12*m + 14. Let x be h(-12). Does 52 divide s(x)?
False
Let g(t) = 0*t + 13*t - 11 + 17*t + 20*t + 17. Is g(9) a multiple of 57?
True
Let v(m) = m**2 + 2*m + 19. Let a = -70 - -79. Let r(b) = -b**3 + 10*b**2 - 11*b + 18. Let i be r(a). Does 19 divide v(i)?
True
Suppose 0 = -26*d + 32*d + 84. Does 5 divide 8/d - 444/(-42)?
True
Let q be (-683 + (-1 + 0)*3)*-1. Suppose 9*p - q = -5*p. Is 6 a factor of p?
False
Let m(o) = 4*o - 2*o**2 + o**2 + 3 + 0. Suppose 0 = -2*l + 4*v + 8, -6*l - 5*v = -3*l - 12. Is 2 a factor of m(l)?
False
Suppose -50 = -3*b + 4*s - 18, 4*b = -3*s + 51. Is (0 + 40)*(4 + (-21)/b) a multiple of 18?
True
Let t = -40 + 45. Suppose 0 = t*l - 2*b + 7 + 7, 2*b - 8 = 2*l. Is (-150)/4*(20/(-15) + l) a multiple of 21?
False
Suppose -18 = 2*c - 28. Suppose -a = -c*a + 16. Is 13 a factor of (a/1 + -2)*41?
False
Let n = 15215 - 7457. Is 18 a factor of n?
True
Let w(p) = 11*p**2 + 12*p + 19. Let m(o) = -12*o**2 - 14*o - 22. Let j(r) = 5*m(r) + 6*w(r). Let d be 0 + -4 + -6 + 8. Is j(d) a multiple of 17?
False
Let x be 2*-1 + (4 - 2) + 192. Let g = 320 - x. Is 16 a factor of g?
True
Suppose 0 = 14*k - 2126 - 25062. Does 31 divide k?
False
Let t = -334 + 502. Let f(l) = 16*l**3 - 8*l**2 - 8*l. Let u be f(-1). Is 12 a factor of ((-8)/u*-2)/((-1)/t)?
True
Let t(r) = 316*r + 518. Let y(h) = 106*h + 172. Let f(n) = 3*t(n) - 8*y(n). Does 72 divide f(14)?
False
Suppose -34*f + 35*f = 273. Let v = f + -158. Does 13 divide v?
False
Let v = -37 - -40. Suppose 815 = v*y - 61. Suppose 3*t - 192 = -4*x + 108, -4*x - t = -y. Is 18 a factor of x?
True
Suppose 73099 = 52*a - 56381. Is 13 a factor of a?
False
Let d = -874 - -1594. Suppose -d = -5*k + k. Is k a multiple of 18?
True
Suppose 9*s - 27034 = 48944. Is s a multiple of 63?
True
Let i(a) = 6*a + 84*a + 14 - 12 - 2. Let u be 12/7 - 4/(-14). Does 36 divide i(u)?
True
Let b be 6/(-2)*(4 + (-35)/7). Suppose o + b*v = 175, -o + 199 = 3*v - 8*v. Let l = o + -127. Is l a multiple of 19?
True
Let t be (-20)/80*(-15944)/1. Suppose -9*u + 3511 = -t. Does 50 divide u?
False
Let q be ((-5)/(20/138))/(45/(-210)). Suppose q*z = 169*z - 88. Is 11 a factor of z?
True
Suppose 375804 = 22*c + 83*c + 129*c. Is c a multiple of 6?
False
Let q(d) be the first derivative of 6*d**3 + 5*d**2/2 + 33*d + 63. Does 55 divide q(-7)?
True
Suppose 0 = -4*t + 2*t + k + 387, 0 = 5*t + 4*k - 987. Let d = -34 - -24. Is ((-12)/9)/(d/t) a multiple of 2?
True
Let f(r) = -117*r + 2601. Does 63 divide f(-70)?
False
Let b(t) be the second derivative of -t**4/12 + 2*t**2 + 23*t. Let m be b(-3). Is 1/(m - 828/(-165)) a multiple of 6?
False
Let p(j) be the third derivative of -j**6/20 - j**5/15 + j**4/3 + 3*j**3 - 110*j**2. Is 12 a factor of p(-3)?
True
Let r(m) = 26 - 12*m - 42 - 12*m**2 - m**3 + 26. Let v be r(-11). Suppose 2*z - v = 7. Is 6 a factor of z?
False
Let s(g) = -2*g**2 - 15*g + 37. Let m be s(-9). Let i(o) be the third derivative of o**6/120 - 3*o**5/20 + 5*o**4/24 + 25*o**3/6 + o**2. Does 25 divide i(m)?
True
Let s(l) = 20*l + 91. Let z be s(-30). Let a = -193 - z. Is a a multiple of 24?
False
Suppose 155*v - 1556569 + 584427 - 1140818 = 0. Is v a multiple of 8?
True
Suppose r + 2*r + 2*r = 0. Suppose -2*w - 3*y + 8*y - 17 = r, w = -4*y + 24. Suppose 2*n = v - 26, 0 = 5*n - w*n. Is 26 a factor of v?
True
Suppose -k = a - 3, -14*k + 4*a = -16*k + 12. Suppose 61*q - 67*q + 582 = k. Is q a multiple of 3?
False
Does 219 divide 104578/8 + ((-342)/24 - -14)?
False
Let s be -1 + (2 - 1) + 36/(-18). Let l be s/(-3) + (-16)/6 - -3. Is 6*(l/6*118 + -1) a multiple of 28?
True
Suppose -4*c + 2*r = 20, -2*c - r - 5 = c. Let a(m) = 24*m**2 + 13*m + 33. Is a(c) a multiple of 6?
True
Suppose 222*n = 221*n - 5*y + 7510, 0 = 4*y - 4. Does 19 divide n?
True
Suppose 474*d = 11*d - 2479066 + 8356851. Does 39 divide d?
False
Let f be (-8 - (-350)/40) + (-5938)/(-8). Let m = -94 + f. Does 27 divide m?
False
Let j(b) = b**2 - 6*b. Let n be j(6). Suppose -3*a = 3*t - 3249, n = 5*a - 0*a - 2*t - 5422. Does 17 divide a?
False
Let d(m) = 11*m**2 - 93*m - 1236. Does 17 divide d(-22)?
False
Let f = 84 + -84. Let s be (-948)/10 - (4/20 + f). Let p = s + 162. Is p a multiple of 9?
False
Let h(n) be the first derivative of 15*n**2 - 41*n + 3204. Suppose 0 = 2*u - 3*u + 9. Does 17 divide h(u)?
False
Let b be 1/(((-6)/(-4))/3). Let p be (16/20)/(4/(-30)) - (-76 - 4). Suppose -p = -b*u + 4. Is u a multiple of 31?
False
Let r(k) = 277*k**2 - 3*k + 165. Does 8 divide r(-8)?
False
Let g be (-56)/(-30) - (117/135 - 1). Suppose 3*h - 2*r = 1396, -r = 4*h - g*r - 1853. Is 11 a factor of h?
True
Let t(u) = -6*u**2 + 17*u**3 + 15 - 10*u - 4*u**3 - 18*u**3. Does 54 divide t(-5)?
True
Is (-9)/(-5)*(-2 + (-60)/45) - -208 even?
True
Suppose 32 = -3*w + i + 4*i, -5*i = -5*w - 40. Is 4 a factor of w - (-4*(-66)/(-3) - -4)?
True
Let g(c) = c**3 - 41*c**2 + 16*c - 142. Let j be g(41). Let h = -385 + j. Is 2 a factor of h?
False
Let m(p) = p**3 + 8*p**2 - 3*p - 1. Let x = -13 - -7. Does 17 divide m(x)?
False
Let n(l) be the third derivative of -l**5/20 + l**4/8 + 3*l**3 - 4*l**2. Let