66. Suppose 0 = 5*l + 3*k - 65, -4*l - 2*k = -19 - 35. Is 19 a factor of b(l)?
False
Suppose -x = -9*x - 96. Let z(s) = -s**3 - 11*s**2 + 9*s + 53. Is 3 a factor of z(x)?
False
Let x = -1587 - -2826. Is 21 a factor of x?
True
Let v(n) = -2*n**2 + 2*n + 2. Let y be v(0). Suppose 99 = -5*x + y*x. Let m = x - -62. Is 3 a factor of m?
False
Is 4/(-5) - (13021020/(-525) + (-48)/(-42)) a multiple of 200?
True
Suppose -1850006 = -232*d + 1013106. Is 187 a factor of d?
False
Let l = -45 + 45. Let c(i) = 7*i - 5*i**2 + 28 + 6*i**2 + l*i**2. Is c(-7) even?
True
Let a be (-102*35/(-50))/(4/20). Let n = a - -138. Is n a multiple of 55?
True
Let h = -41 - -40. Let k be h + -2 + -1 - -4. Suppose k = -x + 2*x - 28. Does 7 divide x?
True
Suppose 19*c + 11736 = 25*c. Let x = c - 967. Is x a multiple of 43?
True
Let j = -71 + 127. Let u = 60 - j. Suppose -m + z = -21, u*z = -4*m + 5*m - 27. Is 19 a factor of m?
True
Let f(b) = 37*b**2 + 7*b + 14. Let n(q) = -q**3 - 6*q**2 + 2*q + 9. Let c be n(-6). Does 24 divide f(c)?
False
Let z(q) = 286*q**2 - 37*q + 11. Does 38 divide z(4)?
False
Suppose -14 + 42 = -7*w. Is 6/9*1071/(-56)*w a multiple of 17?
True
Let m(y) = -951*y + 70. Is m(-4) a multiple of 13?
True
Suppose 4*z + 25 = -5*u - z, 0 = -2*u - 4*z. Is 26 a factor of u*((-54)/30)/(-3) + 578?
True
Suppose 0 = -19*j + 15*j - 24. Let f(p) = 10*p**2 - p - 6. Does 5 divide f(j)?
True
Let r = 11 - 18. Let n = -353 - -354. Does 4 divide (((-105)/10)/r)/(n/50)?
False
Let a = 24 - 64. Is 161 + a + (-1 - -6) a multiple of 7?
True
Suppose 3*w - 5 = -0*w - n, -n = 5*w - 11. Let u(c) = -45*c**2 + 8 - c - 5 + 46*c**2. Is u(w) even?
False
Let b = -7889 - -34489. Is 100 a factor of b?
True
Let i be (1/(-5))/(1 - 2) - 40/(-50). Let s be (-2)/(-7) - (-16)/(-7). Is 14 a factor of (i/s)/((-17)/3808)?
True
Let j(f) = -34*f. Let s = -75 - -79. Suppose -50*p = -49*p + s. Is 34 a factor of j(p)?
True
Let j(t) = -t**3 - 7*t**2 + 8. Let b be j(-5). Does 21 divide (-40 + -2)/(2*3/b)?
True
Let y = 860 + -1279. Let d = y + 637. Let v = d - 142. Is 10 a factor of v?
False
Suppose 2*d - 9 = 3*h, -3*h - 6 = -3*d + 3. Suppose -3*m - 3*q + 3360 = d, 4*q - 2236 = -9*m + 7*m. Does 74 divide m?
False
Let x(c) = -50*c - 920. Is x(-32) a multiple of 2?
True
Suppose 247*g - 4*u = 252*g - 139573, -111601 = -4*g + 5*u. Is g a multiple of 10?
False
Let b = 915 + 471. Is b a multiple of 66?
True
Let n(x) = 12*x**3 - 202*x**2 + 22*x - 47. Is 11 a factor of n(17)?
False
Let z(l) = 53*l - 3. Let b be z(2). Suppose b = 6*o - 125. Suppose -o - 106 = -4*m. Does 6 divide m?
True
Is -1*15*((-48776)/(-65))/(-28) + -3 a multiple of 3?
True
Let n = 111 - 115. Let w be n - 149 - (2 + 0). Let v = w - -236. Does 27 divide v?
True
Let r(d) = -14*d**2 - 5*d - 7. Let c be r(-2). Let s = c + 31. Is 13 a factor of -52*(2/(-20))/(s/(-605))?
True
Suppose 11 = -4*x - 0*f + 5*f, -3*f - 23 = 5*x. Does 24 divide ((-51)/x + 0)/((-6)/(-216))?
False
Let b(t) = 0 + 9*t - 4*t + 2*t + 4. Let a be 27/3 + 28/(-7). Does 13 divide b(a)?
True
Suppose -284*i + 68950 + 1232338 = 0. Is i a multiple of 15?
False
Suppose 0 = 4*v + 4*w + 116, -5*v + 2*w = -w + 177. Let y be 1/(1/v*1). Let g = 32 - y. Is g a multiple of 8?
False
Suppose -c + 3*c - 7377 - 5343 = 0. Is c a multiple of 9?
False
Let a = -175 + 312. Suppose 0*d + a = 2*c + d, -277 = -4*c - d. Let b = 123 - c. Is 13 a factor of b?
False
Let a be (-39)/15*-23 - (-2)/10. Let o = 146 - a. Let b = o - 68. Is 6 a factor of b?
True
Let n = -106 + 111. Suppose 2*c - 4*d = c - 2, n*c - 4*d - 6 = 0. Suppose -c*i - 149 = -217. Is i a multiple of 3?
False
Let k(x) = -42*x**3 - 7*x**2 + 132*x + 883. Is 130 a factor of k(-7)?
False
Suppose -295372 = -15*m - 62*m. Does 14 divide m?
True
Let t(p) be the third derivative of -p**6/12 + p**4/24 + p**3/6 + 11*p**2. Let a be t(-2). Let l = -58 + a. Is 4 a factor of l?
False
Let h(l) be the second derivative of 13/2*l**2 + 18*l - 11/6*l**3 - 1/12*l**4 + 0. Does 13 divide h(-11)?
True
Suppose -14*d = 3*q - 121406, 20921 + 22430 = 5*d - q. Does 13 divide d?
True
Suppose 3785 = 30*j - 25*j. Let i = -749 + j. Does 5 divide i?
False
Suppose -42*c + 1158 = -41*c + 3*m, 0 = -2*m - 4. Is 4 a factor of c?
True
Suppose 7*c - 36441 = -5*o, -6*c + 5*o + 26055 = -c. Does 9 divide c?
False
Suppose -5*o - 5*i + 435 = 0, 0 = 4*o + 4*i + i - 351. Does 15 divide o/(-147) + (-4208)/(-14)?
True
Suppose 10 = -2*v + k + 4, 0 = 5*v - 2*k + 16. Let g(l) = 23*l**2 - 2*l - 25. Is g(v) a multiple of 10?
False
Suppose 18*q - 14*q + w - 4822 = 0, 0 = 2*q + 3*w - 2396. Is q a multiple of 6?
False
Let a be (18/4)/3 + (-1)/(-2). Is ((-8)/(-16))/((a/2)/672) a multiple of 56?
True
Suppose 0 = 3*t - 281 - 202. Let a = 353 - t. Is a a multiple of 24?
True
Suppose 5*l - 16*l = 0. Let q be (-3 - -2*4) + l. Suppose q*r - 60 = -4*i, 3*r = -2*r + 4*i + 60. Is r a multiple of 4?
True
Let a = 36 + -37. Let t be ((100/(-5))/5)/a. Suppose -5*u = -l - 257, 0 = -2*u + t*l - 6 + 116. Is u a multiple of 17?
True
Let c = 22805 - -6189. Is c a multiple of 46?
False
Let s be 50/(-25) + 1*4. Suppose 226 = -s*l + 4*l. Let z = l + -3. Is z a multiple of 25?
False
Let w(n) = 2*n + 8. Suppose -2*i + 6*i = -24. Let t be w(i). Is 25 a factor of (4/(-6))/(t/1194)?
False
Let l(u) = u + 20. Let t be 124/28 + 3/(-7). Suppose t = -4*a, 2*a - 34 + 6 = 5*j. Is l(j) a multiple of 7?
True
Let g(s) = -5*s**3 - 21*s**2 + s + 6. Let y(t) = t**3 + 34*t**2 - 6. Let b be y(-34). Is g(b) a multiple of 12?
True
Suppose 48 = 122*x - 125*x. Let w be (x/36)/2 - 681/(-27). Let j = w + 2. Is 3 a factor of j?
True
Let s(b) = -57 - 90*b - 55*b - 37 - 13. Is 62 a factor of s(-4)?
False
Let v(t) be the third derivative of 0*t - 13/24*t**4 + 0 + 7*t**2 - 4/3*t**3. Is 24 a factor of v(-8)?
True
Let x(f) be the third derivative of f**6/120 + f**5/6 + 13*f**3/6 - 85*f**2. Does 9 divide x(-9)?
False
Let g be (0/2)/(-4 + 0 + 3). Suppose 5*t + 10 = g, -4*c - 5*t = -3*c - 144. Suppose 12*q = q + c. Does 2 divide q?
True
Suppose -930 = -5*y + 2*a, -399 + 1319 = 5*y - 4*a. Let q = y + -162. Does 13 divide q?
True
Let m(u) = -708*u - 5989. Is m(-52) a multiple of 237?
False
Suppose 0 = 2*q - 4*m + 4, 2*q + 4 = 3*q - 4*m. Suppose 3*n - n - 2 = t, 0 = 3*t - 5*n + 6. Is 1970/40 - t/q a multiple of 15?
False
Let k = 10084 + -4793. Does 11 divide k?
True
Suppose -2*i + 5 = -2*w - 3*w, -2*w = 5*i + 60. Let p(k) = 3*k**2 + 9*k - 2. Let y be p(i). Let x = -10 + y. Does 22 divide x?
True
Suppose 0 = 13*n - 7*n + 12. Let b be (5/(-3))/(n + (-596)/(-300)). Suppose -5*d = i + i - b, 4*d = -4*i + 112. Is 3 a factor of d?
False
Let d(u) = u - 9. Let y be d(6). Let g be 89/y + (-13)/39. Let o = 107 + g. Is 34 a factor of o?
False
Suppose 4*h + 12 = 0, 22*b - 138 = 25*b + 4*h. Is ((-10304)/b)/4 + 4/(-3) a multiple of 2?
True
Let r = 281 - 276. Let x = r - -91. Does 32 divide x?
True
Let z(i) = i**2 - 19*i - 46. Let c be z(21). Let o(g) = -11*g - 34. Is 3 a factor of o(c)?
False
Let w(y) = -1. Let d(p) = -p - 4. Let m(s) = d(s) - w(s). Let l(n) = -n**2 + 6*n + 84. Let b be l(-7). Does 4 divide m(b)?
True
Let g(p) = -536*p - 96. Let x be g(-12). Suppose 0*q + x = 16*q. Does 11 divide q?
True
Suppose -17*g + 54244 = -79682. Is 31 a factor of g?
False
Suppose -5*q + 1740838 = 101*q. Does 120 divide q?
False
Is (-1 + 2*(-8294)/8)/(8/(-16)) a multiple of 9?
True
Suppose -43*a = -29*a - 56. Suppose -27*q - a*w - 2190 = -32*q, 894 = 2*q + 2*w. Is 9 a factor of q?
False
Let f = -545 + 549. Suppose 2*k - i - 225 = 0, -f*k + i + 337 = -k. Does 16 divide k?
True
Let t be (3/9 - -1)*(-11 - -215). Let j = 284 - t. Is j a multiple of 2?
True
Let x be 33 + 0/5 + -1. Suppose -i - 4*i = -5*d - 70, x = -4*d - 2*i. Is 1 - 12/15 - 1158/d a multiple of 10?
False
Let f(v) be the first derivative of -21*v**2 - 52*v - 69. Is 11 a factor of f(-7)?
True
Let p be (1 - 0)/((-2)/(-20)). Suppose 9*h = 14*h - 1415. Suppose 0 = r - 3*y - 80 - p, -3*r = 4*y - h. Does 31 divide r?
True
Suppose 5*n + 4*f = 4*n + 2, -4*n - 5*f = -19. Suppose 178 = -n*q + 658. Does 6 divide q?
False
Suppose -3394 = 14*i + 876. Does 4 divide i/(-2) - (-2)/(8 - 12)?
True
Suppose -5*v - 5 = 0, 2*d + 3*v + 3 = 3*d. Let j(g) = -g**3 - 2*g**2 - g + 1197. Let r be j(d). Suppose -6*l + 15*l = r. Does 20 divide l?
False
Sup