*b + 9. Does 2 divide l(f)?
False
Let a be 45/(-4)*((-156)/(-18) + -6). Suppose 3*i - 5*i = r + 19, 0 = 2*r + 2*i + 28. Let s = r - a. Does 15 divide s?
False
Suppose -2*s + 2*u + 876 = 0, 5*s + 5*u - 2208 = u. Is 10 a factor of s?
True
Suppose -6*i + 6 = -174. Suppose 3*z - z - 6 = 0. Suppose z*o - i = 45. Is o a multiple of 9?
False
Suppose -102 = -2*f - d, 3*f - 3*d - 111 = 42. Suppose 0 = 2*b + b - f. Is 17 a factor of b?
True
Let d(y) = y**2 - 17*y + 34. Let z be d(15). Is 8 a factor of 12/(z/(-32)*-6)?
True
Let h = -29 - -38. Is (2 - h)/(-1) + (-2 - -1) a multiple of 2?
True
Let j(g) = 16*g - 50. Does 4 divide j(20)?
False
Let w(y) = 5*y - 3*y + 6 - y + 11. Let x be w(-13). Suppose 0 = -x*j - 2 + 94. Does 5 divide j?
False
Let f(p) = p**3 - p**2 + p + 77. Let z be f(0). Suppose h - 5 = -4*h, c - 3*h - z = 0. Is c a multiple of 10?
True
Let r(y) = -y**2 - 3*y + 5. Let g be r(-8). Does 9 divide (-1)/5 + (-1127)/g?
False
Does 11 divide (560/95 - 6) + 11497/19?
True
Let z = -28 + 42. Suppose -5*v = 15, 2*r - z - 11 = -v. Is 14 a factor of r?
True
Let v be (-9 - 0)*2/6. Is (0 + -3)/v*28 a multiple of 7?
True
Let x = 6 + 6. Let w = x + -2. Suppose -y + w - 7 = 0. Does 2 divide y?
False
Let d = 3737 - 2599. Is 4 a factor of d?
False
Let h(q) = 40*q - 75. Is h(16) a multiple of 18?
False
Is 53 a factor of 55 - ((-6 - -6) + -6)?
False
Does 64 divide -1*((-8981)/10 - (-52)/520)?
False
Suppose -7*g = -2*g - 15. Let u be (-2)/(0 + g + -2). Let k = u + 22. Is k a multiple of 10?
True
Let m(c) = 43*c**2 + 25*c + 65. Does 19 divide m(-3)?
False
Let k = 55 + -39. Suppose 5*g - 4*l - 21 = 0, -l + k - 5 = 2*g. Suppose -29 = -g*d + 51. Is 8 a factor of d?
True
Let j be -2 - (-3 - (-40)/4). Does 12 divide 8/6*j/(-1)?
True
Let s = -38 + 25. Let k = 19 + s. Is (k/(-10))/(7/(-70)) a multiple of 3?
True
Suppose -4*o - 11 = 5*p - 38, 3*p = -4*o + 21. Suppose n = -p*n + 132. Let s = n + 3. Is 18 a factor of s?
True
Let o = -89 - -108. Is 5 a factor of 1 + (o - 0/(-4))?
True
Let z(p) = -142 - 4*p - 8*p + 184. Is 10 a factor of z(-9)?
True
Let p = 33 + -15. Let n = -6 + p. Is 228/n + (1 - 0) a multiple of 20?
True
Let i(u) = 352*u - 12. Is 60 a factor of i(2)?
False
Let t(l) be the first derivative of -3*l - 5/2*l**2 + 11 + 8/3*l**3. Does 24 divide t(4)?
False
Is (-16)/(-20) + 2680/25 a multiple of 12?
True
Suppose f = 97 + 178. Suppose 0*s - 5*s = f. Is 268/5 + (-22)/s a multiple of 18?
True
Let a(i) be the third derivative of i**5/4 - i**4/4 - i**3/2 - 12*i**2. Let o be ((-4)/(-5))/((-32)/80). Is a(o) a multiple of 23?
True
Let j be 12/(-24)*10*-1. Suppose 332 = -b + j*b. Does 17 divide b?
False
Suppose -4*t + 218 = -2*t. Let b be -5*(28/20 + -3) + -3. Suppose 2*c - 4*q = t + 27, -201 = -3*c + b*q. Is 18 a factor of c?
False
Let h(a) = 3*a**2 + a - 2. Let w be h(1). Suppose 7*n - 2*n = 3*y + 65, w*n - 30 = 2*y. Does 5 divide n?
True
Suppose 20*t = 45*t - 975. Is 21 a factor of t?
False
Is (-2020)/(-14) + -4 + (-52)/(-14) a multiple of 72?
True
Let h = -22 - -31. Suppose h = -5*x - 1, 8 = -4*a - 4*x. Suppose 5*i + l - 236 - 380 = a, 245 = 2*i - l. Does 40 divide i?
False
Suppose 2*k = 6*k. Suppose k = -2*x + 3*x - 26. Is 5 a factor of x?
False
Let x(c) be the third derivative of c**6/720 + c**5/15 - 3*c**4/8 + 8*c**2. Let g(y) be the second derivative of x(y). Is 12 a factor of g(4)?
True
Suppose -5*a = 2*g - 463, -a + 5*a = -3*g + 376. Does 22 divide a?
False
Let m be ((-12)/15)/(4/50). Let l = 60 + m. Is l a multiple of 25?
True
Let a be -4 + 194 - (-2)/2*2. Suppose -c + 5*c = a. Does 16 divide c?
True
Let v(l) = 5*l - 5*l + 11*l + 7 + 14. Let k be v(12). Let h = k - 83. Does 35 divide h?
True
Let d = 55 + -51. Is 9 a factor of 90/(-4)*(-8)/d?
True
Let z = 415 - 276. Does 8 divide z?
False
Suppose 13*h - 2087 = 4309. Does 41 divide h?
True
Let k(l) = l**2 + 2*l - 5. Let h be k(-2). Let d(m) = 3*m**2 + 8*m - 17. Is 6 a factor of d(h)?
True
Suppose -4*u = -5*n - u - 1392, -u - 548 = 2*n. Let d = n + 472. Is 31 a factor of d?
False
Let l(q) = 16*q - 4. Let i(w) = 33*w - 7. Suppose 0*u + u + 3 = 0. Let d(c) = u*i(c) + 7*l(c). Is 28 a factor of d(7)?
True
Suppose 3*b - 960 = -3*w, 6 = 2*b + 2. Does 20 divide w?
False
Suppose -371 = 5*v - 2*o + o, 5*v + 369 = -o. Let x = -48 - v. Is 2 a factor of x?
True
Is (-3)/12 + (-6345)/(-36) a multiple of 4?
True
Let u(o) = 2*o + 4. Let p be u(5). Let k = -67 + 59. Let l = p + k. Does 6 divide l?
True
Let o = 694 - -1946. Does 11 divide o?
True
Let c(g) = -g**2 - 5*g + 1. Let x be c(-4). Suppose 0 = -w - 5*s + 15, -4*w + x*s + 8 = -2. Suppose 54 = w*q - 3*q. Is q a multiple of 9?
True
Let y = -962 + 1353. Is 17 a factor of y?
True
Let y(d) be the third derivative of d**6/120 + d**5/20 - 5*d**4/24 - d**3 - 9*d**2. Let p be y(-4). Is p/4 - (-2535)/30 a multiple of 14?
True
Let c = 13 - 8. Suppose 3*p = 2*n, 2*p + c*n = 5*p. Suppose p*k - 378 = -6*k. Is k a multiple of 21?
True
Suppose -21 = 7*s - 10*s. Suppose -s*w = -11*w + 56. Is w a multiple of 14?
True
Suppose -3*p - p + 20 = 0, -z + 4*p + 75 = 0. Is 6 a factor of z?
False
Suppose 4*h - 15 = -3. Let a be (-8)/10 - h/15. Is -15*(2 - (-3)/a) a multiple of 8?
False
Let k be (20/(-40))/((-2)/56). Let d = k + -2. Suppose -z = -0*z - d. Is z a multiple of 12?
True
Let v(h) = -5*h - 88. Suppose -9*z = -5*z + 108. Does 6 divide v(z)?
False
Suppose -10*l = 17*l - 70335. Is l a multiple of 21?
False
Suppose 1624 = 23*z + 6*z. Is z a multiple of 4?
True
Suppose -k - 5*j = -224, -12*k + 1066 = -7*k - 2*j. Is 42 a factor of k?
False
Let l(g) = g + 2. Let r be 0 + (2 - (0 - -4)). Let q be l(r). Suppose q = x - 33 - 47. Does 17 divide x?
False
Let d(g) = g**3 - 2*g**2 + 10*g - 1. Is 5 a factor of d(3)?
False
Is 42 a factor of (13270/4)/1 + (-25)/(-50)?
True
Let z(y) = 4*y**2 - 2*y - 1. Let i = 0 + 3. Suppose i*h + 3 = -0. Is 2 a factor of z(h)?
False
Let a(f) = 7*f**2 + 10*f - 7*f**2 - 12 + f**2. Let h be a(-10). Does 5 divide 1/4 - 501/h?
False
Let f(q) = q**2 + 22*q + 6. Let z be f(-22). Suppose -3*m + 81 = 3*i, 0 = 10*i - z*i - m - 83. Is i a multiple of 22?
True
Let o(d) = 12*d - 9. Let z be 27*((-18)/(-63) - (-2)/42). Is o(z) a multiple of 11?
True
Suppose -16 = -18*q + 38. Suppose -5*g - 60 = -o, -5*o + 348 = 2*g - q*g. Is o a multiple of 17?
False
Let q(a) = -72*a**3 - 3*a - 28. Does 25 divide q(-3)?
True
Let v = 72 - 67. Suppose v*k + 3*h = 107, 4*k + 6*h = h + 83. Is k a multiple of 11?
True
Let v = 146 + -150. Let j = v - -160. Is 9 a factor of j?
False
Suppose -3*u - n + 16 = 0, -2 = n - 6. Suppose -4*r = 4*h, -u*r + h = 3*h - 4. Suppose 2*s + 2*z + r*z - 40 = 0, 5*z = 5*s - 70. Does 8 divide s?
True
Let o(i) = 6*i - 3. Let m(d) = -7*d + 4. Let v(q) = 5*m(q) + 6*o(q). Let l be v(-5). Let t(z) = -z**3 - 3*z**2 - z + 2. Is 2 a factor of t(l)?
False
Let g = -702 - -1068. Suppose 4*f + 5*x - g + 50 = 0, -3*f + 268 = -4*x. Suppose r - 2*r = 2*t - f, 207 = 5*t + r. Is t a multiple of 10?
False
Suppose 37*t = 34*t + 3003. Is 14 a factor of t?
False
Let o(v) = -v**2 - 4*v + 16. Let d be (-8 - -1) + 2 + -1. Let g be o(d). Suppose n = -g*n + 355. Is 15 a factor of n?
False
Let c = -227 - -1891. Is c a multiple of 16?
True
Let s(w) = w**2 + 10*w - 12. Let c be s(-11). Let t be ((-10)/(-4))/(c/(-2)). Does 17 divide (t/(-5) - 37)*-2?
False
Let j = 3157 - 2177. Is 21 a factor of j?
False
Let q = 336 - 221. Let x = q - 67. Is 8 a factor of x?
True
Let w be ((-10116)/18)/(0 - -1 - 3). Let v = -151 + w. Does 26 divide v?
True
Let m(y) = 13*y**2 + 1. Let o = 25 - 27. Let j be m(o). Suppose -5*c - j = x - 3*x, 0 = 2*x + 4*c - 44. Is x a multiple of 13?
False
Suppose -8 = 2*g, -478 = -5*k - 3*g - 0*g. Suppose -3*v + k = -4*c + 818, -2*v - 360 = -2*c. Is 17 a factor of c?
False
Let k(s) = 6*s**2 + 79*s + 49. Does 30 divide k(-23)?
False
Let p = 7 + -13. Suppose 2*i - 72 = -2*n + 3*n, 2*i + 4*n - 72 = 0. Does 4 divide (p/9)/((-2)/i)?
True
Suppose 0 = -4*k + n + 10, -5*k - 5*n = -0*n - 25. Suppose -k*m + 44 = -10. Does 9 divide m?
True
Let k be (-348)/((-6)/3) + (-1)/(-1). Suppose 0 = 2*h - 3 - 7. Suppose -h*s + k = 2*s. Is 8 a factor of s?
False
Let s(i) = -i**3 + 4*i**2 + 14*i - 13. Is 2 a factor of s(-4)?
False
Let v = 2 - 1. Let i be (-5)/v*234/(-15). Suppose -2*t + i = 2*l, -5*l - 49 + 242 = 3