+ (-55)/(-3) a multiple of 2?
False
Suppose -4*w + 1228 = 4*o, 4*w - 329 - 593 = -3*o. Is 9 a factor of o?
True
Suppose 2*h + 2*h - 2*m = 1678, -3*m + 3 = 0. Does 70 divide h?
True
Let c(l) = l + 169*l**2 + 7*l**3 + 73*l**3 - 169*l**2. Let z(b) = -b + 7. Let n be z(6). Is 24 a factor of c(n)?
False
Let p = -19 - -24. Suppose 0 = 5*k + p*y - 115, 5*y = -3*k + 38 + 35. Is 9 a factor of k?
False
Suppose 6 = -2*i, 0*a + 2*a - 12 = 4*i. Is 20 a factor of (2 + -3 + a)*-109?
False
Suppose -100*z + 101*z = 189. Is z a multiple of 16?
False
Is 18/(((-168)/119)/(-12)) even?
False
Let w be 1/(1/(-2)) - 2. Does 6 divide ((-5)/(5/w))/(8/68)?
False
Let d(h) = -4*h**2 - 3*h**3 + 2*h**2 - 3*h**2 + 6*h**2. Is 9 a factor of d(-3)?
True
Let w(s) be the second derivative of -23*s**3 + 2*s**2 + 12*s. Let q be w(-3). Suppose q = 3*g + 136. Does 17 divide g?
False
Suppose 62 = 3*b + 5*f, 10 + 6 = 4*f. Suppose b = h - 32. Is 5 a factor of h?
False
Let k = -1 + 5. Suppose k*q + 2*p + 13 = -q, 4 = -2*q - 2*p. Is -2 - q - -2 - -9 a multiple of 6?
True
Suppose 2*u - 3*i - i - 76 = 0, -u = -3*i - 36. Is u a multiple of 12?
False
Let q be (-24)/(-1) + 6 + (1 - 4). Suppose -6*t + 15 = -q. Does 7 divide t?
True
Let y(d) be the third derivative of d**7/360 + d**6/360 - d**5/40 + 5*d**4/24 - d**2. Let o(c) be the second derivative of y(c). Is o(-3) a multiple of 17?
False
Suppose 3*o = 5*h + 3770 - 13151, -h + 1873 = o. Is 15 a factor of h?
True
Let j(d) = -2*d - 8*d + 4*d**2 - 3*d**2 + 0*d**2 - 1. Does 5 divide j(14)?
True
Does 30 divide (3 - (102/24 + 0))*-96?
True
Suppose -5*x + 14*x - 342 = 0. Suppose -l - 3*i - x = 0, 2*l - i + 2*i = -96. Let v = -40 - l. Is 7 a factor of v?
False
Let q(a) be the first derivative of -a**2/2 + 9*a - 6. Let c be q(0). Suppose 4*z = c*z - 265. Is z a multiple of 16?
False
Let g = -36 + 46. Suppose -d + 37 = -3*b, 4*b + g = -2. Let l = 45 - d. Is 17 a factor of l?
True
Let h = -316 - -336. Is 10 a factor of h?
True
Let j = 11 + -11. Suppose 3*c + j*c = -12, 5*c + 290 = 5*s. Is s a multiple of 18?
True
Suppose 5*t - 8*p + 6*p - 5268 = 0, -t + 1059 = 5*p. Is t a multiple of 8?
False
Let f = 2979 + -1673. Does 8 divide f?
False
Suppose -2*g = 3*l + g + 114, -g = -5*l - 190. Let v = l + 130. Does 17 divide v?
False
Let a = 1889 - 502. Is 6 a factor of a?
False
Let r be (-117)/26*4/(-6). Let s be (3 + -4)/(1/(-3)). Suppose b - 4*d + r = 25, 2*d = s*b - 56. Is b a multiple of 9?
True
Let k(x) = x + 3. Let y be k(4). Let l(r) be the first derivative of r**2/2 + 9*r - 10. Does 8 divide l(y)?
True
Let s = 22 - 16. Let g be ((-296)/s)/(2/(-3)). Suppose 3*n - g = -u, -5*u - 44 = -3*n - 0*u. Does 9 divide n?
False
Suppose -170 = 2*p - 7*p. Let r = -2 + p. Is 16 a factor of r?
True
Let y be 2 - -3*1/(-1). Suppose -a - 2 + 1 = 0. Is 2 a factor of 2 + a + y - -3?
False
Let d(y) = -226 + 105 + 7*y + 114. Is d(11) a multiple of 7?
True
Let q = 3 + 0. Let y(t) = 10 + t**q + 7*t - 5*t**3 - 10*t**2 + 3*t**3. Does 22 divide y(-11)?
False
Let i(s) be the first derivative of s**3/3 - 5*s**2 + 8*s + 5. Let j be i(10). Let o(u) = u. Does 5 divide o(j)?
False
Let q = 28 - -2. Does 16 divide -2*((-5)/q - 239/6)?
True
Let u be (-2)/(-8) - (-3224)/32. Let n = u - 65. Is n a multiple of 12?
True
Suppose 4*p = -2*m + 7*m + 2922, 0 = 4*p + m - 2910. Is p a multiple of 8?
True
Suppose -29 - 45 = -f + 4*s, 171 = 3*f + 5*s. Does 2 divide f?
True
Suppose -4 = -3*l + 2*l. Suppose 2*q - l*q = 12. Is 7 a factor of ((-4)/q)/(6/225)?
False
Let a(z) = 4 - 1 - 5 + 3. Let s(d) = -5*d**2 + d + 2. Let c(p) = 3*a(p) - s(p). Does 23 divide c(-3)?
False
Let n(z) = z**2 + 8*z + 13. Let o = 4 - 0. Suppose -o*s = -7*s - 2*k - 28, 2*k = -s - 8. Is n(s) a multiple of 11?
True
Let s(v) = -19*v**3 + v**2 + 11*v**3 - 6 - 4*v**2 + 9*v**3 + 7*v. Does 7 divide s(4)?
False
Let k(f) = -f**2 + 11*f - 9. Let o be k(10). Let a be -258*(-2)/4*o. Suppose 0 = -5*u + a - 9. Is u a multiple of 12?
True
Let p(j) = 5*j + 7. Let v be p(-4). Is 13 a factor of 0 - v/(-2*(-3)/24)?
True
Let u be 7/56 - 46/(-16). Suppose 0 = -2*m + m + u. Suppose -4*w + 3*w = -m, -4*k + 3*w = -55. Is k a multiple of 4?
True
Suppose -7*x - 18 + 46 = 0. Suppose 0 = i - 3*n - 401, 1945 = 5*i + x*n + n. Is 56 a factor of i?
True
Let c(v) = 14*v + 12. Let h be c(10). Does 19 divide h - 5*(1 + (-12)/20)?
False
Suppose t = 5*x - 7349, -4*x = 8*t - 7*t - 5881. Is x a multiple of 35?
True
Let n(c) = -2*c**2 + 77*c + 450. Is 2 a factor of n(39)?
False
Let c = 984 - -66. Is 70 a factor of c?
True
Let t(c) = -c**2 + c. Let f(a) = 37*a**3 + 2*a**2 - 3*a + 1. Let k(l) = f(l) + 2*t(l). Is 6 a factor of k(1)?
False
Let h = 1360 - 784. Is h a multiple of 10?
False
Let q = 1886 - 1736. Is 10 a factor of q?
True
Let d be 44/(-4*(-4)/32). Suppose 0 = 5*z + 3*p - 656, z + 3*p - 101 - 35 = 0. Let j = z - d. Is 14 a factor of j?
True
Suppose -4056 = -20*j + 9124. Is j a multiple of 16?
False
Let q be 63/(-18)*2*-3. Let d = q - -4. Suppose -23 = -3*f + 5*l, -5*f - 4*l = l - d. Is f a multiple of 6?
True
Let v be (12/(-10))/(3/(-180)). Let p = v + -117. Is 3/(-9)*(p - 0) a multiple of 5?
True
Let s(p) = p**3 - 4*p**2 - 11*p - 4. Let u be s(6). Suppose u*q + 75 = 5*q. Is q a multiple of 5?
True
Let y = -848 + 1152. Does 8 divide y?
True
Suppose 2*l = -8, 12 + 114 = k - 5*l. Suppose 476 = 5*q + 3*g - g, -5*g = -q + k. Is 16 a factor of q?
True
Let h(o) = 9*o**2 + 3*o - 10*o**2 + 4*o + 13. Does 3 divide h(8)?
False
Let c = -96 - -57. Let k = 24 + c. Is 14 a factor of (-51 + 0)*5/k?
False
Does 30 divide (96/(-56))/(-4) - (-498)/14?
False
Let t be ((-81)/36)/((-3)/(-16)). Is (-4)/t*339 + 1 a multiple of 57?
True
Suppose v = -r + 185 + 326, -r + 514 = 4*v. Is r a multiple of 12?
False
Let a(t) = -t**2 + 9*t - 6. Let q be a(8). Is 4 a factor of 1/(q/33) + 14/(-28)?
True
Let b(s) = -2*s**3 + 2*s**2 + 11*s. Let m be b(-3). Let a = m + 321. Does 18 divide a?
True
Suppose -4*p = -3*j + 77, -2*j + 0*j + 3*p + 52 = 0. Is j a multiple of 8?
False
Suppose -3*z - 2*u = -56, -z - 34 = -3*z - 2*u. Suppose 56 = -5*n - 54. Let c = z - n. Does 25 divide c?
False
Suppose 4*t - 297 = -5*t. Suppose 5 = 34*r - t*r. Does 2 divide r?
False
Let b be (-7)/2 - -5 - 2/(-4). Suppose 0*u - 25 = 5*u, -22 = -4*p - 2*u. Suppose -v = -p + b. Does 4 divide v?
False
Let x be -2 - -1 - 3/((-6)/116). Let a = 88 - x. Does 6 divide a?
False
Let b(z) = 12*z + 4*z**2 - 7*z**2 + 4*z**2 - 32*z - 28. Is 16 a factor of b(22)?
True
Let r(m) = 7*m**2 - 2*m - 3. Let j be r(-1). Let n(a) = 2*a**3 - 12*a**2 + 2*a + 16. Does 8 divide n(j)?
False
Suppose 63 = 39*b - 42*b. Is 4 a factor of b*(0/(-2) + 1 + -2)?
False
Suppose -4*s + 2*r + 365 = -3*r, -r = 4*s - 383. Is 7 a factor of s?
False
Is ((-3)/2)/((-29433)/(-2676) - 11) a multiple of 17?
False
Let k(s) = -2 + 30*s + 31*s + 16*s - 12*s. Let o be k(1). Suppose 2*l = -3*g + o, -4 = 4*l - 5*g - 75. Does 21 divide l?
False
Let h(v) = v**2 + 12 - v**3 - 13 + 0*v**3 - 13 + 2*v. Is 9 a factor of h(-5)?
True
Let z(f) = f**3 + 9*f**2 + 7*f - 5. Let j be z(-8). Suppose u - j*w - 96 = 0, 4*w - 13 = -u + 76. Is u a multiple of 15?
False
Suppose -42 = 4*m - 114. Suppose -m*h - 540 = -21*h. Is h a multiple of 30?
True
Let l(x) = -x**2 + 7*x + 8. Let j be l(8). Let m(v) = -v**2 + 189. Is 34 a factor of m(j)?
False
Suppose 1997 = 14*n - 2903. Is 70 a factor of n?
True
Let g = -3049 - -4487. Is 56 a factor of g?
False
Suppose 0 = -7*j + 277 + 269. Is j a multiple of 39?
True
Let c(r) = r**3 - 18*r**2 - 77*r + 2. Is c(24) a multiple of 10?
True
Let x(l) = -5*l**3 - 3*l**2 - 2*l - 2. Let z = -6 - -8. Suppose -5*v + 4*v + 4 = 0, -2*v = -z*a - 12. Does 9 divide x(a)?
False
Let g(f) = 4*f**2 - 8*f + 34. Does 10 divide g(-9)?
True
Suppose 4*v + 5*a - 962 = 0, -2*v + 5*a = -736 + 270. Does 7 divide v?
True
Suppose -4*i + 0*i + 3*r = -23, 0 = 2*i - r - 9. Let h be (39/52)/(i/88). Suppose 0*p + p = h. Does 4 divide p?
False
Let h be (-8 - -6) + (-94)/(-1). Suppose h = -5*c + 652. Is 16 a factor of c?
True
Let z(i) = 124*i**2 + 17*i + 61. Is 39 a factor of z(-3)?
False
Let w be (-36)/8*200/(-6). Suppose -5*n - 2*b + w = 0, -126 = -3*n - b - 35. Suppose 4*l - n = 40. Is l a multiple of 5?
False
Suppose 4*g + 9 = 7*g. Suppose -3*v = 4*o - 164, 2*v + g*o = -v + 159. Does 8 divide v?
Tru