4*n + 112 = -5*s - 56. Suppose -900 = n*t - 42*t. Is 2 a factor of t?
True
Let h = -275 + 278. Suppose u = 5*v + 119, -u + 207 = h*v + 48. Is 24 a factor of u?
True
Let x(j) be the third derivative of -j**6/120 + j**5/30 + 5*j**4/24 + 2*j**3/3 + 21*j**2. Let n be x(4). Is 474/n*16/(-6) a multiple of 21?
False
Let q(c) = -c**2 - 2*c - 27. Let g be q(0). Let h be -4*(-1)/4*g. Let r = h + 97. Does 8 divide r?
False
Suppose -5*d + 939 = q + 71, -2*q - 4 = 0. Does 4 divide d?
False
Suppose -3*y = -h, 6*y + 3 = 3*y. Suppose 2410 = -4*u + 398. Is 21 a factor of (-8)/(-24) + u/h?
True
Suppose -d = -1, -4 = -3*l - d + 81. Suppose 2*k + l - 94 = 0. Let j = 88 - k. Is j a multiple of 12?
False
Let u(a) = 4*a - 8. Let s be u(7). Suppose -3*q - s = -5*q. Is (q/(-5)*7)/(-1) a multiple of 14?
True
Suppose -4*k - 12 = -2*p, -22 = -5*p - 5*k - 37. Suppose 0 = -p*s + 10*s - 600. Does 12 divide s?
True
Let h(n) = 59*n + 26. Suppose -3*f + 2*l + l = 0, 0 = 5*l - 15. Is 16 a factor of h(f)?
False
Suppose -14*l + 21*l + 5838 = 0. Is 3*l/(-36)*2 a multiple of 13?
False
Does 19 divide (1 - -2408) + 59 + -45?
False
Let v = 21192 + 56798. Is v a multiple of 322?
False
Suppose 8*i = 5*i + 66. Suppose 0 = -2*t + i + 98. Is 4 a factor of t?
True
Let z(x) = x**3 + 10*x**2 + 5*x - 14. Let y be z(-9). Let m = y + -22. Suppose -5*d + 0*d = -k - 275, d + 2*k - 66 = m. Is d a multiple of 14?
True
Let m(w) = -4*w - 7. Let o be m(-10). Let r be 2/(4/25) + o/66. Suppose -5*v + 313 - r = 0. Is v a multiple of 12?
True
Suppose -p + 6 = 3*z, 0 = -z + 5*z + 5*p - 19. Let y be -1*z - 1*(1 + -2). Suppose y*j - j = 4*n - 75, -j + 75 = -3*n. Does 27 divide j?
False
Suppose -4*x + 10*x = -84. Let m be (-7)/x*(3 + -3). Suppose m = 2*z - 0*z - 120. Is z a multiple of 10?
True
Let w(y) be the third derivative of 11*y**5/60 + y**4/6 - 8*y**3/3 + 3*y**2 - 16. Does 37 divide w(3)?
False
Let l(t) = -t**2 + t + 17. Let a be l(5). Is 29 a factor of (97/a)/(1/(-6))?
False
Does 6 divide 336 - 338 - (0 - 9200)?
True
Suppose 0 = -56*y + 66*y - 14120. Is 14 a factor of y?
False
Let l = 307 - 305. Suppose 1278 = -6*v + 10*v + l*b, b - 1 = 0. Is 16 a factor of v?
False
Let t(x) = 36*x - 14. Let v be t(5). Suppose -v = -7*m + 2998. Is 41 a factor of m?
False
Let h = 139 - 133. Does 15 divide (-535 + 3 + 0)*(-3)/h?
False
Suppose -227 = 3*z - 4*m, 5*z + 7*m + 417 = 4*m. Let o = -62 - z. Suppose -21*v + 126 = -o*v. Is 7 a factor of v?
True
Suppose -2*r = 2*m - 4738, -m + 8 = -3*m. Let o(z) = -22*z + z - r + 2374. Does 19 divide o(-9)?
True
Suppose -p + 8 = -2*n, -30 + 2 = -5*p + 4*n. Let b(c) = 37*c + 7 + p - 9 + 2. Is 16 a factor of b(2)?
False
Let u be (-606)/(-10) + 3 + 72/(-20). Let w = -58 + u. Suppose -60 + 12 = -w*p. Does 12 divide p?
True
Suppose -2*x = 4*c - 22142, -33*x = -5*c - 28*x + 27715. Does 26 divide c?
True
Let d(o) be the third derivative of -o**7/504 - 13*o**6/360 + o**5/12 + 4*o**2. Let f(g) be the third derivative of d(g). Is 26 a factor of f(-13)?
True
Let h(x) = -x**2 + 10*x - 22. Let q be h(4). Suppose -2*j - q*j = -8. Suppose -2*f = -4*f + j, -3*m + 394 = 4*f. Is m a multiple of 52?
False
Let l(n) = -70*n - 2. Suppose -7*q + 3*q = -2*g - 18, -2*g - 2*q - 12 = 0. Let b be l(g). Suppose 279 = 13*o - b. Does 5 divide o?
False
Let v be (1 + -1)/((-4)/(-20)*5). Suppose v = -6*h - 9*h + 5325. Is h a multiple of 13?
False
Suppose -143*z = -121*z - 52998. Is z a multiple of 33?
True
Let x = 30609 + -29011. Is x a multiple of 13?
False
Suppose 37 = -6*y + 13. Suppose 1 = -4*t - 3. Is t + (4 - -120) + y a multiple of 21?
False
Let k(q) be the third derivative of q**6/120 + q**4/3 + 9*q**3 + 8*q**2 + 11. Does 26 divide k(0)?
False
Let t = 699 - -1232. Suppose 15*i + o = 11*i + 1543, -o = -5*i + t. Is i a multiple of 35?
False
Let h = -584 - -276. Let i = h - -481. Is i a multiple of 17?
False
Suppose 107689 + 40968 = 61*t. Does 3 divide t?
False
Suppose 2437 = -10*j + 598277. Is j/342 + 4/(-18) a multiple of 3?
True
Let g(p) = -2*p**2 + 12*p - 7. Let f be g(5). Suppose 0 = -3*m - 3*l + 15, m + 4*m + f = 2*l. Suppose r + m = 0, -2*r = 2*x - 15 - 67. Is 14 a factor of x?
True
Let l(r) = 0*r**2 - 6*r - 2*r**2 - r**2 + 2*r**2 - 2. Let i be l(-6). Is 4 a factor of ((-12)/5)/((-3)/(-120)*i)?
True
Let p(o) be the first derivative of 2*o**3/3 - o**2/2 - 6*o - 9. Let h be p(4). Suppose -12*b = -h*b + 920. Is 23 a factor of b?
True
Let w = -185 + 179. Is 7 a factor of (-6 - 108/(-15))/(w/(-100))?
False
Suppose 2054 = 18*y - 1420. Let x = 421 - y. Is x a multiple of 38?
True
Let k be 4/(-6) + 10/6. Let d be -11 + 220 - 2/k. Let y = d + -138. Is y a multiple of 36?
False
Suppose -4*j = -17*h + 18*h + 627, 0 = -2*j - 8. Let l = -572 - h. Does 13 divide l?
True
Suppose 5*m + 3*s - 14726 = 0, 3*s - 1205 = m - 4143. Suppose -2*q = -5*o - 1065, 4*q + 2*o = m - 826. Does 53 divide q?
True
Let a = 2293 - -6026. Is a a multiple of 177?
True
Let l be (7 - 3) + -9 + (12 - 1). Suppose -3*t + 504 = -l*u, 6*t + 5*u = 2*t + 620. Is 40 a factor of t?
True
Let a = -159 - -109. Does 9 divide (a + -6)*18/(-7)?
True
Suppose 5*x - 822 = -7*w + 6*w, 9 = -3*w. Suppose 0 = -17*r + 12813 - x. Does 24 divide r?
True
Suppose -40*o + 42*o - 40 = 0. Suppose 0 = g - 4*i + 30, 0 = 2*g + 2*i - 0*i + 30. Let d = o + g. Is 2 a factor of d?
True
Suppose -7*p - 2*p = -117. Let v = 36 + p. Is v a multiple of 14?
False
Suppose -d + p + 396 = 0, 5*d - 2*p - 2544 + 549 = 0. Does 12 divide d?
False
Let a = 62 + -54. Suppose -3*v - 2*f = -71, -4*f = -a*f + 4. Is 14 a factor of v?
False
Suppose 65*i = 60*i + 40. Is ((-666)/i)/((-24)/288) a multiple of 9?
True
Let d = -382 + 379. Is 5 a factor of d*1865/(-75) + (-8)/(-20)?
True
Suppose 5*j - 10941 = -h, j + 2*j - 6559 = 5*h. Let x = 1164 - j. Is 34 a factor of (-1)/(10/x) - (-2)/(-5)?
True
Let h(w) = 2*w**3 - 22*w**2 - 8*w - 6. Let v be h(12). Suppose -4*s = 2*k - v, -183 - 44 = -5*s + 3*k. Is 6 a factor of s?
False
Let x(w) = -w**2 + 271*w - 7114. Is 144 a factor of x(152)?
False
Let t = 77 + -79. Let x(s) = -19*s**3 - 5*s**2 - 7*s - 4. Let m be x(t). Suppose m = 2*b - 0*q - q, 3*b = -2*q + 220. Does 24 divide b?
True
Let p = 928 - 922. Suppose -5*w = -j - 3516, -p*j = -4*w - 4*j + 2808. Is 32 a factor of w?
True
Suppose 0 = 11*v + 2 + 9. Does 9 divide (v*15/12)/(2/(-648))?
True
Let n = -115 + 125. Suppose -n = 4*h - 2*w - 0, -2*h + 2*w - 10 = 0. Suppose -y + 3 = h, 78 + 60 = 3*u - 2*y. Does 20 divide u?
False
Suppose 61*w = 60*w + t + 5477, -3*w + 2*t = -16426. Does 23 divide w?
False
Does 13 divide (-44509577)/(-1218) - 3/18?
True
Let x = -72 - 27. Let s = 173 + x. Is 11 a factor of s?
False
Suppose 29*z = 19*z + 360220. Is 31 a factor of z?
True
Let l(o) = 3*o**2 + 33*o - 14. Let q be (0 - -5 - 11) + -9. Is l(q) a multiple of 8?
False
Let g be 18/2 + (-88)/11 + 3. Suppose -5*q = -15, g*q = -a - q + 121. Is 7 a factor of a?
False
Suppose 7*w - 1862 = 1568. Suppose 3*t - 1046 = w. Is t a multiple of 8?
True
Suppose -12*r + 4 = -10*r. Suppose r*x + 0*x + 29 = 5*o, 2*x = -4. Suppose o*v + 5*t = 80, 26 = 5*t + 6. Does 6 divide v?
True
Suppose 10106*i + 298129 = 10125*i. Is 17 a factor of i?
True
Suppose -u = -4*t + 14, 0 = 23*t - 26*t + u + 10. Suppose -z + 355 = t*v, 0*v = -2*z - 4*v + 730. Does 15 divide z?
True
Let h = 132 + -108. Does 11 divide (-3)/(0 - h) - 1575/(-8)?
False
Let j be 0/((-19)/(38/4)). Suppose -3*v - 3*i = -2715, j = -v - 4*i + 217 + 703. Is 10 a factor of v?
True
Suppose 28*s - 31*s - 3*o = -2118, -2*o - 8 = 0. Does 37 divide s?
False
Let c = -9883 + 23621. Does 197 divide c?
False
Let u(g) = 7*g**3 - 3*g**2 + 12*g - 1. Let p be u(8). Let r be (-2)/(-15) - p/165. Does 9 divide -2 + (-258)/(-9) + (-7)/r?
True
Let t be 87/(-5 + 13/2). Suppose -86 = -4*x - t. Suppose 342 = x*a - a. Does 19 divide a?
True
Let s be ((-4)/5)/(2/(-10)). Suppose l = -s*l + 15. Suppose p - l*p = -640. Does 48 divide p?
False
Let g be 12/(-8)*3/(-9)*4. Let i be (-67)/(-6) + ((-10)/g)/30. Let j = i + 24. Is 5 a factor of j?
True
Does 239 divide ((-39435)/(-10))/(1/4)?
True
Suppose 4*w - 585 = g - 7750, -4*w = 8. Does 17 divide g?
True
Let v(r) = -3*r - 11*r + 613 - 501. Is 28 a factor of v(-22)?
True
Let m(k) = 2*k**2 - 2 - 3 + 8 - 5*k + 0. Let j(t) = 3*t**2 - 5*t + 2. Let h(o) = 4*j(o) - 3*m(o). Is 