- 5. Does 6 divide a?
False
Let v(r) = r**2 + r + 11. Let x be v(0). Let b = -2 + x. Suppose -s - b = -2*s. Is 5 a factor of s?
False
Let c(a) = a**3 - a**2 - a + 11. Let k be c(5). Let u = k - 65. Does 13 divide u?
False
Suppose -5*s - 25 = 5*t, 9 + 5 = -4*t - 2*s. Let m(w) = -2*w - 2 + w + 4*w**2 + 0. Is m(t) a multiple of 13?
False
Let d(a) = -a**2 + 4*a - 4. Let g be d(3). Let o be 1 + -4 + (g - -2). Let m = o + 14. Is m a multiple of 6?
True
Suppose -5*l = 2*n - 533, 2*l - 2 = -0. Does 22 divide n?
True
Let v(a) = -a**2 + 13*a - 14. Is v(9) a multiple of 12?
False
Suppose -4*u + 443 = -4*m - m, -3*m + 15 = 0. Is 27 a factor of u?
False
Suppose -2*s - 6*w - 9 = -5*w, -3*s + 5*w = 7. Let k be (-14)/s - (-2)/(-4). Suppose 5*h = -4*z + 86, 0 = -3*h + k*z + 2*z + 59. Does 9 divide h?
True
Suppose a = 5*y + 8, 2*a - y + 0*y = 7. Suppose 4*p - 2*q - 146 = 0, 0*p + a*p - 127 = -2*q. Is p a multiple of 13?
True
Let d(t) = -t**3 + 7*t**2 - 9*t + 6. Let l be d(6). Let o = l + 28. Is o a multiple of 16?
True
Let v(m) = 2*m**2 + 11*m + 6. Let o(p) = 6*p**2 + 32*p + 17. Let w(k) = 6*o(k) - 17*v(k). Suppose -5*y + 2 = -3*j + 10, 5*j = 4*y - 4. Does 4 divide w(y)?
True
Let b = -21 + 75. Suppose -4*u - b = -p, 10 - 35 = 5*u. Is 17 a factor of p?
True
Let c(a) = -a + 9. Let z be c(8). Let g(l) = 5*l**3 - 9*l**2 - 11*l + 3. Let u(j) = -j**3 + j**2 + 1. Let q(f) = z*g(f) + 4*u(f). Does 14 divide q(7)?
True
Let u(m) = m**3 + 7*m**2 + 4. Is 13 a factor of u(-4)?
True
Let j(g) = 2*g**2 - 6*g + 5. Let x(h) = -h**2 + h - 1. Let m(s) = -j(s) - 5*x(s). Suppose u + 2*o = 7*o - 17, -9 = -3*o. Is m(u) a multiple of 8?
False
Suppose -4*v - 3*p + 0*p - 1 = 0, -p = -3*v + 9. Suppose 144 = 3*n - 5*u + 38, -3*n + 109 = -v*u. Is 9 a factor of n?
False
Let a = 3 + -3. Let y be a - 7/((-14)/156). Suppose 5*p + 50 = c + 8, y = 3*c - 3*p. Is c a multiple of 8?
False
Suppose -y - 3*y + 24 = 0. Let o(j) = -8*j + 3. Let s(q) = 7*q - 4. Let i(x) = 4*o(x) + 5*s(x). Is i(y) a multiple of 10?
True
Let b(x) = -x**2 + 4*x - 1. Let m be b(3). Suppose 3*t - 1 = -5*g + 8, 0 = m*t + 4*g - 6. Suppose -3*v + 48 = t*j, 0*j - 2*j - v = -34. Is j a multiple of 9?
True
Suppose -5*y + 378 = 3*m - 492, -551 = -3*y + 4*m. Let j = y - 78. Is 8 a factor of ((-1)/3)/((-3)/j)?
False
Suppose -2*y = -6, -3*d + d = -5*y + 5. Suppose 0 = 4*a + 5*i - 5, 2*i + 34 - 3 = d*a. Suppose -x - 6 = a*c, c - 6 = -x + 2*c. Does 3 divide x?
False
Suppose 0 = -5*k + b + 51, 4*k + 2*b - 8 - 30 = 0. Is k a multiple of 2?
True
Suppose -f + 3*f = 20. Let y = -6 + f. Is 2 a factor of y?
True
Let f(t) = -t**2 - 11*t + 21. Let s be f(-10). Suppose -4*c = -96 + 16. Let x = s - c. Does 5 divide x?
False
Let q(o) be the second derivative of o**4/12 + o**3/6 + o**2 - 9*o. Does 13 divide q(8)?
False
Let d(j) = 4*j**2 - 2*j + 3. Is d(-3) a multiple of 15?
True
Suppose -o = 4*o - 10. Let n be -1 + 42/((-2)/o). Let j = 71 + n. Is j a multiple of 14?
True
Let z = -64 - -124. Is z a multiple of 20?
True
Is 11 a factor of (-4)/(-18) - 6786/(-81)?
False
Suppose 2*r + 3*l - 403 = 0, 2*r + 0*l - 405 = -l. Is r a multiple of 42?
False
Suppose 0 = 2*n + 10, 8*m + n = 3*m. Is 13 a factor of 1*(-2 - m) - -52?
False
Suppose -3*j + 15 + 153 = 0. Is 28 a factor of j?
True
Let d(p) = -3*p + 1 + 5*p + 2 - 4. Is d(6) a multiple of 7?
False
Suppose 0 = -2*x - 0*x + 114. Suppose 4*s + 6 = u, 2*u + 3*s - 2*s = x. Suppose -2*w + u = -30. Does 10 divide w?
False
Let x(m) = -6*m**3 - 4*m**2 - 2*m + 2. Is 15 a factor of x(-2)?
False
Let h(j) = -21*j**3 + 20*j**2 + 14*j - 17. Let k(w) = 7*w**3 - 7*w**2 - 5*w + 6. Let x(i) = -6*h(i) - 17*k(i). Suppose -5*s = -0*s - 5. Is x(s) a multiple of 7?
True
Let x = 88 + -45. Is 12 a factor of x?
False
Let p be (37*2)/((-3)/(-3)). Suppose -3*z = -5*n + 123, -3*n + 3*z = z - p. Does 12 divide n?
True
Let v(y) = -y**2 + 2*y - 1. Let n be v(1). Suppose n = -3*m - 0 - 3. Is 3 a factor of m + 2 - (4 - 9)?
True
Let l = 0 - -3. Suppose -14 = -l*q + 1. Suppose -3*d = 3*w - 18, -q + 23 = 2*d - w. Is 3 a factor of d?
False
Let o be (-219)/(-9) + 1/(-3). Suppose h + 9 = 2*h + 2*g, 2*g = -4*h + o. Is 10 a factor of h*3*2/3?
True
Let d = 0 - 0. Suppose d = 5*m - 156 - 4. Does 16 divide m?
True
Suppose u - 1 = 4*m + 4, -5*m + u - 6 = 0. Let q = m + 11. Is 6 a factor of q?
False
Suppose -2 = -n + 2. Suppose -3 + 0 = h, h = n*r - 27. Let v = 6 + r. Is 12 a factor of v?
True
Suppose -2*d + d = -68. Is 17 a factor of d?
True
Suppose -i + 261 = 2*i. Is i a multiple of 14?
False
Is (-380)/(-4) + 2/(-1) a multiple of 11?
False
Let i = -456 + 647. Is 48 a factor of i?
False
Let i be (-2334)/(-54) - (-4)/(-18). Suppose 2*y - 5*u = -2*y + i, y = 5*u + 7. Suppose 0*f - y = -2*f. Does 3 divide f?
True
Suppose -8*q = -6*q - 12. Is q even?
True
Suppose 0 = -4*t + 20, 4*j - 3*t - 444 = -11. Is j a multiple of 28?
True
Suppose 14 + 12 = 2*o. Is o a multiple of 2?
False
Suppose w = n + n + 2, 3*n - 3*w = -3. Let b = n + 8. Is b a multiple of 7?
True
Let n be (28/6)/((-8)/12). Let t = 8 - n. Does 5 divide t?
True
Let j = 12 - 2. Suppose 5*b - 17 = 8. Suppose -b*w = -15 - j. Does 3 divide w?
False
Let k be ((-2)/(-6))/((-3)/(-207)). Suppose -2*a = k - 89. Suppose 70 = 5*p + 4*r - 8, r - a = -2*p. Is p a multiple of 14?
False
Suppose 0 = 4*o + 2*h - 162, o - 69 + 11 = 3*h. Is o a multiple of 15?
False
Let a = 7 - 2. Suppose 0 = -a*i + 3*w + 279, 4*i - 3*w = w + 228. Is 16 a factor of i?
False
Suppose 300 = 46*m - 45*m. Is 15 a factor of m?
True
Let l(f) = -f + 8. Let z be l(7). Let q(u) = 42*u**2 + 3. Let x(o) = -o**2 - 1. Let v(d) = z*q(d) + 2*x(d). Is v(-1) a multiple of 11?
False
Let j = 275 + -186. Suppose j + 203 = 4*s. Is s a multiple of 21?
False
Let g(r) = 11*r + 14. Let h(c) = 4*c + 5. Let t(p) = -3*g(p) + 8*h(p). Let i(d) = -d**3 - 7*d**2 + 2*d + 7. Let x be i(-7). Does 2 divide t(x)?
False
Suppose 152 = 2*x + 2*x. Is (-3)/(-2)*x + 2 a multiple of 13?
False
Let c(s) = -s**3 + 3*s**2 + 3*s + 4. Let t be c(4). Suppose t = -2*y + 6*y - 120. Does 10 divide y?
True
Does 13 divide -13 - -41 - (1 - -1)?
True
Let h = -47 + 77. Is 12 a factor of h?
False
Let w(u) = 7*u + 7. Let l = 0 + 2. Let f be (1/l)/((-4)/(-40)). Is w(f) a multiple of 15?
False
Let h(y) be the third derivative of 29*y**9/60480 - y**6/720 + y**5/60 - 2*y**2. Let d(w) be the third derivative of h(w). Is d(1) a multiple of 14?
True
Let h(u) = -u - 1. Let w be h(2). Does 9 divide (3/(-2))/(w/18)?
True
Suppose -15 + 3 = -4*y, 5*z + 3*y = 189. Is z a multiple of 12?
True
Let n = 18 - 10. Suppose 0 = -5*i + 2*k + 20, i - 5*k - 35 = -n. Suppose -2*v + 72 = i*v. Is v a multiple of 9?
True
Suppose v = -5*a + 4*v + 233, 0 = -5*a + v + 231. Does 46 divide a?
True
Suppose 3*y + 5*n = 263, 0 = 6*y - 2*y - n - 343. Is 18 a factor of y?
False
Let d(b) = -2*b + 8. Let l(v) = 7*v - 23. Let w(k) = 8*d(k) + 3*l(k). Is 10 a factor of w(5)?
True
Let d = -56 + 79. Let x = d - 37. Is -1*(x + 0)/1 a multiple of 7?
True
Suppose -4*v + 0*q - q = -16, 0 = 4*q. Is (-1 + -1)*(-34)/v a multiple of 5?
False
Let r(i) = i**2 + 2*i + 1. Let d be r(-1). Suppose 4*t + 7 = 3*l, l + t = -d*l. Is 36/6 - (l - 2) a multiple of 3?
False
Suppose 0*n + n = 0. Suppose -1 = -d, -5*q + 373 = -n*q - 2*d. Let w = q - 36. Is w a multiple of 13?
True
Is 22 - 2/1 - 2 a multiple of 6?
True
Suppose 20 = 2*k + 2*k. Suppose -k*n - 3*m = -39, -2*n + m = -4*n + 16. Does 4 divide n?
False
Let o = 29 + -10. Is o a multiple of 6?
False
Let y(o) = o**2 - o + 3. Let r be y(0). Suppose 0 = -r*m + w + 70, 0*w + 5*w - 10 = 0. Is 8 a factor of m?
True
Let p(o) = 0*o**2 - 3 + o**3 - 3*o + 6 - 3*o**2 + 2. Is p(5) a multiple of 20?
True
Let m(s) = -s**2 + 10*s - 10. Let t be m(8). Let c = t + -8. Does 6 divide (-2)/((3 + c)/(-3))?
True
Does 3 divide 9/(-6)*16/(-3)?
False
Let d = 29 - 11. Is d a multiple of 5?
False
Is 0/(-4) + (-44)/6*-3 a multiple of 3?
False
Let p be (-27)/(-6)*40/6. Suppose -y - p + 72 = 0. Is y a multiple of 21?
True
Let k be (-2)/(-10) - 171/(-45). Suppose 16 - 4 = 4*l + k*u, 5*l + 2*u = 18. Suppose l*x - 34 = 30. Is 9 a factor of x?
False
Let x be (3 + (-1 - 0))*44. Suppose 3*j = -j + x. Does 12 divide j?
False
Suppose -42 = -o + 4*m, 4 + 44 = o - 2*m. Is o a multiple of 27?
True
Let g(z) = 8*z**2 - z - 1. Let a be g(-2). Su