 d(p) = -2*p**3 - 2*p**2 + 21*p + 18. Is 44 a factor of d(-8)?
False
Let y = 17 + -11. Suppose 0 = -y*f + 4*f. Suppose -5*r - 125 + 490 = f. Is r a multiple of 20?
False
Let i = -290 + 416. Is 6 a factor of i?
True
Suppose 0 = -6*g + 9*g - 162. Is g a multiple of 2?
True
Let d(y) = 0*y - 5 + 213*y**2 - 224*y**2 + 6*y. Let x be d(4). Let l = 253 + x. Is l a multiple of 12?
True
Let z = 21 + -26. Let o(x) = -4*x + 1. Let b be o(z). Suppose 0 = 5*k - b - 54. Does 6 divide k?
False
Suppose 3*y - 93 = -2*o, 3*y = -4*o + y + 198. Is o a multiple of 4?
False
Suppose 2*z + 27 = -3*h, 2*z - 67 = 5*h - 2*z. Let q be (-1 - 2)/(h/132). Suppose 4*g - q = -3*m, 2*g + 0*g + 5*m = 18. Is g even?
False
Let n be 5 - (-18)/(-3) - (-1 + 0). Let k(v) = 2*v**3 - 5*v**2 + 3*v - 3. Let c be k(3). Suppose 3*r + 0*p + p - 16 = n, 0 = -3*p - c. Is r a multiple of 2?
False
Suppose 4*u + 3*b = -u - 20, -8 = 2*u + 2*b. Does 21 divide ((-6)/u)/((-2)/(-28))?
True
Let c be 0 + (1 + 0 - 0). Suppose -4*r = -3*h + 84, 19*h - 21*h = 5*r - 56. Is 10 a factor of h + c + -2 + 3?
True
Let p(b) = b**2 - 3*b - 4. Let a be p(-4). Let z = a + 35. Is 30 a factor of z?
False
Let t = 328 - 888. Let g be (t/(-42))/(1/(-6)). Let u = 125 + g. Is 15 a factor of u?
True
Let u(r) = 12*r - 12*r + 11 - 37 + 16*r. Does 3 divide u(4)?
False
Let a = 22 - 17. Suppose 4*y = a*i + 195, -3*i = 4*y - 30 - 173. Is 11 a factor of y?
False
Let b = -23 + 19. Is 1 + b + (51 - -12) a multiple of 30?
True
Let g(r) = -r**3 + 2*r**2 + r - 4. Let q be g(3). Let v(a) = -a**3 - 10*a**2 - 2*a + 7. Is 3 a factor of v(q)?
True
Suppose s = -5*u + 13, 4*u + 5 = -u + 5*s. Suppose 0*n = 5*y - 5*n - 1020, -u*y = 4*n - 432. Does 16 divide y?
True
Let v = 805 + -391. Is v a multiple of 46?
True
Let i = 21 + -31. Is 35/i*(-48)/14 a multiple of 6?
True
Suppose 2176 + 289 = 5*o. Is 7 a factor of o?
False
Suppose -4*c - 13 = -j + 38, 71 = -4*c - 3*j. Let d = 67 + c. Does 35 divide d?
False
Let f(m) be the second derivative of 2*m**3/3 + m**2 + 3*m + 8. Does 19 divide f(8)?
False
Suppose -4*l - 3*j - 2*j + 17 = 0, -8 = -3*l + j. Suppose -56 = -y + 4*o, y - o - 164 = -l*y. Does 9 divide y?
False
Let f(w) = -49*w**3 - 4*w**2 - w + 2. Is f(-2) a multiple of 7?
False
Suppose -s - 24 = z, -3*z - s + 144 = -8*z. Is z*(-3 - -4)*20/(-16) a multiple of 11?
False
Let j = -65 - -68. Does 16 divide j/12 - 889/(-28)?
True
Suppose 4*v + 4 = 3*x + x, 5*v = x - 1. Does 10 divide (6/2 - (1 - 207))*x?
False
Suppose -w = 3*d + 3, 2*w - 5*w + 2*d + 35 = 0. Let n be 75/w + (-10)/(-15). Is 3 a factor of 5 + n/12*4?
False
Let a = 15 - 12. Suppose -3*v + 0*m = 2*m - 8, -v - a*m = -12. Suppose 2*s + v*s = 72. Is 14 a factor of s?
False
Suppose -r = 4*d - 359, 5*d - 4*r - 482 + 49 = 0. Suppose 2*b - b = d. Suppose b = 2*t + 5. Is 21 a factor of t?
True
Let n be 81/(-1) + (-15 - -12). Let i = 9 - n. Does 24 divide i?
False
Let y be (-560)/(-12) + (-6)/9. Suppose -4*s + 30 = -y. Is s a multiple of 3?
False
Suppose 0 = 3*q - 7*q + 12. Suppose -q*c + 7 = -2*j, 7 - 18 = -3*c + j. Suppose -3*a = -c*h + 4*h + 48, 3*a + 90 = 2*h. Does 13 divide h?
False
Let j be (0 - 1)/(0 - 2/52). Suppose -j = 2*g - 74. Is g a multiple of 10?
False
Let q(l) be the second derivative of -l**5/120 - l**4/8 + 2*l**3/3 - 3*l. Let o(b) be the second derivative of q(b). Does 3 divide o(-9)?
True
Let i(h) = -15*h**2 + 3*h - h - 1 + 19*h**2. Let o be i(1). Suppose -3*t = -o*a - 65, -3*t - a + 71 = -6. Is 9 a factor of t?
False
Let u = -20 - 76. Is 64 a factor of u/9*12/(-1)?
True
Suppose 3*w - 150 = 5*m, 2*m = 5*w - 0*w - 250. Suppose -6*u + w = -u. Let a = 23 + u. Does 11 divide a?
True
Let g(l) = 13*l**2 - l - 2. Let z be g(-1). Let b = z - 24. Let w = 42 + b. Is 15 a factor of w?
True
Let i(a) = -2*a**2 - 9*a + 3. Let y be i(-7). Let w be (y/(-12))/((-2)/(-81)). Is 10/4*w/10 a multiple of 9?
True
Let h(y) = -965*y**2 + 4*y**3 + 10 + 971*y**2 - 3*y**3. Is h(-4) a multiple of 8?
False
Let b(i) = 30*i + 14. Let n(u) = 31*u + 15. Let k(g) = 6*b(g) - 5*n(g). Let q be k(5). Let f = q + -53. Is 17 a factor of f?
False
Let m(g) = -g**3 - 7*g**2 - 16*g + 6. Is 11 a factor of m(-11)?
False
Let q = -432 + 616. Does 23 divide q?
True
Let p(c) = 324*c**3 + c**2 - 4*c + 2. Is 19 a factor of p(1)?
True
Let j(s) = s**2 + 8*s - 1. Let c be j(-4). Is c + 17 + (109 - 0) a multiple of 24?
False
Let l(q) be the first derivative of 5*q**3 - q**2 + q + 5. Let j be l(1). Let i = -2 + j. Is i a multiple of 6?
True
Suppose -5*x + 4*m = -14, 5*x - 3*m + 7*m - 6 = 0. Suppose -x*q = g - 2*g + 62, -3*g = -2*q - 206. Is g a multiple of 18?
True
Suppose -p - 4*z = -236 - 46, 4*z = 3*p - 830. Does 6 divide p?
False
Suppose 309 = 3*x - 3*f, -4*f - 115 = x - 2*x. Suppose -x = -6*v - 21. Is v even?
False
Let m be 2/(-5) + 1136/40. Let h = m + 14. Is h a multiple of 6?
True
Suppose -3*i + 7*i = 12. Suppose -49 = -i*z - 4*j, -5*z + 16 = -4*j - 119. Is 23 a factor of z?
True
Let m(v) = 31*v**2 + 21*v + 132. Is 36 a factor of m(-5)?
False
Let f(m) = 5 - 46*m + 56*m - 26*m. Let t be f(3). Let c = t - -109. Is c a multiple of 22?
True
Let w(h) = -4*h**3 - h - 2. Let l be w(-1). Suppose l*g = 2*a - 284, -5*a = 3*g - 530 - 201. Is a a multiple of 24?
False
Suppose 16*s - 53 = 3547. Does 36 divide s?
False
Suppose -2*p + 8 - 2 = 0. Suppose -4*k + p*k + d = -34, 5*d = -10. Is k a multiple of 32?
True
Suppose 4*s = -4*i - 428, 2*i - 7*i = -4*s + 526. Let y = i - -200. Let b = y + -39. Is 11 a factor of b?
True
Let o = -7 - -16. Let t = o + -4. Does 9 divide t/((0 - -2)/8)?
False
Let t = 418 - 94. Does 54 divide t?
True
Let a(z) = -34*z - 68. Is a(-20) a multiple of 8?
False
Let n = -214 - -306. Suppose 12 = 4*z - n. Suppose -q = -8 - z. Is 15 a factor of q?
False
Let j(m) = -m**3 - 22*m**2 - 4*m + 2. Let z(k) = -k**3 - 7*k**2 + 2*k + 26. Let s be z(-6). Does 15 divide j(s)?
True
Let k(o) = o**3 - 7*o**2 - 9*o + 1. Let y be k(8). Does 6 divide (-5 + y)*28/(-8)?
True
Let f = -17 - -32. Let y be (1/2)/(4/48). Suppose -y*i + f = -3*i. Is i a multiple of 5?
True
Let o = -62 - -40. Let p = o - -77. Is 11 a factor of p?
True
Suppose 30 = 2*g + 3*b, -3*g + 25 = 2*g - 5*b. Is g a multiple of 2?
False
Let i be 8/(-5)*(-6 - -11). Suppose -4*t = -7*u + 2*u - 169, 3*u = t - 51. Let y = t + i. Is y a multiple of 14?
True
Let r(c) = c**3 - 12*c**2 - 20*c + 86. Let q be r(13). Let b(v) = -v - 8. Let k(s) = 5*s + 33. Let j(g) = -9*b(g) - 2*k(g). Does 3 divide j(q)?
False
Let p = 4 - 2. Suppose 4*g + 6 = 2*j + 3*j, 2*g = -j - 10. Is 18 a factor of 4*16 - j/p?
False
Let f = 2587 - 849. Does 17 divide f?
False
Let j = 576 - 104. Is j a multiple of 47?
False
Suppose -5 - 157 = -3*h. Suppose -4*q + h = -286. Is q a multiple of 17?
True
Let p = 163 - 84. Let w = 25 + p. Is w a multiple of 26?
True
Let a be ((-4)/3)/((-4)/48). Is a/(0 + 1 + 4/(-8)) a multiple of 9?
False
Let n = -29 + -4. Is (-11 - -12)/((-1)/n) a multiple of 11?
True
Let x = 16 - 15. Let h(o) = 2*o**2 + o - 3*o**2 + x - 9*o**3 - 37*o**3. Is h(-1) a multiple of 17?
False
Let i = -309 - -639. Does 17 divide i?
False
Let z(d) = 6*d**3 - 13*d**2 - 6*d - 11. Let f(v) = 5*v**3 - 12*v**2 - 5*v - 11. Let r(s) = -5*f(s) + 4*z(s). Let p be r(8). Let h = -2 + p. Is 7 a factor of h?
False
Suppose 4*s + 3*d = -11, 5*s = -d - 6 - 16. Let t(x) = x**3 + 3*x**2 - 7*x - 1. Let a be t(s). Let i = -12 - a. Does 2 divide i?
True
Let u(z) = 4*z**2 + 28*z - 76. Does 13 divide u(-18)?
False
Let p(m) = m**3 + 17*m**2 + 16*m - 4. Does 13 divide p(-11)?
True
Suppose -3 = -3*a - 3*c, 2*c + 3 = -a - 0*c. Let p = 2 - 0. Suppose a*y + 5*n = 285, 5*y - p*n + 87 - 407 = 0. Is y a multiple of 16?
False
Let l(o) = o**3 + 15*o**2 + 20*o + 9. Is l(-9) a multiple of 11?
False
Suppose 0 = 3*l - 10 + 7. Let u(d) = 175*d**2 + 4*d - 3. Is u(l) a multiple of 14?
False
Let t(y) = -y**3 - 7*y**2 + 39*y + 56. Does 28 divide t(-16)?
True
Suppose o - p + 7 = -2*o, 2*o = -2*p - 18. Is 16 a factor of (-43)/o*136/17?
False
Suppose 0 = -0*w + 3*w + 3*v + 483, -2*w + v - 331 = 0. Let f = -49 - w. Suppose -35 + f = 5*g. Is 5 a factor of g?
False
Let d be (-6)/9 + 1432/6. Let q be (-6)/(-30) - d/(-10). Suppose -3*r = -r, -q = -3*p + r. Is 6 a factor of p?
False
Suppose -4*j + 25 = j. Suppose 2*u - 99 = j*f, -3*f + 210 = 5*u - 8*f. Suppose