1)/5 + (-208)/(-40). Suppose 8*q + 105 = p*o + 3*q, -4*q - 101 = -5*o. Does 6 divide o?
False
Let h be (-1628)/36 - (-2)/9. Let g = -23 - h. Is 11 a factor of g?
True
Let o(s) = -s**3 - 16*s**2 - 19*s - 33. Does 8 divide o(-15)?
False
Suppose 3*a - 1 = -7. Is 13 a factor of 49 + 2*a/4?
False
Suppose 5*m - 138 = -4*f, -2*f = m - 10 - 20. Does 13 divide m?
True
Let n be (-1130)/(-35) - (-4)/(-14). Let q = n + -23. Let w = 16 - q. Is w a multiple of 5?
False
Let a(f) = f**3 - 11*f**2 - 10*f + 23. Is 3 a factor of a(12)?
False
Suppose 0 = -5*l - 3*f + 128, 0 = 5*l - l - 2*f - 98. Let o = l - 16. Suppose -3*c + o = 0, 2*d + 3*d + 4*c = 172. Does 15 divide d?
False
Suppose 0 = -5*d + 2*g + 15, d + 5*g = -d + 6. Let x be d/((-6)/8) + 1. Does 11 divide 22/x*(2 + -5)?
True
Let j(d) = d**3 + d**2 + d - 6. Let k be j(0). Let b(o) = -2*o - 8. Let c be b(k). Suppose -f = -12 + c. Is f a multiple of 4?
True
Let l(x) = x - 4. Let h be l(5). Suppose 2*v + 5*f = -4, 3*v + h = -5*f - 0*f. Suppose -v*w = w - 224. Is 16 a factor of w?
False
Suppose 0 = 8*o - 72 + 8. Is 4 a factor of o?
True
Suppose 2*g - 182 = -4*j, 3*j = -4*g + j + 334. Is g a multiple of 25?
False
Let k = -6 - -20. Let s = k - 10. Is s a multiple of 2?
True
Suppose 2*m + g = 4 - 19, -10 = 2*m - 4*g. Let f = 11 - m. Does 2 divide f/12*8/6?
True
Let j(b) = 3*b**2 + 2*b - 1. Let g be j(1). Suppose 0 = 3*d - c - 36, -3*d - g*c = -4*d + 1. Is d a multiple of 10?
False
Let u be 0 + 0 - (-8 - -5). Suppose 13 + u = 4*a. Suppose 2*h - 71 = -5*f - h, a*f + 3*h = 58. Is 13 a factor of f?
True
Suppose -5*b + 10 = -15. Suppose 54 = 4*a - p, 4*a - b*p - 62 = -0*p. Is 11 a factor of a?
False
Let k(s) = s - 6. Let o be k(6). Suppose -3*y + o*y = 30. Let j = 19 + y. Does 9 divide j?
True
Let b be 2/6 - (-56)/12. Let k = b + -5. Suppose 2*y - 34 = 3*a, k = y + 2*y - 2*a - 56. Is y a multiple of 9?
False
Suppose 90 = -4*g - 0*w - w, -5*g - 109 = 3*w. Let p = g - -32. Is 9 a factor of p?
True
Is 6 a factor of (6/9)/((-2)/(-81))?
False
Let a = -55 - -81. Is a even?
True
Let l(o) = 2*o**2 + o - 1. Let i be l(1). Suppose -s + 3 = -i. Suppose 5*h - 42 - 13 = s*b, -b = 4*h - 44. Does 7 divide h?
False
Let v = 139 + -54. Is v a multiple of 20?
False
Let u = 20 + 10. Is 14 a factor of u?
False
Let a(h) = h**3 + 5*h**2 + 4*h - 2. Let v be a(-4). Is (-192)/(-30)*(3 - v) a multiple of 11?
False
Let b = 7 - 1. Let h be (-3)/b + 10/4. Suppose 5*d - 96 = h*d. Is 16 a factor of d?
True
Let t = 2 - -85. Does 9 divide t?
False
Let r = 787 - 369. Is 19 a factor of r?
True
Let m = 57 + -40. Is 17 a factor of m?
True
Let v = -20 + 82. Is 18 a factor of (v/4)/(2/8)?
False
Let w(h) = 3*h - 2. Is w(12) a multiple of 7?
False
Suppose 4*t + 3*j - 150 = t, -j + 142 = 3*t. Does 5 divide t?
False
Let y be (18/15)/(3/15). Suppose 0 = -2*d + 6, -y*g + 2*g + 54 = -2*d. Is g a multiple of 5?
True
Let b(a) = -a**2 + 17. Let k be 0/(-1*(0 - -2)). Let q be b(k). Let y = 5 + q. Is 8 a factor of y?
False
Let g(n) = 12*n. Is 16 a factor of g(4)?
True
Let l = -8 - -5. Let v = -7 - l. Let r(f) = 2*f**2 - f. Does 13 divide r(v)?
False
Suppose 43 - 135 = -i. Is i a multiple of 23?
True
Let l(t) = -2*t + 4*t - 2 + 0*t. Let b be l(-3). Let o = b + 11. Is o a multiple of 3?
True
Let w = 13 - 9. Is w a multiple of 4?
True
Suppose 0 = -3*d + h - 80, -h + 38 = -d + 8. Let n = d + 47. Is 5 a factor of n?
False
Let s(k) be the second derivative of -k**7/840 - k**6/180 - k**5/40 + k**3/6 + 3*k. Let p(a) be the second derivative of s(a). Does 18 divide p(-3)?
True
Suppose 2*f + 0*f - 78 = 0. Let o(i) = i**2 - 3*i + 2. Let z be o(2). Suppose 4*w - 2*y - 66 = z, -5*y = 3*w - 3*y - f. Does 7 divide w?
False
Suppose -8*i = -7*i - 3*g - 66, 4*g = 2*i - 132. Does 9 divide i?
False
Suppose 0 = -0*v + 4*v - 140. Does 7 divide v?
True
Let k = -5 - -7. Is 20 a factor of k/(-6) - (-380)/15?
False
Let b(r) = -r**2 + 21*r - 12. Does 21 divide b(10)?
False
Let p = 49 - -173. Is p a multiple of 25?
False
Let t(z) be the second derivative of -z**4/12 + 7*z**3/6 + 3*z**2/2 - 2*z. Let s be t(7). Suppose s - 59 = -4*q. Is q a multiple of 5?
False
Is 2/(-5) + 831/15 a multiple of 11?
True
Suppose -n = 23 - 67. Is 16 a factor of n?
False
Let s(c) = 4*c**2 - 7*c. Let z(y) = 13*y**2 - 21*y. Let l(u) = 7*s(u) - 2*z(u). Suppose 6 = 2*b - b. Is 15 a factor of l(b)?
True
Is 12 a factor of (4/8)/(4/1296)?
False
Let w(f) = 10*f - 2 + 2 + 2*f**2 - 4. Let t = 10 - 18. Is w(t) a multiple of 12?
False
Suppose -j = -0*j. Let d = 2 + j. Is d a multiple of 2?
True
Is 6 a factor of -39*(30/9 - 4)?
False
Let o be (-1 - -2)/(1/(-14)). Let i = o + 8. Let a(y) = -y - 2. Is 2 a factor of a(i)?
True
Suppose 4*p + 2*q + 24 = 0, -4*q - 10 = 4*p + 14. Does 3 divide (-1)/((2/1)/p)?
True
Suppose -2*x = -73 + 25. Is 12 a factor of x?
True
Suppose -5*p = -5*t + 265, 3*t - 3*p - 209 = -t. Let m = t - 27. Is 17 a factor of m?
False
Let v = 32 + -29. Let s(p) = -15*p**3 - 3*p**2 - 9*p + 19. Let f(i) = 7*i**3 + i**2 + 4*i - 9. Let q(d) = -13*f(d) - 6*s(d). Is q(v) a multiple of 7?
False
Let n = 8 + -6. Suppose 0 = -3*o - n*o + 20. Does 3 divide 2/o*(0 + 10)?
False
Let o = -16 - -49. Is o a multiple of 11?
True
Suppose -30 = -3*p - 3*q, 4*q + 11 = -9. Let y be (12/10)/((-3)/p). Does 23 divide ((-138)/(-18))/((-1)/y)?
True
Let h(g) = -2*g - 10. Let o be h(-7). Suppose -5*b - o = -94. Is 9 a factor of b?
True
Let q(m) = 2*m**3 - m**2 - 2. Let f be q(2). Let a(l) = 3*l - 13. Does 14 divide a(f)?
False
Let j = -15 - -4. Let w = -8 - j. Suppose 0 = w*q - 5*o - 33, 5*o = 2*q - 5*q + 63. Does 16 divide q?
True
Suppose 4*o + 10 - 2 = 0. Let d(k) = 16*k**2 + k - 2. Is 30 a factor of d(o)?
True
Let q(z) = -z + 15. Does 5 divide q(-9)?
False
Let c(l) = 2*l**2 - 4*l - 1. Let x be c(4). Suppose -x*g + 44 = -11*g. Is 6 a factor of g?
False
Let v = 0 + 3. Suppose -v*c = 5*k - 28, 4*k + k - 16 = -c. Is c a multiple of 3?
True
Let q(u) = -3*u + 3 + 2*u - u. Let s(l) = 2*l + 1. Let y be s(-3). Does 13 divide q(y)?
True
Let x = 287 + -200. Is 13 a factor of x?
False
Let r(v) be the first derivative of v**3/3 + 4*v**2 - 5*v + 8. Is 5 a factor of r(-10)?
True
Suppose 2*m - u - 46 = u, -10 = -2*u. Is 12 a factor of m?
False
Let s(f) = f + 4. Let t be s(-6). Is 21 a factor of (9/(-12))/(t/56)?
True
Is 10 a factor of 7 + -2 + 3 + 3?
False
Let y(a) be the first derivative of a**4/4 - 5*a**3/3 + a**2 + 2*a - 4. Let k = 2 + 4. Is 25 a factor of y(k)?
True
Let f(m) = -3*m**2 + 2. Let u be f(-6). Let p = 9 - u. Let n = p + -64. Does 17 divide n?
True
Let g = -2 - -3. Let o(d) = d. Let t(m) = 2*m - 4. Let q(p) = g*t(p) + 3*o(p). Does 15 divide q(4)?
False
Is -5*26*(-8)/10 a multiple of 15?
False
Let x(q) = 2*q**2 - 2*q + 30. Does 18 divide x(-8)?
False
Suppose -o + 16 = o - 4*i, -4*i - 16 = -o. Suppose -5*b - q = -0*q - 181, o = -5*b + 4*q + 176. Does 12 divide b?
True
Let m = 12 + -7. Let g(w) = w**3 + w**2 + w - 1. Let h be g(1). Suppose -l + m*j + 4 = -13, 5*l + h*j = 31. Does 7 divide l?
True
Let i(o) = 10*o. Let p(s) = -s**2 - 6*s - 6. Let x be p(-4). Is 5 a factor of i(x)?
True
Suppose -5*g + 0*g = 0. Let d(l) = l**3 - l**2 + l + 14. Is 7 a factor of d(g)?
True
Suppose 0 = 4*z - 2*j - 88, -48 = -5*z + 5*j + 67. Does 21 divide z?
True
Suppose -5*d - 13 - 2 = 0. Is ((-45)/d)/((-3)/(-4)) a multiple of 4?
True
Let w(z) = -z**2 + z**2 - 4*z**2 + 2 + 4*z + 2*z**3. Let c be w(4). Let y = c - 58. Is y a multiple of 15?
False
Let x = 141 + -76. Suppose -5*o - 15 = -x. Let f = o + -5. Is 2 a factor of f?
False
Suppose 0 = 5*k - 3*x - 12 - 30, 5*k - x - 34 = 0. Is k a multiple of 6?
True
Let u(t) = 3*t - 9. Let v be u(10). Does 7 divide ((-4)/(-3))/(2/v)?
True
Suppose 3*s + 8 = s. Let u be 1 - 2/(-4)*s. Is u/((-2)/22) - -3 a multiple of 7?
True
Suppose -788 = 5*g - 2*x, 4*x = -g - 0*x - 162. Is (-3)/(-6) + g/(-4) a multiple of 15?
False
Suppose -90*b + 660 = -85*b. Is 22 a factor of b?
True
Let u(k) = -k - 8*k**3 + 4*k**3 + 9*k**2 - 10*k**2. Is 4 a factor of u(-1)?
True
Suppose -4*u - g + 45 = -15, -4*g + 44 = 2*u. Is 10 a factor of u?
False
Suppose 4*r - 2*r = -46. Let y = r - -44. Is 11 a factor of y?
False
Suppose -m - 3*m = -5*a - 562, m - 4*a - 146 = 0. Suppose z - 37 = 5*h - m, 2*h - 35 = -5*z. Is 10 a factor of h?
True
Let m be (-8)/6*33/(-