o(r) be the second derivative of r**5/120 - r**4/24 - r**3/2 + 3*r. Let q(a) be the second derivative of o(a). Is q(11) a multiple of 3?
False
Let g = 48 - 24. Is 10 a factor of 1*2 - g/(-3)?
True
Let l(i) = 11*i - 108. Is 7 a factor of l(20)?
True
Let s(b) be the third derivative of 17*b**5/60 + b**3/6 - 7*b**2. Does 23 divide s(2)?
True
Does 20 divide (-3 - 44/(-20))*-50?
True
Let l = -7 + 13. Let v = l - 0. Is 5 a factor of v?
False
Let l = -114 - -150. Is l a multiple of 2?
True
Let u = 11 + -8. Suppose 0 = 4*g + j - 14, u*g + 5*j + 1 = 3. Does 3 divide g?
False
Suppose 0 = -5*h - 0*i + i + 14, 2*h = 5*i + 24. Suppose 0 = -3*q - h*q + 100. Is q a multiple of 4?
True
Suppose -2*i = -11 - 31. Suppose 36 = 5*q - 4*n - 44, 3*q = -3*n + i. Does 12 divide q?
True
Suppose 4*w - 2*f = 10, 3*w + f - 9 = 3*f. Suppose 0 = -3*m + w - 4. Let z = m - -18. Is z a multiple of 17?
True
Let d(w) = 7*w - 5. Let r(p) = -1 + 4 - 2 - 3 + 4*p. Let l(i) = -6*d(i) + 14*r(i). Is l(3) a multiple of 17?
False
Suppose -5*q - 3*t + 8*t + 5 = 0, 5*q + 30 = -2*t. Let u be (8/(-12))/(q/(-18)). Does 19 divide (35/(-3) + u)*-3?
False
Let w = 91 + -51. Does 18 divide w?
False
Suppose -b - 3*t - 4 = t, b - 3*t - 17 = 0. Is 3 a factor of b?
False
Let q(i) = -i**2 - i + 4. Let v be q(-5). Let x = v - -44. Is 14 a factor of x?
True
Does 5 divide (36/15 - 3)*-25?
True
Let h(v) = -30*v - 2. Let y be h(-2). Suppose -p + 5*p = 3*q + y, 5*p = q + 67. Does 4 divide p?
False
Suppose -m + 4*m = 12. Suppose -l = m*l - 45. Does 3 divide l?
True
Suppose -z - 2*z + 36 = 0. Let f be (-1)/3*-1*z. Suppose -3*y + k = -13, 0 = -f*k + 2 + 6. Is y a multiple of 2?
False
Let t(l) = l**2 - 8*l + 9. Let p = 10 + -4. Let d be t(p). Is (-1)/((9/21)/d) a multiple of 4?
False
Suppose 2*f = -4*d - 78, -5*f + 79 = -3*d - 12. Suppose -4*p + i + 12 = 0, -p - 4*i + 28 = 2*p. Let n = p - d. Is n a multiple of 13?
True
Let l = -212 + 107. Let t = 148 + l. Does 16 divide t?
False
Let p be 1 - 1/((-4)/8). Suppose p*f = 5*x - 22 - 24, -3 = -f. Does 10 divide x?
False
Suppose 3*b = 4*n + 2, -1 - 9 = -4*b - 2*n. Let d(k) = 4*k**3 + k**2 + 4*k - 3. Does 18 divide d(b)?
False
Let b = 10 - -73. Is 18 a factor of b?
False
Let a(z) = -z**3 - 4*z**2 - 2*z - 3. Let g be a(-4). Suppose 35 = g*d + 5. Is 6 a factor of d?
True
Let o(b) = -b**3 - b**2 + b. Let j(z) = -3*z**3 - 17*z**2 + 6*z. Let n(d) = j(d) - 4*o(d). Does 26 divide n(13)?
True
Suppose 3*k = 374 + 232. Is k a multiple of 33?
False
Let l be (-3)/1*(-4)/3. Suppose b - 43 = 3*d, -5 = l*b + 3. Let j = 2 - d. Does 7 divide j?
False
Let i(c) = 23*c - 5. Does 13 divide i(5)?
False
Let s(a) = -7*a + 1. Let f be 8/52 + 56/(-26). Does 7 divide s(f)?
False
Let f(q) = q**2 - 15*q + 10. Let y(z) = -z. Let p(u) = -f(u) + 6*y(u). Let b be p(8). Is 20/(b*2/(-4)) a multiple of 16?
False
Let g(p) be the third derivative of -p**6/120 - 7*p**5/60 - p**4/3 + 5*p**3/6 + 2*p**2. Let l be g(-6). Let y = 27 - l. Is 7 a factor of y?
False
Let l = 7 + -6. Suppose o - l - 14 = 0. Is o a multiple of 15?
True
Suppose 10*w - 481 + 41 = 0. Does 11 divide w?
True
Let r(h) = -h**3 + 11*h**2 - 3*h - 5. Is 26 a factor of r(9)?
True
Let m be 2/(-6) - (-20)/6. Suppose 2*a - m = p + 35, -4*a + 3*p = -76. Is a a multiple of 11?
False
Let j(a) = -a - 10. Let h be j(-10). Let b(v) = h*v - v**3 + 0*v**2 - 2*v + v - 2*v**2. Does 6 divide b(-3)?
True
Let o(d) = -d**3 + 4*d**2 + 8*d + 2. Let n be o(6). Does 3 divide -1*(-2 - n)/(-2)?
False
Let i(f) = f**3 + 7*f**2 - 12*f - 17. Let r be i(-8). Suppose 2*k + 3 - r = 0. Does 4 divide k?
False
Let x be (0/3)/(-2) + 22. Suppose 2*q - x = -0*q. Is 3 a factor of q?
False
Let q be (-47)/(-6) + 4/24. Does 10 divide (-21)/28 - (-166)/q?
True
Suppose 4*p - 106 = 50. Suppose n + 2*q - p = 1, -40 = -n + 3*q. Is n a multiple of 20?
True
Let q(g) = g**2 - 5*g - 8. Let l(c) = -c**2 + 5*c + 8. Let s(f) = -6*l(f) - 5*q(f). Is s(-7) a multiple of 20?
False
Let s(g) = 8*g + 11. Is s(8) a multiple of 14?
False
Let x = 49 - 22. Suppose 3*t + 27 = -4*q, t - 2 = 4*q - x. Is 3 a factor of (-2)/8 - t/4?
True
Let q = 3 + 0. Let n be -17 - (-1 - q/(-3)). Let o = 28 + n. Is o a multiple of 11?
True
Let v(d) = -d**3 + 14*d**2 - 15*d + 27. Is v(12) a multiple of 29?
False
Suppose 5*b = -4*s + 3*s + 15, 0 = -b - 3. Is s a multiple of 10?
True
Suppose -s = -2*q + 3*s + 186, -3*s + 383 = 4*q. Does 26 divide q?
False
Let x = 20 - -9. Is 13 a factor of x?
False
Let b(g) = g**3 - g**2 - 4*g + 5. Let s be b(5). Suppose 3*j = 5*q - s, 0*j + j = -5. Is q a multiple of 14?
True
Suppose -16 = -6*c + 7*c. Does 5 divide (-180)/c + (-1)/4?
False
Suppose 5*l = 3*j - 29, -2*j + 0*l = 4*l + 10. Suppose -126 = -3*r - j*m, r - m = -4*m + 48. Does 17 divide r?
False
Let h be (-4)/(-6) - (-80)/(-30). Let x = h - -13. Does 6 divide x?
False
Suppose -5*y = -4*y - 2. Suppose -y*j = -5*j + 54. Does 18 divide j?
True
Suppose 3*z - 2*z = 3. Suppose 101 + 79 = z*f. Does 20 divide f?
True
Let b be (-39)/(-15) + 3/(-5). Suppose -5*n + 325 = 5*u, -b*n - u + 257 = 2*n. Is n a multiple of 16?
True
Suppose -2*a + 24 = 2*a. Does 2 divide a?
True
Let n(c) = 16*c + 4. Let x(v) = 31*v + 7. Let m(b) = 5*n(b) - 3*x(b). Does 6 divide m(-1)?
True
Suppose -3*g + 2*g = 34. Let n = -17 - g. Is 7 a factor of n?
False
Suppose -41 = -4*s - u - 5, 3*s - u - 34 = 0. Is 9 a factor of (-38)/(-4) - (-5)/s?
False
Is 21 a factor of 4/(-18) + 3320/36?
False
Let y(k) = -37*k - 4. Is y(-1) a multiple of 16?
False
Is -2 - 1/((-2)/58) a multiple of 9?
True
Let l(m) = -101*m + 5. Does 14 divide l(-1)?
False
Let y(l) = l**2 - 4*l + 4. Does 27 divide y(-7)?
True
Let r(i) = 11*i + 8. Let l(u) = -2*u + 1. Let h be l(-3). Let c be r(h). Suppose 4*f + c = 9*f. Is f a multiple of 7?
False
Let k be (5 - 2) + -2 + -6. Let r = k - -8. Does 2 divide r?
False
Suppose 0 = -2*s + 3*z + 16, 0*s = 2*s + 5*z + 16. Suppose -34 = -s*i - 0*i. Is i a multiple of 13?
False
Let o = 17 - -35. Is o a multiple of 10?
False
Is (-372)/(-2) - (-6 - -5) a multiple of 13?
False
Is (4 - 5)*1*-4*31 a multiple of 14?
False
Let y(t) = t**2 - 6*t + 3. Let f(s) = -s + 2. Let i be f(-4). Is 3 a factor of y(i)?
True
Suppose -43 - 23 = -6*v. Is v a multiple of 11?
True
Let q be 8/(-32) + (-1305)/(-4). Suppose 6*y + 86 = q. Is 20 a factor of y?
True
Let g(n) = 2*n**2 + 17*n - 3. Does 33 divide g(5)?
True
Does 10 divide 2/(-4) - (-2618)/44?
False
Let z = 7 - -13. Suppose 4*r - d = z, -3*r - d - 2*d = -30. Is r a multiple of 4?
False
Suppose 9*t - 7*t - 12 = 0. Does 6 divide t?
True
Let o = 25 + -5. Suppose 0 = 3*x - 5*n - o, 3*n + 12 + 0 = -4*x. Is 14 a factor of 0 + 0 + x + 36?
False
Let z(k) = -4*k - 15. Does 7 divide z(-12)?
False
Let p(m) = -48*m - 21. Does 45 divide p(-5)?
False
Suppose 0 = -2*f - 64 + 216. Suppose 3*s + 2*z = 119, -114 = -5*s - 5*z + f. Is s a multiple of 12?
False
Let o(t) = -2*t**2 - 2*t - 1. Let a be o(-1). Let b be a + 0 - 0 - 3. Is (-52)/(-3) - b/6 a multiple of 6?
True
Does 17 divide (532/8 + -3)*4?
False
Let q = -32 - -32. Suppose -27 + 227 = 5*o. Suppose -u - 2 + 7 = q, 0 = 3*c - u - o. Is c a multiple of 15?
True
Suppose -c - 15 = -5*g, 0 = -3*g + 2*c + 7 + 2. Suppose -y + g*y - 106 = 0. Is 12 a factor of y?
False
Let c(o) = -o + 1. Let a be c(-2). Suppose 5*z - 75 = -4*d, 35 = -5*z + a*d + 110. Is 13 a factor of z?
False
Let b be 1/(-1) - 9/(-3). Suppose -7*q = -b*q + 120. Is 3 a factor of (-3)/(-4) - 54/q?
True
Let s = 96 + 24. Let y = s - 86. Does 17 divide y?
True
Let p be 8/(-3)*3/(-2). Let a = p + -6. Let r = a - -20. Does 10 divide r?
False
Let r = -106 + 196. Is r a multiple of 15?
True
Let s = 12 - 43. Let y = s - -63. Is y a multiple of 23?
False
Let v(c) = c**2 + 3*c - 10. Is v(7) a multiple of 12?
True
Let m be 1 + -5 + 6/3. Let s = 3 - -62. Is s/10 - (-1)/m a multiple of 6?
True
Suppose -n + 10 = 2*q, 0*n - 25 = 5*n - 5*q. Suppose 0 = -4*m + i + 94, 3*m + m - 2*i - 96 = n. Suppose -56 = -3*v - m. Is 5 a factor of v?
False
Let o be (0/(-1))/(2 + -1). Suppose 4*l + 2*n - n - 16 = o, -5*n = l + 15. Is 11 a factor of -5*l/((-50)/44)?
True
Let t(z) = -5*z**3 - 2*z**2 + 2*z + 1. Let a be t(-2). Suppose 2*n = -4*v + 186, 66 + a = 2*v + 3*n. Is 17 a factor of v?
False
Suppose -5*y + 0 = 5, 4*h - 101 = 5*y. Let g be 30*(54/15 - 4). Is 9 a factor of