. Let k(t) = 4*c(t) + y(t). Does 13 divide k(-10)?
True
Let q be (-444)/((-10)/(-2)*(-10)/75). Suppose -4*n - 3*j + 2682 = -5*j, n - q = 2*j. Suppose 9*k - 2*k - n = 0. Does 24 divide k?
True
Let z = 37 + -33. Suppose -z*y + 20 = -0. Suppose -83 - 68 = -y*t - 3*s, -3*s = 9. Does 7 divide t?
False
Let q(o) = o - 1. Let x be q(4). Suppose -2*v + x*f = -3*v + 22, -4*v - f = -33. Suppose w - v*w = -138. Is w a multiple of 23?
True
Let v = 2643 + -865. Does 127 divide v?
True
Let r(u) = -2003*u - 120. Is r(-2) a multiple of 6?
False
Let b(v) = -v**3 + 3*v - 3. Suppose -12 = -4*a - 2*a. Let l be b(a). Does 4 divide (-127)/l - (-22)/(-55)?
False
Let s(q) = 3*q**2 - 22*q - 23. Let g be s(9). Suppose g*c - 17*c - 415 = 0. Is c a multiple of 5?
False
Suppose 16*u = 23*u. Suppose i = -3*z + 2*i + 229, u = -5*z - 2*i + 367. Let r = 183 - z. Does 36 divide r?
True
Does 140 divide (-1)/(143/(-2582558)) - (100/26 + -4)?
True
Suppose 576*x - 2959035 + 988751 = 140*x. Is 11 a factor of x?
False
Let p(u) be the third derivative of -u**6/120 + 7*u**5/60 + u**4/8 + 5*u**3/2 - 4*u**2 + 5*u. Does 3 divide p(7)?
True
Suppose -50 = 22*r - 27*r. Suppose 2*y + 3 = -4*t + 1, 0 = -5*t - 4*y - r. Is t + 12/(-6) - 7*-11 a multiple of 23?
False
Let h(n) = n**3 - 10*n**2 + 3. Let x = -45 + 55. Let g be h(x). Does 15 divide (101 - 0/2)*(g - 2)?
False
Suppose 0 = -47*y + 1090785 + 131873. Is y a multiple of 179?
False
Suppose -60 = -4*m - 3*l, 4*l + 0*l = -3*m + 45. Let r = m - 13. Suppose -r*c + 5*b = -264, 4*c - 5*b + 660 = 9*c. Is 12 a factor of c?
True
Let u = -15984 + 23410. Is u a multiple of 67?
False
Let o = -359 + 655. Let c = -246 + o. Does 50 divide c?
True
Let t(i) = -250*i - 401. Is t(-14) a multiple of 103?
False
Suppose -272*v - 9340 = -36540. Is 28 a factor of v?
False
Suppose 9*i - 14*i - 80094 = -3*s, -5*s + 133506 = -3*i. Is 69 a factor of s?
True
Does 27 divide 12/21 - 431035/(-105) - (-10)/(-6)?
True
Let c(x) = -6*x**3 + 3*x**2 - 1. Let a be c(3). Let y = -19 - a. Does 26 divide ((-36)/(-27))/(2/y)?
True
Let x = 4071 - -634. Is 5 a factor of x?
True
Suppose -4*j = j - 2*f - 46, 3*f = j - 4. Let b(r) = -r - 3 - 8 + j - 1. Is b(-12) a multiple of 10?
True
Suppose -4*v = 36, -6*v + v = -2*y + 5171. Is 11 a factor of y?
True
Does 13 divide ((-2)/(-4))/(32/1730496)?
False
Suppose 4*p + 609 = -5*a, -2*p + 414 = -2*a + 156. Let l be -4*(-7)/(-252) + 844/(-18). Let k = l - a. Is k a multiple of 46?
False
Suppose -3*k - y = -10, 0*y + 4 = -2*k + 2*y. Suppose 0 = p - t - 123, k*t - t + 607 = 5*p. Is p a multiple of 47?
False
Let c = -3236 + 4954. Does 110 divide c?
False
Let c(b) = -b**2 + b. Let h(a) = -4*a**2 + 23*a - 11. Let m be h(5). Let r(q) = q**3 - 3*q**2 + 8*q. Let s(p) = m*c(p) + r(p). Is s(8) a multiple of 16?
True
Let n(v) be the third derivative of -v**6/12 - v**5/60 + v**4/8 + 4*v**3/3 + 2*v**2 + 40. Does 26 divide n(-2)?
True
Is 56 a factor of ((-860)/43)/(30/(-11844))?
True
Let c = -13 - -15. Suppose 3*q + 5*w + 18 = 0, -c*w + w = 2*q + 5. Does 6 divide (-1991)/(-55) + q/5?
True
Let c = -13175 - -14649. Is c a multiple of 50?
False
Suppose 5*g + 40 = 2*k, -2*k + 0*k - 4*g + 4 = 0. Suppose k*l - 6*l - 632 = 0. Is l a multiple of 11?
False
Let m(l) = -l**3 - 6*l**2 + 7*l + 1. Let f be m(-7). Let j be ((4 - 4)/3)/(f/1). Does 7 divide j + 3 - (-144 + 11)?
False
Suppose 6*j + 136 = 40*j. Let u be (-1490)/(-4) + 4/(-8). Suppose j*n = -4*c + u, 5*c = 2 + 13. Is n a multiple of 38?
False
Suppose -36*b = -31*b - 2*y - 7824, -5*b + 7880 = 5*y. Is 49 a factor of b?
True
Let t(p) = p**3 - 17*p**2 + 9*p + 5. Let h(f) = -3*f**3 + 51*f**2 - 26*f - 15. Let q(d) = 3*h(d) + 8*t(d). Let n = -1083 - -1099. Does 31 divide q(n)?
True
Let k = -50 + 54. Suppose g = -3*a + 126, -k*a - g + 161 = -2*g. Is a even?
False
Let u(o) = 34*o**2 - o + 2. Let t be u(2). Suppose 869*a + 2890 = 879*a. Let r = a - t. Does 18 divide r?
False
Let f = -15735 - -24105. Does 30 divide f?
True
Suppose -3*w + r + 14 = 0, w + 24 - 10 = 5*r. Suppose 0 = w*k - 707 - 637. Does 14 divide k?
True
Let j = -104 - -167. Suppose d + j = 338. Is 11 a factor of d?
True
Let c(y) = 7*y**2 - 33*y - 2. Let s be c(-8). Suppose -4*d - 7*k + s = -2*k, -2*d + 348 = -k. Is d a multiple of 7?
True
Let n(f) = f**3 + 50*f**2 + 39*f + 3. Suppose 3*v = -60 - 87. Is 17 a factor of n(v)?
True
Let v be 9/18 - 89*(-3)/6. Does 4 divide (-104)/((-3)/v*-5*-6)?
True
Suppose 0 = -17*x + 136*x - 395913. Is x a multiple of 19?
False
Let w(y) = y**2 - 157*y + 5416. Does 3 divide w(41)?
True
Suppose -2*t = -3*t - 4*n - 200, -800 = 4*t + 3*n. Let d be 12/15*t/(-16). Suppose -d*c = -339 - 81. Is 7 a factor of c?
True
Let t(k) = 4*k**2 - 4. Let o(r) = 2*r + 2. Let v be o(0). Let g be t(v). Suppose 0 = -f + 2*m + 94, -m + 5*m - g = 0. Is f a multiple of 20?
True
Let o(d) = 2*d**2 - 18*d + 75. Let m be o(12). Suppose -483 = -4*b - m. Is b a multiple of 28?
True
Let c = -624 - -2234. Is 70 a factor of c?
True
Let f be (6 + (-17815)/(-14))*(8 - 0). Does 11 divide (-4)/18 - f/(-18)?
False
Suppose -6878 = -5*y - 3*i + 1800, 5*y - i - 8674 = 0. Suppose 3*l - y - 419 = 0. Is l a multiple of 60?
False
Let g(l) = -5*l + 16. Suppose 19*q - 1 = 189. Suppose q*b - 7*b + 51 = 0. Is g(b) a multiple of 10?
False
Suppose -202 - 264 = -f. Let j = 768 - f. Is j a multiple of 13?
False
Suppose 5*c - 16*c = -55. Suppose 4*r - c*s = -10*s + 112, -5*r + 185 = -5*s. Does 3 divide r?
True
Suppose 5*g - g - 66 = y, g - 5*y = 7. Let a(d) = 6*d**2 - 54*d - 33. Does 16 divide a(g)?
False
Let i = 187 + -173. Suppose 2969 = i*z - 5151. Does 17 divide z?
False
Suppose 5*l - 10329 = -8269 + 24160. Is l a multiple of 23?
True
Let o(n) = 2*n**2 + 9*n - 13. Let l be (-8)/(-10) + (-270)/25. Let g be o(l). Let v = g + -47. Does 16 divide v?
False
Let r(x) = 3*x**3 - 10*x**2 + 5*x - 2. Let y be r(6). Suppose 3*p - 44 = y. Does 24 divide p?
True
Let m(g) = -77*g + 195*g + 122*g + 42. Is m(5) a multiple of 46?
True
Suppose 4*i = 2*o - 5145 - 849, 0 = 3*o + 4*i - 8981. Does 3 divide o?
False
Suppose 18*f + 3*f + 6195 = 0. Let i = 799 + f. Does 21 divide i?
True
Suppose -5*p = -w - 0*w + 84, 0 = -4*w - 5*p + 211. Let x = w - -333. Does 14 divide x?
True
Let v(w) = -28733*w**3 - 4*w**2 + 24*w + 22. Does 33 divide v(-1)?
False
Suppose -5*q = -8 - 37. Suppose -5*n + q = -1. Is 3220/50 + n/(-5) a multiple of 16?
True
Let t = 6768 - 6772. Let x(o) be the third derivative of -o**4/2 - 2*o**3 + o**2. Does 12 divide x(t)?
True
Suppose -2*d = -4*h - 56076, d - 5*h - 15946 = 12089. Is 8 a factor of (-2)/7 + d/140?
True
Let h be (2/4)/((-7)/(-98)). Let z be 919/h - 20/70. Let c = -77 + z. Is c a multiple of 27?
True
Suppose 438*k = 440*k - 8892. Does 57 divide k?
True
Is 6 a factor of (2 - 841)/((-395)/(-18) + -22)?
True
Suppose 412 = f - 91. Does 33 divide (-2)/(-4) + 140/(-56) + f?
False
Let q(h) = -5*h**3 - 7*h**2 - 20*h - 320. Is q(-10) a multiple of 44?
True
Let v be (75/(-6) + -1)/(7/(-42)). Suppose 3*g + v = 4*g. Is 7 a factor of g?
False
Let a(c) = -8*c + 23. Let d be a(19). Is 17 a factor of 3 + (-2 + 5 - (-1 + d))?
True
Is 5560/4 + -2 + (-42 - -37) a multiple of 39?
False
Suppose -162*z - 3044 = -3*c - 164*z, -2*c + 2032 = 4*z. Does 93 divide c?
False
Let i be ((-16)/10)/((-26)/25675). Is 38 a factor of 28/98 - i/(-7)?
False
Let m(d) = 296*d**2 - 14*d - 119. Is m(-8) a multiple of 115?
False
Let t be 10/(-4)*(-9 + -69)*14. Suppose -13*p + 6*p + t = 0. Is 65 a factor of p?
True
Let b = -1932 - -5040. Is b a multiple of 4?
True
Is 15 a factor of (-6975)/2*(15/135)/((-4)/24)?
True
Suppose 2*s = m + 7, -18*m + 22*m + 3*s - 16 = 0. Does 6 divide m/(-1) - (-5 - 58)?
False
Let p = 408 - 366. Suppose -26820 = -p*t + 12*t. Is t a multiple of 34?
False
Suppose 6*m = 9*m + 30. Let k(y) = y**3 + 10*y**2 + y + 14. Let b be k(m). Suppose 436 = 5*j + b*r, -5*j + 445 = -0*j - 5*r. Does 13 divide j?
False
Let q = -3952 - -11001. Does 53 divide q?
True
Suppose 0 = -3*h + 1107 + 222. Suppose -20 = 7*j - 76. Suppose j*l - 1643 = -h. Is l a multiple of 30?
True
Let i be (-1676)/5*110/44. Let y = -571 - i. Is y a multiple of 3?
True
Let h = -156 + 270. Is 9 a factor of (h/4)/(30/180)?
True
Let h be 23/92 + (-1)/4. Let m(q) = q**3 + 2*q**2 - q + 78. Is 3 a factor of m(h)?
True
Let t(w) = -w**3 - 3