/4 + m**3/3 + 9*m + 12. Let f be x(0). Suppose -52 = -f*d + 5*d. Does 3 divide d?
False
Suppose 4*r - 375*h = -376*h + 75437, 3*r = 4*h + 56592. Is r a multiple of 56?
False
Let d = -14 + 9. Let z(m) = -1. Let r(u) = -5*u + 3. Let f(t) = r(t) - 4*z(t). Does 9 divide f(d)?
False
Let z(q) be the first derivative of 280*q**3/3 - 87. Is 14 a factor of z(-1)?
True
Suppose -499378 - 69722 = -40*c + 5*c. Is c a multiple of 16?
False
Let c = -14 + 15. Let s be ((-48)/(-32))/(c/4 - 0). Suppose s*f - 60 = 2*f. Does 9 divide f?
False
Let k be (-2)/(-12 - -2)*10. Suppose -t + 6*t = 5*l + 160, k*l - 48 = -2*t. Is 13 a factor of (16/(-10))/(t/(-910))?
True
Let w(t) = 4*t**2 + 7*t + 33. Let k be w(7). Suppose -7*s + 5*s + 583 = -5*n, -k = -s - 2*n. Does 6 divide s?
False
Let v be (-10)/(-40) - 30/(-8). Suppose -5*l - 24 = u, -13 = v*u + 3*l - 2. Let x(n) = 120*n**3 + n**2 + n - 1. Is 11 a factor of x(u)?
True
Let z be 45*2/20*36. Suppose -3*l - z - 78 = 0. Let n = l + 102. Is 8 a factor of n?
False
Is 41 a factor of 265493/6 + (1332/216 - 7)?
False
Suppose 0 = -5*w + 5*y, 4*w + 5*y = 1 + 17. Let l be ((-306)/(-9) + 7)/1. Suppose 1 - l = -w*r. Is r a multiple of 5?
True
Is 13 a factor of 2784 - (5/50 - 395/(-50))?
False
Suppose w + w = -6, -4*b - 39 = 5*w. Let h be (-2 - b)/((-2)/(-5 - 1)). Is (1/(-2))/(h/(-816)) a multiple of 17?
True
Let x(y) = 263*y + 1954. Is 26 a factor of x(68)?
True
Suppose 0 = 17*r - 2*r + 28*r - 157896. Is r a multiple of 54?
True
Let u = -24 - -5. Let w = u - -21. Does 4 divide -12 + 10 + 5*w?
True
Let g(f) = 2*f - 7. Let q(u) = -3*u**3 + 27*u**2 + 7*u - 32. Let c be q(9). Is g(c) even?
False
Suppose -24*z + 21*z = -h - 9306, 5*z + 2*h - 15510 = 0. Is 23 a factor of z?
False
Let r = 10208 + -7052. Is r a multiple of 3?
True
Suppose -2*f = m - 0*f + 4, 12 = -3*f. Suppose -3*r = 2*w - m*r - 2082, 4*w + 5*r = 4192. Suppose -3*a + 10*a - w = 0. Is a a multiple of 11?
False
Suppose -9*f + 196 = -2*f. Suppose 34*m - 24 = f*m. Is m a multiple of 3?
False
Suppose 26*y - 229418 + 5194 = 0. Is 4 a factor of y?
True
Suppose -318146 = -100*u + 9*u + 476284. Is 18 a factor of u?
True
Let x = -204 + 224. Suppose x*i = 29*i - 2034. Does 25 divide i?
False
Let u = 91 + -95. Suppose 16 = 3*y - 14. Is u*((-25)/y - 1) a multiple of 14?
True
Suppose 5*b - 4*f - 14760 = 0, -f = -38*b + 40*b - 5891. Is 194 a factor of b?
False
Let x(a) = -8*a**3 - 13*a**2 + 27*a - 82. Is 44 a factor of x(-11)?
False
Let b be (4 - (-4 + 5)) + 2. Does 10 divide (-1)/b + (-22032)/(-85)?
False
Let n be (-12)/(-9) - 0 - 2/(-3). Let o(z) = -7*z + 50*z**2 - 22*z**n - 5 - 24*z**2. Is o(4) a multiple of 31?
True
Let i(x) = 2*x**3 - 8*x**2 - 9*x - 55. Is i(13) a multiple of 41?
True
Let l be 102/(((-8)/(-6))/4). Let u(t) = t**3 - 18*t**2 + 54*t + 41. Let s be u(13). Let m = s + l. Is m a multiple of 26?
False
Is (-6 + 5)*2/17 - (-244908)/51 a multiple of 14?
True
Suppose 3*p = -3, -r - 4*p = -0*p + 11. Let v(b) = -10*b + 74. Is 16 a factor of v(r)?
True
Let z(m) = 36*m**2 + 87*m - 349. Does 4 divide z(4)?
False
Suppose 294336 = 50*i + 96*i. Is 16 a factor of i?
True
Suppose -151*o + 205*o - 27486 = 0. Does 21 divide o?
False
Let u(a) = -a**3 - 9*a**2 - 17*a - 14. Let n be u(-7). Suppose n*q + 19*q = 16848. Does 12 divide q?
True
Let g(d) = -d**2 + 11*d - 18. Let s be g(2). Suppose -6*t + 11*t + 20 = s, t = 4*r - 464. Does 7 divide r?
False
Let q be 7*(6 + -7) - -2107. Suppose q = 7*c - 154. Is 14 a factor of c?
True
Suppose -24 + 28 = -2*c. Let z be c/(-4) + 228/8. Let q = 132 - z. Does 21 divide q?
False
Let v(k) = 13*k**2 - 72*k - 29. Is v(35) a multiple of 11?
True
Let x(z) = -1140*z - 24. Let d be x(-4). Suppose -48*q = -36*q - d. Does 27 divide q?
True
Let g(n) = 188*n + 5169. Is 28 a factor of g(5)?
False
Let r = -7821 - -13313. Does 72 divide r?
False
Let l be (-5 - (1 + -6))/(8/(-2)). Suppose l = -3*d + 7*d + 12, -525 = -4*q - 5*d. Is (q/(-20))/(-2*(-2)/(-16)) a multiple of 7?
False
Let c = 29259 + -21007. Is c a multiple of 21?
False
Let f = -357 + 434. Let z = 470 - f. Does 28 divide z?
False
Suppose -c - 4*g = 4*c - 16, -12 = -3*g. Suppose -b = c, -3*m + b = -3*b - 42. Does 8 divide ((-12)/14)/3 - (-662)/m?
False
Let i(z) = 7*z - 90. Let h = 255 - 229. Is i(h) a multiple of 4?
True
Suppose -4*d = -0*d - 12. Let r(b) = 3*b**2 + 13*b + 59. Let s be r(-6). Suppose -u + d*u - s = -5*a, -4*u + 4*a = -164. Is u a multiple of 21?
True
Let h be (-1 - 0) + 4*7/28. Suppose 7 = 5*a + 2*r - 5, 3*a + 5*r - 11 = h. Suppose -8*f + a*f + 264 = 0. Is 22 a factor of f?
True
Let w(p) = -49*p**3 + 14*p**2 + 8*p + 63. Is 30 a factor of w(-6)?
False
Let b(o) = 261*o**2 + 86*o + 42. Is 27 a factor of b(-3)?
True
Let s(k) = 10*k**2 - 55*k - 149. Does 30 divide s(-45)?
False
Let k = 11472 + -7122. Is k a multiple of 25?
True
Let h be ((-56)/(-6))/(-2*(-8)/96). Let l = h + 131. Is l a multiple of 18?
False
Let z(l) = 7*l + 6. Let g be z(1). Suppose -7 - g = 5*c, 3*v - c = 484. Suppose -164 = -2*s + v. Is s a multiple of 21?
False
Let t = -57 + 65. Suppose 0 = -t*i + 813 - 45. Is 32 a factor of i?
True
Let r(v) = 4*v - 27. Let h be (-40)/(-6)*(-42)/(-35). Let k be r(h). Suppose -t + k + 8 = 0. Does 2 divide t?
False
Let r(n) be the third derivative of 7*n**4/6 + 91*n**3/2 + 72*n**2. Is r(34) a multiple of 11?
False
Let c(b) = b**3 - 18*b**2 + 20*b + 35. Let j(m) = 23*m**2 + 6*m - 2. Let k be j(2). Suppose -11*v + k = -5*v. Is c(v) a multiple of 43?
True
Let v(i) = i**3 - 8*i**2 - 41*i + 297. Does 2 divide v(9)?
False
Let f(n) = n**2 - 2*n + 3. Let x = 68 + -90. Let k = 25 + x. Is f(k) a multiple of 2?
True
Suppose -11*w - 16*w + 36855 = 0. Let h = w + -733. Does 11 divide h?
False
Let n be ((22 - -2)/8)/(2/22). Does 4 divide 0 + (-789)/(-9) - (-44)/n?
False
Is (44/(-12))/(352/(-3952992)) a multiple of 15?
False
Suppose 2*b - 1154 = -5*t, b - 230*t = -225*t + 592. Does 8 divide b?
False
Let w = -92 - -97. Suppose -w*i - 145 = -0*k - k, -4*i - 12 = 0. Is 13 a factor of k?
True
Let z be (-5)/(-4) + -1 - 428/(-16). Does 3 divide (-9)/(z/24) - -129?
False
Let i be -4*(18/(-27) + 1/(-3)). Suppose 13 - 273 = -i*o. Suppose -t = -2*t + 2*n + o, 4*t - 4*n - 272 = 0. Is t a multiple of 40?
False
Suppose 108*h - 64673 = 23398 + 14529. Is 40 a factor of h?
False
Let k be (-2)/21 - ((-2030)/(-294) + -9). Let b = 30 - 11. Suppose k*x - 181 = 4*m + b, 3*m = 2*x - 200. Is x a multiple of 20?
True
Suppose -50582 = -261*a + 254*a. Is 14 a factor of a?
False
Let b be (-3)/(5 - 2)*-65. Let i be (39/b)/(2/10). Suppose -i*h + 4*j = -101, -h - h + 29 = 5*j. Is 9 a factor of h?
True
Let w(d) be the second derivative of 2*d**3/3 + 19*d**2 - 41*d. Let m be w(-10). Is (-2)/(m*(-1)/(-16)) a multiple of 9?
False
Let g(l) = l**3 + 10*l**2 + 5*l - 27. Let o be g(-9). Let u(r) = 8 + r + 11*r - 11*r. Is u(o) a multiple of 10?
False
Let r(k) = -2117*k - 411. Is r(-2) a multiple of 32?
False
Suppose 3*v = 26 - 56. Does 9 divide 225/v*(3 + 59/(-5))?
True
Let g = 54 + -54. Suppose -b - 8 = 2*z, 18 = -3*z - 3*b - g*b. Is 2 a factor of (4/9*-6)/(z/9)?
True
Let r = -83 - -86. Suppose r*w + 4*k - 171 = 0, -153 = -w - 2*w + 2*k. Is w a multiple of 53?
True
Let a be -12*3/((-27)/6). Suppose r - a - 57 = 0. Suppose w + 10 = 4*l, -r = -2*w - 2*w - 5*l. Is 10 a factor of w?
True
Suppose 6*t - 5*i = 88589, 3*t + 5*i - 10*i = 44297. Does 9 divide t?
False
Let p = 9568 - -12212. Does 110 divide p?
True
Let u(q) = 10*q - 13. Let p be u(2). Suppose 33 = p*f + 5. Suppose -3*k = 4*h - 398, 0 = 3*h - f*h + 5*k + 88. Does 7 divide h?
True
Suppose -5*z = -4*c - 8, -4*c + 2 = -10. Suppose -4*r - 268 = -z*x, -x - 13*r + 17*r + 52 = 0. Does 72 divide x?
True
Suppose 0 = 52*g - 109*g + 142382 - 49073. Is 3 a factor of g?
False
Let x = 175753 - 96414. Is 13 a factor of x?
True
Suppose 2*p - 4761 = -3*t + 4560, -2*t = -p + 4650. Is p a multiple of 59?
False
Suppose -4*c - r = -22 + 298, -4*r + 207 = -3*c. Let m(o) = -50*o + 4. Let v be m(-1). Let a = v - c. Is 19 a factor of a?
False
Let g(v) = -9*v**2 + 6*v**2 + 9*v**3 + 5*v - 16 + 0*v**3 + 28*v**3. Is g(3) a multiple of 54?
False
Suppose -20*x + 18*x + 38 = 0. Suppose 7594 = x*d + 1780. Does 14 divide d?
False
Let h = 9 + -6. Suppose -3*s - h + 4 = -4*y, 0 = -4*y - 5*s + 23. Is 57*((-1)/y)/(12/(-16)) 