f k?
False
Let a be (102/(-8))/((-54)/288). Suppose 5*w = 6*w - a. Is 13 a factor of w?
False
Let k(y) be the first derivative of y**4/4 + 13*y**3/3 + 7*y**2/2 + 10*y + 9. Is 6 a factor of k(-12)?
False
Let a be 5 - (3 + -2 - -2). Suppose -a*k = -v + 21, 3*k + 40 = 2*v - 2*k. Let n = v + -10. Does 10 divide n?
False
Let t = -11 - 3. Is 34 a factor of 34/3*(t + 17)?
True
Suppose -i + 3*i = -2*i. Suppose 2*u + 0*f - 197 = f, 2*u + 4*f - 182 = i. Is u a multiple of 6?
False
Let r = 217 - 93. Is r a multiple of 12?
False
Let w(n) = -104*n + 8. Let y be w(-10). Does 48 divide (45/30)/(6/y)?
False
Let k(v) = 0*v**2 + 2*v**2 + 0 - 10*v - 2. Let w be (-44)/(-6) - (1 - (-4)/(-6)). Does 13 divide k(w)?
True
Let m = 136 + -146. Is 5 a factor of (545/(-10))/(5/m)?
False
Suppose -12*u + 23*u - 902 = 0. Does 33 divide u?
False
Let g(v) = -24*v + 4. Suppose 2*d + 5 + 2 = w, -5*d = -4*w + 16. Is g(d) a multiple of 29?
False
Let t(q) = q**2 - 36*q - 25. Let y be t(34). Let x = y + 247. Is 18 a factor of x?
False
Is 11650/14 + 33/(-231) a multiple of 8?
True
Let t(u) = -10*u - 33. Let f be t(-14). Suppose -5*v + f = r, 0 = 3*v - 7*v + 2*r + 80. Does 7 divide v?
True
Suppose n - 4*n - 312 = 0. Let y = -43 - n. Is y a multiple of 7?
False
Let z be (-1)/(-8) + (-6)/(-16)*-1643. Does 44 divide (z/(-6))/(-7)*-3?
True
Suppose 0*t = -4*t + 84. Suppose -8*a = -9*a + t. Is 9 a factor of (-98)/a*(-54)/7?
True
Suppose 18 = -m + 3*m. Suppose 3*z = 5*l - 0*l + m, -3*z - 5*l = -9. Suppose z*g - 91 = -22. Is 7 a factor of g?
False
Suppose 0 = -5*g + 3 + 7. Suppose 3 = w + 2*i, 24 - g = 4*w - 2*i. Suppose -2*k = -w*k + 159. Does 32 divide k?
False
Suppose -t = 3*q - 632, -3*t - q - 2*q + 1902 = 0. Does 14 divide t?
False
Suppose 2*r + r - 4*m + 1 = 0, 0 = 4*r - 4*m. Let j be (57/(-15))/(r/(-5)). Suppose -j*i = -14*i - 275. Is 11 a factor of i?
True
Let v = 25 - 4. Suppose q = 17 + v. Is 18 a factor of q?
False
Let z(d) = d**2 + 11*d + 6. Let s be z(-8). Let i be (-14)/63 + (-940)/s. Let h = 88 - i. Is 19 a factor of h?
False
Suppose 2*h = 4*h - 58. Let j = h + 1. Suppose -3*c + j = -0*c. Is 3 a factor of c?
False
Suppose 4 = -4*s, -5*q + 3*q = -2*s - 202. Does 13 divide q?
False
Suppose -2*s - 35 + 13 = 0. Let z be 2 + -1 + s/(-1). Let h(x) = x**2 - 10*x - 16. Does 4 divide h(z)?
True
Let w(t) = 221*t**2 + 51*t + 106. Is 8 a factor of w(-2)?
True
Let o(b) be the first derivative of 2*b**3/3 + 6*b**2 - 13*b - 70. Let v = -17 - -8. Is 9 a factor of o(v)?
False
Let z = -287 + 495. Is z a multiple of 42?
False
Let t(w) = 16*w**2 - 12*w + 6. Does 10 divide t(3)?
False
Let s(j) = j**2 - 2*j + 13. Let l be s(9). Suppose 4*o = -0*o + l. Is o + (-1 - -2)*-3 a multiple of 16?
True
Suppose -5*z - 25 = 0, -4*z - 2435 = 187*v - 188*v. Is 115 a factor of v?
True
Let b(t) = 3*t + 43. Let u be b(-15). Is (9/(-72)*u)/((-2)/(-568)) a multiple of 4?
False
Suppose 2 - 5 = -p. Suppose -2*j + 9 = -p*w, -2*j = 2*w + 2*j + 6. Let x = 7 - w. Is x a multiple of 7?
False
Suppose 0 = 3*u + u + 3*h - 11476, 4*u + 4*h - 11472 = 0. Is u a multiple of 19?
False
Suppose -64*j - 5*t - 339 = -68*j, -2*j - 4*t = -150. Is 9 a factor of j?
True
Suppose 0 = -3*b - 13*f + 16*f + 1218, 0 = -b - 5*f + 382. Is b a multiple of 93?
False
Let y be 3 - (-5)/(5/(-3)). Let n = y - -10. Is 17 a factor of (-5)/n*(0 - 34)?
True
Let z = 9 + -6. Suppose 4*f + 77 = z*f. Let m = -41 - f. Is 12 a factor of m?
True
Let m(s) = 6*s**3 - s**2 + 1. Let z be m(1). Let q be z/(-8) - 335/(-20). Let y = 34 + q. Is y a multiple of 10?
True
Suppose -2*x = -0*x + 3*c + 9, 2*x - 5*c - 15 = 0. Suppose x = -3*u - 0*u + 54. Is 11 a factor of -1*(3 + -1) + u?
False
Let x(f) = 25*f + 14. Let s be x(7). Let y = s + -115. Is y a multiple of 13?
False
Suppose -3*t = -2*l - 2*t + 230, -2*l = -3*t - 234. Suppose 3*h + 30 = l. Does 6 divide h?
False
Let q be (1 + 0)*(-14 - 8). Does 7 divide (-15)/(-15) - (1 + q)?
False
Suppose -10*d + 5672 = -928. Suppose -5*f + d = -c - c, 5*c = -2*f + 235. Is 15 a factor of f?
False
Let y(p) = -57*p - 3. Let k be y(-1). Let m = k - 42. Is m a multiple of 12?
True
Let u be (5 - -53) + 2 + -1. Let v = u - 54. Does 2 divide v?
False
Let f = 32 + -20. Let d be 16/6 + (-8)/f. Suppose -2*l = 0, l = 5*z - d*l - 85. Is z a multiple of 15?
False
Is 12 a factor of 12/9*(-3924)/(-24)?
False
Let l(f) = 11*f + 262. Is l(39) a multiple of 7?
False
Let d be 0 + 2 + 4 - (1 - -3). Is 26 a factor of ((-1)/d + 1)*(136 + -14)?
False
Let s = 23 - -57. Does 2 divide (4/14 - s/35) + 11?
False
Let v(w) = 10*w**2 + 10*w**2 - 13*w**2 - 3*w + 0*w. Is 32 a factor of v(5)?
True
Let y = 4 - 0. Suppose 2*b = -o + 29 - 169, y*o + 8 = 0. Let c = -13 - b. Does 14 divide c?
True
Suppose 474*l + 1485 = 477*l. Is l a multiple of 19?
False
Suppose 12*x - 380 = 17*x. Let r = -71 - x. Does 5 divide r?
True
Let a(r) = -r - 9. Let o be a(-10). Does 11 divide 318/2 - (o + -1)?
False
Let j be (26/(-3))/((-5)/(-30)). Does 11 divide (-4 + j/(-2))/((-3)/(-12))?
True
Let r(o) = -2*o**3 + 41*o**2 - 12*o - 9. Is r(19) a multiple of 6?
True
Suppose -y + 12 = y. Suppose -u - 4*s = -s - 6, -3*u + y = -3*s. Is (90 - -2 - u) + 0 a multiple of 18?
False
Suppose 2*g - 330 = -y - 90, 0 = -4*g - 4. Let x = y - 143. Is x a multiple of 11?
True
Let s(c) = -c**3 + 26*c**2 + 24*c + 83. Let u be s(27). Let i = 3 + 0. Suppose -5*z = -3*d + 140, u*z = -i*d - d + 178. Is d a multiple of 12?
False
Let x be (-8327)/33 - (-1)/3. Let j = -180 - x. Is j a multiple of 24?
True
Let j(n) be the third derivative of -n**4/12 - 8*n**2. Is j(-4) a multiple of 5?
False
Suppose 0 = 4*g - 22 + 2, -392 = -3*p + 2*g. Suppose 0 = -8*i + p + 34. Does 14 divide i?
False
Suppose 8*j - 3*a - 75 = 3*j, -5*a = 3*j - 79. Let o = -24 + j. Is 27 a factor of ((-10)/o)/(3/63)?
False
Let z = 57 + 6. Suppose -327 = -5*v + z. Is 13 a factor of v?
True
Let j(v) = -27*v - 14. Does 11 divide j(-1)?
False
Let q = 7 - 15. Let c(f) be the third derivative of -5*f**4/24 - 7*f**3/3 - 6*f**2. Does 13 divide c(q)?
True
Is 2 a factor of (-11)/(-33) + 3382/6?
True
Suppose -6*m + 253 - 31 = 0. Is m a multiple of 13?
False
Let y = 348 - 61. Is 9 a factor of y?
False
Suppose -15*a = -6*a - 36. Is 8 a factor of (5 - (-5 + a)) + 3?
False
Let x = -20 + 22. Suppose -x*a = 5*p - 200, a = -0*p - 5*p + 110. Is 15 a factor of a?
True
Suppose 35*i - 33*i = 4. Suppose h = -i*h - 4*d + 170, 0 = 3*h + 2*d - 166. Is h a multiple of 9?
True
Let d be 4*-1*75/(-60). Suppose 2*x + s = 14, -d*s - 2 = 2*x - 0*s. Does 2 divide x?
False
Let r = 210 - -1134. Does 27 divide r?
False
Let a(s) = s**3 - 4*s**2 - 5*s + 11. Let u be a(6). Suppose i = -2*p + u, -i - 69 = -3*p + i. Does 8 divide p?
False
Suppose -94 - 489 = -3*u + 2*a, 0 = 5*u + 4*a - 979. Is 5 a factor of u?
True
Let u(a) = 2*a**2 + 27*a + 270. Is u(-18) a multiple of 18?
True
Suppose 4*t = 150 + 106. Suppose 0 = 4*d - t - 64. Is d a multiple of 12?
False
Let v be (0 - 158)/(-1) - 1. Let k be (-3)/(-2) - (-48)/(-32) - -5. Suppose k*r - v + 32 = 0. Does 6 divide r?
False
Let c(x) = 143*x**2 - 2*x - 1. Let z be (-3)/(-9)*-3 - 0. Does 16 divide c(z)?
True
Suppose -26 = o - 3*o. Let y = 16 - o. Is 69 + (8 - -1)/y a multiple of 12?
True
Let z be 78/(-54)*5 + 4/18. Let g(d) = 2*d**2 + 14*d + 21. Does 7 divide g(z)?
True
Let q(z) = -7*z**2 + 10 - 7*z**2 + 2*z + 7*z + 15*z**2. Is 20 a factor of q(-10)?
True
Suppose 3*o + 7 - 16 = 5*z, 4*o = 3*z + 12. Suppose 166 = -o*k - 2. Let w = k + 150. Is w a multiple of 32?
False
Suppose 3*c + 6 = 5*d + 1, 3*c - 3*d = -3. Suppose 3*g - 5*x - 139 = c, 6*g - g - 236 = 4*x. Is 12 a factor of g?
True
Suppose -4*s + 348 = 40. Suppose -52*q - s = -53*q. Does 14 divide q?
False
Let b = -187 - -274. Is 79 a factor of b?
False
Let u(h) = 4*h - 10. Let m be u(6). Is 836/m - 24/(-84) a multiple of 12?
True
Suppose -4*j - 476 = -2*c, j + 2*c = 2*j + 116. Let m = 12 - j. Does 11 divide m?
True
Suppose -2*q = -g + 6*g + 22, -4*q - 5*g = 44. Let j be (q - 1)*(-316)/16. Suppose -j = -3*a - 39. Does 14 divide a?
False
Let z be 8*(-1 - 9/(-6)). Suppose -z*r - 12 = -0*r. Is 17 a factor of (-76)/r - (-6)/9?
False
Let r = 879 + -519. Is r a multiple of 10?
True
Let s(m) = 2*m - 3. Let b be s(3). Let h(f) = -f**3 + 4*f**2 - f - 3. Let k be h(b). Suppose 0 = w - 5*l - 4, -w - k*w 