d - 3026. Let k = d + -538. Suppose -h - 8 = o - 64, 2*h = -4*o + k. Is 22 a factor of o?
False
Let h = 19 + -10. Is 7/(21/h) + 21 a multiple of 4?
True
Let o = -53 + 61. Does 3 divide 118/o - (-2 - (-7)/4)?
True
Let u(n) = -n**3 + 16*n**2 - 27*n - 5. Let j be u(11). Let h = j - 119. Is 8 a factor of h?
True
Let s(d) = -16*d**2 - d. Let w be s(-1). Let n be -1 + 2 + 1 + 0 - 21. Let m = w - n. Is 4 a factor of m?
True
Suppose -42*a + 46*a + 2*u = 3466, 0 = 5*a - 4*u - 4339. Is a a multiple of 51?
True
Let p(f) = 11*f**3 + 5*f**2 - 3*f + 37. Is p(6) a multiple of 9?
False
Let w = -33 + 13. Let j = 25 + w. Suppose 0 = j*m + 36 - 156. Does 12 divide m?
True
Suppose -5*l + l - 4*d = -40, 4*d = 3*l - 44. Suppose 0*s = -3*s + 12. Suppose -4*o - l = 0, s*k - 54 = o + 17. Does 3 divide k?
False
Let y = 16 - -22. Let z = -125 - -99. Let w = y + z. Is 4 a factor of w?
True
Suppose -23 = -4*h - 4*w + 57, -60 = -3*h - 2*w. Suppose -h = -2*f - 3*f. Suppose -f*y + 3*s + 66 = 0, -y + 68 = 3*y - 4*s. Does 5 divide y?
True
Let j = 2123 + -1319. Does 4 divide j?
True
Let f(v) = -v**3 + 15*v**2 - 12*v + 7. Let x be f(13). Let h = -58 + x. Suppose h - 556 = -5*i. Is 23 a factor of i?
False
Let o(r) = 3*r**2 + 11*r - 39. Does 14 divide o(4)?
False
Is 650 - ((-35)/7 - -5) a multiple of 50?
True
Let v(z) be the third derivative of -z**4/6 + z**3/6 - 13*z**2. Let j be v(-3). Suppose 8*b - j*b + 40 = 0. Is b a multiple of 4?
True
Let m be 0*(-1 - -2)*37/(-74). Suppose m = -2*g - 4*g + 864. Is 12 a factor of g?
True
Let d = 307 + -161. Is 38 a factor of d?
False
Does 23 divide 9/(-63) - 162/(-7)?
True
Suppose 3*w - 410 = -4*x, 2*x - 5*w = -2*w + 214. Suppose -22*t + 30*t - x = 0. Is t a multiple of 6?
False
Suppose -3*o - 5*v + 1202 = 0, -4*v + 1874 = 5*o - 125. Is 21 a factor of o?
True
Let k be 1 - (1 + 3 + 0). Let b be ((-86)/(-5))/(k/(-30)). Suppose 2*d = -4*f + b, 59 = 2*f - 4*d - 27. Does 12 divide f?
False
Let p(m) = m**2 + 6*m + 6. Let q be p(-7). Suppose 2 = 4*y - 2*h, -y + 4*h - q = -h. Suppose -y*c = -5*c + 99. Is 11 a factor of c?
True
Let g = -20 + 73. Suppose g - 13 = -2*k. Is 108/(-8)*k/6 a multiple of 10?
False
Suppose 0 = 19*l - 22*l + 756. Suppose -l - 184 = -4*i. Is i a multiple of 21?
False
Let z(m) = m**3 - 5*m**2 + 7*m + 2. Let c be z(6). Suppose 0 = 7*o - 3*o - c. Let f = 61 - o. Is 7 a factor of f?
False
Let n(t) = -3*t + 2. Let b be n(-2). Suppose b = 3*x - 40. Does 16 divide x?
True
Is 1/7 - (-2)/(42/6759) a multiple of 14?
True
Suppose 8 = -4*d + 4*a, -3*d - 4*a + 8 = -0. Suppose -109 = -5*t - 3*b, -2*b + d*b - 94 = -5*t. Is t a multiple of 3?
False
Let t = 76 + -37. Suppose a - 96 - t = 0. Is 11 a factor of a?
False
Let y be (1*-1)/(1/(-15)). Let a = 296 - 146. Suppose 3*t = y, t + 209 + a = 4*l. Is l a multiple of 13?
True
Let j = -721 + 756. Is j a multiple of 10?
False
Let u(x) be the second derivative of -x**5/20 - 3*x**4/4 + x**3/6 + 7*x**2/2 - 9*x. Let r be u(-8). Let m = r + 93. Does 7 divide m?
True
Let q = 36 - 96. Is 2 a factor of (9/5)/((-9)/q)?
True
Let h(m) = -4*m + 35. Let f = -60 + 60. Does 5 divide h(f)?
True
Let v(h) = 5*h**2 - 15*h + 16. Let m be 756/96 + (-1)/(-8). Is v(m) a multiple of 29?
False
Suppose 8 + 12 = r. Let g be 2/(8/r - 0). Let h(q) = 9*q - 10. Is 19 a factor of h(g)?
False
Suppose -5*f + 25 = 0, 2*z + 3*f = 4*f + 2047. Is 36 a factor of z?
False
Let q(a) = a**3 + a**2 + 1. Let c be q(0). Does 8 divide 2/c + -2 + 64?
True
Suppose z = -4*z - 4*m + 1664, -1684 = -5*z + m. Does 14 divide z?
True
Suppose -2*h + v + 0*v = -151, -v = 2*h - 153. Let d = 130 - h. Does 9 divide d?
True
Let r be (-987)/12*10 - (-3)/(-2). Does 7 divide ((-5)/(-20))/((-2)/r)?
False
Let l(v) = 7*v**2 + 33*v + 198. Is l(-11) a multiple of 31?
True
Let f be 7 + (-1 - 1 - 0). Let g be 2/10 + 14/f. Suppose g*j = -2*j + 90. Is j a multiple of 5?
False
Suppose 4*y = 5*t - 1 + 33, 5*y + 4*t = 81. Suppose -y = -b - 0*b. Let w = 81 - b. Is w a multiple of 22?
False
Let d = 4 + 1. Suppose 5*x - 20 = d. Suppose 0 = x*i - j - 144, 6*i = i + 4*j + 156. Does 9 divide i?
False
Suppose 0 = -3*v - 3*h + 6, -1 = 3*h + 5. Let z(q) = 30*q + 46. Is z(v) a multiple of 36?
False
Suppose 3*n + 156 = 6*n. Is n a multiple of 13?
True
Suppose 2*q + 9*f - 296 = 5*f, -f = q - 152. Is q a multiple of 12?
True
Let i be (-30 - -2) + 1 + 0. Let u be ((-3)/9)/(3/i). Suppose u*q - 4*q = -9. Does 4 divide q?
False
Suppose 66 = -2*s + s + 2*a, 2*a = 0. Let w = 131 + s. Suppose 8*y - 3*y - w = 0. Is 13 a factor of y?
True
Suppose -3*r + 164 = -5*z, 3*r - 19 = -z + 175. Does 3 divide r?
True
Let z = 11 - 2. Let d(n) = n**2 - 9*n + 7. Let t be d(z). Suppose t = p - 8. Does 15 divide p?
True
Let m(c) = -c + 17. Let q(j) = -j + 9. Let v(z) = 2*m(z) - 3*q(z). Let s(p) = -p**3 + 7*p**2 - 3*p - 4. Let h be s(6). Is 17 a factor of v(h)?
False
Let s = 16 + 0. Suppose f = -2*z + 6 + s, 70 = 5*z - 5*f. Does 11 divide z?
False
Suppose -335 = 5*n + 65. Let z = n + 86. Does 3 divide z?
True
Suppose -23*n + 2687 = -602. Is 8 a factor of n?
False
Suppose 176*r - 30897 = 167*r. Is r a multiple of 20?
False
Suppose 70 = 2*n - 8. Suppose -n = -s + 50. Does 29 divide s?
False
Suppose 33*d - 62353 = -24238. Is 63 a factor of d?
False
Let n = -43 + 103. Suppose 0 = -5*f - 4*l + n, 4*l = 3*f + 2*l - 58. Suppose -f + 44 = 4*u. Is u a multiple of 7?
True
Suppose -64*n + 63*n + 2 = 0. Suppose 294 = -n*w + 3*w. Is 41 a factor of w?
False
Suppose -7*r + 5*r = 0. Suppose r = 3*b - 179 - 163. Does 39 divide b?
False
Let b(q) = -9*q**2 - 4*q + 5. Let k be b(2). Let v = k - -74. Is v a multiple of 4?
False
Let c(o) = -168*o**3 + 3*o**2 + o - 9. Let f(k) = 84*k**3 - 2*k**2 + 5. Let l(d) = -3*c(d) - 5*f(d). Is l(1) a multiple of 42?
True
Let g be (0/((-9)/(-3)))/1. Let y(l) = -12 + 2 + g*l - 8*l**2 - 3*l - l**3. Does 14 divide y(-8)?
True
Suppose -2*j + 769 = -w, -6*w + 381 = j - 3*w. Is j a multiple of 12?
True
Is 53398/22 + (-136)/748 a multiple of 104?
False
Let i be (-2)/(((-30)/(-21))/(-5)). Suppose -i = 4*b - 3, 0 = 3*d - b - 34. Does 4 divide d?
False
Suppose 5*q - 372 = 198. Suppose 11*n - 14*n = -q. Is 16 a factor of n?
False
Let n(q) = -q**3 + 11*q**2 - 12*q - 4. Let l be n(10). Let r be l/6*(0 + -1). Does 15 divide (1 - 1) + r + 29?
False
Suppose -b + 4*q + 41 = 0, 3*b - 3*q - 84 - 21 = 0. Suppose 5*n - 537 - b = 0. Is 38 a factor of n?
True
Suppose -37*v + 2260 = -5362. Is 19 a factor of v?
False
Suppose -p - 5*b - 19 = -0*b, -4*p = b + 38. Let s = -1 - -2. Let f = s - p. Is 5 a factor of f?
True
Let h(p) = 76*p - 78. Does 22 divide h(10)?
True
Suppose 4*q - 5380 = m, -9*m + 7*m = 3*q - 4024. Is 28 a factor of q?
True
Suppose 3*c - p = 5, 4*c = 3*c - 5*p + 23. Suppose 4*o = -3*v + 170, -2*o + 135 = c*v - 31. Does 5 divide v?
False
Suppose 3*w = -3*h + 7*w + 763, -5*h + 4*w + 1285 = 0. Is 27 a factor of h?
False
Suppose 0 = -3*h + 13 - 94. Let t = h - -36. Is 6 a factor of t?
False
Let i = -88 + 128. Let b = 43 + i. Is b a multiple of 9?
False
Let o(u) = -36*u**2 + 2 + 21*u**2 + 16*u**2 - 2*u. Let j be o(5). Suppose -4*q = d - j - 89, -3*q - 4*d + 86 = 0. Does 26 divide q?
True
Let v = 10 + -14. Let a = v - 8. Is 3/a*-25*4 a multiple of 25?
True
Let b(q) = 2*q**3 - 3*q**2 - 2 - 7*q - 3*q**3 + 3*q. Let i be 6/((-42)/35) + 2. Is 4 a factor of b(i)?
False
Let p(j) = j - 12. Let h be p(-4). Let r(o) = o**2 + 13*o + 14. Let w be r(h). Suppose n = -2*y + w, 2*n - n - y - 71 = 0. Does 17 divide n?
True
Let v = -4 + 6. Suppose 5*j - v + 7 = 0. Is j/2 + 196/8 a multiple of 24?
True
Suppose -4*j + 49 = -5*l, 267*j + 33 = 270*j - 3*l. Does 5 divide j?
False
Let g = 1154 - -1011. Is 44 a factor of g?
False
Suppose -14964*a - 20496 = -14972*a. Is 25 a factor of a?
False
Let m be (-35)/14*(-4)/5 - -178. Suppose -m = -3*q - q. Does 5 divide q?
True
Let r = 148 - 50. Is r a multiple of 7?
True
Suppose 12*a = 3*a + 45. Suppose -412 = -2*p + 2*h, -2*h + 100 = -a*p + 1142. Is p a multiple of 38?
False
Is 23/69 + (-136)/(-6) a multiple of 12?
False
Let y(b) = 3*b**3 - 2*b**2 + b. Let k(a) = a**2 - 3*a - 9. Let z be k(5). Let g be y(z). Suppose 0*h - 248 = -4*w + 4*h, g*w = 4*h + 124. Does 15 divide w?
False
Let g(z) = z**3 - z**2 - z. Let w be g(0). Suppose t + 5*t = w. Suppose t*l - l - 95 = -5*m, -4*l - 60 = -4*