7). Does 13 divide (-4)/26 - i/(-91)?
False
Suppose -53*x + 55*x = 608. Does 38 divide x?
True
Let w(h) = 5*h**2 - 2*h + 1. Is 4 a factor of w(5)?
True
Let a(h) be the first derivative of -h**3/3 - 7*h**2/2 + 11*h - 2. Let c be a(-9). Let p = 6 - c. Does 8 divide p?
False
Let u(z) = -8*z**3 + 5*z**2 + 7*z + 12. Is u(-4) a multiple of 64?
True
Let j be 5 - 3 - -599 - 4/2. Let w = j - 374. Is 45 a factor of w?
True
Let s(x) be the third derivative of 0 + 0*x + 3*x**2 + 7/6*x**3 - 1/120*x**6 - 5/12*x**4 + 1/5*x**5. Is 3 a factor of s(11)?
True
Let h be 5*3/(30/8). Let k(m) = m**3 - 25*m**2 + 46*m + 21. Let q be k(23). Let z = h + q. Is z a multiple of 9?
False
Suppose 12*a = 656 + 1492. Suppose 5*v = 5*i + 365, -4*v + 5*i + 110 = -a. Is 15 a factor of v?
False
Suppose -5*c = 5*v - 8386 - 1964, 2*v - 5*c = 4147. Does 47 divide v?
False
Let v = -28 + 66. Let a be (-7)/(-2) + 2/4. Suppose a*k - v = 18. Is k a multiple of 11?
False
Let d = -185 - -1004. Is 22 a factor of d?
False
Let y = 224 + -133. Is (y/39 + 0 + 1)*6 even?
True
Let k = -130 + 724. Is 66 a factor of k?
True
Suppose -6*n = -2*s - n + 65, -3*n = 2*s - 73. Suppose 4*r = -3*l + 4*l - 17, 0 = -5*l - 5*r + s. Suppose l = t + 2. Does 2 divide t?
False
Suppose 14*v = 13*v + 302. Let y = 526 - v. Is 32 a factor of y?
True
Let a = 1 + 2. Suppose 0 = 2*h + a*r - 22, -4*h + r + 21 = h. Suppose -5*p = -h, 161 = -j + 4*j + 5*p. Is 14 a factor of j?
False
Is 42 a factor of -3 + 2 + 1592 + (-7 - -8)?
False
Suppose -11*i - i = -2340. Suppose 5*b - 5*n = 660, 9 = b + 5*n - 153. Let w = i - b. Is w a multiple of 25?
False
Let a(d) be the third derivative of -d**4/24 - 5*d**3/3 + d**2. Let b be a(-13). Suppose -b*x = -0*x - 102. Is 20 a factor of x?
False
Let z = 122 - 120. Suppose 323 + 51 = z*d. Is d a multiple of 17?
True
Let f(j) = j**3 - 5*j**2 - 10*j + 8. Suppose 0*c + 3*c - 24 = 0. Let o be f(c). Suppose 4*m + 0*v - o = 3*v, 5*m - 123 = -3*v. Is m a multiple of 9?
True
Let r be (1/1 + -3)/(-1). Suppose 0 = -p - 5*m + 22, 0 = -5*p - 3*m + 64 - 20. Suppose 61 = 4*i - q, -r*i = -i - 3*q - p. Does 5 divide i?
False
Does 29 divide 143 + 0 + (-6 - -3)?
False
Let f = -1469 + 4573. Does 16 divide f?
True
Suppose 3*k - 6*k - 16 = -d, -5*k = 2*d + 12. Let f be 4 + k + 3 - -11. Is ((-161)/f)/(1/(-2)) a multiple of 8?
False
Suppose 19*l - 26*l + 3724 = 0. Does 19 divide l?
True
Let v(n) = -100*n**3 - 5*n**2 - 12*n. Does 26 divide v(-2)?
False
Let l(k) = 58*k + 511. Is 25 a factor of l(33)?
True
Let m = 333 - 257. Does 69 divide m?
False
Suppose 0 = -c - 4*c + 4*d + 359, 0 = -3*c + 4*d + 209. Does 25 divide c?
True
Suppose 15 + 149 = -4*l. Suppose f + 225 = 3*i, -3*i = -4*f - 170 - 55. Let v = l + i. Is 7 a factor of v?
False
Is (-1525)/(-10)*(-48)/(-10) a multiple of 4?
True
Let p(j) = -2*j - 3. Let g be 0 - 4 - (4 - 5). Let y = g + -13. Is p(y) a multiple of 18?
False
Let q(b) = b**3 + 29*b**2 - 5*b - 44. Is q(-29) a multiple of 7?
False
Suppose o - 6521 = -4*w, 0*w - 2*w - 5*o = -3283. Does 35 divide w?
False
Let o = -248 + 427. Is 11 a factor of o?
False
Let v be (14/6 - 4)*-3. Suppose -v*z + 4*z + 62 = 0. Is z a multiple of 21?
False
Let p = -170 - -210. Is p a multiple of 4?
True
Suppose 4*c = x + 17, -3 = -x + 3*c - 17. Let u(o) be the second derivative of o**4/6 - 5*o**3/6 - 5*o**2/2 - 8*o. Does 35 divide u(x)?
True
Let x = 4742 + -2607. Is x a multiple of 89?
False
Let o(b) = -39*b - 19. Let y be o(-6). Let c = y + -145. Does 21 divide c?
False
Let w be -2*3*5/(-10). Suppose w*m - 15 = 6*i - 3*i, 5*i + 5 = 0. Suppose -4*a = m*p - 240, p + 52 = a - 0*p. Is 8 a factor of a?
True
Suppose 0*y + 4*y - 3*b + 51 = 0, 5*y + b = -78. Is 6/(-9) + (-1210)/y a multiple of 28?
False
Is 168 + (3 - -6) + -5 a multiple of 6?
False
Let b(p) = -p - 1. Let q = 38 + -39. Let i be b(q). Suppose i*c + 6 = 2*c, 0 = -3*z - c + 93. Is z a multiple of 11?
False
Suppose 4*u - 1660 = -2*t, 4*t + 606 = 3*u - 639. Suppose -7*h = -2*h - u. Suppose 3*b = h + 70. Is 10 a factor of b?
False
Let p = -112 + 2081. Is p a multiple of 8?
False
Let i(p) be the second derivative of p**8/6720 - p**7/2520 + 7*p**5/15 - 7*p**4/12 + 10*p. Let z(n) be the third derivative of i(n). Is z(0) a multiple of 33?
False
Let u = -42 - -61. Suppose 2*b + 3 = -5*o + 4*o, u = -b + 3*o. Let p(w) = -w**2 - 4*w + 5. Is 5 a factor of p(b)?
True
Let x(k) = -k**3 + 17*k**2 - 14*k + 4. Let r(q) = q + 32. Suppose 5*o = -28 - 52. Let s be r(o). Is 10 a factor of x(s)?
False
Let l = -278 - -281. Let m be 4/((-16)/3)*-8. Suppose l*g - 4*f = 106, 1 = 5*f + m. Is g a multiple of 21?
False
Let y(o) = -o**2 - 16*o - 13. Let h be y(-15). Suppose h*v = -4*v + 630. Suppose 18*k - 15*k = v. Is 7 a factor of k?
True
Suppose 2*n + 25 = -35. Is 17 a factor of (-6)/n + (-252)/(-15)?
True
Let d(l) = -l**3 + 11*l**2 - l + 12. Let p be d(11). Suppose 4*a - 7 = p. Suppose 2*r = -3*h - a*r + 57, -3*r + 69 = 4*h. Does 8 divide h?
False
Is 35 a factor of (4/8)/((-1)/(-910))?
True
Let b(k) = 19*k + 1995. Is 19 a factor of b(0)?
True
Suppose 330 = 9*j - 3*j. Let n = j + -7. Is n a multiple of 29?
False
Let o be (-744)/16*(-4)/6. Let d = o - -15. Does 5 divide d?
False
Let h = -3 + 5. Let i be h/9 + 502/9. Suppose -i = -3*c + 58. Is 12 a factor of c?
False
Let q = -638 + 1184. Is 21 a factor of q?
True
Suppose -5*p + 3 = 2*k - 20, 4*k = 2*p + 10. Let f(r) = -k*r + 5*r - 10 - 2*r - 4*r. Does 13 divide f(-5)?
False
Suppose -2507 = -4*a + 3*i, -4*i + 451 = a - 190. Is 17 a factor of a?
True
Let o be 4 - 0/(-2 + 3). Suppose -j - 149 = -o*c - 6*j, -2*j = -2*c + 70. Does 9 divide c?
True
Suppose 0 = -3*n + 2*t + 25, -68 + 4 = -4*n - 5*t. Is 11 a factor of n?
True
Suppose -18 = -4*k + 46. Suppose 12*f + 28 = k*f. Is f a multiple of 3?
False
Suppose -5*j + 3*x + 60 = -2*x, -5*j + 66 = x. Let m = 21 - j. Suppose m*i - 13*i = -420. Is 14 a factor of i?
True
Suppose 3*w - 7*w + 12 = 0. Suppose 0 = 6*q - w*q - 27. Is 8 a factor of q?
False
Is 6 a factor of (-19 - -852) + 5/(-1)?
True
Suppose 19 = -0*h + h. Suppose 3*j - 8 = h. Is 4 a factor of j?
False
Suppose 5*j = -m - 31, 0*m + 41 = -3*m - 2*j. Does 18 divide (-3)/2*-26 + (-14 - m)?
True
Let f = 111 - 15. Is f a multiple of 5?
False
Let z be (3 - 31)*2/(-4). Let j = -10 + z. Suppose j*i - 30 = -6. Is i a multiple of 3?
True
Suppose -2*v = -4*k - 3900, 0*k - 3888 = -2*v - 2*k. Does 5 divide v?
False
Let t(y) = 619*y**2 + 3*y + 2. Does 25 divide t(-1)?
False
Suppose -73 = -3*j + 11. Suppose 6*y - 2*y + 3*q = -j, 0 = 2*q. Is (6/10)/(y/(-875)) a multiple of 25?
True
Let b(u) = -9*u + 16. Let g(j) = -125*j + 225. Let i(k) = -55*b(k) + 4*g(k). Let c be i(6). Let v(x) = 2*x**2 + 12*x - 14. Does 24 divide v(c)?
False
Let d be (-3 - (-2 + 3) - -4) + -306. Suppose -8 - 10 = -2*m - 5*l, 3*m - 2*l - 8 = 0. Is m/22 + d/(-11) a multiple of 14?
True
Let h(y) = 82*y + 10. Let g be h(-3). Let j = 348 + g. Is 28 a factor of j?
True
Suppose -4*c = -475 + 155. Does 51 divide c?
False
Let f = -20 - -27. Let d be (-48)/f + 6/(-42). Let m(k) = k**2 + 2*k - 13. Is m(d) a multiple of 4?
False
Let q = 199 + -357. Let t = q + 236. Suppose -t = -2*b + 18. Is b a multiple of 16?
True
Suppose -607 = -2*h - 5*b, 7*b - 615 = -2*h + 10*b. Is h a multiple of 42?
False
Let b(s) = 17*s**2 + 1. Let p(n) = 10*n**2 + n. Let o be p(-1). Let w = o + -8. Is b(w) a multiple of 9?
True
Suppose a + 27 = -2*g, 4*g + 9 = 5*a - 10. Let y = g - -72. Is 4 a factor of y?
False
Let i(y) = y**3 + 8*y**2 + 5*y - 3. Let t(p) = -p**2 + 3*p + 5. Let j be t(-2). Is 6 a factor of i(j)?
False
Let d(c) = c + 17. Let a be d(-11). Let t be (4/a)/(2/3). Let s = 15 - t. Does 5 divide s?
False
Let k be 0 + 1 + (12 - 8). Suppose -4*h = -20, 0 = k*u + 5*h - 177 - 8. Suppose -v = -3*v + u. Does 8 divide v?
True
Does 21 divide 3 + (-2 - 3) + 68?
False
Suppose -5*d + 161 = 141. Suppose -4*x - 5*v = -135, 2*x = d*v - 8 + 56. Is x a multiple of 10?
True
Suppose -41*m + 2592 = -35*m. Is 48 a factor of m?
True
Let q be (-2)/(-12) - (-68)/24. Suppose q*k = 5*p - 60, 5*p - k = 3*k + 55. Is 15 a factor of p?
True
Let u = 238 + -195. Is 5 a factor of u?
False
Does 7 divide 20/(-12)*9/6*-42?
True
Suppose -4*h + 28 = -5*r - 11, 2*h = -4*r. Let s = h + -12. Does 20 divide (147/s)/((-4)/8)?
False
Suppose 202*c + 5110 = 212*