3. Let k = z + -12. Is (16/10)/((-3)/k) a multiple of 24?
True
Let m = 233 - 5. Is m a multiple of 19?
True
Suppose 2*z = j - 4, -3*j = -4*z - 13 - 1. Suppose -31 = -5*q - j. Suppose -87 = -q*r + 23. Is r a multiple of 5?
False
Suppose -10*t + 406 = 6. Is t a multiple of 40?
True
Let k = -76 + 80. Suppose 0 = -i - g + 164, -3*i - 5*g = -k*i + 152. Is 27 a factor of i?
True
Let t(n) = 4*n**2 + 10*n - 12. Let i be t(7). Suppose 5*d + 29 - i = 0. Is d a multiple of 5?
True
Let h = -16 + 21. Suppose -288 = -2*d - 2*m, 3*m + 313 - 35 = 2*d. Suppose -d = -7*k + h*k. Is k a multiple of 21?
False
Let k(y) be the second derivative of y**4/12 - 2*y**3/3 - 3*y**2 - 3*y. Is 15 a factor of k(12)?
True
Let x = 108 - 51. Let f = 127 - x. Does 14 divide f?
True
Suppose 0 = -4*o - o - 5*b + 115, -4*o = -4*b - 68. Suppose -115 = -5*g + o. Is g a multiple of 9?
True
Is ((-276)/(-18) - 8)*(-1 - -97) a multiple of 44?
True
Let p(y) = -17*y + 2. Let u(o) = o - 1. Let x(f) = -p(f) - 2*u(f). Is 12 a factor of x(4)?
True
Let o(u) = u**3 - 2*u**2 + u + 2. Let k be o(2). Suppose -k*f = -f + 4*l - 117, -3*l = -4*f + 181. Is f a multiple of 8?
False
Let z = -6 - -10. Suppose -4*p - 3*d + 8 + 7 = 0, -36 = -4*p + z*d. Is p a multiple of 6?
True
Let f(t) = 372*t + 55. Is f(4) a multiple of 28?
False
Let o = -8 + 13. Suppose -3 - 32 = -o*h - 5*y, 0 = -4*h - 3*y + 31. Is 14 a factor of (-5)/h + (-226)/(-4)?
True
Let g(u) = 2*u**2 + 3*u - 58. Is g(-24) a multiple of 29?
False
Suppose 0 = -n + 3 - 29. Let v = n + 57. Is v a multiple of 20?
False
Suppose 17 = d - 5. Let z = 22 - d. Let g = 4 + z. Is 3 a factor of g?
False
Does 44 divide (42/(-7) - 198)*-1*1?
False
Let n(p) = -4*p - 12. Let u be n(-4). Suppose 2*w + w - 66 = 0. Let i = w - u. Is 6 a factor of i?
True
Let t be ((-158)/(-8))/(5/20). Suppose 4*i = 5*r - t, 5*r = i + 6 + 70. Is 10 a factor of (16/(-2))/((-6)/r)?
True
Suppose 0 = 3*v - 1214 - 517. Let d = -409 + v. Is 21 a factor of d?
True
Is 8610/(-63)*(-27)/5 a multiple of 18?
True
Let x(y) = -3*y**3 - 4*y**2 - 2*y - 2. Is 33 a factor of x(-5)?
False
Let u = 1699 - 1185. Does 9 divide u?
False
Suppose 0 = 5*j - 41 + 21. Suppose -5*c + j*c - 2 = 0, q + 2*c - 36 = 0. Is q a multiple of 7?
False
Let g(q) = 1. Let b(t) = t. Let p(o) = -b(o) - 5*g(o). Let v be p(-8). Suppose 2 = v*f - 4. Is f even?
True
Let n(u) = u**2 - 3*u - 1. Let w be n(4). Suppose -x - 3*x - 63 = -p, -p + 58 = -w*x. Does 11 divide p?
False
Suppose -5*s + 37 = 352. Suppose -4*h - 5*p = -p - 24, -6 = -2*p. Let n = h - s. Is 15 a factor of n?
False
Suppose 50 = b - 2*m, -3*m - m = -4. Is 4 a factor of b?
True
Suppose 2*d = 300 + 562. Is d a multiple of 5?
False
Let l = -23 - -25. Does 11 divide (-45)/(l + -3) - -2?
False
Suppose 3*m - 6 = 5*r, 3*m = -0*m + 2*r - 3. Let n(z) = -5*z**3 + 3*z**3 + 3*z**2 - 4*z**2 - 2*z + 3. Does 18 divide n(m)?
True
Let j(p) = 3*p**2 - 4*p - 99. Is j(11) a multiple of 24?
False
Let z = -39 - -146. Is 42 a factor of z?
False
Suppose -35*d + 1412 = -688. Is 35 a factor of d?
False
Let l(o) = -5*o - 45. Let q be l(-9). Suppose 0 = -q*z + z - 3*u - 266, -5*z + 4*u = -1363. Does 16 divide z?
False
Let z be ((-6)/63*3)/((-2)/14). Suppose z*p + 20 = 3*p. Is 17 a factor of p?
False
Suppose -441*k + 436*k + 850 = 0. Is k a multiple of 43?
False
Suppose -778 = -2*v + 2*s, 0 = -21*s + 25*s + 4. Is v a multiple of 9?
False
Let u(z) be the third derivative of -z**4/8 + 13*z**3/6 + 28*z**2. Is 31 a factor of u(-6)?
True
Let y(f) = f + 15. Let g be y(-15). Suppose g*p + 216 = 2*p. Is p a multiple of 9?
True
Let b(u) = 6*u + 41. Let h be b(-6). Let k be (-3)/(2*(-3)/(-4)). Let q = h - k. Is 2 a factor of q?
False
Suppose -3*f + 3*a = -177, -2*f - 2*a + 62 = -f. Suppose 5*d - 5*g = f, 3*g + 2*g - 48 = -4*d. Does 4 divide d?
True
Suppose -15*p + 11*p = -4. Let a = -26 - p. Let t = a - -38. Is t a multiple of 11?
True
Let r(b) = -b - 4. Let i = -5 - 1. Let t be r(i). Suppose t*s - 56 = -14. Is s a multiple of 21?
True
Let m be 30/(-4)*32/(-10). Let q = 58 - m. Does 17 divide q?
True
Let j(h) = 2*h**2 - 24*h + 1. Does 25 divide j(22)?
False
Suppose -8 = -4*o + 20. Suppose n - o*n = -624. Does 45 divide n?
False
Let c be 7 + (-3)/(-3) + -5. Let w(b) = -b**3 + 2*b**2 + b. Let m be w(c). Is 11 a factor of 0 - (3 + m) - -19?
True
Suppose -3*t + 276 = 3*d, -22*t + 20*t + 176 = 4*d. Is 6 a factor of t?
True
Let q be ((-3)/(-2))/((-9)/132). Is (q + -14)*(-3)/2 a multiple of 19?
False
Is 29 a factor of -4 - -2*(0 - -423)/3?
False
Let s(q) be the first derivative of q**2/2 - q - 10. Let m be s(6). Is 4 a factor of (m/(-4))/(4/(-48))?
False
Let u be -5 - -4*3/(-12). Let k(p) = -2*p**3 - 10*p**2 - 6*p + 13. Does 11 divide k(u)?
True
Suppose -4*a + 1752 = -400. Is a a multiple of 30?
False
Suppose 2*j + 5*s = j - 20, -4*j - s = 42. Does 7 divide j/(-35) - 1758/(-21)?
True
Let w(c) = -5*c. Let u = -36 - -54. Suppose 0 = 5*d + 12 + u. Is 15 a factor of w(d)?
True
Let u = 8 + -21. Let f = u - -80. Suppose -4*w = -3*w - f. Is 21 a factor of w?
False
Suppose 0 = 63*i + 10018 - 30808. Is i a multiple of 165?
True
Let i(z) be the second derivative of 0 - 3*z**2 - z - 5/3*z**3. Does 11 divide i(-5)?
True
Does 12 divide 1350/14 + -12*8/224?
True
Suppose -20*b + 4*z = -17*b - 1747, 0 = 4*b + 3*z - 2346. Does 7 divide b?
False
Let q(h) be the second derivative of h**7/360 - h**5/120 + 5*h**4/12 + h. Let t(i) be the third derivative of q(i). Is 6 a factor of t(-1)?
True
Let p = 2087 - 890. Does 19 divide p?
True
Is 20 a factor of 678*6/32 + (-3)/24?
False
Suppose 122 = 2*o - v, o = 5*v + 48 + 31. Suppose 4*a = -3 + o. Let g(k) = 4*k - 7. Is g(a) a multiple of 8?
False
Let f be (2/(-3))/((-2)/6). Suppose f*b - 66 = -b. Let r = b - 12. Is 3 a factor of r?
False
Let m be (-8)/20*-5*1. Suppose 55 = 2*g + a, m*a + 1 = 3. Is 27 a factor of g?
True
Let n be (16/(-3))/(36/(-1026)). Is 24 a factor of -4 + (n/2 - 0)?
True
Let a(v) = -2*v**3 + 5*v**2 + 27*v + 6. Let u(q) = -q**3 + 2*q**2 + 14*q + 3. Let y(m) = -4*a(m) + 7*u(m). Let f be y(7). Is (10 + -4)/((-9)/f) a multiple of 4?
True
Does 100 divide (-12675)/13*(-4)/3?
True
Suppose -885 = 11*a - 2678. Does 14 divide a?
False
Suppose 2*f = 0, -2*v + 440 = 2*v - 2*f. Let h = v + -40. Is h a multiple of 7?
True
Suppose -3*b = 4*d + 170, -d - 29 = b + 13. Let o be (-14 + 11)/((-6)/d). Let z = o - -29. Is z a multiple of 3?
False
Suppose 4*u = 0, c + 23*u = 21*u + 9. Is 9 a factor of c?
True
Let c = 123 - 39. Let y = c + -66. Does 9 divide y?
True
Suppose 0*r + 1 = -r - 2*g, -r = -5*g - 13. Suppose -3*t - 15 = 0, 3*j - 7*t = -r*t + 98. Does 13 divide j?
True
Suppose -48*p - 3*p + 1326 = 0. Does 4 divide p?
False
Does 28 divide 25/(75/(-12)) - -119?
False
Let b(d) be the second derivative of d**4/4 + 5*d**3/6 - 9*d**2/2 + 6*d. Does 10 divide b(-6)?
False
Let n = 119 + 1. Does 2 divide n?
True
Does 39 divide 7904/6*(-144)/(-64)?
True
Does 29 divide (-2)/4 - 7575/(-30)?
False
Suppose 18*c - 1757 = 241. Does 7 divide c?
False
Let y(v) be the third derivative of 25*v**4/6 + 7*v**2. Let l be y(5). Suppose -w + 4*k = 4*w - l, 3*k = -w + 100. Is 20 a factor of w?
True
Let d = 29 + -23. Suppose -5*y + d = -14. Suppose 300 = y*s - 148. Is s a multiple of 28?
True
Let v(q) = 35*q**2 - 29*q + 10. Does 9 divide v(5)?
False
Let o(g) = g**2 + 3*g + 1. Let w be o(-4). Suppose -v = 2*k - 2, w*k + 5 = 2*v + 1. Suppose -v*i - 19 + 127 = 0. Is i a multiple of 19?
False
Is 39*(-6)/54*-15 a multiple of 5?
True
Let o = 3488 + -2417. Does 9 divide o?
True
Let a = 294 + -234. Is a a multiple of 20?
True
Let d = -164 + 656. Does 41 divide d?
True
Suppose 0 = -a - 0 - 3. Let y be -1 + -3 - a - -79. Is 6 a factor of -1 + (-5)/((-10)/y)?
False
Suppose 0 = -2*z - 2*q + 378, -5*z = -10*q + 8*q - 945. Does 21 divide z?
True
Suppose 3*v - 3*q = 51, 0 = q - 2*q + 5. Suppose 21 = 3*p + 3*l, 3*p - v = -p - 2*l. Suppose -2*z - 4*a = -26, a - 3 = -3*z + p*a. Is z a multiple of 3?
False
Is 17 a factor of 20304/(-126)*14/(-4)?
False
Suppose 0 = -i - 2*q - 8, i + 10 = -i - 2*q. Let h(y) be the first derivative of 14*y**3/3 + 3*y**2/2 + 5*y + 1. Is 18 a factor of h(i)?
False
Suppose -l + 72 = l. Suppose 3*w + l = -w. Does 6 divide (-2)/(-12)*-10*w?
False
Let n be (9/(-4) + 3)*4. Does 24 divide 2*8*n/2?
True
Suppose