(-10))/((-2)/20). Let m be 3/((-3)/(-118)) - t. Let a = 38 + m. Does 19 divide a?
True
Let d = -4 + 7. Let f be 2704/39 - (-2)/d. Suppose f = 13*k - 11*k. Is k a multiple of 7?
True
Suppose 4*g + 24 = w, 8*g - 4*g = 5*w - 168. Is w even?
True
Is ((-12)/144*8)/((-2)/59508) a multiple of 38?
True
Suppose -3*c + 22*g = 20*g - 9398, -c + g + 3131 = 0. Is c a multiple of 49?
True
Let b(j) = 2*j - 5. Let d be b(-10). Let x = -28 - d. Let g(o) = -60*o. Is 36 a factor of g(x)?
True
Let p be -3*(-2 - -5)*(-1 - -2). Let z be ((-21)/4)/(639/72 + p). Let n = 315 - z. Is 21 a factor of n?
True
Let n(g) be the second derivative of -g**5/10 - 5*g**4/12 + g**3/3 - g**2/2 - 20*g. Let j be n(-4). Let x = -9 + j. Is 15 a factor of x?
True
Suppose -6*w + 1168 = 400. Is (-448)/w*(-85 - (1 + 0)) a multiple of 9?
False
Suppose l + 3*d - 2078 = 313, 3*l - 7191 = -3*d. Suppose -k = 5*k + l. Does 23 divide (-21)/(-14)*k/(-6)?
False
Suppose -10*b + 19*b + 927 = 0. Let y = 103 + b. Suppose 5*s + 4*m - m - 503 = y, 0 = 4*s + m - 408. Does 10 divide s?
False
Let c(q) = 5*q**2 - 13*q - 32. Let t be c(-7). Let l = 854 - t. Is l a multiple of 22?
True
Does 9 divide (-29)/((-377)/52) - (9/3 - 7700)?
False
Let h(u) = -335*u**2 + 14. Let a be h(4). Is (6/(-2))/(18/a) a multiple of 27?
True
Suppose 5 = o - 12*v + 7*v, -o - 3*v = 3. Suppose o = j - 181 - 109. Does 10 divide j?
True
Suppose 53*g + 811660 = 422*g - 174308. Is g even?
True
Let n(v) = 105*v - 134. Let o(a) = 52*a - 67. Let g(y) = 3*n(y) - 5*o(y). Does 7 divide g(3)?
True
Let b = 1554 + 718. Is b a multiple of 16?
True
Suppose 0 = -2*a - 86 - 26. Let g = a - -24. Is 20 a factor of (-4)/(40/(-125))*g/(-10)?
True
Let p be -187 + ((-410)/(-130) - 4/26). Does 23 divide 10*(-1)/(20/p)?
True
Let h = 23338 + -19378. Does 8 divide h?
True
Suppose c + 71 - 85 = 0. Let j(v) = 3*v**2 - 29*v + 55. Does 8 divide j(c)?
False
Is 21 a factor of ((-13926)/(-110) + 6/(-10))*46?
True
Suppose -700 = -722*i + 715*i. Suppose x = 5*x - 2*r - 194, -x = 2*r - 51. Suppose i = p - x. Does 23 divide p?
False
Let u be (14/5 - 2)*(6 + 9). Let i(b) = -b + 242. Does 23 divide i(u)?
True
Let i(f) = 816*f - 2051. Is 108 a factor of i(8)?
False
Let c = -1132 - -1733. Let d = -551 + c. Is d a multiple of 5?
True
Suppose -d = 5*z - 43, -2*d - 12 = -3*z + 19. Let l = z + -7. Does 5 divide 5/l*1*40/5?
True
Suppose -5*w - 24 + 144 = 0. Suppose 2*a + g + 4 = 5*g, -3*a = 4*g - w. Is a/14 - 542/(-14) a multiple of 13?
True
Suppose 13*s - 225 = 152. Suppose 5*w - v - 2*v = 50, 0 = 3*w - 2*v - s. Is w a multiple of 8?
False
Let j be 5 - (-3 + 6 + 4). Let r(m) = -80*m**3 + 3*m**2 + 3*m + 2. Is r(j) a multiple of 13?
False
Let a be (-1)/(-3) - 49*(-12)/18. Let w = a + -29. Does 2 divide w?
True
Let i be 7 - 3 - (-4 - -8 - 23). Suppose -3*s + 5*z = -173, 4*s + 2*z = 147 + 49. Let p = i + s. Is p a multiple of 21?
False
Let h be 8*(90/(-24) - -4) - -235. Suppose -h - 42 = -3*m. Is m a multiple of 3?
True
Suppose -5*i = 4*j - 23, 0*i = 3*j - 4*i + 6. Let r be j - (-4)/(-1)*(-5)/10. Suppose 24 = p + r. Is 15 a factor of p?
False
Suppose -5*r = -p + 20115, -100597 = 36*p - 41*p + 3*r. Is p a multiple of 10?
True
Let h(q) = 366*q - 64. Let r(w) = -w**3 - 25*w**2 + 87*w + 85. Let b be r(-28). Is 12 a factor of h(b)?
False
Suppose 4*z = 2*r + 6080, 5*z = -0*z - r + 7593. Is 49 a factor of z?
True
Suppose 33*i - 28*i - 165 = 0. Suppose -i*g = -27*g - 6414. Is g a multiple of 67?
False
Does 132 divide (1/3)/(5/69000)?
False
Is (-177)/(-4425) + (-454099)/(-25) a multiple of 38?
True
Let v be (-5)/(50/(-4)) - 7/5. Does 12 divide ((-239)/v + 4)*1?
False
Let y(t) = -151*t - 1034. Does 116 divide y(-103)?
False
Let o(z) = -61*z**3 - 6*z**2 + 6*z + 41. Let x be o(-6). Is 74 a factor of -1 + (4/10 - x/(-25))?
True
Let t(w) = 5*w**3 + 6*w**2 - 6*w + 6. Let g be t(12). Suppose 18*o = -4*o + g. Is o a multiple of 33?
True
Suppose 167*t - 174*t + 203 = 0. Suppose -4*q - 3*k + 471 = 0, -t*q + 4*k = -32*q + 348. Does 4 divide q?
True
Let t(h) = -5*h - 17. Let c(z) = 5*z + 18. Let s(n) = -7*c(n) - 6*t(n). Let j be s(-4). Is 33 a factor of -1 + (-1 - (j + 450/(-3)))?
False
Suppose 32*f - 118944 = 95456. Is 100 a factor of f?
True
Let g(f) be the first derivative of f**4/4 - 10*f**3/3 - 19*f**2 - 28*f + 22. Is g(14) a multiple of 56?
True
Let d(o) = -4*o + 13. Let i(q) = q + 1. Let u(f) = d(f) - 3*i(f). Let s be u(0). Is (668/s)/(40/100) a multiple of 14?
False
Suppose -21194 + 5723 = -9*v. Suppose -2*j + 343 = -v. Is j a multiple of 17?
False
Suppose 0 = 4*j - 21 + 5, 0 = -2*u + 4*j - 16. Suppose -164 = -2*c + 2*g, u = 4*c - 5*g + 6 - 329. Does 66 divide c?
False
Let x = 28777 - 13397. Is x a multiple of 20?
True
Let y be (-188)/(-1786) - (828/38)/(-2). Suppose y*m + 516 = 560. Does 4 divide m?
True
Suppose -13780 = -18*o - 88*o. Does 10 divide o?
True
Let x = 105 + -73. Suppose -2*p + 5*p + 40 = 5*q, 4*q - 4*p - x = 0. Let z(m) = m**3 - 5*m**2 - 6*m - 1. Is 40 a factor of z(q)?
False
Let x(b) = -b**2 - 147*b - 2061. Is x(-52) a multiple of 13?
False
Suppose -31*s + 62*s = 9114. Suppose i = -3*r + 309, 3*i - 609 = -r + s. Is i a multiple of 30?
True
Let w be (0 + -6)*(13 + -1). Let y be w/(-9)*(-1 + 350/8). Let j = y - 227. Is j a multiple of 12?
False
Suppose 19*b = 18*b - 42. Is -3 + b/(-7) + 441 a multiple of 8?
False
Let m be 49/5 - (-48)/240. Does 3 divide 12/m*(5 - 4235/(-22))?
True
Let z = 31556 + -15655. Is 14 a factor of z?
False
Does 3 divide ((-102)/(-68))/(((-27)/(-3084))/3)?
False
Suppose 2*l + 8 = 0, 0 = 3*q + 2*l - 6*l + 8. Suppose 8 - 52 = -2*z. Is (z/q)/((-2)/32) a multiple of 22?
True
Suppose 3*u + 2*h = 8, -3*u = h + 3*h - 10. Suppose 0 = -5*d + 5*r + 2250, 4*d - 552 - 1242 = u*r. Is d a multiple of 14?
False
Suppose -5*m + 2*q = -84, 0*q - 70 = -5*m - 5*q. Suppose -y + 2*y = m. Does 23 divide 9/12 - ((-3060)/y + -2)?
False
Suppose -4*k + 10*k = 30. Is 68 a factor of -3 - 345/k*-3?
True
Suppose 3*t + n = 133638, -3*n = -23*t + 18*t + 222702. Does 70 divide t?
False
Let q(p) = 5*p - 8. Let l be q(2). Does 22 divide l/3 + (-182)/(-6) + 10?
False
Suppose -18 = 3*w + 3*n, -5*w + 7*n = 5*n + 23. Let r(s) = -9*s**3 - 2*s**2 + 12*s + 5. Is 10 a factor of r(w)?
True
Suppose 9*l - 75 = -57. Does 44 divide (-668)/6*(7 - 17/l)?
False
Let q = 3693 - 1501. Does 3 divide 4/(-6) + q/12?
False
Suppose 4*l = -12, -l - 2*l = -5*a + 24. Suppose 2*m = -q + 27, q + a*q - 173 = 5*m. Suppose -q - 17 = -6*t. Does 7 divide t?
False
Let n(o) = 6*o**3 + 3*o**2 - 4. Let y be n(1). Is (-119)/(-2)*(10 + (y - 7)) a multiple of 23?
False
Let p(z) = 269*z**2 - 2714*z - 16. Does 86 divide p(18)?
False
Let y(j) = 64*j**3 + 31*j**2 - 56*j + 84. Does 53 divide y(8)?
False
Let r = -3945 + 4311. Is r a multiple of 183?
True
Let y = 11 - 81. Let z be (-7)/y + 79/10. Does 20 divide ((-412)/(-16))/(2/z)?
False
Suppose -10*k = 12*k - 66. Does 13 divide (-4 - (-1 - (k - -73))) + 5?
True
Let c = 80544 + -41568. Is 42 a factor of c?
True
Let j = 40 - 50. Let v(f) = -f**2 + 4*f + 12. Let c be v(4). Is (0 + c)/(((-5)/j)/1) a multiple of 3?
True
Suppose -6777 = 5*q - 96392. Does 8 divide q?
False
Suppose 5*c = -5*p + 6785, 55*p - 52*p + 2749 = 2*c. Does 22 divide c?
True
Let f(n) = n**3 + n**2 + n + 5. Suppose -12 = 3*b - 4*y, -4*b - 5*y + 14 = -1. Let x be f(b). Suppose -4*i = -w - 113, x*i - 139 = w + 2. Is 17 a factor of i?
False
Let j(b) = 3*b - 4. Let c be j(-13). Let u = c + 47. Suppose -u*a + 5*a = 63. Is a a multiple of 9?
True
Suppose -323 = -4*o + 5*q, -q = 2*q - 3. Let k(n) = 37*n - o*n - 19 + 29*n. Is k(-6) a multiple of 7?
True
Suppose -3*h = 3858 + 1857. Does 5 divide (-1 + 1/(-1))*h/30?
False
Suppose -8 = -4*c + 56. Let o be (-20)/4 + c/4. Let v(m) = -101*m - 8. Does 31 divide v(o)?
True
Suppose 1284 = 36*i - 30*i. Suppose 2*w + i = 232. Is 9 a factor of w?
True
Suppose 43*x - 40*x + 9 = 0. Let b(n) = -3*n. Let g(q) = -30*q + 14. Let f(j) = x*g(j) + 24*b(j). Is 21 a factor of f(14)?
True
Let h(u) be the second derivative of -u**3/2 - 6*u**2 - 8*u. Let y be h(-2). Is ((-100)/15)/(y/162) a multiple of 20?
True
Let y(c) = -c**3 - 12*c**2 - 10*c + 4. Let p be y(-10). Is 12/(p/(-1432))*1/1 a multiple of 17?
False
Suppose -r - 54*j + 2504 = -53*j, 2*r - 4993 = -5*j. Does 19 divide r?
False
Suppose -115 = 