e a?
False
Let j be (6/4)/((-15)/(-100)). Suppose 0 = -2*q + 3*x + 24, j*x = -4*q + 5*x + 48. Is q a multiple of 12?
True
Is 36/(-4)*116/(-6) a multiple of 21?
False
Suppose 0 = -2*a + 3*a - 2. Let u be (a/(-4))/((-2)/12). Let x(h) = -h**3 + 4*h**2 + 3. Is x(u) a multiple of 11?
False
Let s(z) = z**2 - 9*z + 8. Let w be s(9). Let k be (-75)/(-20) + 2/w. Suppose -t = k*t - 135. Is 15 a factor of t?
False
Let o be -18*(45/(-6))/5. Suppose -f + 1 = i - 8, 0 = 2*f + 5*i - o. Let d = 10 + f. Is 16 a factor of d?
True
Suppose -4*b + 3*d - 88 = 0, -15 = -3*b - 2*d - 81. Let n = 46 + b. Is 11 a factor of n?
False
Let o(d) = -d**3 - 11*d**2 + 19. Does 6 divide o(-11)?
False
Suppose -x - x = -4. Let l be (-2)/x*-2 + 2. Does 17 divide (-47)/(-2)*(l + -2)?
False
Does 14 divide ((2 + -1)*-13)/((-2)/4)?
False
Suppose -3*y + 2*j - 173 = 0, -4*y - 24 = 2*j + 216. Let o be (4 - 1)/(-3) - y. Suppose 6*r = 4*r + o. Is r a multiple of 14?
False
Let b(z) = -z**3 + 6*z**2 + 7*z - 2. Let k be b(7). Is ((-21)/(-6))/((-1)/k) a multiple of 6?
False
Suppose 4*u - 24 = -2*g, -5*g - 3*u = u - 30. Is g even?
True
Suppose 4*f - 733 + 176 = -3*p, -261 = -2*f - 5*p. Suppose 5*s = 2*w - 87, 3*w - 2*s + 7*s - f = 0. Is 21 a factor of w?
False
Suppose -t = -5*t - 4. Let h(w) = 64*w**3 + w + 1. Let m be h(t). Does 21 divide m/(-3) - (-3)/(-9)?
True
Let o = 14 - 25. Let n be 0 + -2 - (3 + o). Let w(h) = -h**2 + 8*h - 2. Does 3 divide w(n)?
False
Let j(v) = 11*v - 19. Is j(5) a multiple of 36?
True
Suppose -20 = 2*m - 4*m + 5*q, 3*m = -q + 13. Is 4 a factor of m?
False
Let p(t) be the first derivative of 5*t**2 - 3*t + 3. Is p(2) a multiple of 12?
False
Suppose 2*d = -3*w + 117, -d + w + 54 = -2. Is 10 a factor of d?
False
Let w(f) = f**2 - 6*f + 1. Does 4 divide w(8)?
False
Let m be (2 + -1)*13/1. Let p = 1 + m. Is 11 a factor of p?
False
Let a = 8 + -8. Suppose 3*v + 6 = 0, p + 3*v = -a*p. Is p a multiple of 6?
True
Suppose -3*d = -4*d + 5*b, 0 = 3*d + 3*b. Let y be -2*(d + -9)*-1. Let q = 16 - y. Does 17 divide q?
True
Let g be (-2)/(-7) + (-36)/28. Let p be (-2 - g) + 3 + 0. Is 17 a factor of (-55)/(-2) - 1/p?
False
Does 3 divide 1491/42 + -2*1/(-4)?
True
Let p = 12 - 0. Let n = 22 - p. Suppose a + 3*i - 34 = -0*a, 5*i + n = 0. Does 17 divide a?
False
Let y(z) = -z**3 - 4*z. Is 4 a factor of y(-2)?
True
Does 5 divide ((-4)/(-10))/(7/175)?
True
Let p = -10 + 25. Suppose 0 = -5*x + c + 12 + 6, 2 = -x + 3*c. Suppose -q = x*q - p. Does 2 divide q?
False
Let m(s) = 10*s**2 + 3*s + 3. Let w be m(-2). Suppose -t = -2*t - 2*r + w, 4*t - 200 = 5*r. Does 17 divide t?
False
Suppose -b + 3*b = 12. Let j be (b/4)/(15/40). Suppose 55 = j*f - 113. Does 13 divide f?
False
Let g(i) = i**2 - 14*i - 8. Is g(-5) a multiple of 29?
True
Let q = -6 + 11. Let d = 15 - q. Suppose -31 = -r - d. Is 18 a factor of r?
False
Let s be ((-2)/2)/(1/10). Is 2 a factor of (12/s)/(2/(-10))?
True
Let z = 8 + 10. Suppose -30 = -4*w + z. Let n = 18 + w. Is 15 a factor of n?
True
Suppose -m = -5*k + 150, -83 = -2*k - k + 2*m. Let o be ((-1)/2)/((-1)/(-2)). Let s = k + o. Is 13 a factor of s?
False
Suppose -5*b - 1 = 4, 0 = 2*v - b - 41. Does 10 divide v?
True
Suppose -5*k = -7*k. Suppose k*g = 3*g - 30. Does 5 divide g?
True
Let c = 4 - -1. Suppose -2*l - 3*l = 4*h, 3*h + c*l = 0. Suppose -2*s - 4*g = -7*g - 37, 5*s + 3*g - 40 = h. Is s a multiple of 4?
False
Let q(v) be the second derivative of 31*v**3/6 - v**2 - 6*v. Is 20 a factor of q(2)?
True
Is 4/(((-5)/(-15))/(62/6)) a multiple of 8?
False
Let j be (-76)/18 - (-2)/9. Let p be 5/(-2)*j/2. Suppose -4*u - 6 - 2 = 0, 2*u + 34 = p*n. Is 6 a factor of n?
True
Let i(t) = t**2 - 2*t + 9. Suppose 9 = r + 3*m, 3*r + 10 = -5*m + 33. Is i(r) a multiple of 12?
False
Let y be -4 + -3*16/(-12). Suppose y = -0*j + 4*j - 36. Is j a multiple of 9?
True
Suppose -s - s = 4. Let o = s + 7. Is o a multiple of 3?
False
Let v(h) be the third derivative of -3*h**4/8 + h**3/6 + 5*h**2. Does 26 divide v(-8)?
False
Suppose 4*a - 12 = 6*a. Let m be 3 + 3/a*2. Suppose c + 15 = q, -c - 43 = -q - m*q. Is 14 a factor of q?
True
Let f(y) = y**2 - 5*y + 6. Let p be (4/(-8) - 2)*-2. Is 2 a factor of f(p)?
True
Suppose 2*g = 5*g + 18. Let q be 1 - g*(2 - -3). Let z = q + -17. Is z a multiple of 7?
True
Let m = -111 - -156. Is 14 a factor of m?
False
Let u = -23 + 52. Does 3 divide u?
False
Suppose 4*l + 8 = -3*i, -2 = -2*i + 6*i + l. Is 15 a factor of 12 + -1*(i - 3)?
True
Suppose 2*c - 36 = -5*h, -h - 48 = -2*c - 3*h. Does 4 divide c?
True
Let w = -34 + 56. Is w a multiple of 5?
False
Let w(r) = -r**2 - 9*r - 6. Let f be w(-8). Suppose 122 - 26 = f*l. Does 17 divide l?
False
Suppose 3*g - 1 = -4*f - 0*f, g - 9 = 3*f. Suppose -g*k + 8*k = 50. Is k a multiple of 6?
False
Suppose 224 = -4*m - 4*i, -2*m + 0*m = 3*i + 108. Let a = m + 100. Is a a multiple of 7?
False
Let v be 3 + 4/(-8)*-70. Let x = -23 + v. Does 8 divide x?
False
Let p(i) = i**3 - 3*i**2 + 2*i - 4. Let d be p(3). Suppose -4 = 4*h, -4*u + d*u - 5*h = -21. Is 13 a factor of u?
True
Let l = -62 - -130. Is 17 a factor of l?
True
Let k = -98 - -150. Is k a multiple of 26?
True
Let n(k) = -k**3 + 8*k**2 - 6*k + 7. Suppose 0 = -3*p + 5*o + 40, 7*p = 3*p + 2*o + 44. Suppose 14 = 4*h - p. Does 17 divide n(h)?
False
Let w = 98 + -66. Let y = w + -14. Does 18 divide y?
True
Let a = 41 - 29. Does 6 divide a?
True
Suppose 383 - 35 = -4*r - 4*a, a - 261 = 3*r. Let b = r + 169. Is b a multiple of 26?
False
Let y be 9/4 + 4/(-16). Suppose 0 = 3*s + 6, 2*s - 30 = y*z - 3*z. Is z a multiple of 8?
False
Suppose -r - 89 = -4*g, -44 = -2*g - 5*r + 17. Is g a multiple of 6?
False
Let t(v) = -3*v**3 - 4*v**2 + 9*v - 3. Let w(y) = 2*y**3 + 4*y**2 - 8*y + 3. Let c(q) = -4*t(q) - 5*w(q). Is c(2) even?
False
Let n = -46 - -86. Is n a multiple of 7?
False
Let m = 116 - 73. Let o = m + -15. Is o a multiple of 14?
True
Let t(f) = -f**2 + 4*f + 2. Let w be t(4). Suppose w*v - 48 = -v. Suppose v + 6 = 2*d. Is 11 a factor of d?
True
Let m = -6 - -6. Let r(t) = -t**3 - t**2 + t + 12. Does 6 divide r(m)?
True
Suppose 4*a = 95 + 389. Suppose t + 4*j = -t + 78, -j = 4*t - a. Does 12 divide t?
False
Suppose 3 = -2*p + o - 2, -5*p + 20 = 4*o. Let v be (p*2/6)/2. Let d(c) = -c**3 - c**2 + c + 16. Does 16 divide d(v)?
True
Let g be 10/4*(0 - -22). Suppose -5*p + g = -3*h, -4*p - 5*h = -110 + 29. Is p a multiple of 10?
False
Let l = 118 - 73. Is 15 a factor of l?
True
Let y = 12 - -114. Does 18 divide y?
True
Let j be (3*18)/(-2) + 0. Let r = 55 + j. Suppose n - 3*d - r = 0, 0 = d + 3. Is 12 a factor of n?
False
Let f = 43 + -29. Suppose 4*n = 4*u - u + 53, n - f = u. Suppose g - 27 = -5*j, 1 - n = -5*j. Is 17 a factor of g?
True
Let u(l) = -5*l**2 + 2*l + 2. Let q(p) = -p**2 + 7 + 3*p**2 + 4*p**2 - 2*p - 8. Let w(c) = -2*q(c) - 3*u(c). Is w(3) a multiple of 8?
False
Suppose 3*a - 10 = -2*a. Let y be a - 1 - (4 - -1). Does 18 divide (6/y)/(2/(-24))?
True
Let b = 12 + 8. Suppose 10 + b = -5*k. Let z = k - -18. Does 6 divide z?
True
Is (-1)/(465/156 + -3) a multiple of 13?
True
Let j be (-4)/14 + 284/14. Let n = 30 - j. Is 7 a factor of n?
False
Let i = -71 - -214. Does 17 divide i?
False
Let q be 1 - -1*(-3)/3. Let u be q/(0/2 + 3). Suppose 2*a - y = 63, -a + 29 = -u*a - y. Is a a multiple of 17?
True
Let r(p) = 9*p**2 - p + 1. Let f(q) = q + 9. Let v be f(-9). Suppose 3*c - 15 = v, -5*a + 0*c + c = 0. Is r(a) a multiple of 5?
False
Let v(y) = -13*y**3 + 2*y**2 + 4*y + 2. Let f be v(-2). Is f/6 - 5/(-15) a multiple of 12?
False
Let j(f) = 5*f + 59. Is j(4) a multiple of 7?
False
Let c(y) be the second derivative of -y**4/12 + 3*y**3/2 + 2*y**2 + 2*y. Is c(7) a multiple of 8?
False
Let a(m) = -308*m**3 - m**2 + m - 1. Let z(t) = -t**2 - 5*t + 1. Let q be z(-5). Let s be a(q). Does 14 divide s/(-12) + 1/4?
False
Let n(b) = 2*b**3 - 4*b**2 - 4*b + 5. Is n(5) a multiple of 9?
True
Let t be 2/4 - 5/10. Suppose -2*f - 1 + 9 = t. Suppose -3*v - j - 75 = -8*v, -f*v = -5*j - 60. Does 13 divide v?
False
Let g(k) be the first derivative of k**2/2 + 7*k + 3. Let v be g(-6). Suppose v = -o + 30. Does 12 divide o?
False
Let t(w) = w**2 - 4*w - 3. Suppose -2*n + 12 = -u, 3 + 9 = -n - 4*u. Let q be t(n). Does 5 divide -3*(20/q - -2)?
False
Suppose -q - 2 = -4. Suppose q = -2*f + 6. Let