 - 150/(-14) a multiple of 11?
True
Let o = 61 - 22. Suppose 2*i + 3*i = 3*r - o, 5*r + 1 = i. Let f(t) = -t**3 - 8*t**2 + 5*t - 12. Is 12 a factor of f(i)?
True
Suppose -4*o = -3*l - 33, 4*l = 5*o - 21 - 19. Is o a multiple of 2?
True
Suppose 0 = -5*o + p + 116 + 26, -2*o + p + 58 = 0. Is 14 a factor of o?
True
Let k(l) be the third derivative of -l**6/360 + l**5/20 + l**4/3 + l**3/6 + 3*l**2. Let o(q) be the first derivative of k(q). Is 8 a factor of o(6)?
True
Let o(x) = x**3 - 4*x**2 + 2*x. Let n be o(3). Let c be -1 + (0 - 0)/n. Does 16 divide c + 1 - -17 - 1?
True
Let g be (-2 + 0 + 0)*-1. Suppose 36 = -g*c + 2*s, 4*s = -c - 0*s + 7. Let r = c - -18. Does 2 divide r?
False
Is (-9)/6*80/(-3) a multiple of 14?
False
Let u = 6 + -4. Suppose u*m - 2 - 2 = 0, 0 = 5*g - m - 23. Suppose -3*d + 39 = -g*h, -11 - 8 = -2*d + h. Is 4 a factor of d?
True
Let y be ((-81)/(-12))/(-3)*-36. Suppose -y = -3*s + 18. Is s a multiple of 11?
True
Suppose -w - 2*b = w - 104, -4*w + 220 = -2*b. Is 12 a factor of w?
False
Suppose -2*n - 3*b = -120, -264 - 26 = -5*n - 5*b. Is 14 a factor of n?
False
Suppose 0 = -2*b - 3*f + 4*f + 67, -2*b + 5*f = -47. Does 9 divide b?
True
Let d(f) = f**2 - 8*f + 6. Let x be d(6). Let i = x + 8. Suppose 0 = 4*o - 3*o + 3*y, 3*o = -i*y + 21. Is o a multiple of 3?
True
Let b(g) = g**2 + 2*g. Let f be b(6). Let c = 122 - f. Is 20 a factor of c?
False
Suppose -4*y + 267 = a - 76, 3*y - 286 = 5*a. Does 13 divide y?
False
Let d = 10 + -2. Does 4 divide d?
True
Let c(f) be the first derivative of f**4/4 + 8*f**3/3 + 4*f**2 + 7*f + 1. Let g be c(-5). Suppose -g + 15 = -d + 5*w, -109 = -5*d - w. Is d a multiple of 16?
False
Let q(f) = 6*f**2 + f. Does 20 divide q(4)?
True
Let f(y) be the second derivative of y**5/20 + y**4/3 - y**2 + 2*y. Let t be f(-4). Let i(r) = 5*r**2 + 2*r + 1. Is i(t) a multiple of 17?
True
Suppose q = 4*q - 6. Suppose -64 = -q*n - 5*b + b, -2*n + 67 = 5*b. Is 10 a factor of n?
False
Let t(i) = 11*i**2 - 2*i - 1. Is 12 a factor of t(-1)?
True
Let i(h) = -h**3 + 7*h**2 - 6*h + 8. Let g be i(6). Let q(y) = y**3 - 8*y**2 + 3*y - 4. Does 15 divide q(g)?
False
Suppose 3*n + 2*n = r + 474, -4*r + 99 = n. Does 19 divide n?
True
Let j(s) = -s + s**2 + 10*s + 6 + 2. Let w be j(-7). Does 11 divide 2*14*(-3)/w?
False
Let t(w) = 2*w + 2. Let b be t(-2). Let p(v) = -6*v**3 + v**2 - v. Is p(b) a multiple of 27?
True
Is (-3)/2*(-4 + -2) a multiple of 5?
False
Let z(g) = g**3 + 1. Let j(i) = 5*i**3 + 9*i**2 + 12*i + 6. Suppose 5*f = f + 16. Let r(p) = f*z(p) - j(p). Is r(-8) a multiple of 10?
True
Let d(r) = 2*r + 6. Let c be d(-3). Suppose c = -8*z + 3*z + 80. Is z a multiple of 16?
True
Suppose -4*n = n - 730. Let w be (-15)/2*(-8)/6. Is 13 a factor of n/w + 6/15?
False
Suppose 20 = -2*b + 7*b. Let s = b + -1. Suppose 3*d = -x + 140, 4*d - x - 160 = s*x. Is d a multiple of 18?
False
Does 20 divide 42/9*450/35?
True
Suppose -8*z - 29 = -7*z. Let n = z - -78. Does 20 divide n?
False
Let v(x) = -48*x**3 - 9*x**2 + 2. Let s(y) = -24*y**3 - 5*y**2 + 1. Let b(u) = 5*s(u) - 3*v(u). Let k be b(1). Let m = -13 + k. Is 12 a factor of m?
True
Let w = -5 + 4. Is 3 a factor of (1 - w)*(-18)/(-12)?
True
Let s be 4/(-6) - (-40)/6. Suppose -s*u + 2*u + 20 = 4*h, -2*h = 2. Is 6 a factor of u?
True
Let o be 4 + -2 + (0 - -8). Suppose 2*v - 3*v - 24 = 0. Is (o/(-6))/(8/v) a multiple of 3?
False
Let p = 35 + 66. Let i = -36 + p. Let v = i - 38. Is 18 a factor of v?
False
Suppose -3*u - 2*m + m = -110, 75 = 2*u + m. Let b be 4/(-14) + 115/u. Suppose 4*c = -b*h + 77, -2*c - 49 - 7 = -2*h. Does 14 divide h?
False
Let t = -15 - -173. Let b be (-2)/5 - t/5. Is 9 a factor of (6/8)/((-1)/b)?
False
Let j(s) = 354*s**2 - 1. Let o be j(1). Suppose 0 = -2*n + 5*n + 18. Is 13 a factor of n/27 - o/(-9)?
True
Let j be (26 - 2)*2/2. Does 16 divide (j/(-10))/(15/(-100))?
True
Suppose -2*n + 298 = -4*v, 4*n - 3*v = 684 - 103. Is n a multiple of 24?
False
Let v = -3 + 16. Is v a multiple of 8?
False
Let c(o) be the first derivative of o**2 + 7*o - 4. Let y be c(6). Suppose 2*x - 4*x + 38 = 5*b, -3*x + 2*b + y = 0. Is 9 a factor of x?
True
Suppose 42 - 10 = 4*f. Let j = f + 34. Is 21 a factor of j?
True
Let k be ((-3)/(-9))/(2/(-6)). Let g = 6 - k. Does 5 divide g?
False
Is 6 a factor of 2*68/(-24)*-3?
False
Let o(d) = d**2 - 11*d + 15. Let g be o(12). Does 29 divide g/(-18) - 406/(-4)?
False
Suppose -y - 4*x = -119, -4*y + 527 = 4*x - 5*x. Is y a multiple of 14?
False
Suppose 11*u + 6*u = 1088. Is 19 a factor of u?
False
Let l = 224 - 98. Is l a multiple of 42?
True
Suppose -85 - 59 = -4*n. Suppose -2*f + n = f. Is f a multiple of 12?
True
Let d(j) = -3*j**3 + 23*j**2 - 8*j - 8. Is 4 a factor of d(7)?
False
Let c = 13 + -9. Let t = c + 13. Is 6 a factor of t?
False
Let x = -16 + 7. Let i(b) = b**3 + 8*b**2 - 9*b + 4. Let o be i(x). Let d = 13 - o. Is 5 a factor of d?
False
Suppose 2*w - 11 = -3. Suppose w*n = -0*n + 24. Is 3 a factor of n?
True
Suppose 2*y = 4*h + 9 + 7, -5*h + 3*y = 21. Let s(k) = -6*k. Is 8 a factor of s(h)?
False
Suppose 10*g - 7*g = 78. Is g a multiple of 4?
False
Let p(l) = -l**3 - 6*l**2 + 8*l + 6. Let z be p(-7). Does 15 divide (3*2)/(z/(-6))?
False
Let h be (-1 - 6)*12/(-14). Let u be (-32)/12 - (-4)/h. Is 2 a factor of (2 - 2 - u) + 1?
False
Suppose -4*k + 0 + 160 = 0. Is 20 a factor of k?
True
Suppose 6 = 3*r, -5*l + 2*r + 31 + 365 = 0. Does 20 divide l?
True
Suppose 4*c - 806 = 338. Is 26 a factor of c?
True
Suppose -l - 21 = l - k, 5*l = 3*k - 53. Let j = 26 + l. Is 16 a factor of j?
True
Let s = 5 + 15. Suppose -t = -3, -2*q + 0*q = -3*t - 143. Suppose 4*d - q = s. Is d a multiple of 12?
True
Let z(g) = g**3 - 9*g**2 - 10*g + 9. Let i be z(10). Let d be 51/i - 4/6. Suppose 0 = -d*n + 115 - 20. Is n a multiple of 9?
False
Let a be (136 - (-4 + 3)) + -1. Suppose -a = -3*g + 5. Does 15 divide g?
False
Suppose 3 = 3*z - 5*q - 34, z - 4*q - 24 = 0. Suppose 0 = -2*x, x = -z*j - x + 80. Does 9 divide j?
False
Let g = 7 - 4. Suppose g*l + 11 = -4. Is 2 + -16*l/2 a multiple of 21?
True
Let y be (1*3)/((-11)/(-11)). Suppose 0 = -2*v + 4*c + 56, -y*v = 5*c - 72 + 10. Is 12 a factor of v?
True
Suppose 3*m - 4 = -5*f, 7*f + 4*m = 5*f - 4. Let j = 33 - 21. Let b = j - f. Does 10 divide b?
True
Suppose -2*w + 51 + 85 = -2*j, j + 260 = 4*w. Let i = -33 + w. Is i a multiple of 12?
False
Let x(p) = -p + 1. Let m be x(-2). Suppose 0*d + 4*d + k - 59 = 0, -d - m*k = -23. Does 5 divide d?
False
Suppose 156 = i + 2*i - 2*s, 3*i - s - 159 = 0. Is 18 a factor of i?
True
Let b(u) = -u + 3. Let j be b(0). Suppose 15 = j*d + 2*d. Suppose 0 = -d*r - c + 55, -3*r + 0*c = -4*c - 80. Is r a multiple of 10?
True
Is 5 a factor of -1 - 2 - -8 - -3?
False
Let v(u) = 3*u**2 + 3*u + 6. Let w be (-30)/(-4)*44/(-55). Is v(w) a multiple of 20?
False
Suppose 0 = -3*a - 3*z, 3*z + 20 = 2*a - a. Let p(s) = 4*s**2 - 5*s + 2. Let y be p(4). Suppose 0 = -3*x - u + 86, -x - x = -a*u - y. Is 14 a factor of x?
True
Suppose -3*y + 5*y + 14 = 0. Let i = 17 + y. Is i a multiple of 3?
False
Let g(b) be the first derivative of -b**3/3 + 4*b**2 - 3*b + 2. Is 4 a factor of g(3)?
True
Suppose 4*i = 5*r - 87, 3*i + 26 = 5*r - 43. Does 10 divide i/4*40/(-12)?
False
Let d = -10 - -10. Let r be d/(-2) + (-22 - 1). Let w = -13 - r. Is 5 a factor of w?
True
Let b be (-261)/6*8/(-12). Let s = b - 17. Does 6 divide s?
True
Does 12 divide 4 - 42/12 - 286/(-4)?
True
Suppose -644 = -5*w - v, -2*w = 2*v - 102 - 154. Is w a multiple of 21?
False
Let w(s) = s**3 + 2*s**2 + 1. Let y be w(-2). Let g = -5 - y. Let q = g + 30. Does 12 divide q?
True
Let b(c) = 5*c - 2. Let p be b(-2). Let v be p/(-7) + (-4)/(-14). Suppose -v*g + 13 + 15 = 0. Does 14 divide g?
True
Let r = -3 + 3. Suppose 0 = -r*i + 4*i - 16. Let c = i + 3. Does 7 divide c?
True
Suppose 5*d - 92 - 23 = 0. Is 9 a factor of d?
False
Let o(f) = -f**2 + 6*f. Does 5 divide o(5)?
True
Suppose -2*f + p + 10 = -1, -5*p - 35 = -5*f. Suppose 2*u = -10*t + 5*t + 73, -74 = -2*u - f*t. Does 13 divide u?
True
Suppose 5*p = 2*p + 96. Suppose -3*d = d - p. Does 8 divide d?
True
Let a(x) = 10 - 4 - 9*x - 13*x. Let r be a(-7). Suppose -s = -2*z - 40, -5*s + 2*z + r = -0*z. Does 12 divide s?
False
Suppose -768 = -11*h - 5*h. Is h a multiple of 12?
True
Let t(