 -t = -4*k + 24. Is k a multiple of 2?
False
Let n be (10/(-25))/(3/(-45)). Is n/(4/(312/9)) a multiple of 26?
True
Is (-10)/65 - 1410/(-39) a multiple of 11?
False
Suppose 5*x + 21 = 5*c + 61, 35 = 5*x - 4*c. Let z = 5 - x. Suppose -4*h = -3*g - 124, z*h - 6*h + 120 = -4*g. Is 17 a factor of h?
True
Let o(d) = -d**3 - 2*d**2 + 4*d + 2. Let w be o(-3). Let g be -2 + 7*(w + 5). Suppose 4*x - v + 29 - 111 = 0, x - 3*v - g = 0. Is 8 a factor of x?
False
Let q(o) = o**3 + 12*o**2 + 9*o - 4. Is q(-11) a multiple of 6?
True
Let b(p) = p**3 - p**2 - 2*p. Let s be b(2). Suppose -n + s = -4. Suppose 2*m = n*m - 12. Is m a multiple of 3?
True
Let s(v) be the third derivative of v**5/20 + v**4/6 - v**3/6 - 3*v**2. Does 19 divide s(3)?
True
Suppose -3*w + 10 = -o, 0*o = -2*o - 3*w - 2. Suppose 3*t - 8 = -2, -l = -5*t + 48. Let z = o - l. Does 17 divide z?
True
Suppose -4*x + 10*x = 0. Let f be 37/(-7) + (-2)/(-7). Let g = x - f. Is 2 a factor of g?
False
Let p(k) = k**2 + 4*k + 5. Let g be p(-4). Suppose g*y - 12 = 8. Is 4 a factor of y?
True
Is 13 a factor of 26/39 + (-842)/(-6)?
False
Suppose 0 = -3*g + 35 + 31. Is 5 a factor of g?
False
Suppose 3*d = -3*w + 21, -d = -2*w - 0*d + 8. Suppose -x - 72 = -s - w*x, -s + 97 = -x. Is (-1)/(-3) + s/12 a multiple of 5?
False
Let h be 1*-4*(-3)/6. Let o be (h - 4) + 54 - 1. Suppose 2*c - o = -4*v + 3*v, 3*v + 3 = 0. Is 9 a factor of c?
False
Let g = 3 + -4. Let y be g - (-1 + -1 + -1). Is (y - 1)/((-3)/(-9)) a multiple of 2?
False
Let b be ((-9)/(-6))/((-6)/(-2704)). Let l(u) = u**2 + u - 4. Let g be l(0). Is 20 a factor of g/14 + b/14?
False
Let z(o) = -o**3 - 2*o**2 - 3*o. Is z(-4) a multiple of 11?
True
Is (-1)/(5/(-265) - 0) a multiple of 15?
False
Let f(w) = w + 7. Is 14 a factor of f(7)?
True
Let i = -20 + 26. Is 6 a factor of i?
True
Suppose 4*a = -4*t + 2*t + 994, a - 238 = 3*t. Does 13 divide a?
True
Let x be 2*1*(2 - 3). Is 28 a factor of -56*(x - 9/(-6))?
True
Let l = 704 + -454. Does 50 divide l?
True
Let h(b) = -104*b**3 - b. Is 15 a factor of h(-1)?
True
Suppose -4*f + 53 = 5*o, -4*f + 2*f + 26 = 2*o. Does 2 divide f?
True
Is 34 a factor of 0 + -3 + 166 + -8 + 9?
False
Suppose 0 = 5*c - 2*c - 6. Suppose w - 3*f + 14 = 2, w + 7 = c*f. Suppose w*p + 16 = -l + 51, 0 = -p + 2*l. Does 10 divide p?
True
Let q be (0 - -8) + 2 + 0. Let t = 32 - q. Is t a multiple of 13?
False
Suppose -8 = -2*f, 11 = z - 5*f + 27. Suppose -z*s = -2*i + 32, s - 37 = -4*i - 0*s. Let r = i + -5. Is 2 a factor of r?
False
Suppose -5*f = 5*v - 180, -3*v + 1 = -2. Is 35 a factor of f?
True
Suppose 4*c = 12 - 0. Suppose -3*q + 5*w + 34 + 1 = 0, c*q = 2*w + 50. Does 20 divide q?
True
Let v(o) = 3*o + 3*o + 20 - 16 - 5*o. Let f be v(8). Suppose 3*i = -3 + f. Is i a multiple of 3?
True
Let h(i) = -i**2 + 12*i - 7. Suppose u + 6 = 16. Is h(u) a multiple of 13?
True
Let b = 2 + -3. Let o = b - -1. Suppose -10 = 2*d + 3*d, -4*r - 2*d + 116 = o. Is 18 a factor of r?
False
Let m(n) be the first derivative of -n**5/120 - n**4/12 - 2*n**3/3 - 2. Let q(i) be the third derivative of m(i). Is q(-5) even?
False
Suppose -24 = 3*i - 3*s - 135, -s + 155 = 5*i. Does 32 divide i?
True
Let x(m) = -m**2 + 1. Let g be x(-2). Let j = -3 - g. Suppose j*b = -b + 4. Does 4 divide b?
True
Let s(x) be the first derivative of 1 - 3*x**2 - 2*x - x**2 + 3*x**2. Does 3 divide s(-4)?
True
Suppose f - 5*f - 12 = -5*i, 4*i = -4*f + 24. Suppose o - 6*o = f*w - 69, -4*o + w = -50. Is o a multiple of 4?
False
Suppose -2*r + 3 = 1, 0 = 3*a + 4*r - 31. Suppose -64 = -4*d - t + 4*t, -72 = -4*d + 5*t. Let l = a + d. Is l a multiple of 11?
True
Let o be 8 - 4/2*1. Let r = o - 2. Suppose -2*h = -r*p + 4, h - 1 = p - 0*p. Is 2 a factor of p?
False
Let w(y) = -2 - 3*y - 8*y - 8*y. Let q be w(-3). Does 12 divide 2/11 + 815/q?
False
Let p(x) = -x**3 + 4*x**2 + 2*x. Let w be p(4). Let a = 12 - w. Suppose g - 193 = -5*c, 2*c + a*g = -2*c + 164. Is c a multiple of 13?
False
Let i(j) = 1 + 0 - j + 0 + 7. Let r be i(6). Let t = 29 + r. Is 12 a factor of t?
False
Let p = 4 - 4. Suppose k + 0*k - 9 = p. Let r = -4 + k. Does 2 divide r?
False
Let l be 5*(1 + (-27)/15). Let a = l + 78. Does 13 divide a?
False
Let m(g) = 10*g. Does 12 divide m(2)?
False
Let z = 286 + -173. Is 16 a factor of z?
False
Let s(c) = -c + 8. Let q be s(8). Suppose 3*a + 4*b - 30 + 5 = q, -5*a - 5 = -5*b. Is a a multiple of 3?
True
Let k(j) = j + 7. Let z be k(-5). Let m(c) = c**2 + 2*c - 1. Is m(z) a multiple of 5?
False
Suppose 0 = 2*i - i - 3. Let o be -12 + 0/(-2 + i). Is (-284)/o - (-1)/3 a multiple of 12?
True
Suppose -i = -l + 148, 3*l - i = -l + 580. Is l a multiple of 18?
True
Does 13 divide 39/(2 + -3 + 2)?
True
Suppose 10 = 3*t - 2*t. Is t a multiple of 10?
True
Let x = 0 - -4. Suppose -6 = x*o - 46. Does 8 divide o?
False
Does 15 divide 80/4*9/6?
True
Suppose h + 4*y = 4, h = 3*y - 2 + 6. Suppose h*x = -b - 10, -x + 5 = -2*x. Does 10 divide b?
True
Let f(r) = -20*r - 36. Is f(-12) a multiple of 51?
True
Suppose 26 = m + 78. Let k = -46 + 10. Let p = k - m. Does 8 divide p?
True
Suppose 0 = 2*z + 4*y + 58 + 44, 3*y = 5*z + 268. Let w = z - -87. Is 17 a factor of w?
True
Suppose -3*p - 2*y = -y - 42, 3*y = 0. Suppose 0 = 2*t - 36 - p. Does 11 divide t?
False
Let i = 5 + -3. Let h(f) = -8*f + 11*f**2 - i - 2*f**2 + 15*f + f**3. Is h(-7) a multiple of 17?
False
Let o be 2 - (-1)/(-2)*2. Let d = 16 - o. Suppose d = -5*g + 85. Is 7 a factor of g?
True
Let h(r) = -10*r**2 - 1. Let s be h(1). Let m = s - -15. Suppose 9 = m*w - 23. Does 4 divide w?
True
Let s(t) = -t**3 - 3*t**2 - t + 2. Let w be s(-2). Suppose -6*m + m = w. Suppose m = 9*k - 5*k - 24. Is 3 a factor of k?
True
Let w(q) = 5*q**3 - q**2 + 2*q + 2. Let h(x) = 20*x**3 - 4*x**2 + 9*x + 9. Let o(z) = -2*h(z) + 9*w(z). Is 13 a factor of o(2)?
False
Let z(n) = -9*n - 2. Let i be z(-1). Suppose 4*b - i*b = -180. Is b a multiple of 15?
True
Suppose 141 = -4*d + 645. Suppose 0 = 3*t + 3*q - d, -4*t + t + 106 = -q. Is 8 a factor of t?
False
Let t be 203/(-63) - (-4)/18. Let l = t + 21. Is 18 a factor of l?
True
Let n(a) = -a**3 + 11*a**2 - 13*a. Let w be n(10). Is (78/5)/((-9)/w) a multiple of 13?
True
Let m(s) = s**3 + 7*s**2 - s - 7. Let d be m(-7). Suppose d*h + 5*h = 170. Is h a multiple of 14?
False
Let o = -10 - -20. Is (-12)/20 - (-136)/o a multiple of 5?
False
Let l(j) = 7*j + 2. Let u(q) = 13*q + 3. Let n(p) = 5*l(p) - 3*u(p). Let r be n(1). Let o(m) = 2*m**2 + 3. Is o(r) a multiple of 7?
True
Suppose -3*l + 10 = -2, f + l = 5. Does 17 divide ((-31)/(-3))/(f/3)?
False
Suppose -5 + 25 = t. Let w = 12 - 20. Let b = t + w. Is 11 a factor of b?
False
Let r(s) = s**3 + 12*s**2 + 6*s + 5. Is r(-7) a multiple of 26?
True
Let g = 961 - 514. Suppose -3*s = 4*z - g, 193 = -4*z + s + 620. Is 28 a factor of z?
False
Let j(g) = -g**3 + g**2 - g. Let p be j(1). Let r(o) = o + 8. Let q be r(-5). Does 2 divide 14/(q/1 + p)?
False
Suppose 0 = -2*n - 2*n - 4. Let i = -4 - n. Does 10 divide 2/i + 240/9?
False
Suppose -3*j + 4*j = -3*c + 1463, 3*j + 491 = c. Is c a multiple of 61?
True
Does 18 divide 3 + 29 + (-9)/3?
False
Let m(r) = -4*r + 9. Let d(i) = -2*i - 2. Let p be d(-4). Let t be m(p). Does 11 divide (t/(-9))/(-5)*-51?
False
Let u(j) = -j**2 - 1. Let t(l) be the second derivative of -7*l**4/12 - 11*l**3/6 + l**2 + 2*l. Let g(c) = t(c) - 6*u(c). Does 11 divide g(-9)?
False
Suppose b - 71 = -3*u, -u - 202 - 17 = -4*b. Is 18 a factor of b?
False
Is 1/((-4616)/(-15960) - (-2)/(-7)) a multiple of 57?
True
Suppose -64 = -g - 3*g. Let j be g/(-56) - 18/(-14). Does 15 divide -2*j*15/(-2)?
True
Is 15 a factor of (-9)/36 - 730/(-8)?
False
Let z(y) = y**2 - 9*y - 12. Let q be z(9). Let g = q + 30. Is g a multiple of 9?
True
Let i = -48 - -90. Is i a multiple of 5?
False
Suppose -5*w = 3*k - 1255, w + 2*k - 240 - 4 = 0. Is 20 a factor of w?
False
Suppose n = 5*n. Is 25 a factor of -5*((3 - 20) + n)?
False
Let y(s) = -2*s - 6. Let i be y(-3). Let v = 15 - i. Is v a multiple of 12?
False
Let i(d) = d**3 + 6*d**2 - 6*d + 9. Let v be i(-7). Suppose 39 = -4*u + 6*u + 3*h, v*h - 40 = -2*u. Does 14 divide u?
False
Let d = -23 + 35. Suppose -r = -3*r - d. Let a = 20 - r. Is 13 a factor of a?
True
Let k(d) be the third derivative of 5*d**4/24 - d**3/6 - 5*d**2. Is k(3) a m