vide k?
False
Suppose -4*w + 3*w = -2. Suppose -4*a = -5*g + 5, -w*a + a - 5*g + 5 = 0. Is (1430/(-30))/(a + (-2)/6) a multiple of 11?
True
Let p = 32550 + 2774. Is 114 a factor of p?
False
Suppose 4*g + 2*t = -24, 10*g - 3*t - 32 = 15*g. Let f(o) = -41*o + 32. Is f(g) a multiple of 33?
False
Suppose -10*s = -30672 - 21108. Does 59 divide s?
False
Let g(p) = -3*p**3 - 12*p**2 + 31*p + 111. Does 132 divide g(-28)?
False
Let x = 7186 - 1336. Does 130 divide x?
True
Suppose 0 = -2*p - 10*d + 2810, -5*p + 5441 = 3*d - 1716. Is 41 a factor of p?
True
Let w(s) = s**3 + 2*s**2 - s - 35. Let v be w(0). Let x = v + 37. Does 6 divide (x/(-4))/(2*4/(-480))?
True
Suppose 41*i + 145157 - 1207350 = 69407. Is i a multiple of 50?
True
Let p be (-11)/(143/258) - 2/13. Let g be (-1)/((-2)/p)*(-132)/3. Suppose 2*q = -4*k + g, -2*q = q + 4*k - 656. Is 36 a factor of q?
True
Let q = -106 - -96. Let k be (-1)/3*q/(40/36). Suppose k*m - 271 = -3*b + 4*b, 175 = 2*m + 5*b. Is m a multiple of 45?
True
Let v(j) = -j**3 + 21*j**2 - 6*j + 32. Let p be v(20). Let k = 336 - p. Is k a multiple of 3?
True
Let i(l) = 14 + 1373*l + 2*l**2 - 701*l - 698*l. Does 7 divide i(13)?
True
Suppose -155*g = -127*g - 17332. Is g a multiple of 2?
False
Let z = -183 - -182. Does 8 divide 4 + z - (-875)/7?
True
Let i(n) = 5*n**2 + 4*n + 9. Let r(x) = x**3 - 4*x**2 - 4*x - 9. Let k(v) = -5*i(v) - 6*r(v). Is k(-3) a multiple of 23?
False
Let u be (-1 - 2)*7/3. Let n(h) = h**3 + 7*h**2 - 2*h - 10. Let d be n(u). Suppose 4*j - 2*k = 404, 0 = d*j - 3*k - 285 - 117. Is j a multiple of 26?
False
Suppose 5*x + 0*x = 165. Let v(i) = 2*i**3 - 65*i**2 - 15*i - 54. Is 36 a factor of v(x)?
True
Is -4 + 18 - (-57628)/4 a multiple of 19?
True
Is (1660/14)/((-216)/(-9072)) a multiple of 30?
True
Let b = 30 + -29. Let k be (1/b)/(-1 - -2). Is k*-4*(-26)/4 a multiple of 8?
False
Let g be (-91)/(-21)*3/2*-2. Let m be (g/(-5) - 1) + (-16)/(-40). Suppose 5*t + 43 = r, t + 86 = 2*r - m*t. Is r a multiple of 43?
True
Let x(o) = -243*o - 5. Let q be x(-1). Suppose 4*s + 122 = -26*z + 28*z, -q = -4*z + 2*s. Does 5 divide z?
False
Let m(v) = -9*v**3 + 3*v**2 + 6*v + 2. Let p(h) = 3 - 4*h - 8*h**3 + 5*h + 2*h**2 - 1 + 4*h. Let y(o) = -4*m(o) + 5*p(o). Is y(-2) a multiple of 18?
False
Let b = 447 - 422. Is 19 a factor of -1*b*((-10 - -3) + 6)?
False
Let p = -445 - -1617. Suppose 12*u = 5156 - p. Does 12 divide (1 + (-6)/4)/((-2)/u)?
False
Let w(z) = z**2 + 9*z - 73. Let m be w(-15). Suppose -m*y = -21*y + 860. Let l = y - -145. Is l a multiple of 36?
True
Let h(n) = -n**3 + 14*n**2 + 2. Let c be h(14). Suppose -c*y = 6, 0 = -2*g + y + 350 + 17. Does 14 divide g?
True
Suppose -2*c + 2*f = f - 140, 4*c - 5*f = 268. Suppose -39*r + 40*r - c = 0. Suppose r = -23*k + 25*k. Does 18 divide k?
True
Suppose 8*s - 5160 = -2*m, -16*m + 3*s = -15*m - 2622. Is 4 a factor of m?
True
Suppose 11*j - 8*j - 4*b - 5 = 0, j = 3*b. Suppose c = -h + 546, -j*h - 11 = 1. Is 11 a factor of c?
True
Suppose -6*w = -6 - 6. Suppose -2*v + 363 = -4*r + 85, -w*v - 3*r + 264 = 0. Suppose 8*h = 7*h + v. Does 27 divide h?
True
Let v be 288/1 + 0/(24 + -13). Let o = -273 + v. Does 5 divide o?
True
Let d(u) = 68*u**3 - 3*u**2 + 6*u - 112. Does 74 divide d(6)?
True
Let l be 7 - 8*5/10. Suppose -5*s = 5, 0*s + 3 = -3*p - l*s. Suppose 2*t - 7*t + 100 = p. Is t a multiple of 4?
True
Let n = -31 + 35. Suppose -4*w + 769 = -n*x - 487, 0 = w + 5*x - 302. Is w a multiple of 39?
True
Let h(a) be the second derivative of 15*a**4/8 - a**3 - 11*a**2 - 19*a. Let t(m) be the first derivative of h(m). Is 29 a factor of t(4)?
True
Let o(w) = -w**3 - 5*w + 40*w + 21*w**2 - 38 - 10*w. Is o(22) a multiple of 7?
True
Suppose 5*b - 7788 = 2752 - 2195. Is 106 a factor of b?
False
Let d(j) = 162*j + 736. Let i(k) = -53*k - 245. Let v(s) = 2*d(s) + 7*i(s). Does 13 divide v(-6)?
True
Suppose 5*p = c + 66599, -p + 4*c + 13315 = -c. Suppose -13*g = 2*g + p. Does 51 divide (-4)/(-2)*g/(-16)?
False
Suppose -258*d + 254*d + l = -137376, 0 = 4*d + 2*l - 137352. Is 34 a factor of d?
False
Let d(l) = -32*l**3 - 2*l**2 - l - 13. Let m be d(3). Does 45 divide 152/190*(2 - m)?
True
Let w(t) = -4*t**3 + 17*t**2 - 6*t - 12. Let o be w(-14). Suppose -o + 5371 = -39*g. Does 53 divide g?
False
Let z be (-3 + 5)/2 + 18. Suppose 49*k - 245 = 14*k. Let v = z - k. Is v a multiple of 2?
True
Let a = 196 - 14. Suppose -6*q = -538 - a. Is q a multiple of 8?
True
Suppose -5*j + 2*j = -0*j. Suppose -4*w + 5*w + 2 = j. Does 29 divide (w/4)/((-5)/1450)?
True
Suppose 21*x - 3443 = 16213. Does 29 divide x?
False
Let c = 105 - 107. Let x(h) = -39*h**3 + 4*h**2 - h - 8. Let t be x(c). Is 15 a factor of 2 + t*4/8?
False
Let u = 13697 - 7187. Is 105 a factor of u?
True
Let x = -5268 + 10437. Is 8 a factor of x?
False
Suppose 0 = -3*x - x. Let z = -23023 - -23101. Suppose -5*c + 86 = -3*c - 3*s, -2*c - s + z = x. Does 18 divide c?
False
Let n(l) = 5*l**2 - 7*l**2 + 16 - 6*l + 20*l. Let a be n(8). Suppose a = 5*c - 20, -3*p + 62 + 64 = -3*c. Is p a multiple of 9?
False
Let h(m) = -m**3 - 89*m**2 - 44*m + 325. Does 22 divide h(-90)?
False
Suppose 4*h + 9 = 5*p, 5*p = -5*h - 0*h. Let v(b) = -179*b + 363. Let n(l) = -89*l + 167. Let r(f) = 13*n(f) - 6*v(f). Does 19 divide r(h)?
True
Let l = -22085 + 35022. Does 17 divide l?
True
Let t(y) = -5*y**3 - 5*y**2 + 9*y - 5. Let i be t(-5). Suppose 29*z - i = 19*z. Is z a multiple of 6?
False
Does 244 divide 3/(-2) + ((-7476)/(-72))/((-11)/(-957))?
False
Suppose 342238 - 922494 = -121*a + 1704466. Does 134 divide a?
False
Let l(g) = -16*g**2 - 5*g. Let k be l(4). Let t = k - -284. Is 8 a factor of t?
True
Suppose 3 = 3*t, -t = -4*i + 2 - 15. Let u(a) = 28*a**2 - 5*a - 8. Does 36 divide u(i)?
False
Suppose 3*d - 7*d = 5*c - 40, -5*d - c + 50 = 0. Let q(v) = v**2 + 2*v - 30. Let n be q(d). Suppose -n = -7*p + 4*p. Is 9 a factor of p?
False
Suppose -54*t + 56*t = -8, -4*p + 49780 = -t. Does 183 divide p?
True
Suppose 1990*q - 3*l = 1995*q - 272011, 5*l = -15. Does 14 divide q?
True
Let m(l) = l**3 + 26*l**2 - 72 + 6 + 7 - 10*l. Is m(-26) a multiple of 21?
False
Suppose 4*c - 617 = 5*y, 3*c - 3*y - 460 = -2*y. Suppose 155*v = c*v + 520. Is 16 a factor of v?
False
Let h(g) = 6*g**2 + 14*g. Let c be h(-9). Let p = -38 + c. Is p a multiple of 23?
True
Let x = 1083 - 1621. Let n = 1150 + x. Does 10 divide n/63 - 4/(-14)?
True
Suppose 0 = 59*x - 72*x + 60827. Suppose -20*l + x = -7821. Is l a multiple of 34?
False
Suppose 0 = 7*r + 1 - 15. Suppose -4*m - 864 = -r*w, -2*m - 156 = -2*w + 708. Is w a multiple of 16?
True
Let k(x) = x**3 + 10*x**2 - 13*x - 12. Let d be k(-11). Let l be d*((-72)/20 + 4). Suppose r = l*h - 274, -h + 6*r = 3*r - 74. Is 15 a factor of h?
False
Let b(j) = 22*j**2 - 6*j + 6. Let t(u) = 3*u**3 - 2*u + 3. Let q be t(1). Does 47 divide b(q)?
False
Suppose w - 6510 = -147*u + 143*u, -2*u = 5*w - 32388. Does 53 divide w?
False
Let t(n) = -n - 9. Let m be t(5). Let y(w) = 2*w**2 + 28*w + 32. Is 2 a factor of y(m)?
True
Suppose 149*c = -12*c - 14*c + 7901600. Is c a multiple of 83?
True
Let d be (0/(-5 - 7))/1. Let h(z) = -z**2 - 6*z - 2. Let k be h(-5). Does 7 divide 1 + (k + -3 - d) + 99?
False
Let h = -115 - -372. Suppose 5*s - 1375 = 3*v, s + 0*v + 3*v - h = 0. Is 16 a factor of s?
True
Let r = 184 - 184. Suppose -p - 1440 = -4*p + 3*d, 5*p - 2*d - 2400 = r. Is p a multiple of 20?
True
Let d = 133028 + -71832. Does 19 divide d?
False
Is 44 a factor of 2/(-1) - (-1739 + 15/5)?
False
Let v(y) = -y**3 - 10*y**2 - y - 7. Let o be v(-10). Let s be -4*1/(-18) + 1202/18. Suppose h = -u + 5*h + s, -o*h = -3*u + 192. Is u a multiple of 9?
True
Let m be ((-8)/6 + 1)/((-3)/18). Suppose 0 = -m*r + c + 264, 2*c - 394 = -3*r + 3*c. Is r a multiple of 10?
True
Let b(c) = 21*c - 36. Let r be -1 - -5 - 1*-2. Is 47 a factor of b(r)?
False
Let b be ((-738)/(-45))/(1/5). Suppose -a + 103 = -b. Does 26 divide (-2)/((-4)/(-6)) + a?
True
Let t = -3403 + 15595. Is t a multiple of 32?
True
Let w(h) = -108*h - 8. Let d be w(-7). Suppose a - g = d, -5*a + 3*g = -0*g - 3732. Is 10 a factor of a/14 - 1/7?
False
Let y(n) = n**3 - 4*n**2 + 4*n - 6. Let k be y(6). Suppose -k = 7*b - 5*b. Let a = -5 - b. Is 5 a factor of a?
True
Let d(a) = a**3 + 12*a**2 + 17*a - 5. Let t be d(-9). Suppose