 67. Let y(u) = -7*u + 17. Let d(v) = -2*c(v) + 9*y(v). Is d(-13) a multiple of 13?
False
Let c(o) = o**3 - 10*o**2 - o + 9. Let j be c(10). Let a be (-5)/((-5)/4) - j. Suppose 3*l - 3*q - 246 = 72, 0 = q - a. Is l a multiple of 37?
True
Let k = 181 - 112. Is k even?
False
Let x = -881 - -1571. Does 46 divide x?
True
Suppose 3*q - 37 + 10 = 0. Suppose 0 = -c - y + q, 5*c - 15 = -4*y + 26. Suppose -70 = -4*g - k, -5*g + 58 = -g - c*k. Does 17 divide g?
True
Let i = 105 - 119. Let m = i + 22. Is m even?
True
Is (8 - -12)/(2 - (-22)/(-12)) a multiple of 20?
True
Suppose -3*i + 646 = -143. Suppose 0 = 3*h - 2*j - i, -4*h + 9*j - 4*j + 353 = 0. Is 29 a factor of h?
True
Suppose 2*b + 1 = -o, b + 0*b + 3*o = -13. Let t(a) = a**2 - 7*a + 7*a**2 - 2*a**3 + a**3 - b*a. Does 4 divide t(6)?
False
Let s = 436 + 122. Is 18 a factor of s?
True
Let y(s) = 2304*s - 42. Does 13 divide y(1)?
True
Suppose o + 102 = -0*o. Is (-730)/(-6) - (-5 + o/(-18)) a multiple of 19?
False
Is 3 a factor of 3101/(-14)*1*2*-1?
False
Suppose -46*i = -35*i - 2618. Is i a multiple of 17?
True
Suppose -5*b + 0*b = 10. Is 7 a factor of 105*((-1)/(-2))/((-1)/b)?
True
Is (-12)/7*(-110040)/180 a multiple of 11?
False
Does 34 divide (935/(-20))/(5/(-40))?
True
Let t = 6516 - 4038. Suppose -4*i + t = 10*i. Does 50 divide i?
False
Suppose -r + 5*r + 40 = -4*a, -3*a = -3*r + 42. Let m = a - -67. Does 11 divide m?
True
Let w(r) be the second derivative of -11*r**4/12 + r**3/3 - 2*r**2 - 12*r. Let l be w(-3). Let g = -76 - l. Is g a multiple of 9?
False
Let s(g) = 15*g**2 - 23*g - 53. Is s(-5) a multiple of 19?
True
Suppose -2*q - 2*q + 16 = 0. Is 5 a factor of (-196)/(-11) + q/22?
False
Suppose -5*x = 5*p, 5*x + 27 = 5*p - 3. Suppose -p*h - 19 = -v + 2*h, -3*v - 4*h = 19. Is 25 a factor of ((-40)/(-16))/(v/(-12))?
False
Let h = 108 - 98. Is 11 a factor of (4/h)/(826/165 - 5)?
True
Let p(y) = 2*y**2 + 5*y + 1. Suppose 8*i - 3*i = 120. Suppose 4*b + 8 = i. Is 9 a factor of p(b)?
False
Let a = -35 - -142. Does 42 divide a?
False
Suppose 42 = c - 17. Suppose -i = -c - 45. Does 26 divide i?
True
Let p be (-12)/8*-1*2. Does 20 divide (-5)/(p + (-244)/80)?
True
Let r be -3*(10/6 + -3). Suppose 0 = o - 4, 4*d - r*o + 8 = o. Suppose -d*l = -2*s - 44, 58 = 4*l - 3*s + 1. Is l a multiple of 12?
False
Let t = -15 + -11. Is 7 a factor of 2 - t/(-10) - 426/(-10)?
True
Suppose 4*p + 26 = 4*k + 6, 2*k - 3*p = 15. Suppose k = -4*h - g - g + 406, 201 = 2*h - g. Is h a multiple of 14?
False
Suppose 5 = 2*b - 3. Is 15 a factor of 1/(b/(104 - -4))?
False
Suppose -6*a + 14 = -4. Let z(s) = s**2 - 3*s. Let l be z(a). Suppose l*w + 2*w = 40. Is w a multiple of 10?
True
Let k(d) = -d**3 + 16*d**2 + 36*d - 21. Is k(9) a multiple of 69?
False
Suppose -5*s + 2*s + 5*v + 34 = 0, -v - 17 = -4*s. Suppose -s*y - 60 = -6*y. Suppose c = -0*c + y. Is c a multiple of 5?
True
Let p(s) be the first derivative of -s**3/3 - 13*s**2/2 - 4*s - 3. Let f(v) = -2*v + 3. Let r be f(4). Is 18 a factor of p(r)?
True
Let f(q) = q**3 - 12*q**2 - 13*q + 18. Let g be (1*2)/(4/26). Does 14 divide f(g)?
False
Suppose -6*v + 1038 = -294. Is v a multiple of 17?
False
Does 26 divide (-23)/((-69)/1638)*3/3?
True
Let q be (0 + -3 + 3)/2. Suppose -68 = -g - 2*j, q*g + g = -5*j + 80. Is 6 a factor of g?
True
Let s(w) be the third derivative of -w**6/120 + w**5/60 - 7*w**3/6 - 6*w**2. Let n be s(0). Let x(z) = -z + 6. Is x(n) a multiple of 11?
False
Is (-131)/(-3)*(-17 + 20) a multiple of 19?
False
Let z(q) = q**2 - q. Let s(l) = l + 2. Let x be s(-5). Let j be z(x). Suppose 0 = -5*u + 2*i + 467, 84 = u - 3*i - j. Is 31 a factor of u?
True
Suppose 2*s + 0*s - 3*d + 1039 = 0, 5 = d. Let p = -122 - s. Suppose 2*j = 5*c - p - 88, -5*c + 4*j = -486. Is c a multiple of 25?
False
Let y(f) = f**2 + 11*f - 2. Suppose 30 = -8*x + 2*x. Let g be y(x). Let p = 70 + g. Is 38 a factor of p?
True
Let a(c) = 213*c + 94. Is 29 a factor of a(4)?
False
Let s(c) = -50*c + 52. Is 14 a factor of s(-4)?
True
Suppose 16256 = 114*v - 200116. Is 80 a factor of v?
False
Let y = -2371 - -2746. Is 7 a factor of y?
False
Suppose 2*b + 1 = -2*v + 7, 0 = -2*v - 6. Let f be -2 + b - (-5 + -1). Does 13 divide 8/f - 928/(-40)?
False
Let r be 215/30 - (-2)/(-12). Suppose r = -m - 92. Does 22 divide m/(3/6*-3)?
True
Let g(s) = 58*s - 261. Let k be g(5). Suppose 4*u - 21 = 3*w - 6, -3*w - 15 = 4*u. Suppose u = -3*q - 5*v + 29, 4*v - k = -5*q + 2. Does 2 divide q?
False
Let w be 3 - (0 - 0/1). Let c = -77 + 80. Suppose 2*j - w*q = 15 - 6, 4*j = c*q + 15. Is 2 a factor of j?
False
Suppose -9*t = -2142 - 918. Does 5 divide t?
True
Let b = 76 - 82. Let w(x) = -x**3 - x**2 - 4*x - 36. Is w(b) a multiple of 24?
True
Suppose 5*q = -2*q - 14. Is 15 a factor of ((-4)/(-6))/(q/(-111))?
False
Suppose -2*y = -5*p - 2539, -11*y + 3*p = -7*y - 5085. Is y a multiple of 21?
False
Let u = -17 + 4. Does 23 divide (-2)/u - 15198/(-78)?
False
Suppose 12*r = 589 + 359. Does 22 divide r?
False
Let q(b) = b**3 - 3*b**2 - 9*b - 5. Let k be q(5). Suppose k = -3*j - j + 240. Is 10 a factor of j?
True
Suppose 5*n + 915 + 1535 = 5*i, 1990 = 4*i + 2*n. Does 45 divide i?
True
Let k(d) = 2*d**2 - 4*d**2 + 6*d + 18*d**2 - 8*d**2. Is 23 a factor of k(-4)?
False
Let j = 344 - -268. Suppose -198 = -5*d + j. Is d a multiple of 31?
False
Is 110 a factor of (-11)/2 + (-191301)/(-102)?
True
Suppose 4*l + 19 = 63. Let y(b) = -b**2 + 14*b - 12. Is y(l) a multiple of 4?
False
Suppose z - 3*z = 4*p - 20, 5*p = 3*z + 25. Suppose -y + r + 162 = 2*r, 3*r - 326 = -2*y. Suppose 4*s = -z*s + y. Is 20 a factor of s?
True
Suppose 4*i = 117 + 2739. Is 21 a factor of i?
True
Let j(i) = 404*i**3 + 3*i**2 - i - 1. Is j(1) a multiple of 15?
True
Suppose -456*l + 455*l + 288 = 0. Is l a multiple of 24?
True
Let m(f) = 1757*f**3 + 3*f**2 - 3*f + 1. Is 34 a factor of m(1)?
False
Suppose 3*x = x - 3*j + 85, -4*x = 5*j - 165. Suppose 224 = 7*y - 203. Let z = y - x. Does 16 divide z?
False
Let c(k) = 1186*k**2 + 8*k + 10. Does 28 divide c(-1)?
False
Let m(p) = 3*p - 2. Let h be m(2). Let r = -5 - h. Does 19 divide (6/r)/((-2)/132)?
False
Let d(u) = 2*u - 6. Let v(t) = -4*t + 12. Let y(f) = 13*d(f) + 6*v(f). Let j be y(-6). Is ((-36)/(-14))/(j/(-84)) a multiple of 4?
True
Suppose x - 5*x - 4*m = 24, -4*x - 26 = 3*m. Let g = x + 48. Does 10 divide g?
True
Suppose 0 = 2*w + 10, 3*k - 6*w - 393 = -9*w. Is k a multiple of 9?
False
Let k be -2*30/(-1 - 2). Let w = -23 + k. Let v(q) = -12*q. Does 18 divide v(w)?
True
Suppose 0 = 3*r + c - 184 - 171, 2*r = -4*c + 250. Is r a multiple of 39?
True
Does 20 divide (-3)/((-17505)/2500*1 + 7)?
True
Suppose -20 = 63*t - 68*t, 0 = 2*n - 2*t - 294. Is 93 a factor of n?
False
Let k = -340 + 758. Is k a multiple of 11?
True
Suppose -2*g - 8 = 5*v, -2*g = 2*g - 2*v - 32. Let y be (8 - 0) + g/(-2). Suppose -2*r - r + 159 = y*o, -r + 51 = o. Is r a multiple of 10?
False
Suppose 2*p - b - 14 = 0, -p - 3*b - 7 = -0*p. Suppose -p*i = -0*i - 80. Does 4 divide i?
True
Let q(v) = 5*v**2 + 19*v - 12. Does 13 divide q(5)?
True
Let s(x) = -2*x**2 + 8*x - 10. Let g be s(7). Let i = -20 - g. Is i a multiple of 8?
True
Let o(q) = q**3 + 10*q**2 + 9*q + 2. Let f be o(-9). Is 3 a factor of -22*(-4)/4 - f - -2?
False
Suppose 5112 = 14*a - 2*a. Is a a multiple of 6?
True
Suppose 3214 = 5*l - 4*m, 0 = 5*l + 3*m - 3686 + 444. Is 9 a factor of l?
False
Let q = 71 + -281. Let c be (-1442)/q - (-2)/15. Suppose 3*x = c*x - 36. Is x a multiple of 4?
False
Let f(y) = -31*y + 3. Let s be f(-3). Suppose 13*z - 11*z = s. Let b = z - 34. Is 14 a factor of b?
True
Let h(w) = 7*w**2 + w. Let i be h(1). Suppose -i*b - 201 = -5*b. Let d = -33 - b. Is d a multiple of 17?
True
Let v(j) = 3*j - 15. Let p be v(6). Suppose q = -2*y - 3*q + 242, -p*y = -q - 342. Does 25 divide y?
False
Let o(v) = -v**3 + 6*v**2 + 2*v - 9. Let r be o(6). Suppose -54 = -r*c + 6. Is 10 a factor of c?
True
Suppose -23*v = -57241 - 16221. Is 40 a factor of v?
False
Let o be -97*3/(0 + 3). Let i = o - -159. Does 31 divide i?
True
Let a be (-1 + 1)/(13 - 10). Let k be (-9)/(-12)*(2 - -2). Suppose -k = -a*s - s. Is s a multiple of 3?
True
Let j(q) = q**3 - 9*q**2 + 9*q - 5. Let s be j(8). Suppose 4*b = b + 3*l, 2 = -s*b + 4*l. Suppose b*g - 30 = -4*t + 8, 0 = 4*t - g - 35. Is 9