24?
True
Let m = -36 - 53. Let r = -36 - m. Suppose -4*a = -r - 7. Does 4 divide a?
False
Let x(y) = -13*y - 136*y**2 - 4 + 271*y**2 - 128*y**2. Does 20 divide x(8)?
True
Suppose 0*a - 20*a - 414000 = -140*a. Does 46 divide a?
True
Suppose 2*o + 15*l - 23 = 10*l, 5*o - 3*l - 11 = 0. Let v = o - -57. Does 24 divide v?
False
Suppose 4*j - 4 = 12. Does 48 divide 575 - (16/j + -5)?
True
Suppose -5*x - 5*x = -2040. Suppose 3*o - 5*r = x, -8*r + 192 = 3*o - 9*r. Is 9 a factor of o?
True
Let g(c) = 2633*c + 63. Let f be g(1). Suppose -5*v = -699 - f. Does 7 divide v?
True
Suppose 0 = 3*a + 5*l - 4635 - 5957, 2*a - 7066 = -l. Is a a multiple of 19?
True
Let g(w) = -w**2 + 11*w + 29. Let t be g(13). Suppose t*a + 9 = 2*n, n = -2*n + 3*a + 9. Let z(u) = u + 59. Is z(n) a multiple of 17?
False
Let h(u) be the second derivative of u**4/6 + 19*u**3/6 + 32*u**2 + 2*u - 6. Does 12 divide h(-9)?
False
Let s be (-15)/13 - 26/(-169) - -3. Suppose 900 = 3*i - i - o, -5*i - s*o + 2241 = 0. Is 7 a factor of i?
False
Suppose -3*u + 78 = -63. Let q = u + 176. Let x = q + -115. Is x a multiple of 20?
False
Let a be (-1 - (-6)/15*5)*15. Does 11 divide (-12)/a*(-40)/(-16) - -288?
True
Let k(b) = -b**2 + 88*b + 2868. Is k(91) a multiple of 176?
False
Let g be ((-3)/2)/((57/812)/(-19)). Does 48 divide (g/(-87))/((-2)/144)?
True
Suppose 0 = -4*y + 8, -2*f + y + 15 + 47 = 0. Suppose -f = 5*i - 382. Suppose 0 = -k + i + 41. Is k a multiple of 25?
False
Let s(o) be the second derivative of o**4/12 + o**3/2 - 17*o**2/2 - 24*o. Let f be s(-7). Let d(c) = c**3 - 10*c**2 - 4*c + 11. Is d(f) a multiple of 22?
True
Suppose m + 29 = 2*i, 5*m - 63 = -2*i - i. Let a = 3537 - 3540. Is 8 a factor of (-248)/a*24/i?
False
Let o(y) be the first derivative of -y**4/2 - 2*y**3 - 11*y**2 - 15*y - 98. Is 9 a factor of o(-6)?
True
Let m(w) = -3*w - 2. Let z be m(1). Let h(o) = -27*o - 19. Let v be h(z). Suppose -v = -3*q + 64. Does 13 divide q?
False
Let a(p) = -p - 7. Let w(r) = r - 16. Let u be w(6). Let k be a(u). Suppose t = k*t - 82. Is t a multiple of 5?
False
Let r(m) = -m**3 + 9*m**2 - 7*m + 7. Let z be r(6). Suppose 2 = c, -5*k - z + 8 = -5*c. Let v(w) = 2*w**2 + 20*w. Is 4 a factor of v(k)?
False
Let p(t) = -14*t + 26. Let h be p(-2). Suppose 5*y - 4*l = 213, y - h = -12*l + 9*l. Does 15 divide y?
True
Let y be (-84)/20 + -1*1/(-5). Let j be 26/y + (-20)/(-40). Is ((-4)/j)/((-4)/1608*-4) a multiple of 15?
False
Suppose 369*f = 396*f - 117153. Is 8 a factor of f?
False
Suppose 58247*l = 58228*l + 289275. Is l a multiple of 75?
True
Let s = -29278 + 42032. Is 7 a factor of s?
True
Suppose -3*h - 5*l = -90, 163 = -h + 6*h + 4*l. Let v = -18 + h. Suppose 12*p + 740 = v*p. Does 37 divide p?
True
Suppose 0 = -3*g + 2*n + 80 - 9, -2*g + 59 = n. Suppose -30818 = -g*t - 11*t. Is t a multiple of 10?
False
Suppose 12*h - 128 = -704. Let c be (h/(-5))/(-5*4/(-450)). Suppose -5*x - c = -2*p + 69, -5*p - x = -699. Is p a multiple of 16?
False
Suppose 264 + 64 = -4*u. Let s = 48 + u. Does 15 divide (s/8)/(5/(-160))?
False
Suppose 3*u = -3*n + 78687, -328*u + 327*u + 78681 = 3*n. Does 109 divide n?
False
Let r = -4 - -32. Is (47/4)/(7/r) a multiple of 8?
False
Suppose -4*l = -m + 27, 10 = -5*l + 5. Suppose c = 160 + m. Does 10 divide c?
False
Let q be (-3 + 16/4)*3. Suppose -30 = q*t - 24. Is 3*(-92)/12*t a multiple of 4?
False
Suppose -27 = 2*m - 85. Let f(y) = -m*y**2 + 37*y**2 + 3*y - y**3 + 3 + 3. Is f(8) a multiple of 15?
True
Is 97/((-9603)/18) + 240341/11 + 1 a multiple of 46?
True
Does 144 divide (-2 - (-65)/30)/((-16)/(-545568))?
False
Suppose -1 = -k + 2. Suppose -3*z = 3*o - 63, 4*o + 12 = k*z - z. Suppose -z*q + 15*q = -63. Does 7 divide q?
True
Suppose 0 = -227*q + 235*q - 280. Suppose -r = -v - 214, 38*r - q*r = 5*v + 650. Is r a multiple of 3?
True
Let d = 546 - 545. Does 3 divide -4 + 3 + d - -203?
False
Suppose 46850 + 6844 = 6*t. Is t/209 + (-2)/(-11) a multiple of 6?
False
Let u = 160 - 99. Suppose 0 = -5*f + 467 + 78. Let b = f - u. Does 8 divide b?
True
Suppose q + 10 = -f, -163*q + 20 = -164*q - 3*f. Let a(m) = -10 + 5*m**2 + m + 1 + 1. Does 16 divide a(q)?
True
Let c be -4*5/60*3*-258. Let w = c - 139. Is w a multiple of 9?
False
Suppose 2*k = -5*h - k + 342, -4*h = -5*k - 281. Suppose -176*p = -164*p. Suppose -r + p*w = 2*w - h, -w = -2*r + 123. Is 9 a factor of r?
True
Let i = 8343 + -2664. Is 51 a factor of i?
False
Let z(h) = 13*h**3 - 7*h**2 - h + 64. Let a be z(5). Suppose -q - 2985 = -4*r - 6*q, 2*r - 3*q = a. Is 25 a factor of r?
True
Suppose 5*y = 23 - 48. Does 5 divide y/((3/9)/(-6 - -3))?
True
Let j(i) be the third derivative of 5*i**5/4 + i**4/8 + 5*i**3/6 - 17*i**2. Let w be j(-2). Suppose -5*v - w = -18*v. Does 3 divide v?
False
Let v = -3430 + 28783. Is 27 a factor of v?
True
Let y(r) = 5*r**2 + 30*r + 7. Is 126 a factor of y(35)?
True
Suppose -150*y = -175*y + 251075. Is 11 a factor of y?
True
Suppose -6*l = -4*f - 5*l - 991, 5*l = 15. Let i = f + 692. Does 16 divide i?
False
Let t be (-1 + 31)/(4/30). Suppose -34*s - t = -29*s. Let l = -34 - s. Is 5 a factor of l?
False
Let x(c) be the second derivative of 4/3*c**3 - 11*c**2 - 17/12*c**4 + 0 - 13*c + 1/20*c**5. Is 19 a factor of x(17)?
True
Let o(p) be the second derivative of p**5/10 - p**4 - p**3 + p**2/2 - 2*p - 1. Does 19 divide o(7)?
True
Let m(g) = -2*g - 19. Let q be m(-12). Suppose 2*i = -3*i + 3*p - q, 3*i = -p - 17. Is -1*((i - -4) + (-48)/4) a multiple of 3?
True
Let y be (148/16)/(11/44). Suppose 54 = l - 4*h, -3*l - y = 5*h - 148. Does 6 divide l?
True
Let a = -741 + 1115. Is 11 a factor of a?
True
Suppose 44068 = 6*k - 49828 - 36520. Is 25 a factor of k?
False
Let s = -767 + 941. Suppose -s*g = -173*g - 1566. Does 29 divide g?
True
Suppose -14*c = -6*c - 221952. Suppose -804 - c = -39*x. Is 13 a factor of x?
False
Let m = 2325 + 72. Suppose -4*o = 4, -4*n - 5*o + m = -2*o. Suppose -4*t - n = -9*t. Does 12 divide t?
True
Suppose 5*n - 15 + 5 = 0. Suppose 4*t - 55 = 5*l, n*l + 27 = 2*t - l. Does 2 divide t?
False
Let x = 78985 + -33427. Is 33 a factor of x?
False
Let k = -231 - -238. Does 20 divide (0 + -12)/(k/420*-4)?
True
Suppose 0 = -6*g + 9873 + 2643. Is 7 a factor of g?
True
Suppose 22*z - 5036 = 275332. Is z a multiple of 54?
True
Let w(r) be the third derivative of r**5/60 + r**4/6 - 13*r**3/6 + 1778*r**2. Let l be (-22)/4*-1*-2. Does 16 divide w(l)?
True
Suppose 216 - 606 = -3*i. Suppose i*b - 3528 = 123*b. Does 15 divide b?
False
Let k = 118 + -142. Let v(r) = r**3 + 24*r**2 - 13*r - 38. Does 8 divide v(k)?
False
Suppose 2*q - c = 2*c + 66, 2*q + c - 66 = 0. Let s = q + -30. Suppose 5*u = 5*w - 885, 4*w = s*u + 230 + 473. Is 24 a factor of w?
False
Suppose -4*v + 5716 = -k, 11*v - 12*v = 2*k - 1438. Does 130 divide v?
True
Let w(r) be the first derivative of r**4/4 + 11*r**3/3 - 15*r**2/2 - 10*r - 27. Is 10 a factor of w(-10)?
True
Does 15 divide (-212)/16 + 12 + 1923050/40?
True
Let b = 2535 - -147. Does 80 divide b?
False
Suppose 0 = 37*w - 32*w - 75. Let u be 18*80/w - -4. Suppose u = 3*j - j. Is 10 a factor of j?
True
Let u(m) = m**3 + 9*m**2 + 9*m + 16. Let a be u(-8). Let j be (a/(-6) + 2)*15. Is j/(5/25*2) a multiple of 2?
False
Let y = -770 + 308. Let n = y - -1009. Is 9 a factor of n?
False
Let c(j) = 41*j**2 - 11*j - 5. Let p be c(-10). Suppose 1561 = 31*t - p. Is t a multiple of 65?
False
Let r = 25 - 22. Let y be ((-18)/12)/(r*(-2)/16). Suppose -4*s - 5*c = -3*s - 209, y*s - c = 899. Is s a multiple of 32?
True
Suppose 3*b = 2*t - 19036, 0 = -3*t - 2*b + 22094 + 6434. Is 51 a factor of t?
False
Suppose -11 = -4*l + 5*d + 16, -3*d - 3 = 2*l. Does 109 divide 540 - (2/(-2)*l + -2)?
True
Let g(q) = q + 7. Let y be g(-5). Suppose 581*v = 590*v - 342. Suppose -y*w = -46 - v. Does 6 divide w?
True
Is ((-4)/14 + (-46488)/(-126))*(-2592)/(-336) a multiple of 6?
True
Suppose -11517 = -3*o + 5*g, 2*o = -2*o - 3*g + 15356. Does 23 divide o?
False
Suppose 0 = 4*l - 4*r - 8036, l - 141*r - 2000 = -137*r. Is 18 a factor of l?
False
Let j(n) = n**3 + 14*n**2 - 21*n - 59. Let x be j(-10). Let f = 791 - x. Is 3 a factor of f?
True
Let m(y) = -3*y + 23. Let l = -79 - -86. Let d be m(l). Suppose -d*v = 3*o - 206, 294 = 3*v - 4*o + o. Is 21 a factor of v?
False
Let n be 4/(60/(-185)) + 3/9. L