f k?
False
Suppose -2*n = 4*k - 996, -2*n + 11*k + 999 = 14*k. Does 7 divide n?
True
Let t = -350 + 166. Let o = t + 316. Is o a multiple of 33?
True
Suppose -9 = p - 5*r, p + 3*p + 17 = r. Is (-159)/p - 14/(-56) a multiple of 5?
True
Let i = -7455 - -8511. Does 44 divide i?
True
Suppose 36900 = -710*w + 720*w - 2050. Is w a multiple of 6?
False
Suppose z = -2*o - 14 - 3, 33 = -4*o - z. Let f(w) = w**3 + 7*w**2 - 5*w - 18. Let p be f(o). Is 13 a factor of (-700)/(-6) - (p/18)/7?
True
Let f(h) = -14*h**3 - 15*h**2 + 27*h + 30. Does 21 divide f(-9)?
True
Does 7 divide 358 - -3 - (-3 + -4 + 4)?
True
Suppose 0*u + 20 = 5*u. Let p(k) = 2*k - 5. Let t be p(u). Suppose -178 = -3*x - 4*w, t*w + 5 = -x + 66. Does 16 divide x?
False
Let l(h) = 8*h - 131. Let c be l(27). Is 63 a factor of (567/(-12))/(3 + c/(-28))?
True
Let s(l) = -4*l - 40. Let k(i) = -17*i - 160. Let h(w) = -2*k(w) + 9*s(w). Let o be h(-22). Suppose -o*v + 275 = -305. Is 48 a factor of v?
False
Let x = 1905 + -1390. Does 4 divide x?
False
Let g(c) = 7*c**2 - 441*c - 518. Does 122 divide g(102)?
True
Suppose -63*o - 9121248 = -107*o - 199*o. Is 184 a factor of o?
True
Let s(q) = 25*q**3 - 14*q**2 - 34*q + 64. Is s(7) a multiple of 10?
False
Let r be (-7038)/(-135) + 4/(-30). Is 3 a factor of ((-48)/r)/(38/(-247))?
True
Is 3*1/(4/6356) a multiple of 20?
False
Let p(t) be the third derivative of t**4/4 + 2*t**3/3 + 3*t**2 + 2. Let k = 41 + -29. Does 29 divide p(k)?
False
Suppose 0 = 19*z - 3328 + 42335. Let p = 2995 + z. Is 13 a factor of p?
False
Let z(v) = -v**3 - 108*v**2 - 51*v - 2144. Is 23 a factor of z(-111)?
True
Let h(z) be the first derivative of -z**4/12 - 11*z**3/3 + 3*z**2/2 + 4*z + 44. Let i(d) be the first derivative of h(d). Does 20 divide i(-9)?
True
Suppose -105 - 142 = 19*i. Let q(d) = 5*d**2 + 17*d + 57. Is 10 a factor of q(i)?
False
Suppose -18 = 2*f, 2*f = 485*m - 489*m + 41774. Is 4 a factor of m?
True
Let n = 26527 - 15307. Does 17 divide n?
True
Let g be (3/(-2))/((-23)/46). Suppose 0 = 4*z + 13 - 237. Suppose -4*x + 3*j = -x - 36, -j + z = g*x. Does 14 divide x?
False
Let q(w) = 31*w**2 - 21*w. Suppose -10*k + 21 = -39. Is 45 a factor of q(k)?
True
Let l = -62 - -64. Let b(i) = 17*i + i**3 - 3*i**2 - 20 - 5*i**l + 0*i. Is b(6) a multiple of 2?
True
Suppose 20490 + 8709 = 23*n - 33384. Does 79 divide n?
False
Let y = 66864 - 44925. Is y a multiple of 41?
False
Let c(t) = 0*t**3 + 8 - 14*t**3 + 4*t + 33*t**2 - 32*t**2. Does 3 divide c(-2)?
False
Is (-4)/(-22) - (-96 - -20)*(-4724)/(-88) a multiple of 34?
True
Is 18 a factor of (-214008)/(-56) + (36/(-21))/(-4)?
False
Let h(t) = -11*t - 195. Let n be h(-18). Let j be ((-273)/(-9))/((-1)/(-6)). Suppose j = n*z - 130. Does 12 divide z?
False
Let t = 39 + -35. Let y = t + 8. Let c = 41 - y. Is 5 a factor of c?
False
Suppose -4*r - 12 = -5*r. Suppose 17*w - r*w + 60 = 0. Let i = w - -139. Does 33 divide i?
False
Suppose 4*z + 2*x = 2*z + 10, 0 = -3*z - x + 9. Let m(a) = 22*a + 38. Is 12 a factor of m(z)?
False
Suppose 8*w - j - 6857 = 3*w, 0 = 5*w + 4*j - 6872. Is w a multiple of 64?
False
Let a be -3 + 2 - (-15)/(3/1). Let r be 8*a/8 + -2 + 1. Suppose o + 4*z = 101, -r*o + 4*o - 5*z - 128 = 0. Does 26 divide o?
False
Suppose j = 3*g + 9897, 65*g - 7 = 58*g. Does 45 divide j?
True
Suppose 4*w = 5*l + 62, -5*l - 8*w + 4*w - 38 = 0. Let c be (-10 - l)/(1*-1). Suppose -114 = -5*d - 5*n + 111, -5*d + 5*n + 175 = c. Is d a multiple of 32?
False
Let g = -542 + 544. Suppose -2*y - 234 = -g*k, -4*y - 124 - 2 = -k. Is 19 a factor of k?
True
Let g be ((-174)/14 + 3)*-7. Let b = g - 61. Suppose 5*h + 80 = b*f, 5*h - 1 = 4*f - 65. Is 8 a factor of f?
True
Let d(k) = -66*k - 134. Is d(-19) a multiple of 4?
True
Suppose 0 = -5*k - 3*a + 395, 50 + 108 = 2*k - 5*a. Let y = k + -80. Let b(v) = -67*v**3 - 1. Does 6 divide b(y)?
True
Let a = 201 + -171. Suppose -102 = -f + a. Does 6 divide f?
True
Does 80 divide (1652/(-8))/((-3)/354)?
False
Let x(j) = -j**3 - 5*j**2 + j + 28. Let a be x(-6). Is 13 a factor of ((-312)/(-5))/(a/290)?
True
Let l = -68213 - -127269. Is 221 a factor of l?
False
Let v = -30 + 24. Is (-74)/26 + v/39 + 147 a multiple of 6?
True
Suppose 3*d - 33*z = -29*z + 4440, 0 = d - z - 1482. Is d a multiple of 62?
True
Is 19 a factor of 6 + (-22 - -3) - -2445?
True
Suppose 0 = 5*m + m + 264. Let x = 49 + m. Suppose a - 4*f - 23 + x = 0, 5*f + 33 = 3*a. Is 3 a factor of a?
True
Suppose 0 = 5*a - 2*t - 9635, 4*a - 9*t - 7708 = -13*t. Is 41 a factor of a?
True
Let r(l) = 144*l**3 + 5*l**2 - 10*l + 6. Let o be r(2). Suppose 22*g + 3*f = 17*g + o, -g + 250 = -4*f. Is g a multiple of 2?
True
Let l be (22/5 + 6)/((-2)/(-220)). Suppose -10*s + l = -2*s. Let p = s - 68. Does 25 divide p?
True
Suppose 15*d + 17*d = d + 182590. Does 38 divide d?
True
Let v = -6161 + 8552. Is 15 a factor of v?
False
Let b(g) = 39*g**2 + 10*g - 125. Let v be b(15). Suppose 2*d = 10*d - v. Does 30 divide d?
False
Let s be 484/6*(-9)/(-6). Suppose 5*h - 274 = 4*r, -r - r + 4*h = 140. Let o = r + s. Does 8 divide o?
False
Suppose 0 = 3*r + 177 - 504. Let i = r + -85. Is 40 a factor of ((-80)/24)/((-2)/i)?
True
Let d = 667 + -320. Suppose 2298 = -d*n + 349*n. Does 16 divide n?
False
Let a(i) = 65*i**2 + 10*i + 29. Does 17 divide a(3)?
False
Let v = 989 + 1171. Does 16 divide v?
True
Let g(o) = 2*o**3 + 14*o**2 - 3*o - 17. Let j be g(-7). Suppose -j*n = -2*p + 10, 2*n + 4*p + 3 = 3*p. Is 31 a factor of (n/(-4))/(1/216)?
False
Let h(k) = 9 + 5*k - 2 + 7 + 22. Is 7 a factor of h(-3)?
True
Let b be 5/(15/(-4))*(-27)/6. Suppose o - b*o = -25. Suppose -2*s = -0*s - 5*h - 288, o*s = -h + 666. Does 18 divide s?
False
Let w be (-8 - -12) + 975 + -1. Suppose c + 3*z - w = 0, 3*c + 5*z + 1945 = 5*c. Is 65 a factor of c?
True
Suppose 38 = 2*u - 8. Let v(r) = 10*r - 136. Is v(u) a multiple of 6?
False
Suppose -9*n - 260 = 91. Let j = n + 42. Suppose -j*b + b = -40. Is 8 a factor of b?
False
Suppose -d = 4*h - 1205, 2*d = 4*h - 0*d - 1214. Let m be (-26)/(-117) - 8240/(-18). Let s = m - h. Does 25 divide s?
False
Suppose -2*c - 48072 = -4*i - 12502, -2*i + 4*c + 17800 = 0. Does 34 divide i?
False
Suppose -15 = -b - 5*i, 4*b + 0*i - 4*i = 12. Suppose z = 3*t + t - 178, -186 = -4*t + b*z. Let a = 59 - t. Is 5 a factor of a?
True
Let o(w) = 52*w + 12. Let z(f) = -51*f - 11. Let b(x) = 4*o(x) + 5*z(x). Let j be b(-15). Suppose -3*v = -j + 35. Is 17 a factor of v?
True
Let z(a) = -a**3 - 30*a**2 - 57*a - 26. Let f be z(-28). Suppose -714 - 342 = -f*s. Is s a multiple of 33?
True
Suppose 5*y - 4673 + 1190 = 2*n, 0 = -2*n - 8. Does 5 divide y?
True
Let l(o) = 6627*o**2 - 23*o + 8. Is l(1) a multiple of 78?
False
Let a be ((-253)/92)/(3/(-12)). Suppose a = 4*d + 2*h - 45, 3*d = 5*h + 16. Does 7 divide d?
False
Let x be ((-525)/315)/(10/(-1548)). Does 21 divide -4*(43/x)/((-1)/1227)?
False
Suppose 3*w = 4*w - 12. Let a = 43 - w. Is 6 a factor of a?
False
Let h = 12130 + 52130. Is h a multiple of 204?
True
Let y(w) = -w**3 + 18*w**2 - 32*w. Suppose 2*z - 4*a = 30, 5*a - 47 = -3*z - 2. Does 39 divide y(z)?
True
Let m(n) be the third derivative of 17*n**4/24 - 7*n**3 - 1733*n**2. Let q = 6 - 1. Is 43 a factor of m(q)?
True
Let f be (-39)/91 + 1746/7 - 6. Let y = 21 + f. Is 8 a factor of y?
True
Suppose 126*j - 518148 = 52*j - 37*j. Is 48 a factor of j?
False
Suppose 18*k - 124 = 14*k - 4*q, q + 47 = 2*k. Suppose -k = -5*m + 69. Is 17 a factor of m?
False
Suppose 5*w - 2*n = 67261, -17183 = -3*w + 5*n + 23166. Does 21 divide w?
False
Let b(h) be the third derivative of -h**6/360 - 11*h**5/60 - 17*h**4/24 + 4*h**2. Let i(x) be the second derivative of b(x). Is 6 a factor of i(-14)?
True
Let o = -475 - 22. Let j = -174 - o. Is 19 a factor of j?
True
Suppose 0*w + 48*w + 15*w - 450765 = 0. Is w a multiple of 45?
True
Suppose -5*i = u - 85, -5*u = -11 - 14. Let z be (-2)/(6/4*i/(-36)). Suppose z*g - 6 = 18. Does 8 divide g?
True
Suppose -4*o = -2*s - 32, 0 = 2*s - o + 53 - 21. Let c = s + 75. Does 34 divide c?
False
Let c = 158 + -134. Let v(y) = -y - 60. Let h be v(c). Is 21 a factor of (-7)/(h/32)*(-801)/(-12)?
False
Let r = 54 - 42. Let s be (r/10)/((-87)/(-14500)). Let m = 322 - s. Is m a multiple of 8?
False
Let h(p) = 6*p**3 - p**2 + 3*p - 1. Let f be h(1). Let c(g) = -g**3 + 