 r/6*(-3)/(-2). Suppose -b - 27 = -w. Is w a multiple of 16?
True
Let y = -254 + 398. Does 16 divide y?
True
Let y be (-3 - 186)*(-3)/9. Suppose -2*k + 6 = 0, -k + y = 6*u - 2*u. Is 11 a factor of u?
False
Let g(j) = -j**2 + 2*j. Let n be g(0). Suppose n = q - 4*q + 60. Does 9 divide q?
False
Let a(u) = u + 2. Let n(g) = 3. Let c(v) = -3*a(v) + 2*n(v). Is c(-5) a multiple of 6?
False
Let l be ((-3)/(-2))/((-3)/(-8)). Suppose -4*k + 24 = -3*s, 0 = -l*k + 2*k + s + 12. Let y(u) = -u**2 + 9*u - 5. Is 9 a factor of y(k)?
False
Suppose 45*d - 46*d = -70. Is 11 a factor of d?
False
Suppose 0 = 6*p - 3*p - 156. Let z = -14 - 10. Let a = z + p. Is a a multiple of 8?
False
Let w be (3/(-7))/(8/(-56)). Is (-15)/(-4 - -3) + w a multiple of 6?
True
Let b(o) = 7*o - 2. Let g be (-1)/(1 + 11/(-10)). Suppose -5*u + g = -0*u. Is 6 a factor of b(u)?
True
Is (-1149)/(-33) - 5/((-110)/4) a multiple of 5?
True
Let c(h) = 10*h**2 + 6. Let z(i) = -7. Let o(v) = 3. Let u(t) = 9*o(t) + 4*z(t). Let f(m) = c(m) + 6*u(m). Is 5 a factor of f(1)?
True
Let o(r) be the first derivative of -r**5/20 - r**4/3 + 5*r**3/6 + 2*r**2 - r - 2. Let v(c) be the first derivative of o(c). Is v(-5) a multiple of 2?
True
Let x(k) = k**3 - 4*k + 3. Let h be x(2). Suppose 2*c - 82 = -2*t, -37 = -c + h*t - 6*t. Does 13 divide c?
False
Suppose 4*n - 105 = n - 2*u, -2*n + 89 = -5*u. Is 13 a factor of n?
False
Suppose -4*u + 17 = -5*i, -5*i - 5 = -20. Is 2 a factor of u?
True
Let b = -60 + 105. Is 15 a factor of b?
True
Suppose 0 = -5*b + 8*l - 4*l - 8, -b + 2*l = 4. Let k = b - -3. Suppose -k*h + 107 = 29. Is h a multiple of 10?
False
Let k(v) = 40*v**3 - v + 1. Let m be k(1). Does 13 divide m + 3/3 - -1?
False
Let p = 4 - 0. Let k be 4/(-16) - 75/p. Let h = k - -30. Is 10 a factor of h?
False
Let j(u) = -u**3 + 6*u**2 + 2*u + 3. Let i be (4 + -1)*(-1)/(-1). Suppose -5*w - 10 = -3*k, i*k + 0 = -2*w + 17. Is 19 a factor of j(k)?
True
Let t = -84 + 126. Is 28 a factor of t?
False
Let t = 6 - 22. Is 9 a factor of (t/3)/(16/(-72))?
False
Suppose -4*p - 190 = -6*p - 5*v, -4*v = -5*p + 541. Does 21 divide p?
True
Let i(v) = 0 - 9 - 1 - 2*v - 7*v**2 - v**3. Let h be i(-7). Suppose -j - 39 = -h*j. Is j a multiple of 13?
True
Let r = 56 + 58. Is r a multiple of 20?
False
Suppose -5*x + 0*x + 570 = 0. Let g be (-2)/1*(-9)/6. Suppose g*c = 3*m + x, 3*m = c - 35 - 9. Does 14 divide c?
False
Suppose -91 - 41 = 4*j. Let l = -15 - j. Is l a multiple of 9?
True
Let d(c) = c**3 + 15*c**2 + 7*c + 40. Does 10 divide d(-14)?
False
Let m = -58 + 90. Is 32 a factor of m?
True
Let i(v) = v**2 + 12*v - 8 + 11 + 7. Let b be i(-11). Is ((-12)/(-14))/(b/(-28)) a multiple of 13?
False
Suppose 0 = -5*y - 150 + 505. Let l = -5 + y. Is 26 a factor of l?
False
Suppose -3 = -2*d + 3. Suppose 0*f = 3*g + d*f - 99, -2*f = -3*g + 114. Suppose 3*w = 4*w - g. Is 19 a factor of w?
False
Let v = -51 + 203. Is v a multiple of 38?
True
Let t(u) = u**3 + 5*u**2 + 2*u - 2. Let h be t(-3). Suppose -50 = -3*f + 8*f. Is 2 a factor of (-18)/f + 2/h?
True
Let h = 23 + -2. Is 6 a factor of h?
False
Let i = 100 - 70. Is 10 a factor of i?
True
Suppose -2*j + 32 = 2*f, -4*f + 5*f - 2*j - 25 = 0. Suppose 4*h + f = 4*q - 165, 5*q - 2*h = 239. Let a = q + -33. Is 8 a factor of a?
True
Let m(t) = -2*t**3 - 4*t**2 + 6*t + 6. Let o be m(-5). Let f = o + -79. Does 19 divide f?
False
Suppose 96 = -0*a + 2*a. Let n = -31 + a. Suppose -8 = 4*h, -4*z = 3*h - 97 - n. Does 13 divide z?
False
Let p = -37 - -57. Suppose -3*t = 2*t + 2*y - p, t - 27 = -5*y. Suppose -45 = -3*q - t*q. Does 9 divide q?
True
Let w = -6 + 4. Let r be (9/(-6))/(w/4). Suppose 0*u = r*u - 42. Is 8 a factor of u?
False
Let o = 6 - 0. Is 59 + -3*(-4)/o a multiple of 16?
False
Let f = 11 - -3. Let r = -7 + f. Is r a multiple of 5?
False
Suppose 0 = -2*h + 4*h - 52. Suppose -3 = -m + u, 0 = -2*m - 3*u + h. Is 2 a factor of m?
False
Suppose 3*m = -s + 22, 19 = m + 3*s + 1. Suppose 0 = -2*t + t + m. Is (t/4)/((-3)/(-20)) a multiple of 5?
True
Let p be (-3)/1 + 28*2. Suppose -1 = 2*x - 5*z, -3*z - 16 = 4*x - p. Suppose -5*y + 4*w + 55 + x = 0, 0 = -y + w + 12. Is 14 a factor of y?
True
Let z(x) be the second derivative of x**7/840 - x**6/90 - x**5/120 - 5*x**4/24 + x**3/2 - x. Let a(b) be the second derivative of z(b). Does 4 divide a(5)?
False
Let c be (-3)/6*0 - -8. Is 11 a factor of (-16)/(-6)*66/c?
True
Let z be -9 + 8 + 10/1. Suppose z = 3*o + 27. Is (o/(-8))/((-2)/(-48)) a multiple of 9?
True
Let i = 240 - 120. Is 15 a factor of i?
True
Let p = 38 + -18. Suppose 2*l + 74 = 2*g, -g - 3*l = -13 - p. Suppose -g = -5*q + 54. Does 7 divide q?
False
Let d = 38 + -24. Is d a multiple of 3?
False
Let u = 10 + -3. Let d = u - 4. Is 2 a factor of d?
False
Suppose 7*i - i - 180 = 0. Is 11 a factor of i?
False
Suppose 12 = 4*b, -3*x - b + 0*b = -39. Is 12 a factor of x?
True
Let t be (-3)/((-3)/(-2)) + 21. Let r be 28/(-8)*2*-1. Let i = t + r. Is i a multiple of 13?
True
Let a(g) = g**2 - g**2 - 2*g + g**3 + g**2 + 1. Let w be a(1). Is 21 a factor of (-1)/(w/(-40)) - -2?
True
Let p = 20 - 8. Suppose p = 2*r - m, 2*r - 2*m + 11 = 3*r. Is r a multiple of 2?
False
Let d(w) = -15*w**2 - 5*w + 13. Let f(m) = -7*m**2 - 3*m + 7. Let j(p) = -6*d(p) + 11*f(p). Is j(3) a multiple of 31?
False
Let d be (2 - 0) + (3 - -3). Let l be -1*(-2 - d)*1. Let o = l - -13. Does 23 divide o?
True
Let u = 6 - -25. Does 11 divide u?
False
Let x(l) = -21*l - 39. Is x(-7) a multiple of 18?
True
Suppose 2*a = 3*l - 50, 3*l + 4*a = 7*l - 64. Let x = l - -8. Is x a multiple of 13?
True
Let n(b) be the third derivative of -b**6/30 - b**5/30 + b**4/24 + b**3/6 - 3*b**2. Is n(-2) a multiple of 16?
False
Let j = 18 + 17. Suppose 3*i = j - 14. Does 3 divide i?
False
Suppose -i + 32 = -8. Let f = -6 + i. Is f a multiple of 17?
True
Suppose -4 = 2*h + j, 2*j - 1 = -h - 9. Suppose -u + h*w + 3*w + 21 = 0, 4*w = 4. Is 8 a factor of u?
True
Let y(k) = 52*k**2 - k - 1. Is 33 a factor of y(-1)?
False
Let f = 5 - 6. Let o(p) = 41*p**2 - 1. Is o(f) a multiple of 20?
True
Let b = 1 + -17. Let c = b + 27. Does 11 divide c?
True
Suppose -5*a + 4*t + 15 = 0, a - 2*a = -4*t - 3. Suppose -32 = a*b - 7*b. Is b a multiple of 5?
False
Let y be ((-91)/(-21))/(2/(-6)). Let f = y - -37. Does 6 divide f?
True
Suppose -75 + 15 = 2*i. Let v = 49 + i. Suppose -2*k - g + 23 = -8, 3*g = k - v. Does 16 divide k?
True
Let q = -4 + 7. Suppose 4*h = q*h + 21. Is 2/(-7) - (-993)/h a multiple of 12?
False
Suppose -3 = -2*o + 3. Suppose -5*n = 3*z - 11, o*n + 3*z - 3 + 0 = 0. Is 4 a factor of n?
True
Let x(g) = 91*g + 21. Is 42 a factor of x(3)?
True
Suppose 0 = -5*j + 2*j + 4*m + 65, -3*j + 59 = -m. Does 19 divide j?
True
Let l(o) = -o - o**2 - 1 + 6*o + 5*o. Suppose 0 = -s + 4*p - 12, -4*s + 3*p + 25 - 8 = 0. Does 15 divide l(s)?
True
Let b(y) = 14*y**2 + y - 4. Let h be b(4). Suppose -d + h = 5*a, -4 = -4*d + 8*d. Does 15 divide a?
True
Let k(a) be the third derivative of -a**4/24 + a**3/3 + 4*a**2. Let g be k(0). Suppose 0 = -g*o + 24 - 6. Is 9 a factor of o?
True
Let q = 360 + -225. Is q a multiple of 17?
False
Let b(o) = 4*o**2 + 2*o + 1. Let q be b(-2). Let p = 18 + 2. Let z = p - q. Is 4 a factor of z?
False
Suppose 5*r = -2*p + 1 + 37, -p + 19 = 2*r. Suppose p = 3*j - 14. Does 7 divide j?
False
Let d = 20 - 16. Suppose 0*h - d*h = -332. Is 17 a factor of h?
False
Let f be (-23)/(-7) + (-12)/42. Suppose 135 = 4*w - 4*a + 23, 2*w - f*a = 58. Is w a multiple of 13?
True
Suppose 3*z = 5*z - 160. Is 20 a factor of z?
True
Let p = 66 - 4. Does 13 divide p?
False
Let c(l) = l**3 - 7*l**2 - 4*l + 9. Let x = 9 - 2. Let j be c(x). Let d = 8 - j. Is d a multiple of 9?
True
Suppose f - 7 = -2*c, 2*f - 4*c - 16 = -2*f. Suppose 2*y - 6*y = h - 155, -y - f*h = -34. Is 21 a factor of y?
False
Is 5 a factor of 2/((-4)/(-134)) + (7 - 5)?
False
Let v(z) = -18*z**3 + 2*z**2 + z. Let t be v(-1). Let b = t - -3. Is b a multiple of 11?
True
Let c(t) = t**3 - 17*t**2 + t + 5. Let m = -1 - -18. Is c(m) a multiple of 22?
True
Let f(v) = -20*v - 15. Does 7 divide f(-3)?
False
Suppose 144 = 3*n - n. Is 15 a factor of n?
False
Let g(i) = -2*i - 3. Let f be g(-4). Let j(c) = 5*c + c - f + 2*c**2 - 3*c**2. Is 3 a factor of j(4)?
True
Let a = 9 - -16. Let l be (-276)/(-10) - (-10)/a.