e -3*v = m - q, 6*m - 11*m = 3*v - 68. Is 8 a factor of m?
True
Let i(p) = -p**3 + 8*p**2 + 24*p + 22. Let n be i(8). Let d = n + -186. Is 28 a factor of d?
True
Is 86 a factor of (-58860)/(-8)*14*64/280?
False
Let b(w) = 3*w**3 - w**2 + w - 1. Let r be b(1). Suppose 0 = -5*h - r*h - 616. Let k = h - -92. Does 2 divide k?
True
Let q = 1875 - 1287. Does 11 divide q?
False
Let h be (33/(-6))/(1/194). Let z = -613 - h. Let x = z + -139. Is x a multiple of 21?
True
Is (3 - -4937) + ((-10)/(-1) - 25/5) a multiple of 65?
False
Suppose 6379 + 12579 = 4*p - 2*o, -p + 2*o = -4744. Does 23 divide p?
True
Let p = -7 + 62. Let c = p - 51. Suppose -c*t + 5*x - 25 + 774 = 0, 5*t = -4*x + 967. Is t a multiple of 26?
False
Suppose 78*m = 450451 + 1596893. Is 193 a factor of m?
True
Does 3 divide (-1)/12*(-2 + -10) + 8201?
True
Let s = -62 - -56. Does 49 divide (98/s)/((-3)/45)?
True
Suppose 68*h - 756 = 59*h. Is 16*-7*14/h*-6 a multiple of 7?
True
Suppose 5*p + 23 = 4*s, 0 = s - 3*s + 3*p + 13. Is 7 a factor of 12/8*(s + 302/3)?
True
Is (-1)/(-2)*-2*0 + 5828 a multiple of 44?
False
Does 31 divide ((-75)/10 - -1)/(1/(-194))?
False
Let j(z) = -26*z + 6179. Let t be j(0). Suppose 11*n - 20952 = -t. Is 103 a factor of n?
False
Let o(q) = -q**3 + 5*q**2 - 8*q + 4. Let a be o(2). Suppose -5*w + 272 = -a*b + 2*b, -3*b - 2*w = -386. Is b a multiple of 9?
True
Suppose 6 = -2*z, 8 - 4 = -v - 5*z. Suppose -b + 246 = -v. Is 21 a factor of b?
False
Let l = 74 - 73. Does 19 divide 0 + l + (181 - -1)?
False
Let a be (-267)/(-9) + 13/((-195)/10). Suppose a*i - 138 = 28*i. Is 61 a factor of i?
False
Suppose 0 = -7*b + 159 + 233. Let u be (10/7)/(8/b). Suppose 0 = -5*p + u, 0 = 3*y - 0*y - 3*p - 411. Is 35 a factor of y?
False
Suppose 0 = -3*h - 2*f - 0*f - 107, 4*f = -4*h - 148. Let b be 11/3 - (-22)/h. Suppose 4*p = 3*o + 141, -b*p - 48 = -4*p + 5*o. Is p a multiple of 11?
True
Let d be (-13604)/(-12) - 1/(-3). Suppose -4*q = 3*q + d. Does 27 divide (6/(-4))/(3/q)?
True
Let h(c) be the third derivative of c**4/12 + 11*c**3 + 100*c**2. Does 4 divide h(35)?
True
Let s(p) = 3*p**2 + 19*p + 14. Let u be s(-15). Let t = u + -274. Does 27 divide t?
False
Let r be 74 + (40/12 - (-1)/(-3)). Let o = r + -20. Suppose o + 333 = 3*m. Does 16 divide m?
False
Does 70 divide 14/(196/611450) + -18?
False
Let h = 1738 + -866. Let p = h - 792. Is 18 a factor of p?
False
Suppose q + 658 = 3*d - 0*q, 2*q + 1098 = 5*d. Is 5 - 1/((-2)/d) a multiple of 57?
True
Suppose 482 = 20*k + 41322. Let m = -1217 - k. Is m a multiple of 25?
True
Let k(z) = 16047*z + 414. Is 27 a factor of k(2)?
True
Let c(z) = 378*z**2 - 65*z - 4. Is 316 a factor of c(10)?
False
Let f(q) = 3*q**2 + 45*q - 44. Let i be f(-16). Suppose -3*s - 6*d + 5*d + 274 = 0, -4*s + i*d + 376 = 0. Is 9 a factor of s?
False
Let z(i) = -4*i - 4. Let a be z(-3). Let o(m) = m**3 - 7*m**2 - 9*m + 8. Let h be o(a). Suppose -d = 2*b - 24, -4*d + 7*d - b - 51 = h. Does 6 divide d?
True
Let s(n) = n**3 + 30*n**2 + 57*n + 103. Let r be s(-28). Suppose -77*b = -r*b - 2156. Is b a multiple of 21?
False
Let p(j) = 5*j**2 + 5*j + 1. Let y be p(7). Let s(q) = 5*q**2 - 37*q - 37. Let k be s(-1). Suppose -k*a = -84 - y. Is 10 a factor of a?
False
Suppose 5*q + o = 6*o + 32770, -q + 6562 = o. Is 6 a factor of q?
True
Let l(y) = -13*y**3 - 3*y**2 + 12*y - 12. Let w be l(5). Let s = w - -2530. Suppose s = 8*z + 158. Is z a multiple of 30?
True
Let t(x) = 2233*x - 8604. Is 138 a factor of t(24)?
True
Let n(f) = -f**3 - f**2 - 4*f - 8. Let d be n(-2). Suppose -3*v + d*t + 152 + 452 = 0, 2*t = -2*v + 384. Is 14 a factor of v?
True
Does 9 divide (-256)/(-3200) + 446/50?
True
Let u(y) = -2*y**3 + 20*y**2 - 4*y + 328. Is 77 a factor of u(-25)?
False
Let n = 35 - 34. Let p be (-16)/((-4)/n) - 2. Suppose -p*w + 112 - 4 = 0. Does 18 divide w?
True
Let w(p) = -2688*p - 3928. Is 2 a factor of w(-4)?
True
Suppose 10*h - 6*h = -4*g + 8908, 0 = -g + 2*h + 2236. Let f = g - 1388. Does 40 divide f?
False
Suppose -4*p = -16*p + 12. Is 16 a factor of 1/(p/7) + 25?
True
Let w(v) = -v + 2*v**2 - 4*v + 7*v + 4*v**2. Let j be w(-2). Does 29 divide 3/2*j*87/18?
True
Let o(z) = z**2 - 4*z - 21. Let n be o(7). Suppose 6*v + 81 - 549 = n. Is 6 a factor of v?
True
Let d(j) = -3*j + 18. Let l be d(5). Let w(o) = -o + o + 0*o + 2*o**2 - 6*o - l. Does 11 divide w(6)?
True
Let b(s) be the first derivative of s**3/3 - 15*s**2/2 + 10*s - 4. Let f be b(16). Suppose -z + f = -4*l - 0*l, 3*l = 3. Is 15 a factor of z?
True
Let t = -55 - 43. Let k = -26 - t. Suppose 5*h - n - 89 = 0, 6*h - 2*h - k = n. Does 5 divide h?
False
Let f(d) = 8*d - 96. Let l be f(12). Suppose l = -3*q - 20*q + 2783. Does 11 divide q?
True
Suppose v + 5*q = 19, -2*v - 24 = -5*v - 4*q. Suppose -v*o + 5*o = -6. Is (0 + 90)/((-9)/o) a multiple of 10?
True
Let f(y) = -10*y**2 - 5*y + 5. Let i be f(2). Let w(g) = 2*g**2 + 8*g - 3. Let n be w(-8). Let t = i + n. Does 16 divide t?
True
Let p(q) = 2*q**2 - q. Let n be p(9). Suppose 4*s + n = s. Let g = 71 + s. Is 4 a factor of g?
True
Let x(i) = 4572*i + 3828. Does 37 divide x(8)?
True
Let c(m) = -6*m**3 - 10*m**2 + 22*m - 19. Let t be c(8). Is 14 a factor of -2 - 1 - t/9?
True
Suppose 0 = 77*l - 65*l - 5616. Is 38 a factor of l?
False
Suppose 12 = 5*c - 13. Suppose -11*q + c*q + 1134 = 0. Suppose 2*t + b = -0*b + q, 0 = -5*t + b + 483. Is t a multiple of 32?
True
Is (-37960)/2704*(0 - 680) - (-2)/(-13) a multiple of 87?
False
Let m(i) = -25*i - 88. Suppose -12*g + 7*g = 120. Is m(g) a multiple of 16?
True
Is 2/18 - (-6874752)/864 a multiple of 109?
True
Let o(l) = -31*l + 230. Let u be o(6). Suppose 42*t = u*t - 1308. Does 11 divide t?
False
Let h = -143 - 124. Let a = h + 284. Is 17 a factor of a?
True
Suppose -12*u + 24*u = -2112. Does 31 divide 2/8 - 32692/u?
True
Let u be -6 + 4 + -46*1. Let p be (-610)/16 - 6/u. Let i = -3 - p. Is i a multiple of 5?
True
Let h be (-3 + 5)*-1 + 122. Suppose 63*u + h = 67*u. Let w = 33 - u. Is 2 a factor of w?
False
Let m(u) be the first derivative of -5*u**4/6 - 5*u**3/3 + 7*u**2/2 - 4. Let z(l) be the second derivative of m(l). Is z(-3) a multiple of 4?
False
Let k(x) = -x**3 + 20*x**2 - 19*x + 1. Let j be k(19). Let y be (8/(-24))/(j/3). Does 6 divide 11*1/(1/(-6))*y?
True
Let q(o) be the second derivative of 1/12*o**4 + 11/3*o**3 + 0 + 17*o**2 - 19*o. Is q(-23) a multiple of 3?
True
Let l(k) = k**3 + 15*k**2 + 12*k + 12. Let i be l(-14). Suppose -2*r - 106 = -2*u + i, -2*u + 5*r + 158 = 0. Does 23 divide u?
True
Suppose -4*g = 0, 0 = 3*t + 4*g + g - 87. Does 43 divide ((-2)/10)/(t/(-6235))?
True
Is 14606/8 - ((-492)/(-48))/(-41) a multiple of 45?
False
Let c = 24 - 20. Suppose d - 24 = c*v, v + 5 + 12 = 3*d. Suppose 163 = 2*p + 3*m - 30, 0 = 4*p + d*m - 396. Is p a multiple of 13?
True
Let q(p) = -p**3 - 35*p**2 + 593*p - 173. Is 176 a factor of q(-51)?
False
Let n be 2/8 - (12 - 81/12). Does 35 divide n + (-9)/((-36)/3616)?
False
Let q(v) = -v**3 - 26*v**2 - 104*v + 5. Let s be q(-21). Let h(y) = y**3 + 18*y**2 + 30*y + 68. Is 5 a factor of h(s)?
True
Let c(r) = 3*r**2 + 14*r - 393. Is c(-41) a multiple of 41?
False
Suppose 5*x + l = 6*l - 20, 0 = 4*l - 8. Let t = x - -2. Suppose t*h + 4*h + 4*q = 176, -2*q = 4*h - 168. Does 10 divide h?
True
Suppose 36*f - 3*y = 41*f - 36647, -5*y + 43968 = 6*f. Is f a multiple of 3?
False
Let g be -4 - -1483*(-3 + 4). Suppose -2*h = -y + 477, -4*y + 2*h + g = -405. Is 17 a factor of y?
False
Suppose 123 - 27 = 16*o. Suppose -s + 3*u = -402, -2*s - o*u + 9*u + 798 = 0. Is s a multiple of 22?
True
Let q be 10/(-6)*(7 + -10). Suppose -4*n = -0*j - 5*j + 1742, -q*j + 1754 = 2*n. Is 13 a factor of j?
False
Let n(l) = -6*l**3 + 3*l**2 + 6*l - 2. Let x be n(-3). Suppose x*m + 100 = 170*m. Is m a multiple of 3?
False
Let t(b) = -12*b + 510. Does 19 divide t(36)?
False
Is 80 a factor of 525/(-4200) + ((-1741954)/(-144) - 6/(-27))?
False
Let x = 6018 + -1215. Is 17 a factor of x?
False
Suppose -3*f + 4*f - 1 = -4*b, -5*b + 11 = -2*f. Let i be (2 - -114)/4*f. Let d = 169 + i. Does 25 divide d?
False
Let i = 5 - -148. Suppose 8*h - 834 = 3*h + 2*r, i = h - 5*r. Is 42 a factor of h?
True
Suppose -9*t + 6*t + 21 = -2*m, -t - 3 = m. Is 6 a factor of -7 - (-11 - m) - -197?
False
Let o = 4483 - -694. Is 12 a fact