*r**3/3 + 9*r**2/2 - 10*r + 1. Let i(l) = -l**2 + 4*l + 5. Let p be i(6). Is q(p) a multiple of 10?
False
Let s be (2 + -6)*-2 - -2. Suppose -4*q - s = -9*q. Suppose -21 = -q*v + 7. Does 7 divide v?
True
Suppose 2*k = 3*o - 14, 4*k + 3*o + 67 = 21. Let b(v) = v**3 + 10*v**2 - 10*v - 9. Let p be b(k). Is 8 a factor of -4*(p/4)/(-7)?
False
Does 32 divide (-24)/((-33)/12 + 2)?
True
Let j = -8 + 0. Is 6 a factor of j/6*(-27)/6?
True
Let z = 13 + 9. Suppose 17*j + 405 = z*j. Does 23 divide j?
False
Let k = 17 - 12. Suppose 38 + 67 = k*v. Suppose v = x - 8. Is x a multiple of 9?
False
Let v = 1 - -1. Let f(c) = 0 - 8*c + 8*c**v - 2 - c**3 + 0. Does 12 divide f(6)?
False
Suppose 0 = 2*l - 4. Suppose 95 = l*j + 3*j. Suppose -g = -2*g + j. Is 19 a factor of g?
True
Suppose -2*v + 20 + 14 = 0. Let y = 19 + v. Is y a multiple of 12?
True
Let m(j) = 6 - 9*j - 3*j**2 + j**2 + 0*j + 5*j**2. Let o(u) = 4*u**2 - 10*u + 5. Let t(w) = 3*m(w) - 2*o(w). Is 8 a factor of t(7)?
True
Suppose 25 + 11 = -b. Is 24 a factor of (-2256)/b + (-2)/(-6)?
False
Let v = -61 + 106. Is v a multiple of 15?
True
Let x = 4 + -4. Suppose x*f + 3*f = 3. Is (-568)/(-12) + f/(-3) a multiple of 17?
False
Let r(f) = -f**3 - 8*f**2 + 9*f + 4. Let z be r(-9). Suppose z*g = 5*x - 61, g + 5*x + 15 = -19. Is 12 a factor of (2*g)/(-1 - 1)?
False
Suppose 4*x - r - 10 - 2 = 0, -x + 3*r + 3 = 0. Suppose 5*j = x*n - 5*n + 76, -3*j - n = -46. Is 8 a factor of j?
True
Suppose 157 = 3*u - 11. Is 12 a factor of u?
False
Let h be ((-4)/(-3))/(4/6). Let v be (-36)/3*(-1)/h. Is 6 a factor of 215/15 + (-2)/v?
False
Suppose 0*a - 4*a = -48. Does 3 divide 140/a - (-2)/(-3)?
False
Let f(k) = 2*k**2 + 6*k. Suppose -24 = 4*n - y, 17 = -3*n + y - 1. Is 18 a factor of f(n)?
True
Suppose -3*o = -o - 4. Let d(g) = -g**3 - o*g - 3*g**2 - 3*g**2 + 2*g**2 + 2*g**2. Is d(-2) a multiple of 3?
False
Suppose 2*v = 145 + 23. Suppose 3*f + 2*j - 40 = -0*f, 0 = 4*f - 5*j - v. Is 7 a factor of f?
False
Let f = -1 + 1. Let u be (12/(-16) - 10/(-24))*15. Let n = f - u. Is n a multiple of 2?
False
Let l(j) = -j**2 - 11*j - 4. Let i be l(-10). Suppose -n + 6*n = -125. Let s = i - n. Is 17 a factor of s?
False
Let i(v) = 6*v**3 - v**2 + 2*v - 1. Let c be i(1). Is c + 0 + -3 - -47 a multiple of 25?
True
Suppose 2 = 4*q + 4*r + 10, -q - 6 = 3*r. Suppose q = -d + 5*b - 8, 0*d + 3*d - 2*b = 15. Does 2 divide d?
False
Suppose o - 2 = 56. Does 11 divide o?
False
Let p(g) = g**3 - 7*g**2 - 5*g - 1. Let l be p(7). Let r = l + 75. Suppose -3*t + 0*t + r = 0. Is t a multiple of 8?
False
Suppose -4*j = 13 - 405. Suppose j = 3*f - 5*w, -4*w + 113 = 3*f - 6*w. Is 19 a factor of f?
False
Suppose 4*t + 3 = 75. Is 12 a factor of t?
False
Suppose 4*u = -4 + 24. Suppose -u*z + 9 + 21 = 0. Let w = 1 + z. Does 5 divide w?
False
Let m = -1 + 3. Suppose r - 17 - 40 = 0. Suppose m*c - 5*c = -r. Is 19 a factor of c?
True
Let d be -58 - (-4)/((-8)/(-6)). Let r = d + 96. Let a = r - 27. Is 7 a factor of a?
True
Suppose 2*y = 5*o - 5, -2*y + 3*o = -2 + 1. Suppose y*s = 384 - 59. Does 16 divide s?
False
Suppose 309 = -3*y + 6*y. Is 22 a factor of y?
False
Let j = -641 + 929. Does 12 divide j?
True
Let z be (-2)/(-7) + 12/7. Suppose -4*i = 7 - 19. Let w = i + z. Does 5 divide w?
True
Let y = 37 + 1. Is y a multiple of 10?
False
Let b = -83 + 141. Does 29 divide b?
True
Let a(n) be the third derivative of -n**4/4 + n**3/3 + 4*n**2. Let w = -9 + 6. Is a(w) a multiple of 20?
True
Suppose 0 = -2*d - 3*d + w + 435, 5*w = -2*d + 201. Is d a multiple of 15?
False
Let w be (-4)/(-16) - (-47)/4. Let l(n) = 0*n - w*n**2 + 0*n + 5 - 13 - n**3 - 13*n. Does 14 divide l(-11)?
True
Let q(s) be the first derivative of -3*s**4/4 + s**2/2 + s + 2. Let m be q(-1). Suppose -57 = -5*t - 4*f, 0 = -5*t + f + m*f + 73. Does 13 divide t?
True
Let d be (-37)/(-4) + (-5)/20. Is 10 a factor of d/(-6 - -3) + 30?
False
Suppose 4*v + 2*f - 120 = 0, -v - 4*f + 21 + 2 = 0. Is v a multiple of 12?
False
Let s be (-15)/(-6) - 9/(-6). Let f = 2 - s. Let b = 26 + f. Is b a multiple of 14?
False
Let c be 9/(-2)*12/(-18). Suppose 3*z = 7*z - 272. Suppose -c*x = -7*x + z. Does 9 divide x?
False
Let o = 1 + -3. Is (-44)/(-7) - o/(-7) a multiple of 6?
True
Suppose 0 = 8*n - 5*n - 57. Does 5 divide n?
False
Let f(y) = -y**3 - y**2 + 3*y + 21. Does 7 divide f(0)?
True
Let y(j) = -3*j**2 - 2*j - 1. Let m be y(3). Is 0 + (1*m)/(-2) a multiple of 17?
True
Let r = 5 + 0. Suppose r*c = c. Suppose 5*g + c*g + 169 = 4*l, l - 45 = 4*g. Is 15 a factor of l?
False
Suppose -4*w = -7*w + 3. Does 11 divide (-60)/(-2) + w + 1?
False
Let z(m) = m**2 - 3*m. Is 18 a factor of z(6)?
True
Suppose -4*t - 334 = 130. Let l = -74 - t. Suppose w + 2*w - l = 0. Is w a multiple of 14?
True
Let d(q) = q**3 - 6*q**2 + 7*q - 5. Let a be (-38)/(-8) - 2/(-8). Let h be d(a). Does 16 divide (-8)/20 - (-117)/h?
False
Let s(p) = -p**3 + p**2 + 4*p. Let u be s(-4). Suppose 0 = -2*v - z - 2*z + 84, 2*z = 2*v - u. Let r = v + -15. Is 15 a factor of r?
False
Is 6 a factor of 493/85 + 2/10?
True
Suppose 0 = 54*f - 58*f + 92. Is 23 a factor of f?
True
Let s(i) = i**3 - 8*i**2 + 3*i - 4. Let v be s(6). Let a = 96 + v. Is a a multiple of 18?
False
Let v = 147 + -101. Suppose -4*g + 18 = -v. Does 8 divide g?
True
Let k(u) = -2*u + 1. Let o be k(1). Let l = 18 - -5. Let a = o + l. Does 8 divide a?
False
Let h(z) = -3*z - 5 + 2*z - 4*z + 8*z**2 - 2*z + z**3. Does 28 divide h(-5)?
False
Suppose -2*p = -2*w + 2*p + 36, 0 = -4*w + 3*p + 57. Is w a multiple of 4?
True
Let a = 110 - 80. Is 10 a factor of a?
True
Let b = 12 - 3. Let x(v) = v**3 - 8*v**2 - 7*v - 2. Is 5 a factor of x(b)?
False
Suppose 0 = -3*n + 6*n. Suppose i - 4*l - 8 = n, -2*i + l = 3*i - 116. Is 12 a factor of i?
True
Suppose -s + 16 = -3*s. Is 17 a factor of (s/(-10))/(4/170)?
True
Let t = -3 + 23. Suppose 4 = -m + 5*s, -8*s + t = -3*s. Is 16 a factor of m?
True
Is 8 a factor of (-2)/(1*(-3)/36)?
True
Suppose 4*z - 10 = 2. Suppose 0 = -z*u - u + 192. Is 11 a factor of u?
False
Suppose 0*q + 2*a = -5*q + 18, -4*q + 3*a + 19 = 0. Let y be (-1 - -3)*18/q. Does 9 divide 159/y - 1/(-3)?
True
Let b be (156/10)/((-6)/(-15)). Let p = -15 + b. Suppose p = h + 3*h. Does 2 divide h?
True
Let j = -17 + 17. Suppose -2*w = 3*t + 53 - 175, -w + 1 = j. Is t a multiple of 12?
False
Let w(j) = -j**3 + 12*j**2 - 11*j - 5. Let u be w(11). Let m(n) = 11*n + 6. Let o be m(u). Let k = o + 85. Is 18 a factor of k?
True
Let c = -12 + 32. Suppose 2*l + 33 = -5*j + 109, 0 = 5*j - c. Is l a multiple of 9?
False
Let m(u) = -3*u**2 - u - 19*u**3 + u**2 + 0*u. Suppose i - 2 = -3. Is m(i) a multiple of 11?
False
Let n = -54 - -87. Does 11 divide n?
True
Suppose -o + 5*i + 41 = 0, 0 = 4*o - 3*i - 7 - 106. Does 14 divide o?
False
Suppose 2*t + 2*q + 14 = -q, 2*q + 13 = -5*t. Let y be (t - -1 - 6)/(-2). Suppose 2*f = 2*n - 16, -3*n - y*f - 6 = -0. Does 3 divide n?
True
Let w(l) = l**2 + 5*l - 8. Let v = -8 + 2. Let z be w(v). Does 18 divide (-17 - 1)/(1/z)?
True
Suppose -3*h - 2*h = -260. Does 13 divide h?
True
Let l = 74 - -61. Does 9 divide l?
True
Let y be (-6)/2*(-1)/3. Is (y + -15)*2/(-4) a multiple of 3?
False
Let z = -3 + 6. Does 3 divide z?
True
Let s be 3/((-2)/(-64)*3). Let q = s + -74. Does 2 divide (-1)/(-2) - q/12?
True
Suppose -3*y + 2*n - 4*n + 75 = 0, -5*n - 31 = -2*y. Does 6 divide y?
False
Let t be (1 - -4)/(5/(-5)). Let c be (t/(-15))/((-1)/(-3)). Is 9/c - (3 - 4) a multiple of 7?
False
Let n = 149 + -113. Is n a multiple of 36?
True
Let v be (0 - 18) + 1 - 1. Let w(o) = 3*o**2 + 1. Let x be w(-1). Is 11 a factor of x*3/v*-48?
False
Let i = -35 + 77. Is 14 a factor of i?
True
Let t = 79 + -55. Is 9 a factor of t?
False
Suppose 5*l = 2*r - 5*r + 78, -4*l - 43 = -r. Let c = r - 19. Is 6 a factor of c?
True
Let h(d) = 3*d**2 + d - 10. Let l be h(-5). Suppose l = 4*g - 0*g. Is 5 a factor of g?
True
Let m(a) = 51 - 48 - 5*a + a**2 + a. Does 5 divide m(6)?
True
Suppose 6*y = 4*y + 4. Suppose -64 = -y*d + 60. Is 31 a factor of d?
True
Let m(z) = -z**2 - 2*z - 1. Let o be m(0). Does 20 divide 53/1 - (o + 3)?
False
Let v(i) = 4*i**2 + 3*i. Let y be v(-2). Let j be y/(3/2 + -1). Let s = j + -10. Does 5 divide s?
True
Let z be (-1 - 0)/(1/2). Let u be 1/(z + (-2)/(-2)). Is 8 a factor of (-1)/(u/8) + 2?
F