2 - 37*z. Is 7 a factor of h(-1)?
False
Let g(m) = m**2 - 23*m - 1. Is g(25) a multiple of 39?
False
Is 33 a factor of (21*(-77)/(-84))/(1/12)?
True
Let q(x) = -x**3 + 11*x**2 - x + 15. Let a be q(11). Let j be -18*(-1 + -1)/a. Does 20 divide ((-60)/j)/(3/(-27))?
True
Let c = -17 - -20. Suppose -q = f + 3 - 10, -14 = c*q - 4*f. Suppose -138 = -2*m - 4*v, -q*m + 33 = 5*v - 103. Is 22 a factor of m?
False
Let t be 4784/(-18) + (-22)/99. Let o be (-108)/(-21)*t/(-4). Let l = o - 215. Is 32 a factor of l?
False
Let a(x) = -x**3 + 6*x**2 + 2. Let f be a(6). Suppose -f*n = -n - 9. Let g = 24 - n. Is g a multiple of 5?
True
Let o(b) = 3*b**3 - 11*b**2 - 34*b + 139. Does 3 divide o(5)?
True
Let d(n) = -n**3 - 16*n**2 + 4*n - 23. Does 34 divide d(-17)?
False
Let a(h) = -h**3 + 6*h**2 - 4*h + 2. Let p be a(4). Let g = 114 + -113. Suppose -g = b - p. Does 4 divide b?
False
Suppose 12 = 3*d - 21. Suppose w + 2*k - d = 1, 3*w - 20 = -2*k. Suppose p + 5*f = w*p - 104, -4*f + 128 = 4*p. Is 11 a factor of p?
True
Let k(r) = -20*r - 2. Let j be k(-2). Let b be (6 - 2)/(2/j). Suppose -31 = -o - 2*d, -4*o - 4*d + 48 = -b. Is o a multiple of 14?
False
Let g = -56 + 114. Suppose -4*w + 2*x = -3*w - 38, -w - 2*x = -42. Let l = g - w. Is 9 a factor of l?
True
Let t(j) = 3*j**2 - 13*j + 8. Let o be t(4). Let z = 154 + -87. Suppose z = o*g + 19. Does 12 divide g?
True
Let u(x) be the first derivative of -x**4/12 - x**3/6 + 3*x**2/2 - 3. Let v(c) be the second derivative of u(c). Is v(-2) even?
False
Let q(b) = -b**2 + 15*b - 7. Let t be q(15). Let p = 9 - t. Does 11 divide p?
False
Let w = 6 - -5. Let s = w + -3. Is s a multiple of 6?
False
Let d(a) = a**3 + 9*a**2 + 7*a + 13. Is 13 a factor of d(-4)?
True
Suppose 5*j + 6*j - 30459 = 0. Is 63 a factor of j?
False
Let s(c) = c**3 - 5*c**2 + 4. Let d be s(3). Let v be (-4)/14 + (-46)/d. Is 6 a factor of -51*(-1)/v + 1?
True
Suppose 9*z - 1399 - 3713 = 0. Is 33 a factor of z?
False
Let w = -996 - -2250. Is 112 a factor of w?
False
Suppose -2*c + 5*b + 0*b + 297 = 0, -5*c + 2*b = -795. Does 24 divide c?
False
Let v(c) = -c**3 - 2*c**2 + 2*c + 6. Let y be v(-4). Is 13 a factor of y/(-12)*(-56)/5?
False
Suppose 5*o = 4*d - 625 - 152, -5*o + 1005 = 5*d. Does 15 divide d?
False
Suppose 0 = -5*o + 4*o - 25. Let u = o - -41. Is u a multiple of 4?
True
Let v(l) = -2*l - 2. Let c be v(-2). Is ((-4)/(-6))/(c/231) a multiple of 34?
False
Suppose -v + 973 = 4*n - 154, -5 = 5*v. Is n a multiple of 15?
False
Let i(g) = -64*g - 19. Does 27 divide i(-7)?
False
Suppose 3987 = 3*u + 6*u. Suppose 4*x + 2*m - 354 = 0, -m + u = 5*x + m. Is 45 a factor of x?
False
Suppose 6 = y + z + 5, 0 = -5*y + 5*z - 5. Let i be -4*1/(-2)*10. Suppose 2*j - i - 8 = y. Is 11 a factor of j?
False
Let s(d) = d**3 - 16*d**2 - 9*d - 38. Does 8 divide s(18)?
True
Suppose -5*s + 856 = -4*y, -18*s + 4*y - 488 = -21*s. Is s a multiple of 42?
True
Suppose 2544 = 2*h + 4*h. Suppose -5*b + 476 = -h. Does 18 divide b?
True
Suppose 4*d = -84 + 24. Let w = d - -51. Is w a multiple of 35?
False
Let n be ((52 - -2)/(-3))/1. Is 4 a factor of (-11)/((-22)/(-4)) - (n - 0)?
True
Suppose 4*w - k - 1179 = 0, -3*k - 504 = -3*w + 378. Is 3 a factor of w?
False
Let r(q) = -5*q**3 - 5*q**2 - 6*q - 34. Is 5 a factor of r(-4)?
True
Let t(d) = -3*d + 30. Let b be t(-8). Suppose 4*f + 22 = b. Does 3 divide f?
False
Suppose -7 = -c - 4. Suppose c*h + 1061 = -5*i, 3*h + 5*i = h - 704. Does 16 divide h/(-12) + 2/8?
False
Let n be (-6)/(-6)*(-1 + 3). Suppose -5*o - 53 = -w, -n*w + 49 = -w - 4*o. Suppose c + 2*c - w = 0. Does 11 divide c?
True
Let c = -31 + 31. Let b(x) = -x**3 + 2*x**2 - x + 41. Is 5 a factor of b(c)?
False
Let c(n) = -15*n - 14*n**2 - 11 + 6*n**2 + 7*n**2. Is c(-10) a multiple of 15?
False
Suppose j = 4*p + 63, p = -2*j + 3*j - 72. Let y(k) = 28*k**2 - 6*k - 5. Let f be y(-3). Suppose -j + f = 5*n. Is 19 a factor of n?
True
Let i be (5*(-6)/(-12))/(2/4). Suppose i*c - 274 = 191. Does 31 divide c?
True
Let g = -26 - -98. Does 36 divide g?
True
Suppose -2*u - 19 = -5*y, 14 = -0*y + 4*y - u. Suppose -3*o - z + 0*z = -160, 4*o = y*z + 235. Is 8 a factor of o?
False
Suppose -4*m = -113 - 483. Let y = m - 71. Is y a multiple of 9?
False
Suppose -5*b + 4*j + 276 = 0, 0 = 5*b - 2*j + j - 279. Let x = b + 68. Let h = x - 84. Is h a multiple of 10?
True
Let n(z) be the second derivative of z**5/20 - z**4/3 + 2*z**3/3 - 3*z**2 - z. Is 6 a factor of n(4)?
False
Suppose -4*f = -10*f + 4236. Does 13 divide f?
False
Let b(y) = -1. Let n(s) = 3*s + 3. Let t(z) = -2*b(z) - n(z). Does 3 divide t(-5)?
False
Suppose -3*w + 28 = -17. Let q be 95/w - 3/9. Suppose 2 = 2*g - q, 4*a - 212 = g. Is 18 a factor of a?
True
Is 23 a factor of 26 + -1 - (-11 + 6)?
False
Let y be (20/(-8))/(2/(-4)). Is 3 a factor of y/(-30) + (-158)/(-12)?
False
Let f = -989 - -1736. Is 14 a factor of f?
False
Let h(c) = -16*c**2 - c - 1. Let d be h(-1). Let w be (-2172)/d + (-6)/8. Suppose -2*l = 3*l - w. Does 9 divide l?
True
Suppose -4*r - 4*x + 3*x + 15 = 0, 2*r + 4*x = 4. Suppose -r*o = 2*f - 2*o - 58, -3*f - 4*o = -86. Is 9 a factor of 2/3*f + -2?
True
Let n(a) = 140*a - 12. Let d be n(-5). Is 11 a factor of 2/(-4) - d/16?
True
Let c(f) = f - 6. Let o be c(16). Let i = 15 + o. Is 5 a factor of i?
True
Suppose -13*f - 318 = 397. Let z = f - -109. Does 27 divide z?
True
Let b(u) = -u**3 - 7*u**2 + u + 5. Let y be b(-7). Suppose 1 = -2*f + 11. Is 21 a factor of (28/f)/(y/(-15))?
True
Suppose 3*k + 316 = 5*a - 394, 5*k - 114 = -a. Does 2 divide a?
False
Let w(b) = -68*b - 2. Let o be w(-3). Suppose 3*n - h = 948, -4*n - o + 1466 = -4*h. Is 12 a factor of n?
False
Suppose v + 8*v = 3276. Is v a multiple of 14?
True
Let y(l) = 2*l + 75. Does 43 divide y(27)?
True
Let w = 2102 + -804. Does 22 divide w?
True
Let t = -21 - 1. Let u = 7 - t. Does 23 divide u?
False
Suppose 17*r = 21*r - 16. Is (r - 60/8)/((-3)/6) a multiple of 3?
False
Suppose n - 5*g = 3683, -n - 4*g - g = -3733. Is n a multiple of 18?
True
Suppose 5*q = k + 25, 0*k + 15 = 3*q - 5*k. Is 6 a factor of q*(-1 + -2 + 46/5)?
False
Is 22/((-1485)/747 + 2) a multiple of 22?
True
Let x be 5 + -1 - (-3 + 9). Is (-1 - -7)*(-1)/x a multiple of 3?
True
Let y = 323 + -253. Does 10 divide y?
True
Suppose -a = -3*j + 1, 0 = -a - a - 2. Suppose -5*z + 148 = l, j = 2*z - 4*l + 21 - 89. Is z a multiple of 15?
True
Suppose -11 = -2*q + 23. Let v = q - 16. Is (v/3)/(4/108) a multiple of 9?
True
Suppose -5*v - 246 = -596. Let s = -31 + v. Is 13 a factor of s?
True
Suppose -13*i - 729 = -16*i. Is i a multiple of 27?
True
Let x(f) = -f**3 - 5*f**2 + f + 2. Let w be x(-5). Let k be -6 - (-6 - w) - -10. Is 15 a factor of 2 - (-4 + k) - -46?
True
Suppose d = 7 - 74. Let g = d + 95. Does 5 divide g?
False
Let o be ((-55)/22)/(1/(-110)). Suppose -2*u + 2*s - 71 = -3*u, -5*s = 4*u - o. Is 17 a factor of u?
False
Let f = -452 + 769. Does 41 divide f?
False
Let c = -32 + 35. Suppose 8*h - 190 = c*h. Is h a multiple of 7?
False
Suppose s + 705 = -4*s. Let p = s - -93. Let m = p - -72. Does 6 divide m?
True
Let i = -195 - -545. Does 14 divide i?
True
Let j(c) = c + 7. Let r be j(-8). Let v(t) be the third derivative of 11*t**5/30 - t**4/24 - t**3/6 + 28*t**2. Is 10 a factor of v(r)?
False
Suppose 0*y = -5*y + 10. Let o be (-3 + y)*1 + 38. Suppose -3*h - 2*f + f = -o, -5*f = -2*h + 19. Is h a multiple of 6?
True
Let b be (2 - 1)/(6/(-18)). Does 11 divide (5 - (3 - -4)) + (-414)/b?
False
Let n = -18 + 25. Suppose 115 = 3*t + n. Is 12 a factor of t?
True
Let t be 46/10 + (-4)/30*-3. Suppose 2*x - 3*b = 44 + 100, 4*b = t*x - 353. Is 9 a factor of x?
False
Let c(t) = -82*t + 142. Is c(-5) a multiple of 61?
False
Let i(r) = -6*r + 0*r - 21 + r. Is i(-11) a multiple of 7?
False
Suppose o + 13 = k - 2*k, 0 = -3*k - 5*o - 49. Does 9 divide (-172)/k*2*1?
False
Let y be 10*(5/25)/1. Suppose x + 97 = y*x. Does 12 divide x?
False
Suppose 0 = 59*s - 60*s + 4. Is 5/(-5) + 22 - s a multiple of 17?
True
Suppose -n + 2*k = -808, k = 6*n - 5*n - 812. Is 24 a factor of n?
True
Suppose 175 = -4*s + 3*s. Let k = -255 - s. Let q = -48 - k. Does 8 divide q?
True
Let i(m) = -34*m + 4. Suppose -4*x = -4*h - 15 - 1, -2*h + 6 = 5*x. Does 4 divide i(h)?
True
Suppose -3*r - 48 = -t, 3*r + 56 - 14 = 3*t. Let m(w) = -