 s be (-16)/56 + 256/14. Suppose o - s = -o. Let q(k) = -k**3 + 8*k**2 + 10*k + 3. Is 6 a factor of q(o)?
True
Suppose -k + 6*k - 174 = 4*j, -k = 2*j - 46. Let s = 34 + k. Is 18 a factor of s?
True
Let r(p) = -p**3 + p + 162. Let n be r(0). Suppose 2*u - 10 = a + 5*u, 0 = 5*a + 2*u - 2. Suppose -a*v + n = -5*i, 4*v = v - 5*i + 268. Is 27 a factor of v?
False
Let k(x) = 2*x**2 + 6*x - 3. Let a be k(-6). Let w = 8 - 4. Suppose 7*f - w*f = a. Is 11 a factor of f?
True
Suppose 3*l + m = 149, -3*l - 6*m = -2*m - 146. Does 50 divide l?
True
Does 10 divide -2 + (-2398)/(-1) + 3?
False
Let n = 81 + -56. Suppose 6*p - 45 = 3*p. Let y = n - p. Is y a multiple of 10?
True
Suppose -v - 3*q = 9, v + 5*q + 5 = -14. Is 5135/39 - 4/v a multiple of 20?
False
Let n(h) = h + 50. Let z(p) = p**2 - 4. Let k be z(-2). Is n(k) a multiple of 20?
False
Let t be (-1 + 5)/(40/450). Let f = 55 + -34. Let q = t - f. Does 6 divide q?
True
Let r(w) = 2*w + 18. Let h be r(8). Let y = -5 + h. Is y a multiple of 14?
False
Let t(z) = -8*z. Let n be t(-3). Let o be (-300)/n*(-32)/10. Let i = o - 22. Does 9 divide i?
True
Let q = -2925 - -4357. Is 8 a factor of q?
True
Suppose 8*n = 5*n - 4*t + 3166, -3*n + 4*t = -3158. Does 34 divide n?
True
Let z = 1352 - 1117. Does 5 divide z?
True
Let l = -48 - -63. Is ((-194)/4)/((-5)/(-5 + l)) a multiple of 10?
False
Suppose -2*c = 2*c - 2*h, 3*h = 4*c + 4. Suppose c*q + 0*q = 3*z + 342, -682 = -4*q + 5*z. Does 15 divide q?
False
Let b(r) = r**2 - 9*r - 4. Let h be b(10). Let v(p) = -p + 4*p - 1 + h*p**2 + 14*p**2 - 2*p. Does 4 divide v(1)?
True
Let g(p) = 4 + 76*p**2 + 61*p**2 - 54*p**2 - 3. Is g(1) a multiple of 14?
True
Suppose -3*l + 513 = -12*l. Let s = l + 70. Does 13 divide s?
True
Is 1*-7*(7344/(-112) + -17) a multiple of 12?
False
Is 4/((-10)/(-2)*(-4)/(-50)) a multiple of 7?
False
Let w(f) = f**3 - 32*f**2 + 14*f + 37. Is w(32) a multiple of 12?
False
Let p(o) = 13*o - 1. Let j be p(5). Let c = j - -41. Let f = c - 68. Is f a multiple of 13?
False
Suppose -1023 = 4*r + 5*y - 4141, -4*r + 2*y + 3104 = 0. Is r a multiple of 20?
False
Suppose k + 5*j - 725 = 0, 3*j + 33 - 2172 = -3*k. Is k a multiple of 21?
False
Suppose 2*i + 3*r - 760 = 979, -3*r + 4361 = 5*i. Suppose -2*c = -4*g + 734, -150 = 4*g - 4*c - i. Is 41 a factor of g?
False
Let w = 233 + -43. Let c = 272 - w. Does 18 divide c?
False
Let z(n) = n**2 - 18*n - 60. Let s be z(21). Suppose -3*a = -5*u + 191, -s*a = 6*u - 4*u - 68. Is 37 a factor of u?
True
Suppose 4*m = 4*p - 10380, 2*p - 11*m = -8*m + 5189. Is p a multiple of 20?
False
Let y(g) = 7*g**3 - 3*g**2 + 6*g - 1. Let k(n) = n**2 - n. Let d(x) = -5*k(x) - y(x). Let a be d(-1). Suppose -a*p = 20 - 174. Does 22 divide p?
True
Is (-8)/3*(-2 - 935/20) a multiple of 10?
True
Suppose -2*f - 4 = 2*d, 4*d + 16 = 2*d + 2*f. Let j(r) = -2*r**2 + 6*r. Let b(l) = -l**2 + 5*l + 1. Let x(p) = 3*b(p) - 2*j(p). Is x(d) a multiple of 13?
True
Let t(p) = -p**2 + 8*p + 5. Let d = 95 + -91. Does 5 divide t(d)?
False
Suppose -58 = 4*w - 166. Let t = 51 - w. Is t a multiple of 24?
True
Let b(t) = t**3 + 3*t**2 - 3*t + 4. Let i be b(-4). Suppose f = 2*l + 1, 5*f - l - 23 = -i*l. Suppose -f*u + 127 = 37. Is u a multiple of 6?
True
Let a = -311 - -399. Is a a multiple of 8?
True
Let y(s) = 12 - 7*s + 5*s**2 - 16*s + 11*s - 14*s. Does 33 divide y(9)?
False
Let k = -29 + 49. Suppose -k - 13 = 3*o. Let f = 20 + o. Is 2 a factor of f?
False
Let x(p) = -23*p + 10. Is 2 a factor of x(-5)?
False
Suppose 0 = 46*v - 35*v - 5115. Is 3 a factor of v?
True
Suppose -5*x = -j - j + 669, 3*j = 5*x + 1001. Does 22 divide j?
False
Suppose 2*d = -3*x + 4887, -7*x + 3258 = -5*x + 5*d. Is x a multiple of 17?
False
Let g(k) = -k**3 - 4*k**2 - 3*k. Let v be g(-9). Suppose -9*m - v = -13*m. Is m a multiple of 18?
True
Suppose 3*d - k - 3*k - 541 = 0, -d + 159 = 4*k. Is d a multiple of 24?
False
Let p(n) = -n**3 - 5*n**2 - 5*n + 2. Let b(w) = 2*w**2 - 4*w - 1. Let g be b(3). Suppose -18 = 2*h + g*m, -3*m = 5*h - 2*m + 22. Does 2 divide p(h)?
True
Suppose 0 = 5*b - l - 15, -4*l = -3*l + 5. Suppose -b*n - 111 = -5*n - 3*m, n = 3*m + 33. Is n a multiple of 11?
False
Let m(g) = -g**3 + 11*g**2 - 3*g. Let u be m(11). Let y = u + 68. Is y a multiple of 5?
True
Let k(y) = y**3 + 6*y**2 - 5*y + 3. Let j be k(-7). Let v = j - -16. Is 3 a factor of v?
False
Suppose q = 6*q - 5240. Is q a multiple of 8?
True
Let v be 24/32 + 42/8. Let y(n) = 3*n + 3. Does 21 divide y(v)?
True
Suppose -3*n - 15 = -3*j, -2*j - 15 = j + 3*n. Suppose j = -k - k + 96. Is k a multiple of 24?
True
Let g = -48 - -44. Let p(v) = v**2 - v - 3. Does 3 divide p(g)?
False
Suppose -4*p = 4*n + 292, 4*p = -12*n + 7*n - 292. Let t = 173 + -47. Let c = t + p. Does 26 divide c?
False
Suppose -100*s + 5928 = -88*s. Is s a multiple of 13?
True
Does 5 divide 239 - (21/(-3) - (-35)/7)?
False
Does 24 divide 9*(-2 - -1)*(-2926)/57?
False
Let s = 6 - 1. Suppose 2*u = s*u - 300. Suppose 0 = -k - 4*k, 0 = -5*g + 2*k + u. Does 8 divide g?
False
Let y = 52 + -48. Suppose y*l = 6*l - 88. Is l a multiple of 44?
True
Suppose -2*p = -3*d + 2*d - 42, 5*p + 111 = -2*d. Let n = d - -68. Suppose -n - 27 = -u. Is 11 a factor of u?
False
Let k(g) = -11*g - 5. Let l be k(-2). Suppose -2*y = 2*q - 128, 4*y - 5 + l = 0. Is 26 a factor of q?
False
Let h be 1*-5*-269 + (5 - 6). Suppose 20*c - 6*c = h. Does 16 divide c?
True
Suppose -5*b = -33 - 12. Suppose -174 = -5*r - b. Does 17 divide r?
False
Let r = -2218 - -4279. Is 21 a factor of r?
False
Is (435 - 5) + -5 + 7 a multiple of 27?
True
Let s = -409 + 574. Let l = s - 87. Is 22 a factor of l?
False
Suppose -4*w + 3 = -121. Let y = w - 27. Suppose 4*t + y = -2*o + o, 0 = 5*o - 4*t - 52. Is 2 a factor of o?
True
Let v = -22 + 64. Suppose 24*n = 21*n + v. Is 3 a factor of n?
False
Suppose 2*z + 76 = 2*n, 0 = 5*n - 2*n - z - 120. Suppose 4*l = 2*l - c + n, 0 = 4*l - 5*c - 103. Is 11 a factor of l?
True
Suppose 12*t = 20*t - 24. Suppose 2*k - 265 = t*l - 6*l, 3*k = -3*l + 393. Is k a multiple of 16?
True
Let c = 4 - -26. Suppose -4*b = -9*b + c. Does 6 divide b?
True
Let g be 3/(-9) + (-13)/(-3). Suppose -102 = -3*l + 5*q, -21 = -3*l + g*q + 78. Is l a multiple of 11?
False
Is 71 a factor of 0 - 1/(-5) - (-5970)/25?
False
Let i = -54 + 59. Suppose 3*h + h = -3*u + 89, i = -5*h. Is u a multiple of 3?
False
Let d = 52 + -76. Let p = -12 - d. Does 5 divide p?
False
Suppose -g + 74 = -2*z, 2*g = 7*g + z - 392. Let b = 136 - g. Does 20 divide b?
False
Suppose 4*z + z - 4218 = j, -2*z - 2*j + 1692 = 0. Does 11 divide (-2)/(-10)*-2 - z/(-10)?
False
Suppose -2*h = 4*z - 7*h - 1972, 0 = -3*z + h + 1490. Is z a multiple of 38?
False
Let q(h) = 3*h + 77. Suppose 5*c - 20 = -3*w + c, -4*w - 3*c = -15. Is 20 a factor of q(w)?
False
Suppose 3*f - 5*o - 31 = 0, -2*f + 2*o = -f - 9. Let t = f - 18. Does 5 divide -1 + (3 - t) + 12?
True
Let u(b) = 15*b - 10*b - 4*b + 104. Is u(0) a multiple of 26?
True
Is 40 a factor of (1795/(-14) + (-54)/189)*-4?
False
Suppose 63*k - 103*k + 114080 = 0. Is k a multiple of 31?
True
Let q(m) = 2 + 6*m**3 - 15*m**2 + 2*m**3 + 13*m - 9*m**3. Is 25 a factor of q(-16)?
True
Suppose 6*q - 278 = 148. Is q a multiple of 3?
False
Let o be 12/21 + (-356)/(-14). Let j = -15 + o. Is 11 a factor of j?
True
Suppose 51 - 3 = 4*i. Suppose -i*j - 24 = -10*j. Is 6/j*(-1 - 39) a multiple of 5?
True
Suppose 5*h = 13*h + 160. Is (4/h*102)/((-6)/40) a multiple of 34?
True
Let j(t) be the first derivative of -2*t**2 - 9*t - 2. Let s be j(-6). Suppose -2*x = q - s, 53 = 5*q + 2*x - 6. Does 2 divide q?
False
Suppose -2*b - 354 = b. Let d be (-2)/(-6) + b/(-6). Is (-72)/d*(-5)/2 a multiple of 9?
True
Suppose 30 = m - 490. Is 40 a factor of m?
True
Let w be 3 + -7 + 1 - -45. Suppose -2*n + w + 28 = 0. Does 5 divide n?
True
Let n = 867 - 711. Is 13 a factor of n?
True
Does 88 divide 7 - (3 + -1499 + -7)?
False
Let s(p) = 623*p + 186. Is s(3) a multiple of 32?
False
Let p(o) = o**3 - 12*o**2 - 13*o + 5. Let i(k) = k**3 + 3*k**2 + 4. Let r be i(-3). Suppose 3*q + 13 = r*q. Does 5 divide p(q)?
True
Suppose 5 + 7 = 4*r, -2*g = -4*r - 1338. Does 10 divide g?
False
Let h(j) = -26*j - 2. Let i(g) be the second derivative of -g**4/12 + 2*g. Let n be i(-1). Is 11 a factor of h(n)?
False
Let t be (65/