10 + (-22)/i + -4. Is 4 a factor of 0 + -2 + (o - 4)?
False
Suppose 45*c = -4*c + 18277. Suppose 0 = -7*h + 6*h, v + 3*h - c = 0. Is v a multiple of 32?
False
Is (705/(8 + 7))/((-2)/(-110)) a multiple of 89?
False
Suppose 4*u = -30*u + 11526. Let n = 276 + u. Is n a multiple of 15?
True
Is (8/6)/((-17)/(2561169/(-26))) a multiple of 23?
False
Let z be (-175)/(-30) - (-15)/(-18). Let g(b) = 43*b - 20. Does 4 divide g(z)?
False
Let c be ((-54)/8)/(1/(-4)). Let p be (-75)/(-21) - 33/(-77) - -623. Is 3 a factor of (-4)/18 + p/c?
False
Let z(t) = -t**3 - 8*t**2 - 8*t - 1. Let c be z(-8). Suppose -4*r - 11 = -c. Is 2 a factor of r/(((-6)/(-4))/((-21)/(-14)))?
False
Suppose 180216 = 101*t - 59555 - 438444. Is t a multiple of 90?
False
Let j(n) = n**2 - 13*n + 6. Let o be j(7). Let q = -204 + o. Let a = -166 - q. Is a a multiple of 9?
False
Let m(d) = 65*d**2 + 5*d - 2. Let r be m(3). Let l be (8/30)/(-2) + r/(-15). Does 13 divide 1 - (3 - -1) - 3*l?
True
Let g(i) = -24*i**3 + i**2 + i + 1. Let k = 0 + 2. Suppose 0 = 2*c + 5*v - 23, -14 = k*c - 3*v + 3. Is g(c) a multiple of 11?
False
Suppose -4*b = -0*b - 40. Let o(v) = -v**3 + 4*v**2 - 11*v - 18. Let w be o(-6). Suppose 0 = 2*j + b*j - w. Is 34 a factor of j?
True
Let f = 510 - 498. Let w(d) = -2*d**3 + 28*d**2 + 7*d + 36. Does 8 divide w(f)?
True
Suppose -5*d = -3*s - 31969, -4*d - 3*s + 24414 + 1118 = 0. Is d a multiple of 3?
False
Let x = -856 + 858. Suppose -p - x*p + 4*m + 530 = 0, 2*m + 874 = 5*p. Does 4 divide p?
False
Suppose y - 5 = 3*m, 4*y + m + 5 - 12 = 0. Suppose -c = 18 - 34. Suppose y*a = 3*f - 86, -50 - c = -2*f - 3*a. Does 6 divide f?
True
Let b(v) = 38*v**2 - 3*v - v**3 - 6 - 42*v**2 - 9 - 4*v. Does 9 divide b(-6)?
True
Suppose 13*a + 375324 = -429116. Is (-5)/(-4) + (a/(-32))/13 a multiple of 6?
True
Let s be (-6224)/28 - 6/(-21). Is 3 a factor of ((-14)/35)/(1 - s/(-220))?
False
Suppose 0 = 4*s - 2*k - 4270, 2114 = -60*s + 62*s + 6*k. Is s a multiple of 48?
False
Let l = -9720 - -15031. Is l a multiple of 33?
False
Let w(s) = -178*s**3 - 2*s**2 + 2*s - 1. Let t be w(1). Let z = 1903 + -2213. Let i = t - z. Does 51 divide i?
False
Let q(c) = 2*c**3 + 54*c**2 - 15*c + 13. Is 42 a factor of q(-19)?
False
Let g(z) = -202*z**3 + 3*z**2 - 30*z - 3. Is 24 a factor of g(-3)?
True
Let n(z) = z**2 + 5*z + 4. Let m be n(-3). Let f be (1 - (-3 - m)) + (-54)/(-9). Is 36/f + 1/2 a multiple of 5?
True
Suppose 0 = r + 2, 82117 = -4*f + 8*r + 293489. Does 12 divide f?
False
Let l be -4 + -283 - (-2)/1. Let t = l - -1543. Is t a multiple of 34?
True
Suppose -59 = 2*f + 389. Let g = f - -362. Does 23 divide g?
True
Let p be (-15)/(-60) + (-2)/8 - -124. Suppose -u + p = -3*w, -6*u + u - 5*w + 680 = 0. Does 9 divide u?
False
Suppose -k + 9*k = k. Suppose 16 = 4*m, k = -v + 3*v - 3*m - 126. Suppose 2*i - v = 131. Does 31 divide i?
False
Suppose 6246 = -48*h - 3*h + 29196. Does 5 divide h?
True
Let l = -3207 - -14264. Does 5 divide l?
False
Suppose -29*o - 1583584 = -36*o - 75*o. Is 68 a factor of o?
True
Let z(i) = -i + 136. Let d be (16/6)/(26/39). Suppose d*w + 0*w = 3*w. Does 17 divide z(w)?
True
Let k be (24/9)/((-2)/60). Let a = 89 + k. Is (-3)/a - (-246)/9 a multiple of 14?
False
Let y = -27 - -25. Let x be (21/3)/1 - (y + 1). Suppose -10*b + 346 = -x*b. Does 36 divide b?
False
Is 60 a factor of (7 + 41332/(-20))*(-5)/2?
False
Let g(z) = 4*z - 16. Let i be -11*(-6 - (-36)/9). Does 3 divide g(i)?
True
Let r(q) = 1092*q**2 + 4*q. Let s be r(2). Suppose -13130 = -5*m + l - s, -2*m = 5*l - 3507. Suppose 0 = -8*f + m + 369. Is f a multiple of 53?
True
Suppose p = -b + 4329, -3*p - 696 + 13677 = 5*b. Suppose -p = -52*q - 380. Is 4 a factor of q?
True
Let x = -14 + 17. Suppose x*o - 4*z - 10 - 142 = 0, 5*o - 2*z = 230. Let v = 53 - o. Is 6 a factor of v?
False
Let r be 2 + 4/8*-2. Let q(k) = -4 + 11*k + 8 - 21 - r. Does 12 divide q(8)?
False
Let l be 4 + 1/(-1 - 0). Suppose 173*x = 169*x + 8. Suppose -175 = -2*c + v + x*v, 4*c = l*v + 335. Is 20 a factor of c?
True
Let b be (-3)/(-10)*(-416)/(-156)*5. Let f be (3/9)/((-1)/(-39)). Suppose b = 4*q, f = 2*w + 5*q - 62. Is 35 a factor of w?
True
Does 17 divide (2210/(-221))/((-2)/2890)?
True
Suppose -180*a + 254767 = 48625 - 178878. Does 41 divide a?
False
Suppose 2*t + t + 123 = 0. Let u = 41 + t. Let a = u - -28. Is 5 a factor of a?
False
Let a be (21/6)/(7/406). Suppose 4*h + a = -21*n + 22*n, -5*h + 239 = n. Is n a multiple of 34?
False
Suppose k = 7, -2*c + 3042 = -k - 8611. Is 5 a factor of c?
True
Let q be (-58)/(-87) - (-2 + (-6)/(-9)). Is (15/q)/(-3)*(-579 + -17) a multiple of 19?
False
Suppose 0*u + 2*f + 26466 = 4*u, 0 = -4*f + 20. Is 18 a factor of u?
False
Suppose 5*o = 4*v - 91981, 2626*o - 2622*o + 91988 = 4*v. Does 45 divide v?
False
Let h be 3*5/30 - 679/2. Let g = h + 515. Is g a multiple of 22?
True
Suppose 562*v = 525*v + 201798. Is v a multiple of 101?
True
Let x(s) = s + 8. Let l be x(-4). Suppose -4*t + o + 213 = 0, -5*t + 178 = -l*o - 80. Suppose 0 = -14*p + 11*p + t. Is 14 a factor of p?
False
Let j = 13447 + -10744. Is 5 a factor of j?
False
Let m(n) be the second derivative of n**4/12 - 11*n**3/6 + 11*n**2 + n. Let b(g) = g**3 - 4*g**2 + 6*g + 10. Let l be b(3). Does 17 divide m(l)?
False
Suppose 0 = 15*w - 4*w - 198. Let j be -151 + (-8)/(-36) + (-4)/w. Let m = -50 - j. Does 29 divide m?
False
Suppose -2*r + 5866 = 5*b, 6*b - 7*b - 5854 = -2*r. Suppose 3*s + 681 = r. Is s a multiple of 57?
False
Does 6 divide (3 - 6) + (-6)/((-24)/4300)?
False
Let g(n) be the second derivative of n**6/360 - 17*n**5/120 - 13*n**4/24 - n**3 - 19*n. Let x(u) be the second derivative of g(u). Is x(18) a multiple of 5?
True
Is -1 + (20582 - (-56)/(-8)) a multiple of 81?
True
Let f = 24 + -28. Let s be (-6)/1*(-30)/f. Does 8 divide 12/(-3 - s/14)?
True
Suppose -73*h + 156 = -70*h. Let p = h + -47. Suppose 2*b + p*k - 195 = 0, -b + 101 = -12*k + 11*k. Is b a multiple of 10?
True
Is (-156)/(-5)*(1764/21 - 24) a multiple of 18?
True
Let u = -6767 - -11372. Does 59 divide u?
False
Let g = -130 + 133. Is 83 - ((-2 - -1) + g + -3) a multiple of 12?
True
Let t(s) = -5*s - 11. Let y(l) = 5*l + 6. Let q be y(-2). Let w be (1 - q)*(7 - 8). Does 14 divide t(w)?
True
Let s(z) be the second derivative of -z**4/3 + z**3/3 + 57*z**2/2 - z + 10. Is s(0) a multiple of 19?
True
Suppose -45 = -12*i - 153. Let f(g) = -39*g - 198. Does 9 divide f(i)?
True
Let n be 2/(2/(68/(-1))). Let s = -34 - n. Suppose -3*u + 23 = -s. Is 2 a factor of u?
False
Let g = -2412 + 3662. Is 5 a factor of g?
True
Let t(z) = -163*z + 113. Let v be t(9). Let y = -838 - v. Does 34 divide y?
False
Let p(l) = l - 32 + 2*l**2 - 7*l + 0*l + 2*l. Is p(12) a multiple of 15?
False
Let z(n) = 19*n - 14. Let k be (-138)/(-24) - 3/(-12). Let t be z(k). Let a = t + -41. Is 15 a factor of a?
False
Suppose m + 0*m + 3*f = -3, -5*f = 2*m + 4. Suppose -150 = m*k - 501. Is 39 a factor of k?
True
Let f(k) = 2*k - 11. Let w be f(7). Suppose -63 = -w*q - 69. Is ((-1)/(1/8))/(q + 0) a multiple of 4?
True
Let y = 10017 - 5025. Is y a multiple of 104?
True
Let v(w) = 117*w**2 + 50*w - 129. Is 7 a factor of v(3)?
False
Let b(p) = -23*p + 813. Is 41 a factor of b(-93)?
True
Let y be -2 - 1 - 2/(-4)*1286. Suppose 10*m = 14*m - y. Is 13 a factor of m?
False
Let x(j) = -j**2 - 6*j - 1. Let a be x(-5). Suppose 0 = 5*k - 4*o + 21, 4*o - 11 = -a*k + 1. Let t(u) = 60*u**2 + 5*u + 5. Is 12 a factor of t(k)?
True
Suppose 4*v = -5*h + 4404, 2*h - 197 = v - 1311. Is 158 a factor of v?
True
Is (-27904)/(-18) - ((-215)/45 - 5/(-1)) a multiple of 31?
True
Suppose -u + 3 + 0 = 0. Suppose a = 2*z - 14, 5*a - z = -u*z - 106. Let v = 40 + a. Does 6 divide v?
False
Let g = 72 - 68. Suppose -17 = g*d - 9. Is -2 + (-573 - 5)/d a multiple of 59?
False
Let j be (1 + 37)/(-1 - -3). Let t = 24 - j. Suppose 3*m = -t*v + 130, -2*m + m = -3*v - 20. Does 4 divide m?
False
Does 12 divide 3 + (-54)/(-48)*12*1086?
True
Let s be 8*-2*(-3 + 1)/2. Suppose k + 16 = s. Suppose -f = 3*p - 21, k = -3*p + 2*f + f + 9. Is p even?
True
Let x = 882 + 1862. Is 14 a factor of x?
True
Is 7 a factor of (9956/(-75) - (-336)/4200)*-42?
True
Is ((-436)/(-1199) + (-28136)/(-66))/(6/45) a multiple of 200?
True
Let k = -4456 - -5047. Is k a multiple of 6?
False
Let 