 -74*r - 17. Let s(u) = -6*g(u) - 17*m(u). Is 19 a factor of s(1)?
True
Does 15 divide (-119)/(-2) - 1/(-2)?
True
Let g(a) = a**3 - 2*a**2 - a - 1. Let i be 2/((-15)/6 + 3). Is g(i) a multiple of 5?
False
Let v = -18 - -64. Does 23 divide v?
True
Let a(v) = v**2 + v**2 + v**2 - 2*v**2 + 10*v. Is 11 a factor of a(-11)?
True
Let f(c) = 270*c - 4. Let o be f(-2). Is o/(-18) + (-16)/72 a multiple of 30?
True
Suppose -167 = -2*a - 33. Is a a multiple of 19?
False
Let j(i) = 2*i + 9. Let y be j(-6). Does 5 divide (0 + 11)*(-2 - y)?
False
Let y be (20 + 0 + 2)*-1. Let i = y - -39. Is 8 a factor of i?
False
Suppose 0 = 3*j - 7*j. Let l(f) = -f**2 + 9. Let s be l(j). Let v = s - -13. Is 22 a factor of v?
True
Suppose 4*r = 0, -4*u - 3 = 3*r - 327. Is 28 a factor of u?
False
Suppose 5*m - 4*m - 4*k = 248, 0 = 3*k + 9. Is m a multiple of 35?
False
Let f = 144 - 49. Is 12 a factor of f?
False
Let r(y) = -y**2 - 9*y - 6. Let b be r(-7). Suppose -3*f + 2 = -4*z - 5, 0 = -3*z + 5*f - 19. Suppose -14 = -g - 5*w, 4*g = b*g + z*w - 146. Does 13 divide g?
True
Let n(m) = 4*m - 2. Is 14 a factor of n(11)?
True
Let z be 480/84 - 2/(-7). Suppose z*v = v + 45. Is v a multiple of 9?
True
Suppose 5*j + 0*h + 3*h = 16, 0 = 2*j + 4*h + 2. Suppose j*y = 3*y + 4. Suppose -3*g + 53 = y*q, 2 - 77 = -3*q - 3*g. Does 15 divide q?
False
Let l(c) be the second derivative of 0 - 1/6*c**3 - 3/2*c**2 + 1/6*c**4 + 2*c. Is l(5) a multiple of 15?
False
Is 3 - -2*9/6 a multiple of 3?
True
Let h = 21 + -29. Let p(g) = -17*g**3 - g**2 - g. Let n be p(-1). Let j = h + n. Is 4 a factor of j?
False
Suppose r - 269 = -i, 2*i = 2*r - 7*r + 535. Is 15 a factor of i?
True
Let n be -1 + (-32)/(-1) - 4. Suppose -4*f + n = -137. Is 6 a factor of f?
False
Let u be (-2 + 5)/(-3)*-2. Suppose y + u*y = 0. Suppose y = 4*n - 14 - 2. Is 4 a factor of n?
True
Suppose -2*v + 38 = 4*w, -3*v - w + 33 + 9 = 0. Is 3 a factor of v?
False
Let p(y) = -115*y. Let i be p(-1). Suppose 3*j - 255 = 3*n, 2*j + 404 = n - 6*n. Let q = n + i. Is q a multiple of 11?
True
Let o(k) be the second derivative of -5*k**3/3 - k**2/2 - k. Let c be o(2). Let q = c + 35. Does 7 divide q?
True
Does 16 divide (1 - 4) + 38 + -3?
True
Let z be ((-30)/(-12))/(1/(-2)). Does 18 divide z/(-15) - (-508)/6?
False
Suppose 0 = -2*p - 2*a + 3 - 1, 0 = -2*a + 4. Let j be (p/2)/((-2)/4). Suppose 2*r - 3*w = 16, -r - j = -5*w - 2. Is 11 a factor of r?
True
Let d(f) = 2*f - 2*f - 4*f + 72 + 2*f. Is d(0) a multiple of 24?
True
Suppose 3*u - 2*u - 1 = 0, -2*u + 727 = 5*b. Let n be 79/4 + 1/4. Does 20 divide (-1 + 9)*b/n?
False
Let f(m) = -3*m - 33. Let k(h) = 2*h + 33. Let o(n) = 3*f(n) + 4*k(n). Let i be o(0). Let l = i + -20. Does 13 divide l?
True
Let a(k) = k**3 - 7*k**2 + 7*k - 3. Is a(6) a multiple of 3?
True
Let l(v) = -v**2 + 19*v + 31. Does 9 divide l(18)?
False
Let y = -16 - 10. Let a = y + 37. Does 2 divide a?
False
Let n(i) = -i**3 - 15*i**2 - 14*i + 17. Let u be n(-14). Let v = u + 9. Is 9 a factor of v?
False
Let k = -4 - 5. Let v be (-9)/(0 + (-3)/k). Let d = -16 - v. Does 4 divide d?
False
Let r(x) = 3*x**2 - 4*x + 1. Let v(i) = -i**3 - 8*i**2 - 9*i - 10. Let b be v(-7). Suppose -f - 3*s = -6*f + 9, b*f - 18 = -3*s. Does 8 divide r(f)?
True
Suppose 6*n = -5*t + n + 125, -5*n + 69 = 3*t. Suppose -f - 14 - 27 = 3*y, 68 = -5*y - 2*f. Let w = y + t. Is w a multiple of 9?
False
Let d(k) = k**2 + 4*k + 3. Is 12 a factor of d(-7)?
True
Suppose 0 = -4*o - o + 65. Is 3 a factor of o?
False
Suppose -6*p = -p - 660. Suppose 394 = 2*x + p. Suppose 23 = -3*t + x. Is t a multiple of 17?
False
Let h = 1 + 6. Let y = h - 13. Let i = y + 19. Does 13 divide i?
True
Does 8 divide 120/25*20/3?
True
Let h = 20 - 1. Does 7 divide h?
False
Suppose 0 = 5*j - 3*c - 106, -j = 4*j + 3*c - 94. Is 3 a factor of j?
False
Suppose -y = 63 - 23. Let i = -22 - y. Is 8 a factor of i?
False
Let d = 67 - 37. Does 6 divide d?
True
Suppose 2*t = 5*h + 124, t = h + 15 + 47. Does 31 divide t?
True
Suppose -4 + 0 = -4*n. Let y be n/(-1 + 9/6). Does 7 divide ((-7)/(-3))/(y/6)?
True
Let t(z) = z**2 - 4*z + 3. Let r be t(3). Let x(y) = -y**3 + 0 - 3*y + 22 - y**2 + 2*y. Is x(r) a multiple of 8?
False
Suppose -3*v - 4*y = -368, -2*v + y = -109 - 140. Is 14 a factor of v?
False
Let k = 2 + 1. Suppose g + 32 = k*g. Does 6 divide g?
False
Let g = 66 + -21. Let c = g - -13. Is 20 a factor of c?
False
Let g(p) = -p**3 + 7*p**2 - 10. Let v = -10 + 17. Let w be g(v). Is 10 a factor of (-40)/(-6)*(-15)/w?
True
Let v(g) = g**2 - 5*g - 6. Let a be v(7). Suppose -a = -s + 3*s. Is 2 + (-54)/(s + 2) a multiple of 18?
False
Suppose 14*d - 17*d = -27. Is d a multiple of 9?
True
Let x = -9 - -8. Is -1*((-1)/x - 11) a multiple of 5?
True
Let w(l) be the second derivative of -5*l**3/6 - 4*l**2 - 4*l. Let r = 1 - 8. Is w(r) a multiple of 22?
False
Let a = -5 - -10. Let i(u) = 5*u**2 + 4*u - 1. Let t be i(a). Suppose 52 = 4*l + k - 77, 4*l - 4*k - t = 0. Is 12 a factor of l?
False
Let m(u) = 7*u + 6. Let k be m(6). Let l = -30 + k. Suppose -l = -5*j + 2. Does 2 divide j?
True
Let p(v) = v**3 + 5*v**2 - v - 2. Let x be p(-5). Suppose -i + 3*f + 22 = 0, 0*i = 2*i + x*f - 44. Is 6 a factor of i?
False
Suppose 0 = 5*a + 5*r + 15, 3*r = 5*a - 14 - 11. Let u be (5 - a)/((-6)/4). Let m = u - -4. Is 2 a factor of m?
True
Suppose 0 = -4*y + 134 + 286. Is 12 a factor of 108/(-21)*y/(-10)?
False
Let w(f) = 4 - f**3 - 7 - 7*f**2 - f - 6. Let r be w(-7). Is 13 a factor of ((-62)/3)/(r/3)?
False
Is 22*(-14)/(-8)*4 a multiple of 19?
False
Suppose -5*s + 29 - 124 = 0. Suppose p - 2*p = 29. Let f = s - p. Does 10 divide f?
True
Does 7 divide 2/6*-1*-27?
False
Suppose 2*p - 4*a = 228, 3*p = -3*a + 5*a + 326. Is 22 a factor of p?
False
Suppose 2*n = -7*u + 3*u + 18, 25 = 5*n. Let w(h) = -2*h**2 + 1 + u*h**2 - 3*h**2 - 3*h**3 - h. Does 15 divide w(-2)?
True
Suppose -323 = 4*p + 137. Let w be p/(-15) - 2/3. Suppose -2*g - w = -4*k + 15, g = 3*k - 18. Is k a multiple of 7?
True
Let w(f) = -f**2 + 23*f + 3. Let k be w(19). Let i be 44/8 + 1/(-2). Suppose a + k = 4*t - 22, -a = i. Is t a multiple of 6?
True
Suppose -2*q - 147 = -5*r + 61, 4*q + 122 = 3*r. Does 35 divide r?
False
Let w(f) = 2*f**2 + 3*f + 9. Let v be w(-11). Let a = 323 - v. Suppose -a = -t - 4*t. Does 7 divide t?
True
Does 22 divide -2*(33/11 + (-154)/4)?
False
Let l be (-5)/(2 - (-1 - -2)). Let w(r) = r + 11. Is 3 a factor of w(l)?
True
Let b be 20*(-2)/(-15)*-21. Let w(n) = n**3 - 6*n**2 - 5*n + 7. Let v be w(8). Let p = b + v. Is p a multiple of 12?
False
Let s = 9 + 93. Does 17 divide s?
True
Let t = 187 + 88. Does 17 divide t?
False
Suppose 5*h = 4*v + 46 - 205, 50 = -2*h + 5*v. Let r = -22 - h. Does 13 divide r?
True
Let i = -2 - -2. Let o = 0 + i. Suppose -4*a + 70 = c + 2*c, 4*a - 4*c - 56 = o. Is a a multiple of 7?
False
Suppose 0 = -4*i + 3*j + 96 - 237, 4*j + 137 = -3*i. Let u = i + 75. Does 14 divide u?
False
Let q = -20 + 68. Is 12 a factor of q?
True
Suppose 4*d - 9 = 3*z, d - 1 - 8 = 3*z. Suppose -k + d = -2. Suppose k*t - t = 22. Is 6 a factor of t?
False
Let s(u) = -4*u + 3*u + 1 + 2 + 62*u**2 - 4. Let x be s(-1). Suppose -l + 75 = 4*o - 238, -3*l - x = -o. Does 21 divide o?
False
Let c(n) be the second derivative of n**4/12 - n**3/2 + 5*n**2/2 + 8*n. Is 7 a factor of c(4)?
False
Let r = -2 - -7. Suppose 2 = r*a + 17. Does 12 divide -2 + -2 + 13 - a?
True
Let w(i) = -i**2 + 8*i + 5. Let g = 5 + 3. Let c be w(g). Suppose 3*o = -4*j + 33, c*j + 8 - 23 = 0. Does 5 divide o?
False
Let h be (-1)/(-2) - 42/(-4). Suppose 0 = 3*g + 5*k - 4, 0*k + 5*k = 2*g - h. Suppose 3*w = -g*p + 39, 0 = 3*w - w - 3*p - 1. Does 8 divide w?
True
Suppose -2*a - 1 = 4*z - 3, -5*z = -3*a + 14. Suppose s = -5*t + 50 - a, -t = -4*s + 251. Does 11 divide s?
False
Let p(g) = 5*g + 35. Let m(t) = t**3 - 3*t**2 - 3*t - 3. Let j be m(-2). Let b(q) = 2*q + 12. Let h(n) = j*b(n) + 6*p(n). Is h(-6) a multiple of 19?
False
Let c(y) = -2*y + 4. Let v be c(-6). Is 5 a factor of (-3 + 0)/((-6)/v)?
False
Suppose 8*b = 13*b - 805. Is 7 a factor of b?
True
Suppose 3*l + 235 = 4*i + 2*l, i + 3*l = 75. Does 13 divide i?
False
Let b be 2/6 + 214/6. Suppose f + f = b. Does 9 divide (f/(-10))/(4/(-20))?
True
Suppose 18*n = 22*n - 1088. Is n a multiple of 11?
False
Suppose 4*r + 2*o 