a**5/12 + 6*a**2. Let x(o) be the third derivative of u(o). Is x(3) a multiple of 6?
True
Suppose 8*y - 11928 = -6*y. Does 80 divide y?
False
Let w(z) = -z**2 + 8*z + 21. Let t be w(13). Is 16 a factor of (1 - (-3 + t))/(-1 - -2)?
True
Let o = -208 - -256. Let t(c) = -c**3 - 5*c**2 - 4*c + 8. Let g be t(-6). Let s = g - o. Does 20 divide s?
True
Suppose 2*d = 10, x - 5*d + 621 = 5*x. Is 10 a factor of x?
False
Let n(j) = -73*j + 13. Let v be n(5). Let w = v - -523. Is w a multiple of 19?
True
Let k be 4 - (3 + -8 + -3). Let q = k - -13. Does 5 divide q?
True
Let j = 1 + 0. Let u be ((-7)/(28/(-200)))/2. Suppose -4*h + 11 = 2*q - u, -h + j = 0. Is 16 a factor of q?
True
Let h be (7/((-49)/(-6)))/(4/28). Does 13 divide (-2)/(h/(-151)) + (-4)/(-6)?
False
Suppose 1037 + 743 = 5*d. Is 21 a factor of d?
False
Suppose 0 = 6*g - 23*g + 16133. Does 13 divide g?
True
Suppose 135 = 2*g - 585. Does 36 divide g?
True
Suppose x = -3*x + 32. Let k = 15 - x. Suppose k*z = 4*z + 93. Is z a multiple of 11?
False
Is 2 a factor of (-226 + -3)*-3*(-4)/(-12)?
False
Suppose -w = 5*r + 2*w + 409, 5*w - 65 = r. Is r/6*(-1 + (-7)/2) a multiple of 12?
True
Suppose -8*c = -8 + 56. Let g(k) = 3*k**2 + 9 - 2*k**2 + 0*k**2 + 6*k. Is 3 a factor of g(c)?
True
Suppose -92*w + 98*w = 8712. Is 11 a factor of w?
True
Suppose -14*q + 13*q - 76 = 3*b, -3*b = 2*q + 137. Let x be (-4)/(-6) - (-437)/(-3). Let k = q - x. Does 14 divide k?
True
Let l(g) = g**3 - 5*g**2 + 4*g + 4. Let p be l(4). Suppose 7*a - 12 = p*a. Is 4 a factor of a?
True
Let b = 185 - 47. Is b a multiple of 7?
False
Let w = -103 - -97. Is 12402/45 - w/(-10) a multiple of 11?
True
Suppose 3*y + y + 96 = 0. Let j be (-252)/y*8/3. Suppose -7*x + j = -5*x. Is x a multiple of 4?
False
Suppose -4*d + 1905 = -379. Is 17 a factor of d?
False
Suppose -q + 1 + 7 = 0. Let c be 4/q*(3 + -1). Does 13 divide (c + 1)/(20/230)?
False
Let k = 6759 - 3777. Suppose -o + k = 2*o. Is 15 a factor of 2/(-11) + o/22?
True
Suppose 14*a = 10*a - 240. Let h = 84 + a. Is 12 a factor of h?
True
Suppose -2*s - 24 = -0*s. Let u = s - -9. Is u/((2/26)/(-1)) a multiple of 13?
True
Let y(w) = w**2 - 14*w - 6. Let m be y(14). Is 16 a factor of ((-9)/m - 2)*-160?
True
Suppose u + 3*i = 9, -4*u + 49 = 4*i + 13. Let m = 55 - 34. Let q = m - u. Does 12 divide q?
True
Let l be -1 + (10/5 - 4). Is (195/6)/(l/(-6)) a multiple of 65?
True
Let m(d) = -5*d + 18*d + 11*d. Let y be m(1). Let x = 13 + y. Is 10 a factor of x?
False
Let j be 0/(-1) + -4 + -5 + 1. Does 13 divide (0 + 2)/j + (-3654)/(-56)?
True
Let s = -10 + 13. Suppose 5*g = s*n - 0*n - 11, -5*n + 4*g + 14 = 0. Suppose -4*w = n*x - 24, 7*x + w - 69 = 2*x. Does 7 divide x?
True
Let s(r) = r**3 + 9*r**2 + 7*r - 6. Let h be s(-8). Let q(n) = -13 - n - 3*n**2 + 12 + 35*n**h. Is q(-1) a multiple of 12?
False
Let v be 8 - (0/1 - 1). Let y(o) = -7 + v + 10 + 3*o. Is y(5) a multiple of 8?
False
Suppose -5*z - 22 = -3*u, -4*u + 8 + 16 = -4*z. Is 2 a factor of 29 + (8 + z)/(-3)?
False
Let c(a) = a**3 + 8*a**2 + 9*a + 8. Let u be c(-7). Let o be (-8 - u)/(1 + -2). Let m = 15 + o. Is 5 a factor of m?
False
Let o(z) = -z**3 + 8*z**2 + 2*z - 18. Suppose 12*j - 30 = 7*j. Does 11 divide o(j)?
True
Suppose 3*s = 7*s + 224. Let m = 72 - s. Let z = 183 - m. Does 17 divide z?
False
Let i = 1327 - 1295. Is 4 a factor of i?
True
Let y(g) = 97*g**3 + 2*g**2 - 5*g + 6. Does 13 divide y(2)?
True
Let a = 5 + 85. Does 10 divide a?
True
Suppose -4*n - 17 = 5*u - 53, 0 = 4*u - 4*n. Suppose 4*i - x - 155 = 0, -5*i + 34 = -u*i - 5*x. Is i a multiple of 13?
True
Suppose 11*a - 8*a = k - 154, -k - 3*a + 154 = 0. Does 12 divide k?
False
Let r(d) be the first derivative of 16*d**2 - 2*d + 17. Is 17 a factor of r(2)?
False
Suppose -57 = 5*y - 92. Suppose y*z - 22 = 6. Is z even?
True
Suppose 0 = -5*v + 25, 44*b = 42*b - 3*v + 1219. Does 28 divide b?
False
Let p(f) = 8*f**2 + 20*f + 92. Is 6 a factor of p(-7)?
False
Let f(j) = j - 4*j + 9 + 2*j. Let c be f(7). Is 2 - (-1 + c)*-7 a multiple of 9?
True
Let b = 1331 + -659. Is 14 a factor of b?
True
Let s(r) = -r**3 - 11*r**2 - 7*r - 62. Does 15 divide s(-11)?
True
Suppose -576*n = -580*n + 716. Does 11 divide n?
False
Suppose 2*s - 193 - 67 = 0. Is 12 a factor of s?
False
Suppose -30*y + 14344 = -8*y. Does 5 divide y?
False
Is 18 a factor of 9/15 + 4935/25?
True
Suppose 2*n = 6*n - 20. Suppose 3*t = -n*p + 82, 3*p - t + 3*t = 50. Let b = 21 - p. Is 2 a factor of b?
False
Let d(j) be the second derivative of -17/6*j**3 - j + 0*j**2 - 1/20*j**5 - 4/3*j**4 + 0. Does 10 divide d(-15)?
True
Let u = 180 + -120. Suppose -2*s - 32 = 38. Let c = u + s. Is c a multiple of 16?
False
Let q(r) = -3*r - 4. Let w be q(-9). Suppose 5*g - w = 3*g + o, 5*g - 3*o - 55 = 0. Let b = g + -11. Is 3 a factor of b?
True
Does 27 divide (-2 - 5/(-2))/((-18)/(-28188))?
True
Is (-418)/(-4) + 4*(-25)/40 a multiple of 7?
False
Is (-11 + (-152)/(-16))*(-2098)/3 a multiple of 16?
False
Suppose -d - 3 = 3*a - 67, 2*a + 74 = d. Let s = d + -66. Does 4 divide s?
True
Let s = 127 - -108. Suppose -4*d - i - s = -1302, 4*d - 3*i - 1087 = 0. Is d a multiple of 21?
False
Let x(w) = -4*w**3 - 6*w**2 - 14*w - 1. Is 43 a factor of x(-4)?
True
Suppose 0 = 3*i - 3*o - 573, 4*i = 3*i + 3*o + 181. Suppose -3*z + 4*w - i = 0, 2*z = 7*z - 2*w + 336. Let x = z + 163. Is x a multiple of 22?
False
Let q(g) = g**3 + 3*g**2 - 4*g + 1. Suppose 4*s - 5 = -1. Suppose s = 2*l + 7. Is 8 a factor of q(l)?
False
Suppose -276 = 3*r - 162. Let t = r - -80. Does 42 divide t?
True
Suppose 0 = i + 3*u + 5, -u = -2*i - 2*i + 19. Suppose 3*c - 67 = -3*a + 35, i*a - 2*c = 136. Is a a multiple of 17?
True
Let m be (-1 + (-18)/(-4))/((-4)/(-48)). Does 43 divide (m/63)/((-4)/(-786))?
False
Let l = 51 + -23. Let f = -49 + 63. Let y = f + l. Does 11 divide y?
False
Let n = 21 + -9. Let y = -44 - -104. Suppose 5*v - y = -3*s - n, 64 = 4*s + v. Does 6 divide s?
False
Let y(t) = -32*t + 176. Let x be y(5). Suppose -1 = f - 11. Let h = x + f. Is h a multiple of 4?
False
Let b(g) = 5*g**2 + 2*g - 1. Let o be b(-2). Suppose 0 = o*l - 20*l + 75. Is 26 a factor of 104*(l/(-6))/(-5)?
True
Let k = -7 + 7. Suppose 3*v + 29 + 94 = k. Let n = -1 - v. Is n a multiple of 20?
True
Let q = -77 - -101. Does 6 divide q?
True
Suppose 3*d - 7*d = 0. Suppose h - 2 = -2*s, -s - s + 3*h - 14 = d. Let v(b) = 27*b**2 - b - 1. Is 9 a factor of v(s)?
True
Let v = 12 + -3. Is 2002/99 - 2/v a multiple of 19?
False
Suppose -1952 = 10*p - 12*p. Is p a multiple of 29?
False
Suppose 9*n = 5641 - 637. Is 63 a factor of n?
False
Let l be 6*(-3)/(-2) - 4. Suppose 161 + 169 = l*d. Is 6 a factor of d?
True
Let x(j) = 470*j - 152. Is 54 a factor of x(5)?
False
Let z = -72 - -768. Is z a multiple of 8?
True
Let f be (-1)/(-6)*3*18. Let w be (-2)/(-2)*(3 + f). Suppose -2*g + 2*a = -116, -3*a + w = a. Does 21 divide g?
False
Let w(t) be the second derivative of -17*t**3/6 - 14*t**2 - 37*t. Is 38 a factor of w(-7)?
False
Suppose -5*z = -4*o - 33 - 78, -3*o + 72 = 3*z. Let v be 2 + (4 - -5) + 2. Let c = z - v. Is 10 a factor of c?
True
Let s = 1344 - 348. Is s a multiple of 6?
True
Suppose 0 = g - 4*g - 3. Let a = g + 36. Is 9 a factor of a?
False
Suppose 0 = r - 4 - 22. Suppose 3*f - r = 157. Is f a multiple of 8?
False
Suppose 3*j + j = 5*o - 111, -142 = 5*j - 3*o. Suppose 106 = -2*a + 3*q, -q - 181 = 4*a - a. Let m = j - a. Does 10 divide m?
True
Let z(l) = l**3 - 4*l**2 - 2*l + 5. Let q be z(5). Let x be (-2)/(q/(-16) - -1). Is ((-18)/x)/((-6)/24) even?
False
Let p(q) = q**3 + 4*q**2 - 6. Let u be p(-3). Suppose 0 = 2*m - 4*f + 14, u*m = -2*m + f - 26. Let z(n) = n**2 + 5*n + 6. Is 3 a factor of z(m)?
True
Suppose 11*v = 2*v + 2061. Is v a multiple of 28?
False
Let g be (-12)/15*(-300)/(-5). Is (-5)/(-20)*-3*g a multiple of 4?
True
Suppose 3*q + 4 = 4. Suppose -301 = -q*j - 7*j. Is j a multiple of 34?
False
Let f(w) be the second derivative of -3*w**3/2 - 17*w. Is f(-14) a multiple of 21?
True
Suppose 17*x - 14*x = 12. Is 86 + 7 + -4 - x a multiple of 20?
False
Suppose 0 = -3*f - g + 1174 + 1707, -5*f + g = -4807. Does 31 divide f?
True
Suppose -8*r = 10*r - 15354. Is r a multiple of 18?
False
Suppose 16*o = 14*o + 1062. Does 59 divide o?
True
Suppose 0 = 2*o + 2*o - 12. Let f(r) = 2*r**3 - 4*r*