. Does 9 divide y(g)?
False
Let y be (-3)/(-18) + 410/60. Suppose -2*h + 3*z = y*z - 56, 5*h + 2*z - 164 = 0. Is h a multiple of 17?
True
Let b = 13510 + -12960. Is b a multiple of 8?
False
Suppose 0 = -6*m + 1 - 97. Let s = m - -28. Suppose -3*f - s = -4*f. Does 6 divide f?
True
Let q = 145 - 127. Let g(d) = -d**3 + 21*d**2 - 34*d + 54. Is 18 a factor of g(q)?
True
Let c be 6 - (2 + 16)/3. Suppose -3*j + 408 = 2*z - c*j, 5*z = -5*j + 1020. Is 17 a factor of z?
True
Let a be ((-7)/4)/(11/44). Does 11 divide -52*a/42*330/4?
True
Suppose 60 = -2*q + 4*h, -31 = -0*q + q - h. Let b(u) = -u**2 - 39*u - 13. Is b(q) a multiple of 6?
False
Suppose -345*j + 340*j + 2*h = -1504, 4*j - h = 1202. Is j a multiple of 6?
True
Suppose 65 = i + 5*h, -i - i + 157 = h. Let q = 80 - i. Suppose 3*b = -q*n + n - 208, -n + 2*b = -204. Is n a multiple of 28?
True
Let t be 4/(-10) - (-405)/75. Let m(b) = b**3 + 3*b**2 - 2. Let l be m(t). Suppose -28*w + 29*w = l. Is w a multiple of 19?
False
Suppose 0 = -5*v + 5*q + 2580, 11*v + 2*q = 8*v + 1548. Does 43 divide v?
True
Suppose -40*o = 13581 + 21579. Let b = o - -1862. Is 10 a factor of b?
False
Suppose 2*q - 937 = -3*n + 6*n, 0 = 4*q + 3*n - 1919. Let z = q + -278. Is z a multiple of 33?
True
Suppose -11671 = -3*h - 2*q + 5837, 0 = -5*h - 5*q + 29185. Does 37 divide h?
False
Suppose 0*b - 2*b = q + 86, -5*q = -3*b + 378. Let l = 81 + q. Does 6 divide (2/l)/(3/297)?
True
Is ((-173)/2 + -1)*((-4500)/(-35))/(-9) a multiple of 125?
True
Suppose -4*y - 197 = -3*o + 396, 2*o + y = 388. Suppose -4*r = r - o. Is 13 a factor of r?
True
Let o = -121 - -53. Does 17 divide 612*((-85)/o - 1/4)?
True
Let v(k) = k**3 - 122*k**2 + 28*k - 478. Does 42 divide v(122)?
False
Suppose 3305 = -4*h + 4448 + 6025. Does 28 divide h?
True
Let v = -114 - -4. Is 33 a factor of -204*(v/15 + 6)?
False
Let o(r) = -r**3 + 5*r**2 - r - 4. Let v be o(3). Let h(w) = w**3 - 13*w**2 + 20*w - 11. Let b be h(v). Let x = b + 40. Is 7 a factor of x?
True
Let k(s) = -s**3 - s**2 + s + 1. Let p(h) = h**3 + 31*h**2 + 28*h + 8. Let r(y) = 2*k(y) + p(y). Is 17 a factor of r(29)?
False
Let b(a) = 545*a**2 + 4*a - 5. Let v be b(1). Let l = v - 346. Is 11 a factor of l?
True
Suppose -2*d - 10 + 0 = 0, y = -3*d - 51. Does 7 divide (-16494)/y + 0 + (-4)/24?
False
Suppose -10*m + 73 = -7*m - b, 0 = -3*m - 4*b + 98. Suppose -1 = 2*w - w. Is m/(w - (2 + (-7)/2)) a multiple of 8?
False
Let w(s) = -9*s**2 + 0 + 1 + 4*s + s**3 - 15*s - 7. Let z be w(11). Suppose -5*i - 5*q = -155, 0 = i + 3*i + q - z. Does 14 divide i?
True
Let f be (-136)/(-36) - (-2)/9. Suppose -3*j = -f*j - 20. Does 16 divide 2*(-205)/j*4?
False
Let s(t) = 18*t - 254. Let k be s(39). Let z = k - 0. Is 14 a factor of z?
True
Does 14 divide (-35)/(-28) - 307890/(-88)?
True
Let x(u) = u. Let c = 14 - 15. Let b(i) = 33*i + 3. Let v(f) = c*b(f) + 2*x(f). Does 30 divide v(-3)?
True
Let t = -181 - -178. Does 40 divide 412/(-12)*3*t?
False
Let t be 7/(14/240)*-1. Let o = t - -128. Suppose o*h - 5*h = 273. Does 13 divide h?
True
Suppose -4*p = -20*r + 15*r + 735, p - 307 = -2*r. Is r a multiple of 9?
False
Let l be (-41)/(((-20)/(-5))/12). Let g = l + 128. Suppose -g*i + 273 = 2*i. Is 8 a factor of i?
False
Let s = -87 - -92. Suppose -18 = -p - 4*u, -2*p + s*u + 36 = 2*u. Suppose -38 = -0*g - 2*g + 2*q, 0 = -2*g - 3*q + p. Does 2 divide g?
False
Let k(p) = 13*p + 6. Suppose -5*a + 1 + 9 = 0. Suppose 2*u + 3 = -w + 9, a*w + 3*u = 12. Is 42 a factor of k(w)?
True
Let b(c) = -c**3 - 10*c**2 - 7*c + 14. Let u be b(-9). Let f be u/(-6) - (-5740)/30. Suppose -f - 72 = -6*k. Does 8 divide k?
False
Suppose -3*w + w + 736 = 4*d, -3*d + 3*w = -552. Suppose 0 = -5*q - m + 405, 0 = 3*q - q - 4*m - d. Let u = 22 + q. Is 13 a factor of u?
True
Suppose 47*a + 12 = 43*a, 0 = 4*b + a - 14785. Is b a multiple of 91?
False
Let d be 1/1*0/(-6). Suppose 0*q - q + 20 = d. Let h = q - -1. Is h a multiple of 7?
True
Let h = 596 + -425. Let u = -120 + h. Is u a multiple of 17?
True
Let s = 72 - -12. Let x(h) = s*h**2 - 83*h**2 + 22 + h**3 + 6 + 0. Is 4 a factor of x(0)?
True
Let l be ((-197260)/(-15))/14 - (-2)/3. Suppose 4*g + 0*g + 3*d = 912, 0 = 4*g - 4*d - l. Is g a multiple of 12?
False
Suppose h = -h + 3*h. Suppose -4*k = b - 55, 2*k - b - 23 = -h*k. Suppose 2*a - 37 - k = 0. Is 6 a factor of a?
False
Suppose 4*v = 5*y - 11563 - 79270, 4*y = 3*v + 72666. Is 24 a factor of y?
False
Does 34 divide ((-6)/(27 - -9))/(5/(-443670))?
False
Suppose 4 = -b - 0. Let j be (-1 + b + 2)/(6/(-28)). Suppose -19*q + j*q + 90 = 0. Does 3 divide q?
True
Let m be (-408)/(-20)*5/(-2). Let w = -26 - m. Does 5 divide w?
True
Let u(j) = 2*j**2 - 2*j - 8. Suppose -c - 3 = 0, -3*g + 2*c = -26 + 8. Let i be u(g). Suppose -4*z + 105 = -2*w - 291, -i = 4*w. Is z a multiple of 27?
False
Suppose 3*y - 5*p = 2427, -243*y + 242*y - p = -809. Is y a multiple of 6?
False
Let z = 6812 + 5190. Does 17 divide z?
True
Suppose 12*s - 36 = -1176. Let j = 479 + s. Is 10 a factor of j?
False
Suppose 2*p = 4, -3*b + 5 = 2*p - 4*p. Suppose r + 136 = -2*q, 0 = b*r - 3*q + 148 + 251. Is (-116)/203 - r/14 even?
False
Let i = 107604 - 74707. Does 20 divide i?
False
Let k be 14/3 + 2 - (-8)/24. Let f = 57 - k. Let t = -24 + f. Does 2 divide t?
True
Let o be 1912/180 + 10/(-45) + 2/(-5). Suppose -2*z = h - 5*h + 240, -2*h = -5*z - 584. Is 5 a factor of z/(-10) - ((-8)/o)/2?
False
Suppose -2*n + 6*n - 16 = 0. Suppose n = 13*r - 15*r. Is r/5 - 22*64/(-20) a multiple of 14?
True
Let i(t) = -3*t + 4. Let m be i(0). Suppose 15*o - 506 = m*o. Is 11 a factor of o?
False
Suppose -5*m + 5*z = -79145, -5*m + 7*z = 6*z - 79161. Does 84 divide m?
False
Is 31/((-744)/3780)*(-216)/14 a multiple of 45?
True
Suppose 3*k - 128 = 169. Suppose 4*z = s - k, -s + 5*z = -79 - 18. Is 8 a factor of s?
False
Suppose 0 = -4*v - v - 6*c + 957, 4*c = -5*v + 953. Is v a multiple of 9?
True
Suppose 0 = 918*t - 890*t - 115976. Is t a multiple of 19?
True
Let a(z) = -2*z**3 - 23*z**2 - 5*z - 20. Let y(t) = -t**3 - t + 1. Let j(l) = -a(l) + 3*y(l). Suppose 2*n + k = 44, 5*k = 4*n - 57 - 45. Is 6 a factor of j(n)?
False
Suppose 546*t - 582*t + 11520 = 0. Is t a multiple of 2?
True
Let k(q) = 10*q**2 - 70*q. Let d be k(7). Is d + 217 + (-4 - -8) a multiple of 46?
False
Let v(p) = -549*p**3 - 2*p**2 - p + 2. Let f be ((-5)/(-4*5))/1*-4. Is 22 a factor of v(f)?
True
Let a = -3521 + 8609. Is 21 a factor of a?
False
Let g = 102 - 100. Let j be ((-11)/55)/(g/(-10)). Does 30 divide j/(-5)*-2 - (-436)/10?
False
Suppose -3*g + 83338 = 4*h, 5*g - 138885 = -4*h + 9*h. Is 34 a factor of g?
True
Suppose 6 + 72 = 6*p. Suppose 4*i - 262 = -2*h, -2*i + p*h = 9*h - 146. Does 23 divide i?
False
Let x be 197 + (-1 - -2)*1. Let z = x - 134. Let o = z + -53. Is 3 a factor of o?
False
Suppose p = -2 - 0, 3*p = 2*v - 882. Suppose 5*g = -0*k + k + 434, 5*g = 2*k + v. Does 14 divide g?
False
Is 127*((-717)/(-15))/(9/45) a multiple of 127?
True
Suppose 0 = -5*i - c + 4873, 5*i - c = 7*i - 1951. Is i a multiple of 6?
False
Let p(a) = 53*a**2 + 2*a + 74. Is 22 a factor of p(5)?
False
Does 37 divide 1/(6/20)*-2*(-117747)/36?
False
Suppose 120*p - 3214 = 4856 - 510. Suppose 225 = -j + 6*j. Let t = p - j. Is 6 a factor of t?
True
Let r(x) = x**2 + 11*x - 58. Let j be r(-15). Suppose -j*p - 1573 = -13*p. Does 13 divide p?
True
Let w be 42/8 + -5 - 41/4. Let v be (-24)/20*25/w. Suppose -4*g + 25 + 9 = 2*d, 3*g - v*d - 39 = 0. Is 10 a factor of g?
True
Suppose -28106 = -17*c + 32864 + 7064. Does 87 divide c?
True
Suppose 146*l - 149*l + 2*s = -5414, 3*s - 5394 = -3*l. Is 53 a factor of l?
True
Let v(h) = 3*h + 21. Let u = 43 - 50. Let k be v(u). Suppose k = -8*o + 134 + 138. Does 20 divide o?
False
Let f(l) = l**3 + 62*l**2 - 31*l - 205. Does 17 divide f(-62)?
True
Let a = 13 - 5. Suppose 2*l + a = -4*w, -6 = 3*w + 3*l - 4*l. Is (6 - (7 + w))/(1/49) a multiple of 25?
False
Let x(s) = s**3 - 18*s**2 + s + 54. Let a be x(17). Let z = -201 - a. Is z a multiple of 17?
True
Let y = 464 - 459. Suppose 0 + 4 = 2*o. Suppose -t - o*t = y*d - 115, 0 = d - 4*t. Is 10 a factor of d?
True
Let a be (0 - 2) + 3 + 3. Suppose a = -y, 0*d - 2*d = -5*y - 26. Does 29 divide 174/(-4)*(d + (-34)/6)?
True
Let x(j) = -6*j**2 - 23*j - 15. Let h be x(-6). Suppose 69 - 