9837 + -31477. Does 76 divide j?
True
Let u(n) = -370*n + 36. Let k(p) = -p**3 - 17*p**2 + 16*p - 38. Let f be k(-18). Is 69 a factor of u(f)?
False
Let s be ((-6)/3 - -1)*-4. Suppose -x + 1760 = s*z + 3*x, 4*z - x - 1760 = 0. Suppose 2*p + 102 - 272 = 5*g, 0 = -5*p + 5*g + z. Is 9 a factor of p?
True
Let g(d) = 5*d - 39. Does 26 divide g(20)?
False
Let l(z) = -z**2 - 19*z + 6. Suppose -j + 4*y + 43 = 11, -3*j + 5*y = -75. Let m be 4/j - (-324)/(-20). Is 18 a factor of l(m)?
True
Does 5 divide (-161 + 87)/(1056/(-3549) - 10/(-35))?
False
Let k(c) = -c**3 + 30*c**2 - 30*c + 32. Let t be k(29). Suppose 1059 = t*x + 4*d + 8, -3*d + 702 = 2*x. Is x a multiple of 23?
True
Let k = 846 - 1252. Let p = 1030 + k. Is 26 a factor of p?
True
Let k = 25274 + -11052. Is k a multiple of 19?
False
Let v(g) = 6*g**2 + 100*g + 24. Let m be v(-22). Let b = 906 - m. Is b a multiple of 17?
False
Suppose m = 6*m + 25. Let b be (-241)/(-9) - (-64)/288. Is b/(-45) - 428/m a multiple of 9?
False
Suppose -b - 42 = 58. Let d = 238 + b. Is 69 a factor of d?
True
Let z(v) = 106*v**2 - 19*v + 231. Does 136 divide z(8)?
False
Let c(g) = g**3 - 20*g**2 - 16*g - 84. Suppose -4*f - 8*s = -7*s - 89, 5*s - 67 = -2*f. Is 21 a factor of c(f)?
True
Let o(l) = -6*l - 81. Let h be o(-14). Suppose -5*q = -0*q + 5*k - 2205, h*k = 0. Is 49 a factor of q?
True
Does 120 divide (-393604)/(-20) + (-64)/320?
True
Suppose -c = -2*u - 1010, 0 = -3*c - 4*u + 93 + 2957. Suppose -1 + 2 = j, -j = -t + c. Suppose 6*g - t = 305. Does 20 divide g?
True
Is 220/(-715) + 6/52*15256 a multiple of 32?
True
Let f = -114 - -129. Let p = 125 + f. Is 70 a factor of p?
True
Let t = -3495 + 3543. Is t a multiple of 8?
True
Let i = 16 - 17. Let y be -1 - (6*i)/((-10)/(-5)). Does 3 divide (-12)/10*240/(-18) + y?
True
Let k = 21 + -21. Suppose 31*q - 30*q + 2 = k. Let l = q + 11. Is l a multiple of 4?
False
Suppose -2*i + 13464 = -50*c + 46*c, 3*i - 3*c = 20187. Is i a multiple of 59?
True
Let d be (4 + -7)/(4 - (3 + 0)). Let h be (-13)/39 - (-8)/d. Let q(b) = -5*b**3 - 3*b**2 - 3*b - 12. Is 35 a factor of q(h)?
True
Let f(y) = -29*y. Let w(v) = v - 1. Let k(q) = f(q) + 3*w(q). Suppose -6*x = -375 + 429. Does 33 divide k(x)?
True
Let b(n) = n**3 - 8*n**2 + 6*n + 7. Let w(c) = -6*c**3 - c**2 - 2*c - 1. Let k be w(-1). Let i be b(k). Let l = i - -35. Is 3 a factor of l?
True
Suppose 2348*o + 626049 = 2375*o. Does 177 divide o?
True
Let n = 160 + -100. Let h = n + -24. Let q = h + -4. Does 10 divide q?
False
Suppose -10836 - 43177 = -31*l + 23208. Is l a multiple of 11?
False
Let m(q) = 64*q**2 - 12*q + 6. Let b be m(4). Let p = b + -663. Is 11 a factor of p?
True
Suppose -2871 - 2477 = -12*w + 5176. Does 15 divide w?
False
Is 41 a factor of (-46 - -47)*755*7?
False
Suppose 5*n = 5*a - 20, 5*n + 0 = -a + 34. Let z(x) = 8*x - 19. Let u be z(a). Let p = 75 - u. Is 22 a factor of p?
True
Suppose -3*y - 23809 - 28823 = 0. Is (-7)/(294/y) - 2/(-7) a multiple of 22?
True
Let l be 434/62 - (-1 - -6). Let t(b) = 29*b**3 + 5*b**2 - 8*b + 4. Does 16 divide t(l)?
True
Let d = -155 - -56. Let f = d + 79. Does 10 divide (f/(-8) - 0)*252/10?
False
Suppose -10 = 9*x - 19. Is 9 a factor of 3 - x/(-2 + 1)*146?
False
Is 15 a factor of 11 + (-6 - -2) - -1182?
False
Let q(p) = p**2 + 7*p + 8. Let c be (-19 - -18)*(1 + 5). Let z be q(c). Does 4 divide (7 + z)/((-10)/(-30))?
False
Let j(o) = -38*o - 8 + 56 + 52*o. Let b(g) = 5*g + 16. Let v(t) = -11*b(t) + 4*j(t). Does 10 divide v(7)?
False
Let b = -392 - -665. Suppose -4*y + 407 = -b. Let p = y - 56. Does 24 divide p?
False
Suppose 55*y = 52*y + 1440. Suppose -4*s + 0*s + 480 = 4*m, 0 = -4*s + 3*m + y. Does 5 divide s?
True
Suppose -135*k - 4*d = -139*k + 1216, -4*k + 2*d = -1216. Does 7 divide k?
False
Let t(l) = -2*l**3 - 2*l**2 - 4*l - 3. Let w be t(-2). Let z be ((-4)/(-5))/(w/65). Suppose p + 3*b = 6*b + 76, -z*p - 2*b = -276. Does 7 divide p?
True
Suppose 3*b + 4*a + 16 = 6*b, 4*b = 2*a + 18. Let j be (b - (-10)/(-5)) + 61. Suppose -2*h + 111 + 8 = -3*z, -h - 2*z + j = 0. Does 17 divide h?
False
Suppose -11*d + 13*d = 12. Is 14 a factor of 6*d/(-60) - (-3369)/15?
True
Let h be 416/30 - 4/(-30). Let o = h - -39. Is (3 - (4 - -3)) + o a multiple of 3?
False
Is 4 a factor of (1974 - 0) + (32 - (-756)/(-28))?
False
Suppose -52*s - 396370 = -182*s. Is s a multiple of 99?
False
Suppose 3*t + 232263 = 7*t + 3*n, n = -4*t + 232253. Suppose t = 36*k + 11658. Is k a multiple of 25?
False
Suppose 0 = -s - 98 + 39. Let b = s + 231. Suppose -8*q = -b + 20. Is q a multiple of 11?
False
Suppose -x + 5*a = -15, 43 = -2*x - 3*a + 34. Suppose -b + 495 - 399 = x. Is 24 a factor of b?
True
Let z = -8060 + 11350. Is 14 a factor of z?
True
Let j(w) = -2*w**3 + 77*w**2 - 40*w + 73. Let l be j(38). Is 12 a factor of -1*(2/l - 2230/30)?
False
Is 28 a factor of 29197/11 - (-18)/(-66)?
False
Let z = 6784 + -766. Is z a multiple of 8?
False
Let i be 475*3 + -16 + 24. Suppose -453 = 7*f - i. Is f a multiple of 10?
True
Suppose i - 1704187 = -74*i + 245663. Is 21 a factor of i?
True
Let g = 11317 - 7205. Is 8 a factor of g?
True
Is ((-451264)/(-18) - 6/27) + (-5 - -9) a multiple of 199?
True
Let a(n) = 135*n - 16. Let t be a(3). Let y = t + -184. Is y a multiple of 21?
False
Suppose -2*v - 3*h = -91 - 332, 2*v - 408 = 2*h. Suppose -v = -t - 2*d + 57, 808 = 3*t + 2*d. Is t a multiple of 17?
True
Suppose -26*d + 21*d + 5120 = 0. Suppose 3*v = -4*r + d, 0 = 3*v + r - 789 - 241. Is 40 a factor of v?
False
Let k = 4394 + -3764. Is 30 a factor of k?
True
Does 9 divide (-117)/26*3940/(-45)?
False
Let v be (-12)/18 + 964/6 + -4. Suppose 882 = -v*a + 163*a. Is a a multiple of 42?
True
Let q = -50 - 67. Let k be (30/5 - 1)*53. Let n = k + q. Is n a multiple of 44?
False
Let k(p) = -11 + 89*p + 79*p - 179*p + 200*p**2. Is 25 a factor of k(-1)?
True
Suppose 0 = -12*w - 72 + 516. Suppose 0 = 2*q - 5*n - w, 10*n - 45 = -3*q + 7*n. Does 9 divide q?
False
Let c(z) = 115*z**2 - 269*z - 1818. Is c(-7) a multiple of 12?
True
Let j be 1 + 34/(-51) + (-11)/(-3). Suppose -5*n + 4*f + 1734 = 0, -2*n - f + j*f + 695 = 0. Is 11 a factor of n?
False
Let j(u) = -u**2 - 54*u - 357. Is j(-29) a multiple of 3?
False
Let j(b) = b**2 - 2*b - 5. Let s be j(-2). Let g(t) = -3*t**2 + 80*t**s - 5*t - 40*t**3 + 6 + 16*t - 41*t**3. Does 6 divide g(-6)?
True
Suppose c - n = n + 4, -4*n = -5*c - 4. Let q(f) = -59*f + 4. Does 16 divide q(c)?
True
Let p = 49 - 43. Suppose 150 = 11*o - p*o. Suppose o = 5*g + 5*x, 0*x = -g - 4*x + 3. Is g a multiple of 5?
False
Suppose 8*f - 305 - 1175 = 0. Does 27 divide 45/(-4 - f/(-45))?
True
Suppose -q = 4*y - 36448, 77*q - 72*q = 3*y - 27382. Does 21 divide y?
True
Suppose 0 = -3*q + 4*d + 4079, -5469 = -4*q + 337*d - 336*d. Does 17 divide q?
False
Let c(d) = -4*d - 29. Let o be c(-14). Let y(l) = 43*l - 42*l + o + 24. Does 10 divide y(29)?
True
Let s = -244 + 444. Let u = 395 - s. Is u a multiple of 13?
True
Suppose 0 = -3*z + 4*f + 349, 2*z - 192 - 38 = 2*f. Is z a multiple of 3?
True
Let f(d) = d**3 - 10*d**2 + d - 7. Let a = 45 + -35. Let v be f(a). Suppose 0 = 4*s - 12, 5*s = 5*y + v*s - 39. Is y a multiple of 9?
True
Let g(v) = 160*v - 80. Is g(2) a multiple of 10?
True
Let z be 1024/576 - 4/(-18). Suppose -2*j + 182 = -4*q, 13*j = 17*j - z*q - 388. Is j a multiple of 15?
False
Suppose -7*n + 6427 = -3*n - 5*i, 3*n = 2*i + 4822. Suppose 18*d = 228 + n. Does 10 divide d?
False
Let g = 37 + 86. Let o = g + 111. Does 18 divide o?
True
Let v = -122 - -139. Suppose -v*w + 266 = -3*w. Is w a multiple of 8?
False
Let v = -147 + 549. Suppose -2*x = -5*o + v, -x = -2*o + 167 - 6. Is 16 a factor of o?
True
Let i = -5118 + 10115. Let g = i - 3077. Suppose 12*y + 0*y - g = 0. Is 20 a factor of y?
True
Is 4 a factor of (275/20)/(20/8080)?
False
Suppose 5*h - 5 - 20 = 0, -5*g + 160 = 5*h. Let d be (-2)/6 - (-279)/g. Is ((-5)/d)/(1/(-64)) a multiple of 12?
False
Suppose -563589 = -17*s - 59454. Suppose -38*p - 7045 = -s. Is 17 a factor of p?
True
Let s(o) = 24*o - 225. Let l(n) = -12*n + 112. Let p(r) = 5*l(r) + 2*s(r). Does 2 divide p(6)?
True
Is 117 a factor of ((-17)/2*(-2)/34)/((-2)/(-82368))?
True
Suppose 31*x - 65920 = 22*x - 55*x. Is x a multiple of 9?
False
Let o(t) = 46*t + 90. Let n be (-2)/(-8) - ((-54)/8 + -