s 32 divide b?
True
Is 25 a factor of (3402/2 + (-4)/4)*35/20?
True
Let o = 17377 - 13057. Does 40 divide o?
True
Does 28 divide (50 + 25)/15 - (-27309 + 0)?
False
Suppose 6*f = 9*f + 138. Let w = f - -53. Suppose 4*g + 2*j = 386, -477 = 2*g - w*g + 3*j. Is g a multiple of 14?
False
Let d be ((-78)/104)/(5/(-4) - -1). Suppose -18 = -d*n - n + 2*w, 5 = 2*n + 3*w. Suppose z - 2*m = 78, n*z - m - 299 = -6*m. Is z a multiple of 19?
True
Suppose 2389*j - 2384*j = -f + 7128, 0 = -3*f + 2*j + 21384. Is 36 a factor of f?
True
Let v(b) = -5*b + 39. Let l be v(7). Suppose -556 = -2*s + l*i + i, -s + 4*i + 278 = 0. Is s a multiple of 29?
False
Suppose 4*s + 2*v = 742, -4*s + 556 = 5*v - 189. Let r = 251 - s. Is 11 a factor of r?
True
Does 134 divide 387/(-344) - 393363/(-24)?
False
Let v = 66 - 46. Is 423 + 75/10*(-16)/v a multiple of 14?
False
Let b(x) = 20*x + 1136. Suppose -5*n = -m, 3*m = -5*n + 5*m. Does 48 divide b(n)?
False
Suppose 50*m = 32*m + 26*m. Suppose -4*l + 1746 + 3810 = m. Is 60 a factor of l?
False
Let h be (-84)/196 + -3 + (-240)/(-21). Suppose -416 = -h*i - 80. Is i a multiple of 42?
True
Let t(h) = 2*h + 7*h + 65 - 7*h + 13*h + h**2. Is t(20) a multiple of 9?
True
Let l = -1097 - -1109. Suppose 7*q = 2*q - 4880. Is q/(-14) - (l/(-42))/1 a multiple of 14?
True
Let c = -564 + 866. Let w = 935 - c. Does 16 divide w?
False
Suppose 7*a + 12 = 26. Is a*3/(-6)*-19 a multiple of 2?
False
Suppose 9*z - 7*z = 1546. Suppose -o + z = 628. Does 40 divide o?
False
Suppose c = -3*c - t + 1520, -c = -t - 380. Let m = -220 + c. Is m a multiple of 63?
False
Let h be 2*(-4)/(-40) - (-4)/(-20). Suppose -5*o + v = -205, -4*o + 9*o + 3*v - 185 = h. Is 23 a factor of o?
False
Let m = -348 - -172. Let n = 48 - m. Is 62 a factor of n?
False
Let h(w) = -4*w**2 + 97*w + 30. Let l(y) = -y**2 - 28*y - 182. Let r be l(-14). Is h(r) a multiple of 60?
False
Let h(s) = -6*s + 65. Suppose -3*m = 4*m. Let y be m*(5/(-7) + (-2)/7). Is h(y) a multiple of 11?
False
Let y(g) = g**3 - 2*g**2 + 7*g - 9. Let v be y(3). Suppose 5*z + v = 2*u, 2*u - 7 = 2*z + 5. Does 7 divide -2 + 9/z*(-165)/9?
False
Let u(j) = 15*j**2. Let t be u(-1). Suppose -5 = -5*h + 2*v, v = -2*v - t. Is 11 a factor of (1 - -1) + (-1 - h) - -119?
True
Let y = -27623 - -30377. Is 27 a factor of y?
True
Let v = 0 + 0. Suppose -145*b = -131*b. Suppose v = -b*l - l + 109. Does 32 divide l?
False
Let i(o) = -3*o + 16. Let p be i(16). Let y be (-21)/(-2)*p/(-12). Suppose -y = -31*z + 29*z. Is z even?
True
Let h(s) = s**3 + 49*s**2 + 67*s + 487. Is 26 a factor of h(-21)?
False
Let m = -1615 + 2987. Suppose -11*o = 3*o - m. Is 14 a factor of o?
True
Does 43 divide (1 + 5/(-3))/(18/(-37044))?
False
Let g(n) = 13*n - 67. Suppose x = -4*a + 40, 0 = 3*a - 2*x - 6 - 24. Suppose 3*k = -a*k + 117. Is g(k) a multiple of 10?
True
Suppose 0 = 339*o - 337*o - 1496. Let v = o - 476. Is 31 a factor of v?
False
Suppose -71*z + 74*z - 18778 = 2*d, -6 = 3*d. Does 14 divide z?
True
Suppose 7640 = 2*c - 2*q, 2*q - 19135 = -266*c + 261*c. Does 85 divide c?
True
Let b be 45/55 + (-6)/(-33). Does 27 divide (4 - b) + -15*(-21)/3?
True
Let a(k) = -125*k - 165. Let x be -2 + 5 + -6 - (-8 - -9). Does 8 divide a(x)?
False
Suppose -5*f = 5*m + 320, -2*f - 5*m = -7*f - 300. Let v = -61 - -101. Is 10 a factor of f/(-3) + v/(-60)?
True
Suppose 24*t - 22968 = -75*t. Does 3 divide t?
False
Let z be (-692)/2 + -8*(-1)/(-4). Let f = z - -432. Is 10 a factor of f?
False
Suppose 3*z = -4*m + 30906 + 38310, 0 = 3*m + 2*z - 51912. Is m a multiple of 8?
True
Let t(l) = l**3 + 3*l**2 + l + 3. Let z be t(-3). Does 19 divide (-2 - z)*1 - (-837 - 1)?
True
Let r = 40519 - 28819. Is 100 a factor of r?
True
Let i(g) = g**3 + 2*g**2 - 38*g - 7. Let x be i(-7). Suppose 0*q + 728 = x*q. Is q a multiple of 3?
False
Let i = 79 + -125. Let l = i + 54. Is 76 + l/4*2 a multiple of 16?
True
Let l = -38 - -24. Let c(m) = -2*m - 15. Let x be c(l). Suppose s = 4*h - 17, 0 = -2*h - 0*s - s + x. Is h a multiple of 5?
True
Suppose l = -k + 85, -13 = -5*l + 12. Suppose 3*x - 459 = -q, -3*q - 2*x = k - 1471. Is q a multiple of 15?
True
Let w = 22376 + -9183. Is 32 a factor of w?
False
Suppose -57*z + 3*f = -58*z + 8448, -3*z - 3*f + 25320 = 0. Is z a multiple of 3?
True
Is (15/(-9))/(39/(-35100)) a multiple of 4?
True
Let a = -5705 - -6376. Is a a multiple of 84?
False
Is 50 a factor of (-140)/112*11*-1080?
True
Does 32 divide 37404/78 + ((-372)/39 - -10)?
True
Suppose 2*s - 40684 = 4*a, -3*s + a + 17834 = -43227. Is s a multiple of 28?
True
Let w(u) = -u**2 - 329*u - 2343. Does 165 divide w(-131)?
True
Let c(z) = -58*z - 140. Let x be c(19). Let t = -552 - x. Is t a multiple of 30?
True
Suppose -2*t + 4*j + 47002 = 0, -492*j + 94009 = 4*t - 495*j. Is 19 a factor of t?
True
Let h(d) = -198*d**2 + 14*d - 13. Let g be h(1). Let x = -71 - g. Does 4 divide x?
False
Suppose -6*k - 63 = -117. Let r(x) = x**2 - x + 29. Is r(k) a multiple of 5?
False
Suppose 11780 = 4*q - 460. Suppose 4*g + q = 10*g. Does 59 divide g?
False
Let u(t) be the third derivative of t**5/60 - t**4/24 + 17*t**3/3 - 36*t**2. Does 3 divide u(-5)?
False
Suppose -12*k + 18*k = -1710. Let p = 308 + k. Does 8 divide p?
False
Suppose -l = 41 + 24. Let k = l - -68. Suppose -10*z + k*z + 308 = 0. Does 12 divide z?
False
Suppose 553*g = 560*g - 28. Suppose 3*x = g*l + 3792, 3*l = -3*x + 2800 + 971. Is x a multiple of 20?
True
Suppose h + 156 - 196 = 0. Does 15 divide (-1984)/20*h/(-16)?
False
Suppose -3*w = -50 + 74. Let c(x) = 5*x**2 - 22*x - 20. Is c(w) a multiple of 28?
True
Let l be (-58)/12 + 23/(-138). Does 12 divide 2*26*l/((-30)/18)?
True
Suppose 0 = -v - m + 1, 0 = 2*v + m + 13 - 18. Suppose -4*t = -4*y + 164, t - 107 = y - v*y. Is 33 a factor of y?
False
Let c = -570 + 753. Suppose -5*w = -2*d + 174, -3*d + 2*w - 2 + 285 = 0. Let g = c - d. Is 15 a factor of g?
False
Let m be (-41247)/(-72) - 2/(-16). Let s = m - 207. Is s a multiple of 13?
False
Let y(i) = -i**3 - 25*i**2 - 110*i - 705. Does 59 divide y(-23)?
True
Suppose 3*a - 2*t - 145 = 0, 4*t - 160 = -5*a + a. Let i = -2 + a. Is 9 a factor of i?
False
Let y = 209 + -25. Suppose 4*c + 2*p - y = 4*p, 4*p + 32 = c. Is c a multiple of 8?
True
Let u(g) = 22*g**3 + 5*g**2 - 7*g + 6. Let p be u(3). Suppose 16*z = -8*z + p. Is 12 a factor of z?
False
Let j = 595 + -592. Suppose -4*g - 3*a = -3328, j*g + 11*a = 6*a + 2485. Is g a multiple of 24?
False
Suppose a = 2*q - 25887, -227*q - 4*a - 25908 = -229*q. Is 15 a factor of q?
False
Let g(y) = 359*y**2 + 5*y + 6. Let d be g(-1). Let a = d + -111. Does 9 divide a?
False
Suppose -14187*s + 14183*s + 1892 = 0. Does 57 divide s?
False
Let g be (-17)/(-4) + (-5)/20. Suppose -96 = -9*j - 15. Suppose m - g*p - 57 = 0, j*m - 4*p = 4*m + 285. Does 12 divide m?
False
Let o(l) = 20*l**2 - 12*l + 708. Does 61 divide o(21)?
False
Let w(u) be the second derivative of -33/2*u**2 + 29*u - 29/6*u**3 + 0. Is 24 a factor of w(-5)?
False
Let k(r) = r**3 - 6*r - 6. Let x be k(3). Suppose 4*y + 483 = x*p, -y + 468 = -6*p + 9*p. Is p a multiple of 5?
False
Suppose -60*a + 647997 = 200337. Does 14 divide a?
False
Let w be 80/7 + -1 - 24/56. Let s = w + -6. Suppose 2*n = 3*i + 25, -2 = -s*n + i + 73. Is n a multiple of 15?
False
Let b(k) = -k**3 - 3*k**2 + 8*k - 6. Let z be b(-5). Suppose -2*y + z*s = -s - 568, 600 = 2*y + 3*s. Is 42 a factor of y?
True
Let j = -7845 + 11646. Is 23 a factor of j?
False
Suppose 1725541 = 91*j + 94*j - 146659. Is 4 a factor of j?
True
Suppose 0 = -29*c - 9*c + 1140114. Does 137 divide c?
True
Let h(c) = -c**2 - 22*c + 32. Let g be h(-23). Let j(u) = 27*u + 4. Is 7 a factor of j(g)?
False
Suppose 2*y = 5*y - 2*n - 6348, 6330 = 3*y + n. Is 33 a factor of y?
True
Let h(j) = 4*j + 95. Let x be h(-23). Suppose q + 425 = 5*r + 6*q, -171 = -2*r - x*q. Is r even?
True
Let f(y) be the first derivative of 82*y**3/3 - 7*y**2 + 14*y - 30. Does 21 divide f(1)?
False
Is -20*(3/(-6))/((-10458)/(-2091) + -5) a multiple of 28?
False
Suppose 0 = -o - 8*q + 10057, 83*o + 2*q - 40258 = 79*o. Is o a multiple of 55?
True
Suppose -97 = 5*c + 3*b, -4*c + 4*b + 42 - 126 = 0. Let d(g) = -7*g**2 + 112*g + 217. Let s be d(-2). Let u = c - s. Is u even?
False
Let d be 0/(-2) + -15 - -1. Let b(t) be the first derivative of t**2