s 26 a factor of w?
False
Let p be (-1 - -5) + -2 + 2. Suppose -3*y + 2*y + p = 0. Suppose i = 5*x - 131, -y*x - 2*i + 76 = -x. Is 13 a factor of x?
True
Let o = -6 - -6. Suppose -5*j + 50 = -o*j. Does 10 divide j?
True
Is ((-4)/6)/(12/(-1188)) a multiple of 11?
True
Suppose 4*h - 8 = 0, -2*h = -4*o + h + 174. Is 15 a factor of o?
True
Let p be (3 + 30/(-8))*48. Let v = -24 - p. Does 9 divide v?
False
Suppose 0 = 2*v + 6, 351 = -6*o + 9*o - 5*v. Is 14 a factor of o?
True
Suppose 0 = 5*h - 72 - 48. Is h a multiple of 8?
True
Suppose 0 = 5*u - 8 - 2. Suppose u*m - 1 - 15 = 0. Does 4 divide m?
True
Let a(c) = 4*c**2 + c. Let d be a(1). Suppose p - 189 = -3*o - 0, -d*o = 3*p - 315. Is 16 a factor of o?
False
Is 7 a factor of 4/6*162/4?
False
Suppose -y = -5*c, 3*y = 5*c + 4 + 6. Suppose 3*k + k + 4*s - 32 = 0, 0 = 2*k + s - 11. Suppose -4*f + q + 32 = 0, -2*f = 4*q - c + k. Does 5 divide f?
False
Suppose -3*b + 10 = 4*h - b, 0 = b - 5. Let z = -17 - -4. Let q = h - z. Does 13 divide q?
True
Let n = 5 - 2. Let b(w) = 2*w**2 + w - 3. Does 6 divide b(n)?
True
Let f = -20 + 28. Does 7 divide f?
False
Suppose 2*w = 6*w - 3*g - 20, -5*g = 20. Suppose 2*p - w + 8 = 0. Let l(k) = -k**2 - 5*k - 4. Is l(p) even?
True
Let m(u) be the first derivative of -1 + 1/4*u**4 + 1/2*u**2 + 19*u + 1/3*u**3. Is m(0) a multiple of 17?
False
Let r be (6/9)/((-2)/(-66)). Suppose 4*l = r + 134. Is 13 a factor of 8/(-2)*l/(-12)?
True
Let v(s) = -14*s - 124. Is 19 a factor of v(-15)?
False
Suppose 2*t = 6*t + 3*g - 24, 3*g - 33 = -5*t. Is t a multiple of 2?
False
Let n = -4 - -9. Suppose -n*v + 2*a + 133 = 0, v + 2*a = 2*v - 33. Is v a multiple of 10?
False
Suppose 0 = p - 7 + 5. Suppose 8 = p*w + 2*w. Suppose -7 = -w*i + 15. Does 6 divide i?
False
Let d be 9*2*2/(-3). Does 13 divide ((-39)/d)/((-1)/(-12))?
True
Let b be 8*(20/(-2))/2. Let z = 10 + -106. Is 16 a factor of (z/(-40))/((-6)/b)?
True
Suppose -4*y - 57 = -y. Let a = 3 - y. Is 11 a factor of a?
True
Suppose -5*y + 11 = -39. Let n(p) = 0 + 4*p - y*p + 3. Does 9 divide n(-3)?
False
Let q be ((-6)/4)/(9/(-1788)). Suppose -2*f + g = -2*g - 117, -5*f + 2*g + q = 0. Is f a multiple of 30?
True
Suppose 0*u + 5*u = 35. Suppose -4*z = 5*w - 110, 3*z + 4*w - 96 = u*w. Let j = z - 17. Is 9 a factor of j?
False
Let q = -104 - -12. Let j = -47 - q. Is 12 a factor of j?
False
Let a = 234 + -162. Suppose 0 = -10*w + 6*w + a. Is 6 a factor of w?
True
Suppose -4*j - 2*y + 8 + 54 = 0, 5*y = -4*j + 59. Suppose 3*c = j + 41. Is c a multiple of 11?
False
Let h(n) be the second derivative of n**4/12 - 2*n**3/3 - 5*n**2/2 - 2*n. Let k be ((-2)/(-5))/((-2)/(-30)). Is h(k) a multiple of 4?
False
Let f be (-11)/((-92)/(-24) + -4). Suppose 4*w - 2*w = f. Does 8 divide w?
False
Let v(h) be the third derivative of h**5/60 + 5*h**4/24 - 3*h**3/2 - 2*h**2. Is v(-7) even?
False
Suppose 6*l - l + 315 = 0. Let c(s) = s**3 - 8*s**2 + 7*s + 2. Let o be c(5). Let a = o - l. Is a a multiple of 9?
False
Let o = 69 + 16. Is o a multiple of 33?
False
Suppose 2*m + 3*m - 155 = 0. Does 11 divide m?
False
Let z(v) = v - 1. Let n be z(4). Suppose 5*o + 0*w - 50 = 5*w, n*w = 4*o - 39. Does 3 divide o?
True
Let y be 2*(1 + 1)*-40. Is -1*y/2 - 2 a multiple of 20?
False
Let q(o) = -o + 33. Let f be q(0). Let s = f + -21. Does 22 divide s/6 + (1 - -19)?
True
Suppose -6*l = -4*l - 84. Is 21 a factor of l?
True
Suppose -4*z - 87 = -3*o, -z - 81 = -4*o + 35. Is 7 a factor of o?
False
Let h be 2/(-4) + 676/8. Suppose r = h + 5. Suppose 7*g - k - r = 2*g, 4*g - 74 = -2*k. Does 9 divide g?
True
Suppose 4*h - 3 = 5. Let z(m) = m**3 - 2*m**2 + 2. Let j be z(h). Suppose j*t - 5 = 5*y + 61, 3*t + 5*y = 99. Is 22 a factor of t?
False
Let t = 9 + -4. Suppose -3*c + 51 = 3*b - 12, b = t. Let q = 23 + c. Does 16 divide q?
False
Let v(d) = d**2 - d + 2. Let s be (-8)/(-6) - (-6)/9. Let r be v(s). Suppose -2*i = -10, -36 - 63 = -r*x - 3*i. Is x a multiple of 10?
False
Let w = 192 + -93. Does 9 divide w?
True
Suppose -98 = -3*l - 0*i + i, -4*i + 16 = 0. Suppose -4*y = 3*w - 49, -y = 5*w + 9 - l. Does 5 divide (5 + y)*(-1)/(-3)?
True
Let n = -12 - 21. Let t = n + 47. Is 4 a factor of t?
False
Suppose 0*z = 4*z - 128. Suppose 0*f - 4*f + z = 0. Does 17 divide (23/(-2))/((-2)/f)?
False
Suppose 2*l + 0*a + 6 = 2*a, -2*a = -5*l - 12. Let t(v) = -28*v - 3. Is 16 a factor of t(l)?
False
Suppose 0 = 3*a - a + 6. Let h = a + 0. Is (-16)/h - 2/6 a multiple of 3?
False
Let t(z) = 3*z. Let j be t(2). Let y be 2/j - 714/(-18). Suppose 4*i + 13 = q, y = 4*q - 5*i - 34. Is q a multiple of 14?
False
Let u(a) = -a**2 + a - 1. Let p(v) = -3*v**2 + 10*v + 2. Let s(o) = -p(o) + 4*u(o). Let t be s(-4). Suppose -w - t*r + 0 = -5, 12 = w - 5*r. Does 3 divide w?
False
Suppose 6*c = c + 2*x + 205, 2*c = 4*x + 66. Is 8 a factor of c?
False
Let q(g) = g**2 + g + 5. Does 8 divide q(-3)?
False
Let w(i) = i - 14. Let r be w(0). Let b be 19/3 - r/21. Suppose -4*j + 69 = -b. Does 19 divide j?
True
Let p(t) = 4*t**2 - t. Let v be (-30)/3*(-8)/(-10). Let h be (-11 - -7)*2/v. Is p(h) a multiple of 2?
False
Let u = -4 - -4. Suppose 0*v + 2*v - 18 = u. Let k = v + 2. Is k a multiple of 6?
False
Let u = -2 + 2. Suppose u = -4*l - l. Is 9 a factor of l + 21 + (0 - 2)?
False
Let d = 41 + -10. Is d a multiple of 20?
False
Suppose 5*o + 42 = 12. Does 4 divide (-20)/o*126/35?
True
Let h(s) = 29*s - 1. Let o be h(1). Suppose -j = -4*z - 20, 2*j = 2*z - 0*z + o. Is 6 a factor of j?
True
Suppose -10*q + 8*q = -108. Is q a multiple of 27?
True
Let a = 118 + -34. Is a a multiple of 28?
True
Suppose 1 = -5*v - 2*x - 4, -3*v + 3*x = 24. Does 7 divide 3*((-2)/6 - v)?
False
Let m = -4 + 6. Is 42 + 2 + m + 0 a multiple of 14?
False
Suppose 4*p + 22 = 6*p. Does 9 divide p?
False
Let n = 26 - 22. Suppose 7 = -n*t + 67. Does 8 divide t?
False
Suppose 5*o + 4*a = 18, a - 10 = -o - 3*o. Suppose 8 = -o*d + 52. Is d a multiple of 11?
True
Let p(z) = z**2 - z + 3. Let y be p(0). Suppose -5*i + 192 = -y*h, 0 = -2*i - 3*h + 2*h + 68. Is i a multiple of 12?
True
Suppose -3*p - 3*l = -162, l + 56 + 37 = 2*p. Is 13 a factor of p?
False
Let g(x) = -2*x + 14. Let n(s) = 1. Let c(w) = g(w) - 3*n(w). Let o be c(12). Let v = 2 - o. Is v a multiple of 11?
False
Suppose 4*h + 144 = 388. Does 21 divide h?
False
Let c = -10 - -12. Suppose 5*n - 12 = c*n. Suppose -4*t - 3*q = -102, n*t - 26 - 68 = q. Is t a multiple of 12?
True
Let q(l) = -5*l - 4. Let z be q(5). Let m = 52 + z. Is m a multiple of 15?
False
Suppose -9*d - 10 = -14*d. Is 2 a factor of d?
True
Let b(w) = -w**3 - w + 130. Let z be b(0). Suppose -3*m + 8*m = z. Is 8 a factor of m?
False
Does 14 divide (-4)/((-120)/539 - (-6)/33)?
True
Suppose -q + 61 = 5. Is q a multiple of 17?
False
Suppose 2*f = -0*f + 5*s + 55, -s = 1. Is f a multiple of 7?
False
Suppose 0 = n - 5 + 1. Does 15 divide n*(-2 - (-27)/2)?
False
Suppose 3*t = -t - 64. Let d = -11 - t. Is d a multiple of 2?
False
Let t = -3 + 2. Let g = 6 + t. Suppose -g*s = d - s - 17, -5*d - 5*s + 40 = 0. Is d a multiple of 2?
False
Let l be (-1 + 0)*(-3 + 4). Let f be l*(-2)/(-1) - -2. Suppose y + y - 38 = f. Is 9 a factor of y?
False
Let v = -206 + 140. Let s = 96 + v. Is s a multiple of 13?
False
Let n(v) = v**2 - 3*v - 3. Let l be n(-2). Suppose 3*d + l = 1. Is (3/d)/(1/(-12)) a multiple of 17?
False
Let p(s) be the third derivative of 5*s**4/24 + s**3/2 - 5*s**2. Is p(6) a multiple of 33?
True
Suppose -270 = -5*v + 75. Is v a multiple of 25?
False
Let g(b) = -8*b. Suppose -v = -3*o - 9, -3*o = v + 2*o + 7. Suppose -v*m - 6 = -0. Is 8 a factor of g(m)?
True
Suppose -2*a = 2*t + 8, 4*a - a = -2*t - 11. Let j = 0 + t. Let l(d) = 12*d**2 + d. Does 4 divide l(j)?
False
Suppose -3*n = -4*n + 2. Suppose -14 = -3*l + 3*i + 16, 0 = n*l - i - 18. Is 8 a factor of l*(0 - 3/(-3))?
True
Let h = 1 - 0. Let k be h/(6/(-4) + 2). Let f(w) = 3*w - 1. Is 5 a factor of f(k)?
True
Suppose -n - 1 = -32. Suppose 4*x = n + 25. Is 4 a factor of x?
False
Let w(z) = z**3 + 19*z**2 + 14*z - 30. Is 14 a factor of w(-18)?
True
Suppose -3*h + 4*c = -912, 5*h - 1216 = h - 5*c. Is h a multiple of 15?
False
Suppose -225 = -8*f + 5*f. Suppose -3*h = -2*n + 2*h + f, 81 = 3*n + 3*h. Is 15 a factor of n?
True
Suppose -b + 3*h + 2 = 0, -1 = -2*h + 3. Let x(v) = -v**2 + 5*