a multiple of 3?
True
Let j = -2 - -2. Suppose u + j*u = 0. Suppose -3*g + 0*g + 27 = u. Is g a multiple of 3?
True
Let k(b) be the second derivative of 0 + b + 1/3*b**4 - 1/2*b**2 + 0*b**3. Is k(-1) a multiple of 3?
True
Suppose 2*h - 5*d - 123 = 0, 125 = 4*h + 2*d - 157. Is h a multiple of 16?
False
Let u(z) = -z**3 - 24*z**2 + 7*z - 1. Does 40 divide u(-25)?
False
Let p = -20 + 8. Is 9 a factor of (-4)/6 + (-224)/p?
True
Let n(d) = 26*d - 8. Does 30 divide n(3)?
False
Suppose 2*x = 4*m - 2*m + 2, 0 = m + 2*x - 14. Let h = m + 0. Suppose 4*c - 2*k - 185 = -k, h*c + 4*k - 180 = 0. Is c a multiple of 23?
True
Let s(o) = 11*o + 4. Is s(3) a multiple of 14?
False
Let g = 33 + -30. Let n(y) = -y**3 + 2*y**2 + 5*y - 4. Let k be n(3). Suppose -k*w - g*w = -165. Is 11 a factor of w?
True
Let b(q) = 21*q**3 - q**2 - q + 1. Let g be b(1). Suppose 5*l - g = l. Suppose -5*a = 2*y - 57, 76 = l*y - 3*a + 11. Does 6 divide y?
False
Let j = -38 + 81. Let h = j - 30. Is 5 a factor of h?
False
Suppose -4*t - 24 = -3*b, 5*t + 26 = 3*t + 5*b. Let f be -1 + (3 - (-33)/t). Is f/6*-1*16 a multiple of 7?
False
Suppose 2*q - 278 = 228. Suppose -2*b + 8*i + 122 = 4*i, -5*b - 3*i = -q. Is 22 a factor of b?
False
Suppose -f - 4*f = -20. Suppose f*o + 4*r - 12 = -0*o, -r + 2 = 0. Is (12/(-7))/(o/(-7)) a multiple of 12?
True
Suppose 3*y = -2*y. Suppose 5*l + 35 - 280 = y. Does 10 divide l?
False
Let a(p) be the third derivative of p**5/30 - p**4/3 + 4*p**3/3 + 2*p**2. Does 15 divide a(6)?
False
Suppose -3*g + 350 = -8*g. Let w = -36 - g. Is w a multiple of 10?
False
Suppose 5*z - 390 = -0*z. Suppose 5*q + w = 115, 8 = 4*q + 2*w - z. Is (q/10)/(3/10) a multiple of 4?
True
Suppose w - 10 = -2*i + 18, 2*i - 3*w - 44 = 0. Does 16 divide i?
True
Suppose -5*s - 19 = 2*j + 1, j - 16 = 4*s. Is ((-39)/s)/(30/160) a multiple of 21?
False
Let v(y) = 10*y - 30. Let m(c) = 2*c - 6. Let t(f) = 16*m(f) - 3*v(f). Let q be t(6). Suppose x - 83 = -5*b, 0 = -5*b + q*b - 3*x - 23. Is 17 a factor of b?
True
Suppose 39 = 4*h - 65. Does 13 divide h?
True
Let z = 7 + -3. Let a = 12 + -7. Suppose -z*p = -a*p + 32. Is p a multiple of 12?
False
Let w(g) be the first derivative of 2*g**2 + 1/3*g**3 - 1/4*g**4 + 1 + 3*g. Is 5 a factor of w(-2)?
False
Let a be 402/(-14) - 6/21. Let r = 60 + a. Is 14 a factor of r?
False
Suppose -4*h + 3*b + 17 = -255, -134 = -2*h + b. Does 18 divide h?
False
Suppose -5*j - 1 = -21. Suppose -j*c = 5*g - 69 + 21, -26 = -2*c - 2*g. Suppose -k + 2*k - c = 0. Is 17 a factor of k?
True
Let b = 102 + -55. Let o = b + -27. Is 10 a factor of o?
True
Suppose -41*d - 1344 = -53*d. Is 23 a factor of d?
False
Let i = -14 + 17. Suppose -5*x + 75 = -b, -3*x - i + 71 = 4*b. Is 4 a factor of x?
True
Let l = 3 - 0. Let u(y) = -y**2 + 3*y + 2. Let b be u(3). Suppose 65 = l*c + b*c. Is 13 a factor of c?
True
Let p(q) be the third derivative of q**4/3 + 2*q**2. Does 8 divide p(1)?
True
Let f be -1 + 0 - (-1 - 1). Is 8 a factor of (2 - -23 - 2)/f?
False
Suppose 0 = 9*u - 581 - 94. Is 15 a factor of u?
True
Suppose -f - 5*a + 39 = 0, -131 = -8*f + 4*f + 5*a. Is 14 a factor of f?
False
Suppose 0 = 2*b - 14 + 2. Suppose 0 = -b*d + d - 40. Let x = 18 - d. Is 14 a factor of x?
False
Suppose 0*x - x + 9 = 2*y, 0 = 3*y + 3*x - 18. Suppose j - 144 = -y*j. Suppose 4*a - 32 - j = 0. Is 14 a factor of a?
False
Let v = 231 + -99. Suppose -7 = 5*c - v. Suppose -3*i = -z + 23, c = 3*z + 5*i - 2. Is 14 a factor of z?
True
Let p(q) = -q**2 - 18*q - 19. Is p(-13) a multiple of 24?
False
Suppose -q = 5*d - 35, -48 = -3*q - 3*d + 45. Is q a multiple of 4?
False
Suppose -3 = -2*o + 21. Let w = 18 - o. Is 3 a factor of w?
True
Let x be (-1 + 3)/(8/20). Let f(d) = 3*d + 25. Let q be f(15). Suppose 10*n - q = x*n. Is 14 a factor of n?
True
Let g(c) = 4*c**3 - 4*c**2 - 7*c - 27. Let t(z) = z**3 - z**2 - 2*z - 9. Let r(u) = 2*g(u) - 7*t(u). Is 9 a factor of r(0)?
True
Suppose -2*x - 4*f = -1 - 17, -5*x = f - 9. Let r be (4/2 - x)*5. Suppose -3*l + 61 = -0*m + 2*m, 3*m = -r*l + 102. Does 9 divide l?
False
Suppose -9*w + 279 = -495. Does 7 divide w?
False
Let t be 2 - 3/3 - 1. Let g(j) = 3 - 3 + j**2 - 8*j + t - 3. Does 17 divide g(10)?
True
Let v(x) = x**2 + 4*x - 15. Is v(-8) even?
False
Suppose 27 - 264 = -b. Is b a multiple of 13?
False
Let h = -25 + 115. Let g = h + -57. Is 3/(g/(-36) - -1) a multiple of 14?
False
Let m(r) = -r**2 - 10*r - 6. Let a be m(-7). Let w be a/(-12) - 3/(-12). Does 20 divide w*(-3 + (-47 - 3))?
False
Let y(a) be the third derivative of -a**6/120 - a**5/12 - a**4/4 + 7*a**3/6 - 2*a**2. Is 8 a factor of y(-5)?
False
Let b(c) = c**2 - 9. Let x be b(7). Suppose f + 0*f + 4*p = x, -2*f + 80 = -p. Is f a multiple of 14?
False
Suppose 61 = 2*f - 71. Is f a multiple of 9?
False
Let l be (155/(-10))/((-1)/14). Suppose -5*o + l = 42. Is o a multiple of 9?
False
Suppose -3*g + 0*g = -144. Does 24 divide g?
True
Suppose -90 = 6*b - 8*b. Is 15 a factor of b?
True
Let y = 20 + -17. Suppose 7 = 2*d - y. Is d even?
False
Suppose 0 = -g - 4*g - 430. Let b = -58 - g. Is 12 a factor of b?
False
Let q = -11 + 6. Let a = 4 - q. Suppose -i + 8 = -a. Is 15 a factor of i?
False
Let y(r) = 22*r - 104. Is 6 a factor of y(5)?
True
Suppose -4*j - 3*b = -4 - 20, -5*j + 30 = -b. Is ((-20)/8)/((-1)/j) a multiple of 15?
True
Let c = 107 + 24. Is 17 a factor of c?
False
Let j(b) = 2*b**2 - 3*b. Is j(4) a multiple of 10?
True
Let u(a) = 4*a**3 + 2*a**2 - 13*a + 3. Let n(d) = 3*d**3 + 3*d**2 - 12*d + 3. Let x(m) = -5*n(m) + 4*u(m). Is 9 a factor of x(6)?
True
Suppose 27 + 8 = 2*y + 5*n, n = 3*y - 27. Does 9 divide y?
False
Suppose -3*c = -0*c + 12. Let a(h) = -10*h - 4. Does 12 divide a(c)?
True
Let l(g) = -g**2 + 9*g - 4. Let y be l(8). Suppose -y*m - 3*s - 1 = m, 3*s + 7 = m. Let r = m - -9. Is 10 a factor of r?
True
Let x(z) = -z**3 - 4*z**2 - 5*z. Suppose -15 = -f + 4*f. Is 25 a factor of x(f)?
True
Let m be (-9)/12 + (-86)/(-8). Suppose m = 2*i + 3*i. Suppose -i*f + 158 = 4*d, -2*d + 2*f + 91 = -f. Is d a multiple of 22?
False
Is ((-4)/12)/((-2)/150) a multiple of 7?
False
Suppose 6 + 6 = -3*d. Let q = 17 - d. Does 5 divide q?
False
Suppose 18 = 4*b - 14. Suppose d - 6 = 3*g - 6*g, 4*d = -4*g + b. Suppose g*y - 54 = 2*n, 5*y - 8*n - 133 = -4*n. Is y a multiple of 19?
False
Is 21 a factor of 320/12*(1 + 2)?
False
Is 350/5 + 0/2 a multiple of 19?
False
Suppose -2*c + 24 = c. Is 4 a factor of c?
True
Suppose -4*c = 188 + 116. Suppose -5*m - 230 = 2*f + 3*f, -f = -3*m + 66. Let o = f - c. Is o a multiple of 11?
False
Let w(j) = -j + 28. Does 3 divide w(18)?
False
Suppose 0 = -b + 19 + 20. Is b a multiple of 13?
True
Let c = -10 - -4. Is 13 a factor of ((-6)/(-9))/(c/(-189))?
False
Let s = -2 - -2. Let i = 3 + s. Suppose 4*l - 161 = q, 5*l + i*q = l + 173. Is l a multiple of 20?
False
Let k be 3/2*10/3. Let g = -3 + k. Let o = 30 - g. Is o a multiple of 18?
False
Let t = -1 - -5. Suppose 3*z = t*d + 263, 4*z + 2*d - d = 376. Does 16 divide z?
False
Let v(r) = r**3 + 7*r**2 - r - 5. Let x be v(-5). Suppose 6*t + x = 11*t. Is 9 a factor of t?
False
Let h(q) = -q**3 - 12*q**2 - 12*q - 9. Let d be h(-11). Suppose -3*z + d*b + 30 = 0, -4*z + 4*b + 44 = -0*b. Is z a multiple of 8?
True
Let m(f) be the second derivative of -f**4/12 + f**3/6 - f**2/2 - f. Let z be m(1). Does 12 divide (-1)/z*(-102)/(-3)?
False
Suppose 3*q + 54 = 3*k, 0 = k - 8*q + 3*q - 6. Is 8 a factor of k?
False
Let v(x) = 2*x**2 - 2*x - 2. Let k be v(2). Suppose 3*s + 2 = -1, 0 = w - k*s - 44. Is 22 a factor of w?
False
Let b = -2 - -2. Let t = 79 + -33. Let r = t + b. Does 20 divide r?
False
Let s(q) = -q**3 + q**2 + 3*q - 1. Let j be s(2). Let p(o) = 18*o**3 - o**2 - 4. Let z(x) = x**3 - 1. Let u(i) = p(i) - 5*z(i). Is 9 a factor of u(j)?
False
Suppose -4*v = s - 16, 2*s = -v - 0 + 4. Is v even?
True
Let p(g) = -6*g + 4. Does 23 divide p(-7)?
True
Let x = -5 + 25. Suppose 2*t = -0*t + 28. Let l = x - t. Is l a multiple of 4?
False
Let j(v) = -16*v + 25. Let d(t) = -24*t + 37. Let c(a) = -5*d(a) + 7*j(a). Is c(10) a multiple of 28?
False
Let w be (-2)/5 - 60/(-25). Suppose -4*a - w*u = -292, 3*a - 4*u = -7*u + 222. Is 24 a factor of a?
True
Is (-2863)/(-35) - (-1)/5 a multiple of 24?
False
Let u(r) = -r**3 + 2*r**2 - 4*r - 5. Does 26 divide u(-3)?
Tr