b. Is 5 a factor of s?
False
Let r be (-36)/14 - (-36)/63. Let p be r/(12/(-3))*0. Suppose 3*k + k + 5*j = 485, p = 3*k - 5*j - 355. Is k a multiple of 23?
False
Let b(a) = -a**3 + 53*a**2 - a - 1410. Is b(37) a multiple of 18?
False
Let s be 39*(-6)/(-27)*345/46. Let q = -46 + 86. Suppose 64*d - s*d = -q. Is 9 a factor of d?
False
Suppose 3245 + 930 = 8*r + 223. Is 19 a factor of r?
True
Suppose 13*p = 38 - 233. Is p/40 + (-3635)/(-8) a multiple of 12?
False
Let k be (80/(-28))/(2/(-7)). Suppose k = -6*i + 11*i. Suppose 4*q = i*q + 124. Does 13 divide q?
False
Let l(k) = 256*k**2 + 5*k + 4. Let m be (-5 + 4)*(-7)/(-7). Is l(m) a multiple of 5?
True
Let r be 2/8 - (-1225)/140. Suppose r*u = 2*u + 1155. Does 12 divide u?
False
Suppose 4*b - 2*v - 54326 = 0, -15*v + 13*v = 4*b - 54306. Does 16 divide b?
False
Let p = -2286 + 3980. Does 7 divide p?
True
Let i be 9/(-24) + ((-172)/(-32) - 5). Suppose -4*g + 4024 = 4*h, i = 9*h - 11*h + 2. Is 50 a factor of g?
False
Suppose -i + 4*o = -7*i + 209496, 3*i - 104733 = 3*o. Is 10 a factor of i?
False
Let l(x) = 473*x - 18. Let s be l(9). Suppose 9*u - s - 549 = 0. Suppose 2*z + 549 - 136 = 3*o, 0 = -4*o - 2*z + u. Does 27 divide o?
True
Let m = 351 + -788. Let o = m + 606. Is o a multiple of 13?
True
Suppose 3*g + 4*v - 11*v = 4637, 4*g - 6195 = -3*v. Is g a multiple of 43?
True
Suppose 5*l - 7*l + 2303 = -5*w, -3*l = -4*w - 3472. Suppose i = -3*s + l - 410, -4*s + 980 = -5*i. Does 13 divide s?
False
Let u(a) = -7*a - 4. Let n be u(-2). Let s be (2 + (3 - 0))*706/n. Suppose 3*g - s = 82. Is g a multiple of 44?
False
Let v = 58503 + -34167. Does 24 divide v?
True
Suppose 775 = 5*g - 2585. Let k = -655 + g. Does 8 divide k?
False
Let q = 1052 - 296. Suppose -y = 8*y - q. Suppose -11*n + 301 + y = 0. Is n a multiple of 8?
False
Is 13 a factor of 2 + -2 - 2 - (-25 - -26)*-2576?
True
Let r(m) = m**2 + 27*m + 76. Let t = -599 + 571. Is 4 a factor of r(t)?
True
Suppose 288 = -30*j + 6*j. Is -3*((-12)/18 - (-1148)/j) a multiple of 17?
True
Is 159 a factor of (-112)/(-24) - 353836/(-21)?
True
Let f(a) = -a**3 - 26*a**2 - 62*a - 24. Suppose -5*z = -5*m + 120, 2*z + 48 = -13*m + 8*m. Does 52 divide f(z)?
True
Is 7 a factor of (((-4)/8)/((-3)/6))/((-49)/(-857255))?
False
Suppose -86*s = -81*s - 45. Let o = -2 + s. Let q(b) = 22*b - 30. Is q(o) a multiple of 19?
False
Let w(l) = -4*l + 116. Let a be w(27). Suppose -s = 2*o - 217, a*o - 4*o - 3*s - 449 = 0. Does 18 divide o?
False
Suppose 0 = k - 9*k + 1592. Let g(l) = -138*l**2 + l. Let s be g(1). Let o = k + s. Is o a multiple of 13?
False
Let r = 496 + -954. Let d be r/(-5) + (-12)/(-30). Suppose -d - 208 = -4*p. Does 11 divide p?
False
Let d(j) = -j**3 - 7*j**2 - 7*j - 8. Let g be d(-6). Let b(o) = -357*o + 9. Let w be b(g). Suppose -t + w = 5*a, a + 578 = 5*a + t. Does 29 divide a?
True
Suppose -3*o = 3*k - 378, 3*k = 5*o + 40 - 670. Is o a multiple of 63?
True
Suppose -11*n + 336 = 10*n. Suppose 360 = -n*w + 18*w. Does 19 divide w?
False
Suppose 96*r + 192052 = 2038107 + 1415545. Does 25 divide r?
True
Let v(f) = -2*f**2 - 28*f + 198. Does 8 divide v(-11)?
True
Suppose -4406 = 5*c - 14761. Suppose 3*b = 2*x + 32 + c, -4*b - x = -2804. Does 32 divide b?
False
Let f be (3/1 - 7) + 12. Suppose 0 = r + 4*v - 6, r + 2*v + 0 - f = 0. Let c = 7 + r. Is c a multiple of 2?
False
Let l(x) = -27*x**2 + x - 1. Let h be l(-4). Let p be ((-4)/5)/((-126)/314 - (-4)/10). Let q = h + p. Is q a multiple of 14?
False
Let u be ((-6)/(-7))/((-18)/(-12))*7. Is (-8)/10*(-1)/(u/320) a multiple of 12?
False
Does 143 divide 5/((-5)/(-2))*(-224448)/(-128)?
False
Let f = 5044 + 371. Is f a multiple of 57?
True
Let p = 8 - 3. Suppose q = 5*o + 3, 4*o + 9 - 6 = q. Suppose p*i - 91 + 6 = o. Is i a multiple of 15?
False
Suppose 10*h + 4*h = 1400. Suppose 5*w = h + 325. Does 17 divide w?
True
Suppose 3*c + 17*h - 317517 = -2*c, -5*c + 4*h = -317496. Is c a multiple of 20?
True
Suppose -4*w - u = -5*u - 5692, 4*w - 5652 = -4*u. Suppose -3*h = 5*m + h - w, -4*h = 2*m - 560. Is m a multiple of 22?
True
Let k be 280/(-8*(-2)/72). Is k/(-112)*(-17 + 1) a multiple of 9?
True
Let f be ((-6)/(-4))/(5/(-40)). Let q be (-2 + 6)*(-9)/f. Suppose 2*k + q*o - 43 = 0, -3 - 6 = -3*o. Is k a multiple of 4?
False
Suppose -7*n + 2*n = z - 23, -n + 19 = 5*z. Suppose 0*s = n*y + 5*s + 417, -3*y - 333 = -3*s. Is 100/1*(-27)/y a multiple of 25?
True
Suppose -22*s - 120 = -30*s. Suppose s*b - 174 = 13*b. Is 3 a factor of b?
True
Let l be ((-13)/52 - (-7)/12)*0. Suppose -2*i - 29*i + 23374 = l. Does 29 divide i?
True
Suppose -8 = -6*o + 10. Let g be o/6 + 206/(-4). Is 16 a factor of (-544)/g*(-1 + 10)?
True
Let k(q) = q**2 - 11*q + 22. Let o be k(9). Suppose o*n = 254 + 86. Is n a multiple of 34?
False
Suppose 51*x - 317056 + 130549 = 0. Is x a multiple of 69?
True
Let z(k) = -659*k + 2333. Does 5 divide z(-16)?
False
Let s(a) = a**3 + 11*a**2 + 12*a + 23. Let l be s(-10). Let u be l/15 - (-38)/10. Does 35 divide (137 - 0) + -1 + u?
True
Suppose m - 5*v - 4193 = 0, 2*m - 3*v = -m + 12519. Suppose 20*j - 772 = m. Is 19 a factor of j?
True
Suppose 170*p - 128168 = -27018. Is p a multiple of 4?
False
Let i = -646 + 152. Let u = -13 - i. Does 13 divide u?
True
Let v(f) be the second derivative of -f**3/6 + f**2 - f. Let x be v(0). Suppose 0 = -x*m + 4*n + 110, -5*n + 331 = 5*m - n. Is m a multiple of 21?
True
Suppose 8*t = 5*t - 3. Let b(u) = 19*u**3 - 9*u**2 + 17*u - 1. Let r(y) = y**3 + y**2 - 2*y. Let j(q) = -2*b(q) - 18*r(q). Is j(t) a multiple of 8?
True
Let i be (-2)/4*(6 + -81 - 3). Let x = i - 35. Suppose 0 = -p - 3*l + 32, -p - 4*p + x*l = -122. Is 6 a factor of p?
False
Does 3 divide (1*3732 - -4) + 26 + -35?
False
Let i(x) = 522*x + 812. Does 28 divide i(8)?
False
Let w(t) be the first derivative of 16*t**3 + 19*t**2/2 + 4*t - 183. Is w(3) a multiple of 10?
False
Suppose -2*a + 52 = 2*u, 2*a - 5*a + 81 = 4*u. Let y = a + 29. Suppose -3*h = -2*h - y. Is h a multiple of 26?
True
Let x be (1/(-2))/((-8)/(-16)). Let v be (x - 1)*3/(-2). Let j(y) = 32*y - 4. Is j(v) a multiple of 15?
False
Suppose d - 3*d - 42 = 0. Let a be (-932)/3*d/14. Is 8 a factor of 13/(-52) + a/8?
False
Let l(n) = -5*n**3 + 7*n**2 + 22*n + 186. Is 55 a factor of l(-7)?
True
Let n = 2583 - 847. Does 124 divide n?
True
Let i = -3635 + 5206. Suppose -i = -4*v + 1021. Suppose 4*l - v = -0*l. Does 29 divide l?
False
Let r(z) = -2*z - 51. Let j be r(-28). Suppose -206 = -j*y - 66. Is 14 a factor of y?
True
Suppose -59*s = -250112 - 277407. Does 21 divide s?
False
Let d(h) be the third derivative of -17*h**5/120 + 7*h**4/8 + 7*h**3/3 - 2*h**2. Let c(z) be the first derivative of d(z). Does 37 divide c(-7)?
False
Let k(n) = -n**3 - 8*n**2 - 2*n + 5. Suppose 0 = 11*v - 8*v + 60. Let q = 12 + v. Does 10 divide k(q)?
False
Let y = 161 - 171. Does 17 divide (11508/(-70))/(4/y)?
False
Let n(m) = 61*m - 3. Let r be n(2). Let z(g) = 11*g**2 - 27*g + 7. Let l be z(6). Suppose -12*x + l = -r. Does 6 divide x?
True
Let k = -4158 - -9287. Is k a multiple of 42?
False
Let c = 343 + -333. Suppose 0 = -2*f + c, 2*d - 1140 = -4*f - 328. Does 24 divide d?
False
Suppose 1343*f + 62625 = 1418*f. Does 4 divide f?
False
Let a(s) = -2*s**2 - 46*s + 80. Let y(n) = n**2 + 23*n - 40. Let g(c) = 6*a(c) + 13*y(c). Is 2 a factor of g(-25)?
True
Suppose 0 = 36*n - 37*n - 2184. Does 7 divide (n/(-65))/(2/5)?
True
Suppose -6*m + 24442 = -x, -2*x = 4*m - m - 12211. Does 12 divide m?
False
Let l(a) = -a**3 + 13*a**2 - 18*a + 7. Let y be ((-2)/4)/(17/(-408)). Let b be l(y). Let u = b - -162. Is u a multiple of 9?
False
Let z = -66 - -57. Let g be 1/(-2) + z/(-2). Suppose 0 = -g*s + 150 + 166. Does 6 divide s?
False
Let k = 20822 + 10237. Is 153 a factor of k?
True
Suppose -5*d = -0*d - 20. Suppose -d*j - j = 0. Suppose j = -5*u + 111 + 289. Does 14 divide u?
False
Suppose 7*v - 19 = 9. Suppose -v*x + 21 = -f, -x = -2*f + 5*f - 15. Suppose -4*g + 45 = -3*r, -7*g + 4*r - x = -9*g. Is g even?
False
Suppose 29 = 4*g - 119. Let q be 4/(12/g)*-9. Let t = -87 - q. Is t a multiple of 6?
True
Suppose 156*f - 151*f = 2*r - 5375, 4*f = -4*r + 10708. Is 134 a factor of r?
True
Let y = 1784 - 1171. Let h = y - 137. Does 29 divide h?
False
Let s be (120/(-100))/(1/(-5)). Suppose 11*z = 14*z 