 28. Let x(n) = -10*n - 28. Is 4 a factor of x(c)?
True
Suppose -713*l - 5*x = -711*l - 56867, -4*x - 28 = 0. Does 6 divide l?
False
Suppose -l + v = 4, -2*l + 4*v - 9 = -3. Let d(j) = -12*j + 2 - 13*j + 3. Is d(l) a multiple of 13?
True
Let c(q) = 2119*q + 3418. Is 29 a factor of c(2)?
True
Suppose -10*t + 17*t = 189. Let z(x) = -2 + 1 - 2 + t*x + 6. Does 26 divide z(4)?
False
Does 47 divide (-3)/(2 - 9752/4864)?
False
Suppose -593*n + 129804 = -589*n. Is 87 a factor of n?
True
Let r = -42406 - -56582. Does 16 divide r?
True
Suppose 3*c - 32 = -t + 379, 675 = 5*c + 5*t. Let h be (-8094)/(-27) - ((-136)/(-36) - 4). Let j = h - c. Is j a multiple of 11?
False
Let q(c) = c**3 + 8*c**2 - 21*c + 4. Suppose -2*y + 23 = -2*a - 3*y, -y - 3 = 0. Is q(a) even?
True
Suppose 68 = -3*b - 14*b. Let u(r) = -36*r - 56. Does 12 divide u(b)?
False
Let b(k) = k**3 - 5*k**2 + k. Let j be b(5). Let y = 1421 - 1421. Is 16 a factor of (j/(-15) - y) + 241/3?
True
Let c = 1516 - -5071. Does 152 divide c?
False
Let o(y) = -y**2 + 3*y - 13. Let b be o(4). Let s be b/(-3) - 1/(-3). Suppose 0 = p - 2*p + 5*t + 27, 0 = p + 2*t - s. Is p a multiple of 10?
False
Let o = 350 + 67. Does 56 divide o*8/6 + 4?
True
Is 18 a factor of 11 + (-194)/12*(-28 - 626)?
True
Is 53 a factor of -2*9/(-2) - (-553 + -13314)?
False
Let p(z) = -z**2 + z. Let c(s) = -9*s**2 - 21*s - 6. Let y(o) = -c(o) + 2*p(o). Let j(g) be the first derivative of y(g). Is j(5) a multiple of 9?
False
Let y = 58 - 54. Let t = y - 4. Does 12 divide (54 - -10) + (-4 - t)?
True
Let h(j) = -j**3 + 11*j**2 - 7*j - 8. Let s be (4 - 5)*2 + -24. Let r be s/(-117) + 176/18. Does 10 divide h(r)?
False
Suppose -15316 = 4*m - 3*q, -2*m - 6355 = q + 1293. Let d = m + 7778. Is 2*(-2)/(-14) - d/(-133) a multiple of 12?
False
Let h be 2 + (-1)/((-1)/(-2 + 60)). Let p = 57 - h. Let t = p + 45. Is 11 a factor of t?
False
Suppose 17505*f = 17527*f - 15906. Is 9 a factor of f?
False
Suppose -h - 4*h - 3*z = -11332, -z = h - 2268. Let b = h + -1063. Is b a multiple of 11?
False
Suppose 195*x - 194*x = -5*v + 52318, -2 = x. Does 24 divide v?
True
Suppose -31900 = -6620*l + 6609*l. Is 29 a factor of l?
True
Let h(c) = -12*c**2 + 741*c - 103. Does 9 divide h(48)?
False
Let m(p) = p**2 + 2. Suppose h - 2 = -v, -2*h = 3*v + 2*h - 8. Let k be m(v). Suppose -k*n = -12 - 12. Is 5 a factor of n?
False
Is -4 + 19/(209/7810) a multiple of 10?
False
Let p(w) = w**3 + 11*w**2 - 6*w + 19. Let d be p(-9). Let r = d - 108. Is 23 a factor of r?
False
Let s(b) = -6*b + 46. Let y(t) = -3*t + 23. Let l(w) = -4*s(w) + 7*y(w). Let j = 28 + -10. Is 12 a factor of l(j)?
False
Let b(i) = -i**3 + 2*i**2 + 3*i + 3. Suppose 8 = w + 3*o + 2, -2*w - o = -2. Suppose -4*h - 3*z - 8 = w, -2*h + 8 = -6*h - z. Does 12 divide b(h)?
False
Let p = 109 - -32. Suppose -3*n - 15 = 0, p = a - 3*n - 117. Is 27 a factor of a?
True
Let h(l) = 14*l**2 - 6*l - 1. Let z be h(-2). Suppose -2*s = 4, -3*v = -6*v + 2*s + z. Is 5 a factor of v?
False
Let n(p) = 319*p + 1474. Is n(7) a multiple of 5?
False
Let w = -9548 - -12274. Is 25 a factor of w?
False
Let c(f) = -f**2 - 61*f + 10. Let n be c(-18). Suppose -n*w = -772*w - 8964. Is 10 a factor of w?
False
Let p(x) = x**3 + 11*x**2 - 13*x - 20. Let f be p(-11). Let k = 319 - f. Is 22 a factor of k?
False
Suppose -89920*y = -89952*y + 277120. Is 14 a factor of y?
False
Let f be (-2)/(-6)*(5 + 19) - 2. Suppose 10 = -f*t + 34. Suppose r + 5*i = 161, -5*r + 4*r + t*i + 116 = 0. Does 38 divide r?
False
Let p = 5546 - 5120. Is p even?
True
Let w(d) = 10*d. Let c be w(1). Is 10 a factor of (-510)/4*(c + 38/(-3))?
True
Suppose -2*r - 6514 = -5*y, -2*r + 3906 = 3*y - 4*r. Is 7 a factor of y?
False
Let l = 8011 - 4271. Is l a multiple of 10?
True
Suppose -2*i - 3*i = -2*o + 19, -5*i = 5*o - 30. Suppose -13*q = -14*q - o. Let f(b) = b**3 + 7*b**2 - 3*b + 5. Does 26 divide f(q)?
True
Let o be (-9)/(-1)*(-74 + 1). Let k be (o/12)/(3/(-4)). Let j = k - 66. Is j a multiple of 7?
True
Suppose -2*f + 29 = 3*w - 8, -82 = -5*f - 4*w. Let a(k) = k**2 - 11*k + 9. Let y be a(f). Let g = -35 + y. Is g a multiple of 3?
False
Let b be (-22)/(-12) + 19/114. Suppose 0 = -2*n + r + 154 + 53, -2*n = -b*r - 202. Does 6 divide n?
False
Let m = -1238 + 4851. Is m a multiple of 13?
False
Suppose 3*g = -h + 8118, 22502 + 18098 = 5*h + 5*g. Is h a multiple of 18?
False
Suppose 6*a - 21*y - 12402 = -19*y, -4*y = a - 2080. Does 22 divide a?
True
Let b(s) = -23*s + s**3 - 4 + 26*s - 4*s**2 + 4 - 2. Let k be b(3). Is 27 a factor of 3 + k + -2 - -55?
True
Let w(k) = -3*k**3 - 11*k**2 + 12*k - 56. Is 20 a factor of w(-8)?
True
Let w = -24954 + 43006. Does 17 divide w?
False
Suppose 6*q - 5*q + 42120 = 4*q. Does 135 divide q?
True
Suppose -294*t = 1589457 - 8114787. Does 193 divide t?
True
Suppose -3*v - 8 = 4, -4*z - 5*v = 8. Let y = 142 - 83. Suppose -40 = -z*f + y. Is f a multiple of 4?
False
Let i = 12846 + -7981. Is 8 a factor of i?
False
Let d be (144/(-30))/((-9)/120). Suppose k - d + 19 = 0. Is 3590/k - 4/(-18) a multiple of 20?
True
Suppose 16*i - 19*i = -603. Let u(h) = h**3 + 13*h**2 + 12*h + 4. Let l be u(-12). Suppose -l*d - t + 6*t + i = 0, 4*t = 3*d - 152. Does 22 divide d?
True
Let b = 199 + -157. Is 122*(b/(-112))/((-6)/8) a multiple of 41?
False
Suppose -s - 707 = 6*s. Let t = 110 + s. Let b(y) = y**3 - 6*y**2 - 8*y - 9. Does 20 divide b(t)?
False
Suppose 5*f = -s + 483, -f + 1409 = 5*s - 1102. Does 18 divide s?
False
Suppose 0*s - 35 = -s - 2*v, s - 5*v = 35. Does 7 divide 3/(21/(-2)) - (-7535)/s?
False
Let z(f) = -6*f - 22 + 3*f - 17. Let a be z(-15). Suppose a*u + 0*u - 348 = 0. Does 18 divide u?
False
Does 20 divide 7361 - (10 + -3 + (22 - 28))?
True
Let q be 216 + 16/4 + -13. Let h = q - -31. Does 5 divide h?
False
Suppose -3*r + 0*r + 3*l - 150 = 0, 4*l = -3*r - 164. Let j be (-8 - -2)/((-6)/r). Let u = j - -100. Is 24 a factor of u?
True
Suppose 75*z = 66*z + 36306. Is z a multiple of 19?
False
Let j = -4365 - -6992. Let h = -1306 + j. Is 80 a factor of h?
False
Let u be (-8)/((-1)/3*3). Suppose -u*d + 422 = 2230. Is 12 a factor of ((-4)/8*d)/1?
False
Let h be ((-31)/(186/2044))/(2/(-3)). Suppose 1603 = 3*o - 10*r + 11*r, -o - 5*r = -h. Does 52 divide o?
False
Suppose 5*s = -4*n + 1672, -n - s - 850 = -3*n. Let j = -325 + n. Is 24 a factor of j?
False
Let k(t) = -3*t**2 + 24*t - 16. Let j be (-12)/90 - 146/30 - -11. Does 10 divide k(j)?
True
Suppose -4*o + 9*o = 3510. Suppose f = 27*f - o. Is 23 a factor of f?
False
Let s(a) = 28*a**2 + 219*a - 52. Is 109 a factor of s(21)?
True
Suppose -5*l - 5*r = 1300, -2*l + 2*r - 73 = 467. Let j = l - -461. Is j a multiple of 15?
False
Let k = -273 + 273. Let x(a) be the second derivative of a**3/6 + 5*a**2 + a. Is x(k) even?
True
Suppose -21*s + 71*s - 896668 = 1026832. Is 10 a factor of s?
True
Let d = -189 - -295. Suppose 4*i + 96 = 20. Let g = d - i. Does 16 divide g?
False
Let o(j) = 3*j**2 + 3*j - 7. Let y be o(2). Is 35 a factor of 2 + 22/y - (-1222 - 0)?
False
Let b = 601 - 894. Let p = b + 357. Is p a multiple of 64?
True
Let s be -4 + (5/20 - 19/(-4)). Is 25 a factor of 96 + 5 + 3*s/(-3)?
True
Let l(t) = 8*t + 6. Let u be l(9). Suppose u = 4*j - 798. Suppose -5*m + 7*m - j = -3*q, 102 = m - q. Is m a multiple of 21?
True
Let y(c) = 3711*c + 2901. Is 21 a factor of y(4)?
True
Let f(b) = -b**3 + 23*b**2 - 8*b + 2. Suppose -26*k = -29*k + 69. Let j be f(k). Is 13 a factor of ((-5)/(-7) - 1) + (-9516)/j?
True
Suppose 5*c = 4*g + 1360, 1015 = -3*g + 7*c - 2*c. Let f = g - -726. Is f a multiple of 3?
True
Let k(z) = 69*z**2 + 18 - 6*z - 67*z**2 - 6 + 37*z**3. Is k(2) a multiple of 38?
True
Let w(a) = a**3 - 21*a**2 + 2*a. Let u be w(21). Let b be (-39)/7 - 18/u. Does 13 divide (b/(-5))/((-4)/(-170))?
False
Is ((-2826)/(-45))/(1 - (-38)/(-40)) a multiple of 8?
True
Suppose -2*p - 10*p = -60. Suppose -4*t = 4*d - 188, -p*d + 135 = t + 2*t. Let q = t + 0. Does 5 divide q?
True
Is 172 a factor of (-3)/(66/(-522203)) - 4/8?
True
Let v(y) = -y**2 - 19*y + 12. Suppose -2*w + 119 = 111. Let q be (-30)/4*(w - 2). Is v(q) a multiple of 18?
True
Let w(b) = -2*b + 1090. Is w(17) a multiple of 17?
False
Let b = -749 + 751. Suppose -b*o + 4*l = -2528, -5*o - 13*l + 6395 = -8*l. Does 98 divide o?
True
Let q(o) = -77*o 