-1 + 2)/(g/(-16)) a multiple of 8?
True
Suppose -i + 2*i = 0. Suppose 5*m + j - 73 = i, 5*j = 10 + 5. Is m a multiple of 10?
False
Let w be (-4)/18 - 332/(-36). Let j be ((-6)/4)/(w/48). Let h(f) = -f + 6. Is 14 a factor of h(j)?
True
Let o(w) = -w**3 + 9*w**2 + 3*w - 12. Does 7 divide o(9)?
False
Suppose 0 = -2*g - 18 + 142. Suppose -f - f + 58 = 0. Let t = g - f. Does 13 divide t?
False
Suppose 1 - 10 = -3*x. Suppose 0 = x*o - 0*v - 5*v - 31, 0 = -5*o + 3*v + 25. Is 15 a factor of 32/2 + (o - 3)?
True
Let q(t) = 1 + 6*t - 6 + 2. Suppose -9 = -3*s + n + 9, 5*n + 30 = 3*s. Does 21 divide q(s)?
False
Suppose -4*b = -11*b + 1358. Is 42 a factor of b?
False
Suppose -6*z = -81 - 261. Let w be (2/4 - 1)*-6. Is 25 a factor of ((-6)/(-2))/w + z?
False
Suppose 2 = 5*g - 3. Let l = g - -26. Is l a multiple of 9?
True
Let x(i) = 4*i**2 + 3*i + 1. Let j be x(-5). Let r = j - 26. Is r a multiple of 20?
True
Suppose 14 = -2*a + 44. Is a a multiple of 3?
True
Suppose -5*z - 7 = 2*r - 0*z, -2*z + 6 = 3*r. Suppose -5*c + 37 = 3*l, r*c + l - 12 = 3*l. Is c a multiple of 4?
False
Let x(w) = 4*w**2 + 2*w - 3. Let k = 5 - 3. Is 8 a factor of x(k)?
False
Let f(s) = -74*s**3 + 2*s**2 + s. Is 5 a factor of f(-1)?
True
Let u(k) = -2*k - 7. Let i be u(-4). Let y = i - -8. Is y a multiple of 3?
True
Let c(a) = -a. Let d be c(-3). Suppose -2*i = 2*i - 16, d*j = 2*i + 70. Does 9 divide j?
False
Suppose -20 = -4*v, -2*g = 3*g - 3*v + 20. Let h(m) = m + 1. Let p be h(-4). Is 10 a factor of (-320)/(-15) - g/p?
False
Suppose -v + 13 = -4. Does 4 divide v?
False
Let g = 1 - -4. Suppose 0*k - 25 = -g*k. Is k a multiple of 3?
False
Let p(w) = -2*w - 1. Let m(u) = 2*u. Let k(c) = 4*m(c) + 5*p(c). Is 7 a factor of k(-7)?
False
Suppose 3*r + 200 = 8*r. Let w = 90 - r. Suppose -w = -4*s + 2*s. Is 14 a factor of s?
False
Let w(h) = 3*h**2 + 2*h - 5. Is 15 a factor of w(-4)?
False
Let f = 108 + -41. Suppose 0 = -3*t + 95 + f. Suppose -2*k + t = -2*i, 0*k - 2*k = 2*i - 74. Is k a multiple of 23?
False
Suppose -3*b = -4*b + 4. Let f(d) = d**2 + 6*d - 2. Is f(b) a multiple of 19?
True
Let y(g) be the first derivative of -4*g**2 - 2*g + 3. Is y(-5) a multiple of 14?
False
Let k = -208 - -417. Suppose 4*v - 11 = k. Does 21 divide v?
False
Suppose -4*p = -9*p + 1795. Is 53 a factor of p?
False
Let q = 152 - 74. Does 14 divide (q/(-21))/((-2)/14)?
False
Let t(q) be the first derivative of q**4/4 + 11*q**3/3 - 15*q**2/2 - 6*q + 3. Let j be t(-12). Let x = -15 + j. Is 15 a factor of x?
True
Let r = -1 - -3. Let i(n) = 2 - n**2 - 3 - n**r - n**3. Is i(-3) a multiple of 5?
False
Let x(w) = w**2 - 7*w - 2. Let n be x(7). Let m be (2 - n) + -2 - 0. Suppose 2*d = 5*y - 32 + 7, 4*y - m*d - 20 = 0. Is 3 a factor of y?
False
Suppose n + 2*q = q + 88, 0 = -q - 2. Suppose m - n = -m. Is m a multiple of 15?
True
Suppose 0 = -a + 3*a - 16. Is 8 a factor of a?
True
Let o = -15 + 11. Let a be 10/5*o/(-2). Suppose x + 4*c + 0*c = 16, -a*x = 2*c - 106. Is x a multiple of 11?
False
Suppose -6 = 4*z - 2. Does 3 divide (12/(-30))/(z/25)?
False
Let v = 4 - -2. Let x(l) = l - 2. Let w be x(v). Suppose 3*z = d + 4*d + 81, -z + 10 = w*d. Is 11 a factor of z?
True
Let d be (-6)/(-8) + 7/(-4). Let y(m) = -5*m. Let c be y(d). Let l = 21 + c. Does 12 divide l?
False
Let p(n) = n**3 + 10*n**2 - 5*n - 8. Is p(-5) a multiple of 4?
False
Let u = 16 - 13. Suppose -w = u*w - 184. Is 23 a factor of w?
True
Suppose -647 - 331 = -6*y. Does 18 divide y?
False
Let n(r) = -r**2 - 4*r + 4. Let f be n(-4). Suppose 2*g - 2*x = -f + 18, -4*g = 5*x - 10. Does 5 divide g?
True
Let b(f) = f**3 + 9*f**2 + 2*f - 11. Is b(-5) a multiple of 16?
False
Suppose 0 = 5*o - 5 + 35. Let i(h) = -h**2 - 9*h. Let k be i(o). Suppose 0 = j + a - 10, 2*j = -4*a + k + 6. Does 5 divide j?
False
Does 46 divide (10 + -5 + -12)*-46?
True
Suppose -2*b = -z - 0*b + 17, 42 = 2*z - 2*b. Suppose z = 2*h - 59. Is 19 a factor of h?
False
Let q = 4 - 1. Suppose 3*p - 3 = r, -q*r + 2*p - 2 = -2*r. Suppose 5*g - 48 - 2 = r. Does 6 divide g?
False
Suppose -138 = -6*u + 282. Does 9 divide u?
False
Let u = -6 + 10. Suppose -u*c - 2*l = c - 34, -5*c + 38 = 4*l. Does 5 divide c?
False
Let d(v) be the third derivative of 2*v**2 - 1/12*v**4 + 0 + 5/6*v**3 + 0*v. Does 13 divide d(-5)?
False
Let s(a) = 70*a - 1. Suppose -u + 2 = u. Is 20 a factor of s(u)?
False
Suppose -2*n - 48 - 24 = -5*s, s - 17 = 3*n. Let t(o) = -o**2 - 6*o - 5. Let b be t(-5). Suppose g + 4 - s = b. Does 5 divide g?
True
Suppose 37 = g + 2*f, 3*f = -0*f + 6. Is 20 a factor of 2/11 + 1974/g?
True
Let i be -3*((-12)/(-9))/(-1). Suppose 4 + i = 2*v. Suppose -2*y - 7*w + 59 = -4*w, -v*y - 3*w + 133 = 0. Does 17 divide y?
False
Let y(j) = -2*j - 7*j**2 + 19*j**2 + j. Is 18 a factor of y(2)?
False
Let d be (-9)/(-3) - 5 - -3522. Suppose 3*g + b = -2650, -g - 4*b - d = 3*g. Does 13 divide g/(-35) - (-4)/(-14)?
False
Suppose 5*c = -0*c. Suppose -k + 0*k + 25 = c. Suppose -5*m + k = -3*z - 6, -1 = -m - 2*z. Is 3 a factor of m?
False
Let j = -5 - -15. Suppose -5*t = -j - 40. Is 5 a factor of t?
True
Suppose 11 = 3*f - 4*n + 4, 5*n = 10. Is f even?
False
Suppose k = -2*k + 96. Let y be k/12 + 4/(-6). Does 8 divide 22 + 0 + -4 + y?
False
Suppose -5*d - 3*q = -279, 0*q + 238 = 4*d - 5*q. Is 14 a factor of 1/(-4) + d/4?
True
Let v = -42 + 89. Suppose 5*l - 4*g - v = 0, 2*l + 7*g = 3*g + 30. Let o = 19 - l. Is 5 a factor of o?
False
Let z(v) = -2*v**2 - 46*v - 28. Does 4 divide z(-22)?
True
Suppose 2*l + 43 + 128 = -3*w, -4*l = -2*w + 302. Let d = -51 - l. Is d a multiple of 8?
False
Suppose 3*z = 18 + 30. Is z a multiple of 8?
True
Let g(k) = -k + 1. Let z be g(4). Let v = -4 - -6. Let b = v - z. Does 5 divide b?
True
Does 9 divide 5*((-9)/(-15))/(15/530)?
False
Suppose 2*o = 6, -4*o + 68 = 3*y + y. Is 14 a factor of y?
True
Let o(l) = l + 10. Let v be o(-17). Let z(a) = -a**2 - 8*a + 9. Does 8 divide z(v)?
True
Let g = 45 + -25. Does 4 divide g?
True
Let v = -74 + 115. Let q = v - 24. Let k = q + -5. Does 12 divide k?
True
Suppose -3*y = -2*a + 187, -4*a + 489 = y + 80. Is a a multiple of 11?
False
Let j = 964 - 664. Suppose -3*v - j = -5*v. Suppose 0 = 7*x - 2*x - v. Is x a multiple of 15?
True
Let s be 0 - (-5 - (-2)/1). Suppose -3*o = -h - 84, -o + 28 = 2*h + s*h. Let r = o - 16. Is r a multiple of 6?
True
Let a(u) = u**3 - 6*u**2 + 2*u. Let i be a(6). Let r = -7 + i. Suppose -h - 2*k = -29, -r*h - 4*k = -k - 131. Is h a multiple of 9?
False
Does 12 divide (15 - 0) + 2 + -3?
False
Suppose -64 = -5*g - 24. Suppose 0 = -3*y - g - 4. Is 3 a factor of (y - 1)*(-8)/10?
False
Suppose -2 - 8 = -5*y. Suppose -3*t - t = -4*u - 40, y*t + 2*u - 4 = 0. Does 6 divide t?
True
Let j = -42 + 75. Is j a multiple of 26?
False
Let p(s) = s**3 - 4*s**2 - 7*s - 3. Let k be p(6). Suppose -43 = -5*d + k. Does 14 divide d?
True
Suppose 4*f = -0*f + 80. Is f a multiple of 4?
True
Let z(j) = -8 + 3*j**2 - 9*j - 4*j**2 - 1. Let a be z(-6). Suppose -a = -3*g, 3*k + g + g = 54. Is 11 a factor of k?
False
Let a(j) = j**2 - j. Let c be a(2). Suppose -33 - 11 = -c*p. Is p a multiple of 11?
True
Let y = -2 - 7. Let d be (-1 - -2) + y/(-3). Does 2 divide ((-6)/d)/((-6)/12)?
False
Let a(y) = -7*y**2 + 4*y + y**3 + y**2 + 0*y**2 + 4. Does 8 divide a(6)?
False
Let o(p) = 3*p**2 - p + 5. Does 3 divide o(-3)?
False
Suppose -4*y + 25 = y. Suppose -3*b + 0*p + 210 = 2*p, -y*p - 231 = -3*b. Is 17 a factor of b?
False
Let n(u) = -4*u**2 - 11*u. Let f(p) = 5*p**2 + 11*p. Let z(l) = -5*f(l) - 6*n(l). Is z(6) a multiple of 15?
True
Let l be ((-68)/(-6))/((-3)/9). Let r = l + 59. Is 25 a factor of r?
True
Suppose 6*a - 395 = a. Let o = 56 - a. Does 9 divide o*(2 + -1 + -2)?
False
Does 33 divide (26/(-8))/(3/(204*-1))?
False
Suppose -4*x + d + 11 = 0, x - 3 + 7 = -2*d. Suppose -x*y + 103 = -17. Suppose m - y = -m. Is 15 a factor of m?
True
Let o(f) = -f**2 + 7*f - 5. Suppose -5*i + 1 = -14. Suppose -i*l - 2*z = -0*z - 11, 3*z = -6. Does 4 divide o(l)?
False
Let u(p) = -16*p**3 - 61*p**2 + 66*p - 26. Let v(m) = 3*m**3 + 12*m**2 - 13*m + 5. Let r(j) = 2*u(j) + 11*v(j). Does 3 divide r(-11)?
True
Let x = -122 - -1. Does 15 divide (-22)/x - 493/(-11)?
True
Suppose 0 = 3*b - b. Suppose b*q - 2*q - 6 = 0, 4*u - 4*q = 16. Does 16 divide 14 - u*-2*1?
True
Suppose f 