(-181)/4 + (1 - 3/4). Let x be (-36)/k*10/(-4). Let y = 4 - x. Is 4 a factor of y?
False
Suppose -2*z + n + 10200 = -5081, -5*z + 38200 = -2*n. Is z a multiple of 151?
False
Suppose -66 + 522 = -8*p. Is ((-208)/(-39))/((-2)/p) a multiple of 27?
False
Let z = -109 - -109. Let f = 57 - z. Suppose 0 = 7*c - 6*c - f. Does 3 divide c?
True
Let v = 2286 + -2286. Let i be (1 + -2)/(3/(-6)). Suppose v = o + p - 134, 5*o - i*p = 4*o + 128. Does 33 divide o?
True
Let i(u) = 6*u**2 - 5*u + 4. Let j be (-4)/(-14) + (-4)/((-140)/95). Let n be (-6 - -5)/(-3 + 8/j). Is 11 a factor of i(n)?
False
Let z(o) = -17*o + 405. Suppose 5 = 4*r + c, 0*r + 2*c = r + 10. Is z(r) a multiple of 15?
True
Let n = 4491 + -3727. Does 8 divide n?
False
Suppose 27 - 237 = -5*d. Suppose -d*i + 558 = -40*i. Is i a multiple of 9?
True
Let s(m) = m**2 + 2*m. Let l be s(3). Suppose -3*i + l = -0. Suppose 3*z = z + 5*j + 365, -z + i*j = -170. Is z a multiple of 30?
False
Let b = 42828 + -30301. Does 3 divide b?
False
Is (-54)/30 - 933582/(-65) a multiple of 185?
False
Let f(r) = -31*r - 1. Let n(k) = -k**3 + 6*k**2 + 6*k + 3. Let i be n(7). Let u(h) = -15*h. Let q(j) = i*f(j) + 9*u(j). Does 10 divide q(-2)?
False
Let h(q) = q**3 - 6*q**2 - 21*q + 120. Let y be h(4). Let x = 6 + -1. Suppose -m - 2*g + x = -52, y*g - 169 = -3*m. Is m a multiple of 24?
False
Suppose 352*d - 73700 = 342*d. Is 110 a factor of d?
True
Let w be (-2)/(-5)*-1 - 282/(-30). Suppose 2*y - 458 = -4*f, 699 = 3*y + 12*f - w*f. Let r = y + -69. Does 42 divide r?
True
Let t(r) = 120*r - 1824. Does 73 divide t(24)?
False
Let t = 415 - 324. Let i = 326 - t. Is 44 a factor of i?
False
Suppose 3*q + 9*i = 17*i + 9758, -4*q - 4*i + 13040 = 0. Is q a multiple of 9?
True
Is (5909 - -38) + -2 + 10 a multiple of 33?
False
Let w = -20 - -20. Let z be (w/(1 - (-2 + 2)))/(-1). Let i(q) = q**2 - q + 42. Is i(z) a multiple of 6?
True
Let v be 6/2 - 7/7. Let s be 1 + v/2*-1. Is (s - -1)/((-1)/(-39)) a multiple of 13?
True
Let z = -192 - -185. Let d(l) = -2*l**3 + 2 - 8 - 2 + 0 + 13*l - 11*l**2. Is d(z) a multiple of 8?
True
Suppose w = -15*w + 41980 + 32292. Is 103 a factor of w?
False
Let k be 376/(-16) - 1/(-2). Let a = 383 + k. Does 20 divide a?
True
Let x(b) = 8*b**2 + 96*b - 433. Is x(41) a multiple of 10?
False
Let r be 17613 + (6 - 10) + 1. Does 20 divide (4/(-6))/((-20)/r)?
False
Let j(c) = 3*c**2 + 3*c - 14. Let r be j(6). Let n = -96 + r. Does 16 divide n?
True
Let p = 13726 - 7390. Is 48 a factor of p?
True
Suppose 0 = -3*f + 4*s - 11, -3*s + 5 = f. Let j(v) = -28*v - 8 - 12*v + 4. Does 6 divide j(f)?
True
Let x(r) = r**3 + 10*r**2 + 5*r - 16. Let c be x(-9). Let g be (225/c)/((-5)/40). Is g/(-4) - (-4)/(-8) a multiple of 5?
False
Suppose 0 = -27*b - 228 - 258. Does 6 divide ((-594)/(-55))/b - 1806/(-10)?
True
Let p = 53 + 14. Suppose 3*v + 61 - p = 0. Suppose -2*r + 50 = v*z, z - 8*r + 4*r = 50. Is z a multiple of 2?
True
Let v(r) = -26*r - 65. Let b(j) = -54*j - 129. Let x(y) = -2*b(y) + 5*v(y). Let l(q) = 11*q + 34. Let k(o) = -5*l(o) - 3*x(o). Does 13 divide k(16)?
False
Let p(a) = -13803*a**3 + 7*a**2 + a - 7. Does 134 divide p(-1)?
True
Suppose -9*z = -3*z - 48. Let q(y) = y**3 - 8*y**2 - 2*y + 14. Let g be q(z). Is g/4*-6 + 78 a multiple of 14?
False
Let z be (2068/5)/((-54)/(-50) + -1). Suppose -7*c = -18*c + z. Is 10 a factor of c?
True
Let n(o) = 120*o + 2527. Does 22 divide n(66)?
False
Let c(n) = 12*n**2 + 11*n + 81. Let z(p) = -7*p**2 - 6*p - 41. Let s(j) = 3*c(j) + 5*z(j). Is s(-16) a multiple of 3?
True
Let y(w) = -w + 16. Let d be y(-2). Let b(i) = -d + 4*i + 14*i**2 - 14*i + 15*i. Does 33 divide b(4)?
False
Let v(n) = -2 - 7 + 3 - 1 + 2*n. Let m be v(8). Suppose 0 = -m*j + 196 + 866. Does 28 divide j?
False
Does 111 divide -45*8844/(-275)*5?
False
Let n(d) = d**3 - 4*d**2 - 83*d - 124. Is n(25) a multiple of 18?
True
Let b(f) = 2*f - 11. Let x be b(7). Suppose 0 = x*s + 1 - 16. Suppose 0*v = -s*v + 180. Does 6 divide v?
True
Let y be 12/(132/143) + -20. Suppose 0 = -5*q - 2*s - 41, 4*s = -2*q - q - 33. Is 28 a factor of 3/y + 0 + (-983)/q?
True
Let t(g) = g**3 - 11*g**2 + 3*g + 28. Let h be t(12). Let j = h + -54. Suppose 5*f - j = 1. Is f a multiple of 23?
False
Suppose 39 + 27 = -6*h. Let i = h - -173. Suppose -2*s + 4*v = -7 - 69, -3*v = -5*s + i. Does 3 divide s?
True
Let w(f) = -4082*f + 72. Is w(-6) a multiple of 178?
True
Suppose o - 2*z = 2978, 5*z + 2153 = 2*o - 3796. Is 44 a factor of o?
True
Let r(j) = -j**2 + 6*j + 25. Let v be r(8). Suppose 20 = 4*h, 3*h + v = 4*d + 56. Is 8 + (-4)/(d/10) a multiple of 4?
False
Suppose 10190 = 15*w + 65. Does 60 divide w?
False
Suppose 5*h - 443 = -4*f - 1343, 3*h = 0. Let j = f + 797. Is j a multiple of 52?
True
Let u = 664 - 1024. Let p = u - -231. Let o = p + 161. Is 16 a factor of o?
True
Let f be -886*24/(3 + -7). Suppose 4*i - 1080 = -v, 5*v = 34*i - 33*i + f. Is v a multiple of 28?
True
Suppose 3*g = -2*g - 15. Let a = g + 78. Let y = 99 - a. Is y a multiple of 8?
True
Suppose -3*k = -4*w + 51416, -14*k = -w - 11*k + 12845. Is w a multiple of 129?
False
Is 19 a factor of 19/(950/30) + 146677/5?
True
Let r(z) = 6*z**2 + 11*z + 12. Let s be r(-11). Let f = s + 22. Does 9 divide f?
True
Suppose -59608 - 82862 = -15*i. Is i a multiple of 9?
False
Let m be ((-5)/15*3)/(4/48). Is 7 a factor of (-2352)/14*4/(64/m)?
True
Suppose 2*b + 8 = 0, -c = -0*c - 4*b - 247. Suppose 5*h + l + c = 0, 2*l - 4*l - 86 = 2*h. Let y = 144 + h. Does 17 divide y?
False
Suppose 0 = -4*j + 5*j - 70. Let p = j - 54. Let r(d) = d**3 - 16*d**2 + 16*d - 4. Does 12 divide r(p)?
True
Let j = 7334 + -3894. Is j a multiple of 16?
True
Suppose -12 = -o - 3*o. Let z be 2 + -1 + (-1)/(6/(-18)). Is 4 a factor of (z - 2) + 35 + o?
True
Is (12/(-4)*(-24)/(-36))/((-4)/16422) a multiple of 44?
False
Let l = -92 - -64. Let v = 53 + l. Suppose v + 17 = 2*k. Is 12 a factor of k?
False
Let o be 1 - 22/(-4) - (-357)/238. Suppose -13*y + 3*w + 468 = -o*y, -2*w + 8 = 0. Does 2 divide y?
True
Is (-54 + 37)/((-4)/1404) a multiple of 64?
False
Suppose -14*x + 66 = -2552. Suppose 4*s = 2*l + x + 1171, 1363 = 4*s - l. Is s a multiple of 18?
True
Suppose 0 = -33*i - 132*i + 9900. Let v be 170/(-8) + (-1)/(-4). Let r = v + i. Does 14 divide r?
False
Let m be (4 - 0)*3*(38 - 32). Let l(a) = -a**2 + 3*a + 2. Let r be l(-6). Let o = m - r. Is o a multiple of 13?
False
Is 31080/16*(-8)/12*-1 a multiple of 10?
False
Let y = 108 + -105. Let p(z) = -9 + y*z + 4*z - z. Is 7 a factor of p(4)?
False
Let d be (18/36)/((-1)/(-4)). Suppose 159 + 65 = d*s. Does 6 divide s?
False
Let v(l) = -5*l**3 - 21*l**2 - 4. Let w(m) = -61*m**2 + 3066 - 2*m - 14*m**3 - 3079 + m. Let q(s) = -17*v(s) + 6*w(s). Is q(12) a multiple of 50?
True
Suppose 2198 = 3*s - 17*s. Let u = 184 + s. Is u a multiple of 27?
True
Suppose -57099 - 28692 = -12*a + 4161. Is a a multiple of 53?
False
Let j(o) = 331*o + 70. Let w be j(14). Suppose -18*t = 6*t - w. Does 14 divide t?
True
Let x = 8455 - 1642. Does 9 divide x?
True
Let o(d) = -2*d**3 - 3*d - 48. Let x be o(0). Is 18 a factor of ((-12)/(-5) + -2)*(1482 - x)?
True
Let l(x) = -8*x**2 + 2*x - 3. Let s be l(-2). Let v = s + 41. Suppose g = v, 3*o + g - 255 = -73. Is o a multiple of 15?
True
Let q be (-2)/8*6/(-3)*10. Let r(i) = i**2 - 6*i - 2. Let a be r(q). Let d(b) = -17*b - 23. Is d(a) a multiple of 25?
False
Suppose 2*h = -9*h - 5170. Is 11 a factor of 3 - ((h - -3) + 3 + -1)?
False
Let c(j) = 2*j**3 + 2*j**2 + j + 1. Let m be c(2). Suppose 0 = 5*l - 20, 2*l + 38 = -2*o - 6. Let v = m - o. Does 12 divide v?
False
Suppose -1468*w = -1451*w - 17119. Is 2 a factor of w?
False
Let y = 51 + -47. Suppose 4*d = -0*d + 12. Suppose -y*r + 86 = w + w, d*w = 3. Is 2 a factor of r?
False
Let j be (-1)/((-27)/6 - -5). Let a be 1/(1/j) + -328. Let p = a + 495. Is 11 a factor of p?
True
Suppose f = 3*d - 220325, 4*f - 44651 = -2*d + 102251. Is 18 a factor of d?
False
Suppose -46*i + 26*i + 95400 = 30*i. Is 12 a factor of i?
True
Let d = 19008 - 11169. Suppose 0 = -22*z + d + 2457. Does 12 divide z?
True
Suppose 5*d + p = 832, 4*d - 4*p = 3*d + 158. Let c = -104 - -185. Let h = d - c. Is 18 a factor of h?
False
Let g be 3/3 - (-6 + 5) - (-18)/(-9). Let h(q) = -2*q**3 + q**3 + 60 - q + 0*q**3. Does 6 divide h