2 - 11*c + 7. Does 2 divide h(5)?
True
Let u(z) = -4 + 2*z - 4 - 8*z. Is u(-7) a multiple of 2?
True
Let r(h) = -h**2 + 11*h + 6. Let l be r(5). Let s = 45 - l. Is s a multiple of 2?
False
Suppose 5*c - 69 = -h, -2*c + 6*h = 4*h - 30. Is 11 a factor of (-4)/c - 926/(-7)?
True
Let p(v) = v**2 + 4*v - 9. Suppose -7*x + 170 = -4*m - 5*x, -5*m - 211 = -x. Let z be m/(-9)*15/(-10). Is 4 a factor of p(z)?
True
Suppose 2*x - 22 = 58. Suppose 2*z = -z - 4*o + x, 2*o - 60 = -4*z. Is z a multiple of 3?
False
Suppose -2*q + 1 - 13 = 0. Let n be 68/q*15/(-10). Suppose -38*m = -39*m + n. Is 4 a factor of m?
False
Suppose 3*n + 5*g - 1326 = 0, -4*n + g - 440 = -5*n. Does 19 divide n?
True
Let v = -732 + 1880. Does 14 divide v?
True
Is 6 a factor of ((-34 - -8) + -4)/(-3)?
False
Suppose -2*w = -6*w + 20. Suppose -w*f = -50 - 250. Does 32 divide f?
False
Let s(v) = 4*v**2 + 13*v + 18. Does 7 divide s(-7)?
False
Let b = -288 - -432. Is b a multiple of 24?
True
Suppose 2*k - 12 = -2*o, -10 = -4*o + o - k. Let u(x) = 2*x**3 - 3*x**2 + 2*x + 1. Is u(o) a multiple of 9?
True
Suppose 0 = -3*b + 2*x + 3329, -5*b + 0*x + 5547 = -3*x. Does 34 divide 8/(-16) - b/(-6)?
False
Let x be (-92)/(-22) + 6/(-33). Suppose x*o + o = 25. Suppose o*k = -4*m - 20 + 166, -3*m - k + 104 = 0. Is 13 a factor of m?
False
Suppose 0 = -4*a - p + 2078 + 57, 3*a - 5*p = 1630. Suppose y - 131 = 4*m, 3*y + y - 5*m - a = 0. Is 20 a factor of y?
False
Is 15 a factor of (-4)/(-6)*(1 - 1839/(-6))?
False
Let d = -1128 - -3118. Does 20 divide d?
False
Let s = -43 + 56. Let j(o) = o**3 - 13*o**2 + 4*o - 11. Is 5 a factor of j(s)?
False
Suppose 0*m = -m + 2. Let s(w) = -w**3 + 2*w**2 - w + 1. Let r be s(m). Let p(o) = -3*o. Does 2 divide p(r)?
False
Suppose -z - 392 + 139 = -3*b, 5*b + 5*z - 435 = 0. Is b even?
False
Suppose -79 = -2*x + 147. Let l = 198 - x. Is 10 a factor of l?
False
Let g be (185/65 - 2/(-13)) + -63. Let i = 15 - g. Is i a multiple of 7?
False
Let t be ((0/(-1))/1)/(-4 + 2). Suppose t = 7*c + 108 - 577. Is 13 a factor of c?
False
Let j(k) = -k**2 - 7*k + 0 + 1 - 7. Let c(u) = -u**3 + 3*u**2 - 2*u - 4. Let v be c(0). Does 2 divide j(v)?
True
Let o(m) = -m**2 + 9*m + 16. Let b = 38 - 27. Let i be o(b). Does 6 divide i*(0 - (6 + -2))?
True
Let h be 8/(-20) + (-44)/(-10). Let b(n) = n - 1. Is 2 a factor of b(h)?
False
Let o = -1044 + 1422. Is o a multiple of 18?
True
Let p be 3/(-8) - 38/(-16). Let s be (-207)/45 - p/5. Let a = s - -9. Is a a multiple of 4?
True
Let i(l) = -l**3 + 64. Let t(k) = -k - 2. Let a(h) = -h**3 - 4*h**2 + 6*h + 3. Let w be a(-5). Let c be t(w). Is i(c) a multiple of 16?
True
Let k(c) = 4*c**3 + 2*c + 28 + 29 + 0*c**2 - 2*c**2. Let d(o) = -7*o**3 + 3*o**2 - 3*o - 115. Let h(b) = -3*d(b) - 5*k(b). Is h(0) a multiple of 15?
True
Let p(n) = 2*n - 5. Let k = -10 - -15. Let v be p(k). Suppose f + 262 = v*y, 0*y - 2*f + 256 = 5*y. Is 13 a factor of y?
True
Let b be ((-1)/2)/((-2)/(-72)). Let y be (4/4)/(-2)*0. Let l = y - b. Is l a multiple of 5?
False
Suppose -7*m + 27 = 2*m. Suppose -62 = -5*k - m*p + 43, 0 = 4*k + 2*p - 84. Is 6 a factor of k?
False
Suppose 6*x = 2611 - 499. Is 16 a factor of x?
True
Let j(m) = -m**3 + 4*m**2 - 2*m. Let g be j(3). Suppose g*y = y + 4. Does 12 divide y - -1 - 3*-15?
True
Suppose 0 = b + 2*h - 233, 4*b + 5*h + 205 = 5*b. Suppose o = 6*o - b. Is o a multiple of 6?
False
Suppose 3*o - 3 = -4*q - q, q + 1 = -o. Suppose 0 = 5*f - 25, -17*u = -16*u - 4*f + 18. Suppose -u*h + 0*i = i - 97, q*i + 270 = 5*h. Is 10 a factor of h?
False
Let k be (49 + -4)*(-1)/(-3). Suppose 10*o = k*o - 1085. Does 31 divide o?
True
Let h(x) = -x**2 + 8*x + 9. Let c be h(9). Suppose 4*b = -c*b + 528. Is b a multiple of 33?
True
Suppose -4*r - r + 3140 = 0. Does 21 divide 4/18 - r/(-9)?
False
Let b(p) = 7*p**2 - 4*p - 2. Let y = 95 - 61. Suppose 0 = 4*a + y - 22. Is b(a) a multiple of 19?
False
Suppose -62*m = -57*m - 19055. Is m a multiple of 72?
False
Let l = 35 + -25. Does 10 divide 1/(l/(-75))*-4?
True
Suppose -s + 4*x = -25, 3*s - 4*x - 35 = -0*x. Suppose -s*p + 20 = 0, 3*l + l - p = 192. Is l a multiple of 14?
False
Suppose -2*j = -2*m - 2*m - 124, 0 = 4*j + 2*m - 238. Does 15 divide j?
True
Let d = 47 + -116. Let o = d - -126. Does 27 divide o?
False
Suppose 3*s + 144 = 3*x, 2*x + 2*s - 18 = 78. Is 12 a factor of x?
True
Suppose 0 = 4*l + 6 - 2. Let y be ((-30)/1 - -1)/l. Suppose y = x - 24. Is x a multiple of 11?
False
Let z be (-22)/143 + (-836)/(-26). Is ((-5)/(-2))/(2/z) a multiple of 10?
True
Suppose -5*l = -5*y + 445, 157 + 183 = 4*y + 4*l. Let z = y - 53. Is 10 a factor of z?
False
Suppose -4*u + 2 = -0*n + 3*n, -2*u - 2*n = 0. Let o be u/5 + 138/30. Suppose -h - o = -15. Is h a multiple of 5?
True
Let g(a) = 3*a**3 - a**2 + a - 1. Let o(t) = -2*t - 10. Let r be o(-6). Is 9 a factor of g(r)?
False
Let h(s) = -s**3 + 12*s**2 + 15*s - 10. Let a(f) = 5*f - 2. Let p be a(1). Suppose 6*v - 75 - p = 0. Is 3 a factor of h(v)?
False
Let d be ((-46)/4)/((-5)/(-60)). Let a = 362 + d. Suppose -3*r - r = -a. Is 14 a factor of r?
True
Suppose 615*a - 616*a + 110 = 0. Is 4 a factor of a?
False
Suppose 0*b = 3*b - 36. Is 16 a factor of 21 + (-3)/(b/(-20))?
False
Suppose 4463 = x + 3*x - 3*m, 4*m = -x + 1111. Is x a multiple of 44?
False
Let c(o) = 71*o - 8. Let v(u) = -u - 1. Let d(j) = -c(j) + 6*v(j). Let q be d(-3). Let k = -125 + q. Does 27 divide k?
True
Suppose -3*y + 5*d + 40 - 2 = 0, 4*y + 4*d = 104. Let v = y + 24. Is 17 a factor of v?
False
Suppose -8 + 26 = -j + 3*w, 0 = 4*w + 8. Let c = 39 - j. Is c a multiple of 24?
False
Let b be -2 + -1 - -1 - -2. Suppose -6*y = -5*y + 1, -i + y + 37 = b. Suppose 5*f - i = 3*f. Does 9 divide f?
True
Let z(v) = 41*v - 9. Let i(q) = 42*q - 10. Let r(x) = 5*i(x) - 6*z(x). Let w be r(-2). Is 14 a factor of -3*w/(1 - 5)?
False
Let h be (-9)/6 - 42/(-12). Suppose 0 = h*u - 14 - 20. Is u a multiple of 7?
False
Let h = -41 - -76. Is h a multiple of 2?
False
Let b(v) = -v**3 + 7*v**2 - 4*v - 3. Let l be b(6). Let x(t) = -t**3 + 10*t**2 - 13*t - 4. Let a(m) = -m. Let c(k) = 2*a(k) - x(k). Is c(l) a multiple of 11?
True
Suppose 0 = 3*c - 4*t + 85, 4*t - 82 = 3*c + 3*t. Suppose -43*o - 432 = -49*o. Let r = o - c. Does 27 divide r?
False
Suppose 0 = 11*d + 5*d - 1872. Is d a multiple of 12?
False
Let r(n) = 4*n**2 - 3*n + 3. Let a(l) = l**2 - 10*l + 4. Let k be a(8). Let v be ((-8)/6)/(8/k). Does 6 divide r(v)?
False
Suppose -3*r = -3 - 3. Suppose -g = r*g - 198. Does 22 divide g?
True
Let y = -56 + 89. Let g be (-11)/y + 2/6. Suppose -3*v + v - 2*h + 20 = g, 5*v - 64 = 2*h. Is v a multiple of 8?
False
Suppose 4*q - 100 = -3*a - a, 5*q - 104 = -4*a. Is 28 a factor of 840/(-45)*a/(-2)?
True
Suppose 5*b - 2*b = -2*o + 1176, -3*b + 4*o = -1194. Does 6 divide b?
False
Let r = -643 + 984. Is 5 a factor of r?
False
Let s(h) = 6*h**2 - 9. Let z(j) = 5*j**2 - 8. Let y(d) = -4*s(d) + 5*z(d). Let b be y(3). Let i(w) = w**2 - 3*w + 9. Does 4 divide i(b)?
False
Is 885 + -6 + 3 + 0 a multiple of 98?
True
Let g = 9 + -4. Suppose g*u - 79 = -9. Is 10 a factor of 287/u - (-2)/(-4)?
True
Suppose 49616 = 51*k - 31780. Is k a multiple of 42?
True
Suppose 3*n = -2*f + 1730, 11*n = 3*f + 8*n - 2625. Does 67 divide f?
True
Let k(j) = 35*j - 76. Does 62 divide k(19)?
False
Let w(t) = -t**2 - 30*t + 75. Does 17 divide w(-31)?
False
Does 5 divide (396/15)/6*70/4?
False
Suppose -5 = 3*z + 4. Let o = z - -10. Suppose -o*v = -2*v - 415. Is 17 a factor of v?
False
Let r(s) = s**2 + 25*s + 29. Let d be r(-24). Suppose 3*h = -d*h + 88. Is 10 a factor of h?
False
Suppose 63*d - 17*d = 5244. Does 3 divide d?
True
Let u = 54 - 35. Is u a multiple of 2?
False
Let l(k) = -k**3 + 2*k**2 - 2*k + 1. Let b be l(1). Let c(d) = 4 + b + 10*d - 6 + 16*d. Is c(1) a multiple of 12?
True
Let v = 14 - 10. Suppose v*y - z = -2*z + 365, -4*z - 12 = 0. Is 28 a factor of y?
False
Let h(k) be the third derivative of k**8/6720 + k**7/630 - k**6/120 - k**5/40 - 5*k**4/24 + 3*k**2. Let n(z) be the second derivative of h(z). Is n(-5) even?
True
Does 15 divide (9 - -1106)*(-7)/(-7)?
False
Let f(q) = 3*q**2 + 25*q + 4. Let o be f(4). Let p = o + -98. Does 18 divide p?
True
Let i(f) = -f**3 + 7*f**2 - 7*f - 1. Let j(h) = -h - 16. Let n be j(-7). Let r(s) = s**3 + 8*s**2 - 9*s + 5.