s 12 a factor of b?
False
Let k(n) be the second derivative of -13*n**5/120 - n**4/24 + n**3/3 - 3*n. Let t(x) be the second derivative of k(x). Is t(-1) a multiple of 12?
True
Is (-147)/84*(-153 - -1) a multiple of 19?
True
Let a(n) be the first derivative of 45*n**4/4 + n**3/3 - n**2/2 + n - 3. Let d be a(1). Does 12 divide (d/6)/((-3)/(-9))?
False
Let f = -24 - -47. Is 23 a factor of f?
True
Suppose -3*c = -3*h + 441, -c = 5*h - h - 568. Does 13 divide h?
True
Let m(q) = 4*q + 4. Let z be m(-3). Let v(k) = -k**2 - 10*k - 3. Does 4 divide v(z)?
False
Let y = 4 + -10. Let p(j) = j**3 + 5*j**2 - 7*j - 1. Let m be p(y). Suppose 113 = 5*z + i + 20, -4*i - 78 = -m*z. Is z a multiple of 14?
False
Suppose -10*s + 22 + 8 = 0. Is 3 a factor of s?
True
Suppose -31 = -3*c + 5. Is 7 a factor of c + (-1 - -3)*1?
True
Let k be 1983/15 + 1/(-5). Suppose -4*j + 21 = -2*y + 105, -k = -4*y - 4*j. Is y a multiple of 18?
True
Let r = -3 - -18. Let q(k) = -k - 2. Let n be q(-4). Suppose 2*z - 2*l = 86, 3*z + n*l - 149 = -r. Does 16 divide z?
False
Let i be (10/(-15))/(2/(-3)). Let x be (-3 + i)*(-2)/4. Does 5 divide 1 - 0 - (-3 - x)?
True
Let k(o) = 10*o - 4. Is k(2) a multiple of 6?
False
Suppose -g = 5*i - 2*g + 20, -g = 0. Let p = i - -7. Is -7*1/(p/(-3)) a multiple of 3?
False
Suppose 0 = -5*m, 90 = q - 3*m - 50. Does 11 divide q?
False
Suppose 1 = -4*i - 11. Does 10 divide -2 - 2*2*i?
True
Suppose -v - 6*t = -5*t + 7, 2*t - 16 = 4*v. Let r be 2/5 - (-47)/v. Let w = -2 - r. Is w a multiple of 5?
False
Let n(i) = i**2 - 5*i - 3. Let g be n(-5). Let p = g + -32. Is p a multiple of 7?
False
Let d be 50/((3 + -2)/1). Suppose d = -2*g + 152. Is g a multiple of 17?
True
Suppose -2*d - 6 = -0*d + f, 14 = -2*d + f. Suppose -2*c + 7*c + 135 = 0. Let a = d - c. Is 12 a factor of a?
False
Let f(i) = 10*i + 1. Is f(9) a multiple of 17?
False
Let j = 339 + -72. Does 22 divide j?
False
Let c(g) = 75*g**3 - 2*g**2 - g. Let p be c(-1). Let b be (4/(-5))/((-12)/(-570)). Let z = b - p. Does 19 divide z?
True
Let i(p) = -p**3 + 8*p**2 - 7*p - 1. Is 20 a factor of i(5)?
False
Suppose -3*o = -m + 5*m - 124, -3*o = 2*m - 122. Suppose 0*i + o = 5*i. Does 5 divide i?
False
Suppose -327 = -3*g - 3*j, -4 - 2 = 2*j. Is g a multiple of 28?
True
Let n be 36*-3*(-26)/18. Let p = n + -109. Is p a multiple of 19?
False
Suppose -b + 164 = 3*r, 4*r - 91 = -b + 75. Let j = b - 109. Is j a multiple of 12?
False
Let u(y) = -y**2 - 7*y - 4. Let i be 0 - (1 + -1) - 7. Let l be u(i). Let a = 8 + l. Is a even?
True
Suppose 2*h + 0*h = 3*v - 76, 3*h = 3*v - 72. Let g = v - 16. Does 4 divide g?
True
Let n be 1 - 0/(-2) - -6. Suppose 2*p + 270 = n*p. Is 19 a factor of p?
False
Let t(b) = b**3 - 6*b**2 + 4*b - 2. Suppose 0*a - 4*a + 24 = 0. Let g be t(a). Suppose 2*c + 3*j = g, -2*c + 0 + 22 = -3*j. Is c a multiple of 4?
False
Suppose 2*l = -4*c + 34, -c + 5*c + 5*l - 31 = 0. Does 3 divide c?
True
Suppose 5*b - 32 = 4*b. Is 4 a factor of b?
True
Let v = 80 - 32. Does 24 divide v?
True
Let z(m) = m**2 + 10*m + 15. Let o be z(-7). Does 28 divide 126/4*(-16)/o?
True
Let y(u) = -u**3 + 6*u**2 + 2*u - 4. Let j be y(6). Is ((-4)/(-5))/(j/460) a multiple of 12?
False
Suppose q = -0 + 6. Let o = q - 1. Is 9/(-15) - (-118)/o a multiple of 12?
False
Let h = 106 + -64. Is 21 a factor of h?
True
Let i be ((-8)/(-6))/(-2)*3. Let v(p) = -9*p**2 - p - 1. Let y be v(i). Let h = -1 - y. Is 17 a factor of h?
True
Is (-2)/4 - 788/(-8) a multiple of 18?
False
Suppose 0 = 2*d + y + 4*y - 357, 0 = -5*d - 4*y + 918. Does 18 divide d?
False
Let q = -223 - -599. Suppose -2*f = -j - 184, 4*f + j + j = q. Does 31 divide f?
True
Suppose 2*r = -r - 5*j + 361, r = 3*j + 139. Suppose 0 = -5*s + 143 + r. Is 7 a factor of s?
False
Suppose 4*g - 31 + 7 = 0. Let o = g + 5. Is o a multiple of 11?
True
Let z(n) = -12*n**2 + 2*n - 1. Let c be z(1). Let y(r) = r**2 + 7*r. Is y(c) a multiple of 12?
False
Let y be 3/(-6) - (-10)/4. Suppose -a - 4 = 3*i + 45, -3*a + 29 = -y*i. Let d = i + 44. Is d a multiple of 14?
True
Does 19 divide ((-50)/6 - -2)*-3?
True
Let w = 213 - 121. Is w a multiple of 21?
False
Let d(m) = -4*m**3 + 3*m**2 + 3*m + 2. Let q be d(-2). Suppose -3*h = -j - 8, -5*j + 8 = 2*h - 5*h. Suppose -j*k + 6*k = q. Is 16 a factor of k?
False
Let l = 14 - -7. Is 7 a factor of l?
True
Let a(t) be the first derivative of -5*t**4/2 - t**3/3 + t**2/2 + t + 1. Is 3 a factor of a(-1)?
True
Let q = -10 + 16. Suppose l - 4*l = -q. Suppose -m = 0, -l*m = 3*o - 7*m - 72. Does 12 divide o?
True
Let u(o) be the second derivative of o**5/20 - o**4/12 - o**3/6 - 2*o**2 + 2*o. Is 3 a factor of u(3)?
False
Suppose 0 = -4*o + 12, 2*t + 4 = 3*o + o. Suppose 340 - 68 = t*p. Is p a multiple of 10?
False
Suppose -2*i + 60 = -i. Suppose 0 = -0*g - 4*g + i. Is 11 a factor of g?
False
Let f = 415 + -247. Suppose 0 = z + 2*z - f. Is z a multiple of 16?
False
Suppose -5*m + 0*m + 560 = 0. Is 34 a factor of m?
False
Let n(w) = -4*w - 8. Is 14 a factor of n(-9)?
True
Suppose q = 2*l + 66, 3*l - 4*q + 88 = -6. Let x = l - -62. Is 28 a factor of x?
True
Let o = -33 + 75. Is 14 a factor of o?
True
Let f(r) be the third derivative of r**5/15 - r**4/12 - r**3/3 - r**2. Is 6 a factor of f(-2)?
True
Suppose -h = -5*h + 8. Suppose 0*a - a = 4*d, 3*d = h*a. Suppose d = -x + f - 4*f + 18, 3*x = -5*f + 54. Does 7 divide x?
False
Is 21 a factor of 9/((-34)/(-28) + -1)?
True
Let a be (-304)/(-10) - 12/30. Suppose -3*g - a = -3*c, 3*c - 16 = g + 14. Is (-4)/c + (-324)/(-10) a multiple of 14?
False
Is 29 a factor of (3/6)/((-1)/(-58))?
True
Suppose 5*n - 36 + 6 = 0. Let y be -15 - n*1/2. Is 12 a factor of (-8)/10*(y + 3)?
True
Suppose 3*c + 2*c + 80 = 0. Let l = c - -52. Suppose 0*s + l = s. Does 16 divide s?
False
Is -1*(4/12 - (-520)/(-12)) even?
False
Let v(x) = -14*x - 3. Is 14 a factor of v(-4)?
False
Suppose -2*t + 351 = 5*a, 0*a + t = -3*a + 211. Is a a multiple of 11?
False
Suppose 0 = -r - 2*x + 30, -x - 41 + 17 = -r. Is r a multiple of 5?
False
Suppose 6*i - 3*i - 21 = 0. Is 13 a factor of (-1)/(-1)*175/i?
False
Let h = -520 - -728. Is 13 a factor of h?
True
Let x = -18 - -20. Suppose -n - 3*p = -26, -n - x*n - 4*p = -88. Is n a multiple of 13?
False
Let d be (-6)/(-4) - (-18)/(-12). Let n be 0/(-4 + (d - -2)). Suppose -g + 3*g - 16 = n. Is 4 a factor of g?
True
Suppose -4*f + 20 = -3*f. Is f a multiple of 7?
False
Let x be 4/1 - (2 + -2). Suppose -x*g + 0*g = -40. Let r = 20 - g. Is r a multiple of 10?
True
Suppose 0*y + 2*y - 6 = 0. Suppose -y*u = -5*d + 92, u + 68 = d + 3*d. Is d a multiple of 10?
False
Let q = 56 - 11. Is 15 a factor of q?
True
Is -2 + 18 + (10 - 5) a multiple of 18?
False
Let v be (2/3)/(2/12). Let s be 16/88 - (-2306)/22. Suppose n = 5*n - v*k - 124, -5*k = 5*n - s. Does 13 divide n?
True
Suppose 3*n + c = -3*c + 40, -5*n + c + 36 = 0. Suppose n*a = 4*a + 88. Is 11 a factor of a?
True
Does 10 divide (17/68 + (-178)/8)*-1?
False
Let j = 6 - 3. Suppose j*n - 7 = 131. Does 13 divide n?
False
Suppose -g = -5, -r - 2*r + 163 = 5*g. Does 16 divide r?
False
Let y be -1 - 1 - (0 - 2). Suppose 5*h + 110 = 4*t, -3*t + h + 88 = -y*t. Is 9 a factor of t?
False
Does 21 divide (-15)/(-10)*(-184)/(-12)?
False
Suppose -2*y - 27 = y. Let v(r) = -r**2 + 9*r + 2. Let o be v(5). Let d = o + y. Does 4 divide d?
False
Suppose d = -2*d. Let n be 28 + d/1 - 1. Suppose -102 + n = -3*a. Is 13 a factor of a?
False
Suppose -3*c + 7*c = 56. Does 2 divide c?
True
Let p = 0 + 0. Suppose p = x - 42 + 6. Does 12 divide x?
True
Let y = 37 + -16. Let o = -1 + y. Does 5 divide o?
True
Suppose 0 = -3*r + 2 + 7. Suppose 3*t - 33 = -r. Does 5 divide t?
True
Let a = -8 - -16. Let h = 12 + -12. Let s = a + h. Does 8 divide s?
True
Let q be (-1 - 2/(-3))*-12. Suppose 6*u = -4*v + u - 9, q*u = -20. Suppose 5*f = -5*o + 50, -o + v*f = -4*o + 32. Does 6 divide o?
False
Let d = -35 + 156. Is d a multiple of 11?
True
Let j be (-14)/((-2 + 1)/11). Suppose -2*s - 1 = -5. Suppose -144 = -5*o + b + s*b, 2*b - j = -5*o. Does 15 divide o?
True
Let q(r) = 6*r. Let n(y) = 6 - 2 - 3. Let f(a) = -8*n(a) - q(a). Is 14 a factor of f(-6)?
True
Is 44 a factor of (44*-2)/((-1)/4)?
True
Suppose -3*v + 12 = 0, t + 0*t + 47 = -5*v. Let g = 131 + t. Suppose -x = x - g. Is 17 a factor of x?
False
Suppos