 8. Let u be h(6). Is 11 a factor of (-13)/(65/u)*11/(-2)?
True
Let h = 28 - 20. Suppose 12*c = h*c - 248. Does 6 divide (-2)/(c/150 - (-4)/12)?
False
Let q be (-2 - -3)*5/1. Suppose 61 - 1151 = -p - q*j, 0 = 2*j - 6. Is 29 a factor of p?
False
Let p(y) = 3*y + 75. Let g be p(-28). Is 17 a factor of (g + 4053/(-3))/(-2)?
True
Let v be ((-2)/(-3))/(140/317310). Let h = -549 + v. Is 74 a factor of h?
True
Let o be 112/(-1 + 2)*(4 - 3). Let w = o - 107. Suppose -3*k - w*m = -131, -2*m = 2 - 4. Is k a multiple of 14?
True
Suppose -47766 = -4*r - 4*t - 9030, -3*r = 2*t - 29052. Is r a multiple of 61?
False
Let u(y) = y**3 - 18*y**2 - 22*y - 27. Let s be u(17). Let j = s - -1337. Does 10 divide j?
False
Is 232 a factor of (2/24*-8)/(1/(-28188))?
True
Let r = -1122 + 1624. Suppose 5*t + 3*y - r = -0*t, -t + 106 = 2*y. Is 5 a factor of t?
False
Let i(c) = 565*c**3 - 4*c**2 - 19*c - 24. Let h(k) = -282*k**3 + 2*k**2 + 9*k + 11. Let q(a) = 9*h(a) + 4*i(a). Does 12 divide q(-1)?
False
Let b = -3798 - -4686. Does 14 divide b?
False
Suppose 1220 = 3*z - 3856. Suppose 7*a - 13*a = -z. Does 47 divide a?
True
Let t = -12975 - -23370. Is 11 a factor of t?
True
Suppose 5*l - 240 = -3*z, l - 6*z + 3*z = 66. Let w = l + -44. Let q(p) = -p**3 + 8*p**2 + 7*p - 5. Does 31 divide q(w)?
True
Let y be (-88)/(-16)*2*6. Suppose -y*t = -52107 + 10263. Is t a multiple of 19?
False
Let d be 0 + 9/9*0. Suppose -2*a = -3*r - 0*a + 3887, d = 5*r - 4*a - 6481. Is r a multiple of 42?
False
Let r = -274 - -121. Let q = 63 - r. Is 12 a factor of q?
True
Let u(o) = -o**3 - 7*o**2 + 7*o. Let a be u(-8). Suppose -3*n - a = -20. Is 4 a factor of (-306)/(-15) - n/10?
True
Let t = -154 + 156. Does 16 divide (-4 + -12)*1*(-9 + t)?
True
Let r be ((-4)/32*-4)/(2/1996). Suppose 0 = -2*d + 113 + r. Is d a multiple of 23?
False
Let x = -6 - -17. Suppose -x*s = -10*s - 7. Suppose s*h = -124 + 348. Is 26 a factor of h?
False
Let a be (250/15)/(3/(-9)). Let z = 52 + a. Suppose 0 = -5*h + 2*h - z*k + 134, -4*h - 3*k = -177. Is h a multiple of 12?
True
Suppose 563 = 6*w - 193. Suppose -6*a = -w + 18. Does 6 divide a?
True
Suppose 2*r - 2*t - 4 = 0, 6 = -r - 0*t + 5*t. Suppose s + 36 - r = 0. Let c = s - -192. Does 16 divide c?
True
Let n(g) = -50*g**3 + 2*g**2 - 3*g - 4. Let v be n(-1). Suppose -v - 39 = -3*p. Is (-16)/(-120) - 3673*(-2)/p a multiple of 14?
False
Is 104 a factor of ((-125)/15)/(60/(-88020))?
False
Let b(c) be the third derivative of -c**5/30 + 7*c**4/6 + 10*c**3/3 + c**2 - 43*c. Is b(14) a multiple of 18?
False
Suppose -861*m = -874*m + 38104 + 8826. Is 9 a factor of m?
False
Suppose -3195 = -5*m + 5*l, -4*l + 162 = -5*m + 3357. Is 7 a factor of m?
False
Let m be 69/(-24) - 2/16 - -3. Let o(t) = 2*t + 153. Is 51 a factor of o(m)?
True
Let p = -115 + 121. Suppose -a - 344 = -4*b, -3*a + p = 18. Let l = 91 - b. Is l a multiple of 6?
True
Suppose 0 = -61*l + 94404 + 3196. Is l a multiple of 42?
False
Suppose 5*r - 6769 + 1504 = -5*l, l = -2*r + 2107. Suppose -r = -27*d + 2267. Is d a multiple of 5?
False
Let i = 10453 + -7065. Is 28 a factor of i?
True
Is 34 a factor of (-106)/(-1590) - (-30389)/15?
False
Suppose -36*c + 42*c = -450. Is 11 a factor of (c - -3)*(-3)/6?
False
Suppose 5*d + 14 = -0*s + s, 0 = 5*s + d - 70. Let x(f) be the third derivative of f**4/12 - 4*f**3/3 - f**2. Is 4 a factor of x(s)?
True
Let q(a) = -a**3 - 4*a**2 + 15*a - 10. Let y = -76 - -91. Let z = 6 - y. Does 26 divide q(z)?
True
Suppose 22*r - 28032 = -4*i + 24*r, 0 = 2*i + r - 14016. Is 32 a factor of i?
True
Suppose 2*m = 3*p + m + 15, 2*m - 26 = 5*p. Let q(t) = -34*t + 18. Is q(p) a multiple of 7?
True
Let v be ((-273)/9 - 1)/((-2)/3). Suppose -z + v = -w, 5*w - 183 = -5*z + 62. Does 4 divide z?
True
Let y(t) = -7*t**2 - 132*t + 29. Let a be y(-22). Let x = -234 - a. Is x a multiple of 8?
False
Let y = 4115 - -20. Is y a multiple of 71?
False
Let f = -32085 + 55300. Is f a multiple of 10?
False
Suppose 4412 = -611*h + 616*h + 2*w, 5*w = h - 904. Does 26 divide h?
True
Let s(z) = 2*z**2 - 8*z + 10. Let t be s(4). Let y(n) = 2*n - 9. Let a be y(t). Suppose -a*b + 6*b = -285. Is b a multiple of 29?
False
Suppose -5*n = m - 70710, 0 = 2*n + 3*m + 3*m - 28256. Is 71 a factor of n?
False
Let a = 91365 + -45525. Is 285 a factor of a?
False
Let g = -9187 + 11255. Does 22 divide g?
True
Suppose 2*c = 4*w - 22406, 70*w - c + 22397 = 74*w. Does 80 divide w?
True
Let w(p) = 2*p**2 - 114*p - 815. Is w(66) a multiple of 4?
False
Let z(m) = -4*m**3 + 5 - 3 + 508*m**3 - 7*m + 5 + m**2 - 1. Is 10 a factor of z(1)?
False
Let g = -62 - -66. Suppose 5*c = -o + 32, -g*o = -9*o + 2*c + 106. Suppose 0 = 3*u - 76 + o. Does 6 divide u?
True
Suppose 3*d + c - 17 = -4*c, 0 = -4*c + 4. Suppose 3*v - v + 996 = d*g, -5*g - 4*v + 1219 = 0. Does 19 divide g?
True
Suppose -3*k + 0*g + 2810 = -5*g, -3*g = -k + 942. Is 79 a factor of k?
False
Suppose 2160260 = 216*v + 146276. Does 15 divide v?
False
Suppose 2*w - 32400 = -22*w. Suppose 3*j = -r + 450, 0*r + 2*j = 3*r - w. Does 30 divide r?
True
Suppose 5*g + 83*f - 4131 = 84*f, -5*f - 3288 = -4*g. Is g even?
False
Let y = 158 - -1949. Suppose -y = -5*g + 4*v + 738, 0 = 2*g - 4*v - 1138. Is 15 a factor of (140/(-45))/14 - g/(-9)?
False
Suppose -232 = -14*m + 8868. Suppose -5*a = o - 383 - m, 3*a + o = 621. Is 6 a factor of a?
False
Suppose 0 = -s - 3*p - 6 + 3583, -5*s + 17945 = 3*p. Does 44 divide s?
False
Let g(z) = 17*z + 48. Let n(u) = -9*u - 24. Let t(j) = -2*g(j) - 5*n(j). Let q be t(11). Suppose 0 = -2*a - 3*a + q. Is 5 a factor of a?
False
Let a(d) = 270*d - 11. Let k be 4/3 - (-5 + 52/12). Is a(k) a multiple of 23?
True
Let k be 4796/6 + (224/21)/16. Suppose k = 4*r + 168. Does 7 divide r?
False
Suppose 0 = 4*k + 40 - 12. Let g be (27/(-2))/(k/(-14)). Let x = 64 + g. Is x a multiple of 7?
False
Let x be (2/(-6) + 72/(-27))*-4. Suppose -h + 3*h - 72 = 0. Does 14 divide (-3)/x*-4 + h?
False
Suppose 4*u = -2*b + 44, -50 = -3*b - 2*u - 0. Suppose b*w + 2652 = 20*w. Is w a multiple of 13?
True
Let n = 46357 + -25339. Is n a multiple of 93?
True
Suppose 3*i + 19248 = 3*m + 132996, 0 = 2*i + 4*m - 75814. Suppose 38*g - 16085 = i. Is 20 a factor of g?
False
Let a(j) = j**3 + 2*j + 31. Suppose 7*y = 11*y - 72. Let l be 1/3 - (1 - -5)/y. Is 15 a factor of a(l)?
False
Let n be 4/3 - 40/(-24). Suppose 5*i - n*t - 965 = 848, 710 = 2*i - 5*t. Does 34 divide i?
False
Suppose -167 = -14*m - 41. Is 10 a factor of m/(-36) + 3285/20?
False
Let r = 361 - 375. Let a(q) = q**2 + 3*q - 30. Is a(r) a multiple of 31?
True
Is ((-2)/(-6))/(14/21)*33886 a multiple of 26?
False
Let p(k) = -3*k**2 - 25*k + 55. Let o(c) = -2*c**2 - 25*c + 55. Let v(a) = 4*o(a) - 3*p(a). Let z be v(18). Let u = -1 - z. Is 10 a factor of u?
True
Suppose 4 = -32*r + 30*r, 5672 = 3*z - r. Is z a multiple of 6?
True
Does 138 divide (-6)/((-18)/49875) - -6?
False
Suppose 3*q = -29 - 1819. Let u = -277 - q. Does 12 divide u?
False
Suppose -51*a + 48*a = -t + 20823, -3*t - a + 62539 = 0. Is t a multiple of 12?
True
Let k be 0 + (1 - -7)/(-1). Let t(a) = -2*a - 14. Let f be t(k). Is 23 a factor of 5/(-3)*(-56 + f)?
False
Suppose 0 = -2*u - 5*p + 331 + 230, 2*u - 5*p = 511. Let k(d) = -6*d - 138. Let v be k(-23). Suppose -4*b + 4*a + v*a + u = 0, b = 3*a + 65. Does 17 divide b?
True
Let k(y) = 818*y**2 + 8*y - 1. Let c be k(-1). Is 5 a factor of c/6 + (-4)/(-24)?
True
Let v = -216 + 161. Let a = v + 142. Is 29 a factor of a?
True
Does 11 divide -6 + 2 + (-42)/(-63) + 472/3?
True
Suppose 0 = -x + 4, 5*r - 10 = -3*x + 12. Suppose -r*v - 1122 = -7*v - 4*m, -12 = -4*m. Suppose 6*a = 9*a - v. Is 37 a factor of a?
True
Let f = -32640 + 96510. Is 136 a factor of f?
False
Suppose -3*o + 26 = 2*l, l + 0*o + 3*o - 19 = 0. Suppose -5*x - 3*a + 869 = 0, 0 = l*x - 6*x + 5*a - 165. Does 7 divide x?
True
Suppose a - 6 = 2*a - k, 24 = -5*a + 3*k. Is 2056/12 - 2/a a multiple of 10?
False
Suppose 0 = -4*z + 1 + 15. Suppose 0 = -2*v + z + 6. Suppose v*i + 3*x - 66 = 184, 2*i - x = 100. Is 25 a factor of i?
True
Let j be ((-31178)/(-21))/17*(-6)/4. Let t = j + 326. Is 39 a factor of t?
True
Let y = 367 - 307. Suppose -4*p + 4*o = -y, 0 = 5*p - 3*o - 36 - 45. Is p a multiple of 9?
True
Let p(n) = 12*n**2 + n + 192. Does 5 divide p(-13)?
False
Suppose 2