e m?
False
Let f(n) be the second derivative of n**3/3 - 4*n**2 - 3*n. Is 2 a factor of f(7)?
True
Let d(o) = -o**2 + 8*o + 2. Let n be d(4). Suppose -4*f + 2 = -n. Suppose 198 = f*l + 8. Is l a multiple of 16?
False
Suppose 33 + 167 = 5*i. Let m = i - -7. Is m a multiple of 17?
False
Let r be (28/6)/((-2)/(-6)). Let v = -5 - -9. Suppose v*z + r = 6*z. Is 4 a factor of z?
False
Let r(o) = 4*o**2 - 2*o + 14. Does 28 divide r(7)?
True
Suppose -z + 4 = 5*t - 21, -t + 5*z + 5 = 0. Let q(g) = -9*g**3 - 2*g**2 - 3*g - 2. Let p be q(-2). Suppose t*s - p = s. Does 15 divide s?
False
Let v = -32 - -48. Is v/(-12)*162/(-4) a multiple of 18?
True
Suppose 4*b = -3*d - 3, 1 = -d - 2*b - 3*b. Let v(x) = -4*x**2 + 1. Let i be v(d). Let r(z) = -12*z + 3. Is r(i) a multiple of 13?
True
Let x(p) = -8*p**2 - 3*p + 4*p + 12*p**2. Does 10 divide x(2)?
False
Let b = -37 + 92. Does 11 divide b?
True
Let r be (2 + (-2 - 0))/2. Let b be r - (-1 + 2)/1. Let x(g) = 8*g**2 + 2*g + 1. Is x(b) a multiple of 5?
False
Let q = -40 - -86. Does 23 divide q?
True
Let r be (0 + -1)*-1 + 1. Suppose -17 = -r*c + 3. Is c a multiple of 5?
True
Let g(u) = u**2 - 11*u + 25. Is g(11) a multiple of 25?
True
Let d(b) = 27*b - 3. Is d(2) a multiple of 17?
True
Let d(m) = 52*m + 16. Is 37 a factor of d(6)?
False
Let t(j) = -7*j + 1. Let o be t(4). Let a = 11 + o. Is 12 a factor of 3/(-2) - 216/a?
True
Let c(f) = -2*f**2 + 12*f. Let g be c(6). Let t(a) = -a**3 - 7*a**2 - 6*a + 4. Let u be t(-6). Suppose u*n - 10 - 42 = g. Is n a multiple of 13?
True
Let n(u) = -2*u**3 - 2*u**2 + 7*u + 5. Let j be n(-4). Suppose j - 177 = -4*f. Is 13 a factor of f?
True
Suppose -6 = -3*v + 6. Suppose 0 = v*u - 10 - 42. Is 13 a factor of u?
True
Is 3 a factor of 18 - (-2)/(-2)*0?
True
Suppose -85 = -6*k + 47. Is 22 a factor of k?
True
Suppose -496 = -b - b. Is b a multiple of 17?
False
Let f be (10/(-5))/((-1)/2). Suppose 120 = 5*s - f*c, 0 = 3*s - 4*c + c - 75. Is s a multiple of 15?
False
Let s(b) be the first derivative of b**4/4 - 5*b**3/3 - 5*b**2/2 - 4*b + 2. Let n be s(6). Suppose -5*r + 3*d = -2*d - 65, n*d + 10 = 0. Is 6 a factor of r?
False
Let z(a) = -a - 5. Let m be z(11). Let x = m - -23. Suppose -2*d = -x*d + 3*j + 231, -54 = -d - 2*j. Does 24 divide d?
True
Let b(j) = -66*j. Is 22 a factor of b(-1)?
True
Let q = 69 + -19. Does 10 divide q?
True
Suppose 5*d + 2*t - 19 = 0, -2*d - 2*t = d - 9. Does 2 divide d?
False
Let r = 75 - 105. Let n = 64 + r. Is 23 a factor of n?
False
Let c(r) = 4*r + 6 + 7*r - 5. Let f be c(6). Suppose b = 3*n + 19, b + n = -2*b + f. Is 11 a factor of b?
True
Suppose 0 = 3*s + 2*t - t - 175, -5*t - 53 = -s. Suppose -3*i + 3*d + s = i, -4*i + 60 = -4*d. Is i a multiple of 11?
False
Does 11 divide 11/(3 - (-20)/(-8))?
True
Let c = -45 + 32. Let r = c - -29. Is 12 a factor of r?
False
Let d(g) = g**2 + 8*g - 2. Let w be d(-11). Let p = w + -12. Is 16 a factor of p?
False
Suppose -2*d + 12 = 2*z - 28, 0 = 4*d + 3*z - 82. Is d a multiple of 20?
False
Suppose -q + 10 = 4*q. Suppose -3*z = -2*b - 5, q*b - 10 = -z - 3. Suppose -190 = -5*u + b*v, 0*v + 4*v + 92 = 2*u. Is u a multiple of 18?
True
Let i(b) = b**3 - 7*b**2 + 3. Let u be i(7). Suppose -u*d - 27 = -3*k - 0*d, -3*d + 12 = 0. Is k a multiple of 6?
False
Let n = -37 - -61. Is n a multiple of 4?
True
Is 42 a factor of 379 - ((8 + -1 - 3) + -3)?
True
Suppose 2*l = 2*n + 4*l + 8, 4*l = -5*n - 16. Suppose 3*a = -2*b + b + 6, n = -a + 2*b + 2. Is a a multiple of 2?
True
Let l = 281 - 167. Does 19 divide l?
True
Let n(o) = -2*o - 7. Let l(i) = -10 + 3 - 3*i + 4*i - 3*i. Let j(z) = 4*l(z) - 5*n(z). Is j(9) a multiple of 11?
False
Suppose 95*j - 99*j = -156. Does 4 divide j?
False
Let i = -7 - -28. Let u = 45 - i. Is u a multiple of 15?
False
Suppose -4*p = -3*p - 9. Suppose -6*r + r + w - p = 0, 3*r = -3*w + 9. Is 2 - -4 - 2/r a multiple of 6?
False
Let c = 4 - 2. Suppose c*a - 33 = -a. Is a a multiple of 8?
False
Let n be -5 + 116 - (-1 - 2). Suppose -47 = -s + 4*r, -2*s - 11 + n = r. Does 17 divide s?
True
Suppose -4*k - 20 = -4*y - 0*k, 4 = 4*k. Does 3 divide y?
True
Let i be 2/(-4)*2 + -4. Let w(f) = -f - 4. Let r be w(i). Is r - 2 - 1*-12 a multiple of 11?
True
Let q(c) = 32*c**3 + c**2 - c. Suppose 0 = 4*f + f - 5. Is q(f) a multiple of 11?
False
Let x(r) = r**3 - 3*r**2 + 2*r + 4. Let v be x(3). Let t be ((-12)/v)/((-1)/5). Is 86/3 + t/(-9) a multiple of 14?
True
Does 11 divide -3 + (530/4 - 3/(-6))?
False
Suppose 5*y = 4*y + 16. Let v be (-5)/((-1)/3*3). Suppose 104 = v*s - y. Is s a multiple of 12?
True
Suppose 33 - 8 = a + 3*g, -2*a - 3*g = -44. Is a a multiple of 4?
False
Suppose -5*i + i + 16 = 0. Suppose 0 = i*f - 2*f - 6. Suppose -4*b - 7*h + 2*h = -39, 4*h - 29 = -f*b. Is 5 a factor of b?
False
Let o = 9 - -5. Does 7 divide o?
True
Let t(g) = -7*g - 18. Does 24 divide t(-6)?
True
Suppose -4*y + 454 = 62. Is 17 a factor of y?
False
Suppose 12 = 3*q, -4*s - 70 = -5*q - 306. Suppose -3*o - 3*g + 216 = -0, o - s = g. Is 17 a factor of o?
True
Let w(u) = 4*u**2 - 4*u - 1. Is 4 a factor of w(-2)?
False
Let y be -5 - -4 - 1*5. Let h(z) = -2*z**3 - 9*z**2 - 2*z - 7. Let j be h(y). Suppose p + 5*i - 49 = 0, -3*p + 3*i = i - j. Is 15 a factor of p?
False
Suppose 693 = -11*l + 2079. Is l a multiple of 42?
True
Let l(j) = 3*j**3 + 0 + 3 - 4*j**3. Let r be l(0). Suppose r*i - i = 26. Is 11 a factor of i?
False
Suppose -2*i + 5*x = -18, 2*i + 4*x + 20 = -2*i. Let d(t) = 22*t**2 + t + 1. Is 11 a factor of d(i)?
True
Suppose x + 1360 = 11*x. Is x a multiple of 16?
False
Suppose -7*g - 120 = 5*s - 3*g, 5*s + 125 = -5*g. Let q = s - -37. Is q a multiple of 5?
False
Let i(h) = h**2 - 2*h - 1. Suppose -23 = -2*q + 3*j, -19 = -0*q - q + 4*j. Does 17 divide i(q)?
True
Let m be 2*(1 + 0) + 0. Let x be 25/m*1*2. Suppose -4*g = g - x. Is 2 a factor of g?
False
Let r(q) = q**3 + 20*q**2 + 10*q + 38. Is 19 a factor of r(-19)?
True
Suppose p + 2 = -2*y - 3*p, 5*y - 2*p - 7 = 0. Is 15 a factor of y*(35 - (-2 + 1))?
False
Suppose w = -4*w + 375. Is w a multiple of 15?
True
Let n(m) = m**3 + 23*m**2 + 21*m + 44. Is 11 a factor of n(-22)?
True
Let h(d) = 0*d - 3*d - d**2 - 2 + 3*d**2. Suppose -7*g - 10 = -2*g. Is 12 a factor of h(g)?
True
Let y = 51 + 9. Suppose y = 3*l - 42. Suppose 3*v + 4*s - s = 81, -2*s = -2*v + l. Is v a multiple of 11?
True
Let a(c) = -17*c**2 - 2*c - 1. Let z be a(-1). Let x = z - -26. Does 5 divide x?
True
Is 14/((-3 + 6)/3) a multiple of 5?
False
Let o be ((-9)/6 - -1)*-36. Suppose 6 = 4*w - o. Suppose -50 = k - w*k. Does 10 divide k?
True
Suppose 4*w = -5*c + 5*w + 50, 5*c - 20 = -5*w. Let z be c/(-30)*2*5. Let t(g) = -5*g - 2. Is t(z) a multiple of 6?
False
Suppose -3*v + 0*a + 3*a = -36, 0 = 3*a - 15. Suppose -i = -v - 25. Is i a multiple of 14?
True
Let t = 4 - 12. Let k be -8*2*3/t. Is (81/k + -1)*2 a multiple of 15?
False
Suppose -q + 4*q = 5*h + 192, -4*q + h + 256 = 0. Does 8 divide q?
True
Let j(r) = -r**2 + 4*r - 1. Let w be j(4). Let c = w + 6. Does 3 divide c?
False
Suppose -4*p - 9 = -p. Let g be 2/4*(-72)/(-3). Let q = g + p. Does 9 divide q?
True
Suppose 2*q = -3*u + 301, -q - 7 + 165 = 4*u. Does 17 divide q?
False
Let h(k) = -k**2 - k. Let p be h(0). Let l = p + 6. Does 4 divide l?
False
Let c be 58/(-14) + 3/21. Let h(z) be the third derivative of -z**6/120 - z**5/20 + z**4/8 + z**3/2 - z**2. Is h(c) a multiple of 2?
False
Let x(w) = -w**2 + 8*w - 8. Does 4 divide x(6)?
True
Let b = -3 - -8. Is b a multiple of 2?
False
Let t(w) be the third derivative of -w**6/120 + w**5/12 + w**4/12 + 7*w**3/6 + 3*w**2. Is t(5) a multiple of 5?
False
Let g(n) be the first derivative of -n**3/3 + 15*n**2/2 - 12*n + 8. Does 21 divide g(11)?
False
Suppose r = 3*o + 2*r - 141, -4*o - 5*r = -177. Is o a multiple of 12?
True
Let l be 1*(-4)/(1 + 1). Let k = l + -18. Is 8 a factor of ((-18)/15)/(3/k)?
True
Let l(d) = -d**2 - 9*d - 12. Let m be l(-9). Let f = m + 17. Is 4 a factor of f?
False
Let a(p) = -2*p**2 + 27*p + 15. Is 11 a factor of a(12)?
False
Suppose 3*n = 3*q - q - 15, 0 = -3*n - 2*q - 3. Let w = 27 + n. Is w a multiple of 12?
True
Suppose 188 = 3*i - 2*g, 2*i - 12*g + 8*g = 120. Is i a multiple of 11?
False
Let o = -1 + 3. Suppose 0 = 4*r - 5*f + 2*f - 117, 60 = 2*r - o*f. Suppose -2*m - 3*m + x + r = 0, 3*