9). Let l = p + 31. Is 15 a factor of l/(-25) + 2*85?
True
Does 19 divide (-2)/15 + 10843/420*92?
True
Let a = 26 - 31. Let k(n) = n**3 - 7*n. Let o(x) = 3*x**3 - 13*x + 1. Let l(s) = a*k(s) + 3*o(s). Is 3 a factor of l(2)?
True
Let h(o) = -3*o - 17. Let u be h(-36). Suppose 0 = -2*l + l + 1, 5*b = 4*l + u. Is 3 a factor of b?
False
Let m(o) = o**2 + 4*o + 10. Let n = -141 + 144. Does 3 divide m(n)?
False
Let w = 338 + -146. Suppose -w = -4*s + 180. Is 8 a factor of s?
False
Let i(u) = -u**2 - 9*u - 13. Let g(q) = -2*q + 9. Let o be g(8). Let r be i(o). Does 17 divide (0 - r/3)/(2/(-714))?
True
Suppose 2 = 2*j - 0. Is 10 a factor of j/(-7) - (-3 + (-1020)/35)?
False
Let m = 874 - 567. Suppose -311*r + 1900 = -m*r. Is 18 a factor of r?
False
Let n(g) = -37*g**3 - 25*g**2 + 44*g + 151. Let a(p) = -13*p**3 - 8*p**2 + 14*p + 50. Let w(m) = -17*a(m) + 6*n(m). Does 26 divide w(-16)?
False
Let d(t) = -t**2 - t. Suppose 7*w = -18 - 17. Let n(k) = 3*k**2 + 24*k - 27. Let q(l) = w*d(l) - n(l). Does 8 divide q(12)?
False
Let g(w) = -w**3 + 21*w**2 - 42*w + 41. Let c be g(18). Let h = c + -75. Does 26 divide h?
True
Suppose -330 = -p - 104. Let j = p - 129. Suppose 0 = -3*s + j - 19. Is 13 a factor of s?
True
Suppose 12*w = -16*w + 336. Is 7 a factor of ((-21)/(-6)*20)/(w/18)?
True
Suppose 197*x - 31320 = 170*x. Is 10 a factor of x?
True
Let h = 40980 - 29011. Is h a multiple of 11?
False
Suppose 0 = -f - 5 + 59. Let r = 54 - f. Let n(x) = -2*x + 300. Does 20 divide n(r)?
True
Let g = -6701 - -11000. Is g a multiple of 24?
False
Suppose 34*i - 33 = 103. Suppose 2*m = i*m - 5*z - 800, -m = z - 407. Is m a multiple of 45?
True
Suppose 57939 = v - 4*o, 2*o + 9 = -3. Does 11 divide v?
True
Suppose 30*j = 24*j + 14112. Is ((-10)/4 - -2)*j/(-8) a multiple of 28?
False
Let f = 34 + -6. Let j(r) = 12*r - 102. Does 9 divide j(f)?
True
Let s(n) = -n - 12. Let x(l) = -2*l - 36. Let j(a) = -11*s(a) + 4*x(a). Let q be 2/((-72)/(-9))*28. Is 9 a factor of j(q)?
True
Let r = -83 - -87. Suppose -154 = -2*d - 2*o, -r*d - 5*o + 305 = -0*d. Does 34 divide d?
False
Let b(a) = -8339*a - 184. Is b(-3) a multiple of 133?
False
Let j(d) = 2914*d - 64. Is 114 a factor of j(1)?
True
Suppose 9*s = 6*s - c + 4027, c - 1339 = -s. Is 21 a factor of s?
True
Suppose 31 = 4*v - 5*o - 760, 2*o + 588 = 3*v. Let p = 369 - v. Is 6 a factor of p?
False
Suppose 3150279 + 1023905 = 262*i. Does 61 divide i?
False
Is 25 a factor of (-35)/(-2)*8404/55?
False
Let n(l) = 690*l**3 + 16*l**2 - 73*l + 122. Does 12 divide n(5)?
False
Suppose h + 27 = 2*c, -4*h - 3*c - 9 = 99. Suppose 3*y = -j + 3*j + 121, -189 = -5*y - 3*j. Let r = h + y. Does 3 divide r?
True
Suppose 153 - 2361 = -4*w. Let t be 30/(-9)*w/(-10). Suppose 0*d = u + d - t, -5*u + 5*d + 900 = 0. Is u a multiple of 13?
True
Let m(t) = 11*t - 21. Let o be m(2). Is 10/((-100)/345)*(-6)/o a multiple of 11?
False
Suppose -23*y + 59396 = -50774. Is 19 a factor of y?
False
Suppose -28*m + 93064 + 605348 = -667428. Is 90 a factor of m?
True
Suppose 661 = -5*j - 4*c + 243, -j = -5*c + 72. Suppose 87 = 2*q - 9. Let s = q - j. Does 13 divide s?
True
Suppose -2*x + 10 = 2*i, -3*x - 2*x = -i + 29. Let u(c) = -c**2 + 10*c + 4. Let p be u(i). Suppose 6 = t - p. Does 5 divide t?
False
Let q(p) = -9*p + 38*p + 62 - 7*p - 6*p. Is 10 a factor of q(8)?
True
Let z = 166 - 285. Is 5 a factor of ((-444)/(-259))/(((-2)/z)/2)?
False
Let y = 32538 - 45698. Is (-332)/2822 - (-3)/((-51)/y) a multiple of 43?
True
Let s(v) be the first derivative of 9*v**2 + 72*v + 40. Is s(9) a multiple of 18?
True
Let n = 201 - 87. Let h = 131 - n. Suppose 12*i = h*i - 1100. Does 22 divide i?
True
Let t(w) = 2*w**2 + 94*w + 1. Is t(-54) even?
False
Let j = 42708 - 42164. Is 6 a factor of j?
False
Let u be -6*4/(72/(-105)). Does 32 divide 468 - 7/(u/30)?
False
Let a(q) = -17958*q - 886. Does 31 divide a(-4)?
False
Suppose 12*b = -0*b + 72. Let q(l) = 8*l - 20. Does 2 divide q(b)?
True
Suppose 0 = 4*z - 2*j + 22, -3*z - 4*j = -12 + 1. Let q(v) = 0*v + 3*v - 733893*v**2 + 733897*v**2 - 2*v**3 - 2. Is q(z) a multiple of 16?
False
Let p(t) = t**2 + 2. Let b be p(0). Suppose -5*d - 13 = b*a, -19 = -5*a - 2*d + 1. Let l = 22 - a. Is 3 a factor of l?
False
Let w(g) = -8*g**3 - 5*g**2 - 5*g - 2. Let c be w(-4). Let o = -293 + c. Suppose 0*b - 124 = -4*q + 4*b, -o = -5*q + 3*b. Is 17 a factor of q?
False
Suppose -2*n - 3*v + 18 = -n, 5*n - 35 = -4*v. Suppose -10*j + n*z = -14*j + 183, j + 5*z = 33. Does 6 divide j?
True
Let i(z) = -2*z**2 + 79*z - 30. Let b be i(28). Let s = b + -282. Does 14 divide s?
False
Let z = 54 - 79. Does 4 divide ((-144)/(-10))/((-27)/z - 1)?
True
Does 80 divide (-137)/((9/(-192))/((-60)/(-16)))?
True
Let l = -4765 - -7600. Is l a multiple of 11?
False
Let r(i) = 8*i**2 - 14 - 18 + 2 - i**3 - 12 + 12*i. Is 11 a factor of r(7)?
False
Suppose -4*u + 270 + 526 = 0. Let z = u - 381. Is (-12)/(-3 + -1) - z a multiple of 20?
False
Is 24 a factor of 14064 - -3*(-11 + 1 + 13)?
False
Let m(r) = 279*r + 3. Let d be m(1). Suppose -178 = -5*t + d. Suppose 3*p - t = 13. Does 35 divide p?
True
Let r(s) = -2*s**3 + 54*s**2 - 63*s - 29. Is 65 a factor of r(19)?
True
Let b(d) = -2*d + 17. Let a be b(7). Suppose a*w + w = 240. Let g = -26 + w. Is 4 a factor of g?
False
Suppose 2*v - 70 = -2*i, -3*v + 124 = -4*i + 40. Suppose 0 = -q + 3*c, 8*q - 3*q - 68 = -2*c. Suppose -14*k = -q*k - v. Is k a multiple of 4?
True
Suppose b + 36389 = 4*l + 12109, -l + 2*b + 6063 = 0. Does 33 divide l/4 - ((-44)/(-16) - 3)?
True
Let j = 13833 + -8190. Is 33 a factor of j?
True
Suppose 3*f + 0*f - 5*t - 37 = 0, -2*t - 22 = -3*f. Let u(r) = r**3 - 3*r**2 - 4*r + 3. Let x be u(f). Is (-120)/(-6) - x/1 a multiple of 6?
False
Let w(i) = i**2 + 6*i + 12. Let g = -38 + 34. Let a be w(g). Suppose -a*f = -0*d - 3*d + 143, 0 = d - 5*f - 55. Does 15 divide d?
True
Let f(g) = 17*g - 72. Let y be f(6). Is 10 a factor of 18/(18/27 - 17/y)?
True
Suppose -64*m + 6217 - 488 = -3231. Is 59 a factor of m?
False
Let i(t) be the second derivative of t**4/12 - t**3/6 - 61*t**2/2 - 5*t - 6. Is i(-10) a multiple of 10?
False
Let b be 18/(-2)*2*25/(-30). Suppose 23*x - 288 = b*x. Is x a multiple of 13?
False
Let l = -119 + 74. Let u = l + 183. Does 6 divide u?
True
Let v(d) = 3*d**2 - 85*d - 117. Does 31 divide v(47)?
False
Let z be (0/(2 - -1))/2. Suppose 2*l - 23 = -z*l + 5*f, -15 = -3*l + f. Suppose -5*j - 3 = -u, j - 6 - 6 = -l*u. Does 2 divide u?
False
Let s be 72/(-56) - 8/(-28). Is (s - (-42)/7) + 127 a multiple of 22?
True
Let j = 230 + -230. Suppose j = -2*i + 1005 - 165. Is i a multiple of 35?
True
Let k be (-1)/(2/10) - -1887. Let q = k + -721. Is q a multiple of 13?
False
Suppose -15*u = 21*u + 5472. Is (u/12)/((-16)/144) a multiple of 77?
False
Suppose 0*w = 19*w - 665. Suppose 0 = 2*c - 3*s - w, 4*s = -2*c - 7 + 35. Does 16 divide c?
True
Let r be (-2)/(((-1700)/424 + 4)*2). Let h = 104 - r. Does 11 divide (h/15*6)/((-9)/360)?
False
Suppose -k + y = -3*k - 7, -3*y + 39 = -4*k. Does 10 divide k/63 + 21424/42?
True
Let u = 76 + 7. Let k(f) = f**3 - 6*f**2 + 14*f + 17. Let z be k(7). Suppose -2*i + u = 4*a - 5, -z = -4*i - 2*a. Does 25 divide i?
False
Suppose -j - 4*x = -171, -34*j + 37*j - x - 526 = 0. Let u = j - 74. Is 8 a factor of u?
False
Suppose 0 = -2*g - 29*g + 19974 - 1994. Is 5 a factor of g?
True
Suppose -28265 = 79*a - 127512 - 86877. Is 34 a factor of a?
False
Suppose -3*n - 2*m + 0 = 6, 3*n = m - 15. Suppose 2*j = 5*c + 43, 0*j - 3*c = 4*j - 47. Let k = j + n. Does 3 divide k?
False
Let r = -32 - -28. Let i be 4/14 + r/(-14)*6. Suppose i*g - 336 = -4*g. Is g a multiple of 7?
True
Let f = 12484 + -8554. Suppose 0 = -16*m + 7014 + f. Is m a multiple of 36?
True
Suppose -2*n = 6, 2*n - 4*n + 2616 = 2*g. Is 34 a factor of g?
False
Let x = -99 - -150. Let w = 54 - x. Is (-10)/(-15) - (w - 124/3) a multiple of 27?
False
Is 14705 - (24/(-20))/((-30)/(-75)) a multiple of 67?
False
Let k(u) = u**3 + 3*u**2 - 3*u - 3. Let m be k(-4). Let h = 31 + m. Does 12 divide (-3)/(3 - h) - (-419)/7?
True
Let h(w) = w**3 - w**2 - 17*w + 6. Let n be h(0). Is (-2023)/(-14) + 3/n a multiple of 76?
False
Let x(s) = 16*s**2 - 5*s - 2. Let n be ((-6)/(-1))/1*(-16)/(-48). Suppose -4*u + n*k = 6 + 4, k + 7 = -4*u. Does 18 divide 