(-3 + 1)*6/3. Is 14 a factor of ((-1128)/(-16))/((-6)/b)?
False
Let y(s) = -3*s + 3. Is y(-2) a multiple of 3?
True
Let b(s) = s**2 - 7*s + 8. Let w be b(8). Suppose 3*g + w = 5*d, 2*d + 5*g = -3*d. Suppose 5 = a, -3*y + 2*a = -d*y - 7. Is y a multiple of 10?
False
Is 37 a factor of ((-2)/4*3)/(6/(-592))?
True
Let v(k) = -k**3 + 7*k**2 + 5*k - 2. Let y be 1/6 - (-104)/(-48). Let n(p) = -2*p**3 + 15*p**2 + 9*p - 4. Let t(g) = y*n(g) + 5*v(g). Does 3 divide t(6)?
False
Let y = 2 + -6. Does 9 divide (-27)/(-2)*y/(-2)?
True
Let x(j) = -j**2 - 14*j - 3. Let k be x(-13). Suppose 0 = -b - 2*t + 21, -7*t + 74 = 4*b - 4*t. Let r = b - k. Is 7 a factor of r?
True
Let j(s) = -s**3 - 8*s**2 - 3*s - 4. Is 10 a factor of j(-8)?
True
Suppose 2*r + 1 - 8 = o, -3*o - 11 = -4*r. Let n(k) = 0*k - 4 - 3*k + 0*k + r*k. Does 7 divide n(9)?
True
Let u be 1*(-2 - -1)*-7. Suppose -u*i + 84 = -3*i. Is 14 a factor of i?
False
Suppose 10 = 3*c - 5. Suppose 2*b - 44 = 5*d, -c*b + 2*d + 80 = -3*d. Does 10 divide b?
False
Suppose 8*f - 3*f = 20. Suppose -19 = -f*t + 1. Suppose 0 = -t*k + c + 207, -3 + 38 = k + 3*c. Does 16 divide k?
False
Suppose 13 = 5*t - 4*t. Suppose -1 = -w + t. Is 14 a factor of (-1524)/(-42) + (-4)/w?
False
Let d = 21 - 19. Is 2 a factor of d?
True
Let b = -12 - -20. Does 7 divide b?
False
Let q(o) = 5*o - 5. Does 16 divide q(6)?
False
Suppose 3*x + b = 95, 4*b - 14 - 14 = -x. Suppose -a + 4*f = 20, -3*a + 5*f - x = 49. Let w = -16 - a. Does 8 divide w?
True
Let o(t) = -5*t + 2. Let j be o(2). Let v = j + 11. Let l(k) = 2*k**2 - 3*k. Does 8 divide l(v)?
False
Let w be 10/(-3)*45/10. Let b = 4 - w. Is 6 a factor of b?
False
Let p(g) = -g**3 + 6*g**2. Let w be (-28)/(-35)*15/2. Let o be p(w). Suppose -37 - 59 = -2*k + 2*n, o = 4*k + 5*n - 174. Does 18 divide k?
False
Let h(v) = v**2 + 8*v + 11. Is 6 a factor of h(-8)?
False
Let m = 12 + -21. Let j = 36 + m. Does 14 divide j?
False
Let a = -5 + 56. Is a a multiple of 5?
False
Suppose -i - i = -838. Does 15 divide i?
False
Let z be (-4)/10 + (-96)/10. Does 18 divide 356/10 - z/25?
True
Let k(f) = -f**3 + 7*f**2 - 8. Is k(6) a multiple of 14?
True
Let g(o) be the second derivative of -1/6*o**3 + 0*o**2 + 3*o + 0 + 13/6*o**4. Is 11 a factor of g(1)?
False
Suppose -6*a + 11*a - 220 = 0. Is 11 a factor of a?
True
Let s = 155 - 77. Suppose b = 5*z - 102, 4*z - 4*b + 5*b - s = 0. Does 5 divide z?
True
Suppose 4*k - 105 = -k. Is 6 a factor of k?
False
Does 13 divide (0 - 2)*428/(-8)?
False
Let q(j) = -11*j**2 - 2*j - 1. Let a be q(-1). Suppose -67 + 13 = -2*g. Let r = a + g. Is r a multiple of 10?
False
Let c(q) = q**2 + 1. Let b be c(-2). Let d(y) = -y + 3. Let t be d(3). Let l = b - t. Is 5 a factor of l?
True
Suppose 0 = -0*p + 3*p + 246. Let c = p + 116. Is c a multiple of 11?
False
Suppose -3*c = 5*s - 5*c - 15, 2*s + 13 = -3*c. Suppose -3*i = 2*h - 4 - s, 20 = 5*i + h. Is 5 a factor of i?
True
Let k(t) = -t**2 - 11*t + 2. Is k(-9) a multiple of 4?
True
Suppose c + 0*c - 2 = 4*f, 8 = 4*c - 2*f. Suppose -2*y + 58 = -2*x, 5*y + c*x - x - 157 = 0. Suppose -10 = -a + y. Is a a multiple of 15?
False
Let u = 195 + -78. Is 9 a factor of u?
True
Let r = -4 + 6. Suppose 0*t - 2*t - 6 = r*s, s = -5. Suppose 4*q - 32 = -t*o, -6*o + 15 = -o - 3*q. Does 5 divide o?
False
Suppose -3*t + 5*a = -5 - 6, -5*t + 70 = 2*a. Suppose -2*i + 4*i = t. Is i a multiple of 6?
True
Suppose 2*m + 0*a + 2*a = 52, -131 = -4*m + 5*a. Does 9 divide m?
False
Let k(r) = -r**3 - 4*r**2 - 2*r - 4. Let u be k(-4). Suppose s - 3*o + 11 = 2, -3*s - 22 = -u*o. Is 6 a factor of (-2)/s + 58/6?
False
Suppose s + 2 = -1. Let x = 7 + s. Suppose -x*u - 4 = -24. Does 3 divide u?
False
Let s(h) = -h**3 + 20*h**2 - 34*h - 6. Is s(18) even?
True
Let g(x) = x**2 + 12*x + 2. Let s be g(-12). Let q(t) = t**3 + 2*t**2 + 2*t - 3. Does 8 divide q(s)?
False
Suppose -4*z + 2*l + 190 = -l, -141 = -3*z + 3*l. Let p = 0 - -2. Suppose -2*n + p*w + 26 = 0, 4*n - z = -3*w + 6*w. Is n a multiple of 10?
True
Let q(c) = -c**3 - 13*c**2 + 2*c + 1. Let p be q(-13). Let n = p - -45. Does 4 divide n?
True
Let w be 0 + -2 + 3 - -11. Let o be 128/w - (-2)/(-3). Suppose -j + 16 = -o. Does 13 divide j?
True
Let g(r) = r**2 + 13*r + 5. Let u be g(-14). Let t = u + -5. Does 7 divide t?
True
Let n(l) = 7*l**3 - l. Let b be n(1). Let c = b + 0. Does 3 divide c?
True
Let z(p) = 6*p**2 - 4*p + 4. Let q be z(4). Suppose -2*i + q = i. Is 14 a factor of i?
True
Let m = 15 + -8. Suppose -y + m + 5 = 0. Does 12 divide y?
True
Let p = -4 + 9. Let q = -181 - -115. Is p*(q/(-15) + 0) a multiple of 11?
True
Let l(f) be the first derivative of -f**4/8 - f**3/6 + 3*f**2/2 + 2. Let u(q) be the second derivative of l(q). Is 3 a factor of u(-3)?
False
Suppose -o + 25 = b - 9, 146 = 5*b - o. Is b a multiple of 3?
True
Let n be (-8)/(-28) + (-108)/(-14). Suppose 0 = -n*f + 3*f + 280. Does 12 divide f?
False
Let n = 3 + -3. Let w = -7 + n. Let b = w + 12. Is 3 a factor of b?
False
Suppose -m = -q - 2*q - 28, 0 = -3*q. Let c = -8 + m. Is 7 a factor of c?
False
Suppose -b - b = 0. Suppose 2*n = -b*n + 4. Is 18 a factor of n*-3*47/(-6)?
False
Suppose 0 = -3*h + 4*h - 186. Suppose -z + 4*z - h = -3*k, 4*k + 16 = 0. Does 22 divide z?
True
Suppose 0 = -4*n + 3*p + 231, 3*n + p = 6*p + 165. Is n a multiple of 12?
True
Suppose 3*q - 3 - 15 = 0. Is q a multiple of 2?
True
Suppose -19*i + 17*i = -440. Does 44 divide i?
True
Let q(p) = -p**3 + p + 1. Let t(w) = 5*w**3 + w**2 - 4*w - 7. Let s(x) = 6*q(x) + t(x). Is 7 a factor of s(-3)?
False
Is 9 a factor of (-4)/((-8)/18)*2?
True
Let x be ((-56)/12)/2*3. Is x*(-9)/21*4 a multiple of 11?
False
Suppose -v + 3*v - 12 = 0. Suppose v - 2 = 2*c. Suppose f = 3*q + 26, -c*f - 4*q + 30 = q. Does 10 divide f?
True
Let f = -142 - -265. Suppose -4*c + f = -1. Is c a multiple of 20?
False
Suppose -3*s = 3*j - 195, -j - 5*s = -6*j + 315. Is 17 a factor of j?
False
Let v be 0/1 + 20/4. Suppose -2*p - 74 = -a - a, 0 = v*a + 3*p - 185. Is 14 a factor of a?
False
Suppose 83 = -6*a + 341. Does 9 divide a?
False
Suppose -1 = 4*n - 13. Let q(j) = -4*j**2 + 0*j + 2*j**n + 3*j + j**3. Is q(2) a multiple of 13?
False
Suppose 4 - 1 = a. Suppose -216 = r - 4*r + 4*v, 0 = a*v. Suppose 0 = -0*s + 3*s - r. Is s a multiple of 12?
True
Let q(d) = d**3 + 6*d**2 - 5*d + 6. Is 7 a factor of q(-6)?
False
Let m(g) = -g**2 - g + 9. Is 4 a factor of m(0)?
False
Let r be 1/(-3) + (-124)/6. Is 8 a factor of 2/6 + (-308)/r?
False
Suppose p + 0*p - 80 = -3*i, 360 = 4*p + 4*i. Is p a multiple of 15?
False
Let x(y) = 24*y + 25. Does 29 divide x(5)?
True
Let k be -1*9 + (2 - 0). Let f = -3 - k. Suppose 0*c + 29 = f*c + 3*z, 0 = -c + 3*z - 4. Is 5 a factor of c?
True
Suppose -5*r = -3*r - 146. Let n = r + -44. Does 9 divide n?
False
Let l = 17 - 8. Suppose -r = 5*d - 137, 3*d = -5*r - 1 + 70. Let y = l + d. Is 13 a factor of y?
False
Let c(s) = -2*s - 8. Let v be c(-6). Suppose 0 = y + v*y - 60. Is 4 a factor of y?
True
Let k(c) = -c**2 - 6*c + 5. Let a be k(-5). Suppose -5*w - 2*z + 208 = 0, 0 = -w - 2*z + 50 - a. Is 18 a factor of w?
False
Suppose 0 = 4*t + v - 1021, -2*t - v + 1277 = 3*t. Is t a multiple of 32?
True
Is 4 a factor of 1 + 3 + 36 - 4?
True
Suppose -28 - 22 = -5*y. Suppose 8 + y = o. Does 6 divide o?
True
Let s = 5 + -5. Suppose -5*a = 4*x - 130, -x = -s*x. Does 22 divide a?
False
Let n(g) = -9*g + 6. Let h(k) = -2*k + 1. Let a(s) = -21*h(s) + 4*n(s). Is a(5) a multiple of 11?
True
Let m = 24 - 142. Let a = -69 - m. Suppose w = -2*x + a, -5*w + 58 = 5*x - 57. Does 13 divide x?
True
Suppose -3*d = -17 + 2. Suppose -h + 7 = 2*w - 11, -d*w = 4*h - 60. Let o = 10 + h. Is o a multiple of 10?
True
Let t(r) = 34*r**2 + r. Let j = 13 - 8. Suppose 0 = 4*y - s - 4, -2*y + 1 = -y - j*s. Is t(y) a multiple of 10?
False
Let b(j) = -j**2 - 6*j + 1. Let l be b(-5). Suppose w - l - 2 = 0. Is 1*3 + w + -9 even?
True
Let j(s) = -s**3 + 7*s**2 + 9*s. Does 4 divide j(8)?
True
Suppose 5*o = 16 + 4, -2*s = -5*o - 70. Is 10 a factor of s?
False
Suppose -3*r = 8 - 23. Is r a multiple of 2?
False
Let g(k) = 3*k**2 + 3*k + 2. Let m be g(-3). Suppose m = 4*v - 2*l, -2*v + 4*l - l = -14. Suppose y + 75 = 2*h - v*y, 3*y - 141 = -5*h. Is 16 a factor of h?
False
Let o(y) = 52*y. Let m be o(-1). Let r be m/(-4) + -1 + -1.