- 14. Let k(x) be the third derivative of 15*x**4/8 - x**3/3 + x**2. Is k(i) a multiple of 10?
False
Suppose 0 = i + 2 - 7. Let b be 1/(((-25)/(-10))/i). Suppose -c - 8 = -b*c. Does 3 divide c?
False
Suppose 0 = y + 4*f - 103, -2*y = 2*f + 98 - 274. Suppose -67 - y = -2*h. Is 15 a factor of h?
True
Let h = -24 + 24. Suppose h = 3*j + 74 - 293. Let n = j - 25. Is 16 a factor of n?
True
Is (3 - 3)/(-11) + 356 a multiple of 7?
False
Suppose 0 = -2*l - 2*a + 1098 - 222, -a = -4*l + 1767. Is 63 a factor of l?
True
Suppose 59*q = 54*q + 2*i + 5537, -2*q = -2*i - 2210. Is q a multiple of 62?
False
Does 27 divide ((-13)/(104/12))/((-3)/1156)?
False
Let j(u) = 3*u**3 + 74*u**2 - 30*u + 18. Does 11 divide j(-25)?
True
Suppose 35*l = 38*l - 21. Suppose l*g = 237 + 78. Does 2 divide g?
False
Let t = -16 - -23. Suppose -4*y - 600 = -t*y. Suppose -5*h - 20 = -y. Does 12 divide h?
True
Suppose 10 + 14 = r - 4*c, 0 = c. Suppose -2*m + 5*i + 106 - r = 0, -2*i = m - 32. Does 14 divide m?
False
Suppose i + 2*l - 130 = 0, -2*i + 5*l = -3*i + 127. Is i a multiple of 38?
False
Let s be ((1 - 2) + 3)*110. Suppose -6*g + s = -2*g. Does 2 divide 2/11 - (-375)/g?
False
Let c(j) = -j - 2. Let g be c(-3). Suppose 0*u = u + g, 3*u = -4*i + 17. Is 5 a factor of i?
True
Let o = 35 + -31. Does 11 divide 2*-23*(-2)/o?
False
Let i(p) = -118*p + 3. Let t be i(2). Let y be t/(-1) + (8 - 9). Suppose -q - 3*q = -y. Does 19 divide q?
False
Let j(b) = -14*b**3 - 2*b**2 - 2*b. Let r be j(-1). Suppose 0*z + r = -2*z. Is ((-6)/8)/(z/952) a multiple of 34?
True
Let w = -25 + 30. Suppose w*t - 170 = 85. Is 38 a factor of t?
False
Let d be ((-2)/4*-6)/3. Let i be (8 - d)*10/35. Suppose 0 = 2*c - w - 63, 0 = i*c - 5*w - 20 - 23. Is c a multiple of 20?
False
Let w(k) be the third derivative of -k**9/60480 - k**8/5040 + k**6/240 + 2*k**5/15 - 4*k**2. Let u(d) be the third derivative of w(d). Is 7 a factor of u(-5)?
True
Suppose 0 = -5*j + s + 8148, 3*j + 3*s + 1448 = 6344. Is 38 a factor of j?
False
Suppose 31*k = 11357 - 3359. Is 6 a factor of k?
True
Let u(c) = -2*c - 5. Let h be u(-5). Suppose 3*l + 3 = 0, -4*v + h*l = -152 - 17. Let a = v + -25. Is a a multiple of 16?
True
Let l = 9 + -6. Suppose 0 = s + l*o - 87, 268 = 3*s + o + o. Suppose 10 = -4*h + s. Is h a multiple of 4?
True
Suppose -2*d - 4*y = -4270, 2*y + 2*y + 4302 = 2*d. Is d a multiple of 10?
False
Suppose -3*w = -4*w - 16. Let t(p) = p**3 + 9*p**2 - p - 11. Let m be t(-8). Let j = m + w. Is j a multiple of 15?
True
Let d(x) = -x**3 + 15*x**2 - 13*x - 13. Does 18 divide d(7)?
True
Let b(l) = 2*l + 18. Let w be 2/5*100/(-5). Let z be b(w). Suppose 5*o - 23 = -t, z*t - 4*o = -t + 31. Is 12 a factor of t?
False
Let f(l) = -l**2 - 17*l - 11. Let n be 1296/(-80) - (-4)/(-5). Let w be f(n). Let x = 1 - w. Is x a multiple of 12?
True
Let x(v) = -v - 8. Let m be 1/(((-7)/(-2))/(-7)). Let g be m/(-1)*22/(-4). Is x(g) a multiple of 2?
False
Let q = -165 + 320. Does 13 divide q?
False
Suppose 3*z + 2*j + 138 = -j, -5*z + 5*j = 200. Let b = z - -71. Is 14 a factor of b?
True
Let i be ((-8)/(-6))/(12/(-54)). Let d(w) = 6*w**2 + 7*w + 10. Let r be d(i). Let c = r - 127. Is 19 a factor of c?
True
Let l be (-190)/(-8) + 1/4. Suppose 3*m - 52 = -2*k - 11, -2*m = -2*k - l. Let a(g) = 3*g + 6. Is a(m) a multiple of 15?
True
Suppose -5*s - 3 = 2, 5*q = s + 21. Let j(c) = 4*c**2 + c - 3. Is 13 a factor of j(q)?
True
Let r = -39420 - -142662. Let z be (-4)/18 + r/(-27). Is 24 a factor of (-2)/(-5) + z/(-40)?
True
Suppose -3*r = -4*s - 6, 4*r + 3 = 11. Suppose s = m - 9 - 3. Is m a multiple of 12?
True
Let p(d) be the third derivative of -d**6/120 - d**5/20 + d**4/12 - 5*d**3/6 - 18*d**2. Let a be 1/4 + (-17)/4. Does 2 divide p(a)?
False
Suppose -2*m + 412 = k, -5*k - 53*m + 54*m + 2104 = 0. Is k a multiple of 12?
True
Let f(a) = -a**2 - 85*a + 161. Does 74 divide f(-52)?
False
Suppose 2*i - 470 = 7*i. Let z = -56 - i. Does 19 divide z?
True
Suppose 2*u + 36 = -w - 18, 4*u = 2*w - 116. Is 14 a factor of ((-2)/(-2))/((-2)/u)?
True
Let d = -28 - -28. Let h = 0 + d. Is -4 + h - (-220)/11 a multiple of 8?
True
Let h(k) = 12*k**3 - 5*k**2 + 8*k - 13. Is 8 a factor of h(4)?
False
Let t(l) = -l**3 + 2*l**2 + 4*l + 5. Let y be t(4). Is 2 a factor of (-2)/(-6)*(y - -23)?
True
Is (-1 - 1 - 2) + -2 + 317 a multiple of 12?
False
Let r(l) = -l**3 + 10*l**2 - 9*l + 7. Let k be r(9). Suppose k*b - 365 = 2*b. Suppose -b = -6*m + 89. Is m a multiple of 13?
False
Is 21 a factor of 324/(-378)*(-3)/((-3)/(-280))?
False
Let h(f) = -29*f + 714. Is 58 a factor of h(-26)?
False
Let l = 211 + -138. Is 4 a factor of l?
False
Let g be 23/2 + 4/8. Let v = g + -9. Is 4 a factor of (2 - 6)*-1*v?
True
Let n(x) = 13*x**2 + 53*x + 6. Does 2 divide n(-4)?
True
Let h = 251 + 245. Is h a multiple of 16?
True
Let q(b) = 2*b**3 - 4*b**2 - 11*b + 2. Is 3 a factor of q(5)?
False
Suppose -3*z = 2*o - 945, -2*o + o + 3*z + 450 = 0. Does 8 divide o?
False
Let r = -127 - -621. Is 3 a factor of r?
False
Suppose -j - 6*y - 53 = -2*y, -j = -2*y + 65. Let o = j + 94. Does 11 divide o?
True
Is (((-76314)/(-18))/(-23))/((-1)/3) a multiple of 6?
False
Let k(h) = 15*h + 5. Suppose 2*m + 3 = 3*m. Is 25 a factor of k(m)?
True
Let b(n) = 6*n - 7. Suppose -3*a + 3*o = -9, -5*a - 8*o = -3*o - 55. Let k(f) = f**3 - 8*f**2 + 8*f + 2. Let m be k(a). Does 16 divide b(m)?
False
Let m(i) = -24. Let u(r) = r - 24. Let x(j) = -5*m(j) + 6*u(j). Is x(16) a multiple of 12?
True
Suppose 21*u = 2473 + 7670. Is 23 a factor of u?
True
Let m(j) be the second derivative of -17*j**3/2 + j**2/2 - 4*j. Let t be m(1). Let w = -2 - t. Is 16 a factor of w?
True
Let b(z) be the second derivative of -z**5/20 + z**4/3 + z**3/2 + 3*z**2/2 - z. Suppose -y - 6 = -5*y + 2*n, 4*n - 36 = -4*y. Is b(y) a multiple of 5?
True
Let t = 29 + 673. Is 54 a factor of t?
True
Suppose -6001 = -4*a + 203. Suppose 9*c = a - 48. Is 11 a factor of c?
False
Suppose -m = 5*v - 351, -63 = -v - 3*m + m. Is (-12)/(-9)*(v + -5) a multiple of 22?
True
Suppose -2*c + 72 = -14*c. Is 14 a factor of c*(0 + -10) - 200/50?
True
Suppose -106 = -4*b + 78. Let s = -82 + b. Let y = s + 51. Does 8 divide y?
False
Suppose v = -0*v + 4. Let k(g) = v + 3*g + 1 - 8*g - g. Does 29 divide k(-4)?
True
Let h = 11 + -7. Suppose -h*a + 1240 = -0*a. Is 21 a factor of a?
False
Let b(n) = 38*n**2 + 2*n + 31. Does 20 divide b(-4)?
False
Suppose -11 = -5*f - 3*m + 16, -4*f + 20 = 4*m. Suppose -f*w = -3*w - 30. Let b = w + 8. Is b a multiple of 18?
True
Suppose -24*m + 227 = -205. Is m a multiple of 6?
True
Suppose -4*c = 2*g - 912, 4*c = -5*g + 461 + 1837. Is g a multiple of 51?
False
Is (10/1)/((24/(-138))/(-2)) a multiple of 12?
False
Suppose -5 = -v, 2*l - 239 = 3*v - 8*v. Suppose -226 = -2*k - 2*m + 4*m, l = k + 5*m. Is 8 a factor of k?
True
Let b(g) = -g + 1. Let p be b(-1). Let t(d) = -d**3 - 4*d**2 + p*d - 5*d**2 + 12*d**2. Is 8 a factor of t(-2)?
True
Let y = -2280 - -4829. Is y a multiple of 18?
False
Let g(s) = -8 + 0*s - s + 8*s**2 - 2*s - 4*s**2. Does 11 divide g(5)?
True
Let v = -153 - -103. Let z = v + 3. Let a = z + 68. Is a a multiple of 21?
True
Let b be (-4)/(-16)*1*164. Suppose 26 - 6 = 4*k, 4*y + 5*k = b. Suppose -d - y*o = -82, -2*o + 31 = 2*d - 145. Is 30 a factor of d?
True
Suppose 0 = -6*r + 242 - 92. Let b(j) = 4*j - 16. Is b(r) a multiple of 22?
False
Suppose -p + 7 = -0*s - 3*s, p - 2*s - 11 = 0. Let o(q) = 6*q - 2*q + 5 + p*q**2 - 13*q**2. Does 22 divide o(-4)?
False
Let l(d) = -6*d**2 + 6*d + 8. Let k be l(-4). Does 17 divide 117/(-6)*k/21?
False
Suppose -2322 = -12*o + 3*o. Does 6 divide o?
True
Suppose 11 - 7 = p. Suppose 4 = 2*c - p*u, c + 3*c - 3*u - 3 = 0. Suppose -5*q + 4*d + 60 = c, -5*q + 49 + 1 = -2*d. Is q even?
True
Let k(x) = x**2 + 14*x - 417. Is k(44) a multiple of 9?
False
Suppose -3*k + 78 = -4*k. Let w = -64 - k. Is 14 a factor of w?
True
Suppose -8*f + 2 = -7*f. Suppose 0*k + 108 = f*k. Is k a multiple of 20?
False
Let v(f) = -14*f**2 + f + 4. Let i(j) = 28*j**2 - 2*j - 7. Let s(a) = 3*i(a) + 5*v(a). Is s(-1) a multiple of 3?
False
Suppose -5*f + 123 = -202. Let b = f + 60. Let h = b + -31. Does 25 divide h?
False
Let a(b) be the first derivative of b**2 - 12*b - 1. Let f(x) = -11*x. Let m be f(-1). Is 3 a factor of a(m)?
False
Le