11. Let r(k) = 2*k**2 + 14*k - 12. Let u(f) = 3*n(f) - 2*r(f). Is u(4) even?
True
Let g(t) = t**3 - 8*t**2 + 5*t + 14. Let s be g(7). Suppose 2*a + 4 = s, -3*a + 4 = v + 14. Is 4 a factor of (v/12)/(6/(-72))?
True
Suppose 7*t - 1347 = 1537. Suppose -2*i + 424 = d, d + i - 5*i - t = 0. Is d a multiple of 9?
False
Suppose -5*u + 10 = -3*c, 2*c - c = -5. Let k(z) = z**3 - z**2. Let t(s) = -4*s**3 + 16*s**2 + 12*s - 22. Let w(p) = u*t(p) - 5*k(p). Is 18 a factor of w(-10)?
False
Let w = -472 - -710. Suppose -4*f - w = -806. Is f a multiple of 4?
False
Let g be (-6)/(-8) - -3 - 1/(-4). Suppose -3*r - 15 = -p, 0 = -5*p - 3*r + g - 19. Suppose p*d + 6*d - 372 = 0. Is d a multiple of 7?
False
Let r(j) = 663*j - 1293. Is 47 a factor of r(29)?
False
Let v(q) = -37*q**3 - 3*q**2 + q. Let p be v(-2). Let h be -212 - -13 - 1*-3. Let k = h + p. Is 49 a factor of k?
False
Let y be 54/(-81) - (-168)/9. Let o(x) = 4*x**2 - 52*x + 18. Is o(y) a multiple of 14?
True
Let g(p) = p**2 + p - 4. Let n be g(2). Suppose 4*y - 60 = 4*i, -2 = -i + n. Suppose 0 = -5*w - 0*h + 2*h + 183, w + 4*h = y. Is 14 a factor of w?
False
Suppose 23*j - 1139 = 540. Suppose 3*o - j = 35. Is o a multiple of 8?
False
Let q = -287 + 16684. Is q a multiple of 64?
False
Suppose 4*t + 5*s - 312 = 0, t + s + 142 = 3*t. Let u = 76 - t. Suppose -305 = -u*m + 454. Is 16 a factor of m?
False
Suppose 22*d + 12*d = 26792. Suppose d = 12*k - 1564. Is k a multiple of 49?
True
Let k(r) = r**3 + 45*r**2 - 22*r + 201. Is 2 a factor of k(-45)?
False
Let k be 638/(-5) + 6/(-15) + 3. Let w = k + 200. Suppose 0 = -11*p + 8*p + w. Is 5 a factor of p?
True
Let p = 150 + -450. Let f be (1/3)/((-4)/p). Suppose 85 = 3*q + 3*s - 656, 0 = 5*s + f. Does 26 divide q?
False
Let a(d) = 6*d - 21. Let n(w) = 13*w - 42. Let u(c) = -5*a(c) + 3*n(c). Let i(h) = -h**3 + 3*h**2 + 16*h - 30. Let l be i(2). Is u(l) a multiple of 27?
False
Let i = -48414 + 93718. Is 323 a factor of i?
False
Let v be -3 - (5 - 4) - -16. Does 10 divide (-4)/(-10)*2/(v/2550)?
True
Let x be (2 - 2)/(9 + 8 + -16). Suppose 4*i + 2*p + 772 - 4644 = x, -p = -3*i + 2904. Is i a multiple of 44?
True
Let s(t) = -6*t**3 + 175*t**2 - 57*t + 40. Does 7 divide s(28)?
False
Suppose 3*y - 9*y = 0. Suppose y = -a + 7*a - 30. Suppose -k - a*k = -168. Is k a multiple of 28?
True
Suppose 5*a - 2470 = -2*t - 437, 2*t - 2023 = -3*a. Let d = t - 381. Is 65 a factor of d?
False
Let p = -292 - -615. Let k = p + -258. Is k a multiple of 4?
False
Suppose -82*r = 108860 - 1213236. Is r a multiple of 182?
True
Suppose -3*b + a = 41, -a = -b + 6*b + 55. Let q be (b + 11)/(4/2)*-4. Suppose -q*d + 521 = -5*m, m - 20 = -3*m. Does 13 divide d?
True
Let z(w) = -w**3 + 13*w**2 + 13*w + 14. Let d be z(14). Suppose -14*o + 11*o + 351 = d. Let m = -56 + o. Does 3 divide m?
False
Suppose 8*a = 2623 + 8329. Let f = a + -83. Does 22 divide f?
False
Let n(x) = -5*x**2 - 27*x + 354. Let t(f) = 12*f**2 + 53*f - 707. Let u(b) = 7*n(b) + 3*t(b). Is u(13) a multiple of 17?
True
Let a = 549 - 549. Is 1 + (1 - (-275 + a)) - -3 a multiple of 56?
True
Suppose -6*v = 20 - 2. Let o be 6*v/(-6) + -19. Is (o/12 + -4)/(2/(-12)) a multiple of 8?
True
Suppose 0 = -0*m - 4*m + 144. Let s = -55 + 57. Suppose s*w - 39 = -l, -m = 4*l - w - 219. Is l a multiple of 5?
True
Let t = 3890 - -328. Does 114 divide t?
True
Suppose x + 3*v - 8 = 0, -15*x + 18*x + 4 = -2*v. Let f(i) = 17*i**2 + 9*i + 19. Is f(x) a multiple of 11?
False
Let t = 62457 + -37590. Does 16 divide t?
False
Let p be 23823/(-12)*96/36. Is p/(-6) + 0 + 51/(-153) a multiple of 21?
True
Is 7 a factor of (-180 - -179)*(-2 - 6240)?
False
Suppose -88*k = -93*k + 10. Suppose 0*g = -2*g + 146. Suppose 47 = k*w - g. Is w a multiple of 12?
True
Let h = -107 - -378. Let v = 69 + h. Does 17 divide v?
True
Let k(u) = -19114*u + 80. Does 73 divide k(-1)?
False
Suppose -p + 8825 = 2*c, 3*p - 38886 + 12379 = -2*c. Is 27 a factor of p?
False
Let z(l) = 9*l + 9. Let v be z(-5). Let o be (1*(3 + v))/(-1). Let f = -27 + o. Does 6 divide f?
True
Let r = 45 + -42. Suppose r*c + 7*c = -70. Is 13 a factor of (-1)/(-5) + c/(105/(-1362))?
True
Suppose -5*u + 350852 - 1811397 = -5*a, 2*a - 584188 = -4*u. Is (-1 - 10/(-12)) + a/432 a multiple of 26?
True
Let n be 2/(-9) - 411/(-27). Let p be (-49)/(-5) + 3/n. Suppose 2*l = -p, -2*t = 7*l - 2*l + 1. Does 3 divide t?
True
Let u be 1432/6 + 2/(-3). Suppose -5*v - u = -12*v. Suppose -5*n - 5*d + 54 + 31 = 0, d = 2*n - v. Does 2 divide n?
False
Let v = -88 - -92. Suppose -v*g - b = 2, 6 = 3*g - 4*g - 3*b. Suppose 49*d - 42*d - 1008 = g. Is 18 a factor of d?
True
Suppose 0 = 3*v - t - 163016, -87*t + 90*t - 271684 = -5*v. Does 13 divide v?
False
Let s(h) = h**3 + 14*h**2 + 12*h + 6. Let a be s(-13). Let q = 205 - a. Let b = q + -106. Does 16 divide b?
True
Let w be 400/(-75)*(-3)/4. Suppose 3*u = -3*v + 30, w*u - 5*v = -2 - 3. Is (-120)/(u - 7)*2/4 a multiple of 10?
True
Suppose 3*i + 789 + 924 = 3*u, 2302 = 4*u + 2*i. Suppose 4*o + 5*c = 578, 4*o - u = -2*c - c. Is 19 a factor of o?
False
Is 50 a factor of 8*60/(-560)*(1 - 16339)?
False
Let g(h) = -280*h**3 - 5*h**2 + 14*h + 42. Is 226 a factor of g(-5)?
False
Let w(k) = -9*k - 14. Let n be w(-2). Suppose -4*a + 5*a = -3*f + 178, n*a - f - 647 = 0. Suppose 12 = 5*j - a. Is j a multiple of 12?
False
Let y be 3/(60/(-8)) - (-14)/35. Suppose -k - 611 = -3*r, -3*r - 7*k + 11*k + 617 = y. Is r a multiple of 3?
False
Suppose 12*q - 66188 + 22484 = 0. Does 5 divide q?
False
Let z = 13941 + -8480. Is z a multiple of 43?
True
Is (4/10)/((-17)/(-17000)) a multiple of 50?
True
Let g = -112 + 144. Is g*6/12*13 a multiple of 26?
True
Suppose 3*k = -24, 327*k + 327183 = 5*o + 331*k. Is 19 a factor of o?
False
Suppose -9*c = 4*r - 4*c - 212020, 2*r = -5*c + 106010. Does 34 divide r?
False
Let i(l) = 26*l**3 - 2*l + 2. Let a be i(4). Let h = -1014 + a. Suppose h = 5*g - g. Is 17 a factor of g?
False
Let u(d) = -d**3 - d**2 + 15*d + 9. Suppose 0 = -4*i + 5*h + 48, 0 = i - 3*h - 9 - 3. Suppose -17*f + i = -19*f. Does 33 divide u(f)?
True
Let r(m) be the first derivative of m**5/12 - 7*m**4/8 + 5*m**3/6 + 41*m**2/2 + 19. Let l(d) be the second derivative of r(d). Does 2 divide l(5)?
False
Suppose 0 = -4*q + 19 + 21. Suppose q*v - 11*v = 4*j - 392, 91 = j + 2*v. Is 3 a factor of j?
True
Let u = -1565 + 487. Let d = -553 - u. Is 21 a factor of d?
True
Suppose -49*l = -29427 - 457878. Is 65 a factor of l?
True
Let h = 264 - 121. Suppose -3*b - 56 - 184 = 0. Let z = b + h. Is 26 a factor of z?
False
Let k(b) be the first derivative of -7*b**5/120 + b**4/3 - 7*b**3/3 + 13. Let o(q) be the third derivative of k(q). Is o(-10) a multiple of 26?
True
Suppose -48*w + 49*w + 4*a - 25 = 0, -5*w + 5*a = 0. Let s(p) = -3*p**2 + p - 12. Let g(m) = m**2 + 1. Let k(b) = 6*g(b) + s(b). Is 10 a factor of k(w)?
False
Let m(o) = -14*o + 6. Let y be m(0). Is 90 a factor of (60/7)/(y/441)?
True
Let m = 67 + -127. Let u be (m/(-4))/5 - 3. Suppose 4*g = -2*h + 130, 5*g + 5*h - h - 161 = u. Is g a multiple of 21?
False
Suppose -556 = -42*v + 15320. Is 6 a factor of v?
True
Let a(g) = 4*g + 32. Let x be a(4). Suppose -m + 25 + x = 0. Does 4 divide m?
False
Suppose 529*v - 489*v = 760. Let h(q) = -9 + 17*q + 2 - q**2 + 9*q. Does 14 divide h(v)?
True
Does 110 divide (4868 - -7)/15 + 5?
True
Let n = 141 - 137. Is (-5382)/351*((-14)/n - 1) a multiple of 46?
False
Does 6 divide (-13542)/1586 + (-12)/26 + 5919?
True
Let s = 2758 - -1978. Is s a multiple of 128?
True
Let s(d) = -25*d**2 + 349*d + 9. Does 4 divide s(13)?
False
Suppose 4*l - 3 - 13 = 3*p, -3*l + 2*p + 12 = 0. Suppose 294 = y + 3*i, -3*y + l*y - 294 = 2*i. Is y a multiple of 21?
True
Let y(o) = 3*o + 3. Let w be y(5). Suppose k + 26 = 5*q - w, -k = 4*q + 44. Let x = k + 62. Is 2 a factor of x?
True
Let g(c) = -53*c**3 - 8*c**2 - 25*c - 8. Does 119 divide g(-4)?
False
Suppose 14*g - 156 = -114. Suppose -g*z - 11 = -m + 260, -m - 2*z + 246 = 0. Is 16 a factor of m?
True
Suppose 5*s + 4*z + 12 = 0, -2*s + 2*z + 0*z + 6 = 0. Suppose 5*j = -l + 48, 2*j - j - 4 = s. Let c(g) = -3*g + 89. Does 5 divide c(l)?
True
Let l be 144/10 - (-5)/((-75)/6). Does 8 divide l/8 - (-19800)/96?
True
Let x(t) = t**2 - 69*t - 3768. Does 21 divide x(-106)?
False
Let g = 889 + -610. I