- 90. Let h be b(0). Let c = h + 104. Is 7 a factor of c?
True
Let y be (-9)/(90/(-104)) - 3/(-5). Suppose 0 = -y*c + 28 + 5. Suppose -o = -5*p + 288, -o + 58 = c*p - 118. Is 19 a factor of p?
False
Let f = 43 - 48. Let r(k) = -9*k**2 - 5*k - 10. Let a(n) = 10*n**2 + 5*n + 11. Let m(v) = -3*a(v) - 4*r(v). Is 11 a factor of m(f)?
True
Let f(i) = i**3 - 26*i. Let c be f(5). Is 12 a factor of c*8/80 - 2018/(-4)?
True
Let x be (-1 - 2)*(3 - (-26)/(-6)). Suppose -12 = -8*u + x. Is 8 a factor of (-12)/(6 + -9 - (-3)/u)?
True
Let w = -418 + 625. Suppose 5*l - 347 = -4*g + 68, -313 = -3*g - 2*l. Suppose -p - 4*r = 2*p - g, 5*p - 4*r - w = 0. Does 13 divide p?
True
Suppose 3*r + 28 = 10*r. Suppose -3*c = 0, c - r = w + 5*c. Is 52 a factor of (-2)/w + 2 + 594/12?
True
Let b(v) be the first derivative of -2/3*v**3 + 6*v + 3/2*v**2 + 31 - 23/2*v**4. Is b(-2) a multiple of 45?
True
Suppose x = 3*g - g - 300, -4*x = g + 1173. Does 11 divide ((-1)/1)/(-6 - -5) - x?
False
Let d(m) = -m**2 + 167*m + 3649. Is 23 a factor of d(0)?
False
Let d(v) = v**2 - v + 1. Let h be d(3). Let l be 5 - 2 - (h + 0). Is 94/l*(-3 - -1) a multiple of 23?
False
Let k(w) = -5*w**3 - 27*w**2 - 6*w - 15. Let c(p) = 13*p**3 + 80*p**2 + 17*p + 45. Let o(a) = -3*c(a) - 8*k(a). Does 13 divide o(25)?
False
Does 28 divide ((-3321)/(-6))/((135/(-504))/(-5))?
True
Suppose 26*b + 456 = 20*b. Let f = b + 386. Is f a multiple of 5?
True
Let u(t) = 28*t - 29*t + 6*t - 5*t**2 + 3*t**3 + 24. Is u(5) a multiple of 23?
True
Let z = -16 + 21. Suppose z*c = 4*r + 237, -4*r - 126 = -2*r - 4*c. Let v = r + 92. Is v a multiple of 8?
False
Does 214 divide (((-24)/150)/((-2)/4055))/(1/20)?
False
Let m(a) = 8*a - 149. Let f be m(18). Let o(g) = 2*g**2 + 25*g + 154. Is o(f) a multiple of 22?
False
Is 19 a factor of (-9 + (801 - (1 + -7)))*7?
True
Let b = 8743 - 645. Is b a multiple of 31?
False
Suppose -3*q + 15 = 3*d, 5*d - 2*d + q = 13. Suppose -h - d = -x - 2*h, 3*x = 5*h + 12. Let i(b) = 6*b - 18. Does 6 divide i(x)?
True
Let q(h) = 80*h + 8792. Is 7 a factor of q(0)?
True
Suppose -5*w + 20 = 3*z, 5*z - 5*w + 10 = -10. Suppose z = 5*l - 2*l - 3*y - 417, -3*l - 3*y = -423. Is l a multiple of 35?
True
Let x(o) be the third derivative of o**4/6 - 11*o**3/6 + 2*o**2. Let k be x(6). Suppose -k*l = -2*l - 462. Is l a multiple of 6?
True
Suppose -307*x + 306*x - 8*o = -22396, 3*o + 22341 = x. Does 81 divide x?
True
Let k(q) = 9*q + 50. Let a be k(-5). Suppose -a*p + 7*p + 2 = 0, 557 = 5*f - 2*p. Is f a multiple of 3?
True
Let l(h) = -h**3 + 4*h**2 - h + 171. Suppose -314 = 2*k - 314. Does 9 divide l(k)?
True
Let g(s) = 12*s + 1176. Is g(51) a multiple of 4?
True
Suppose 2*u - 2874 = 5*y + 2002, -3*u - 5*y = -7314. Does 3 divide u?
False
Suppose 0 = -3*b + 6, -b - 19 + 6 = 3*w. Let j be (2130/4)/w*-2. Is j/12 - 2/(-8)*1 a multiple of 5?
False
Suppose a + a = 6. Suppose 25 = 2*k + a*k. Suppose k*l + 7*g - 2*g = 325, l = 3*g + 61. Is 8 a factor of l?
True
Let i(o) = 366*o**2 + o. Let t be i(-1). Let q = -17 + 23. Suppose q*a - t = 61. Is a a multiple of 25?
False
Suppose 0 = 13*k - 424645 + 174187. Is k a multiple of 169?
True
Let m = 1070 + -1601. Let b = m - -747. Let c = b + -111. Is 21 a factor of c?
True
Suppose -m + 2*m = 2, -5*m = -4*k + 24722. Is 9 a factor of k?
True
Let k = 3429 - 3159. Is k a multiple of 5?
True
Suppose 259*v = 222*v + 93092. Is 25 a factor of v?
False
Let k(x) be the first derivative of x**5/20 - x**4/12 + x**3/3 + 139*x**2/2 + 7*x - 18. Let f(d) be the first derivative of k(d). Does 24 divide f(0)?
False
Suppose 28*i + 82*i = 743380. Is 31 a factor of i?
True
Let u = 44 + -49. Let i = -14 - -10. Does 27 divide (1 + u)/i - -80?
True
Let s(b) = 176*b**3 - 4*b + 19. Let o be s(-4). Is 19 a factor of (-5)/(-4) - o/76?
False
Let p = -87 - -122. Let j be 6/(-39) - (-2307)/39. Let h = j - p. Does 11 divide h?
False
Let z(t) = 84*t**2 - 25*t - 1. Does 48 divide z(11)?
True
Let p(h) = 84*h - 292. Is p(15) a multiple of 22?
True
Let c(t) = -35 + 17 + 133*t - 53. Does 13 divide c(2)?
True
Suppose 19*n - 634501 = -29*n - n. Is 23 a factor of n?
True
Let o = 229 - 325. Let g be (-208)/o + 1/(-6). Suppose -g*l - 5*l + 133 = 0. Does 3 divide l?
False
Let b(n) be the first derivative of -5*n**2 + 76*n - 110*n + 3*n**2 - 7 + 18. Does 7 divide b(-12)?
True
Let p(f) = -24*f - 49. Suppose -5*m - 147 = 16*m. Is 9 a factor of p(m)?
False
Suppose 0 = -22*h + 23 - 89. Does 65 divide ((4 - h) + 2)*(80 - -3)?
False
Let z(s) = -11*s**3 + 77*s**2 + 29*s + 20. Let c(o) = 5*o**3 - 38*o**2 - 15*o - 11. Let a(n) = -9*c(n) - 4*z(n). Is 30 a factor of a(34)?
False
Suppose -14*q + 9*q + 17290 = 5*w, 0 = -4*q - 5*w + 13834. Is q a multiple of 8?
True
Let b(z) = z**3 - 20*z**2 - 32*z + 2. Let w = 43 - 21. Is 19 a factor of b(w)?
True
Let v be -7*1*132/14. Let l = -35 - v. Let s = l - -5. Is 12 a factor of s?
True
Let w be ((-6)/5)/(10 - 106/10). Suppose -4*t = 4*y - 720, w*t - 4*y = -7*y + 360. Does 20 divide t?
True
Suppose -6*x + 9494 = -12934. Is 14 a factor of x?
True
Let j(l) be the second derivative of l**4/6 + 5*l**3/2 + 23*l**2 + 8*l. Does 24 divide j(-14)?
False
Suppose n + 20 = 4*p - 18, 4*n + p = -84. Let w be 6*1/(-33) - 2138/n. Let g = w - 46. Does 17 divide g?
True
Suppose -4*n = -8*n. Suppose n = 2*y + 4*v - 438, -4*y = 4*v - 5*v - 885. Suppose -3*k - 5 + y = 0. Is k a multiple of 36?
True
Does 39 divide 312/(-4212) + 819238/54?
True
Let k(s) = s**3 + 5*s**2 - 12*s + 16. Let y be k(-7). Suppose y*t = 18*t - 5344. Does 10 divide t?
False
Let d be (-21)/(-2)*(-30)/(-3). Let x = d - 36. Is x a multiple of 7?
False
Suppose 0 = 2*n + 5*k - 341 - 252, 0 = -3*n + k + 881. Let v = n + -78. Does 24 divide v?
True
Suppose 0 = 6*s - 11*s + 45. Suppose -s*d = -d. Suppose d = -8*h + 2*h + 192. Does 16 divide h?
True
Let a be 8/(-20) - (-6754)/10. Suppose 3*w - 12*w = -a. Does 5 divide w?
True
Let o(c) = c**2 - 7*c - 1. Let x be o(7). Is 3 a factor of x*1*(-45)/(20/4)?
True
Let z(i) = -7*i + 9*i + 147 - 6*i + 129. Let r be z(0). Suppose -2*p - 1746 = -5*x + r, -1213 = -3*x + p. Does 51 divide x?
False
Let x be (1 - 3)/(-2) + 3. Suppose -x*w + 723 - 171 = 0. Does 38 divide w?
False
Let g = 1506 + -141. Is g a multiple of 65?
True
Suppose -5*j + 922 = 2*d - 1153, j = 3*d - 3155. Does 24 divide d?
False
Let g(t) = -t**3 - 9*t**2 - 3*t - 8. Let p be g(-6). Let z = -1 - -11. Let f = z - p. Does 16 divide f?
False
Let u(w) = -3*w - 85. Let d be u(-25). Let z be (22/d - -1)/(18/45). Is 10 a factor of 4 + z/2*(-134)/3?
False
Suppose -69 + 71 = -2*s. Let k be (4 + (-1038)/8)/(s/4). Let i = -355 + k. Does 37 divide i?
True
Let s(d) = 33*d - 31. Let o be s(-6). Let u = o - -388. Let g = u + -45. Does 31 divide g?
False
Let x(z) = z**3 - z**2 - 14*z + 2. Let t be x(9). Suppose -103 = -11*v + t. Does 2 divide v?
False
Suppose 110*p = 113*p - 3123. Suppose -7*y + 373 = -p. Is 63 a factor of y?
False
Suppose -289*g + 278*g = -64515. Does 23 divide g?
True
Let c = -12 - 174. Let j = c + 218. Is 11 a factor of j?
False
Suppose 10*d - 8*d = -98. Let a = -48 - d. Is 14 a factor of (a/(-3))/(((-16)/1812)/4)?
False
Let m(x) = -2*x**3 + x**2 - 2*x - 1. Let f be 72/48*4/3. Let d be m(f). Let u(i) = -i**2 - 21*i - 25. Does 10 divide u(d)?
False
Is 6 a factor of -3 - (7/(-7) - -78)*-39?
True
Suppose 3*s + 6 = -5*t - 15, 0 = 4*t - 4*s + 4. Let f be ((-186)/30 + 4)*(t - 2). Suppose 14*c = f*c + 231. Is c a multiple of 14?
False
Suppose 2*z - 46 = -4*x, 3*x + 0*x - 31 = 2*z. Suppose -x*g = -8 - 25. Suppose g*d = -206 + 299. Is d a multiple of 3?
False
Let l = 48917 + -27893. Is 32 a factor of l?
True
Let w = -107 - -107. Let m be (1 + w)*7*(2 + -1). Let s(x) = 26*x - 14. Does 12 divide s(m)?
True
Let t be (-3 - -1237) + 36/(-6). Suppose 16*l - t = 6900. Does 19 divide l?
False
Let l = -781 - -1951. Does 28 divide l?
False
Let d = 6541 + 18989. Does 21 divide d?
False
Does 50 divide (1129 - -1) + 37 + -23?
False
Suppose 4*m - 31565 - 667 = 0. Does 79 divide m?
True
Suppose 4*l = -20, 11*u - 15*u = -2*l - 582. Suppose -5*j - 5*w = -1495, 2*w = j - u - 150. Does 33 divide j?
True
Is 11 a factor of 2066 + 48/(-24)*27/6?
True
Let h = 59 - 64. Let i be (12/(-10))/(8/h - -2). Is 5 a factor of 10/(i/5 + 1)?
True
Suppose g = -296 + 111. Let p = 68 - g