False
Let p = 589 - -116. Does 15 divide p?
True
Let u(g) = 6*g**2 + 2*g. Let q(m) = m**3 + 4*m**2. Let b be q(-2). Let w = b + -11. Is 16 a factor of u(w)?
True
Suppose 8*k - 1900 = 2676. Does 44 divide k?
True
Is 85 a factor of 186 + 12*(-3 - (-91)/28)?
False
Suppose 13*m - 10*m = -y + 2084, 2770 = 4*m - 3*y. Is m a multiple of 39?
False
Suppose 495 + 429 = 6*f. Is 23 a factor of f?
False
Suppose 3*x = -12*x + 1020. Does 8 divide x?
False
Let w = 176 - 77. Let r = w - 9. Is r a multiple of 15?
True
Suppose 0 = f - 5, 5*f = k - 0*k - 362. Is 12 a factor of k?
False
Let m(p) = -73*p - 1. Let n be m(1). Let v = -9 - n. Is 13 a factor of v?
True
Let s(i) be the third derivative of -5*i**4/4 + i**3 + 20*i**2. Let l be (-4)/14 + 38/(-14). Does 24 divide s(l)?
True
Let w = 1022 + -676. Is w a multiple of 40?
False
Suppose -15*r = 1904 - 464. Let o(y) = 38*y + 3. Let h be o(-4). Let m = r - h. Is 26 a factor of m?
False
Let n(t) = -t**3 - 17*t**2 + 19*t + 19. Let q be n(-18). Let d be (-5)/((-10)/(-332))*q. Let f = d - -258. Is f a multiple of 23?
True
Let k(n) = -3*n**3 - 24*n**2 + 4*n**3 + 7*n**2 + 9*n**2 - 8 + 2*n - 7*n. Suppose 5*f - 4 - 25 = 4*z, -25 = -f - 4*z. Does 7 divide k(f)?
True
Suppose w - 1156 = -3*w. Is w a multiple of 42?
False
Let b = -11 + 8. Let r be (b/1)/(-3 - -2). Is 5 a factor of ((-1)/r)/((-2)/60)?
True
Let t(r) = 3*r**2 + 28*r - 4. Is t(19) a multiple of 10?
False
Let i = 11109 - 6353. Is 19 a factor of i?
False
Suppose -6 = -2*y - 18. Is -4*3/y*92 a multiple of 23?
True
Let l(o) = -4*o**2 + 38*o + 8. Does 3 divide l(6)?
False
Suppose -m + 5*v + 553 = 4*v, 2*v - 2758 = -5*m. Does 24 divide m?
True
Let d = -9088 - -13288. Is 25 a factor of d?
True
Suppose 0 = 17*s - 9*s - 536. Is s a multiple of 10?
False
Let v be (-5 + 3)*(-25)/2. Suppose 5*g - 10*g = -v. Is g a multiple of 5?
True
Let h(k) = 18*k**3 - 3*k**2 + k - 2. Suppose -3*j + 11 = 5*s, 2*s - 8 = -0*j - 3*j. Is h(j) a multiple of 6?
True
Let l(y) = 33*y - 11. Let w(s) = 1. Let k(j) = l(j) + 3*w(j). Is k(4) a multiple of 18?
False
Let k = 209 + -107. Suppose -7*x + 13*x - k = 0. Is x a multiple of 17?
True
Let l(r) = 56*r**2 - r - 8. Is 12 a factor of l(-2)?
False
Let m = -15 - -14. Let l = 1 + m. Is 11 a factor of (-4 + 12 - l)*8?
False
Suppose 0 = -7*b + 863 + 145. Is 24 a factor of b?
True
Let p(q) = -4*q + 2. Suppose -2*g - 25 = -d, 2*d - 5*d = 4*g - 105. Let w = 29 - d. Is 10 a factor of p(w)?
True
Let x = 19 + -1. Does 9 divide x?
True
Is 24/(7 - (-205)/(-30)) a multiple of 18?
True
Suppose 2*i - 4*x = 46 + 84, 4*x = 4*i - 268. Is 23 a factor of i?
True
Suppose 1947 + 27 = 5*c + j, 1162 = 3*c - 5*j. Is 13 a factor of c?
False
Let c(p) = 16*p - 4. Let u = 21 + -17. Does 15 divide c(u)?
True
Suppose 0 = -5*u + a + 30, 4*a = u - a - 6. Is 1*35 - u/2 a multiple of 16?
True
Suppose 2*h - 3*q = 239, 5*q + 112 = 2*h - 121. Does 4 divide h?
True
Let w be 1/3 - ((-4)/6 - -3). Let n = 1 - w. Is n even?
False
Let j(w) = w**3 + 9*w**2 + 8*w + 2. Let r be j(-8). Suppose -r*c + 179 = -43. Is c a multiple of 22?
False
Let r = -1178 - -2354. Is 28 a factor of r?
True
Suppose -33*k + 196 + 3203 = 0. Is 5 a factor of k?
False
Suppose 0 = 3*q + 2*q - 40. Suppose o = -o + q. Is 30 a factor of (-354)/(-5) + o/20?
False
Suppose -u + 664 = 2*q, q + 410 = 2*u - 938. Does 56 divide u?
True
Suppose -8639 = -50*l + 9761. Is l a multiple of 4?
True
Let s(b) = 974*b**2 - 21*b + 46. Is s(2) a multiple of 80?
False
Suppose -2*a + 290 = 4*y - 0*a, 0 = 3*y - a - 225. Does 18 divide (-2 + ((-7)/2)/(-1))*y?
False
Suppose 6 = -0*l + 2*l - 4*a, 0 = -2*a. Let r(x) = -x**3 + 2*x**2 + 3*x. Let u be r(l). Suppose 5*f + 50 - 160 = u. Is f a multiple of 21?
False
Let i(p) = -p**3 + 30*p**2 - 42*p - 45. Is i(27) a multiple of 8?
True
Suppose -4*m + 3*p + 514 = 0, 0 = -7*m + 9*m + 2*p - 264. Is 13 a factor of m?
True
Let c be 115/20 + (-3)/(-12) - -1. Is 4/(-14) - (-1 + (-23)/c) even?
True
Let z(p) = p**3 - 7*p**2 + 6*p + 3. Let a be z(6). Let t be (-13 + 10)/(a/(-4)). Suppose -26 = -3*b - 4*r - 0*r, -t*r = -b + 14. Is b a multiple of 5?
True
Let l be (-9 - -1) + 1/(-4)*0. Let h(t) = -10*t + 50. Is h(l) a multiple of 18?
False
Let n(q) = 8*q**2 + 4*q - 2. Let u be n(-7). Suppose -4*c - u = -1334. Suppose -8*o = -5*o - c. Does 27 divide o?
True
Is (-1458)/8*(-96)/72 a multiple of 2?
False
Let f(w) be the first derivative of w**4/4 + 4*w**3 + 19*w**2/2 + 11*w - 5. Let p be f(-9). Suppose 5*h - 2*b = p + 37, 41 = h + 3*b. Is h a multiple of 9?
False
Let g be -3*2/4*-2. Let u be 2/g + (-896)/(-6). Suppose 2*k = -5*p - 0*k + 183, u = 4*p - 2*k. Is p a multiple of 9?
False
Let u(n) = 2*n**2 + 3*n - 19. Let g = 63 - 74. Is 26 a factor of u(g)?
False
Let u(i) = 11*i**2 + 8*i + 19. Is 6 a factor of u(-7)?
False
Let w be (-81)/45 + 1/(-5). Does 7 divide 11 - 7 - w*(-6)/(-4)?
True
Is 0 - (1 - (4 - -52)) a multiple of 7?
False
Let v = -45 + 29. Let w = 21 + v. Is 12 a factor of (2/(-4))/(w/(-310))?
False
Suppose 0 = -6*d - 11 + 53. Let b(v) = -6*v**2 + v + 7. Let m(n) = 5*n**2 - 2*n - 6. Let t(i) = 3*b(i) + 4*m(i). Is t(d) a multiple of 15?
True
Let f(l) = -l**3 + 2*l**2 + 5*l + 3. Let o = -5 + 9. Let a be f(o). Let v = 23 + a. Does 14 divide v?
True
Suppose 3*g = 3, -3*f + 4*g = -6*f + 10. Is 25 a factor of 2 - (-50 + f + 2)?
False
Suppose -2*s + 10 = 3*k, 10 = 2*k + s + 3. Suppose k*g = -g + 60. Suppose -g = 2*y - 42. Is y a multiple of 6?
False
Let l(a) = 6*a**2 - 29*a - 34. Let h(d) = d**2 - 6*d - 7. Let x(i) = 11*h(i) - 2*l(i). Let s be x(-6). Does 8 divide 1 + 20 - (4 - s)?
False
Let q be -2 - (-5 + 3/3). Let n(v) = 2*v - 10*v**2 + 2*v + 18*v**q - 3*v**2. Is 17 a factor of n(-4)?
False
Let f(i) = i**3 - 11*i**2 + 10*i - 3. Does 7 divide f(13)?
False
Let s = -60 - 211. Let t = -144 - s. Is 24 a factor of t?
False
Let r = 22 + -18. Let u(b) = 10*b**2 - 5*b + 4. Is 18 a factor of u(r)?
True
Let h = -1280 - -3083. Is 70 a factor of h?
False
Suppose 0 = -4*c - 3*w + 628, -3*c - 4*w + 632 = c. Suppose -4*k + c = -2. Does 39 divide k?
True
Is 59 a factor of 2538 - 2*(3 + -4)/(-2)?
True
Let t(r) = -63*r + 153. Is t(-9) a multiple of 16?
True
Suppose 0 = -0*g + 10*g - 1120. Is g a multiple of 4?
True
Let m be -129*1*(-4)/24*2. Suppose -3*c + 2*q = -m, -3*c = -8*c - 3*q + 59. Does 3 divide c?
False
Suppose -3*j - 18 = -3. Let d(s) = -s**2 - 5*s + 6. Let n be d(j). Suppose -w - 1 = -4*a - 3, n = 3*w + a. Does 2 divide w?
True
Let c(s) = -s**2 + s + 49. Let z be c(0). Suppose -z = -0*n - n. Does 13 divide n?
False
Suppose -13*q + 356 = -9*q. Let j = 142 - q. Is j a multiple of 17?
False
Let x(p) = 30*p + 4. Does 7 divide x(5)?
True
Let i = 259 + -133. Is 28 a factor of i?
False
Let s(r) = -1 - 8*r**2 + 9 - 3 - r**3. Let o be s(-8). Suppose -o*p = -2*l - 215, -3*p + 129 = -0*l + 3*l. Is 13 a factor of p?
False
Let g(b) = -b - 2. Let m be g(-3). Suppose -n + 1 = -m. Suppose n*d - 27 = 39. Does 6 divide d?
False
Let m(z) be the first derivative of 2*z**3/3 - z**2 - 3*z + 61. Suppose -y - h = 0, 0*y - 18 = -y + 5*h. Is 2 a factor of m(y)?
False
Let m be 8*((-45)/(-6))/5. Suppose 0 = -r - 3*r - m. Does 8 divide (r/(-9))/((-2)/(-126))?
False
Suppose x = -2*x + 105. Suppose -6*p + 4*p = -10, -p + x = -2*i. Does 5 divide (i - 0)/(18/(-12))?
True
Does 34 divide 538 - ((-6)/(-2) - (-6 + 8))?
False
Let u = -90 + 253. Suppose 0 = 4*z - u - 301. Is 15 a factor of z?
False
Let z = -4 - -6. Let t = 55 - 52. Suppose t*s - 8 = -3*r + 22, -z*r + 2*s + 28 = 0. Is r a multiple of 4?
True
Suppose 39 + 234 = 13*g. Does 3 divide g?
True
Suppose 2*q + q - 9 = 0. Let w(m) = 18*m + 3. Is 19 a factor of w(q)?
True
Suppose 0 = 2*v - 2*c + 16, -2*v + 5*c - 17 = -1. Let n(f) = 18*f + 8. Let b(o) = -21*o - 6. Let w(a) = -5*b(a) - 6*n(a). Is 2 a factor of w(v)?
True
Let g = -66 - -66. Suppose 2*t = -g*t + 40. Is 8 a factor of t?
False
Let n be -22*-1*3/6. Suppose -4*u = -3*k + n, -3*k + 10 = -k. Is 18 a factor of 36 - (-2 - -2)*u?
True
Let y(b) = -b - 3. Let z(i) = -3*i - 9. Let t(m) = 7*y(m) - 2*z(m). Let r be t(-4). Is 14 a factor of -3*(r - (-62)/(-6))?
True
Let t be (-4 - (-9)/2)*4. Let d be (6 - 8) + (-2)/t. Is 12 a factor of (-99)/d + (-2)/1?
False
Is 39 a factor of (-4)/(-24) - (-109970)/60?
True
Let u(n) = 54*n**2 - 8*n + 44. Is 23 a factor of