1462/(-119). Does 2 divide ((-46)/(-5))/((-11)/((-330)/b))?
False
Suppose 37*g + 473 = -5558. Let k = g + 533. Is k a multiple of 14?
False
Suppose -4*c + 5967 = f + 177, -2*f - 4*c + 11584 = 0. Is 14 a factor of f?
False
Suppose -5*h = -y + 182, -3*h = -80 + 95. Is 7 a factor of y?
False
Let v(j) = -j**2 - 6*j - 2. Let u be v(-2). Let z(n) = 2*n**3 + 4*n**2 + 16*n + 8. Does 85 divide z(u)?
True
Suppose 0 = 2*i + 3*i - 125. Let s = i - -1. Is (-2)/(-3) + 6/9*s a multiple of 3?
True
Let k(a) = a**2 - 15*a - 21. Let u be k(20). Let w = -11 + u. Suppose -w = -s + 51. Does 15 divide s?
False
Let h(b) = b**3 + 2*b**2 + 4*b - 7. Let i(v) = v**3 + v**2 + 1. Let u(a) = h(a) - 2*i(a). Let q be (127 - 118) + -7*(1 + 1). Is 8 a factor of u(q)?
True
Let i = -15552 + 26281. Is 12 a factor of i?
False
Let z be -5 - (-4)/1 - -5. Does 25 divide (18964/(-176))/((-1)/z)?
False
Suppose 10*s - 12*s + 3008 = 2*h, 0 = -5*s - 20. Let m = -1060 + h. Is m a multiple of 14?
True
Let l = -467 + 469. Suppose -1276 = -3*d + l*b + 2*b, 2*d - 2*b = 848. Is 28 a factor of d?
True
Let z be (-11)/((-55)/(-15)) - 297. Let i = 347 + z. Is i even?
False
Let m = 77 - 71. Let j(p) = 2*p**3 - 5*p**2 + 6*p - 5. Is 35 a factor of j(m)?
False
Suppose -3*b - 194 = 2*g - 9174, 17980 = 4*g + b. Is 83 a factor of g?
False
Let r be 1 + 850/3 + 82/123. Let f(p) = 14*p + 5. Let g be f(5). Suppose g + r = 3*b. Is b a multiple of 21?
False
Let z(p) = 98*p - 796. Does 61 divide z(51)?
False
Suppose 30*v = -o + 29*v, 5*v + 21 = 2*o. Suppose -w - 4*i = -642, -5*i - 1887 = -o*w - 4*i. Is w a multiple of 30?
True
Let m be (532/(-6))/((-204)/(-306)). Let c(o) = -222*o**2 + 2*o - 1. Let t be c(1). Let y = m - t. Does 12 divide y?
False
Let v(l) be the first derivative of l**5/20 + 5*l**4/6 + 5*l**3/2 + 4*l**2 - 19*l - 4. Let x(y) be the first derivative of v(y). Does 10 divide x(-7)?
True
Let m = 1292 - 298. Is m a multiple of 28?
False
Suppose -10458 = -36*h + 306. Is h a multiple of 7?
False
Let p(i) = -i**2 - 70*i - 748. Is 18 a factor of p(-32)?
True
Suppose 3*m + 76 = 55. Let q(g) = -g**3 - 9*g**2 - 31*g - 3. Let f be q(m). Let o = f + -83. Is o a multiple of 11?
True
Let x(c) = 26*c**2 + 2*c - 38. Is x(-14) a multiple of 5?
True
Let o(r) be the third derivative of -r**6/120 + r**5/4 - 13*r**4/24 + 5*r**3 + 79*r**2. Does 16 divide o(10)?
True
Suppose -7*y + 987 = -4*y + 3*r, 3*r - 658 = -2*y. Suppose -7*t - y = -1253. Is t a multiple of 8?
False
Suppose 7*f - 5*f - 4 = 0. Let a be 10/f*(7/5 + -1). Is 3 a factor of (-3)/6 + 31/a?
True
Suppose -183 = 6*b - 225. Suppose -207 = -8*l - b. Is 10 a factor of l?
False
Let m = 225 - 213. Suppose -m*r + 1048 = -224. Is r a multiple of 9?
False
Let g(l) be the third derivative of 11*l**4/24 - 4*l**3 + l**2. Let t = -407 + 415. Is 16 a factor of g(t)?
True
Let z = -4306 - -5006. Is 19 a factor of z?
False
Let h = 13 + 106. Suppose 0 = -6*f + 1499 - h. Suppose -4*o + 4*m = -160, -4*m = -5*o + f - 35. Is o a multiple of 13?
False
Let g(o) = o**2 - 33*o + 31. Let i(p) = p - 2. Let k(h) = -g(h) - 2*i(h). Is 27 a factor of k(27)?
True
Let h = -49 - -48. Let z be -3*-230*h/6. Let c = z + 215. Is 20 a factor of c?
True
Let a = 32993 - 17675. Is 40 a factor of a?
False
Let k be (-2)/12 + 182/84. Suppose 5*x + 20 = 0, -6 = m + k*x - 0. Suppose -64 = -3*u - 2*g, 62 = m*u + u + 4*g. Does 9 divide u?
False
Let d(a) be the third derivative of -1/60*a**5 - 24*a + 2/3*a**3 + 0 - 3/4*a**4 + a**2. Is 19 a factor of d(-17)?
False
Let z(q) be the third derivative of -q**6/360 - 13*q**5/120 - 3*q**4/4 - 4*q**3 + 21*q**2. Let p(l) be the first derivative of z(l). Is p(-9) even?
True
Let j(i) = -116*i + 8124. Does 20 divide j(14)?
True
Let c = 777 - 216. Suppose 3*s - 1450 = -2*s + 2*q, -2*s = 3*q - c. Does 36 divide s?
True
Does 43 divide 235643/22 - (-90)/(-1980)?
False
Let d(s) = 3*s**2 - 3*s + 312. Suppose -i - 4*i = -5*b - 20, -5*b - 8 = -2*i. Is 10 a factor of d(b)?
False
Suppose -1546*g - 2181333 = -1617*g. Is 43 a factor of g?
False
Let d(l) = 19*l**2 - 69*l + 72. Is 48 a factor of d(15)?
True
Suppose -u + 2438 = 4*l, -5*l + 9562 = 3*u + 2234. Is 48 a factor of u?
False
Let h = -14 + 17. Let s be (-27 + (-1 - -1))*(h - 5). Let c = 74 - s. Does 11 divide c?
False
Let z(v) = v**3 - 8*v**2 + 19*v. Let h be z(4). Is 20 a factor of 3/(-6 + h)*1208?
False
Suppose -5*y - 85 = -4*m - 1, -12 = 3*y. Let f = -18 + m. Is (-16 + -12)*3/f a multiple of 10?
False
Let s be (5/(-5))/(2*(-2)/20). Suppose -s*a + 52 = 8*a. Suppose -3*u + 66 = -p, -a*u + 72 = 7*p - 3*p. Does 20 divide u?
False
Let b(l) = -66*l**3 - l**2 - l + 1. Let t be b(1). Let i = -52 - t. Suppose -i*s - 160 = -20*s. Is 8 a factor of s?
True
Is 11 a factor of -3 + 7 - 0 - -12045?
False
Let f be 2/(-4)*8 + 85 - 1. Let k = f + -82. Does 32 divide (48/6)/(k/(-8))?
True
Let v(y) = -y**2 - 8*y - 3. Let w be v(-5). Let c be 32/3*w*(-1)/1. Let b = c + 272. Is 16 a factor of b?
True
Let w(p) = 2*p**2 + 34*p + 120. Let g be w(-22). Is (154/(-3))/(g/30 + -12) even?
False
Let k(l) = -55*l + 22 - 7 + 54*l. Let s be k(11). Let a(m) = 4*m + 8. Is 4 a factor of a(s)?
True
Suppose -5*h - 5*z + 290 = 0, -31 = 2*h + 5*z - 135. Is 5 a factor of h*((-894)/(-204) + (-4)/(-34))?
False
Let y(g) = 521*g**2 + 17*g - 7. Does 17 divide y(12)?
False
Let m(b) = b**3 - 7*b**2 + 7*b + 4. Let l be m(6). Let d(f) = 13 - 5*f**2 + f**3 + 18*f**2 + 1 + l*f. Is 12 a factor of d(-10)?
False
Suppose 6*k = -4*p + 5*k + 10, -3*p = -k - 4. Is 5 a factor of p/11 + (-1644)/(-33)?
True
Suppose 2945 = 5*m + 5*p, 0 = 14*m - 3*p - 4088 - 4260. Is m a multiple of 17?
True
Suppose -3*o - y = -2794, 2*o - o - 918 = 3*y. Suppose -9*s + o = -7*s. Suppose -10*a = -s - 235. Does 13 divide a?
False
Let d(y) = 14*y + 26. Let t be d(8). Let k = 336 - t. Is 22 a factor of k?
True
Let a(x) = -57*x - 218. Is 11 a factor of a(-22)?
False
Suppose 98*n - 138528 = -124*n. Is 12 a factor of n?
True
Let f = -116 - -173. Let x = -10 + f. Suppose 2*w + 4*i - 29 = -3, 3*i = 2*w - x. Is w even?
False
Let w = -10723 + 10857. Is w a multiple of 7?
False
Suppose -12 = -4*n + y, 5*y + 6 = -2*n - 10. Suppose -2*a = -3*r - 14, 0 = -2*a - 2*r + 2 + n. Suppose 2*g = -a*g + 486. Is g a multiple of 27?
True
Suppose -13 = -0*o + o - 4*k, 3*o - 3 = -2*k. Let t = o - -2. Let g = 43 - t. Does 7 divide g?
True
Suppose -i + 4*i = 0. Suppose i*f = 14*f + 56. Does 19 divide (-2)/(f*1)*(325 + 1)?
False
Suppose -13 = -4*g - 17, 5*b - 3*g = 38. Is (b + 2)/(1/27) a multiple of 9?
True
Let i(g) = 16*g + 55. Let b be i(-18). Let z = 397 + b. Let q = z + 31. Is 13 a factor of q?
True
Let d(x) = x**3 + 3*x**2 - 6*x. Suppose -5*v = 4 - 4. Suppose v = 2*p - u - 8, 3*u = -4*p + 3 + 13. Is 12 a factor of d(p)?
False
Suppose 681 = m - 2*k, -4*m - 8*k + 2744 = -12*k. Let w = -225 + m. Is w a multiple of 39?
False
Suppose -r + 3*m = -m - 27, -4*m = 2*r - 30. Let f = r + -40. Let c = 92 + f. Is c a multiple of 11?
False
Let z = 70 + -65. Suppose j + 1111 = 4*j + z*b, -1101 = -3*j - 3*b. Does 6 divide j?
False
Let r(l) = -2*l**3 - 9*l**2 - l - 12. Suppose -4*a = -0*a - 5*o + 8, 5*a - o + 31 = 0. Does 39 divide r(a)?
False
Suppose -5*u + 7 - 32 = 0, -2*u - 16 = -2*p. Is 42 a factor of (0 - p) + (-6 - -254)?
False
Suppose 4*a + 7*n - 362 = 12*n, -3*a = -n - 277. Is a a multiple of 3?
True
Let l = 30 - 25. Suppose -7 = -l*h + 3. Suppose -h*o - 1584 = -13*o. Is o a multiple of 24?
True
Is 169 a factor of 3193 - -13 - ((-2 - (10 - 1)) + 6)?
True
Let f(u) = 2*u**3 - 90*u**2 - 28*u + 8. Let t be f(46). Suppose -69*c = -77*c + t. Does 35 divide c?
False
Suppose 3*s = 2*h - 549, -2*h + 1101 = 2*h - 3*s. Let r = h + -186. Is r a multiple of 15?
True
Is 37426 + 5 + (28 - 15) a multiple of 22?
True
Is 717/(320/304 - 1) a multiple of 20?
False
Let o = -400 + 410. Does 85 divide (-60)/(4 - o)*(-221)/(-2)?
True
Let b = -13027 - -20835. Does 55 divide b?
False
Suppose -9 - 6 = 5*b, 13 = -2*r - 5*b. Is r + 6 + (-205)/(-41) a multiple of 6?
True
Suppose -204*i = 422867 - 5193203. Is i a multiple of 42?
False
Suppose 26*a = -11 + 297. Is a*(1 - (-1030)/22) a multiple of 18?
False
Suppose -3*s = -0*s - 4*s. Suppose s = -9*g - 0*g - 9. Is 17 a factor of g + 155 + 0/(-3)?
False
Suppose 3*c = 9*c + c. Suppose c = -8*r + 510 + 26. Does 30 divid