 = -3*g + 6. Let s be a(j). Let w = 10 - s. Does 16 divide w?
True
Let a = -2 + 11. Is a a multiple of 4?
False
Suppose 4*b - 3*b - g = 6, -3 = 4*b + 5*g. Let m(z) = 3 + 0 - b + 10*z. Is 13 a factor of m(4)?
False
Let p(a) = 9*a - 1. Let k be p(1). Let l(d) = 2 - d - k*d + d**2 + 3*d. Is 2 a factor of l(6)?
True
Let r(l) = l - 5. Let j(v) = 3*v - 2. Let a be j(4). Let z be r(a). Suppose 2*b = 5*u + 38, -z*b + 61 = -4*u - 0*u. Is 9 a factor of b?
True
Let k(o) = -13*o**2 + o + 3. Let v be k(3). Is 13 a factor of (-1)/((9/3)/v)?
False
Let h be -2 + 3 + (-20)/(-2). Let n = h - 4. Is n a multiple of 4?
False
Let r = 0 + 6. Is 6 a factor of r?
True
Let v(w) = -2*w**3 + 2*w**2 - 1. Let o = -3 - -8. Suppose 0 = r - o + 6. Is v(r) even?
False
Suppose -k - 3*k = -20. Suppose -s + k*y + 24 = s, 0 = -s - y - 2. Suppose -3*d = s*t - 8*d - 61, -30 = -t + 2*d. Does 14 divide t?
True
Let n(z) = 0*z + 5*z**2 - 4 + 2 + z**3 - 7*z. Let q be n(-6). Suppose q*l - 3*l = 11. Does 7 divide l?
False
Let o = 298 - 178. Is 5 a factor of o?
True
Suppose z + 0 - 4 = 0. Let r be (-2)/z + (-1)/2. Does 2 divide (-10)/(-2) + r - 2?
True
Let c(s) = -10*s - 14. Let i be c(-9). Suppose 2*m = -5*d + 153, 0 = 5*m - 2*d - 473 + i. Is 20 a factor of m?
False
Suppose 1 = -r - 0*r. Let j = 1 - r. Suppose 2*q + 0*m + m - 59 = 0, 0 = j*q - 4*m - 84. Does 16 divide q?
True
Suppose -6*l = -3*l + h - 509, 2*l + 5*h - 361 = 0. Is l a multiple of 56?
True
Suppose -3*i = -5*p - 104, -7 = p - 3. Is i a multiple of 3?
False
Suppose h = -3 + 8. Suppose 2*n - 55 = h*i, 3*i + 5 = -4*n - 2. Let v(x) = -x**3 - 8*x**2 + 4*x - 11. Does 17 divide v(i)?
True
Suppose 4*f + 55 = 243. Does 6 divide f?
False
Let a(x) = x**2 - 16*x - 33. Is 19 a factor of a(23)?
False
Let i(y) = 5*y**2 + y + 1. Let g be i(-1). Let j be ((-16)/12)/((-2)/3). Suppose 42 = -j*o + g*o. Is 7 a factor of o?
True
Suppose -2*d - 5*k = 20, 3*d - k = -39 + 9. Let s = -5 - d. Suppose 5*i - v = 148, -s*i = -3*v - 120 - 24. Does 15 divide i?
True
Suppose 0*j - 2*j = -4. Suppose -t + 3*t - 62 = -5*p, -p - 4*t = j. Does 8 divide p?
False
Suppose 0*m = -7*m + 189. Is m a multiple of 9?
True
Let o = 7 + -10. Is 9 a factor of o*(-100)/12 + 2?
True
Suppose 3*y - 22 = y - 3*c, -5*c + 35 = 3*y. Suppose -q = -2, -2*k - 3*q + 5 = -y. Is k a multiple of 2?
True
Let v(c) = 8*c**2 - 6*c + 1. Is v(4) a multiple of 35?
True
Suppose 3*q - 5*v + 4*v = 9, 0 = q + 5*v - 19. Suppose 0 = -f + 1 + 2, 3*y - 24 = -q*f. Is 4 a factor of y?
True
Let t be (-22)/4 - (-5)/10. Suppose 3*n - 4*n = -8. Let k = n + t. Is k a multiple of 2?
False
Suppose -109 = -3*p - u - 3*u, 3*u = -2*p + 74. Suppose 5*l - 29 = p. Is 12 a factor of l?
True
Suppose -3*s - 2*s = -3*j + 159, -2*s + 138 = 3*j. Is 3 a factor of j?
True
Let s = -75 + 127. Is 15 a factor of s?
False
Let o(u) = 1 + 5*u**3 - u**2 + 0 + 2*u**3 - 2*u**3. Let z be o(1). Suppose -2*v - 138 = -z*t - 4*v, 87 = 3*t - 3*v. Does 11 divide t?
False
Let x(s) = -s**3 - 5*s**2 + 14*s + 12. Does 24 divide x(-8)?
False
Suppose -9*k + 37 = -80. Does 13 divide k?
True
Suppose 6*l = 3*l + 9. Let m = 2 - 1. Does 13 divide l - 4 - -27*m?
True
Let m(v) = v**2 + 7*v - 1. Let f be m(-3). Does 7 divide (f - -6)*36/(-14)?
False
Suppose -2*o - 2*o + 12 = 0. Let c = o - -12. Is 126/c + 4/(-10) a multiple of 3?
False
Let c be (-1180)/35 - 2/7. Let q = c - -62. Does 14 divide q?
True
Let c(n) = n**3 + 25. Is 11 a factor of c(0)?
False
Let d = 11 + -16. Let u be d/(5/(-2))*4. Suppose 0 = -5*o + 2*w + 34, 4*o + 5*w - 6 = u. Does 6 divide o?
True
Suppose -6*a = -9*a + 165. Let v = -108 + 77. Let g = a + v. Is 12 a factor of g?
True
Is 0 + -8*(2 + -3) a multiple of 6?
False
Let j(z) = z**2 + 13*z + 1. Let s be j(-13). Let k be 6 - (s + 1 + 0). Suppose k*x - 28 = -4*d, -2*x - x + 17 = 2*d. Is x a multiple of 2?
False
Let z = 0 + 3. Suppose -v + 26 = z*b, 2*b = 3*v - 5*v + 24. Is 7 a factor of b?
True
Let r = -313 - -189. Let c = -46 - r. Suppose -m = -0*m - c. Is m a multiple of 21?
False
Let s = -12 + 17. Suppose -2 = 4*c - 10. Suppose b - 2*n = c*b - s, 5*b - 40 = 5*n. Is 4 a factor of b?
False
Suppose 0 = 4*n - n - 3*g - 117, -3*g - 154 = -4*n. Is n a multiple of 3?
False
Suppose 10*r = -14*r + 480. Does 4 divide r?
True
Suppose 0 = 3*l + 4*h - 41, -l - h = -4*l + 46. Suppose -2*a = 3*k - l, -a - 4*k + 9 = -6. Suppose -a = -c + 14. Is c a multiple of 7?
False
Let q(b) = b**3 + 5*b**2 - b + 6. Let g be q(-5). Suppose -c = 2*n, 5*c = 4*n - 3*n + g. Suppose c*z - 9 = 1. Is z a multiple of 5?
True
Let k(z) = z + 1. Let y be k(3). Suppose 24 = y*i - 60. Does 21 divide i?
True
Let j(o) = 80*o + 1. Is j(1) a multiple of 27?
True
Let j be (-7)/21 + 19/3. Let s = j - 4. Suppose 0 = -s*h - 9 + 23. Is h a multiple of 6?
False
Is 16 a factor of 5*(-10)/6*2*-3?
False
Let u = -150 + 194. Is 5 a factor of u?
False
Let g(h) = 6*h - 16. Is 7 a factor of g(9)?
False
Does 11 divide (11/33)/((7/354)/7)?
False
Let d(f) = -2*f**2 - f**2 + 5*f + 2 - f**3 + 6*f**2 - f**2. Does 17 divide d(-3)?
False
Suppose -2*x - a + 2*a = -3, -x + 3*a + 4 = 0. Suppose -5*k + 19 = -4*h, -2*h - x = -3*k + 12. Is k a multiple of 3?
False
Let b = 1 + 2. Suppose b*j - 2*j + 62 = 0. Let c = -35 - j. Does 15 divide c?
False
Let g = -1 - 0. Let k(p) = -3*p**3 - 2*p**2 - 2*p - 1. Let q be k(g). Is (q + -10)*(-1 + -1) a multiple of 15?
False
Let o(y) = -y**3 + 8*y**2 - 4*y - 4. Let i be 4/16 - 15/(-4). Let b = 11 - i. Is o(b) a multiple of 6?
False
Suppose 0 = 3*d + 5*x - 3 + 13, -3*x = 6. Suppose d*w = -4*w - 8, -3*a - 2 = w. Suppose -5*j + 102 + 28 = a. Is 13 a factor of j?
True
Let i(v) = -v + 8. Let q(h) = 2*h - 9. Let n(y) = -6*i(y) - 5*q(y). Let u be n(-7). Let m = -9 + u. Does 8 divide m?
True
Let d be 1019/7 + (-8)/14. Suppose 15 = 5*s - d. Does 16 divide s?
True
Let r(l) = -5*l**2 + 8*l - 6. Let z(a) = 4*a**2 - 7*a + 6. Let i(t) = -6*r(t) - 7*z(t). Does 15 divide i(-6)?
True
Let r(q) = q**3 + 5*q**2 - 2*q + 1. Let l = -13 + 10. Is r(l) a multiple of 9?
False
Let c(a) = -a**2 + 11*a - 3. Let d be c(10). Let y = 27 - d. Does 16 divide y?
False
Let w(u) = -3*u - 1. Let p be w(-3). Suppose -p*j - 34 = -10*j. Is j a multiple of 11?
False
Let h(j) = -j**2 - 41. Let z be h(0). Let o = z + 64. Is o a multiple of 9?
False
Suppose 5*j = 2*r + 414, 11*j + 5*r = 6*j + 435. Is 6 a factor of j?
True
Suppose t + 3*p = 3, -4*t + 12 = 3*p - 0*p. Let j be 1 + (3/3 - t). Is 2 + (-15)/(-3) + j a multiple of 6?
True
Let s be (-2)/4 - 2135/(-14). Suppose 0 = z + 3*z - s. Is z a multiple of 19?
True
Let r = 12 + -7. Suppose -4*x + 778 = 4*p - 2*x, p = -r*x + 190. Is 8 a factor of p/20 - (-2)/8?
False
Let g(x) be the second derivative of -x**3 + x**2/2 - 3*x. Suppose u - 4*u + 7 = -5*k, 2*k = -3*u - 7. Is 2 a factor of g(u)?
False
Suppose -5*m + 0*m = 2*b - 16, -m - 10 = -4*b. Let j(u) = -u**2 + 1. Let w be j(b). Let a = w - -12. Is 4 a factor of a?
True
Suppose -4*m - 5*d + 289 = 0, -6*d + 25 = -d. Does 22 divide m?
True
Let q(z) = -z**3 - 14*z**2 - 16*z - 6. Is 12 a factor of q(-13)?
False
Let d(u) = 4*u**2 + 11*u + 7. Let s(o) = 2*o**2 + 6*o + 4. Let p(f) = 3*d(f) - 5*s(f). Let g be p(-2). Suppose -72 = -g*t - t. Does 9 divide t?
True
Suppose 2*u + 3 = 4*s - 1, 4*u = -2*s + 12. Is (2/(-6))/(s/(-42)) a multiple of 3?
False
Let r(d) = 4*d + 2. Let o(s) = -s**3 - 6*s**2 - 8*s - 5. Let n be o(-5). Is 14 a factor of r(n)?
True
Suppose 0 = -5*f + m + 2, 5*f - 5*m - 13 = -3. Suppose -5*c = -4*l + 150, -5*l + f*l + 202 = c. Is 9 a factor of l?
False
Suppose -z - 4 = 0, -8 = -2*h - z + 108. Is 5 a factor of h?
True
Let r be (2/3)/(2/24). Suppose -3*b + 4 = -r. Is 4 a factor of b?
True
Suppose -3*i + 4*i + 5 = 0. Let p = 5 + i. Suppose p = h + 5*t + 2, -4*h + 3*t + 88 = -t. Does 6 divide h?
True
Is 16 a factor of 57/1*(-256)/(-48)?
True
Suppose -24 = -o - 4. Does 5 divide o?
True
Suppose 4*f = 1 - 33. Let c = -15 - -40. Let b = c + f. Is 11 a factor of b?
False
Suppose -2*p - 4 = -0*p. Let n = p - -30. Does 14 divide n?
True
Suppose -5*z + 5 = -0*z. Does 12 divide (-1728)/(-60) - z/(-5)?
False
Let t(m) = -m**3 + 8*m**2 + 12*m - 20. Does 6 divide t(9)?
False
Let m = -56 - -120. Does 14 divide m?
False
Let f(k) = -11*k**3 + 2*k**2 + 2. Let l be f(-2). Suppose -2*g + l = -148. Suppose 4*d + 19 = g. Is d a mult