e
Suppose -2*d + 28 = -4*d. Let z = d + 26. Is 3 a factor of (-18)/(-8) + 9/z?
True
Let r = 5 - -32. Is 2 a factor of r?
False
Let f(t) = -13*t - 3. Let a(p) = -1. Let n(m) = 5*a(m) - f(m). Suppose -6*i = -0*i - 12. Does 13 divide n(i)?
False
Let x(m) = -2*m**2 - 19*m + 1. Let b(a) = 3*a**2 + 29*a - 1. Let t(n) = -5*b(n) - 7*x(n). Is t(-5) a multiple of 11?
True
Let n(f) = -5*f - 12. Let w(s) = -16*s - 35. Let u(t) = 7*n(t) - 2*w(t). Is u(-7) a multiple of 2?
False
Let p(y) = y**3 - 5*y**2 - 9*y - 2. Does 11 divide p(7)?
True
Is 5/((-1)/((-40 + -2)/1)) a multiple of 21?
True
Let y = -6 - -6. Suppose 2*p = -y + 6. Suppose -p*a + 8*a = 85. Is 9 a factor of a?
False
Let j(q) = 25*q**3 + 2*q - 1. Suppose 0 = 5*i - 45. Let l(g) = -g**3 + 10*g**2 - 9*g + 1. Let k be l(i). Is j(k) a multiple of 13?
True
Let x be 2/6 - 276/(-9). Let z = x + -13. Suppose o = -0*o + z. Does 9 divide o?
True
Let o = -5 + 5. Suppose o = 4*i - i - 99. Is i a multiple of 13?
False
Let k be 0 - ((-4 - -1) + 46). Let f = k - -89. Is 23 a factor of f?
True
Let a be (-1 + -9)*(-1 - 2). Does 8 divide (-1)/(-6) - (-715)/a?
True
Suppose -5*f + 4*f + 16 = 0. Does 8 divide f?
True
Suppose 0 = -4*q + 4*w + 32, 2 = q + 3*w - 6. Let n(v) = -4 + 3*v + 0 + 0. Is n(q) a multiple of 8?
False
Suppose -5*i + 5*w = -155, 3*w + 3 = -5*i + 166. Does 16 divide i?
True
Suppose d + 2*d - 126 = 0. Suppose -2*o + d = -h, -h + 2*h = 0. Let i = o - 13. Is i a multiple of 8?
True
Let x(g) = g**2 + 6*g - 11. Let m be x(-8). Suppose 2*y = -4*j + 62, 3*j - 14 = 4*y + m. Is 6 a factor of j?
False
Let n(h) = h**2 - 7*h - 12. Let r be n(9). Let t be 3/(r/20) + 2. Let o = t - -1. Does 9 divide o?
False
Let c(n) = n**3 - 5*n**2 - 3. Let t be c(5). Let s(j) = -5*j + 2. Is s(t) a multiple of 6?
False
Let p(c) = -c**3 + 3*c**2 - 4*c + 2. Let i be p(2). Let k be 2*(-1 - i)/1. Suppose 5*l = k*l + 27. Does 6 divide l?
False
Suppose -8*u + 16 = -4*u. Let v(f) = f**2 - 5*f. Let n be v(u). Is 8 a factor of n/(-20) + (-78)/(-10)?
True
Suppose 0*p - p + 46 = 0. Does 14 divide p?
False
Suppose u - 19 = -5*v, 0 = 2*u - 0*u - v - 93. Suppose -2*d + 2*x - 33 = d, u = -4*d + 4*x. Let m = d - -19. Is m a multiple of 4?
True
Let q = 233 - 140. Does 21 divide q?
False
Suppose -4*h + 50 + 134 = 0. Let x = h - 28. Suppose -k - k + x = 0. Does 9 divide k?
True
Suppose 3*l + 3*d = 3, -3*l + 2*d = -3 + 5. Suppose -178 = -4*z - l*n - 3*n, -4*z + 4*n + 164 = 0. Is z a multiple of 11?
False
Suppose 5*a = -5*i + 263 + 57, -2*a - 5*i = -140. Suppose -c = 4*d - 185 - a, -300 = -5*d + 5*c. Is 13 a factor of d?
False
Let u = -118 - -201. Does 12 divide u?
False
Suppose -4*a + 4 = -0*a - 4*o, 0 = -5*o + 5. Suppose -z = -l - 38, a*z + 0*l = -2*l + 96. Is 20 a factor of z?
False
Let x(c) = 2*c - 2. Let l(m) = -4*m**3 - m. Let h be l(-1). Suppose 0 = 2*i - 19 + h. Does 12 divide x(i)?
True
Let k(i) = -7*i + 7. Is 7 a factor of k(-3)?
True
Let z(s) = 8*s**2 - 19*s + 39. Let j(m) = 3*m**2 - 6*m + 13. Let i(a) = -11*j(a) + 4*z(a). Is i(-9) a multiple of 11?
True
Does 24 divide 5 - (-58)/3 - (-2)/(-6)?
True
Let v(i) = -8*i - 18. Let s(n) = -4*n - 9. Let r(m) = -7*s(m) + 4*v(m). Is 15 a factor of r(-6)?
True
Is -5*1*(753/(-15) + -1) a multiple of 37?
False
Let h be 3/((2 - -1) + -2). Suppose -5 + 98 = 3*n - 5*m, -3*m + 69 = h*n. Is n a multiple of 13?
True
Let x = 41 + 36. Is 11 a factor of x?
True
Let b(g) = 5*g**3 + 3*g + 2. Suppose 2*k = -2*k + 12. Let h be b(k). Let i = h + -98. Is i a multiple of 16?
True
Suppose 2*w = 13*w - 1562. Is 17 a factor of w?
False
Let l(d) = d**2 - 1. Let c be l(2). Suppose 2*m + i - 74 = 0, 5*m - c*i + 78 = 252. Does 12 divide m?
True
Let u = 19 + -6. Is 5 a factor of (u + 0)*(-3 + 4)?
False
Let g(x) = 12*x**2 + 4*x - 11. Does 9 divide g(2)?
True
Is 16 a factor of -6 - -8 - 6*-5?
True
Is 1 - 4 - -1 - (-21 - 21) a multiple of 20?
True
Suppose 1 - 11 = -5*l. Suppose -a - l*a = -33. Is 5 a factor of a?
False
Suppose 24 = -2*n - x, -4*n = x + 63 - 15. Let r be 476/n + 4/6. Let q = -9 - r. Is q a multiple of 16?
False
Let y = 84 - -12. Does 22 divide y?
False
Let w(t) = -70*t + 2. Does 12 divide w(-1)?
True
Suppose 2*q = -4*l + 50, -4*l = -0*q + 4*q - 52. Let u(c) = c**3 + 5*c**2 + 3*c - 3. Let b be u(-3). Let o = l + b. Is o a multiple of 6?
True
Suppose 0 = 5*k - 8*k + 4*s - 11, -14 = 4*k - 5*s. Let b be 25/(-5) - (k + 0). Let l = b + 42. Does 14 divide l?
False
Let o be -40*(-4 + 96/20). Let j = 53 + o. Is j a multiple of 6?
False
Let b(a) = -a**2 + 4*a + 8. Let y be b(7). Let q = 19 + y. Is q a multiple of 3?
True
Let y(g) = 40*g**2 - 2*g. Let u(o) = -o**3 - 5*o**2 + 7*o + 7. Let s be u(-6). Does 14 divide y(s)?
False
Suppose -5*h = 15, -335 + 20 = -2*q + 5*h. Is q a multiple of 25?
True
Is 11 a factor of ((-6)/(-2))/((3/(-5))/(-3))?
False
Let i(m) = -m**3 + m**2 + 50. Is 14 a factor of i(0)?
False
Is 13 a factor of (65/1)/(14/112)?
True
Let i(v) = v**2 - 6*v + 10. Let r be (-1)/(3 + (-88)/28). Is 6 a factor of i(r)?
False
Let x be (8 - 8)*(-1)/(-2). Suppose -5*o + 4*g + 77 = x, o - 4*o + 54 = -5*g. Let n = o + -6. Is n a multiple of 7?
True
Let c = 5 - 3. Suppose -z - 7 = -c*z. Is 4 a factor of z?
False
Suppose 5*v + 184 = 6*v. Is v a multiple of 23?
True
Let u = 22 - -111. Is 20 a factor of u?
False
Let q(r) = -5*r**3 + 2*r**2 + 2*r - 1. Let u be q(-2). Suppose -3*n + 5 = -u. Does 13 divide n?
False
Is 16 a factor of -1*(-62 + 3) - -1 - 2?
False
Let g(w) be the second derivative of 0 - 11/2*w**2 + 13/6*w**3 - 2*w - 1/12*w**4. Is 9 a factor of g(8)?
False
Let b = 16 + -5. Is 3 a factor of b?
False
Let y = 22 - 19. Is 7 a factor of -3 + (y - (-32 - -4))?
True
Suppose 8 = 4*o - 0. Suppose o*c - 31 = -1. Is 14 a factor of c?
False
Let w be 0*1*(1 + 0). Suppose w = -2*j + 3 + 3. Suppose j*b - 33 = -3. Does 3 divide b?
False
Let t = -6 + 10. Suppose -5*s + 76 = 2*j, t*s + s = -5*j + 70. Is 8 a factor of s?
True
Suppose -4*p + p = -162. Does 17 divide p?
False
Let v(m) be the third derivative of m**5/60 - m**4/4 - 2*m**3/3 + 3*m**2. Let f be v(5). Does 15 divide 6/f*3 + 32?
True
Let r be -2 + (-2)/(-1) + 2. Suppose 0 = 3*u + 3, -4 = -r*z - 5*u + 39. Is z a multiple of 12?
True
Let m be (-1)/(-6) + (-6)/36. Suppose a - 86 + 24 = m. Is a a multiple of 19?
False
Let p be (2 - 0)/(3/12). Is 30/(-4)*p/(-3) a multiple of 7?
False
Let j = 7 + 47. Is j a multiple of 5?
False
Let q(n) = -n**3 - 24*n**2 - 27*n - 5. Is q(-23) a multiple of 16?
False
Does 3 divide -3*(8/(-16))/((-1)/(-2))?
True
Suppose 0 = 6*p - 85 - 23. Does 5 divide p?
False
Let x(v) = -4*v + 2. Let h be x(-2). Is (5/h)/((-3)/(-18)) a multiple of 2?
False
Does 15 divide 6/(-3) - (-35 + 3)?
True
Suppose 2*o = 3*o - 2. Let u(q) be the second derivative of q**4/6 - q**3/3 + q**2/2 + 6*q. Is 5 a factor of u(o)?
True
Let n(t) = -2*t**3 - 8*t**2 - 5*t - 5. Is n(-5) a multiple of 15?
False
Let b(d) = -d**2 - 10*d + 16. Let j be b(-11). Suppose 9 = -j*z + 144. Is 27 a factor of z?
True
Let g be (-2)/(-1 - (1 + 0)). Let n be (-21)/3 - -4 - -3. Is 21 a factor of (g - 1 - n) + 21?
True
Let s = 179 + -86. Is 22 a factor of s?
False
Let m(a) = -23*a - 6. Does 17 divide m(-1)?
True
Let w = -13 + 89. Suppose -d - 54 = -4*r, -5*r - 2*d - d + w = 0. Is r a multiple of 7?
True
Let i be -9 + 3*3/9. Let d(p) = -p**2 - 9*p - 4. Let w be d(i). Suppose 0 = 5*x - w - 41. Does 9 divide x?
True
Suppose 0 = 2*p + 3*i - 19, 5*i - 14 = 3*p + i. Suppose -b = -p*b + 5. Is b a multiple of 2?
False
Let a(d) = -3*d. Let s be a(-1). Let p(o) = 6*o + 1 - 1 + 1. Is p(s) a multiple of 9?
False
Let c(g) = 7*g**3 + 2*g**2 - 5*g + 5. Let q(v) = -3*v**3 - v**2 + 3*v - 3. Let d(b) = -3*c(b) - 5*q(b). Does 4 divide d(-1)?
False
Suppose 3*p + 3*u + 2*u - 38 = 0, -2*p - 5*u = -32. Suppose 5*i = p*i - 55. Is i a multiple of 16?
False
Is 4 a factor of ((-6)/(-1))/(15/4 + -3)?
True
Let q = -1 + 4. Let k = 78 + -45. Suppose -3*m + 0*f + k = -q*f, 23 = m + 2*f. Is 6 a factor of m?
False
Let o = -24 + 36. Is o a multiple of 8?
False
Does 16 divide 2 + -1 - 2 - (-48 - -4)?
False
Suppose -2*x - 182 = -4*v, -2*x + x = 4*v - 197. Suppose -z + v = 3*z. Is z a multiple of 10?
False
Let k(d) = -d**3 + 16*d**2 - 14*d + 1. Is k(15) a multiple of 8?
True
Suppose -2*i + 112 = -t, 5*i - 3*t - 2*t - 280 = 0. Let f = i - 6. I