 = 3*o - 176. Is 3 - (o/20 - (106 + 2)) a multiple of 9?
True
Let v(c) = c + 116. Let m be v(-41). Let n(w) = 39*w**2 + 5*w - 1. Let x be n(-6). Suppose -m = -8*d + x. Is d a multiple of 19?
False
Suppose 325*f - 18960 = 48658 + 139732. Does 14 divide f?
False
Let p(u) = 4*u**2 - 34*u - 6. Let q(c) = 2*c - 26. Let g be q(18). Let h be p(g). Suppose -434 = -5*t - h. Does 5 divide t?
False
Let u be (-573)/(-4) + (145/(-20) - -7). Suppose 11*l = -11 + u. Suppose -l*p = -2276 + 332. Is p a multiple of 18?
True
Let a(b) = -2*b**2 + 5*b - 4. Let k be a(2). Let g be (k/(-6) - 814/(-33))*-1. Does 14 divide (-695)/g*(-5)/(-2)*2?
False
Let x = -384 - -373. Does 3 divide (-2 - x)*(6 - 1)?
True
Suppose -2*d - 5*h = -35747, 17*d - 18*d + 17886 = 5*h. Is d a multiple of 53?
True
Suppose -5*w - 5*t + 42995 = 0, 51*w = 54*w - 2*t - 25807. Is 77 a factor of w?
False
Is ((-4)/72*2 + 22289/(-279))*-41 a multiple of 40?
True
Let u be ((-22)/(-4))/((-102)/12 - -8). Is 29 a factor of u*((-10)/25*-5 - 5)?
False
Suppose 2*i + 3*m = 8, 3*m + 8 = i + i. Suppose 3*y + 110 = r, 6*r = 5*r - i*y + 124. Is r a multiple of 4?
True
Suppose 0 = x - 160 + 158. Suppose a - 141 = -s + 4*s, x*a - 3*s - 279 = 0. Is 23 a factor of a?
True
Let p(n) be the first derivative of n**3/3 - n**2/2 + 16*n - 23. Is p(9) a multiple of 22?
True
Let n(o) = -65*o - 14. Let c be -5 + 1 + 3 + -6. Is 34 a factor of n(c)?
False
Suppose -47 = -2*c + 5*u, c + 2*u - 17 = -2*u. Suppose 0 = 17*i - c*i + 4. Let m(z) = 8*z**3 + 2*z**2 - z. Is m(i) a multiple of 7?
False
Is 16 a factor of ((-11)/3 - 60/180) + 5315?
False
Let y = 26385 - 3262. Is 28 a factor of y?
False
Does 151 divide ((-906)/(-4))/((-329)/(-24346))?
True
Let g be (-7 - 2)*12/(-9). Suppose -2 = 5*r - g. Suppose 0*q - 72 = -r*q. Is 13 a factor of q?
False
Let s(n) = 3*n**2 - 41*n + 40. Let u be s(1). Is 32/16 + u + -1 + 269 a multiple of 16?
True
Let k = 364 + -292. Suppose k + 661 = g. Does 24 divide g?
False
Let q be (1 + -2)*86 + -3 + 4. Let s = 664 + q. Is s a multiple of 67?
False
Let r be (-28)/(-7)*30/8. Suppose 4*p - r = -p. Suppose p*j - 114 = -3*j. Is j a multiple of 3?
False
Does 3 divide (-341288)/(-32) + -1*(-14)/(-56)?
True
Let u(i) be the third derivative of 35*i**2 + 7/24*i**4 + 0 - 11/3*i**3 + 0*i. Is u(10) a multiple of 13?
False
Let g be -3*6/(-135) - 392/(-210). Suppose 0 = 5*v + 4*k - 206 - 1, v = g*k + 47. Is v a multiple of 4?
False
Let m = 211 - 207. Suppose -3*a + r = -335, -m*r = -a + 74 + 45. Is a a multiple of 12?
False
Let i = -5836 - -8372. Does 18 divide i?
False
Suppose 8*s - 11*s - 9 = 5*y, -s = 2*y + 2. Let t(l) = -121*l - 104. Does 27 divide t(s)?
True
Let n(k) = 2*k - 8. Let d be n(4). Suppose -s - 4 = d, 313 = 5*u + 4*s - s. Let b = 25 + u. Is 10 a factor of b?
True
Let z(y) = 3896*y + 198. Is 154 a factor of z(2)?
False
Let w be (3 + 0)*(-4)/3 - -96. Suppose 5*l - 8 = w. Does 11 divide -69*(1 + l/(-6))?
False
Let o(m) = 4 + 93*m - 64 + 141. Does 61 divide o(7)?
True
Suppose -44*i + 122356 + 396044 = 28*i. Is 6 a factor of i?
True
Let s = -10259 - -13727. Does 3 divide s?
True
Let o(v) = -128*v - 7. Let r(s) = -9*s + 150. Let q be r(17). Is 29 a factor of o(q)?
True
Suppose 168344 = -54*o + 45 + 839951. Does 133 divide o?
False
Suppose 1854*w - 1844*w = 28130. Does 97 divide w?
True
Let f(i) = i - 7. Let t be f(7). Suppose h - 8*h + 2331 = t. Is 37 a factor of h?
True
Let p = 56205 + -35796. Is p a multiple of 33?
False
Let o = -125 + 287. Suppose -37 = -a + 5*l + 7, -5*a - 4*l = -o. Is a a multiple of 7?
False
Let p(c) = c - 108. Let n be p(-12). Let w = 399 + n. Is w a multiple of 41?
False
Suppose 36*q = 31*q + 10. Suppose 2*i - 144 = q*j, -3*i + 198 = 3*j - 0*j. Is 2 a factor of i?
False
Let a(d) = -d**2 - 15*d - 14. Let b be a(-14). Is 2 a factor of 18 - (0 - (b + -2))?
True
Let t = 64 + -44. Suppose -5*y = 4*a - 47, -a - 4*y = -0*y - t. Does 26 divide 3108/30 - (a/5 + -2)?
True
Suppose -11*s = -32*s + 252. Suppose -z + 1196 = s*z. Is z a multiple of 4?
True
Let j(t) = 471*t**3 - 2*t**2 - 321*t + 1296. Does 14 divide j(4)?
False
Let y = 26 + -24. Suppose 73 = w - y*n + n, n = -4*w + 287. Suppose s - w = 4*l - 6*l, -4*l = 3*s - 222. Is s a multiple of 13?
True
Suppose 18*t - 2*v + 14 = 22*t, 8 = 3*t + 4*v. Suppose 1037 = 4*s - 3*z + 315, 4*z = -t*s + 736. Is 66 a factor of s?
False
Suppose -4*b + 45 = 9. Let u be (-3)/((b/6)/(-3)). Let t(y) = y**2 - y + 10. Is t(u) a multiple of 20?
True
Let m be 5/(-5) - -1 - 3*1. Let l be (-5 - m) + 8 - 5. Is 44 a factor of l/((-2 + 4)/264)?
True
Suppose 0 = r + 4*b - 26624, 3*r + 42*b - 79755 = 43*b. Does 23 divide r?
True
Let h = 162 - -108. Suppose 4*i - h = -2*k + k, -4*k = -2*i - 1080. Is k a multiple of 18?
True
Suppose -4*x - 25 = -37. Suppose -2584 = x*w + 2*u, 2*w + u + 1555 = -166. Is 52 a factor of 6/9*w/(-11)?
True
Is (-54)/9 + 16 + 3488 a multiple of 53?
True
Let n(m) = 5*m**2 - 5*m. Let x be n(4). Suppose x = u - 93. Is 33 a factor of u?
False
Let a(r) = r + 10. Let l be a(10). Suppose 0 = l*t - 2*t - 1188. Suppose 65*n + 12 = t*n. Does 3 divide n?
True
Let h(o) = o**2 - 11*o - 60. Let z be h(14). Does 2 divide -76*(-6)/(-20)*105/z?
False
Let u(s) = 3*s + 19. Let g be u(-5). Suppose 4*f - 8 + g = -4*l, -l + 3*f + 13 = 0. Suppose -l*v = -40 - 16. Is 7 a factor of v?
True
Let s(t) = t**3 + 2*t**2 - 17*t + 3. Suppose 5*n - r + 18 = 0, 2*n = -r - 1 - 9. Does 37 divide s(n)?
False
Let x be -3 + (-21)/7 + 220. Suppose 3*h + 4*v = 5*v + x, -346 = -5*h - v. Is h a multiple of 7?
True
Let g(o) = 127*o**3 + 1. Let l = 1 - 2. Let t be g(l). Let f = 211 + t. Is 17 a factor of f?
True
Let a(y) = y**2 - 18*y - 9. Let d be a(17). Let v = d - -30. Suppose 2*s - 4*w - 46 = 0, s - v*s - 5*w = -113. Does 6 divide s?
False
Suppose 3*y = 4*y + 2*q - 9, 0 = -4*y + q + 36. Let b = 2879 + -1788. Suppose -y*n + b = 344. Is 25 a factor of n?
False
Suppose -3*x + 6 = -0*x. Let b = -316 - -318. Suppose 0 = -j - 5*i + 30, 0 = -b*j + 3*i + x*i + 30. Does 20 divide j?
True
Suppose -5*g - 2213 = -36*i + 32*i, -548 = -i + 2*g. Is 54 a factor of i?
False
Suppose -302*l + 109014 = 3*d - 301*l, d = -3*l + 36346. Does 179 divide d?
True
Suppose -4*u + 728886 = 120*u - 6*u. Is u a multiple of 71?
True
Let p = -414 - -417. Suppose -510 = -2*w - p*a - 118, 588 = 3*w - 2*a. Does 49 divide w?
True
Suppose 10*j = 15*j + 3*y - 71, -5*j - y + 77 = 0. Is 12/j + 14996/16 a multiple of 67?
True
Suppose 25*n - 29*n = -4*a + 2972, 5*a = 4*n + 3716. Is a a multiple of 31?
True
Let j(u) = u**3 - 22*u**2 + 2*u - 32. Let z be j(22). Suppose 0 = 4*w - z, 28*v = 31*v + 2*w - 582. Does 10 divide v?
False
Let l be -4 - (-1)/((-5)/(-70)). Let m(f) = -59 + 3*f + l*f + 46. Is 13 a factor of m(6)?
True
Let n(q) = -q**2 - 8*q - 4. Let p be n(-7). Let v be 6/(-4)*(70/(-21) - -2). Is 38 a factor of (-1248)/(-9) - (v/p)/1?
False
Let g = 7 - -17. Let s = g - 28. Is 24 a factor of (-2 + 8)*((-82)/s + 2)?
False
Let j = -100 + 98. Let o be (1 - j) + (-588)/(-1 - 1). Let g = o + -88. Is 49 a factor of g?
False
Suppose -2*l = 4*n - 326 + 896, 4*l - 4 = 0. Let f(h) = 15*h + 10. Let b be f(15). Let i = b + n. Is i a multiple of 23?
True
Suppose 238*s - 242*s - 4*z + 60668 = 0, -75786 = -5*s + 2*z. Does 10 divide s?
True
Suppose -2*i - 2 = 0, 39*z - 3*i = 42*z - 14136. Does 29 divide z?
False
Suppose 30*s - 33*s + 3*k = -36657, s - 2*k = 12211. Does 72 divide s?
False
Suppose 5*c - 75 = -5*a, 16 + 48 = 4*c + 3*a. Suppose -c*k = -18*k - 183. Does 5 divide k?
False
Let c(n) = 3*n**2 - 48*n + 2. Let z be c(16). Let a(s) = 148*s**2 - 7*s + 14. Is a(z) a multiple of 7?
False
Suppose -89*b - 2*d - 21651 = -92*b, 2*d = -5*b + 36069. Does 111 divide b?
True
Suppose -930 = 3*u + 3*a, 2*a - 3*a = 1. Let t = 599 + u. Is t a multiple of 29?
True
Let h = -19 + 15. Let t be (-2)/h*(6 + -2). Suppose -4*u - 4*x = -68, 0 = u + t*u + x - 53. Is u a multiple of 3?
True
Suppose 123*h + 16*h + 327067 = 1111583. Does 17 divide h?
True
Let t(c) = -2*c**3 - 145*c**2 + 18*c - 111. Is t(-74) a multiple of 185?
True
Let v(t) be the third derivative of 45*t**2 + 0*t - 7/3*t**3 + 1/120*t**6 + 0 - 1/5*t**5 + 3/8*t**4. Does 17 divide v(13)?
True
Let d = -1604 - -5036. Does 12 divide d?
True
Suppose 7 = 3*x + l, -4*l - 13 = -5*x - 5*l. Suppose -6*s = -x