-4) - ((-54)/(-24) + -2)?
True
Does 7 divide 3 - 2*33/(-6)?
True
Suppose -14 = 3*x + 37. Let l be (18/5)/((-2)/5). Let p = l - x. Is 8 a factor of p?
True
Is 19 a factor of (-2)/7 - 8000/(-70)?
True
Let v(w) be the third derivative of -w**6/120 - 7*w**5/60 + w**4/24 + 3*w**3/2 - w**2. Let u be v(-8). Let b = 92 - u. Is 17 a factor of b?
False
Does 41 divide (1 - -3)/(3*(-1)/(-123))?
True
Let i(y) = -y**3 - 10*y**2 + 7*y - 25. Does 6 divide i(-11)?
False
Does 21 divide (11/2)/((3/80)/3)?
False
Let q(a) be the third derivative of -a**6/60 - a**5/30 - a**4/24 + 3*a**2. Let r be q(-2). Let g = r - 2. Does 8 divide g?
True
Let f(h) = h**3 - 3*h**2 + 3*h - 2. Is 4 a factor of f(3)?
False
Let v(o) be the third derivative of -1/24*o**4 + 0 + 0*o + 10/3*o**3 - 1/60*o**5 - 2*o**2 - 1/120*o**6. Is 10 a factor of v(0)?
True
Let s be (-102)/4 + (-6)/(-12). Let k be 3/5 + (-260)/s. Let x = k + -3. Is 3 a factor of x?
False
Let n = -119 - -203. Does 9 divide n?
False
Let t be (1 + -4)/(3/(-2)). Suppose 0 = 5*g - 2*l - 4 - 24, 0 = -t*l + 2. Is 2 a factor of g?
True
Suppose j = -2*q - 2 + 3, -4*j + 2*q = -24. Let k be j*(-1 - 49/(-5)). Let u = -21 + k. Is 11 a factor of u?
False
Let r(k) = -15*k - 1. Let w be r(-1). Suppose 3*b = -4*o + 21, 4*o - 4*b - w = 14. Is 3 a factor of o?
True
Let n(y) = y**2 - 11*y + 8. Let g be n(10). Is 14 - g/4*0 a multiple of 14?
True
Let l = 33 - 3. Suppose -4*h + 138 = l. Suppose 2*z = -z + h. Is z a multiple of 4?
False
Let h be (58/(-4))/((-2)/(-4)). Let c(b) = b**3 + 8*b**2 - 14*b + 9. Let x be c(-10). Let m = h - x. Is 11 a factor of m?
True
Suppose 4*s - 237 = -41. Does 13 divide s?
False
Let t(q) = 2*q - 7. Let p = 46 + -16. Suppose -3*i = 3*w + w - p, -w = -4*i + 21. Is 2 a factor of t(i)?
False
Let q(p) = 4*p**2 - 4*p + 4. Let c = 4 + 0. Does 9 divide q(c)?
False
Let a(v) = v**3 + 5*v**2 + 2*v - 4. Let h be a(-4). Suppose 0 = -c - 4*j + 8, 5*j + 8 = -h*c + 5*c. Is 4 a factor of c?
True
Suppose 5*r + 5 = 5*q, -4*r - 2*q - 1 = -3*q. Let x(f) = f - 1. Let w be x(6). Suppose -w*a - k + 214 = 0, a + r*a - 46 = -k. Is a a multiple of 14?
True
Let l be 4/(-1 - -3)*-11. Suppose -u - 3*u = 0, 0 = -4*q - 5*u - 60. Let i = q - l. Is i a multiple of 4?
False
Let j(b) = 6*b. Is j(4) a multiple of 8?
True
Suppose 0 = -2*a - 5*m + 44, 4*a - 5*m = -3*m + 88. Let g = a + 4. Does 9 divide g?
False
Let t = 14 + -11. Suppose 0 = z + t*z - 64. Is 4 a factor of z?
True
Let b(t) = 2*t**2 + 1 - 10*t**2 - t**2 + 0 + 2*t - t**3. Is b(-10) a multiple of 27?
True
Let x = -89 + 155. Is 7 a factor of x?
False
Let v(l) = -10*l + 10. Does 8 divide v(-5)?
False
Let p = 37 + -25. Suppose 5*d - 2*d = p. Let b(m) = m**3 - 3*m**2 - m - 1. Is 3 a factor of b(d)?
False
Is 16 a factor of (2/(-4))/(((-25)/(-5))/(-540))?
False
Let c(j) = -11*j - 41. Is 47 a factor of c(-8)?
True
Let n = -30 - -44. Is 7 a factor of n?
True
Suppose -g + 112 = 3*g. Is 14 a factor of g?
True
Let b = -39 + 15. Let k = b - -26. Is 2 a factor of k?
True
Let b(y) = 5*y - 1. Let c be b(1). Suppose -192 = c*h - 8*h. Does 16 divide h?
True
Let z(v) = v**3 + 2*v**2 - 2*v + 4. Let y be z(-3). Is y/(-3)*(-9 - 234) a multiple of 27?
True
Let o be (-5)/7 + (-10)/35. Does 19 divide (o + -1 + 1)*-35?
False
Suppose 0*q = 3*j + q - 146, -151 = -3*j - 2*q. Suppose -5*f + j = -w, -2*w + w - 39 = -3*f. Let o = 57 + w. Does 10 divide o?
True
Let r(v) = -30*v + 3. Is 11 a factor of r(-1)?
True
Suppose -3 = 3*g + 3. Let m(x) = -x - 11. Let v be m(-5). Does 17 divide (g/(-3))/(v/(-459))?
True
Suppose 0 = -5*t + 2*t. Suppose t = -q - 4*q + 195. Is 13 a factor of q?
True
Suppose 4*z + 5*s = -0*z + 90, 117 = 5*z + 4*s. Let i be (-63)/(-5) - (-10)/z. Let k = i - 9. Is 4 a factor of k?
True
Let a(o) be the first derivative of -o**3/3 - 4*o**2 + 4*o - 4. Is a(-6) a multiple of 16?
True
Let x(a) = 1 - 4*a + a**2 - 6 + 0. Let s be x(5). Suppose -5*p + 265 = 2*k + 56, s = -4*p + 5*k + 154. Does 14 divide p?
False
Suppose -4*m + 61 = 21. Is m a multiple of 10?
True
Is 3 - (-16)/6*12 a multiple of 11?
False
Suppose 0 = -2*w - 5*z + 34 + 40, 0 = w + 3*z - 37. Is 12 a factor of w?
False
Let q(y) = 3*y**3 - 11*y**2 + 8*y - 4. Let n(k) = -4*k**3 + 16*k**2 - 12*k + 6. Let s(p) = 5*n(p) + 7*q(p). Let g be s(2). Let c = 30 - g. Does 9 divide c?
False
Let m be 0/(-6) - (-1 - -1). Suppose j + 2*j - 15 = m. Is 3/j - (-197)/5 a multiple of 15?
False
Let z(a) = -2*a + 30. Is 15 a factor of z(0)?
True
Suppose 0 = 2*f + 2, 4*f + 170 - 10 = 3*o. Is 26 a factor of o?
True
Let d be 2/(-3) - (-91)/(-3). Let k = 56 + d. Is k a multiple of 11?
False
Let c(h) = h**3 - 6*h**2 - h - 2. Let t be c(6). Is 2 - t - (-2 - 0) a multiple of 6?
True
Is (-8)/(-4) + (-1 - 87/(-3)) a multiple of 3?
True
Let i be 5 - -33 - (-1 - -5). Suppose h - i = 8. Is h a multiple of 24?
False
Let d(g) = -g**3 + 5*g**2 - 4*g + 4. Let y be (-1)/4 + 17/4. Let n be d(y). Suppose n*s = s + 75. Does 14 divide s?
False
Let s be (-2)/(-8)*2*78. Suppose 5*o - 35 = 2*g, -4*o + g - 5 = 6*g. Suppose 2*j + o = s. Is 17 a factor of j?
True
Suppose 2*i + 0 = 8. Suppose -28 = -5*g + i*g. Does 15 divide g?
False
Suppose -4*s + 2*d + 471 = s, s = 3*d + 89. Is s a multiple of 19?
True
Does 4 divide 1*350/(-21)*24/(-10)?
True
Let c = -14 + 38. Does 6 divide c?
True
Suppose -p - 2 = 0, 0 = -5*s - 0*s + 5*p - 40. Let n = s - -15. Is n a multiple of 2?
False
Let w(c) = -c**2 - 16*c - 12. Is w(-12) a multiple of 7?
False
Suppose 44 = -3*b + 2. Suppose -2*d + 4*r = -44, -r = 3*d + 8 - 74. Let h = d - b. Is 16 a factor of h?
False
Let u(a) = 3*a**2 + 4*a - 4. Let w(c) = 4*c**2 + 3*c - 5. Let h(m) = 5*u(m) - 4*w(m). Let b be (5/(-4))/((-1)/4). Is 9 a factor of h(b)?
False
Let k(n) be the third derivative of n**6/120 - n**5/10 - 3*n**3/2 + 3*n**2. Does 19 divide k(7)?
False
Let c(u) = 18*u**2 - u + 2. Let o = 14 + -16. Is 12 a factor of c(o)?
False
Let z(k) = -k + 5. Suppose 4*i - 24 = 4. Let t be z(i). Does 13 divide (-558)/(-12)*t/(-3)?
False
Let d be ((-2)/1 - 3)/(-1). Let i = d + 10. Is 6 a factor of i?
False
Suppose 2*z = 3*z - 6. Suppose -k = -3*k + z. Suppose 5*a = k*r - 34 - 8, -60 = -3*r - a. Is 7 a factor of r?
False
Let y be 439/3 - 2/6. Let k = 85 - 176. Let c = y + k. Is c a multiple of 19?
False
Let f = -142 - -150. Is 4 a factor of f?
True
Let s(m) = -3*m - 4. Suppose -2*f + 50 = -0. Suppose 3 - 16 = -q - 4*k, f = -5*q - 2*k. Does 17 divide s(q)?
True
Suppose -4*a = -45 - 3. Does 5 divide a?
False
Let l(n) = -32*n - 4. Let g be l(-2). Suppose 4*f + f - g = 0. Is 3 a factor of f?
True
Suppose 18*k - 6*k = 168. Is k even?
True
Let x be (-1 + (-404)/(-12))*3. Let u = x + -21. Does 34 divide u?
False
Let g be -57*(-1 - 4/(-6)). Suppose 4*o = -7 + g. Suppose 1 + 11 = -3*i, -n - 3*i = o. Is n a multiple of 4?
False
Let k(x) = -3*x - 1. Let z be k(-1). Let f be -20*(-3)/(30/4). Let i = z + f. Is 10 a factor of i?
True
Let h = 0 + 7. Suppose h*c = 3*c + 20. Is c a multiple of 3?
False
Suppose 0*p = -p. Suppose 4*f - q + 25 = p, 0 = -f - 0*q + 5*q + 8. Let o = 15 - f. Does 11 divide o?
True
Suppose -3*b + 309 = 114. Is b a multiple of 10?
False
Suppose 4*r - 17 = -s, -5*r + 9 = -2*r. Suppose -u = u + t - 94, 5*u - 229 = -t. Suppose -2*v + u = s*k, 0 = v - 5*v - 3*k + 111. Does 15 divide v?
True
Let m(i) = -5*i + 5. Suppose 2*c - 6*c + 19 = 5*o, 21 = 3*c - 3*o. Let a be m(c). Let d = 7 - a. Does 16 divide d?
True
Suppose -6*m = -m - 5, 4*f = 2*m + 6. Let b be (-4)/((-4)/f) - -88. Let g = -50 + b. Is g a multiple of 20?
True
Suppose 4*w + 4 = 16, -3*w + 23 = -2*y. Let t be 5/(-10) - 19/2. Is 10*y/t*4 a multiple of 14?
True
Suppose -4*x = -6*x + 16. Does 3 divide ((-2)/x)/((-6)/72)?
True
Let k = -123 + 223. Suppose 3*w + 5*m = 2*m + 108, -3*w + k = -m. Is 17 a factor of w?
True
Let v(f) = f**2 - f + 1. Let d be v(2). Suppose -o - 7*k = -d*k - 15, -4*o = -4*k - 20. Suppose 0*p = p - o. Is 3 a factor of p?
False
Suppose l - 16 = -2*w, 4*l - 9 - 22 = 3*w. Let r = l + -6. Does 2 divide r?
True
Suppose -13 + 1 = -3*u, -n - 4*u = 76. Let v(b) = -b - 2. Let k be v(-4). Is 8 a factor of n/(-12) - k/(-6)?
True
Suppose -4*i = -2*n + 92, 0*i = -3*n - 4*i + 138. Is 23 a factor of n?
True
Let v(n) = -11*n**2 + 1. Let k be v(-1). Let p(g) = g**2 + 9*g - 3. Let x be p(k). Suppose -x*j + 60 = -2*j