be 11*(-5 - n)/(-1). Is o*((-4)/(-3))/2 a multiple of 11?
True
Suppose q - 115 = -4*q. Let y = q + -5. Is y a multiple of 8?
False
Suppose 0*o - 3*o + 24 = 0. Is o a multiple of 5?
False
Suppose 4*b + d - 3*d - 74 = 0, -2 = 2*d. Let t = b - 34. Let l = t + 31. Is 12 a factor of l?
False
Let b = -40 + 84. Suppose 3*u + 4*w + 3 + 3 = 0, 0 = -u - w - 1. Suppose -5*f - 2*t + 110 = -0*t, -u*f - 4*t + b = 0. Does 11 divide f?
True
Let n = 8 - 6. Let t(z) = 4 + z**3 - 2*z**2 - n + 2*z + z**2 - 4*z. Does 4 divide t(3)?
False
Suppose 182 = 4*w - 302. Suppose 5*c - 3*t + 18 - w = 0, 0 = -c - 2*t + 18. Is 4 a factor of c?
True
Let j be -1 + 2*(0 - -3). Suppose -6*m + 52 = -2*m - j*y, 4*y = -16. Is 5 a factor of m?
False
Suppose 0*d - 98 = -d - 4*a, 0 = -2*d + 3*a + 174. Suppose d = 2*m + m + 3*t, 72 = 2*m - 2*t. Is m a multiple of 11?
True
Suppose -4*z = 4*v - 28, -35 = -2*v + 4*z + z. Suppose -v - 20 = -n. Is n a multiple of 15?
True
Let p = 289 + -193. Is p a multiple of 13?
False
Suppose 3 + 9 = 3*o. Let p(c) = -c**2 + 2 + 9 - 10 + 5*c. Is 4 a factor of p(o)?
False
Let u(h) be the first derivative of 1/3*h**3 + 5/2*h**2 + 2*h - 3. Does 8 divide u(-6)?
True
Suppose 0 = -7*z + 11 + 171. Let j = -3 - -2. Is z + 2 + (j - -1) a multiple of 17?
False
Let t(g) = -25*g + 37. Is t(-6) a multiple of 17?
True
Let n be (-1)/(-2)*(-12)/6. Is 5 a factor of n/(((-8)/(-26))/(-4))?
False
Let j be (-2)/(-2) - 2/2. Suppose 35 = -5*g - b - 147, j = 4*g - 2*b + 140. Let o = -11 - g. Is 10 a factor of o?
False
Let v(i) = i**2. Let c be v(-3). Suppose 0 = 5*y - 71 - c. Is y a multiple of 8?
True
Let s be 65/(-9) + 20/90. Is 4 a factor of (7/s)/(2/(-8))?
True
Is 4 a factor of (-7)/4*(-10 + 6)?
False
Suppose 21 = -h - 5*j, 4*h - 5*j - 41 = -0*h. Let m(l) = 2*l**2 - 3*l + 6. Let c(d) = 3*d**2 - 4*d + 7. Let w(o) = h*c(o) - 5*m(o). Does 13 divide w(4)?
True
Let l = -4 + 3. Let z = 1 + l. Suppose -38 = -2*s - 4*w, z = -2*s + 4*w - 2*w + 20. Does 7 divide s?
False
Let b be 1/(3 + (-15)/6). Suppose 4*i + 4 = -g, -3*g - 2*i + b = 3*i. Suppose 0 = g*j - 167 + 11. Is 13 a factor of j?
True
Suppose 0 = 2*a + 2 - 4. Does 15 divide (-46)/(-3) - a/3?
True
Let a(k) = k**3 - 16*k**2 - 15*k + 2. Let j(o) = 4*o - 15. Let h be j(8). Is 18 a factor of a(h)?
True
Let m(x) = -2*x - 6. Let q be m(-4). Suppose q*l + 0*l = -b + 12, 0 = -5*l. Does 12 divide b?
True
Let s = -224 - -366. Is 28 a factor of s?
False
Let b(y) be the first derivative of 3*y**2 - 6*y - 1. Is 9 a factor of b(4)?
True
Suppose 0 = -2*k + 3*s + 50, -k - 2*s + 40 = k. Is k a multiple of 5?
False
Let f(m) = -m**3 - m. Let k(a) = a**2 + 5*a. Let j(z) = 6*f(z) + k(z). Let t be j(-2). Does 18 divide t/(-15)*1*-5?
True
Suppose -2*m + 5*t + 111 = 0, 3*t + 144 + 105 = 5*m. Is 12 a factor of m?
True
Let l(v) = 25*v + 20. Is 22 a factor of l(8)?
True
Let k = 5 + -5. Suppose k*x = -x + 44. Suppose 4*v = 4*w - 92, 3*w - v - x = 19. Is 10 a factor of w?
True
Let t(s) = -s**2 - 8*s - 2. Let r = 5 + -11. Let v be t(r). Let p = v + 5. Is 12 a factor of p?
False
Suppose -3*l - 3*v + 340 = 2*v, -3*v + 468 = 4*l. Does 10 divide l?
True
Let f(x) = 7*x + 7. Let r(l) = 1. Let w(c) = -f(c) + 6*r(c). Let d be w(-1). Suppose -3*a - a + 26 = 3*g, 4*a - d = -g. Does 4 divide g?
False
Let r(d) = d**2 - 5*d + 6. Let p be r(5). Suppose -5*y - 5 = -p*y. Suppose -4*c = 5*m - 29, 0 = 3*c + y*m - 11 - 12. Is c a multiple of 4?
False
Let s(a) = a + 8. Is 4 a factor of s(-4)?
True
Suppose -s + 2*o = -3*s + 116, -197 = -4*s + 3*o. Does 14 divide s?
False
Let o be 5 - (-1)/(0 + -1). Let i(l) = l + 10. Let n be i(-5). Suppose 2*f - 78 = -n*a, 0 = -a + o*a - 5*f - 22. Does 14 divide a?
True
Suppose 2*b - 18 = -0*b - 4*o, b - 4*o = -9. Is (b/9)/(1/78) a multiple of 13?
True
Let r(q) = 2*q**2 + 4*q + 2. Let h be r(-2). Let t(p) = 16*p - 2. Let z be t(h). Suppose z = 3*u - 6. Does 5 divide u?
False
Suppose 3*z = 3*g + 6, 10 = 4*z - g - 2*g. Is z/(-6)*54/(-4) a multiple of 2?
False
Is 2 a factor of (-3)/(((-28)/(-12))/(-7))?
False
Suppose -5*r - 3*v + 85 = 0, -19 = -5*r - 2*v + 66. Suppose -20*p + 45 = -r*p. Does 15 divide p?
True
Suppose 14 - 114 = -5*w. Does 5 divide w?
True
Let l = -17 + -41. Let t = -39 - l. Is t a multiple of 19?
True
Let i be 8/(-20) + (-22)/(-5). Suppose i*o = 12 - 0. Does 2 divide o?
False
Is 9 a factor of (8/16)/((-2)/(-180))?
True
Let c(k) = -k - 7. Let f be c(-7). Let o(x) = -3*x + f + 5*x + 4. Is 14 a factor of o(5)?
True
Let d(f) = f + 61. Is d(-11) a multiple of 25?
True
Suppose -b = -6*b + 30. Let n(g) = 5*g - 5. Does 12 divide n(b)?
False
Let r(w) = w**3 - 7*w**2 - 6*w + 11. Let y be (-270)/(-35) - 2/(-7). Is 9 a factor of r(y)?
True
Let n = 9 + 3. Let k = 36 + n. Is k a multiple of 12?
True
Let j be (6 - 2) + (-3)/(-3). Suppose j*d - 3*d - 4 = 0. Does 12 divide (4/d)/((-8)/(-124))?
False
Suppose 0 = 3*n - 4*i - 474, -5*n + i = -3*i - 798. Suppose -48 = 5*p + n. Let l = 63 + p. Is l a multiple of 12?
False
Let g be (6/18)/((-1)/(-9)). Is 4 a factor of 1 + 1 + g + -1?
True
Suppose 2*h + 17 = 4*h - 3*s, h + 2*s = 12. Let d = 24 - h. Is 2 a factor of (-2)/6 - d/(-6)?
True
Suppose n - 5 + 0 = 0, 0 = -5*m - 3*n. Let i = m + 4. Is i/((-2)/(-10)) + -2 a multiple of 2?
False
Let v = 8 - 4. Let t be v/3 - 2/(-3). Suppose 3*d - 2*w - t*w = 119, 3*d - 5*w - 124 = 0. Is d a multiple of 16?
False
Suppose 6*h - h + j = 139, 2*h - 34 = 5*j. Does 9 divide h?
True
Let x be 30/(-8)*(-40)/3. Suppose 3*s = -2*s + x. Is 3 a factor of s?
False
Let o = 92 + -2. Let z = o - 64. Is z a multiple of 13?
True
Suppose 6 + 14 = 2*w. Does 10 divide w?
True
Let o(d) = -d + 1. Let l be o(6). Is 2/l + (-82)/(-5) a multiple of 7?
False
Let p(z) = -5*z - 4. Let w = 5 + -1. Suppose -w*d = -2*d + 8. Does 6 divide p(d)?
False
Suppose 0 = 5*j + 10, -4*j - 30 = -3*b + 188. Is b a multiple of 14?
True
Suppose -5*s + 19 = -16. Suppose 2*x + 1 = -3. Does 9 divide (s + -1)/(x/(-9))?
True
Let v be (-10 - 0/1)/(-2). Let s(q) = v*q + 4*q - 2 + 1. Is s(2) a multiple of 17?
True
Suppose -52 = -2*c - 4*t + 80, -4*c + 276 = -4*t. Is c a multiple of 34?
True
Let x be 238/6 + 6/18. Suppose -5*i + 64 + 231 = 0. Let a = i - x. Does 8 divide a?
False
Suppose -f = -0*f. Let q be -1 - (1 - 61)/2. Suppose f = -v - 0*v + q. Is 17 a factor of v?
False
Let b be (3/(-6))/((-3)/6). Suppose 5*j - j - 22 = -2*r, -4*j - 3*r + 21 = 0. Is -2*(-21)/j*b a multiple of 7?
True
Let g(o) = o - 9. Let r be g(14). Suppose -5*a + 117 = r*t - t, -5*t - 2*a + 159 = 0. Is 7 a factor of t?
False
Suppose 274 = -16*g + 914. Does 8 divide g?
True
Let n = 11 - 2. Is 3 a factor of n?
True
Let f(k) = 6*k**3 - 9*k**2 + 19*k + 20. Let o(a) = -a**3 + 2*a**2 - 4*a - 4. Let s(n) = -2*f(n) - 11*o(n). Let z be s(-5). Is (16 - z - 0) + 0 a multiple of 10?
False
Let v(s) = s**2 - 10*s + 8. Let x be v(9). Let f = 22 + x. Is f a multiple of 21?
True
Does 12 divide (-241)/(-4) - (-10)/(-40)?
True
Let j(q) = q**2 + 31*q + 5. Let f be j(-14). Let u = -140 - f. Is 23 a factor of u?
False
Suppose -4 = a - 2*s - 16, 3*s + 15 = 0. Suppose -4*b = a*c - 11 - 9, 0 = -3*c + 2*b + 46. Is 14 a factor of c?
True
Let z be 5 + (-2)/4*4. Suppose 0 = -z*w + 7*w - 20. Is w a multiple of 2?
False
Let h = -28 + 46. Does 18 divide h?
True
Does 26 divide 320/15*(-3)/(-2)?
False
Let j(t) = -29*t - 10. Is 7 a factor of j(-3)?
True
Let x = 88 - -17. Is x a multiple of 59?
False
Let m(f) = -f + 6. Let d be m(7). Is 9 a factor of d/(8/9 - 1)?
True
Let s = -2 - -20. Suppose -5*k + 132 = -s. Is 9 a factor of k?
False
Let g be (10/(-4))/(1/(-2)). Suppose -3*d = -v + 3*v - 15, 12 = -v + g*d. Suppose -3*r + 42 = w, 2*w + v*w + r = 210. Does 14 divide w?
True
Suppose -4*o + 8 = -0*o. Is 58*((-5)/o + 3) a multiple of 10?
False
Let f = -22 - -32. Suppose -k + 2*g = -31, 90 = k + 2*k - 3*g. Let w = k - f. Is 6 a factor of w?
False
Suppose -5*n = 24 - 149. Does 14 divide n?
False
Let x(q) be the second derivative of 5*q**4/4 - q**3/6 - q**2/2 - 3*q. Suppose 4 = -u, -l + 11 = -0*l - 3*u. Does 15 divide x(l)?
True
Let g(r) be the third derivative of r**6/120 + r**4/6 - r**3/2 - 2*r**2. Is g(2) a multiple of 4?
False
Suppose -4 + 19 = 5*k. Let w be (k - 2)*(-1 + -2). Let j(r) = 4*r**2 + 2. Is j(w) a multiple of 18?
False
Let c = 4 - 3. Suppose 5*j = 3*p - 8 + 21, -j + p 