t s(w) = -w**3 + 10*w**2 + 11*w + 1. Let n be s(11). Does 2 divide -3 + (-1)/(n/(-9))?
True
Let h(g) be the first derivative of g**4/4 - 7*g**3/3 + g**2 - 8*g + 1. Let l(r) = r**2 + 3*r - 2. Let j be l(-5). Is h(j) a multiple of 20?
False
Let l(z) = z**3 - z**2 - 8*z - 2. Let o be l(4). Suppose -16 = -q + o. Is q a multiple of 15?
True
Suppose 0 = 3*k - 0*k - 18. Let y be (15/k)/(2/4). Suppose j + 1 = y*n - 55, 2*j - 20 = -2*n. Is 5 a factor of n?
False
Let d(h) = h**2 + 4*h - 3. Let r be d(-5). Suppose -l = r*l - 9. Suppose 0 = z + l*i - 19, 2*z - 2 = 3*z - 4*i. Is z a multiple of 10?
True
Let f(k) = 8*k - 18. Is 17 a factor of f(15)?
True
Suppose 296 = 4*d - 96. Suppose 0*s - 5*s + d = 2*h, 0 = 3*h - 12. Does 16 divide s?
False
Let z(t) = 3*t**2 - 5. Is 7 a factor of z(3)?
False
Let g = 212 - 117. Is g a multiple of 19?
True
Let x(c) = c**2 + 14*c - 10. Let u be x(-12). Let y = 2 - u. Is 12 a factor of y?
True
Suppose 4*n - 54 = -3*g + 19, -n = 2. Suppose -g + 282 = 5*j. Is j a multiple of 14?
False
Let d be (0 - 0)/((-2)/(-1)). Let h be (-8)/6*24/(-16). Suppose b + d*b + 3*g = 2, 0 = -h*b + 2*g + 28. Is 11 a factor of b?
True
Let z be ((-14)/(-4))/((-1)/(-2)). Suppose -3*w = 4*t - 92, 0 = 5*t - z - 18. Is 12 a factor of w?
True
Suppose -5*u - 35 = 2*j + 3, -5*u = -2*j + 2. Let a(t) = -11*t + 17. Is 31 a factor of a(j)?
False
Suppose 4*r = 13*r - 585. Does 18 divide r?
False
Let x be 0/((-9)/(-3)) + 16. Suppose -o = -x - 1. Is 7 a factor of o?
False
Let y = -17 + 9. Let b be (-1)/((-5)/y)*-5. Does 4 divide (0 + -1)/(b/(-40))?
False
Let r be (2/(-4))/(1/(-10)). Suppose r*g - 526 = -3*q + 7*q, 16 = -4*q. Suppose -g = x - 4*x. Does 17 divide x?
True
Suppose 179 = -2*t + 635. Does 33 divide t?
False
Suppose 0 = -4*y, -2*h + 324 = h + 2*y. Does 12 divide h?
True
Is 14 a factor of -25*((-16)/4 + 3)?
False
Let i be ((-8)/(-10))/(1/(-5)). Let h = i + 7. Suppose -3 = h*f - 4*z - 31, -f = 2*z - 16. Is f a multiple of 12?
True
Suppose n - 2*n = -16. Suppose -4*s + n = -0*s. Suppose -3*x + 4*x + p - 35 = 0, -x - s*p + 44 = 0. Is 16 a factor of x?
True
Suppose h - 2*h = -4. Is 18 a factor of -2*(2 + (-102)/h)?
False
Let r = -7 - -14. Suppose 3*f - 25 = -r. Is f a multiple of 4?
False
Let a(i) = -i**3 + 89 - 3*i + i + 3*i. Let q be a(0). Let r = -58 + q. Does 12 divide r?
False
Let o(u) = -7*u - 6. Let k be (-9)/2 - 2/4. Is 6 a factor of o(k)?
False
Suppose 2*g = -4 + 8. Suppose 0 = 4*c + 5*n - 5 - 23, -3*c + n = -2. Suppose -g = b + c*d - 7*d, 4*b = d + 49. Is b a multiple of 5?
False
Let k(h) = -h**2 + 13*h - 12. Does 12 divide k(9)?
True
Let v be 143/2 - 3/(-6). Suppose -2*z = z - v. Let h = -1 + z. Is 14 a factor of h?
False
Suppose 3*s + 4*m - 44 = 0, -3*m + 5*m - 78 = -5*s. Suppose 3*d = -2*d + 110. Let f = d - s. Is f a multiple of 6?
True
Let r be (-6)/10 + (-186)/(-10). Suppose 16 - 4 = -2*z. Let d = z + r. Is 5 a factor of d?
False
Suppose 0 = 5*x + h - 15 + 3, 0 = x - 5*h + 8. Suppose -u + 25 = 4*m, -x*u + 3*m = 2*u - 5. Suppose -3*t = -2*o + 5, 3*o + u*t - 16 = t. Does 4 divide o?
True
Suppose 4*u - 3*x - 195 = 0, 0 - 1 = x. Suppose 2*i - u = -k + 4*k, -k + 19 = i. Is 4 a factor of i?
False
Is 15/(-20) - (-213)/12 a multiple of 17?
True
Let x be 32 - (0 + 2 - 4). Let c = -2 + x. Is c a multiple of 7?
False
Is 2 a factor of ((-2)/(-3))/((-2)/(-9))?
False
Suppose -g + 2*g = -2*y + 4, -3*y = 3*g. Suppose 2*d + 3*r = y, 3*d - 3 = -3*r + 3. Suppose d*h + 0*h = 50. Does 10 divide h?
False
Suppose -j = 3*k + 2*j - 6, -5*k + 12 = 4*j. Let n be 531/(-21) + k/14. Is n*((0 - 2) + 0) a multiple of 17?
False
Does 16 divide (-582)/(-6) - 3/3?
True
Is (9/(-4))/(-6*5/320) a multiple of 8?
True
Suppose 0 = 2*o + 2*o - 72. Let l = o + -11. Is l a multiple of 3?
False
Let d(k) = -4*k**2 + 8*k - 6. Let r(a) = -17*a**2 + 32*a - 25. Let q(p) = -9*d(p) + 2*r(p). Does 12 divide q(7)?
False
Is 3 a factor of (-2)/(-1)*56/16?
False
Let m(t) = -t. Let h be m(2). Does 12 divide (-200)/(-6) - h/(-6)?
False
Is 552/8*(-1)/(-3) a multiple of 3?
False
Let c(w) = 2*w**2 + 4*w + 2. Let f = 3 + -7. Let r be c(f). Suppose r - 6 = 3*n. Is 4 a factor of n?
True
Does 4 divide (35/10)/(2/12)?
False
Let b = 16 - 39. Let z = -12 - b. Does 11 divide z?
True
Let t(j) = -j**3 - 13*j**2 - 26*j + 2. Does 5 divide t(-11)?
False
Suppose -5 = 3*z - 56. Is z a multiple of 2?
False
Let o = 95 + -50. Does 9 divide o?
True
Let x be (-1866)/15 + (-2)/(-5). Let b = x - -221. Is b a multiple of 28?
False
Let z = 183 + -95. Let k = z - 129. Let b = k - -73. Is b a multiple of 18?
False
Let l be 5 + 2/2*-1. Let i be 4*2/(16/54). Suppose l*u - i = 53. Is 10 a factor of u?
True
Suppose -136 = -7*m + 5*m + 3*k, -4*m = 5*k - 228. Is m a multiple of 3?
False
Suppose 4*p = 4 + 16. Suppose 0*n - p*n + 415 = 0. Is 18 a factor of n?
False
Suppose v = -v + 50. Suppose g = -4*g + v. Suppose 0*n = g*n - 155. Is n a multiple of 20?
False
Suppose 114 = -4*q + 2*h, -h + 18 = -q - 12. Let b be 6/q - (-272)/9. Let a = 50 - b. Is a a multiple of 10?
True
Let q(w) = w + 12. Let c be q(-9). Suppose l + 20 = c*l. Is l a multiple of 2?
True
Let v = 470 + -227. Is 11 a factor of v?
False
Let o(w) = 6*w - 9. Let l be o(4). Suppose m + l = 46. Is m a multiple of 31?
True
Let r(u) = -10*u**3 - u**2 - 3*u - 6. Does 22 divide r(-3)?
True
Let r(s) = s**2 - 5*s + 2. Let a be r(5). Let b = 0 - a. Does 12 divide 0 + 0 + b + 14?
True
Let a(l) = 5*l**2 - 7*l + 3. Let u be a(5). Let f be ((-6)/4)/((-6)/16). Suppose f*o - o = u. Is 14 a factor of o?
False
Let c(j) = -j**3 + 7*j**2 + j + 9. Let b(y) = y**2 - 7*y + 7. Let a be b(7). Is c(a) a multiple of 12?
False
Suppose 20*d - 72 = 18*d. Is 9 a factor of d?
True
Suppose 4*f + y = 53, -2*f - 1 = -4*y - 5. Is 3 a factor of f?
True
Let j = 50 - 27. Let h = j - 13. Is h a multiple of 10?
True
Suppose 5*m - 265 = -5*f, -97 = -2*f - 0*f - 5*m. Does 16 divide f?
False
Let x = -7 + -1. Let o be ((-1)/(-2))/((-2)/x). Suppose 5*h - 49 = o*d, -3*d = -3*h + 2*d + 37. Does 9 divide h?
True
Suppose -32*v + 31*v = -2. Suppose 25 = o + 4*h - h, -3*o = -5*h - 89. Let p = v + o. Does 10 divide p?
True
Suppose f + 6 = -f, d + 4*f = 0. Let u = d - 41. Let y = -19 - u. Is y a multiple of 10?
True
Let q(o) = o**2 - o + 2. Let y be q(0). Is (-6)/y - -105 - 2 a multiple of 22?
False
Is 2 + (-33)/21 + 1315/35 a multiple of 13?
False
Let i(j) = -22*j**3 + 1. Let k be i(1). Let r be -2*(-7)/(-2) + 0. Is (-2)/r - 393/k a multiple of 8?
False
Suppose -4*p = -0*m + m - 48, -4*m - 5*p = -192. Does 16 divide m?
True
Suppose 0 = -4*c - 3*x + 167 - 14, -5*x - 25 = 0. Is 14 a factor of c?
True
Let a be (1 - -1) + (1 - 2). Let h(x) = -15*x - 1. Let u(m) = -29*m - 3. Let i(o) = -5*h(o) + 2*u(o). Is 6 a factor of i(a)?
False
Let k(q) be the third derivative of q**6/120 + q**5/15 - q**4/4 - 5*q**3/6 - 2*q**2. Let s be 2/(-3)*-1*-6. Does 8 divide k(s)?
False
Let r(h) be the second derivative of h**5/60 + 13*h**3/6 - h**2/2 - 2*h. Let z(v) be the first derivative of r(v). Is 6 a factor of z(0)?
False
Let l be 36/10 + 3/(-5). Suppose -2*y = l*y - 335. Is 30 a factor of y?
False
Is 21 - 2 - (-24)/(-8) a multiple of 7?
False
Let k(f) = f**2 + 5*f + 3. Is 9 a factor of k(-6)?
True
Let p = -8 - -12. Suppose -4*g - 2*i + 18 = 0, -6 = g + 2*i - 3. Suppose 79 = p*t + g. Is 9 a factor of t?
True
Suppose 0 = 4*k + 12 + 8. Let j be (-230)/k - (3 + -1). Let p = j - 19. Is p a multiple of 16?
False
Suppose -16 + 40 = 4*t. Let a be 28/t - 6/9. Suppose -4*d = 3*v - 74, a*v + 56 = -3*d + 157. Is v a multiple of 11?
False
Let s(n) = n**2 - 2*n - 5. Suppose 2*g - 6*l - 14 = -2*l, 3*g - 3*l - 21 = 0. Let z(m) = -m + 3. Let r be z(g). Does 19 divide s(r)?
True
Let j = 260 + 53. Suppose 0 = -4*h + l + j, 5*l - 43 = -3*h + 163. Is 24 a factor of h?
False
Let h(s) = 20*s**2 + 3*s - 2. Does 5 divide h(1)?
False
Let w = -3 + 2. Let c be w/(-3)*0 + 0. Suppose 3*i - 4*h + 19 - 42 = c, 5*i = 5*h + 45. Is i a multiple of 5?
False
Suppose -3*m = -5*m + 124. Is m a multiple of 13?
False
Suppose z + 12 = 4*z, -5*g = -z - 61. Is 8 a factor of g?
False
Let v = -12 - -28. Is v a multiple of 5?
False
Let t(z) = 13*z - 49. Does 7 divide t(11)?
False
Let b(a) = -2*a. Let x be b(-2). Suppose -3*t = t. Let y = x + t. Is y a multiple of 2?
True
Suppose 0 = -3*m + 