2 - 2 + k**f + 3*k + 0 - 4. Is o(-8) a multiple of 26?
False
Let l(k) = -2*k**3 - 18*k**2 - 7*k - 5. Let p be (18/(-5))/(2/5). Is l(p) a multiple of 10?
False
Suppose 2*h - 140 = -4*i, h + 95 = -6*i + 9*i. Is i even?
False
Suppose 0 = 5*y - 4*y - 6. Suppose -y*z - z + 14 = 0. Suppose -z*x + 35 = -35. Is x a multiple of 5?
True
Suppose -4*w = -2*w - 32. Suppose 3*d + 0*t + 12 = -3*t, w = d - 4*t. Suppose 0 = -3*u + 3*m + 168, d = m - 7 + 3. Does 29 divide u?
False
Let l = 5 + -14. Let k = 14 + l. Does 17 divide (-6)/k*595/(-14)?
True
Suppose 0 = 54*q - 468 - 936. Is q a multiple of 26?
True
Let j(a) = 8*a**2 - 5*a + 6. Let f be (0 - (-18)/15)*5/2. Is 6 a factor of j(f)?
False
Let k(w) = -16*w - 5 + 12*w**2 - 2 + w**3 - 5*w**2 + 17*w. Let c(r) = r**3 + 5*r**2 + 6*r + 3. Let v be c(-4). Is 19 a factor of k(v)?
True
Let h(w) = 5*w**2 - 1. Let a be h(-1). Suppose 0 = 3*c - c - a. Suppose 2*m - 100 = -c*i, 4*i - m = -i + 244. Is i a multiple of 10?
False
Let c = 140 - -10. Is 38 a factor of c?
False
Let v = -847 + 2191. Is 21 a factor of v?
True
Let d(p) = p**3 + 18*p**2 + 35*p - 22. Is 22 a factor of d(-11)?
True
Let g be ((-3)/(-2))/((-1)/(-6)). Let v be 22/(-18) + 6/27. Does 7 divide 7/((-6)/g - v)?
True
Let h = -92 + 575. Is 69 a factor of h?
True
Let s = -71 - -156. Is 2 a factor of s?
False
Let l(p) = -p**2 - 47*p - 109. Does 33 divide l(-26)?
False
Let a be 6/(-10)*(6 + -11). Suppose 3*i - 21 - 15 = -4*u, 3*i - 30 = -a*u. Is 3 a factor of (3 + 1 + -3)*u?
True
Is 29 a factor of (-15)/12 + (-2786)/(-8)?
False
Suppose -f + 5458 = 4*p - 1394, 2*p - 3426 = -3*f. Is p a multiple of 30?
False
Suppose 0 = -5*j + 3*a + 6, 4*a = -4*j - 0*a + 24. Suppose -j*n + d + 158 = -d, 4*n - 208 = 4*d. Is n a multiple of 9?
True
Suppose 2*n + 3*n + 281 = 2*i, -5*i = -4*n - 694. Suppose 0 = -35*h + 37*h - i. Is 23 a factor of h?
True
Does 4 divide ((-54)/(-14))/9 - (-29310)/14?
False
Suppose 3295 = 3*u - 5*k + 797, -3*u + 4*k + 2500 = 0. Is u a multiple of 10?
False
Let s be ((12 + -6)/12)/((-1)/(-172)). Suppose 0 = -c - 3*l + s, l + 2*l = 2*c - 145. Is 13 a factor of c?
False
Suppose -4*g = -2*g + n + 82, 2*n = -3*g - 124. Let a = g + 238. Is a a multiple of 46?
False
Let l(t) = -t**3 - 7*t**2 - 8*t - 4. Let h be l(-6). Let x be 46/h - (-1)/4. Suppose 2*v = 3*c + 21, 0 = -5*v + 3*c + x + 42. Does 9 divide v?
True
Is 5 a factor of 9/45*5 + 1 + 162?
False
Let x = -24 + 45. Let a = x + -11. Is 28 a factor of 168/a*60/18?
True
Let a(v) be the second derivative of -v**3/2 - 49*v**2/2 + 32*v. Does 7 divide a(-21)?
True
Suppose 0 = 4*g - 38 + 10. Let n(b) = -g*b + b**2 - 3*b - 7*b + 9*b - 2. Does 27 divide n(-6)?
False
Suppose 3*t = -1215 + 7326. Is t a multiple of 7?
True
Let c be 8 - (1 + (5 - 1)). Let b = 61 + -25. Suppose -2*w + c*g + 12 = 2*g, -g = 4*w - b. Is 8 a factor of w?
True
Suppose -w - 5 - 15 = 0. Let f(s) = -s**2 - 24*s - 15. Does 21 divide f(w)?
False
Let l = 1 - -3. Suppose -4*h + 3*h = -5*a - 56, -l*a + 224 = 4*h. Suppose -h = v - 3*v. Is 14 a factor of v?
True
Let k be (-340 - 2)/(-1) + 3 + -6. Suppose 0 = 4*f - k + 11. Is f a multiple of 16?
False
Let j(t) = -2*t**3 + 9*t**2 - 2. Let i be j(4). Is 6 a factor of i/((10/90)/(2/12))?
False
Let i = -545 + 677. Does 4 divide i?
True
Suppose -d - 146 = 5*n, 5*d - 2*n + 646 = n. Let h = d - -190. Is h a multiple of 9?
False
Let y(w) = 11*w - 13. Let l be y(10). Suppose 5*n + l = 17. Does 13 divide (-121)/(-3) - n/24?
False
Suppose -1 + 3 = 2*y. Let a be -12*y*132/24. Let h = a - -120. Is 18 a factor of h?
True
Suppose -10*q + 4951 = -4919. Is 116 a factor of q?
False
Suppose -1531 = -5*t + 3*o, -5*t + o = -4*o - 1525. Is t a multiple of 77?
True
Let v(a) = a**3 + 3*a**2 - 6*a - 3. Let z be v(-5). Let w = -21 - z. Suppose 0 = w*h - 3*h + 3. Is h a multiple of 3?
True
Suppose -5 + 1 = -k. Suppose k*x = -3*b - 1 + 2, 9 = -4*x - 5*b. Let f(v) = 2*v**2 - v - 2. Is 9 a factor of f(x)?
False
Is 22/(-4*(-6)/876) a multiple of 78?
False
Let n(u) = 4*u - 6*u**2 + 8*u**2 + 5 - 3*u**2 - 28*u**2. Let w be n(-2). Let z = w - -191. Does 36 divide z?
True
Let h(f) = -f**3 + 8*f**2 - 4*f + 3. Let u(j) = j - 4. Let r be u(8). Suppose -r - 2 = -2*w. Does 18 divide h(w)?
True
Let u be (-63)/126 + 0 + 5/2. Suppose 0*d - 511 = -5*k + d, 202 = u*k + 2*d. Is k a multiple of 42?
False
Suppose -3*s = -w - 0*w + 47, 2*w = -2*s - 34. Does 32 divide 2 + (s/(-3))/(3/18)?
False
Let m(i) = -6*i**3 - 21*i**2 + 2*i - 5. Is m(-9) a multiple of 25?
True
Let d(k) = 6*k**2 + 4*k - 26. Does 5 divide d(5)?
False
Suppose -10 = 5*x, -177 + 563 = 5*b - 3*x. Let k = b - 56. Is k a multiple of 4?
True
Let q(w) be the first derivative of 2/3*w**3 - 3*w**2 + w - 3. Is q(4) a multiple of 9?
True
Suppose 24 = -35*z + 164. Let n(p) = -p**3 - 2*p**2 + 2*p - 1. Let j be n(-3). Suppose -j*v = -100 + z. Does 16 divide v?
True
Let z(p) = 5*p**2 - 5*p - 6. Is 6 a factor of z(-3)?
True
Suppose 3 = 2*a - 1. Suppose -5*k + 6*c - a*c + 334 = 0, 3*k + 5*c = 193. Is 22 a factor of k?
True
Let r = -113 + 321. Is r a multiple of 11?
False
Suppose -3 = -5*v + 4*v. Suppose -q = 3*u - 17 - 64, -4*u + 95 = -v*q. Is 13 a factor of u?
True
Does 51 divide 120/80*3758/3?
False
Let k(c) = 29*c**2 + 7*c + 46. Is 24 a factor of k(-4)?
False
Let y(h) be the first derivative of -5*h**2 - 28*h + 20. Is 3 a factor of y(-6)?
False
Suppose q + 23 = 5*o, -3*q = -4*q - 5*o + 27. Suppose -376 = -q*b - 6*b. Does 3 divide b?
False
Let q(p) = -5*p**2 + 37*p - 5. Let a(y) = -2*y**2 + 19*y - 2. Let d(g) = 7*a(g) - 3*q(g). Let n(f) be the first derivative of d(f). Does 33 divide n(15)?
False
Let q(w) = 240*w - 140. Does 10 divide q(4)?
True
Let y be -14 - (3 + (1 - 6)). Suppose 3*f + 4 = -17. Let m = f - y. Is m even?
False
Suppose -396 + 1708 = 4*w + 3*u, -4*u + 328 = w. Suppose 40 = -3*k + w. Does 32 divide k?
True
Suppose 3*u - 206 = 121. Let z = u + -70. Is z a multiple of 6?
False
Suppose 11 = 5*i + 1. Suppose v - i*v = 6. Is ((-37)/3)/(2/v) a multiple of 9?
False
Let y(f) = -2*f**3 + 95*f**2 - 35*f - 116. Does 32 divide y(47)?
True
Let k(a) = -33*a - 112. Is 17 a factor of k(-21)?
False
Let v be 5/(-2)*4/(-5). Suppose 2*i = 2*t, v*t - 2 = -i + 2*i. Is t a multiple of 2?
True
Let z = -639 + 1042. Is z a multiple of 34?
False
Let l(j) = j**3 + j**2 - 2*j + 15. Suppose 3 = -2*w - c - 2*c, 0 = 5*w + 3*c + 3. Let m be l(w). Suppose m = -2*f + 5*f, -2*b + 159 = -3*f. Does 29 divide b?
True
Let j = -5789 + 8117. Is 11 a factor of j?
False
Let j be (1 + -2)/((-6)/324). Suppose 26 = n - j. Does 8 divide n?
True
Let a = -7 - -9. Suppose -3*r - 4 = f - 5*r, 5*f + 36 = a*r. Let n(j) = -j**3 - 6*j**2 + 11*j + 3. Is 14 a factor of n(f)?
False
Let p be (-4)/(24/(-70)) + (-1)/(-3). Suppose -18 = -2*c - a, -a - p = -c - 3*a. Is 5 a factor of c?
False
Let l be -2 - -2 - 32 - 3. Suppose 0 = -2*d + 6*d - 392. Let a = l + d. Is a a multiple of 14?
False
Let q be (-5 - -4 - -2) + -1. Let o(d) = d + 38. Is 11 a factor of o(q)?
False
Let j = 4 + 55. Suppose j - 224 = -5*n. Does 13 divide n?
False
Let d be (-2 - 1) + 2 + 11. Let k be (-2)/5 - (-4)/d. Suppose k = -n + 2*r, -r = -3*n + n + 3. Does 2 divide n?
True
Let p be (9/9)/(2/(-2)). Let z be p + 1/(5/985). Suppose z - 52 = 8*w. Does 2 divide w?
True
Does 7 divide (9/6)/((-1)/(-2)) + 340?
True
Suppose 37 + 65 = 2*x. Let s = 21 - x. Let j = s + 77. Does 21 divide j?
False
Let b(g) be the third derivative of -1/2*g**3 + 0*g + 0 - 3*g**2 + 5/12*g**4. Is 17 a factor of b(7)?
False
Suppose -25*k + 11743 = -20932. Is 39 a factor of k?
False
Suppose -2*l = -6*l + 8, 4*f - 5*l = -2. Does 3 divide 10/((4 - f) + -1)?
False
Let m(c) = c**3 + 5*c**2 + 9*c + 5. Let o be m(-5). Is 12 a factor of (-1)/((4/(-90))/(o/(-12)))?
False
Let q be (-8)/14*(-14)/4. Suppose 4*o + 0*y - 3*y - 185 = 0, q*o - 3*y = 85. Is o a multiple of 4?
False
Suppose 5*l = o + 42 - 9, o + 12 = -2*l. Let g be (3/(-2))/(o/96). Suppose 0 = g*f - 11*f + 36. Does 9 divide f?
False
Let j(t) be the first derivative of -t**5/20 + 3*t**4/4 - 4*t**3/3 - 2*t**2 - 6*t - 4. Let s(i) be the first derivative of j(i). Does 28 divide s(6)?
True
Let u = 1235 - 828. Is u a multiple of 37?
True
Let a(k) = 80*k**2 - k. Is a(1) a multiple of 3?
False
Let d(a) = a + 4. Let g be d(-1). Suppose g*h - 3*r - 206 = -2*r, -82 