r be -177*2/q - 4/6. Suppose -v + r = -148. Does 13 divide v?
False
Let m(u) = -3*u**3 + 8*u**2 + 146*u - 37. Does 3 divide m(-9)?
False
Is 17 a factor of (-1)/((-11)/285364) - ((-150)/(-55))/15?
True
Suppose -2*n + 53 = h - 0*h, 0 = 4*n - 16. Let j be (-2)/(-9) - (-1700)/h. Suppose -j + 186 = o. Is o a multiple of 37?
True
Suppose -3*s + 45468 + 29445 = 3*b, -b = -2*s - 24965. Is 203 a factor of b?
True
Suppose 4*v = -b + 41863, 4929*v - 3*b = 4924*v + 52299. Is v a multiple of 48?
True
Does 163 divide 16/40 + 264042/45?
True
Let f(y) be the third derivative of y**6/120 - 7*y**5/60 - y**4/4 - 25*y**3/6 - 19*y**2. Does 38 divide f(10)?
False
Let d be -2 + (294/(-18))/(2/(-6)). Is d*2*1 + (-14 - -15) a multiple of 14?
False
Let h be (-6)/7*(-910)/195. Does 6 divide h/(-2) + (8 - -246)?
True
Suppose 3*q = 13*q - 83920 - 114430. Does 183 divide q?
False
Suppose -13 = 5*t - 8. Let v be 2 - (4 + 2 + t). Is (-5)/(60/(-1158)) + v/2 a multiple of 19?
True
Let g(j) = -j**3 + 21*j**2 + 537*j + 72. Does 78 divide g(-18)?
True
Suppose -18*l + 15*l + 9 = 0. Is (47/l)/(-2 - 217/(-105)) a multiple of 23?
False
Let c = -5618 + 26172. Is 86 a factor of c?
True
Let v(i) = 82*i**2 + i - 1. Suppose -w + 5*w = -3*r - 356, -2*w + 4*r - 178 = 0. Let k = w + 90. Is v(k) a multiple of 14?
False
Is (128/(-32))/(1046079/130761 - 8) a multiple of 24?
False
Suppose -11*r + 13*r + 7735 = 3*p, 4*p - 3*r = 10315. Is 25 a factor of p?
True
Suppose -3*r + 4*s + 18 = 1, 0 = -2*r - 2*s + 2. Suppose 3*c - 23 = -3*k + 1, 3*k - 5*c - 64 = 0. Suppose 0 = 4*j + 5*l - k, 2*j - r*j = 2*l - 1. Is j even?
False
Is 96 a factor of (-1359)/(-9)*95/2*124/155?
False
Suppose 29 = -4*x - 5*o, -2*o + 0 = -x - 4. Let n(a) = 16*a**2 + 11*a - 5. Let f be n(x). Does 3 divide f/25 + (-2)/10?
False
Suppose 30*o + 15 = 33*o. Suppose -u = u - 2*l - 6684, o*u - 3*l - 16714 = 0. Suppose 8*w - u = -3*w. Does 35 divide w?
False
Let l(o) = 8*o**2 + o. Let s(t) = t**2 - t. Let c(d) = l(d) - 4*s(d). Let u(j) = 2*j**3 + 153*j**2 - 233*j + 76. Let n be u(-78). Is c(n) a multiple of 6?
True
Suppose 0 = -10*z - 0*z + 110. Suppose -b - 2*b = 4*w - z, 2*b = -w + 4. Is 14 a factor of ((-56)/(w - 0))/((-6)/12)?
True
Suppose 2*l + 723 = -913. Let y = -578 - l. Is y a multiple of 8?
True
Let y(l) = -3*l + 5. Let m be y(-8). Let n(v) = 43 + 25*v - 27 - m. Is 28 a factor of n(5)?
True
Let t = -14 - -19. Suppose -t*c + c = -20. Suppose -142 = -5*b + j, c*b + j = -j + 136. Is 16 a factor of b?
False
Suppose -3*k + f = -54282, 287*k + 2*f + 36180 = 289*k. Is 78 a factor of k?
True
Let c(d) = 688*d - 105. Is 36 a factor of c(5)?
False
Suppose 0*b + 5*q + 4 = b, 46 = -5*b + 3*q. Let g(t) = -136*t + 4. Is g(b) a multiple of 12?
True
Suppose -319*c + 1131444 = -146*c + 304*c. Does 12 divide c?
False
Let r = 7 + 2. Suppose r*p - 600 = p. Does 14 divide p?
False
Let y(t) = 5*t - 40. Let r be y(11). Is 4 a factor of (306/15)/(6/r)?
False
Let b be (-1)/(-1) + 4/(-2). Let f be b + 1 - (2 - 7). Suppose 3*d = -3*o - 2*o + 264, -5*o + 450 = f*d. Is d a multiple of 15?
False
Let q = -10394 - -15110. Is 36 a factor of q?
True
Let o(r) be the third derivative of -r**4/4 - 27*r**3 + 57*r**2. Is 10 a factor of o(-36)?
False
Suppose -5*t + 12*f = 9*f - 119, -5*t - f + 107 = 0. Suppose t*a - 897 = 9*a. Is a a multiple of 69?
True
Let v(g) be the first derivative of 8*g + g**2 - 2*g**3 - 3/4*g**4 - 8. Does 32 divide v(-4)?
True
Let z(n) = 84*n + 18*n - 129 + 136*n + 155*n + 143*n. Does 87 divide z(3)?
True
Let b = 153 - 220. Let y = -67 - b. Suppose -2*u - 82 = -y*m - m, -4*u - 12 = 0. Is 33 a factor of m?
False
Let g(n) = 3*n**2 - 17*n - 32. Suppose -17*b + 130 = -7*b. Let h be g(b). Suppose -5*m + 321 = 3*t - 6*t, -4*m + h = -t. Does 9 divide m?
True
Let q = 1551 + 24317. Does 82 divide q?
False
Suppose 4*y = 2956 - 660. Let f = y + -91. Suppose -8*b + 15*b = f. Is 8 a factor of b?
False
Let k = -1017 + 9729. Is k a multiple of 30?
False
Does 37 divide (17 + (-3510)/324)/(0 - 1/(-2946))?
True
Let u(g) be the third derivative of -103*g**6/120 - g**5/30 + g**4/8 - g**3/6 - 30*g**2. Let p be u(1). Let d = p - -120. Is d a multiple of 3?
False
Let v = -3111 + 1956. Let y be v/(-30)*24/14. Suppose -5*a + y = 2*r, a + 4*r + 3 = 9*r. Is 2 a factor of a?
True
Let v = -1922 + 2802. Let g = v + -614. Does 19 divide g?
True
Suppose 325 = -7*o + 45. Is 4 a factor of o/(-32) - (-1)/(-4)*-647?
False
Suppose 3*r = -3*i + 7707, 0 = i + i - 4*r - 5162. Suppose -6*a + 259 = -i. Does 59 divide a?
True
Let t(x) = -x**2 - 7*x**3 - 2*x + 15*x**3 - 3 + 0*x**3 - 7*x**3. Let r be t(3). Suppose 6*b = r*b - 252. Is b a multiple of 10?
False
Let h(m) = 3*m**2 - 9*m - 11. Let a(v) = 5*v**2 - 13*v - 17. Let z(j) = 5*a(j) - 8*h(j). Let n be z(-11). Let u = -31 + n. Is 5 a factor of u?
False
Suppose 78*i = 73*i + 80325. Suppose i = 28*n - 6895. Is n a multiple of 20?
True
Let c = 279 - 163. Suppose -111*t = -c*t + 1680. Is t a multiple of 24?
True
Let p be (1 - 5/3)/(6/(-99)). Let x = p + 16. Suppose 0 = 32*j - x*j - 300. Does 10 divide j?
True
Let r(w) = -3635*w**3 + w**2 - 4*w - 16. Is 6 a factor of r(-2)?
True
Suppose -2*l = -4*g + l - 39, g + l = -15. Is 30 a factor of g*(96/(-8) + -8)?
True
Let w(x) be the third derivative of x**6/120 - 7*x**5/30 + x**4 - 177*x**2. Is 6 a factor of w(14)?
True
Suppose 3*g + 0*g = 9. Suppose 37 = g*u - 113. Let r = u + -26. Is 10 a factor of r?
False
Let z = -26504 + 31224. Does 10 divide z?
True
Suppose 9*f - 24 = 6*f. Let b be f/3 - (-5)/15. Suppose -5*h = -5*r - 660, -b*r = 2*h + 109 - 373. Is 33 a factor of h?
True
Suppose -2*h - 4 = -q + 4, 3*q - 5*h = 23. Let x = q + -2. Suppose -265 = -5*y - w, -228 = -x*y - 0*w - 4*w. Is y a multiple of 17?
False
Let d = -92 - -97. Suppose -d*n + 5794 = 1274. Is n a multiple of 18?
False
Let u = -73 + 104. Suppose u*o - 13967 = -4667. Does 15 divide o?
True
Let u(x) = -1. Let i(j) = -j**3 - 3*j**2 + 53. Let c(k) = i(k) + 4*u(k). Does 22 divide c(0)?
False
Let i(b) = -7*b**3 + 27*b**2 + 207*b + 24. Is i(-9) a multiple of 23?
True
Suppose 20*t - 61688 = -2*t. Is t a multiple of 7?
False
Let d(k) be the third derivative of -k**4/3 - 15*k**3 + 47*k**2 - 2. Does 7 divide d(-31)?
False
Suppose -510*o + 512*o = 0. Suppose 46 = -o*a + a - z, -2*z = 0. Is 10 a factor of a?
False
Let a(u) = u + u**2 + 2*u**2 + 12 + 22*u - u**2. Let l = -190 + 175. Is a(l) a multiple of 13?
True
Let n be (-55622)/(-56) - 5/20. Suppose 10*q - 447 = n. Is q a multiple of 36?
True
Let m(a) = 14*a**3 - 12*a**2 + 24*a - 40. Does 182 divide m(8)?
True
Let d(s) = -s**3 + 7*s**2 + 18*s + 3. Let w be d(9). Suppose y + 58 = 4*q + 219, -w*y + 551 = 5*q. Does 2 divide y?
False
Let w(r) = r**2 + 31*r + 28. Let o(l) = l**2 + 30*l + 27. Let h(b) = -4*o(b) + 3*w(b). Let t be h(-18). Is -2 - 13/((-13)/t) a multiple of 14?
False
Suppose q = -3*g + 8480, 0 = -501*q + 496*q - 20. Is g a multiple of 8?
False
Suppose 9*c - 14*c = -15. Suppose -c*w = 2 - 14. Suppose 0 = w*f - 28 - 8. Does 7 divide f?
False
Suppose 36*b = 21362 + 16222. Is b a multiple of 9?
True
Let h(y) = -11*y - 4. Let d be h(-6). Let x = d + -40. Let t = 35 - x. Is 3 a factor of t?
False
Suppose -3*y - 24 = -3*i, 0 = 5*i + 4*y - 5 + 1. Suppose i*l - 511 = 373. Is 17 a factor of l?
True
Suppose -62 - 109 = -4*o - k, -o = -k - 49. Suppose o*d + 6048 = 50*d. Is d a multiple of 14?
True
Let t(n) = -2*n + 24. Let x be t(-24). Does 4 divide (-78)/(-4) - (-36)/x?
True
Let r be -4 - (2/(-2) + -321). Let t = -78 + r. Is 12 a factor of t?
True
Suppose 5*j + 4*p = -1042, 2*j - p - 4*p + 397 = 0. Let k = j - -516. Is 17 a factor of k?
False
Let z(f) = -2*f**2 + 11*f + 6. Let t be z(6). Let i = 6 - -24. Suppose 0 = -2*u + 2*g + i, 4*u + 5*g + 4 - 46 = t. Is 4 a factor of u?
False
Let a = 27366 + -21934. Is a a multiple of 19?
False
Suppose -f = -3*f + 474. Suppose 156 + f = -3*i. Let n = 185 + i. Does 54 divide n?
True
Let o(z) = z**3 + 13*z**2 + 18*z + 22. Let c be 2/5 - (-27773)/5. Let l be 2/9 - (c/(-45))/(-11). Is o(l) a multiple of 10?
False
Does 81 divide (1539/76)/(2/184)?
True
Let n = -14674 + 16077. Does 61 divide n?
True
Suppose 0 = 290*m - 284*m - 12690. Let t = m - 986. Is t a multiple of 11?
False
Let c(a) = 6*a**2 - 43*a - 463. Does 216 divide c(-42)?
False
Is 1614/1883