(-100))?
True
Suppose -96*i - 14*i = -7376160. Is i a multiple of 16?
True
Let r = -1374 - -2654. Suppose -316 = -6*v + r. Does 38 divide v?
True
Let n(i) = i**2 + i + 1. Let h = -215 - -151. Let x be (-6)/72*4 + h/6. Does 18 divide n(x)?
False
Let k = 402 + -397. Suppose -2688 = k*a - 17*a. Is 16 a factor of a?
True
Suppose 214*w - 8560 = -3*s + 216*w, -3*s = -4*w - 8564. Is 23 a factor of s?
True
Let o(q) = -q**3 + 25*q**2 - 23*q - 32. Let f be o(24). Is 33 a factor of 177 + f + 2 + -6?
True
Suppose -67*s = -62*s - 12495. Is 119 a factor of s?
True
Let c be 2 + (2 - -13)/5. Let t be (-4 + c)*58 + (-12)/(-3). Let d = 132 - t. Is d a multiple of 7?
True
Suppose b + 6*y - 3148 = 10*y, -5*b - 4*y + 15860 = 0. Is 14 a factor of b?
False
Let u = -30 - -30. Suppose 21*v - 2732 - 2119 = u. Is 15 a factor of v?
False
Does 2 divide 6*((-1505)/(-21) + 1)?
True
Suppose -2279 = -5*m + 2851. Suppose -3*r = -9*r + m. Does 18 divide r?
False
Let d(h) = -h**2 + 12*h + 8. Suppose -2*k + 53 = 27. Let x be d(k). Let a = x + 22. Is a a multiple of 4?
False
Let o(v) = v**2 - 14*v - 108. Let m be o(28). Let r = m + -214. Does 2 divide r?
True
Suppose 30531*a = 30569*a - 867160. Is 97 a factor of a?
False
Let p = 5059 + -4487. Does 13 divide p?
True
Suppose 23*q = 27*q - 3368. Suppose 3*i = 1522 + q. Is i a multiple of 73?
False
Let n = 335 - 199. Suppose 0 = 4*d - z - 240 - 8, -2*d + 5*z = -142. Let y = n - d. Is y a multiple of 6?
False
Does 66 divide (921/6 - 2)/(3/132)?
True
Let a(n) = -30*n**3 + 8*n**2 + 2*n - 3. Let r be a(-3). Suppose 587 = 2*k - f, -3*k - 12*f + 15*f + r = 0. Does 8 divide k?
True
Let z = 8746 - 4324. Is z a multiple of 66?
True
Let q = -77 + 157. Suppose -86*d + q*d + 4326 = 0. Let k = -399 + d. Does 15 divide k?
False
Let f = -5 - -9. Suppose -6*s + 14 = -f. Does 18 divide 40 - (-1 - s)/(-1)?
True
Let m = -2880 + 6281. Does 19 divide m?
True
Suppose 8*l = 4*l - 116. Let m = l - -34. Suppose -g + 3*j + 35 = 0, -m*g + 195 = -0*g + 5*j. Is 19 a factor of g?
True
Let j(t) = -791*t**3 - 4*t**2 + 13*t + 37. Is 19 a factor of j(-2)?
False
Suppose -z + 0*l = -2*l - 1662, -12*z + 4*l + 19964 = 0. Is z a multiple of 8?
True
Suppose o = -3*l, -42*o + 3*l + 12 = -44*o. Let t(n) = -13*n**2 - 4 - 10 - n**3 - 14*n + 0*n**3. Does 10 divide t(o)?
True
Let l be 245/10 + 2/4. Suppose -3*u + l + 89 = 0. Suppose 0*t - t = -n + u, 0 = -n + 4*t + 35. Is 9 a factor of n?
False
Suppose -33*x - 12346 = -34*x + 8*g, -3*x + 37011 = 3*g. Does 131 divide x?
False
Suppose w = -w - 2*z + 110, 0 = 5*w - z - 299. Let t = w - 4. Does 55 divide t?
True
Suppose -3*r - 5*j + 30605 = 0, 167*j - 169*j - 10231 = -r. Does 18 divide r?
False
Let j(m) = -2*m**3 + 26*m**2 + m - 10. Let y be j(13). Suppose -4*r + 5*i + 1318 = -r, 1308 = 3*r - y*i. Is r a multiple of 6?
False
Is 8 a factor of (-361120)/(-61) - (2 - -3)?
False
Let s be 8 - (26/12 + (-6)/36). Does 5 divide -3 - (-20 + (s - 6))?
False
Let p = -14 - -29. Suppose 2*q + 9 = 2*t - 5*t, 4*q - 5*t = p. Suppose -j = -i + 3*j + 61, -i - 4*j + 29 = q. Is i a multiple of 15?
True
Let p be 291/9 - 7/21*-2. Suppose 2286 = -p*f + 39*f. Is f a multiple of 28?
False
Let k = 379 - 537. Let m = 268 + k. Does 22 divide 0 + 1 - (1 - m)?
True
Let s(l) = -262*l - 176. Is 74 a factor of s(-34)?
True
Suppose -2*g = 5*i - 40157, 100445 = 5*g - 576*i + 578*i. Is 62 a factor of g?
False
Let t(o) be the second derivative of 5*o**4/24 - 11*o**3/6 + 13*o**2/2 + 5*o. Let x(u) be the first derivative of t(u). Is 4 a factor of x(7)?
True
Let a = 234 - 227. Let s(f) = 8*f + 232. Does 8 divide s(a)?
True
Suppose -4*z + 2 = -2*n - 12, 5*n + 19 = 2*z. Suppose z*w = 4*w - 2*g - 142, g + 339 = 5*w. Is w a multiple of 4?
False
Suppose 53*o = 46*o + 8337. Is o a multiple of 15?
False
Let j be (-2)/(-4)*(-4 - (-1 - 5)). Suppose 3 = 2*q - j. Suppose q*o = 8*o - 468. Does 13 divide o?
True
Does 187 divide (-919270)/(-80) + (-2)/(-16)?
False
Let w = -69 + 77. Let z(x) = x**3 - 6*x**2 + 5*x - 20. Does 2 divide z(w)?
True
Let r be (1 - 2) + 2*-1 - -16. Suppose 0 = -l - z + 55, -36 = -l + 5*z + r. Let u = l + -52. Does 2 divide u?
True
Suppose -j - 1 = 13. Let v = 25 + j. Suppose 0 = v*a - 4*a - 1568. Is a a multiple of 37?
False
Suppose 7 = a - 2*o, -3*o + 4*o = -a + 19. Let y(p) = 16*p + 24*p + p**2 - 3 + 20*p - 89*p + 16*p. Is y(a) a multiple of 27?
True
Let m(i) = -i**2 + 47*i - 268. Does 17 divide m(27)?
True
Suppose 34*v + 1797 = 8121. Does 6 divide v?
True
Suppose 3*a = 9 + 78. Let r(d) = d**3 + 7*d**2 - 5*d - 3. Let q be r(-6). Let x = q - a. Is x a multiple of 5?
False
Let k(y) = 9640*y + 866. Is 206 a factor of k(1)?
True
Let d(h) be the second derivative of 31*h**4/12 - 5*h**3/6 + 2*h**2 - 11*h. Let n be d(4). Suppose -5*c + 170 = -n. Is c a multiple of 13?
True
Let y = 164 - 583. Let r = 295 + y. Let u = 206 + r. Is 13 a factor of u?
False
Let w(y) be the first derivative of 2*y**3/3 - 7*y**2 + 7*y - 12. Let j be w(7). Is (20/14 + 2)*j a multiple of 12?
True
Let j be (-8)/28 + (-1396)/14. Let u = j + 148. Suppose -5*b + u + 352 = 0. Does 20 divide b?
True
Let h(r) = 7*r**3 + 7*r**2 - 20*r - 23. Let z be h(-7). Is 2 + (-3 - 32/(-12))*z a multiple of 59?
True
Suppose 4*f = 4*p - 272, 9 = f - 5*p + 69. Let y = 69 + f. Let c(i) = -168*i + 6. Is c(y) a multiple of 29?
True
Suppose -278*n = -280*n - 3352. Does 13 divide n/(-14) + (-42)/(-147)?
False
Let f = -24916 - -35042. Is 132 a factor of f?
False
Is 9 a factor of 2267 + 72 - 30/(-3)?
True
Suppose -19*q + 18*q + 6 = 0. Let f(m) = -15*m - 6*m + 19 + q*m. Is f(-5) a multiple of 13?
False
Let w = -130858 + 207018. Does 10 divide w?
True
Let z = 3153 + 791. Suppose -z = 27*w - 26219. Is w a multiple of 13?
False
Suppose -53*u + 56*u = 771. Let m = u - 27. Suppose -235 = -s - 2*j, -2*s = -s + j - m. Does 17 divide s?
False
Suppose -2*z = 2*z + 2*m - 248, 4*z + 4*m = 252. Suppose -z = -9*o + 371. Suppose -q + 30 = c - o, 0 = 3*q - 4*c - 234. Is q a multiple of 23?
False
Suppose 3*s + 2*b = 6666, -5*s + 6504 = -3*b - 4625. Suppose -4*d - 568 = -s. Is d a multiple of 7?
False
Let v(d) = 3*d**3 - 84*d**2 - 66*d - 63. Is 21 a factor of v(29)?
True
Suppose -d = -2*t + 127, -2*d + t = -4*d - 244. Let h = d + 126. Suppose 709 = -h*x + 1690. Does 39 divide x?
False
Let z(j) = 3*j + 456. Let i be z(-11). Suppose -2*u = -3*u - 242. Let k = u + i. Does 27 divide k?
False
Let i(y) = 156*y**3 + 4*y**2 - 4*y + 2. Let l be i(2). Let x be (-6)/24 + l/8 - -3. Suppose 6*m - 7*m = -x. Is 20 a factor of m?
True
Suppose 0 = 4*i + 3*v - 14640, 1613*i = 1616*i - 2*v - 10963. Is i a multiple of 75?
False
Suppose -1465*f = -1473*f + 183920. Does 16 divide f?
False
Let h be (-6*(-1)/(-1))/((-18)/(-120)). Let n = 44 + h. Suppose -p = 5*l - 228, 2*l = n*p + 104 - 4. Does 35 divide l?
False
Let a = 34689 + -30735. Does 96 divide a?
False
Let z be 3 - (0 + 2/6*3). Is 8 a factor of ((-48)/(-20) - 2)/(z/80)?
True
Let z(o) be the third derivative of -o**2 - 7/60*o**5 + 0*o**3 + 1/120*o**6 + 1/6*o**4 + 0 + 0*o. Is z(8) a multiple of 24?
True
Let z = -1 + 0. Let c(f) be the first derivative of -5*f**4 + f**2 + f - 718. Is 4 a factor of c(z)?
False
Let w be 14/(-189) + (-274)/(-54). Suppose w*y - 3*y = -4*k + 106, 0 = -k. Is y a multiple of 3?
False
Let u = -169 - -175. Suppose -4*x + 83 = 3*t, 0 = 5*t + u*x - 3*x - 120. Is 3 a factor of t?
True
Does 8 divide 1/((-6)/(-4))*(119919/142 + 57)?
False
Let q(z) = 15*z**2 + 16*z - 16*z - z**2 - 7. Let w be q(3). Let c = w + -67. Is c a multiple of 30?
False
Let f(w) = -27*w - 36 - 24*w + 48*w. Does 36 divide f(-24)?
True
Suppose 0 = 5*m - 20, 5*m + 175 = 7*u - 2*u. Is u even?
False
Let b(q) = -10*q**2 - 40*q + 7. Let a be b(-4). Let k(u) = 4*u**3 - 5*u**2 - 15*u - 14. Is 67 a factor of k(a)?
False
Let g(v) = 5*v**2 + 4*v - 23. Let a be g(-8). Let b = -140 + a. Is b a multiple of 16?
False
Suppose x = q - 924, 18*x + 908 = q + 13*x. Does 16 divide q?
True
Let r(a) = 2*a**3 - a**2 + 6*a - 3. Let s be r(1). Let l(d) be the first derivative of -d**3/3 + 6*d**2 - 10*d - 2. Is 2 a factor of l(s)?
True
Let h be (-6)/14 - (-51480)/168. Let l = h + -110. Does 28 divide l?
True
Let a(n) be the first derivative of 20*n**3/3 + 3*n**2/2 - n - 39. Let v be a(1). Suppose -y = 4*z - 24 - 22, 2*z - v = -y. Is z a mu