?
False
Let s(m) = -5*m - 26. Let q be s(-5). Let b be -5 + (q - 0 - -4). Does 5 divide 3 + (3/(-9))/(b/96)?
False
Let m(g) = -g**3 + 2*g**2 - g - 1. Let j be m(3). Let x be 2/j + (-270)/(-65). Does 6 divide (-2 - x/4) + 3 + 20?
False
Let l = -559 + 961. Suppose l = 35*t - 32*t. Does 26 divide t?
False
Is 6 a factor of 5181 + 8/(-16)*(-22 + 12)?
False
Let m be ((-48)/20)/((-4)/20). Let w be ((-6)/4)/((-69)/m - -5). Is 7 a factor of 47 + w - (-5 - -9)?
False
Suppose -4*u + 41 = -5*p, -2*u + u + 3*p = -19. Suppose -n = -u*d + 7*d - 1984, -d + 2*n + 673 = 0. Does 14 divide d?
False
Let y(o) = 67*o - 17. Let u(i) = -337*i + 86. Let a(c) = -2*u(c) - 11*y(c). Does 15 divide a(-7)?
False
Suppose -y = -1 - 2. Suppose y*p - 167 = 2*p. Let a = p - 11. Is 26 a factor of a?
True
Let m(u) = -u**2 + 9*u - 7. Let k be m(9). Let j be 2/(k/(994/4)). Let q = j + 149. Is 13 a factor of q?
True
Suppose 528*k - 529*k = -1127. Is k a multiple of 161?
True
Let k(w) = -735*w + 399*w - 48 + 396*w. Is k(11) a multiple of 68?
True
Suppose 30069 = 4*q + 3*r, 27323 = 3*q - 2*r + 4801. Is 12 a factor of q?
True
Let w(l) = 40*l**2 + 82*l + 1800. Does 24 divide w(-16)?
True
Let q be -2 - 0 - (1 - 2). Suppose 0 = -5*f + 3*k - 30, -1 = -2*f + 2*k - 17. Is -2 - f - (q + 3)*-1 a multiple of 3?
True
Let j(d) = 567*d**2 - 122*d + 791. Does 84 divide j(7)?
True
Suppose 0 = 3*g + 12, -29*p + 26*p + 40 = 5*g. Suppose 5*o = 4*o + 166. Does 21 divide o/8 + 5/p?
True
Let c(w) = -w + 15. Let f be c(-4). Let j(i) = -1 + i - 4 + f + 8*i. Is 10 a factor of j(4)?
True
Let x(f) = 63*f**2. Let s be x(-1). Suppose -1263*q = -1276*q + 2366. Let b = q - s. Is b a multiple of 39?
False
Suppose -557 = 30*c + 463. Let t = c - -52. Is t even?
True
Suppose 18*k = 23*k - 10. Let t be -4*(19 - -1 - k)*-3. Suppose -5*w = -0*w - 3*f - 579, -4*f = 2*w - t. Is w a multiple of 11?
False
Suppose 4*r + 0 = 124. Let z be (3 - (-36)/(-6)) + 70. Let n = z - r. Does 12 divide n?
True
Suppose -19140 = 35*r - 44*r + 29676. Is r a multiple of 92?
False
Let p be -3 + (-1 - (68 + 4)). Let o = 81 + p. Suppose 0*h + 2 = -h, -o*h = 5*w - 110. Does 13 divide w?
False
Let p(d) = 138 - 366 + 930*d + 85 + 80. Does 95 divide p(2)?
False
Suppose -3*y = -0*y - 6*y. Suppose y = 5*g - 15 + 90. Is 10 a factor of 3 - (-39)/g - (-548)/5?
True
Suppose -39*v + 28824 + 7953 = 0. Is v a multiple of 2?
False
Let x be (-8)/(-2 + 0) + -214. Let k = x + 652. Does 34 divide k?
True
Let v be 11*-2*(-5 - -7). Let q = v - -174. Is q a multiple of 19?
False
Suppose 4*z + 10058 = 3*d, 0 = -3*d + 2*z + 4812 + 5242. Is 134 a factor of d?
True
Let i(s) = -s**3 + 12*s**2 - 15*s - 8. Suppose -3*n - n = k - 37, 3*k = 2*n - 29. Let q be i(n). Suppose 13*m + q = 15*m. Is 7 a factor of m?
True
Suppose -10 = -k + 142. Suppose -182 = -v + k. Is 5 a factor of v?
False
Let c(m) = 458*m - 78. Let q be c(1). Let v = 388 - 659. Let y = v + q. Is 14 a factor of y?
False
Let i be 1035/10*(4 + (-6 - -10)). Suppose 96 = 830*a - i*a. Does 8 divide a?
True
Suppose 9*x - 15 = 11*x - n, 18 = -x - 3*n. Does 4 divide 9/(18/8) - (4 + x)?
False
Let i be ((-1781)/(-2))/(37/(-74)). Let d = -1213 - i. Does 71 divide d?
True
Let o = -30308 + 40045. Is o a multiple of 8?
False
Suppose -5*f = 2*b - 3863, 0 = 5*b - 5*f - 1975 - 7805. Is b a multiple of 7?
False
Let t be 1/6 - ((-1326)/36)/13. Suppose -15 = -s + 2*y, -t*s - 8 + 53 = -4*y. Let z = 132 - s. Is z a multiple of 13?
True
Let v(f) = -f**3 - 15*f**2 - 8*f + 111. Is v(-16) a multiple of 33?
True
Let q(i) = -3*i + 44. Let x = -188 - -188. Does 44 divide q(x)?
True
Let a(j) = -16*j + 1229. Is a(-65) a multiple of 68?
False
Suppose 4*n + 5188 = 3*a, 6*a - a = -n + 8662. Suppose a + 100 = 3*l + 2*p, -5*l = 4*p - 3050. Does 19 divide l?
False
Let h(t) = -32*t - 6. Let y(r) = -11*r - 2. Let u(k) = 5*h(k) - 14*y(k). Suppose 8*x - 5*p = 9*x - 3, 11 = -5*x + p. Is u(x) a multiple of 5?
True
Let q(u) = 8*u**2 - 3*u - 1. Let j = -59 - -73. Let a(c) = -c**2 + 14*c + 4. Let x be a(j). Is q(x) a multiple of 23?
True
Let l be ((-5)/3)/(35/(-42)). Let a be (8 - 0)*l/8. Suppose c = a*c + 5*u, -5*c = -u - 130. Does 10 divide c?
False
Let o = 355 + -143. Let z = -128 + o. Is 8 a factor of z?
False
Suppose 5640 = -0*s + 10*s. Suppose 22*h - 16*h = s. Does 3 divide h?
False
Let a be ((-4)/6)/((-2)/18). Let j(n) = 51*n - 1686. Let d be j(33). Let v = a + d. Is 2 a factor of v?
False
Let d = -203 - -208. Suppose d*h = 0, 2*h - 101 = -3*f + 187. Is f a multiple of 16?
True
Suppose 5*g + 63085 = 34*g - 23683. Is 8 a factor of g?
True
Let u = 14880 + 17992. Is 187 a factor of u?
False
Let v be 15/(97/(-124) - 6/(-8)). Let x = v + 553. Is 11 a factor of x?
True
Suppose -3*v - 88 + 424 = 0. Let f be (-266)/(-4)*64/v. Does 7 divide 6/9 + f/6?
True
Let z be (-7)/3 - (-4 + 55/15). Is (-5 - 4)/((z/(-9))/(-2)) a multiple of 13?
False
Let g(p) = -p - 1. Let w(y) = -6*y + 11. Let i(j) = -4*g(j) + 2*w(j). Let t be i(-11). Suppose 4*a = 5*s - 551, -3*s + t + 224 = 5*a. Is 25 a factor of s?
False
Suppose 0 = 2*y + r - 370, 5*r - 3*r + 4 = 0. Suppose 4*n = -2*t + y, 4*n + 63 = 2*t - 123. Let f = t + -57. Does 7 divide f?
False
Let v(y) = -3*y**3 - 11*y**2 + 2*y - 13. Let f be v(-8). Suppose f = 12*i + 83. Does 3 divide i?
True
Let b(a) = -7*a - 3. Let p = -34 + 29. Let d be b(p). Does 5 divide (36/24)/(1/d)?
False
Let x(p) = 2*p + 41. Let b = -47 - -57. Let s be b/25 - 6/15. Is x(s) a multiple of 5?
False
Let c be 12/(-42) - (-1 + (-18)/14). Suppose 2*a - 77 = 3*x, 83 = c*a - 2*x - 3*x. Let s = a + 16. Does 10 divide s?
True
Let h = -449 - -471. Let i(c) = -7*c + 280. Is 7 a factor of i(h)?
True
Let k(v) = -4*v**3 - 3*v**2 - v - 1102. Let z(f) = f**3 + 2*f - 1. Let w(o) = -k(o) - 2*z(o). Is w(0) a multiple of 24?
True
Let y be 5 + (-6 - (-4)/(-4)*-15905). Suppose 5*v - y = -11*v. Does 69 divide v?
False
Let q = -191 + 182. Is (-3680)/(-24) + 12/q a multiple of 4?
True
Does 69 divide (414*8)/((-16)/72 + 44/36)?
True
Let t be -4 - (3/18 + 2462/(-12)). Suppose -t - 231 = -6*l. Does 6 divide l?
True
Suppose 0 = -5*k + 3*k + 2156. Suppose 2*s + 2*q - k = 0, -3*s + 13*q - 9*q = -1617. Does 45 divide s?
False
Let u(m) = 179*m**2 + m + 2. Let w be u(-1). Suppose 12*c - 17*c = -w. Let a = c + 27. Does 8 divide a?
False
Let d be ((-22)/44)/(3/(-828)). Suppose -6*z + 156 = -d. Is 6 a factor of z?
False
Is 19 a factor of 7 + (4540 - (13 + -20))?
False
Suppose -l = 4*l - 230. Let a = 51 - l. Suppose g - 110 = 2*w - a*w, 2*g - 148 = -4*w. Is 9 a factor of w?
True
Let j(l) = 2*l**3 + 24*l**2 + 21*l - 16. Let a be j(-11). Let q be ((-2)/4)/(4/(-400)*a). Let w(g) = 2*g + 48. Is w(q) a multiple of 14?
True
Let y(o) = -3*o - 20. Let m(r) = 1. Let x(j) = -2*m(j) + y(j). Let h be x(-6). Does 5 divide (h/5)/((-2)/15)?
False
Suppose -5*r + h = 0, -6*h = 3*r - h. Suppose 46*d - 51*d + 190 = r. Is 21 a factor of d*(-2)/(-4) - (-3 - -1)?
True
Suppose 23*s - 19*s = 5*o + 80395, o = 5*s - 100457. Is s a multiple of 12?
False
Suppose -27228 = -2*l + 5*u, -27288 = -2*l - u - 4*u. Is l a multiple of 16?
False
Suppose 16*f = -229 - 91. Is 9 a factor of 211/2 - (-2 - f/8)?
False
Let z(y) = -y**2 - 14*y + 34. Let w be z(-16). Let m be (-88)/33 + w/(-6). Does 34 divide (m - 3)/(-2) - -122?
False
Let y(m) be the first derivative of -134*m**3 + 68*m**3 - 2*m**2 + 14 + 67*m**3. Is y(3) a multiple of 10?
False
Let b(d) = -13*d**2 + 798*d + 34. Does 41 divide b(52)?
False
Suppose -k - 5*m = 18, 2*k - 3 + 21 = -4*m. Let t = k + 153. Is 25 a factor of t?
True
Let a be ((4 - (5 - 2))/(-1))/1. Does 17 divide 4/12*a + (-542)/(-6)?
False
Let i(f) be the third derivative of -f**4 + 7*f**3/6 + 2*f**2. Let h be (5 + 1)*8/(-8 + -16). Does 3 divide i(h)?
False
Let m = 79 - 82. Let j be (-2 - -10)/(m/(3/(-2))). Let w(u) = 2*u**3 - 4*u**2 - 4*u - 3. Is w(j) a multiple of 16?
False
Let q be -10*(-3 + 1)*(-4)/(-10). Suppose -q*x = -843 - 765. Let m = -94 + x. Does 8 divide m?
False
Suppose 6*k - 114 = 12. Suppose 0 = k*d - 11*d - 20. Is 8 a factor of 96*-2*d/(-8)?
True
Suppose -2*o = 5*s - 2720, -5*s - 8*o + 2725 = -7*o. Is s a multiple of 6?
True
Let l = 23 + -18. Suppose -l*a + 4*t + 73 = 0, 0 = 3*a - 3*t - 42 - 0. Let x(q) = 10*q - 17. Does 17 divide x(a)?
True
Let y(m) = -3*m**3 + 12*m**2 + 6*m + 2. Let a b