uppose -z + 2*c + 5 = 0, 2*z + 0*c + 30 = -4*c. Let b be z/(30/54)*2/(-6). Suppose -b*o - 970 = -8*o. Does 21 divide o?
False
Suppose 0 = 18*n - 3480 - 10218. Let l = -659 + n. Does 17 divide l?
True
Suppose 397967 = -491*u + 1083516 + 775667. Does 6 divide u?
True
Let d = 18921 + -11743. Does 33 divide d?
False
Suppose 37*l = 26*l + 98*l - 708615. Does 45 divide l?
True
Let r(w) be the third derivative of -w**4/24 - 5*w**3/2 - 10*w**2. Let l be r(-17). Suppose 23 = -l*y + 3*y. Does 23 divide y?
True
Suppose -4*p = -m - 46489, 500*p - 504*p - m = -46503. Does 6 divide p?
False
Let o = 232 + -143. Let x = -5453 - -5504. Let j = x + o. Is j a multiple of 10?
True
Let a(k) = -481*k**3 + 2*k**2 + 2*k. Suppose 680*l = 675*l - 5. Is 7 a factor of a(l)?
False
Suppose -3*f + 23 = 4*t, -5*f = 3*t - 0*t - 20. Suppose 5 = 6*l - 7*l, 1797 = 4*u - t*l. Is 9 a factor of u?
False
Let v(w) = w - 11. Suppose -54*o - 28 = -56*o. Let g be v(o). Suppose -4*k + 0*k + 120 = 4*b, 4*k - 118 = -g*b. Is 3 a factor of k?
False
Suppose 16 = -4*a - 4, -3*o - 60 = 3*a. Let h(k) = -2*k**2 - 50*k + 24. Does 51 divide h(o)?
False
Suppose 3*s = 2*f - 8406, 4*f - s - 17550 = -768. Is 6 a factor of f?
True
Let d = -524 + 528. Suppose 2*g - 8*b = -9*b + 1734, -3462 = -d*g + b. Is 58 a factor of g?
False
Suppose -228*d - 2151 = -237*d. Suppose d*o - 250*o + 6996 = 0. Does 8 divide o?
False
Let w be ((-200 + 0)/(-22 - -20))/2. Does 16 divide ((-60)/w)/((-2)/335)?
False
Let s = -33 + 31. Let n(h) = -h + 5. Let r be n(s). Is ((-6)/r)/((-2)/84) a multiple of 12?
True
Suppose 1917119 = 362*t + 75*t. Is t a multiple of 3?
False
Let h = 15567 - 11976. Does 189 divide h?
True
Suppose 55 = b + 4*b. Suppose 1414 = 581*d - 567*d. Let w = b + d. Does 8 divide w?
True
Let s = 84 + -82. Suppose -2*i = -4*n - 8, 5*i - s*i = -4*n - 8. Suppose i = -3*d + 33 + 255. Is 24 a factor of d?
True
Suppose -54*n + 1096256 = 10*n. Is n a multiple of 9?
False
Let m be (-21)/(-14)*((-114)/(-9) + 0). Suppose -3055 = -m*r + 1790. Does 35 divide r?
False
Let v be 46/14 + 22/(-77). Suppose v*g + 15 = 33. Suppose 0 = -g*q - 2*q + 360. Is 9 a factor of q?
True
Suppose 2*t + 2*d + 1194 = 0, 4*d + 1791 = -3*t + 3*d. Let c = 547 - t. Is 13 a factor of c?
True
Does 60 divide (101222/321)/(1/9) - 9?
False
Suppose 4*t = -16, 2*t = 2*o - 0*t - 24. Is (-221)/2*(o*-1)/4 a multiple of 11?
False
Let n(i) = 4*i + 16. Let m(j) = -13*j - 49. Let t(q) = 6*m(q) + 21*n(q). Let h(f) = f**2 - 6*f + 7. Let k be h(7). Does 42 divide t(k)?
True
Let w = 15494 - 6127. Is w a multiple of 17?
True
Suppose 2*s - 7755 - 458 = -5*p, -4*s = 3*p - 16447. Is 22 a factor of s?
True
Let h(i) = 393*i**3 - 2*i**2 - 2*i - 1. Suppose -2*m = 5*o - 0*o + 12, -4*o = -4*m + 4. Let u be h(m). Let z = -196 - u. Is 22 a factor of z?
True
Let t = -308 - -1772. Suppose -118*q + t = -114*q. Is 50 a factor of q?
False
Let j(v) = -3*v**2 - 4*v - 2. Let x be j(-2). Let q be (4 + 2)*((-28)/x + -4). Suppose -q*k + 128 = 2*c, 2*k + 14 = 3*k - 4*c. Is k a multiple of 4?
False
Suppose -6*r - 423 + 9558 = -21315. Is 25 a factor of r?
True
Does 213 divide (1 + 0 + 8)/(75/234300)?
True
Let w = 533 + -528. Suppose -2*i = z - 453, w*z + 6*i - 2*i - 2247 = 0. Is 42 a factor of z?
False
Let y = 147 + -138. Let x = y - -3. Is 3 a factor of x?
True
Suppose 4*b + 205 - 631 = -2*l, -l + 3*b = -193. Suppose w = 3*j - l, 7*w = 2*j + 3*w - 120. Is 35 a factor of j?
True
Is 14056 + 7*(-160)/70 a multiple of 195?
True
Let c be ((-3)/(-6))/((-2)/(-92)). Suppose 0 = 4*d - 4*j + 7*j + 7, -2*d - c = -5*j. Is 2 a factor of ((-36)/(-24))/(-3*1/d)?
True
Let i(n) = -n**2 + 14*n - 2. Let o(y) = -y**3 + 9*y**2 - 5*y - 12. Let c(x) = x**3 + 14*x**2 - 17*x - 22. Let a be c(-15). Let g be o(a). Does 6 divide i(g)?
False
Let k(c) = 4*c**3 - c - 9. Let g(x) = x**2 + 3*x - 15. Let w be g(-6). Is k(w) a multiple of 32?
True
Let n be (219/9)/((-9)/(-27)). Suppose -n = 12*g - 3913. Does 4 divide g?
True
Let o be 1/1 - (-1 - 7). Let t(p) = 5 + 1 + 6*p - 55*p**2 + 54*p**2 + 8 + 6*p. Does 9 divide t(o)?
False
Let u = 4 - -97. Suppose 0 = 9*p - 205 - u. Let n = p + 190. Is n a multiple of 32?
True
Suppose -121 = -32*y + 39. Let j be 4 - 1 - (2 + -1). Suppose -y*a + 381 = -j*a + l, -4*l = -a + 140. Is a a multiple of 32?
True
Suppose -434798 = -52*i + 843466. Is 51 a factor of i?
True
Does 21 divide 2 + (2 - 2) + 8710/13?
True
Is 84/((3 - (-390)/(-138))/2) a multiple of 7?
True
Does 10 divide 7484 - (-14)/((-196)/(-154))?
False
Let k = -24 - -23. Let x = 46 - k. Suppose -y = 3*b + 7 - x, 4*y - 3*b - 85 = 0. Does 9 divide y?
False
Suppose a - 5243 = -5*b, 15745 = 52*a - 49*a - b. Does 8 divide a?
True
Suppose 8*w - 5*w - 3*c = 30, 4*w - 33 = -3*c. Suppose -w*b = -5*b - 2*o - 1658, -b + 416 = o. Does 11 divide b?
False
Let o(u) = -3*u**3 + 17*u**2 + 41*u + 17. Is 9 a factor of o(-5)?
True
Let x(n) = 13*n + 7. Let j be x(-2). Let s = j + 106. Does 47 divide s?
False
Let w(o) = 877 - 1768 + 879 - 17*o + 17*o**2 + o**3. Does 60 divide w(-17)?
False
Is 56 a factor of ((-78)/12 - -6)/(3/(-10002))?
False
Let g = -258 + 251. Let n = g - -74. Is 10 a factor of n?
False
Let b = 285 - 343. Let q = 355 - b. Does 39 divide q?
False
Let k = -2 + 2. Suppose -2 + k = i. Is 9 a factor of (-7 + -2)/(i/10)?
True
Is 74 a factor of (18/(-15))/(597493/35150 + -17)?
True
Let a = 148 - 142. Let w be 8*(1/3 - (-1)/a). Suppose w*u - 15 = -3, 0 = -2*s + u + 559. Does 24 divide s?
False
Suppose 3*v - 3*j - 23664 = 0, -2*v - 3*j - 39434 = -7*v. Is v a multiple of 14?
False
Let p be (-15)/((-5 + 26)/(-7)). Is 37 a factor of (222/p)/((-13)/(-195))?
True
Suppose 907*q = 932*q - 239850. Is q a multiple of 117?
True
Let l be ((-5)/20)/((-1)/4)*-97. Let v(w) = 25*w - 7. Let g be v(6). Let p = g - l. Does 16 divide p?
True
Is (8/2)/(((-432)/(-17469))/16) a multiple of 50?
False
Is -1640*(-4 + 112/25)/(2/(-45)) a multiple of 72?
True
Let p(u) = -2*u**3 - 30*u**2 - 15*u + 50. Let r be p(-26). Suppose -r = -55*g - 3*g. Is g a multiple of 12?
True
Suppose -5*x + 4*a = -40, a - 13 - 2 = -5*x. Suppose -3*c = 2*q + 5 - 33, -8 = -x*q. Is (c/20)/(2/(157 + 3)) a multiple of 32?
True
Let a(b) = 12*b**2 + 70*b - 6. Let u be a(-6). Let y(x) be the second derivative of x**3/2 + 27*x**2/2 + 2*x. Does 9 divide y(u)?
True
Suppose t = -3*x - 36, 0*x - 4*x - 16 = 0. Let b = t + 75. Let g = 141 - b. Is 10 a factor of g?
True
Suppose 562 - 2077 = -5*n. Suppose -4*l - 2*t + 223 = -195, 0 = -3*l + 2*t + n. Does 2 divide l?
False
Let a be 26/26 + 14/(2/(-1)). Let l(k) = k**2 + 8*k + 4. Let c be l(a). Is 6 a factor of -4*(-4)/c - 48/(-3)?
False
Let g be -4 + 1 - 5/(-1). Let t be g*-1 + 12/6. Suppose t = -32*l + 27*l + 85. Is l a multiple of 17?
True
Suppose 3*v + 4*y - 78294 = 0, 83727 = 2*v + y + 31541. Is v a multiple of 31?
False
Let j(i) = 2*i**3 + 34*i**2 - 7*i + 57. Is j(-13) a multiple of 30?
True
Let p be 12/8*-2 - (-396)/3. Suppose -g = 4*a - 306, 4*a + 4*g = -p + 441. Does 7 divide a?
False
Let k be 3/12 - (-3)/4. Let m be k/2 + 11203/34. Suppose 2*b - m = -6*v + 4*v, -2*v - b + 329 = 0. Is v a multiple of 12?
False
Let k(b) = 106*b - 2. Let j(h) = -h + 3. Let t be j(0). Let u be k(t). Let f = u - 186. Does 22 divide f?
False
Let w(m) = -29*m**2 - 8*m + 24. Let a be w(2). Suppose -g - 9 - 67 = 0. Let d = g - a. Is 17 a factor of d?
False
Does 5 divide 20741/3 + (-280)/24 + 12?
False
Let j be (-4)/(-3) + ((-11530)/(-15) - 2). Suppose -a + 102 = -j. Suppose -5*d + 20 = -a. Does 23 divide d?
False
Does 12 divide (-12*(-126)/(-36))/(2/(-37))?
False
Suppose -5*b = 5*y - 14460, -4*y = 90 - 54. Does 150 divide b?
False
Suppose -4*k = -3*g + 6798, 5*k = 3*g - 5*g - 8509. Let c = -1168 - k. Is c a multiple of 13?
True
Is -7*(-12)/42 + 64380/6 a multiple of 51?
False
Suppose 3*s - 3 = -21. Let k be 102/5 + 2*s/(-20). Suppose -k*z = -18*z - 309. Is z a multiple of 20?
False
Suppose 435 = l - 4*n, 0 = -l + 2*l - 3*n - 430. Suppose -3*g - l = -2*i, -g = g + 6. Does 29 divide i?
True
Does 32 divide 1 + (-44)/52 - ((-59850)/13 - 4)?
True
Let z(w) = -13*w + 221. Let q be 106/13 + (-62)/403. Is 3 a factor of z(q)?
True
Suppose 10*a - 22 = 148. Suppose 27*n - a*n = 3060. Is 7 a factor of n?
False
Let b(y) = -3 + 2*y - 2*y**3 - y**2 + 3*y - y**3. Let l be b(-3). Suppose -l 