8)?
True
Suppose 0*n - 3*n = -5*z + 9, 5*n - 4*z = -2. Suppose -6 - 4 = m - 4*d, n*d = 2*m - 4. Is 41 a factor of 6315/45 - 2/m?
False
Let k = -58 - -65. Let i be ((-8)/(-28) + 0)*k. Suppose -3*l - 9 = 0, -4*q + i*l + 86 = q. Is 3 a factor of q?
False
Suppose 2*t = -t - 3*u - 138, 0 = -t + 4*u - 56. Let j = -44 - t. Suppose 4*v - 3*c = 263, -2*v + 129 = 5*c - j*c. Is 10 a factor of v?
False
Does 21 divide (6/(-3) + -2556)/(-2) - -7?
False
Suppose 77*w + 102*w + 121*w - 5520000 = 0. Is w a multiple of 96?
False
Let f(g) = g**3 + 11*g**2 + 8*g + 1. Let y be (9/(-4) - -3) + (-801)/12. Let a = 56 + y. Does 4 divide f(a)?
False
Let q = 23455 + -12084. Is 83 a factor of q?
True
Suppose 0 = 2*j - 0*j - 40. Suppose -p = -5*m - 26, 2*m - 5*m = -5*p + j. Let w(g) = -8*g - 4. Is w(m) a multiple of 9?
True
Let g(q) = -27*q**3 - 6*q**2 + 25*q - 36. Is g(-10) a multiple of 22?
True
Let z = 74 + 53. Let j = z + -125. Suppose j*g - 1093 = -4*r + 39, 4*r - 1160 = 5*g. Does 19 divide r?
True
Let c(d) = 3*d - 19. Let b(l) = -l + 1. Let s(o) = 5*b(o) + c(o). Let g be s(-10). Let t = 42 - g. Is 12 a factor of t?
True
Suppose -12*h + 0*h + 48 = 0. Suppose h*v + 5*f - 487 = 0, 3*f - 127 = 2*v - 3*v. Is v a multiple of 4?
False
Suppose 47249 = 92*g - 54503. Does 8 divide g?
False
Suppose -3*k + 24*r = 29*r - 33325, 3*k = -3*r + 33333. Is k a multiple of 247?
True
Let c(d) = 2*d**3 - 18*d**2 + 109*d + 36. Does 2 divide c(8)?
True
Let t(d) = -11005*d - 38 + 10965*d - 114. Does 8 divide t(-19)?
True
Let i = -499 + 431. Let t be (-3278)/(-12) + (-3)/18. Let v = i + t. Is v a multiple of 34?
False
Suppose -313*h = -312*h - 3. Suppose -5*v = -h*v - 500. Is v a multiple of 10?
True
Suppose -2*t - 3*c + 1 = 0, -t + 2*c = -0*t - 11. Suppose -x + 18 = -3*g, -2*x + t*g = -0*x - 39. Is x even?
False
Let k(p) = -64*p - 56. Let r be k(-6). Let g = 39 + r. Suppose 3*d = 5*o + g, 4*d - 415 = o + 46. Is d a multiple of 28?
False
Let v = -1513 - -4233. Is v a multiple of 6?
False
Suppose -75*c + 74*c + 51 = 0. Does 34 divide (-8*c)/(-2) - (2 - 0)?
False
Let x(m) = 13*m + 185. Let s be x(-14). Suppose r + h - 25 = 0, 4*r - r - s*h - 57 = 0. Is r a multiple of 5?
False
Let p be ((-124)/(-12))/(3/(-18)). Let d = -4 - p. Is d a multiple of 15?
False
Suppose -6*c - 40 = -10*c. Suppose -c*g + 1229 = -531. Does 22 divide g?
True
Let w be (-6)/(-45) - (-515)/75. Suppose 3*f = w*f + 68. Let r = f - -40. Is 6 a factor of r?
False
Suppose -2*z = 2*z - 5*g + 152, z + g + 29 = 0. Let j(y) = -2*y - 38. Is j(z) a multiple of 16?
False
Suppose s + 1088 - 8140 = -d, 2*d - 14109 = -3*s. Is d a multiple of 19?
False
Let q(o) = 6*o + 16. Let y(i) = -i. Let c(x) = q(x) + 5*y(x). Let j = 18 - 28. Does 6 divide c(j)?
True
Suppose p - 7730 = 3*n - 2863, 9769 = 2*p - n. Is 325 a factor of p?
False
Let i = -22940 + 28733. Does 2 divide i?
False
Suppose 2*r - 1794 = -5*c + 2674, -11248 = -5*r + 7*c. Is 4 a factor of r?
True
Let x(t) = -t**2 - 10*t + 13. Let b be x(-11). Suppose -3*s - 394 = -b*a + a, 3*a = -s + 1222. Let m = a + -286. Is m a multiple of 15?
True
Let n = 11 - 2. Is 482 - ((-456)/(-216) - 1/n) a multiple of 12?
True
Suppose 110*s = 121*s - 74976. Is 32 a factor of s?
True
Suppose -2822327 = -54*z - 604007. Does 26 divide z?
True
Suppose 0 = 22*n - 634 - 994. Let u = n - 23. Is u a multiple of 17?
True
Suppose i - 4*d = 4*i - 31, -i - 3*d + 17 = 0. Suppose -12 = -i*a + 8*a, z + 4*a - 151 = 0. Is z a multiple of 8?
False
Let k = -197 - -202. Suppose 62 + 103 = 3*z + k*w, -4*z = 3*w - 209. Does 4 divide z?
False
Suppose 8*u - u = 49. Let q = u + 25. Let p = q + -9. Is 4 a factor of p?
False
Let c = -841 - -843. Is (100/6)/(c/15) a multiple of 4?
False
Let u = -55941 - -83401. Is u a multiple of 105?
False
Suppose -5*z + 13096 = 2*w - 14929, 3*z - 69996 = -5*w. Is 3 a factor of w?
True
Suppose 0 = 3*u - 5*u + 4*p + 12, 4*u - 5*p - 27 = 0. Let i be 2*(4/u - -3). Suppose i*y - 68 = 58. Does 5 divide y?
False
Is 29 a factor of (-1773)/(-1)*-5*(230/30 + -8)?
False
Let w be (-6)/(0 - 9/6). Suppose -3*f = 2*j + 6 + 10, 18 = f - w*j. Is ((-1)/(-2) - 1)/(f/60) a multiple of 5?
True
Let k(r) = r - 2. Let y(x) = 6*x - 4. Let n(q) = -k(q) - y(q). Is 38 a factor of n(-10)?
True
Let i be (35/10 + -4)*-24*1. Let f be (-1 - (-1)/2)*i/(-3). Suppose 5*l = -2*c + 28, f*l = -2*c - 0*c + 40. Is 3 a factor of c?
True
Let q(g) = 75*g + 4333. Does 11 divide q(-44)?
False
Suppose 700 = -44*h + 40*h. Let k = 189 + h. Is k a multiple of 2?
True
Let k(v) = -v**3 - 18*v**2 - 15*v + 48. Let x be k(-19). Suppose 0 = 690*z - x*z + 320. Does 16 divide z?
True
Suppose -z + 9 = -j, -3*z = -j + 4 - 19. Is 80 a factor of ((-3516)/(-24))/((-1)/j)?
False
Let v(u) = u**3 + 47*u**2 + 84*u + 698. Does 5 divide v(-45)?
False
Is (-443 + -1 + -1)*(-9 + 5) a multiple of 5?
True
Suppose 0 = 4*r - 1 - 131. Suppose 13 + r = -2*t. Let h = 46 + t. Is 19 a factor of h?
False
Suppose 5*b - 4*c = 62758, -14*b - 37652 = -17*b + 2*c. Is 43 a factor of b?
False
Let a = -4485 - -5879. Is 3 a factor of a?
False
Let j(c) = 16*c - 15. Let r be -2 - (1 - 7)/((-18)/(-12)). Is 17 a factor of j(r)?
True
Let k = 427 - 425. Suppose -44*i = -k*i - 11424. Is 16 a factor of i?
True
Suppose 3*w + 4*y + y = -8, 0 = w + 2*y + 4. Suppose -w*i - q + 873 = 0, 21*q = -i + 17*q + 237. Is i a multiple of 21?
False
Suppose 0 = -6*c - 51 + 195. Let f = c - -36. Does 6 divide f?
True
Suppose 0 = 2*d - 3*w - 4036, 2*d - 4*d = 4*w - 4064. Is d a multiple of 11?
True
Let k be 146*2/(-12)*-3. Let h = 128 - k. Suppose -2*u + 5 = -h. Is 5 a factor of u?
True
Suppose -h - 434 = -2*o - 5*h, 893 = 4*o + 3*h. Let m = -77 + o. Does 12 divide m?
False
Suppose 3 = 12*j - 9. Let f be 1 + (127 - (1 - j)). Suppose 0 = -u + 5*u - f. Is u a multiple of 16?
True
Let h be -6*1/(-2) + 0/12. Let j be ((-20)/h + 6)/((-2)/9). Does 8 divide ((-1)/j)/(22/(-2706))?
False
Suppose -u - 5*c + 11 = -287, 2*c - 2 = 0. Suppose -72 = v + 89. Let a = v + u. Does 21 divide a?
False
Let b = 27715 - 9508. Does 119 divide b?
True
Let p be 7/(90/132 - 6/33). Let a(f) = -f**2 + 17*f - 39. Let m be a(p). Suppose 369 = 3*i + m*u, -3*u - 399 = 3*i - 6*i. Is 33 a factor of i?
False
Let h = -2610 + 6286. Does 3 divide h?
False
Let z(m) be the second derivative of -m**3/2 - 17*m**2/2 + 13*m. Let x be z(3). Does 5 divide 39/x*(-40)/3?
True
Does 40 divide ((-8)/(-10) - 1) + ((-146406)/(-130) - -34)?
True
Let t(m) = -17 - 28*m - 21*m + 48*m. Let j be t(-15). Is 15 - ((-3)/3 + j) a multiple of 3?
True
Suppose 5*p = 5*i + 10, p + 2*i - 7 - 1 = 0. Suppose 0*m - 18 = -2*j + p*m, -5*j + 15 = 5*m. Suppose 10*v = j*v + 5*h + 150, 3*v - h = 90. Does 6 divide v?
True
Let m be (-2)/((-10)/(-15)) + 50. Suppose -m*j + 50*j - 3228 = 0. Is j a multiple of 54?
False
Let k = -527 - -855. Suppose 0 = 6*b - k - 560. Is 37 a factor of b?
True
Let x = 4 + 0. Suppose 5*m - 21*f = -20*f + 806, -5*m + 804 = f. Suppose x*g = m + 51. Does 20 divide g?
False
Let h(d) = -48*d + 77. Let t be h(-4). Suppose 5*o = -2*s + 770, -3*o + 224 = -5*s - t. Does 13 divide o?
True
Let o(k) = 5*k + 30. Suppose 2*q + 5*q = 84. Does 18 divide o(q)?
True
Suppose 2418 + 702 = 6*d. Is 10 a factor of d?
True
Suppose 4*j + 2*t - 600 = 0, 0 = -4*j + 9*j - 2*t - 750. Suppose s + 12*i - 75 = 15*i, 0 = -2*s + 2*i + j. Is 3 a factor of s?
True
Let b(g) = 12*g + 8. Suppose 6 + 1 = z. Suppose 4*l - 2*l - 13 = 3*a, -a = -2*l + z. Is 8 a factor of b(l)?
True
Suppose 3 = 3*f, -92*f + 87*f - 267 = -4*i. Does 3 divide i?
False
Suppose 56*p - 220888 = 421375 + 46369. Is p a multiple of 124?
False
Is (-87)/36*(-408)/16 - (-66)/176 a multiple of 6?
False
Let o be (2 - (-4)/(-6))*(-30)/4. Let g(q) = q**3 + 10*q**2 - 8*q. Let n be g(o). Suppose n = 19*d - 17*d. Is 4 a factor of d?
True
Is 132 a factor of (6*1)/((-10)/(-2870)) - 6?
True
Let r(g) = 5*g**3 + 13*g**2 - 4*g + 88. Is 138 a factor of r(10)?
True
Let f(h) = 39*h - 355. Let d be f(-11). Let p = 942 + d. Does 8 divide p?
False
Let t be ((-5004)/(-27))/(4/6) - 3. Suppose l = 333 + t. Is l a multiple of 19?
True
Let z be (-21)/(-12) - 3/(-12). Suppose -v = -z*v - 185. Let o = 329 + v. Is o a multiple of 12?
True
Suppose -4*v - 505 = 479. Let l = -33 - v. Suppose m = q + 49, -5*m + q = -32 - l. Does 22 divide m?
False
Suppose 2*k = -