 381*g**2 + 136*g - 1069. Is p(7) a multiple of 6?
True
Let p = -4404 - -10990. Is p a multiple of 89?
True
Let k be -15 - 42/6*-1. Is 12 a factor of (0 + -29)*((-24)/2 - k)?
False
Suppose 3*u + 7 - 13 = 0. Let p be (6 + 70)*(-1 + 3/u). Let b = 4 + p. Does 27 divide b?
False
Let k(y) = -7*y**2 - 5*y - 63. Let a(d) = -d**2 - d. Let x(l) = 6*a(l) - k(l). Suppose -5*o - 2*t + 3*t = 0, 5*t = -o. Is x(o) a multiple of 21?
True
Let j = 247 + -238. Suppose 18905 = 28*n - j*n. Is n a multiple of 101?
False
Suppose 16 = -3*v - 5*b, v + 2 - 10 = b. Is 10 a factor of 2 - (-293 - (-1 - (v - -1)))?
True
Let b be (8/6 + 0)*(57 + -33). Suppose 27*o - b*o = 35. Is 5 a factor of 57/6 + ((-28)/8)/o?
True
Let x = -4522 + 4905. Is x a multiple of 39?
False
Let w be (-28)/(-21)*((-450)/(-4) + 0). Let s = 115 - w. Is 10 a factor of 91/s + 3 + 2986/10?
False
Suppose -16*b - 2070 = -19*b. Let s = b - -135. Does 23 divide s?
False
Let n = -5032 - -5489. Is n a multiple of 15?
False
Is 8 a factor of (617 - -1)/(23/46*2)?
False
Suppose 18*a - 49*a + 1717525 = 114*a. Is a a multiple of 115?
True
Let t(k) = -189*k + 666. Is 6 a factor of t(0)?
True
Let j be ((-5)/(-2) + 0)/(2/(-4)). Let r(m) = -5*m**3 - 3*m**2 + 6*m + 8. Is r(j) a multiple of 16?
True
Let z = 93924 + -58230. Is z a multiple of 17?
False
Let z be (-222)/(-18) + 1/(-3). Suppose 12*a - 16*a = -z. Suppose n - 138 = -2*o, 5*o - 144 = a*n + 201. Is o a multiple of 10?
False
Let u be ((-33)/15 - -3)/(13/65). Suppose -u*q = -3 - 181. Is q a multiple of 4?
False
Suppose -72 = 11*z - 19*z. Let g be (-2)/(-1) - (z + (-15)/3). Let f(m) = -26*m**3 - m**2 + 2*m + 4. Is 12 a factor of f(g)?
True
Let g be 2912/3 + (-11)/((-66)/(-4)). Suppose 5*s - g = 495. Is 28 a factor of s?
False
Let l(r) = 163*r - 649. Is 22 a factor of l(11)?
True
Let a = -27 + 34. Suppose 4*j + a*j - 4*j = 0. Suppose -2*g + 722 = 4*f, j*f + 203 = f - 4*g. Is 28 a factor of f?
False
Let r be (9 - -1)*(-57 - -143). Let i = r - 788. Is 12 a factor of i?
True
Let w(c) = 4*c**2 + c - 1. Let b be w(-1). Suppose b*z + 3*z = 1125. Is 35 a factor of z?
False
Suppose 2*k - 3*k + 640 = 0. Suppose k = -4*s - 4*s. Let f = s + 164. Is f a multiple of 12?
True
Suppose 0 = -3*h + 2*a + 17733, -5*h + 29581 = 22*a - 21*a. Does 7 divide h?
True
Does 180 divide 20520 + ((-20)/((-480)/(-18)) - (-12)/16)?
True
Suppose 55*d = 159*d - 461136. Is d a multiple of 17?
False
Let h = -40 + 15. Let m = h + 19. Is (1 + -4)*(m - 2) a multiple of 6?
True
Let d(z) = 644*z**2 - 55*z + 74. Is 95 a factor of d(5)?
False
Let b(a) = -256*a - 8941. Is b(-76) a multiple of 151?
False
Suppose -260*p + 34369 = -249*p - 536839. Does 377 divide p?
False
Suppose 140*f = 130*f + 47040. Is f a multiple of 112?
True
Let n = -4998 - -11136. Does 186 divide n?
True
Let b be 123/6 - 18/(-12). Let u = b + -17. Suppose u*y = -p + 131, y + 2*y = 0. Is 44 a factor of p?
False
Suppose r - 12 = -16. Let w be ((-2)/8 + 153/(-12))*r. Let v = -38 + w. Is v a multiple of 6?
False
Suppose 0 = -3*m - 2*p + 8486, -5*p + 4937 + 724 = 2*m. Does 28 divide m?
True
Let j(m) = -5*m + 8 - 16*m**2 + m**3 + m**3 + 17*m**2 - m**3. Suppose -6*l = 9*l - 75. Is 10 a factor of j(l)?
False
Suppose 0 = -31*c + 106522 + 29196. Is c a multiple of 56?
False
Let z be -27 + -1 - (-3 + (-21)/(-3)). Is z/(-7 - 192/(-28)) a multiple of 7?
True
Let v = 402 - 104. Let u = -245 + v. Is 2 a factor of u?
False
Suppose 2*z = 7*w + 650, -46 + 16 = -5*w. Suppose -x - 3*a - 234 = 0, -x - 2*a = 9 + 229. Let i = z + x. Does 25 divide i?
True
Suppose -17*o + 7820 = -1207. Suppose 542*u - 13354 = o*u. Is u a multiple of 14?
False
Let o(b) = -2*b**2 + 17*b + 26. Let k be o(6). Suppose k*v - 26*v - 7920 = 0. Does 44 divide v?
True
Let w = 947 - 669. Let z = w + -193. Is 26 a factor of z?
False
Let h = 1 - 14. Let b(n) be the third derivative of n**6/120 + 13*n**5/60 - n**4/3 + 7*n**3/6 + 12*n**2. Does 20 divide b(h)?
False
Suppose -43*g - 2245914 = -215*g - 27*g. Does 22 divide g?
True
Is 1834/1 + (195 - -14)/(-19) a multiple of 3?
False
Suppose -55*f = -51*f + a - 93708, 5*a - 23389 = -f. Is 26 a factor of f?
False
Let o(j) = 4*j**3 + j**2 + 10*j - 9. Let m(g) = 5*g**3 - g**2 + 12*g - 10. Let t(v) = 3*m(v) - 4*o(v). Is t(-8) a multiple of 5?
False
Suppose 23*h + 5*q - 72947 = 21*h, 0 = -3*h + 3*q + 109347. Is 28 a factor of h?
True
Suppose -3*g = -3*z - 12, -g + 3*z + 7 = -z. Suppose -g*i = -0*i. Suppose i*l - 42 = -2*l. Is l a multiple of 7?
True
Let q(u) = 2*u**2 + 10*u - 108. Is q(18) a multiple of 45?
True
Let q(u) = -911*u**2 + 2*u - 1. Let h be q(1). Suppose -106*i + 103*i = 3, 4 = -f - 5*i. Is 53 a factor of f + h/(-21)*12/10?
True
Suppose 5*c - 1976 = -4*b + b, -1324 = -2*b - 5*c. Let t = -314 + b. Is 30 a factor of t?
False
Let m(x) = x**3 - 3*x**2 - 4*x + 6. Let a be m(4). Suppose 5*o = 3*l + 525, -2*o = -a*o - 4*l + 452. Does 4 divide (2 - 3)/((-4)/o)?
False
Suppose -5*w - 2*y + 10 = -24, -3*w + 3*y + 33 = 0. Suppose -5*p = 5*t - 2020, -2*t - 5*p = -w*p - 803. Is 13 a factor of t?
True
Suppose 235*q = -36508 + 288663. Does 12 divide q?
False
Let v(t) = t**3 + 2*t**2 + t + 2. Let l be v(-2). Suppose -b - b - 2*x + 216 = l, 545 = 5*b + 4*x. Suppose i + i - n = b, 83 = 2*i + 5*n. Is i a multiple of 27?
True
Let w be (-3 - (3 - 4)) + 5 + -5. Is (w/8)/((-34)/2176) a multiple of 10?
False
Let m(t) = 2*t**3 - 5*t**2 - 8*t + 5. Let l = -45 - -59. Let p be 1/(6/20*l/21). Is m(p) a multiple of 6?
True
Let k be -58*-4*2/16. Let u = 31 + k. Does 17 divide u?
False
Suppose 0 = 3*t - 2*s - 93, 2*s + 147 = 5*t - 8. Suppose -1644 = -t*a + 29*a - 4*j, -a + 3*j = -837. Is a a multiple of 24?
False
Let x(z) = z. Let y(d) = 164*d - 2. Let c(i) = 2*x(i) + y(i). Let n be c(2). Suppose 5*j - n = f + 149, 5*j = 5*f + 475. Is j a multiple of 15?
False
Suppose n = 2*f - 31082, -112*n = -2*f - 107*n + 31090. Is 148 a factor of f?
True
Let t = -16 + 11. Let o = t - -1. Let d = 28 + o. Is d a multiple of 21?
False
Suppose 38*v - 35*v + 984 = 0. Let q = v + 733. Does 45 divide q?
True
Suppose -2*a = -0*a - 5*g - 11, 3*a = -5*g + 79. Let r = 71 - a. Is 3 a factor of r?
False
Let d be -84 - (0 + 1 + 5 - 4). Let y = -84 - d. Suppose 0 = -y*v - 5*c + 402, 4*v - 975 = -v - 5*c. Does 28 divide v?
False
Let u = 11983 - -2622. Is u a multiple of 4?
False
Let c = -4327 + 5017. Does 9 divide c?
False
Let v = -105 + 261. Let u = v - 120. Is 4 a factor of u?
True
Let r be -2 - (-45)/2*(-32)/(-24). Let y = r - 38. Is 3 a factor of (3*-7)/(y/4 + 1)?
False
Suppose 4*a - 114*l - 9436 = -119*l, 0 = a + 4*l - 2348. Does 2 divide a?
True
Let t be 3 + (-24)/(-3) + -3. Let i be (-24)/14*(-28)/t. Let q(a) = a**2 - a - 7. Is q(i) a multiple of 23?
True
Does 44 divide 22/((-11)/46 + (-5)/(-20))?
True
Let t = -2515 - -3879. Is 31 a factor of t?
True
Let p be (((-524)/(-5))/2)/(1/15). Suppose 2*b + p = 3*l, -2*b + 4*b - 1326 = -5*l. Does 8 divide l?
True
Let w = -112 + 228. Let h = w - 197. Let m = h - -84. Is 3 a factor of m?
True
Does 69 divide 230/(-4)*(77/(-11) - 23)?
True
Suppose -2*l + 9 = 3. Let v(p) be the third derivative of p**6/20 + p**5/10 - p**4/12 - 2*p**3/3 + 64*p**2. Is 36 a factor of v(l)?
False
Let x = 4517 + 999. Is x a multiple of 14?
True
Suppose 2*k = -2*v - 3*k + 181, -246 = -3*v + k. Let j = -1 - v. Let z = 116 + j. Is 3 a factor of z?
False
Let l(f) = -167*f - 3018. Is 2 a factor of l(-26)?
True
Is 88 a factor of 7/(7/16295) - (5 + -8 - -5)?
False
Suppose 5*v = 5*n - 540, 0 = -n + 2*v - 5*v + 88. Suppose 11*b = 62 + n. Is b a multiple of 4?
False
Let s(k) = 18524*k - 1929. Is s(4) a multiple of 22?
False
Let x(i) = -12*i - 88. Let a be x(-9). Suppose l = -4*l + 2*f + 1465, 4*f - a = 0. Does 5 divide l?
True
Suppose 5*f + 143 = -g + 29124, -5*f + 28984 = 4*g. Does 239 divide f?
False
Is 15 a factor of 373*(22 + 207/(-23))?
False
Let f(w) = -w**3 + 6*w**2 + w + 5. Let o be f(6). Suppose 6*r = 49 + o. Suppose 0 = 6*q - r*q + 532. Does 53 divide q?
False
Let v(s) = 2*s**3 - 22*s**2 + 13*s - 15. Let o be v(12). Let m = o - 47. Is m a multiple of 23?
False
Suppose 491160 = -5028*c + 5068*c. Is c a multiple of 141?
False
Let p = 147 + -76. Let b = p + -74. Let h(u) = 4*u**2 - u - 5. Is h(b) a multiple of 2?
True
Let x be 72*(-4 + (22/8 - -2)). Suppose r + 2*r - x = -f, -