(-11)/(-2)?
False
Let l(k) = -20*k**3 - k**2 + 7*k - 21. Does 25 divide l(-4)?
False
Suppose 0 = -19*w + 8*w + 3542. Is w a multiple of 14?
True
Let s(z) = 3*z**2 - 4*z - 6. Let j be (-30)/8*4/(-3). Does 7 divide s(j)?
True
Let t(f) = -f**2 - 2*f + 8. Let h be t(-4). Suppose 3*w - 3*i = 66, h = 2*w + 2*i - 17 - 23. Is w a multiple of 8?
False
Let w(t) = 7*t**2 + 3*t - 5. Let s be w(2). Let r(n) = n**3 - 30*n**2 + 34*n - 53. Is r(s) a multiple of 7?
False
Let d be 4/(-3) - 40/(-30). Suppose -4*r + d*r = 216. Is 18 a factor of (r/8)/((-5)/20)?
False
Let u = -2883 + 5160. Does 69 divide u?
True
Suppose -187132 = 19*u - 10907. Suppose 4*d = -205 - 47. Does 37 divide u/d + 2/(-9)?
False
Suppose 7*z - 179 = 269. Let w = 146 - z. Is w a multiple of 17?
False
Suppose 0 = 3*n - 5*n - 28. Let y = -2 - n. Is 3 a factor of y?
True
Suppose 230 = -8*n + 2822. Is 9 a factor of n?
True
Let z(a) = 31*a + 6. Let i be 4 - (16 - 14)*(-1)/2. Is z(i) a multiple of 12?
False
Let z = -149 - -249. Is z a multiple of 13?
False
Let k(i) = -i**3 - 6*i**2 + 3*i - 14. Let z be k(-7). Is 10 a factor of 10/35 + 836/z?
True
Let z be 0 + -3 + (284 - 2). Let u = 521 - z. Does 22 divide u?
True
Suppose -8*r + 700 = -1996. Let k = -237 + r. Does 6 divide k/(-6)*36/(-15)?
False
Suppose 909*d = 899*d + 10510. Is 7 a factor of d?
False
Let y be (42/(-8))/((-3)/12). Let x be (-80)/(-35) - 6/y. Suppose x*s - 2 = 14. Does 7 divide s?
False
Let h = 881 - 446. Is 14 a factor of h?
False
Let m(q) = -3*q + 16. Let r be m(11). Let h = 25 + r. Does 8 divide h?
True
Let t(b) = -b**3 + 5*b**2 + 9*b - 7. Let c be t(6). Let z be 13*(0 + 1)*1. Let o = z + c. Is o a multiple of 6?
True
Suppose -h + 221 = t, 2*h + 703 = 5*h - 5*t. Let q = h + -100. Does 18 divide q?
True
Suppose 0*n + 4*u + 50 = -5*n, 4*n - u = -40. Does 35 divide (-12)/(-15)*303 + 4/n?
False
Let p(c) = -c**3 - 7*c**2 - 4*c - 3. Let h be (-4 + (-5)/10)*2. Is p(h) a multiple of 15?
True
Let d = 726 + 740. Does 31 divide d?
False
Does 10 divide 32/24*-36*(-130)/8?
True
Let a = -177 - -292. Let l = a + -64. Does 14 divide l?
False
Let n = 2155 + -649. Is n a multiple of 6?
True
Let v(b) = b**3 + 9*b**2 + 11*b + 8. Let g be (-5 - -1)/1 + -2 + -1. Is 6 a factor of v(g)?
False
Is 1/(3352/372 - 9) a multiple of 31?
True
Let o(d) = -d**2 - 3*d + 1128. Does 94 divide o(0)?
True
Is 5/(((-4)/580)/((-20)/50)) a multiple of 4?
False
Let v(a) = 6*a - 4. Suppose -21*l = -18*l + 15. Let t be (-216)/(-45) + (-1)/l. Is v(t) a multiple of 13?
True
Let u(i) = 23*i + 1. Let a be -6*((-5)/(-6) + -1). Let g be u(a). Suppose 2*j - g = -j. Is j even?
True
Let i(r) = -r**3 - r**2 + r + 2. Let k be i(-2). Suppose -10 = -5*p + 2*p - k*o, -3*o + 13 = 5*p. Suppose p*t + 65 = 7*t. Is t a multiple of 11?
False
Suppose -3 = -11*m + 10*m. Suppose -4*k + 0*k + m*i = -213, -k = 3*i - 57. Does 27 divide k?
True
Let z(t) = -32*t**3 + 2*t**2 - t - 1. Let a be z(1). Let p = 43 + a. Does 11 divide p?
True
Suppose 4*l + 17 + 13 = u, l = 3*u - 123. Let f = u - 32. Does 10 divide f?
True
Is 26 a factor of 2669 + (-49)/(-17) + 128/1088?
False
Let x = -389 + 273. Does 29 divide x/(-4) + 2 + -2?
True
Suppose 1367 = 5*d + 4*i + 74, 2*i + 6 = 0. Suppose 144 = 3*z - d. Is 28 a factor of z?
False
Let m be 136/16 - (-6)/4. Let q(l) = -10*l + 5. Let o(c) = 18*c - 10. Let t(n) = 3*o(n) + 5*q(n). Is t(m) a multiple of 35?
True
Suppose 0 = -25*v + 12620 + 2580. Is 8 a factor of v?
True
Suppose 12 = -0*j + 2*j. Suppose -j*k = 5*k - 660. Is k a multiple of 12?
True
Suppose -a + 4*a - 27 = 2*s, -2*s = -2*a + 24. Let i be (s/(-6))/(6/8). Suppose -7 = i*g - 29. Does 11 divide g?
True
Let o(m) = m**2 + 6*m + 6. Let b be o(-3). Let t be (-3 - 14*b) + -3. Does 9 divide (6 + -1)/(4/t)?
True
Let s = 41 + -22. Let o = -49 - s. Let z = -47 - o. Is z a multiple of 7?
True
Let p be ((-15)/12)/((-4)/(-32)). Let l be (-10)/p + (1 - 3). Is 14 + (3 - l - 3) a multiple of 5?
True
Let n = 15 - 23. Is 2 a factor of 3 - (-12)/n*-2?
True
Suppose 0 = 2*q - 5*x + 138, 5*x - 197 = 3*q - 0*q. Let t = q - -155. Is 12 a factor of t?
True
Is -19*(-6)/(-4)*132/(-18) a multiple of 11?
True
Let v(o) = -3*o**2 + 39*o + 23. Is v(12) even?
False
Let v = -14 + 19. Suppose 5*u + v*b - 110 = 0, -2*u + 3*u = -2*b + 23. Is 7 a factor of u?
True
Suppose -5*w + p = 445, -2*w + w - 3*p - 73 = 0. Let q be w/14 - 12/(-42). Is 7 a factor of (-18 - 6)*4/q?
False
Does 2 divide (184/(-32) + -8)*8/(-5)?
True
Let g = -3401 - -5928. Is 133 a factor of g?
True
Suppose 30 = 5*o + 3*n, o = 2*n - 0*n - 7. Suppose 0 = t + 2*s + 202, -o*s + 306 = -2*t - 105. Is 17 a factor of (-2 + 1)/(6/t)?
True
Suppose j = 3*j + 8, -2*b + 2*j + 14 = 0. Let p(c) = 3*c**3 - 6*c**2 - 2. Is p(b) a multiple of 5?
True
Let s(u) = -3*u**3 + 17*u**2 + 10*u + 14. Let z(k) = -4*k**3 + 18*k**2 + 10*k + 15. Let o(a) = 3*s(a) - 2*z(a). Does 27 divide o(15)?
True
Let q(b) = 3*b**3 + 9*b**2 - 2*b - 11. Does 17 divide q(4)?
False
Let w = 13 + -15. Let d(k) = -3*k + 2. Is d(w) a multiple of 3?
False
Let m(t) = 2*t**2 - 21*t - 31. Is 8 a factor of m(-6)?
False
Let z be ((-8)/(-18))/(5 + 172/(-36)). Suppose -m - 322 = -z*v, -5*m = 2*v - 6*v + 632. Does 41 divide v?
False
Suppose -28 = 6*r - 82. Is 14 a factor of (-9)/(-15)*(-6)/r*-190?
False
Suppose g = 4*z - 6, -4*z = g - 5*z. Suppose 0 = 4*c + b + g + 20, 4 = -2*c - 4*b. Does 15 divide (-2)/c - 1309/(-51)?
False
Let p = 12 + -11. Let j be (p*66)/(2/4). Let t = j - 84. Is 24 a factor of t?
True
Let q = 287 - -374. Is 20 a factor of q?
False
Let n = 254 + -211. Is n a multiple of 10?
False
Suppose 0*a = a - 3. Let n be (424/24)/(1/a). Suppose 3*j - 42 - 32 = 2*v, -2*j + 5*v + n = 0. Is j a multiple of 6?
True
Suppose 2*j + 1 - 17 = 0. Let v be (j/6 - 0)*-3. Let g = v + 13. Is g a multiple of 2?
False
Let b(i) = 4*i**2 + 17*i + 41. Is b(-10) a multiple of 49?
False
Suppose -12*d + 80 = -4*d. Is 6 a factor of d?
False
Suppose -k - 5*x + 3*x = 29, 0 = -3*x - 6. Let u(f) = -3*f + 5. Let c be u(6). Let d = c - k. Does 4 divide d?
True
Suppose -4*v - 7500 = -34*v. Is 8 a factor of v?
False
Let i(v) be the first derivative of v**4/4 - 10*v**3/3 - v**2 + 9*v + 6. Let w be i(10). Let l = 19 + w. Is l a multiple of 3?
False
Suppose 4*y - 894 = 318. Suppose 0 = -2*m - m + y. Suppose -3*f = -8*f - j + m, -5*j - 15 = -f. Is f a multiple of 12?
False
Let g(a) = a**2 + 4*a + 5. Let z be g(-4). Suppose 0 = -z*v + 2*i + 13, i = 2*v + 5*i - 10. Let f = 11 - v. Does 4 divide f?
True
Let p(g) = -4*g**3 - g + 1. Let t be p(-2). Let d(v) = 3 - 11*v**2 + t*v**2 - 2. Is d(1) a multiple of 18?
False
Suppose 424 = -17*k + 3671. Is k a multiple of 8?
False
Let b(d) = -32*d - 302. Is 30 a factor of b(-16)?
True
Let o(l) = -235*l**3 + 3*l**2 - 4. Is 13 a factor of o(-1)?
True
Let g = -14 + 15. Let b = g + 50. Let m = b + 4. Does 16 divide m?
False
Let i = 1080 - 639. Is i a multiple of 14?
False
Let p(y) = -20*y - 74. Is 20 a factor of p(-13)?
False
Let t = -330 + 330. Suppose 265 = 2*n - 85. Suppose t*u - 5*d + n = 5*u, 5*u = 3*d + 175. Is u a multiple of 17?
False
Is 72 a factor of (5728/12)/(4/12)?
False
Let u(x) = -x**3 - 2*x**2 - 2. Let q be u(-3). Suppose -q - 65 = -3*t. Let y = t + -5. Does 7 divide y?
False
Suppose 0*q + 130 = 5*q. Let l = q + -19. Suppose 12*v - 105 = l*v. Is 4 a factor of v?
False
Is 10 a factor of 16/4 - (-510 + 9)?
False
Suppose -8 = 7*o + 6. Does 7 divide (56 + o)/3*3?
False
Let w(h) = h**3 - 10*h**2 + 14*h. Let o be w(8). Does 21 divide -8*((3 - (-228)/o) + -3)?
False
Suppose 29754 = 24*x + 10602. Is 6 a factor of x?
True
Let s = -4 - -6. Suppose -y = -3*y - 5*f - 60, -5*y + 5*f = 115. Let r = s - y. Is 23 a factor of r?
False
Suppose 4*d = -2*d + 84. Let g(z) = z**2 - 7*z + 7. Is g(d) a multiple of 35?
True
Suppose 3*g + 1 = 5*p - 3, 0 = -p - g + 4. Let f be 5 - (-2 + p + 2). Suppose h = -2*m - 4*h, -10 = -f*m - 5*h. Does 10 divide m?
True
Suppose -4*v - y - 1 = -16, 2*y - 15 = -5*v. Let m(s) = 13 + s**3 + 5*s - 13 - 5*s**2. Is 9 a factor of m(v)?
False
Suppose 0 = 29*r - 21*r - 14736. Is r a multiple of 30?
False
Let v(k) = -24*k + 4. Let y be (8/6)/((-2)/6). Let o be (-1 - 3)*y/(-8). Is 13 a factor of v(o)?
True
Let u(b) be the second derivative of -b**4/12 - 3*b**3/2 + 4*b**2 - b. Let s(t) = t - 9. Let x be s(0). Is 