e
Let m = 1 + 3. Let q = m - 3. Does 11 divide q + 1 - (-9 - 0)?
True
Does 13 divide (-24)/(-40) + (-424)/(-10)?
False
Let o be -3 - -2*(-3)/(-6). Let x = 5 + o. Is 15 a factor of -2 - 0/x - -32?
True
Let k(g) be the second derivative of -g**4/12 + 3*g**2 + 3*g. Is 2 a factor of k(0)?
True
Let g(m) = -2*m + 5. Let c be g(3). Does 3 divide c - (-3)/3 - -10?
False
Suppose 7 = -4*l + 3*l + 4*q, 0 = -3*l + 2*q - 1. Let g(i) = 15*i**3 + i**2 - 2*i + 1. Does 15 divide g(l)?
True
Is -4 + (-155)/(-9) + 4/(-18) a multiple of 13?
True
Let j(h) = 2*h + 2. Let w be j(-2). Let z(t) = -3*t**3 - 2*t**2 - 2*t - 3. Does 8 divide z(w)?
False
Let r be (-3)/6*4*-2. Suppose 3*v + 2*o = 54, r*v = -0*v + 5*o + 95. Is 8 a factor of v?
False
Let d be 16/6*15/4. Let k be (8/5)/(4/d). Suppose 3*r - 62 = -k*p, 0*r + r - 6 = -5*p. Is 13 a factor of r?
True
Suppose -r - 4*r - 125 = 0. Let y = r - -38. Let i = 28 - y. Is i a multiple of 6?
False
Let w = -30 + 14. Let p(s) = s**3 + 15*s**2 - 20*s - 8. Is 21 a factor of p(w)?
False
Suppose -3*m + 12 = -2*z, 20 = -5*z + m + 4*m. Let q(r) = 3*r**2 + z - 2*r**2 + 3 - r - r**3. Is 21 a factor of q(-3)?
True
Let k(m) = -m**2 - 6*m + 12. Is 3 a factor of k(-6)?
True
Is (-83)/(-2) + (-6)/(-12) a multiple of 24?
False
Suppose 0 = -p + 4, 5*k - 25 - 22 = -3*p. Is 2 a factor of k?
False
Suppose -2*o = 5*z - 324, 3*o - 2*z + 6*z - 472 = 0. Suppose -5*k + 3*k + o = 0. Does 20 divide k?
False
Suppose 2*d = 2*i + 3*i - 4, 10 = 5*i. Let k = d - 8. Let z(n) = -n**3 - 4*n**2 + n - 7. Is 7 a factor of z(k)?
False
Let o(p) = -2*p**2 + 5*p - 2. Let g be o(3). Let z = g + 11. Suppose -80 = -z*c + c. Is c a multiple of 9?
False
Let w(u) = u**3 + 5*u**2 - 7*u - 2. Let v be w(-6). Let p = 50 - 46. Suppose 3*z - 33 = 2*d + 39, p*d + 92 = v*z. Is z a multiple of 13?
True
Let g be 4/(-6)*(0 - -3). Let n = 30 + g. Does 14 divide n?
True
Let p = -27 - -39. Let o(n) = -n**3 + 9*n**2 - 9*n + 6. Let q be o(8). Is p + (q - -1)*1 a multiple of 6?
False
Suppose -12 = g - 4*g, 5*g = -5*c - 10. Let o(l) = -l**3 - 4*l**2 + 0*l**3 + 0*l**3 + 10*l + 7. Does 8 divide o(c)?
False
Suppose 2*d - 3*d + 20 = 0. Suppose -4*t + 9 = v + 29, 2*v = 4*t + d. Let f(c) = c**2 + 2*c. Does 15 divide f(t)?
True
Suppose -25 + 10 = -3*u. Suppose 5*q - 10 = 0, 3*b - u*b = -5*q + 64. Let s = -19 - b. Is s a multiple of 8?
True
Let j be ((-5)/15)/(1/(-9)). Suppose 11 = -j*a + 32. Let c(n) = -n**3 + 8*n**2 - 2*n - 9. Is 8 a factor of c(a)?
False
Let t(z) = 4*z**2 + 12*z - 1. Let q(l) = -l**2 - 1. Let v(h) = -3*q(h) - t(h). Let b be v(-10). Suppose 4*w = -2*c + 6, 4*w - 3*c = -w + b. Is 3 a factor of w?
True
Let n(s) = s**3 - s**2 + s - 1. Let i(u) = 2*u**3 + 6*u**2 - 16. Let o(a) = -i(a) + 3*n(a). Is o(9) a multiple of 15?
False
Suppose 5 + 7 = 4*v. Suppose -v*q = -q - 82. Is q/4 - (-1)/(-4) a multiple of 10?
True
Does 18 divide (-228)/(-10)*45/18?
False
Suppose c = 5*c + 12. Does 30 divide -25*(54/(-10) - c)?
True
Let g be -3 + ((-4)/(-2) - -118). Suppose 2*n + n = g. Does 13 divide n?
True
Suppose 0 = 4*x - 5*p - 110, -p = 4*x - 27 - 95. Suppose 0 = -0*n - 5*n + x. Is ((-33)/n)/((-2)/4) a multiple of 3?
False
Let t = 122 - 117. Does 5 divide t?
True
Suppose 1 = y - 2*t, -y - y - 6 = -2*t. Let f be (0 - 1)/((-1)/y). Let c(o) = -2*o - 6. Is c(f) a multiple of 6?
False
Suppose 0*b - 2*b = -12. Let h(q) = -q**3 + 6*q**2 + 8*q - 2. Let k be h(b). Suppose -z - k = -2*z. Is z a multiple of 23?
True
Let a = 0 + 4. Let h(r) = r**2 - 7*r - 5. Let m be h(a). Let x = m - -25. Does 7 divide x?
False
Let d = -20 - 6. Let v = 63 + d. Is 8 a factor of v?
False
Suppose -132 = -3*i - 5*h, 6*i - h - 114 = 3*i. Is 13 a factor of i?
True
Let d be (-9)/(-4) + 2/(-8). Suppose 3*f = -d*f + 130. Does 13 divide f?
True
Suppose 0 = b + 2. Let r = 5 - b. Is 5 a factor of r?
False
Let o = -67 - -267. Is o a multiple of 27?
False
Does 12 divide 34/(-85) - (-242)/5?
True
Let c(v) = 2*v**2 + 10*v - 3. Let x be c(-8). Suppose 0*q + x = 5*q. Suppose -2*k + 11 + q = 0. Is k a multiple of 10?
True
Suppose b = 4*b + 111. Let v = -19 - b. Is v a multiple of 9?
True
Suppose 33*q - 1330 = 28*q. Is 19 a factor of q?
True
Let b = 15 + 8. Suppose 0 = -0*c + 4*c. Suppose -b = -2*x - 3*g + 20, 3*x + 5*g - 67 = c. Does 7 divide x?
True
Suppose 0 = n + 3*q - 6, 3*n - 3*q - 78 = -0*q. Suppose -69 - n = -3*a. Is a a multiple of 10?
True
Let z(t) = 5*t - 53. Is 9 a factor of z(16)?
True
Let h be 22 + (5 - 3)*-1. Suppose h = w - 34. Does 20 divide w?
False
Let v(w) be the second derivative of -w**5/20 - 5*w**4/12 - 5*w**3/6 - 3*w. Let f be v(-4). Does 6 divide f/(-10) + (-62)/(-5)?
True
Let o(z) = -z**3 - 2*z**2 + z + 2. Let g = 4 + -2. Suppose 3*r + 1 = 2*t - 1, 0 = g*r - t + 3. Is 15 a factor of o(r)?
True
Let p(d) = -d**2 + 2*d + 10. Let f be 0 - 2 - (-5 - -3). Does 10 divide p(f)?
True
Let s be (2 - -1)/(-3) - -4. Suppose -3*i = -5*v - 17, 2*i - 3*v - s = i. Is i a multiple of 4?
False
Suppose -3*h = q - 4*q - 549, -4*q + 208 = h. Is h a multiple of 47?
True
Suppose -177 = -4*g - s, 7*g - 2*g + 5*s = 240. Let y = g + 8. Is 11 a factor of y?
False
Suppose 16 - 4 = 2*h. Suppose -3*s - 46 = -4*l, 0*s = -l - 2*s + h. Does 10 divide l?
True
Suppose 0 = -2*r + 13 - 5. Suppose r*u = 2*u + 2*f + 54, 0 = u + 4*f - 22. Does 21 divide u?
False
Let a be 6/((-34)/12 - -3). Suppose 4*u + 2*h - a = h, -4*h = -2*u + 36. Is u a multiple of 7?
False
Suppose 4*p - 24 = 4*m, 11 = 4*p + m - 13. Suppose -3*q + p*q = 36. Let v = q - -13. Does 12 divide v?
False
Let o(p) = -2*p - 3. Let l be o(-4). Suppose 3*m = l*i + 19, 2*m - 6*m - 5*i - 33 = 0. Let h = m - -5. Is 3 a factor of h?
True
Let u(b) = -b**2 - b + 4. Let p be u(3). Let z = p + 14. Is 2 a factor of z?
True
Suppose 2*c = 4*c + 4*v - 16, v = 4*c - 14. Is c a multiple of 4?
True
Let s be (-35)/2 + 1/2. Let h = -12 - s. Suppose -17 = -3*z - 3*c + 19, h*z + 4*c - 64 = 0. Is z a multiple of 14?
False
Is 24 a factor of (32/(-3))/((-46)/207)?
True
Let c(y) = -3*y + 3. Is c(-13) a multiple of 7?
True
Let g = -10 + 21. Is 7 a factor of g?
False
Let l(w) = -w**2 + 7*w - 4. Let t be l(6). Let g be (2*(-2)/t)/1. Is 1 - (-1 + g + 0) a multiple of 2?
True
Is 16 a factor of (-18)/(-5)*100/15?
False
Let k be (33/12)/((-1)/(-8)). Let j = -9 + k. Does 4 divide j?
False
Suppose 3*v = j + 43 + 37, v + 3*j = 30. Suppose 30 = 3*q - v. Is 6 a factor of q?
False
Let b(g) = g**2 + 2*g + 3. Let d(o) = o - 1. Let q be d(-2). Does 6 divide b(q)?
True
Suppose 330 = -3*n - 2*n. Let p = -40 - n. Is p a multiple of 13?
True
Suppose 3*h = -4*o + 21, -4*h + 3*h - 31 = -5*o. Let j be o/9 - 4/6. Suppose 0*k + 5*k - 170 = j. Is 17 a factor of k?
True
Let b = 8 - 10. Does 7 divide 76/3 + b/6?
False
Suppose -t + 19 = 2*r, -3*t + 2*r + 22 + 11 = 0. Suppose 56 = 4*o + 3*z + t, -2*o + 3*z + 17 = 0. Does 10 divide o?
True
Let a(h) = 6*h + 11 - 5*h + 3*h + h**2. Does 5 divide a(-6)?
False
Let s(b) = -2*b**3 - 4*b**2 - 4*b - 3. Let u be s(-2). Let j = 5 - u. Suppose j = -3*c - 4*q + 43, 22 = 2*c - 3*q - 1. Is 8 a factor of c?
False
Let n = -1 - -62. Is 27 a factor of n?
False
Suppose 4*s + 4*u - 2 = 2, 0 = -4*s - 2*u + 8. Suppose 0 = 5*a, a - 186 = -s*j - 0*j. Is 16 a factor of j?
False
Suppose -45*x + 411 = -42*x. Is 11 a factor of x?
False
Let z = 159 - 31. Is 33 a factor of z?
False
Let m = 5 + -3. Suppose x - 1 = -m*s, -2*x = x + 4*s - 3. Is x/2 - (-51)/6 a multiple of 7?
False
Let h(z) = -z. Let m(u) be the third derivative of -u**5/10 - u**4/2 + u**3/3 - 3*u**2. Let i(g) = 10*h(g) - m(g). Is i(2) a multiple of 10?
False
Let m = 4 + 80. Is m a multiple of 28?
True
Suppose -6 = -3*c, -3*d + 11 = 5*c - 65. Suppose 8 = 3*l - d. Does 6 divide l?
False
Is 2 a factor of 3 - (9/3 - 5)?
False
Is 5 a factor of (-2)/8 + (-1116)/(-48)?
False
Let c = 211 - 135. Is 38 a factor of c?
True
Suppose 4*v = 267 + 85. Does 4 divide v?
True
Suppose 4 - 1 = -3*r. Let b be (-2)/(-4)*(r - -207). Let n = b + -59. Is 22 a factor of n?
True
Suppose 4*q = 4*p + 272, 5*q = p - 3*p + 333. Suppose 0 = 4*t - 0*t. Suppose 4*d - q + 19 = t. Is 6 a factor of d?
True
Let s be (1 - 3 - -2)/(-1). Let v(t) = s*t**3 - t - 3 + t**2 - 4*t**2 + 4 + t**3. Does 13 divide v(4)?
True
Let k(t) = t**2 + 7*t + 4. Let h = -3 + -4. Let n be k(h). Suppose -23 = -3*c - 2*r - 5, 2*c