e 12*m - 26 = 25*m. Is 15 a factor of (30/12)/(m/(-204))?
True
Let l(f) = f**3 - 20*f**2 + 5*f + 4992. Does 128 divide l(0)?
True
Let f be (-1)/(1*(-2)/6). Let j(i) = -124*i - 866. Let q be j(-7). Suppose 0 = o + 3*u - 16, -q*u = f*u. Is o even?
True
Let a be 9/2*(6 + -4). Suppose -a*l + 597 + 3957 = 0. Does 23 divide l?
True
Let d(u) be the second derivative of u**7/2520 - u**5/60 - 13*u**4/12 - 25*u. Let m(n) be the third derivative of d(n). Is m(4) even?
True
Let m be -1*(-3 + -2) - 0. Suppose -f = -4*n + f + 10, 2*n = -5*f - 25. Suppose -m*j + 2*r + 312 = 0, j + n*j - 56 = 2*r. Does 11 divide j?
False
Does 43 divide (((-171)/(-6))/(19/(-38)))/((-1)/43)?
True
Suppose -3*y - 834 = -5*h, -627 = -3*h - 2*y - 119. Suppose d - h = -35. Suppose 6*f - 41 = d. Is f a multiple of 9?
False
Let t = -43 - -43. Suppose -3*n + 9 = t, 5*h - 20 = 3*n + 231. Does 26 divide h?
True
Is 49 a factor of (-1 - (-84)/96) + (-53922)/(-16)?
False
Let p = -523 + 539. Suppose p*n = 11*n + 1155. Is 19 a factor of n?
False
Suppose 9*n - 14080 = 5*n. Suppose -9*j - n = 7*j. Let r = 441 + j. Is 14 a factor of r?
False
Suppose -7*k + 515 = 473. Suppose -2021 = -k*n + 265. Is 7 a factor of n?
False
Let h be (48 + -47)*7*-1. Let c = 37 - h. Does 4 divide c?
True
Let z = 12832 - -18584. Does 7 divide z?
True
Let g = 33 - 30. Suppose -4*i - 616 = -4*x, i - g*x - 602 = 5*i. Let l = 221 + i. Is 18 a factor of l?
False
Let m be (-2 + 1 + 5)*1/(-2). Is 13 + -1 + 8 - (m - -2) a multiple of 2?
True
Let l = 1016 - -1442. Is 20 a factor of l?
False
Suppose 6*w - 1509378 = -5*w - 67*w. Is w a multiple of 37?
True
Let l be (1 - 11)*2376/44. Is 675/l + 3618/8 a multiple of 10?
False
Let u be (0 - -13) + (0 - 0). Suppose 3*z - w = w - 1, -4*z + 5*w = u. Suppose 5*f - 357 = 5*d - 7, -200 = -z*f - 2*d. Does 27 divide f?
False
Let t(o) = 3*o**2 + 129*o + 29. Does 9 divide t(-59)?
False
Let g(v) = 12*v**3 + 4*v**2 - 4*v + 4. Let s be g(3). Suppose -s = -2*q + 418. Is q a multiple of 35?
True
Is -2849*34/(-119)*11 a multiple of 5?
False
Let l be -26 + 5 + (1 - 3). Let v(d) = -24*d + 13. Let r be v(2). Let w = l - r. Is w a multiple of 4?
True
Is (-15394 + -20)/(1/((-4)/8)) a multiple of 82?
False
Let f(n) = 17*n**2 - 150*n + 1473. Is 6 a factor of f(10)?
False
Let g(c) = c**2 - 141*c + 265. Is g(-63) a multiple of 13?
True
Let s(t) = 54*t + 426. Is s(11) a multiple of 4?
True
Let f(t) = -7*t**3 + 6*t**2 + 16. Let c be f(-6). Suppose -4*k + 2448 = 4*x, 3*x + 5*k - 96 - c = 0. Is 7 a factor of x?
False
Let d be (-28)/21*(1 + -6 + 2). Suppose -3*c + 36 = -3*b, -2*b + d*c - 5*c = 33. Does 47 divide (b/5)/(-1 + (-248)/(-260))?
False
Is 8 + 63*(5040/27)/16 a multiple of 2?
False
Let q(w) = -24*w + 6. Let p be -1 - (0 - (4 - -1 - -2)). Let m = 3 - p. Is 8 a factor of q(m)?
False
Let r(y) = -y**3 + 18*y**2 + 211*y + 188. Is r(25) a multiple of 41?
False
Let i = -99 - -109. Let p(c) = 8*c**2 - 52*c - 19. Does 7 divide p(i)?
False
Let u be 2/11 + 63954/(-363). Let t = -150 - u. Is 7 a factor of t?
False
Suppose -p - 2*b + 12 = 0, -2*p - 3*p + 4*b = -74. Let v be 20/70 - 46/p. Is 2*(2 + v) + 62 a multiple of 15?
True
Suppose 1 + 62 = -3*k. Let r = 246 - 251. Let u = r - k. Is 4 a factor of u?
True
Suppose 12983 = 4*s - c, 16240 = 54*s - 49*s + c. Is s a multiple of 122?
False
Suppose -44*p - 24*p + 157*p - 232824 = 0. Does 6 divide p?
True
Let u = 28175 - 16403. Is 108 a factor of u?
True
Let y(p) = -p**3 - 7*p**2 + 12*p + 7. Let h(j) = -j - 11. Let r be h(6). Let a be 2/r - 2265/255. Does 13 divide y(a)?
False
Let s = -1679 + 1921. Is 63 a factor of s?
False
Suppose -2*h + 3 = 9, -t - 3*h + 18 = 0. Is ((-3058)/(-66))/(1/t) a multiple of 9?
True
Let x = 130 + -82. Let p = x - 45. Suppose p*v + 993 = 5*u, -5*u + 0*v - 5*v = -985. Is u a multiple of 11?
True
Suppose 30*c - 2*c = 31444. Is c a multiple of 55?
False
Let m(y) = -2*y**2 - 3*y - 21. Let q(s) = s**2 + 3*s + 20. Let x(r) = -2*m(r) - 3*q(r). Suppose 18*d + 42 = 222. Does 9 divide x(d)?
False
Suppose 7*m = 52 + 60. Suppose 0 = 4*f + m, -3*d = -4*d + 4*f - 94. Let p = d + 224. Is p a multiple of 19?
True
Suppose -38 = h - 48. Does 19 divide ((-6)/h)/((-15)/5550)?
False
Suppose -2*y - 13 = 5*m - 10, -m = -3*y + 21. Suppose 3*p + q - 2615 = y*q, -2*p + 1740 = -5*q. Is p a multiple of 27?
False
Let l = -468 + 277. Is -8 - (1 + -7) - l a multiple of 7?
True
Let l(q) = -375*q - 520. Is 13 a factor of l(-22)?
False
Let y(u) = 1961*u**2 + 54*u + 142. Is 202 a factor of y(-2)?
True
Suppose -84*n - 130382 = -98*n. Is n a multiple of 139?
True
Let s = 49597 + -27367. Does 57 divide s?
True
Let o = -692 - -711. Is (((-274626)/(-27))/o)/(2/6) a multiple of 43?
False
Suppose -40 = -188*s + 180*s. Suppose s*g = 10, 2*y + 3*g - 1793 = -225. Is 71 a factor of y?
True
Let p = 9 - 13. Let m(a) = 2*a**2 + 4*a + 7. Let x be m(p). Is 111/1 + x + -26 a multiple of 14?
False
Let x(t) = 19*t - 54. Let i be x(3). Suppose -i*f - 1332 = -7*f. Is 64 a factor of f?
False
Suppose -11*n - 75*n - 53*n + 153595 = 0. Is n a multiple of 18?
False
Is 99 a factor of (497/3 - (-768)/576)/((-1)/(-207))?
False
Let d(u) = 4*u**3 + 6 - 2 - 2*u**2 - 5*u**3 + 2*u. Let r be (4/(-5))/((-180)/(-1350)). Does 30 divide d(r)?
False
Let k(v) = 10*v + 13. Let s(c) = 21*c + 27. Let a(p) = 5*k(p) - 3*s(p). Let b be ((-15)/(-10))/(9/(-24)). Does 6 divide a(b)?
True
Suppose 0 = p + 5*b - 5288 - 1803, 7084 = p + 4*b. Does 16 divide p?
True
Let n = 5732 - 3829. Suppose -2*t + 734 + 520 = -3*p, 0 = 3*t + p - n. Does 34 divide t?
False
Let n = -13357 - -25795. Does 33 divide n?
False
Let a(u) = -6*u + 49. Let l be a(8). Suppose -l - 14 = 3*v, -5*o - 2*v = -3320. Is o a multiple of 62?
False
Suppose -115*y + 254*y - 960 = 129*y. Is y a multiple of 6?
True
Does 153 divide (((-10)/6)/(2/(-6)))/(139/544602)?
False
Suppose -12*k + 8*k + 3057 = x, -x = k - 3048. Is 7 a factor of x?
True
Let w(y) = -48*y**2 + 1174*y + 14. Is 32 a factor of w(19)?
True
Let v(h) = -h**2 - 6*h - 8. Suppose -a - 17 = -3*g, 7 = 2*g - 3. Let z be v(a). Suppose 4*s + 4*p = -z*s + 228, -s + 2*p = -66. Is 20 a factor of s?
True
Let k(w) = 2*w**2 + 29*w + 16. Let s be k(-14). Let m be (2/6)/(s/3 + -1). Is 24 a factor of 33/(m/((-16)/6))?
False
Let r(y) = -431*y + 32 - 9 + 221*y + 232*y. Is r(12) a multiple of 41?
True
Suppose 2*b = -5*x + 12, 5*b = -2*x + b + 8. Let q be (-8)/(-10)*(18/4 - x). Suppose 0*s - 23 = -s + q*a, -2*a = 2*s - 46. Is s a multiple of 2?
False
Let n = -6078 - -7283. Does 5 divide n?
True
Let n(h) = -19*h + 29. Let k be ((-4)/(-5))/(7/70). Suppose 2*q - 27 = -5*u + 8*u, -2*q - k = 2*u. Is 18 a factor of n(u)?
True
Let o = 81 + -30. Does 55 divide (-17)/o - (-1132)/3?
False
Let r be (-11)/(-3) + 2/(-3). Let a = 86 + -84. Suppose a*x + x = -r*g + 3, 5*x = g + 35. Is 6 a factor of x?
True
Suppose -35*b + 5850 = -25*b. Suppose 649 + 521 = 2*o - 3*x, o - 2*x = b. Is 12 a factor of o?
False
Is 2*-4 - (912 + 0)*-4 a multiple of 8?
True
Let h(k) = -k**3 - 12*k**2 - 26*k + 40. Is h(-12) a multiple of 22?
True
Suppose -i - 9 = -c, 0 = 3*c + 4*i - 13 - 7. Does 16 divide -490*(c/16 - 1)?
False
Let q(t) = t**3 - 9*t**2 + 2*t - 12. Let r be q(9). Let i(a) = 5*a - r*a + 0 + 3 - 2. Is i(-8) a multiple of 2?
False
Suppose 2*h - 240680 = h - 21*h. Is 15 a factor of h?
False
Suppose 5*z - 2244 = -t - 3*t, -5*z + 2236 = -4*t. Let r = z - 299. Is r a multiple of 7?
False
Suppose -38*q + 48*q = 180. Let n be 11*(6 + -3 - 0). Let v = n - q. Does 15 divide v?
True
Suppose -2*s - 3*s = -3*a - 20, 4*a + 16 = 4*s. Suppose -2*i = 2*w - 320, -2*w - 640 = -s*i - 5*w. Is i a multiple of 6?
False
Let p be (-1*(-11 - -1))/(-1). Let d be p/(-6)*66/55. Suppose d*a + 4*k - 46 = 0, -2*a = -k + 3*k - 48. Is 25 a factor of a?
True
Let w = 14722 - 10770. Is 19 a factor of w?
True
Let n be (-3)/(-24)*-114 + (-2)/(-8). Let m(b) = b**2 + 12*b - 30. Let d be m(n). Is 12 a factor of (24/(-20))/(d/120)?
True
Suppose -31*h = -18*h + 26*h - 424671. Is 95 a factor of h?
False
Let p(z) = -16*z + 223. Let n(y) = 7*y - 112. Let w(j) = -9*n(j) - 4*p(j). Is w(31) a multiple of 7?
True
Suppose -10*h + 9*h = 104. Let z(v) = -16*v + 17. Let f be z(11). Let d = h - f. Does 11 divide d?
True
Suppose 10240 = -11*v + 13*v - 3*o, -15345 = -3*v + 2*o. Is 129 a factor of v?
Fal