16*f + 20703 = v + 14*f, -41410 = -2*v + 3*f. Does 139 divide v?
True
Let v(l) = -1263*l - 879. Is 25 a factor of v(-4)?
False
Is 24 a factor of (16 - -5)/(2/3880*(-12 + 15))?
False
Suppose -7*q - 3*q = 50. Is (18/(-4))/(27/6 + q) a multiple of 9?
True
Let f be ((-6)/(-8))/((-9)/(-24)). Let g be (-18924)/(-180) - f/15. Let m = 98 + g. Does 34 divide m?
False
Let q(b) = 7*b**2 + 3*b**2 - 3 - 227*b + 188*b. Is 4 a factor of q(5)?
True
Let m = 208 - 211. Does 7 divide (30/(-4))/((3/m)/6)?
False
Suppose 80*b - 3*h - 15727 = 76*b, 0 = -4*b + h + 15733. Does 41 divide b?
False
Let y(b) = 9*b - b**2 + 37 + 5*b + 2*b. Let g be y(18). Is 18 a factor of 2 + -2 - (-137 + g)?
False
Let i(q) = 6*q - 111. Let c be i(0). Let o be 1 + c/(-9) - (-8)/12. Is (-4)/o - (-1124)/14 a multiple of 8?
True
Suppose 0 = 33*i + 11185 - 107380. Is 29 a factor of i?
False
Let d = -3024 + 5150. Does 9 divide d?
False
Let z be (-7)/(14/40)*(-54)/(-108). Let b(l) be the third derivative of l**5/30 - l**4/4 + 17*l**3/6 - 2*l**2. Is 39 a factor of b(z)?
False
Suppose -2*q + 2*o + 1094 = 0, 685*o - 686*o = -5*q + 2755. Does 69 divide q?
True
Suppose 0 = -6*c - 54*c - 344 + 241184. Is 7 a factor of c?
False
Suppose -s - 970 = -1284. Is s a multiple of 63?
False
Let u(j) = 2*j**3 - 2*j**2 - 94*j + 509. Is 9 a factor of u(0)?
False
Is 90 a factor of 20/(-210) - (-391236)/63?
True
Suppose -5*r - 5*f + 12730 = 0, 0 = -r + 3*f - 222 + 2756. Is 2 a factor of r?
False
Suppose -4 = -3*g + 7*g, 4*b - 3*g = 11. Suppose -b*c - 3*c = -7*c. Suppose -j + 140 = z - 5*z, 2*z + 10 = c. Is j a multiple of 12?
True
Let k = -10869 - -16245. Is 20 a factor of k?
False
Let h = 151 + -148. Suppose h*q + 4*l - 171 = 0, 0*q + l + 171 = 3*q. Is 19 a factor of q?
True
Let y = 43306 + -24874. Does 32 divide y?
True
Let k(h) = 21*h**2. Let u = 2 + -44. Let p = 40 + u. Is k(p) a multiple of 12?
True
Let d(u) be the second derivative of 0 - u**3 - 2*u + 1/3*u**4 + 7/2*u**2. Does 23 divide d(6)?
True
Suppose 0 = a + 4*q - 6*q + 52, 2*a + q + 129 = 0. Let g = a - -140. Is g a multiple of 15?
False
Let k(p) be the third derivative of -p**5/60 + p**4/24 + 2*p**3 + 2*p**2. Let z be k(4). Suppose -159 = -3*n - 3*d, 0 = n - z*n + 4*d - 68. Is 6 a factor of n?
True
Let y(n) = n**3 + 83*n**2 + 233*n + 489. Does 182 divide y(-78)?
False
Let x(m) = -20*m**2 - m**3 - 1 + 15*m**2 - 2*m + m - 23*m**2. Let o be -5 + 8 + -6 + -25. Is x(o) a multiple of 7?
False
Suppose -13*b + 11*b = -1540. Suppose 0 = -3*s + b - 41. Is s a multiple of 9?
True
Let i = 0 + 0. Let p(u) = 7*u - 5. Let b be p(-1). Does 6 divide (i + b/8)*-4?
True
Suppose -4*t - t = n - 183, 5*t - 4*n - 168 = 0. Suppose -2*i - 6 = 2*d, 5*d + 42 = 2*i + 2*i. Is 17 a factor of ((-51)/6)/(d/t)?
True
Let r(s) be the first derivative of -2*s**3/3 - 25*s**2/2 - 4*s - 26. Let c be r(-6). Suppose -c*w = -68*w - 510. Does 17 divide w?
True
Suppose 4*i + 35856 = 3*m + m, 3*m - 5*i - 26880 = 0. Is m a multiple of 30?
True
Let o = 267 - -104. Let n = o + 15. Is 90 a factor of n?
False
Suppose 12 = 8*g - 340. Let y = 46 - g. Suppose 76 = y*i - 60. Does 5 divide i?
False
Let w = -1 - -1. Suppose -4*q + 1132 = 3*f - 1108, 0 = 3*f - 14*q - 2204. Suppose 4*t - f = 5*y, -t + 3*y = -w*y - 179. Does 16 divide t?
False
Let u = 4 + 33. Suppose -3*k + 5*p + u = 7, 2*k - 2*p = 16. Suppose 2*i = -3*h + 27, 6*i = i - k*h + 65. Is i a multiple of 6?
True
Let r(t) = 2*t**2 - 4*t - 20. Let y be r(6). Let q = 43 - y. Is 6/q - 390/(-25) a multiple of 4?
True
Suppose 36*i - 31*i - 20740 = 0. Suppose 4*u - i = 3*y, 11*y = 3*u + 12*y - 3098. Is 14 a factor of u?
False
Let r(s) = 938*s - 4330. Is r(35) a multiple of 19?
True
Let h = -16129 - -17851. Is h a multiple of 21?
True
Let v(q) = 51*q**2 - 46*q + 287. Is v(7) a multiple of 44?
True
Let h = 32942 - 8317. Does 117 divide h?
False
Let c be (-4472)/12 - 1/3. Let p be -18*((-14)/(-24))/((-1)/(-52)). Let b = c - p. Does 19 divide b?
False
Let a(q) = q**2 - 11*q - 141. Let c be a(0). Let p = c + 375. Does 18 divide p?
True
Suppose -f + 9244 = 3*b, 0 = 6*f + 44 - 14. Is 13 a factor of b?
False
Let m = 97 + -171. Let l be (-108)/(-28) - 4 - (-4588)/(-28). Let z = m - l. Does 18 divide z?
True
Suppose -4*a + 4*j + 2 = -6*a, -12 = 4*j. Does 12 divide 2 + (-10)/(10/a) + 395?
False
Let u(v) = -12 - 11 - 4 - v**3 + 40*v - 31 + 18*v**2. Is u(19) a multiple of 31?
True
Suppose 4 = -2*o, 0 = z - o - 0*o - 7. Suppose -5*r = -5*w - 60, 7*w = z*w + 6. Is r even?
False
Let f be 5/(50/(-6)) - 152/(-95). Let i(v) = 1064*v**3 - 5*v + 4. Is i(f) a multiple of 46?
False
Suppose 3*v + 2*w - 21 = -2*v, 2*w = 4*v - 24. Suppose -p = -v*p + 2*h + 6, 5*p + 4*h = 14. Does 2 divide p?
True
Let a(k) = 5*k - 12. Suppose -20 = 4*x, -6*w + w = 3*x - 35. Let m be a(w). Is 2 a factor of m*4/(-24)*-3?
False
Let j(n) = 4695*n**2 - 12*n + 17. Is 27 a factor of j(1)?
False
Let u = 30627 + -20579. Is u a multiple of 47?
False
Let m(t) = -t**2 - 14*t - 51. Let l be m(-5). Is (-292)/l*(-8 + (-171)/(-18)) a multiple of 8?
False
Let n = -103 + 112. Does 22 divide n/(162/1984) - (-14)/(-63)?
True
Let g(c) = -9*c**2 + 3*c + 16. Let z(a) = 13*a**2 - 4*a - 23. Let l(k) = 7*g(k) + 5*z(k). Does 6 divide l(5)?
False
Is (122811/(-188))/((-3)/8) a multiple of 13?
True
Let n(d) = 2*d**2 - 5*d + 5. Let f be n(3). Suppose -4*j - 4*a = -32, 4 + f = 4*a. Suppose -2*z + 200 = -j*x, 2*x + 2*x = -5*z + 434. Is z a multiple of 9?
True
Suppose -5*f - 40 = -4*p, -14 + 9 = -p. Is f*(212/(-32))/((-1)/(-4)) a multiple of 4?
False
Let b(t) = -2785*t + 15396. Does 89 divide b(0)?
False
Does 63 divide 235/376 + (-327)/24*-319?
True
Let h = 272 + -273. Let v(p) = -62*p**3 - 2*p - 2. Is 4 a factor of v(h)?
False
Suppose -4*b - 112*b + 211299 = -37637. Is b a multiple of 29?
True
Let p(i) = 18*i - 92. Let l be p(5). Does 14 divide (-3 - 3090/(-50))/(l/(-20))?
True
Let i = -98 + 100. Let v be ((-245)/(-15))/7 + i/(-6). Suppose -v*r = -0*r - 68. Is r a multiple of 8?
False
Let g(j) = 37*j**3 - 2*j**2 + 4*j - 7. Let q(n) = -147*n**3 + 8*n**2 - 16*n + 29. Let s(k) = 9*g(k) + 2*q(k). Does 10 divide s(2)?
False
Suppose -k + 3*v = 1794 - 6902, 3*k + 4*v - 15324 = 0. Is k a multiple of 14?
False
Let i(f) = -9*f + 63. Let n be i(6). Is 2 a factor of 2/18 - (2 + (-206)/n)?
False
Suppose -5*z + 304 = 279. Suppose -4*u + 1642 = 2*q, -4*q = -3*q + z*u - 830. Is q a multiple of 74?
False
Let c be 904/40 - (-2)/5. Suppose 1 + c = 2*j. Is 24 a factor of (-764)/(-16) - (-3)/j?
True
Let z(c) = -3099*c - 590. Does 241 divide z(-11)?
True
Let i(k) = k**3 + 7*k**2 + 16*k**2 + 15*k - 4*k + 41 + 36*k + 0*k**3. Does 15 divide i(-14)?
False
Let a = 17924 - 10012. Is 172 a factor of a?
True
Suppose 3*c = 3*s - 17763, 5*s - 2*c - 17439 - 12166 = 0. Is 191 a factor of s?
True
Suppose 5*l - 94 = -3*u, -16*l = -13*l - 2*u - 45. Suppose 0 = l*j - 22*j + 1900. Is 57 a factor of j?
False
Is 23 a factor of ((-68)/476 - 59/28)*(-33688)/6?
False
Suppose -u + 4751 = -3*l, -u - 431*l + 433*l = -4746. Is 37 a factor of u?
True
Let y(o) = 12*o - 294. Let m be y(25). Let x = m - -32. Is 19 a factor of x?
True
Suppose a + 86 - 88 = 0. Suppose 2*u = u - a. Does 26 divide (234/(-12))/(u - (-15)/8)?
True
Let m = -26567 + 49564. Is m a multiple of 13?
True
Let k(p) = 692*p**2 + 510*p - 2024. Is 84 a factor of k(4)?
True
Let m(c) = c**3 + 4*c**2 - 7*c - 12. Let l(z) = -3*z + 81. Let u be l(25). Does 51 divide m(u)?
True
Let v = -777 - -778. Let t(f) = 381*f - 80. Is t(v) a multiple of 7?
True
Let s be ((-130)/(-15))/(6/9). Suppose 17*r = s*r + 1440. Is 20 a factor of r?
True
Let n(u) = -u**3 + 3*u**2 + 39*u + 238. Is n(-8) a multiple of 6?
True
Let b = 79 + -64. Suppose 4*d - d - b = 0. Suppose -3*n = -3*c - n + 292, -5*n = d*c - 520. Is c a multiple of 10?
True
Let h be (-12)/(-90) + (-6)/45. Suppose j - 5 = h, 5*j + 11 = 2*f + 2*j. Let m(x) = x**2 - 7*x + 29. Is 11 a factor of m(f)?
False
Suppose -7*w + 148*w = -100*w + 343666. Does 7 divide w?
False
Suppose 4*w + 2 - 22 = 0, -37 = -4*h - w. Suppose h*x - 10482 + 2034 = 0. Is x a multiple of 15?
False
Let l(t) = t**3 - 6*t**2 - 34*t - 159. Is l(19) a multiple of 68?
False
Suppose 15 = 5*q - 5*z, 3 = 6*q - 5*q + 4*z. Is (89747/49 - -8) + q/7 a multiple of 115?
True
Let j(h) = 2*h - 4. Let z(f) = 2. Let n(a) 