. Let y be (-4 - -3)*(2 - -1). Let z be (y + 21/6)*-4. Is 27 a factor of k(z)?
False
Suppose 4*w + 3 = -17. Let s = w - -13. Is 23 a factor of -4*4/s - -75?
False
Let k(h) = -80*h**2 + 5. Let g(o) = o**2 + o + 1. Let d(j) = 3*g(j) - k(j). Does 21 divide d(1)?
True
Suppose 4*u + 11 = -i - 2*i, -u = i + 2. Let x(v) be the second derivative of v**4/3 - 5*v**3/6 + 2*v**2 - 14*v. Is 18 a factor of x(i)?
False
Let f = -133 - -16. Let l = -51 - f. Is 9 a factor of l?
False
Let y be -3*(-3)/9 - 2. Let k = 12 - y. Let s = 18 - k. Is 2 a factor of s?
False
Suppose 2*r + r + 632 = 2*c, 1618 = 5*c + 2*r. Does 23 divide c?
True
Does 17 divide (24/(-6) - 487)/(-1 + 0)?
False
Let k(t) = t**2 + 14*t - 11. Let f(m) = m**2 + 13*m - 12. Let r(z) = 2*f(z) - 3*k(z). Does 10 divide r(-7)?
False
Let k(z) = 3*z**3 - 27*z**2 - 16*z - 11. Is 12 a factor of k(10)?
False
Suppose -3*p + 0*p + 90 = 0. Is p a multiple of 10?
True
Let x = 2260 + -280. Is x a multiple of 34?
False
Let b(s) = 949*s + 412. Does 10 divide b(4)?
False
Suppose -4*s - 16 + 39 = -3*g, 0 = -3*g - 2*s - 29. Let f(l) = 2*l + 23. Let r be f(g). Suppose -4*y - 4*d = -y - 140, -r*y = -2*d - 242. Does 12 divide y?
True
Let d(t) = 172*t**2 - 1. Let u be d(-1). Suppose m = i + u, -4*m = 2*i + 6 - 684. Does 34 divide m?
True
Let r be (-406)/(-35) + (-6)/(-15). Suppose -2*x - x + r = 0. Suppose 36 = x*h - 2*h. Is 6 a factor of h?
True
Suppose 0 = -2*p + p + 7. Let h be (-2)/(-6)*15 - -1. Suppose -5*s - 2*n - h + 49 = 0, p = s + 2*n. Is 3 a factor of s?
True
Suppose -11*i + 12 = -14*i. Let f(a) be the first derivative of -a**2 - 1. Is 4 a factor of f(i)?
True
Suppose -29*t + 3165 = -2084. Is 39 a factor of t?
False
Let j be (-3)/1 + 2100/5. Suppose -5*h = 2*b - 102 - 99, j = 4*b - 5*h. Is 21 a factor of b?
False
Does 7 divide (2135/4 - 4/(-16)) + 5?
True
Suppose -212*d + 3584 = -208*d. Is 32 a factor of d?
True
Let t = 216 - 56. Suppose 3*b + 4*m - t = 0, -320 = -4*b - b + 4*m. Is 15 a factor of b?
True
Let n(p) = p**3 + 9*p**2 - 23*p - 8. Let k be n(-11). Suppose -3*a = r + 2*r - 708, 5*r = -k*a + 718. Is 33 a factor of a?
True
Let g(u) = -u**2 + 40*u - 55. Is g(17) a multiple of 24?
True
Let b = 148 - 145. Suppose -s - b*s = -24. Is 5 a factor of s?
False
Let o(v) = -9 + 18 + 0 - 13*v - 17. Let i be -1*-1*(-6 - -1). Does 19 divide o(i)?
True
Suppose 3*c - 75 = 5*y, -3*y - 68 = c - 9. Let r(n) = -n**2 - 20*n - 18. Is r(y) a multiple of 9?
True
Let j = -214 + 387. Does 14 divide j?
False
Let b = 958 + -574. Is 48 a factor of b?
True
Let l(j) = -j**3 + 7*j**2 - 4*j + 5. Let u be l(6). Let w be (1/1)/(1/u). Suppose 13*v + 64 = w*v. Is v a multiple of 13?
False
Let p(a) = 29*a**2 - 13*a - 76. Is 42 a factor of p(-5)?
True
Let r(z) = -z**2 + 11*z + 7. Let g be r(11). Suppose 0 = -h - s - g, h + 0*s - 2*s = -13. Let j(v) = -v**2 - 12*v - 13. Does 14 divide j(h)?
True
Suppose 6185 + 13765 = 14*k. Is k a multiple of 104?
False
Suppose -45 = -4*y - 1. Let a(p) = p**3 + 8*p**2 + 7*p + 9. Let r be a(-7). Let f = r + y. Does 8 divide f?
False
Let x be 1 + -3 + 2 + 2. Suppose 0 = -x*w - 2*d + 72, -3*w + 2*d + 124 = d. Is 20 a factor of w?
True
Suppose 3*j = -5*p + 7*j + 796, -2*p - 5*j = -325. Does 80 divide p?
True
Let w(h) = -3*h**3 + 2*h**2 + 3*h - 2. Let g be w(2). Let z(r) = -r**2 - 17*r - 4. Is z(g) a multiple of 8?
True
Let i be 16/24*9/(-6). Is 12 a factor of (-3)/(-2)*(-1)/i*98?
False
Suppose l + 3*c - 1219 = 0, -2*l - 1221 = -3*l - 5*c. Is 38 a factor of l?
True
Let k = 32 + -30. Suppose -4*j + 5*j = -k*q + 31, j - 2*q - 35 = 0. Is 5 a factor of j?
False
Suppose 3*h + 3*v - 3174 = 0, 19*v - 14*v = -h + 1058. Is 23 a factor of h?
True
Let a be -4*2/(-44) - 218/(-11). Suppose 0 = 4*t + a, -2*t + 2 = z + 1. Does 11 divide z?
True
Let y(m) = 5*m**2 - 6*m + 320. Is y(18) a multiple of 8?
True
Let m(f) = -f**2 + 10*f + 5. Let d be m(12). Let z = 21 + d. Does 9 divide 30/z*9/15?
True
Let q = 2031 - 421. Is 46 a factor of q?
True
Let n = 17 - 6. Suppose 4*t - 32 = -4*g - g, -n = -5*t + g. Suppose 37 = s - 5*p, s + 8 = t*p - 7*p. Does 4 divide s?
True
Suppose 38065 = 46*n + 10373. Does 14 divide n?
True
Let o(t) be the third derivative of t**6/120 + 7*t**5/60 + t**4/6 + 2*t**3/3 + 2*t**2. Is o(-4) a multiple of 18?
True
Let f(v) = 24*v - 2. Let i be f(-1). Let t = 55 + i. Is 4 a factor of t?
False
Let i be 348/36 + 1/3. Suppose 11*b - 57 = i*b. Does 19 divide b?
True
Suppose -182 = -11*x + 258. Does 40 divide x?
True
Let g(w) = 9*w - 50. Let p be g(6). Let j(o) = 8*o**2 - 3. Is 14 a factor of j(p)?
False
Suppose -k = -3*v - 0*v + 117, 0 = 2*k + 3*v + 216. Let h be (60/(-18))/((-944)/468 + 2). Let m = k + h. Is 22 a factor of m?
False
Let o = -3 + 1. Let j = -525 - -528. Does 6 divide (o/j)/((-48)/3816)?
False
Let u(i) = -164*i + 29. Does 19 divide u(-4)?
False
Let h(l) = l - 9. Let c be h(5). Let r be c/10*30/6. Is 10 a factor of 38/4 + (-1)/r?
True
Suppose 0 = -3*t - 3*t + 12. Let s(r) = 1 - 10*r + 10*r + 15*r**t. Is 8 a factor of s(-1)?
True
Suppose -5*v = -21 - 19. Let j = v + -38. Is (-245)/j + (-2)/12 a multiple of 4?
True
Let y(q) = q - 43. Let d be y(-21). Let x = -57 - d. Is x a multiple of 2?
False
Is (-2)/(-10) - 34/(-255)*6681 a multiple of 9?
True
Let i(m) = m**3 + 20*m**2 - 22*m + 36. Is i(-18) a multiple of 30?
True
Let x be (-2 - -3) + (-1 - -2). Let d = -88 - -88. Suppose t - 5*c - 22 = 48, d = x*c + 10. Is t a multiple of 9?
True
Suppose -s + 3*a - 215 = 5*a, -3*a + 915 = -4*s. Is 2 + (-7)/(21/s) a multiple of 11?
True
Is 8 a factor of (-4725)/(-20) + 10/(-40)?
False
Let l(n) = -n**3 - 7*n**2 - 5*n + 6. Let y be l(-6). Suppose -5*m + 5*v - 10 = 0, -4*m + y*v = -v - 1. Let c(q) = 13*q**3 - 2*q**2 + q. Is c(m) a multiple of 5?
False
Let r(b) = -37*b + 35. Is 20 a factor of r(-5)?
True
Let j = -109 + 228. Let w = 146 - j. Is 6 a factor of w?
False
Let r be 6/8*(6 - 2). Suppose -7*j + 3*j + 3*n = -759, 0 = -r*j - 5*n + 533. Is 25 a factor of j/4 + 2/4?
False
Let k(p) = 2*p**2 + 17*p - 96. Let c be k(-12). Let x(o) = -10*o - 2*o**2 + o**2 - 16 - 4*o. Does 2 divide x(c)?
True
Let g(t) = -13*t**3 - t**2 - t - 1. Let o be g(-1). Let d be (-288)/(-9)*(-3)/((-12)/10). Suppose 0 = o*a - 14*a + d. Is a a multiple of 15?
False
Let z be -3 - -1 - 1*-11. Suppose -5*k + k + 12 = 0, 4*g + 3*k - z = 0. Suppose -174 = -5*m - 4*x, 3*m + 2*x - 7*x - 97 = g. Is m a multiple of 23?
False
Let f(m) = 2*m**3 + m**2 - 3*m - 8. Is f(6) a multiple of 13?
True
Is 853/7 + 3/21 a multiple of 32?
False
Let k = 1312 + -235. Does 53 divide k?
False
Let w = -62 - -67. Suppose 4*h - 130 = -5*a, -96 = -3*h - w*a - 1. Does 7 divide h?
True
Is 11 a factor of 4 + (-1 - -5)*43?
True
Suppose 6*i + 1030 = 11*i. Suppose -4*z + 492 = -4*n, 0 = -2*z - 5*n + i + 5. Does 22 divide z?
False
Suppose -3*j + 30 = -24. Is 10 a factor of j?
False
Suppose -2*d + 1 + 5 = 0. Let r(v) = 21*v**3 + 5*v**2 - 6*v + 2. Let a be r(2). Suppose z - 99 = -d*s, -z + a = z + 2*s. Is z a multiple of 14?
True
Let c(j) be the first derivative of 2*j**3 + 4*j**2 - 16*j - 42. Does 17 divide c(5)?
False
Let u(f) = 8*f - 2. Let k be u(5). Let w be 4/(3/(84/8)). Let l = k - w. Is 13 a factor of l?
False
Let m(v) = v**3 - 3*v**2 + 3*v - 1. Let w be (1/(-2))/(4/(-16)). Let k be m(w). Suppose 33 - k = 2*i. Does 16 divide i?
True
Suppose 135 = 4*t - t. Let l be (t/20)/((-3)/(-32)). Does 16 divide (606/l)/(2/8)?
False
Let v = -290 + 745. Is v a multiple of 7?
True
Suppose 4*c - 67 = -303. Let f(s) = s**3 + 6*s**2 - 5*s - 1. Let q be f(-8). Let g = c - q. Does 15 divide g?
True
Suppose -8*x + 1122 = 3*x. Let t = x - -45. Is t a multiple of 27?
False
Let d(b) = -2 + b + 6 + b + 2*b**2 - b**3. Let n be d(3). Suppose y + n - 9 = 0. Is 4 a factor of y?
True
Let w(z) = 2*z**2 - 8*z + 6. Let n(r) = -r**3 + 2*r**2 + 5*r - 3. Let a be n(3). Suppose 7*l = 2*f + 2*l - 10, 15 = a*f - 4*l. Is w(f) a multiple of 16?
True
Let v(n) = -7*n**3 - 8*n - 31. Is v(-3) a multiple of 14?
True
Let v(j) = -j**3 + 6*j**2 - 2*j + 4. Let c be v(4). Let h = c - -11. Let k = -20 + h. Is 4 a factor of k?
False
Suppose 0 = 4*g + 2*f - 18 - 182, -2*g - 5*f = -84. Suppose 3*v - 111 = -0*v - 3*a, v + 4*a = g. Let j = v - 18. Is j a multiple of 14?
True
Suppose 30*u + 40368 = 78*u. Is 29 a factor of u?
True
Let r(w) =