Is 47 a factor of l?
False
Let o(v) be the first derivative of -3 - 2*v - 9/2*v**2 + 11/3*v**3 - 1/4*v**4. Is o(10) a multiple of 2?
True
Let k(f) = f**2 - f. Let q(j) = -j**3 - 10*j**2 + 11*j - 10. Let d(y) = -5*k(y) - q(y). Does 12 divide d(4)?
False
Let c be 1*5/(6 - 5). Let v(h) = h**3 - 4*h**2 - 4*h - 2. Let b be v(5). Suppose -4*y + b*o = -30, 1 - 39 = -c*y + 4*o. Does 5 divide y?
False
Suppose -236*r + 237*r = 3*v + 420, 4*r - 1680 = 2*v. Is r a multiple of 15?
True
Suppose 327 = -43*i + 21139. Is i a multiple of 44?
True
Suppose -8*o = 2*k - 5*o - 1168, -3*k - o = -1738. Is k a multiple of 17?
True
Suppose -5*c - 9 = 4*p, -5 = 2*p - 7*p - 3*c. Suppose -5*w + 1501 = -4*q, -4*w + p*q + 848 = -356. Is 33 a factor of w?
True
Suppose -5*h - 36 = -o, -5*o + 6*o = -5*h + 16. Does 13 divide o?
True
Suppose 0*k + 4*k = 816. Suppose o - 2*o = 3*v - 58, -4*o - 5*v = -k. Does 13 divide o?
False
Suppose -4*l - 2*k + k + 739 = 0, -5*k = -5*l + 905. Does 47 divide l?
False
Let x(z) = z**3 - 17*z**2 + 16*z + 10. Is 8 a factor of x(16)?
False
Let i(j) be the second derivative of 0 + 1/2*j**3 + 19/12*j**4 - 1/2*j**2 + j. Does 23 divide i(2)?
False
Suppose 0 = -3*o - r - 2*r - 3, -5*o = -2*r - 23. Suppose -6 = 6*z - o*z. Is 30 a factor of 6/15*(z - -152)?
True
Does 39 divide (-2343)/(30/(-10)) - (0 - -3)?
False
Suppose -5*v = -y - 0*y - 7, -4*y = -3*v - 6. Let h = y - 1. Suppose m = h*m - 66. Does 22 divide m?
True
Suppose -5 = 5*q - 30, 2*q + 310 = 5*m. Is m a multiple of 8?
True
Let b be (-34*1)/(-2)*-1. Let l = b - -18. Let j(k) = 10*k**3 + k**2 - 1. Is 5 a factor of j(l)?
True
Let u(f) = -42*f - 30. Let p be u(-7). Suppose 0 = -a - 5*a + p. Does 4 divide a?
True
Let x(v) = -2*v. Suppose -4 = 4*z + 3*d, 5*z + 0*d = -3*d - 5. Let q be x(z). Does 13 divide q/(-5) - 232/(-5)?
False
Is (18/(-15))/(1*2/(-500)) a multiple of 20?
True
Let y = 25 - 20. Let u be y/((-10)/(-6)) + -6. Is 7 a factor of (29/(-2))/(u/6)?
False
Suppose 3 = -2*a - 5. Let i = -1 - a. Let b(m) = m**3 + 4*m**2 - 3*m - 4. Is 25 a factor of b(i)?
True
Suppose -1368 = -307*t + 303*t. Is 57 a factor of t?
True
Let p(y) = y**3 - y + 20. Let d(k) = -50*k**3 - k + 51*k**3 + 0*k + 9 - 9*k**2. Let w be d(9). Is 11 a factor of p(w)?
False
Let l(c) = -25 + 17 - 7*c - 5*c - c**2. Is 12 a factor of l(-8)?
True
Let b(a) = a**3 - a**2 + 4. Let y be b(-3). Let x = 34 + y. Suppose -4 = -l, p + x*l - 2 = 24. Is 9 a factor of p?
True
Is 26 a factor of (1/(-1))/(3/((-2028)/1))?
True
Let a = -40 + 85. Let o be (-150)/(-4)*4/3. Suppose -z - o = -4*u + a, u + 2*z = 26. Does 24 divide u?
True
Is 24 a factor of (22344/(-490))/(2/(-100))?
True
Let w = 1 - -5. Suppose w*d + 24 = 3*s + d, -24 = -3*s - d. Is 24 a factor of s/10 - (-588)/15?
False
Suppose -4*a + 23 + 5 = 4*h, 18 = 4*a - h. Suppose 2*x = 3*x - 1, 2*f = -2*x + 18. Suppose a = v - f. Does 4 divide v?
False
Suppose -96*i + 100*i + 2*f = 174, 2*i = -2*f + 88. Suppose -3*w - 9 - 15 = -4*o, 31 = 5*o - 4*w. Suppose 3*p - 4 = 7*p, -o*r = 2*p - i. Is 4 a factor of r?
False
Let z(x) = -x**3 + 5*x**2 + x - 2. Let m be z(5). Suppose q + 32 = m*q. Does 17 divide (68/3)/(q/24)?
True
Suppose 45*j = 50*j + 10, 3190 = f - 2*j. Is 118 a factor of f?
True
Suppose 5*o - 43 = 2. Let a = o + -37. Let y = 62 + a. Does 11 divide y?
False
Let r(u) = -12*u**2 + u - 7. Let d be r(4). Let l = d - -365. Is l/7 - 8/28 a multiple of 8?
True
Does 36 divide (-23)/92 - (-83)/4*107?
False
Let b(n) = n**3 + 14*n**2 + 3*n - 17. Is 19 a factor of b(-9)?
True
Is -2 - -1*944 - 16/(-8) a multiple of 46?
False
Suppose -3*c - x + 94 + 136 = 0, -2*c + 170 = 4*x. Does 29 divide c?
False
Let x be -5 - -2 - (-1 - 44). Suppose 4*m - 6 = -x. Is 8 a factor of (-12)/m*(-51)/(-2)?
False
Let s = 109 - 54. Suppose -21*o + s = -16*o. Does 4 divide o?
False
Let x = -169 + 316. Is 49 a factor of x?
True
Suppose 0 = 2*x - 4*x + 18. Let r(i) = i**3 - 10*i**2 + 8*i + 9. Let d be r(x). Let s = 12 - d. Does 4 divide s?
True
Suppose 5*n - 3*j + 6*j - 468 = 0, -3*n = j - 284. Is 24 a factor of n?
True
Let d(v) be the first derivative of -25*v**2/2 + 5*v + 1. Let m be d(-3). Let g = -34 + m. Is g a multiple of 10?
False
Let f be 15/(-2)*(-18 - -4). Let p = f + -70. Suppose 2*b = -3*b + p. Does 5 divide b?
False
Suppose 0 = -36*s + 32175 + 3717. Is 48 a factor of s?
False
Suppose 66*z + 5*q - 12448 = 62*z, -q = 5*z - 15581. Is 17 a factor of z?
False
Is 21 a factor of 2/((-16366)/12285 + 24/18)?
False
Let t be 2/11 - 20/(-11). Let d be (36/(-8))/((-2)/(-4)). Does 16 divide 291/t*(-6)/d?
False
Suppose -8*p + 266 = -462. Does 91 divide p?
True
Suppose 5*f - 7817 = a, -654 = -f + 2*a + 913. Is f a multiple of 35?
False
Let o = 428 + 72. Is o a multiple of 10?
True
Suppose -4*q + 5123 = -i, 1722 + 829 = 2*q + 3*i. Suppose -17*z = -25*z + q. Is z a multiple of 40?
True
Let c be (0 - -15)/((-6)/(-4)). Suppose c = 3*h - 5. Suppose -5*j = -h, -5*w = -3*j - j - 126. Is w a multiple of 15?
False
Let v(t) be the second derivative of t**5/20 - t**4/2 + 3*t**3/2 - 4*t**2 + t. Suppose -3*c + 27 = 3*j, -c + 5 = 5*j - 16. Does 30 divide v(c)?
False
Let t = -15 + 19. Suppose t*h - 62 = -2*k, -k = h - 2*k - 20. Is 4 a factor of h?
False
Let g(o) be the second derivative of o**4/4 - o**3/2 - o**2/2 + 12*o. Does 14 divide g(5)?
False
Let x(a) be the third derivative of 13*a**4/12 - 5*a**3/3 - 3*a**2. Let p be x(5). Suppose 6*t - p = t. Is 4 a factor of t?
True
Let o(z) = 5*z**2 + 2*z + 3. Let b be o(-3). Let f = 81 - b. Is f a multiple of 10?
False
Suppose 16*b - 847 = -15. Is b a multiple of 30?
False
Suppose -3*q = -2*i - 2, -i + 7 = q + 13. Let d = 17 + -10. Let a = d + i. Is 2 a factor of a?
False
Let x = -10 + 11. Let p(i) = 8*i + 1. Let d be p(x). Suppose 88 = -d*t + 11*t. Does 9 divide t?
False
Let u(l) = -l**2 - 19*l - 3. Does 3 divide u(-11)?
False
Let w(v) = -75*v - 7. Does 4 divide w(-1)?
True
Let b(d) = 15*d**3 + 23*d**2 - 123*d + 4. Is b(6) a multiple of 21?
False
Suppose 4*f - 6*f = 5*g - 7, -2*f + 2 = 0. Is ((-218)/(-5 - -3))/g a multiple of 10?
False
Let p be (3/(-9))/((-2)/66). Let w be -9 - -78 - (1 - -3). Suppose -6*q - w = -p*q. Is 4 a factor of q?
False
Let a = 21 + -64. Suppose 5*g = 0, c = 6*c + 3*g + 335. Let o = a - c. Is 6 a factor of o?
True
Suppose 2*y = 3*o - 235, -5*y = -4*o - 2*y + 312. Let p = o + 17. Suppose 0*s + p = 2*s. Does 17 divide s?
False
Let u(f) = -f**3 + 11*f**2 - 9*f - 6. Let k = -4 + 14. Let a be u(k). Suppose 17 = 2*i - 3*z, -2*i + a*z + 18 = 2*z. Is 5 a factor of i?
True
Suppose 5*f = -3*p + 34, -4*p - 3*f + 32 = f. Is p even?
False
Let o(h) be the third derivative of h**7/1680 - h**6/360 - h**5/12 + h**2. Let f(y) be the third derivative of o(y). Does 3 divide f(2)?
False
Let g(r) = -66*r - 31. Does 23 divide g(-5)?
True
Suppose -4*d + 10 - 66 = 0. Let w = d - -3. Let a = 69 + w. Does 19 divide a?
False
Suppose -5*p - 204 = -2*f - 38, -5*p + 20 = 0. Let g = f - 57. Is 18 a factor of g?
True
Suppose -4*d - 286 = 5*r - 2562, -3*r + 1367 = d. Is 19 a factor of r?
True
Let i(f) = -f**2 + 13*f - 7. Let n be ((-56)/(-7))/(2/3). Is i(n) a multiple of 5?
True
Let w = 16 + -4. Suppose 0 = 4*o - 5*c - 41, 2*o - w - 1 = 5*c. Is 7 a factor of (2 + -3)/((-2)/o)?
True
Does 8 divide 115236/144 - 2/8?
True
Let u be ((-5)/10)/(1/38). Let q = u - -30. Suppose -228 = 5*g - q*g. Is g a multiple of 15?
False
Is 45 a factor of (-6)/(3/(-298)*(21 + -19))?
False
Let c(w) = 7*w**2 - 7*w + 4. Let u(y) = -6*y**2 + 7*y - 4. Let t(q) = -5*c(q) - 6*u(q). Let f = -21 - -30. Does 22 divide t(f)?
True
Suppose -4799 = -55*a + 5486. Is a a multiple of 17?
True
Is 28 a factor of 16/(4 - (-1750)/(-441))?
True
Let i(k) = -9*k + 19. Does 2 divide i(-4)?
False
Let u(x) = -2*x**3 - x**2 - 15*x - 6. Does 13 divide u(-5)?
False
Let i = 1438 + -1162. Is 7 a factor of i?
False
Let p = 2865 + 351. Does 24 divide p?
True
Let u(l) be the second derivative of -l**2 + 1/2*l**3 + 6*l - 1/12*l**4 + 0 - 1/20*l**5. Is 3 a factor of u(-3)?
False
Let n = -142 + 484. Let k = n - 116. Is k a multiple of 39?
False
Let a(f) = f - 2. Let h be (-4)/6 + (-58)/(-6). Let i be a(h). Let r = i - -7. Does 4 divide r?
False
Let n = 14 - 10. Let q(l) = -2*l - 4*l + 2*l - n*l - 4. Is 15 a factor of q(-5)?
False
Suppose 0 = -s - 4*x + 9, -x - 23 = -3*s