alse
Let k(u) = -u**3 - 5. Does 11 divide k(-3)?
True
Let l(n) = n**3 + 6*n**2 - 8*n - 9. Is 8 a factor of l(-6)?
False
Suppose -5*v + 57 = -2*v. Let w = -9 + v. Does 13 divide (-4)/w - 132/(-5)?
True
Suppose 3*i = y + 437, i - 6*i + 721 = 2*y. Does 7 divide i?
False
Suppose r + 254 = -0*r. Let n be 1/(-3) + r/(-6). Let b = n + -26. Is 13 a factor of b?
False
Is 9 a factor of 6/(-2)*(-21)/((-6)/(-2))?
False
Let t be -4*(1 - -3)/4. Is 20 a factor of (-234)/t + 6/(-12)?
False
Let b(j) = -j**3 + 3*j**2 + j - 1. Is b(3) a multiple of 2?
True
Does 13 divide 52/2*(-2)/(-2)?
True
Suppose 2*p - 31 = 3. Is p + 0 + (-6)/(-2) a multiple of 8?
False
Let t(g) = g**3 + 7*g**2 + 4*g - 8. Let h be t(-6). Suppose 2*y - k - 24 = k, y - 27 = -h*k. Is 11 a factor of y?
False
Suppose y + 0*y = 6. Does 5 divide y?
False
Suppose -8 = -2*p + 32. Let s = -5 + p. Suppose -s = -i - 2*i. Is i even?
False
Let o(s) = -s**3 - 4*s**2 - 4*s - 3. Let q be o(-3). Suppose q = 3*v + b + 136, 2*v + 7*b = 4*b - 79. Let l = -29 - v. Is 18 a factor of l?
True
Let k(z) = 3*z**3 + 5*z**2 + z - 2. Suppose -3*m + 5*m + 7 = -5*p, -2*p - 4*m = -10. Let s be k(p). Let i = -27 - s. Is i a multiple of 7?
True
Is 6 a factor of (1/(-2))/((-7)/(-2016)*-2)?
True
Let a be ((-6)/4)/((-3)/140). Let k = -30 + a. Is k a multiple of 20?
True
Suppose -5*g = -231 + 61. Let c = 53 - g. Does 14 divide c?
False
Let k(q) = q - 1. Let r be k(-3). Let a be 65/(-10) - (-2)/r. Let m(d) = d**2 + 5*d + 1. Is m(a) a multiple of 9?
False
Suppose -4*t + 0 + 20 = 0. Suppose 3*s = y - 1 + 19, 3*s - 18 = t*y. Is 14 a factor of 1/s + (-83)/(-6)?
True
Let j(t) = -60*t + 10. Is j(-1) a multiple of 35?
True
Let z(g) = -6*g**3 - g**2 + 1. Let h be z(1). Is 11/3 - (-4)/h a multiple of 2?
False
Suppose 4*d - 5 = 3*d. Suppose -d*p + 88 = 4*a, 3*p = 5*a - 2*p - 155. Is a a multiple of 9?
True
Suppose -j + 7 = 4. Suppose 3*s + 7 = -s + 5*h, -j = -3*s + h. Is (4/(-6))/(s/(-9)) a multiple of 2?
False
Let q(d) = d**3 - 3*d**2 + 5*d - 4. Is q(3) a multiple of 7?
False
Suppose 0 = -2*a + 5*f + 46, 4*f = -3*a + a + 46. Is a even?
False
Is 63*(-8)/6*7/(-2) a multiple of 21?
True
Suppose -21 = -h + 29. Is 19 a factor of h?
False
Let w(y) be the second derivative of -y**3/6 + 2*y**2 - 3*y. Does 2 divide w(-3)?
False
Is -2 - 0 - (-2*52)/4 a multiple of 12?
True
Let c = 143 - 70. Is c a multiple of 15?
False
Suppose 4*x = -0 + 4. Suppose -4*k + 9 = x. Suppose 72 = k*o + 2*o. Does 11 divide o?
False
Let v(f) = 5 + 0 - 4*f - 1 + 0. Does 17 divide v(-15)?
False
Let s(h) = 28*h - 1. Let p be s(2). Suppose p = l + 4*l. Is l a multiple of 11?
True
Let z = 2 + -2. Suppose z*x = 3*x - 51. Is 17 a factor of x?
True
Suppose 3*z - 354 = d, 3*z + 2*d = 5*d + 348. Is 7 a factor of z?
True
Suppose 63 = 5*l - 2. Is 13 a factor of l?
True
Suppose -3*z - 1 = -2*o + 72, 4*z - 20 = 0. Does 6 divide o?
False
Suppose -2*m + 4 = j, -j + 4*j = -2*m + 12. Suppose v + 32 = 2*u, -u + 21 = -m*u - 3*v. Is u a multiple of 9?
False
Let l(w) = -w**2 + w + 6. Let t(u) = u + 4. Let n be t(-4). Is l(n) a multiple of 3?
True
Let x(k) = 3 - k**3 + 2 + 9*k**2 + 8 - 1. Let r be x(9). Suppose -p - p = -r. Is 3 a factor of p?
True
Let k(i) = 4*i**2 + 2*i - 7. Let a(g) = -11*g**2 - 5*g + 20. Let u(c) = -6*a(c) - 17*k(c). Let l(m) be the first derivative of u(m). Is l(-7) a multiple of 11?
False
Suppose -3*r - 2*r = -285. Let m = r - -12. Is 21 a factor of m?
False
Let w(o) = o + 4 + 1 - 2 + o**2 + 3. Is w(5) a multiple of 17?
False
Let g = 2 + -2. Suppose g*u + 5*u - 5 = 0. Does 18 divide 0 + u + 51/3?
True
Let v(c) be the first derivative of -c**3/3 - 7*c**2 - 10*c + 5. Does 7 divide v(-12)?
True
Let z = 21 + -29. Suppose -2*c - 3*s + 63 = 0, -2*s + 4*s + 48 = 2*c. Let b = c + z. Does 9 divide b?
False
Is -3 - -2 - (-696)/6 a multiple of 9?
False
Is 1206/45 - (-1)/5 a multiple of 9?
True
Let h = -2 - -4. Suppose -5*u - 10 = -0*f + 5*f, -7 = -u + h*f. Is 5 a factor of (3 - 4)/(u/(-5))?
True
Let h = 53 - 75. Is 10 a factor of 0 - 11/(h/60)?
True
Is (-604)/(-6)*(-36)/(-24) a multiple of 34?
False
Let r(l) = l - 7 - 3*l + 4*l + 5*l**2. Let g(t) = t**2 - t. Let o(u) = 4*g(u) - r(u). Is o(-5) a multiple of 12?
True
Let q(t) = t**2 - 1. Let b(a) = a**2 - a - 4. Let m(j) = -b(j) + 4*q(j). Suppose u - 2*u - 3 = 0. Does 12 divide m(u)?
True
Let m = -7 - -3. Let g(j) = 3*j**2 + 6*j + 6. Does 10 divide g(m)?
True
Let y(m) = -m**3 + 3*m**2 + 3*m + 4. Let w be y(4). Is ((-1)/(-2) + w)*20 a multiple of 5?
True
Suppose 4*r = 2*d + 68, 4*r = -4*d - 80 - 20. Does 6 divide 6/9 - d/3?
False
Suppose 4*p + 76 = 2*w, -5*w + 5*p + 210 = -0*p. Is w a multiple of 18?
False
Suppose j = 3*j - 234. Suppose 5*d - 2*n - j = -n, n = 3. Is d a multiple of 10?
False
Is (-6)/12*(0 - 14) a multiple of 2?
False
Let r(b) = 31*b**2 - 2*b + 1. Let x be r(-3). Let h = x + -156. Suppose -5*i + 0*i + h = 0. Does 13 divide i?
True
Suppose a + 2*b - 368 = -3*a, 178 = 2*a + 4*b. Let j = -51 + a. Suppose -4*r + 4*w + j = -26, 0 = 2*w + 10. Does 9 divide r?
False
Let b be (32 + -13)/((-2)/76). Does 11 divide b/(-22) - (-2)/11?
True
Let d be (3 + 0/1)*1. Does 12 divide (22 - d)*3/3?
False
Suppose 2*t = 4 + 2. Let l = t + 27. Is l a multiple of 11?
False
Let o = 34 + 32. Is o a multiple of 33?
True
Let u = 299 + -120. Is 9 a factor of u?
False
Let k be (1 + -3 - -2)/(-1). Let t = k - -1. Is -2 + 12/t + -2 a multiple of 8?
True
Suppose 0 = y - 0*y - 6. Suppose 4*k = y*k - 8. Suppose k*s - 8 - 12 = 0. Is 3 a factor of s?
False
Suppose -5*z + 47 + 58 = 0. Is z a multiple of 7?
True
Suppose 158 = 11*g - 546. Is 2 a factor of g?
True
Suppose -5*o + 13 = u, -u - 3*u = -4*o - 4. Let v be (-2 + 3)*o*-61. Does 12 divide v/(-10) - (-1)/(-5)?
True
Is (364 + 2)/(0 + (-3)/(-2)) a multiple of 61?
True
Suppose -3*a = 2*a - 20. Let i(f) = -3*f - 4*f + f**2 + a*f + 1. Does 15 divide i(-4)?
False
Let h = 101 - 17. Is h a multiple of 16?
False
Let v = 32 + -15. Suppose 2*f = -5*o + f + 47, 3*o - 5*f - v = 0. Suppose 2*z + o = 53. Does 22 divide z?
True
Let y(v) = -v**3 + 7*v**2 - 2*v - 7. Let t be y(5). Suppose 40 = -0*w - 2*w. Let m = t + w. Is m a multiple of 5?
False
Let w(i) = -2*i - 6. Let y be w(-4). Let a = 133 - 61. Suppose 2*v - a = -y*v. Does 11 divide v?
False
Suppose 0 = 10*x + 9*x - 4598. Is 11 a factor of x?
True
Suppose -7*o + 2*o + 30 = 0. Is 8 a factor of -3*((-34)/o + -1)?
False
Suppose -c - c + 132 = 0. Does 25 divide c?
False
Let d(m) = 56*m**2 - m - 1. Let x be d(-4). Suppose 181 = -f + 2*f + u, -u = -5*f + x. Suppose -122 + 29 = -2*s - 3*v, -3*v = -5*s + f. Does 24 divide s?
False
Let d(x) = -41*x - 84. Is d(-6) a multiple of 27?
True
Suppose 4*b - 144 = b. Is b a multiple of 12?
True
Let q = -4 + 6. Let m be -1*q/4*0. Let g(x) = x**2 + 11. Does 8 divide g(m)?
False
Let c(n) be the third derivative of -n**6/120 - n**5/12 - n**4/24 + 4*n**3/3 - 6*n**2. Is 10 a factor of c(-6)?
True
Let p(o) = -3*o + 2*o**2 + 0*o**3 + o**3 + 2 + o**2. Suppose 0*l = -3*l - 4*c - 14, -4*l = -4*c - 28. Is p(l) a multiple of 12?
False
Suppose 2*d - 156 = -2*v, 3*d + 2*v = 3*v + 218. Is 18 a factor of d?
False
Let f(d) = -4*d**3 - d**2 - 4*d - 1. Let p(k) = 7*k**3 + k**2 + 7*k + 1. Let b(v) = 5*f(v) + 3*p(v). Is b(4) a multiple of 17?
True
Let p(i) = 7*i + 4. Let m be p(-6). Let h = 16 - m. Does 18 divide h?
True
Let a = 91 + -7. Is 14 a factor of a?
True
Let i(h) = -h**3 + 4*h**2 + 5. Let d be i(4). Let z = d - 4. Is (-1)/(1/z)*-3 a multiple of 2?
False
Let c = 8 - 5. Does 10 divide -3*(-1 + (-26)/c)?
False
Let s be 92/(-9) + (-26)/(-117). Let k = 28 + s. Does 5 divide k?
False
Suppose -2*c = -4, -i - c = 2*i - 80. Suppose 2*d - 3*r = 54, -r - i = 3*d - 4*d. Does 17 divide d?
False
Let s(b) = b**3 - 8*b**2 + 6*b + 10. Let x be s(7). Let n = x - -8. Is 8 a factor of n?
False
Suppose 2*q + q + 11 = v, -3*q - 21 = -3*v. Let p be q/(-5) + 186/(-15). Is (-3)/p + 115/4 a multiple of 9?
False
Suppose -3*y + 3*o + 40 = 5*o, 2*y - 25 = -3*o. Is 14 a factor of y?
True
Let j = -294 - -415. Does 15 divide j?
False
Let f(m) = -2*m**2 + 0*m**2 + 0*m**2 - 4*m - 5. Let s be f(-4). Let d = 35 + s. Is 14 a factor of d?
True
Let i(m) = -m**2 - 5*m - 2. Let p be i(-2). Let w(r) = -2*r**2 - 13*r + 8. Let h(v) = -v**2 - 7*v + 4. Let o(q) = 11*h(q) - 6*w(q). Does 9 