8 divide i(c)?
False
Let b be (-5 + 0)/(5/(6 - 36)). Let r be (12/30)/(4/b). Suppose 5*h - 1334 = -n - n, -4*h + r*n + 1081 = 0. Is 16 a factor of h?
False
Let t be -4 - -1*(-1 - -7). Suppose 208 - 88 = t*y. Suppose r - y = 13. Is r a multiple of 8?
False
Let i(w) = w**3 - 180. Let n be 4/(-24)*-6 - (1 + 0). Let p be i(n). Is p/24*8/(-6)*31 a multiple of 46?
False
Suppose 27052 + 3356 = 21*i. Suppose i = -13*o + 3866. Is 31 a factor of o?
True
Suppose -11*y + 5*y = -204. Suppose 2*m - y = -m + 5*a, 3*m - 19 = 2*a. Suppose -c + m*d - 7*d = -25, -5*c + 235 = -2*d. Is 14 a factor of c?
False
Let m(n) = n**3 - 3*n**2 - 12. Let b be m(5). Let a = b + -32. Suppose h = a*h - 170. Is 17 a factor of h?
True
Let o(u) = -4*u - 9. Let r be o(-9). Let h be r/2 - 11/(-22). Let n = 18 + h. Is n a multiple of 20?
False
Let a(n) = 402*n - 55. Let t be a(4). Let b = -1037 + t. Does 26 divide b?
False
Let v(j) = j + 39. Let b be v(0). Let o = 41 - b. Suppose -2*n + 88 = m + 3*m, -o*m + 2*n + 38 = 0. Is m a multiple of 7?
True
Let r be (-7 - -2) + 5/((-5)/(-522)). Suppose 8*g + 5*a + 533 = 9*g, -r = -g + a. Is 9 a factor of g?
True
Let z(k) = 3*k**3 + 29*k**2 - 231*k - 26. Does 14 divide z(14)?
False
Suppose -17*x + 31395 = -x - x. Is x a multiple of 91?
True
Let u be (-32)/(-208) + 4639/13. Let h = 587 - u. Is h a multiple of 46?
True
Let y be (-1)/6 - 25/(-6). Suppose 4*t = -3*d + 132, 20 = y*d + d. Let j = 43 + t. Does 17 divide j?
False
Is 79 a factor of (-7315)/(-1881) + (-2)/(-18) + 0 + 2440?
False
Let j(b) = 18*b - 8*b - 13*b + 36*b**2 + 1. Let i be j(-2). Suppose -5 = -6*y + i. Is y a multiple of 13?
True
Is 258 a factor of ((-172)/6)/(-22 + (-122423)/(-5565))?
False
Suppose 6358 = 13*u - 22671. Does 16 divide u?
False
Let t(s) = s**3 - 2*s + 4. Let m be t(0). Let c(l) = -5*l**2 - m + 4*l + 3*l**3 - 2*l**2 - 2 + 3*l**2. Does 50 divide c(3)?
False
Let r be 5/((-116)/(-16) - 6). Suppose -4*q = 4*a - q - 179, -62 = -2*a + r*q. Is 8 a factor of a?
False
Is (-5)/(-2)*(-1740596)/(-110) a multiple of 221?
True
Suppose 908*f - 918*f = -4300. Suppose 5*p - 5320 = f. Is 73 a factor of p?
False
Let p = -103 - -110. Does 12 divide (-6)/8 + (p - (-2365)/44)?
True
Let r be (1 - -32) + -3*1 + 1. Suppose 0 = 3*u + 392 + r. Let l = u - -293. Is 13 a factor of l?
False
Let t(z) = -z**2 + 15*z + 11. Let v(q) = q**3 + 9*q**2 + 18*q - 2. Let p be v(-5). Is t(p) a multiple of 33?
False
Let k = -1022 - -1232. Is 42 a factor of k?
True
Let f(p) = 2*p**2 + 2*p - 32. Let g be f(4). Does 15 divide (66 - g/(-1))/(0 - -1)?
False
Let g = -267 + 260. Does 10 divide g/(-63) - (-3257)/9?
False
Let h(u) = 44*u**2 - u. Let i be h(-1). Suppose 3*g - 30 - i = 0. Suppose o - 31 = g. Is o a multiple of 11?
False
Suppose -1893 - 5163 = -2*q - 2*j, q - 3540 = -5*j. Suppose 1827 = 12*k - q. Is k a multiple of 11?
False
Let x(k) = 1826*k - 8307. Does 188 divide x(9)?
False
Let j(y) = -y**3 + 5*y**2 - 14*y + 3. Let t be j(-7). Let k = t - 127. Is k a multiple of 12?
False
Let g be (-108)/(-2) + -1 + -1. Let v = g + -46. Let w(y) = 7*y - 7. Does 7 divide w(v)?
True
Let k = -8118 + 11394. Is 126 a factor of k?
True
Let d = 45 + -40. Suppose -d*h + 3*c = -183, -c - c - 187 = -5*h. Suppose o + 11 = 7*j - 2*j, -3*j = 3*o - h. Is 6 a factor of o?
False
Let p be (75/10)/(-5) + 75/2. Suppose w + p*w = 13320. Is w a multiple of 24?
True
Let n(a) = a**3 - 13*a**2 + 11*a + 2. Let c be n(12). Is 9 a factor of (1386/c)/(6 - (-315)/(-50))?
False
Let q(k) = -k - 2. Let a = 10 + -14. Let p be q(a). Suppose b = 2*c + 3*c - 110, p*b + 10 = 0. Is c a multiple of 7?
True
Suppose -4*p - 3424 = -5*w, 4*p - 4485 + 1717 = -4*w. Suppose -4536 = 682*a - w*a. Is 36 a factor of a?
True
Let s = -782 - -784. Is 20 a factor of 32836/68 + s/17 + -3?
True
Suppose -5*r = 4*c - 23, 0 = 3*c - 4*r - 0*r - 25. Suppose -c*d - 6 = -5*d, -2*m = -2*d - 1202. Is m a multiple of 42?
False
Let a(c) = -c**3 + 7*c**2 + 2*c - 11. Let t(b) = b - 1. Let w(y) = -a(y) + 5*t(y). Let l be w(5). Let x = l + 116. Does 29 divide x?
True
Suppose 134253 - 40060 = 11*b. Is b a multiple of 17?
False
Let z(k) = -k**3 + 21*k**2 + 52*k - 30. Let p be z(23). Let j = 169 - p. Does 26 divide j?
False
Suppose 14 + 4 = 6*u. Let j(v) = 7*v - 21 - v**u - 16*v - 3*v**2 + 11*v. Does 25 divide j(-6)?
True
Suppose 12*i - 43 = -151. Let u(m) = -m**3 - 8*m**2 + 12*m + 2. Let r(d) = -d**3 - 8*d**2 + 13*d + 3. Let x(v) = 2*r(v) - 3*u(v). Is 2 a factor of x(i)?
False
Suppose 2*l - 10*l + 7*l = 0. Suppose -20*d + 2104 - 244 = l. Does 4 divide d?
False
Suppose 0 = -192*z - 164865 + 1993665. Does 18 divide z?
False
Suppose -4*w + 16 = 0, 2*t - 1887 = -3*w + 121. Does 24 divide t/10 + 44/(-55) - 3?
True
Suppose -70*c = 125*c - 6109155. Is 356 a factor of c?
False
Suppose 29 = -4*c + 37. Suppose -4*r = -4*s - 16, -c*r + s + 10 = 3. Suppose r*p - 79 = -5*y + 5*p, -26 = -y - 3*p. Does 3 divide y?
False
Let g = 33432 + -19939. Does 84 divide g?
False
Let t = 145 + -141. Is (1209/12 - 0)/(t/32) a multiple of 19?
False
Suppose 0 = 4*o - 16, 3*o = 4*n - 2*n + 80. Let l be 16/6*(-51)/n. Is 62*l/8 + -1 a multiple of 10?
True
Let l(a) = -5*a + 0*a**2 - a**2 + 2*a**2 + 3. Let j be l(3). Let m(i) = 10*i**2 - 5*i - 3. Is 35 a factor of m(j)?
False
Let f(z) = 2*z**3 + 3*z - 3. Let n be f(1). Suppose 0 = i + 3*y + 1 + 94, 0 = n*i - 3*y + 145. Let d = -36 - i. Is d a multiple of 11?
True
Let k = -17 + 35. Let c = -18 + k. Suppose 0*o + 5*o - 137 = -i, 5*o - i - 133 = c. Is o a multiple of 4?
False
Let o be 1/((3/105)/(-1)). Let p = -135 + 61. Let c = o - p. Is 7 a factor of c?
False
Let h(g) = -10*g - 59. Let v = 169 - 179. Is 7 a factor of h(v)?
False
Let r = -90 - -88. Does 28 divide (-38467)/(-165) + (r/15 - 0)?
False
Suppose 0 = -5*p - 2*z + 26258, 0 = -7*p - 5*z + 22100 + 14659. Is 52 a factor of p?
True
Let a(f) = -38*f + 43. Suppose 37 = -2*u - 2*d + 9, 3*d + 66 = -5*u. Is a(u) a multiple of 22?
False
Let b(z) = 116*z + 79*z + 101 - 176 + 105. Let g be b(10). Suppose 3*o = 12*o - g. Is 22 a factor of o?
True
Suppose -2*r - 10 = -2*f, 2*f - 5*r - 5 = -7. Suppose u - 262 = w, 4*w = 4*u - f*u + 1328. Is u a multiple of 8?
True
Let z be (5/1 + -3)/((-1)/2). Is 22 a factor of 250 - (-1 + 4 + z)?
False
Suppose -z - 139 = z + 5*v, 3*z = 2*v - 237. Let n = -73 - z. Suppose n*p = -5*h + 475, -p + 177 + 313 = 5*h. Is h a multiple of 18?
False
Let w = 53 + -48. Let p(u) = 8*u - 30. Let k be p(w). Suppose 0 = 4*x + 2 + k, 0 = 5*z - 4*x - 757. Is 10 a factor of z?
False
Let y = 1336 + -1182. Is 8 a factor of y?
False
Let t(d) = d**3 + 6*d**2 - 2*d - 26. Let p(c) = c**3 + 13*c**2 - 3*c - 52. Let f(w) = 2*p(w) - 5*t(w). Is f(-7) a multiple of 12?
False
Let m be (4/(1 + 0))/(-2). Let o(x) = 0*x + 25*x**2 - 6*x + 4*x + 2 - x. Does 27 divide o(m)?
True
Suppose -18*z - 11685 = -23*z. Let g = 3289 - z. Is g a multiple of 34?
True
Let z(q) be the third derivative of -q**4/24 - 11*q**3/6 - 16*q**2. Let y be z(-13). Suppose 2*b - 2*r = y*r + 86, 3*b = 5*r + 128. Is 10 a factor of b?
False
Let q = 339 + -336. Suppose q*x + 2*t + 57 = 373, -3*x = 3*t - 315. Is x a multiple of 5?
False
Let w(t) = -3*t**2 + 5*t + 7040. Is 80 a factor of w(0)?
True
Let b(h) = 50*h**2 + 59*h - 432. Is 60 a factor of b(8)?
True
Suppose -171*c - 70 = -176*c. Suppose 378 = c*v - 532. Is v a multiple of 13?
True
Suppose 0 = -5*k - 4*n - 249, -6*k + 4*k - 97 = -n. Suppose -4*m + 143 = -5*z, 4*z + 62 = 3*m - 52. Let c = z - k. Does 4 divide c?
False
Suppose -11*z + 7*z + 20 = 0. Suppose d + z = -5*p + 2*p, -5*p - 15 = 0. Suppose d*y - 118 = 254. Is y a multiple of 30?
False
Let h(j) = -241*j - 10706. Is h(-57) a multiple of 6?
False
Suppose 0 = -y + 9*y - 24. Let g be (-273)/26*4/y. Let l = g + 104. Is 30 a factor of l?
True
Suppose 29*v - 33*v - 65 = 3*i, -3*v = 3*i + 66. Let n(l) = 3*l**2 + 15*l - 254. Is 16 a factor of n(i)?
False
Let k = 451 - 9. Let p = k + -289. Let f = 32 + p. Is 37 a factor of f?
True
Let a(m) = 1001*m**2 - 254*m - 1312. Is a(-5) a multiple of 58?
False
Let i(c) = 1433 - 12*c + 6*c - 1458 - 6*c**3. Is i(-5) a multiple of 72?
False
Let t(u) = -u**3 - 3*u**2. Let h be t(-3). Let r = 1324 + -1321. Suppose 8*y - 3*y + 5*f - 15 = 0, h = r*y + 4*f - 5. Is y even?
False
Let p(t) = t**3 + 3*t + 217. Suppose 4*g - 21 = 