 = c**3 - 5*c**2 - 4*c - 6. Does 3 divide k(6)?
True
Suppose -2*j - 152 = -4*u, 0 = j - 4*j + 5*u - 224. Let k = 102 + j. Suppose s = 3*i - 6*i + 26, 0 = -2*i - 4*s + k. Does 3 divide i?
False
Let t(n) = n**3 + 6*n**2 - 3*n - 7. Let r be (-1 - -3) + 0 - 8. Does 11 divide t(r)?
True
Suppose -2*n + 10 = 3*n. Suppose 4*q + n*l + 74 = 7*l, 5*l = q + 26. Let u = -6 - q. Is u a multiple of 10?
True
Let m(y) = y**2 + y. Let f be m(0). Let i be f - 25 - 3/1. Is ((-6)/(-7))/((-2)/i) a multiple of 6?
True
Suppose -4*i + 4*u = -28, 4*i - 5*u - 33 = -0*i. Suppose -13 - i = -z. Is 15 a factor of z?
True
Let f = -32 - -88. Is 12 a factor of f?
False
Let f = -3 - -7. Suppose -5*w = -f*t - 2*w + 49, t = 3*w + 10. Is t a multiple of 13?
True
Let x(q) = q**3 - 3*q**2 + 2*q - 1. Let p be x(3). Let j = -23 + 41. Suppose -17 = -p*f + j. Is 3 a factor of f?
False
Let t(w) be the third derivative of w**5/30 + 7*w**4/24 - 5*w**3/6 - w**2. Is t(-6) a multiple of 9?
False
Let b = -115 + 161. Is 10 a factor of b?
False
Let n = 8 - -3. Let m = 5 - n. Let g(y) = -y**2 - 6*y + 4. Is g(m) a multiple of 4?
True
Suppose -n = -5*y - 18, -4*n - 6*y + 2*y = 0. Suppose o = -4 - n. Let v = 28 + o. Is 14 a factor of v?
False
Suppose -38 = -3*o - 23. Is o a multiple of 2?
False
Suppose a = 4*y - 721, 2*y + 5*a = -y + 512. Does 28 divide y?
False
Let l(n) = 2*n + 1. Let v be l(2). Suppose -3*c + 154 = -2*a - 133, 2*c - v*a - 173 = 0. Suppose -w = 2*w - c. Is 20 a factor of w?
False
Suppose -20 = -5*x + 3*n, -2*x = -5*x + 3*n + 12. Is x a multiple of 4?
True
Let i be (-4)/6 + 2536/24. Suppose 0 = c + 21 - i. Is 21 a factor of c?
True
Let a = -5 - -8. Is 40 + -1 - a/(-1) a multiple of 23?
False
Let r = 172 + -115. Is 19 a factor of r?
True
Let y be (42/8)/(1/(-4)). Let u be 1/3 + 112/y. Let r(a) = a**2 + a + 7. Does 20 divide r(u)?
False
Let z(o) = o**2 + 7*o + 8. Let a(h) = -h**3 - 5*h**2 + 3*h + 6. Let t be a(-5). Is z(t) a multiple of 9?
False
Suppose -4*r + 131 = -49. Is 9 a factor of r?
True
Let m = 131 + -80. Is 17 a factor of m?
True
Suppose 0*c + 2*c + 18 = 2*d, -5*d + 3*c + 37 = 0. Let x = d + 20. Suppose -41 = -3*g + x. Is 11 a factor of g?
True
Let k(s) = -3*s - 2*s + s**2 + 2*s. Let b be k(5). Suppose 0 = -0*o - 2*o + b. Is 5 a factor of o?
True
Let n(r) = -4 + 11*r**3 + 4*r**2 + 4*r - 9*r**3 - 8*r**2. Let l be n(3). Is (l/(-4))/(4/(-24)) a multiple of 16?
False
Is 34/(-3)*(-2 + -1) a multiple of 16?
False
Suppose -5*y = 3*z - 2*z - 28, 4*y - 35 = -5*z. Suppose 4*d - 3*w - 1 = 2*d, -5*w = -4*d + z. Suppose 7*v = d*v + 100. Is v a multiple of 17?
False
Let k(j) be the first derivative of 15*j**4/4 + j**2/2 + j + 3. Let s be k(-1). Let a = s - -25. Does 10 divide a?
True
Let p(k) = -2*k**3 - 2*k**2 + 10*k - 3. Does 27 divide p(-6)?
True
Suppose 3*p - 306 = -4*v, 0 = 4*v + 7 - 19. Is p a multiple of 14?
True
Suppose 0 = 2*o - 4*m - 12, -15 = -o + 6*m - m. Let v = o + 2. Is v a multiple of 2?
True
Let v(r) = 8*r - 4. Let o be v(3). Let q = 53 - o. Does 13 divide q?
False
Let c be (24/(-9) + -1)*-3. Let w = c - 7. Let f(t) = 6*t - 1. Does 11 divide f(w)?
False
Suppose 0 = -i - i - 152. Let y be (i/(-10))/((-1)/(-5)). Let q = y - 16. Does 11 divide q?
True
Let i = 9 + -5. Is i a multiple of 4?
True
Suppose -2*g + 46 = -4*g. Let x = 32 + g. Is x a multiple of 9?
True
Suppose x - 2*x + 6 = 0. Is 608/16 - x/(-2) a multiple of 21?
False
Let n(p) = -9*p + 11. Let x(y) be the first derivative of -y**2/2 + y + 2. Let q(z) = -3*n(z) + 24*x(z). Does 6 divide q(7)?
True
Let k be 0 - (2/2 + -3). Is 4/k - (-13 - 0) a multiple of 15?
True
Suppose 0 = 3*z - y + 2, 0*z - 3*z + 3*y = 12. Suppose 4 = 3*m + z. Suppose -w = -4 - m. Does 5 divide w?
True
Let n be (1 - (-8)/(-4))*0. Is 14 a factor of n + 29 - (-10)/(-10)?
True
Is 128/2 - -4*1 a multiple of 34?
True
Let i = 28 - -24. Is 14 a factor of i?
False
Suppose -5*s + 258 = -2*y, -5*s = -5*y - 54 - 201. Suppose 0 = 6*a - 4*a - s. Does 13 divide a?
True
Let v(j) = j**3 + 6*j**2 - 8*j - 5. Let l be v(-7). Suppose -2*g = -5*z - 46 + 201, 0 = -l*z - 3*g + 62. Is z a multiple of 13?
False
Let q(n) = -n**2 - 3*n + 1. Let m be q(-4). Let p(w) = 8*w**2 - w - 4. Let r(k) = -2*k**2 + 1. Let g(o) = -2*p(o) - 9*r(o). Does 7 divide g(m)?
False
Is 8 a factor of (2 - 4) + 1 + 16?
False
Let l be -1*6*(-2)/3. Suppose 4*q - 4*g = q - 7, -26 = -2*q - 5*g. Suppose q*c + 9 = -3*z + 39, -z = -l*c + 50. Is c a multiple of 12?
True
Suppose 6*g - 540 = -3*g. Does 36 divide g?
False
Suppose -9 = 2*c - 5*c. Let h be (c - 1)*-1 + 27. Suppose 4*i + i - h = 4*y, i + y = 5. Does 4 divide i?
False
Let t = 20 + -14. Suppose t*s = s + 5*c + 20, -2*c + 28 = 4*s. Suppose 2*x + 102 = s*x + 5*k, 5*x + 4*k - 123 = 0. Does 12 divide x?
False
Is 24 a factor of 12/9*(-450 + 0)/(-5)?
True
Suppose 5*b - 52 + 147 = -5*n, 0 = 5*n + 3*b + 95. Let c = n + 39. Suppose -2*h - 2*h = -c. Is h a multiple of 5?
True
Suppose -4 = -2*z + 4. Suppose 3*c = -4*w + 27, z*c + 2*w - 31 + 5 = 0. Let x = -2 + c. Does 3 divide x?
True
Suppose 0 = -16*y + 7*y + 2970. Is 22 a factor of y?
True
Let x be (-21)/(-4) - 3/12. Let z = 44 - x. Is 9 a factor of z?
False
Let x be (12 - -1 - 1)*-1. Does 10 divide ((-27)/x)/((-3)/(-16))?
False
Let o(t) = -t**2 + 12*t - 9. Let g be o(11). Let l(r) = 2*r**2 - 4*r + 2. Let c be l(6). Suppose g*j + 3*j = c. Is j a multiple of 10?
True
Let v = 171 + -81. Is v a multiple of 10?
True
Let g(k) = -33*k**3 + k. Suppose 3*o + 0*o + 3 = 0. Does 8 divide g(o)?
True
Let y(j) = -j - 1. Let h be y(-4). Let t = h + 3. Does 3 divide t?
True
Let a(t) = 2*t - 2 - t**2 - 3*t - 3*t. Let v be a(-3). Suppose q - 11 + v = 0. Is q a multiple of 4?
False
Let d = 52 + -8. Suppose -4*b + 5*b = -5*k + d, 241 = 5*b + 4*k. Is b a multiple of 9?
False
Let d be (-16)/56 + (-208)/7. Let z = -12 - d. Is 18 a factor of z?
True
Let k(n) = 6*n - 3. Let v(c) = -3*c + 2. Let d(g) = 4*k(g) + 7*v(g). Let l be d(2). Does 7 divide (0 + -1)*(-3 - l)?
False
Suppose -b - 1 = 2*b + 2*t, -23 = -b + 4*t. Let v = 0 - 5. Is b/v*(-8 - -3) a multiple of 2?
False
Let m(k) = 6 - 2*k**2 + 0*k**2 + k**2 + 2*k + 3*k. Is m(5) a multiple of 6?
True
Let f(m) = m**3 + 6*m**2 - 6*m - 2. Does 8 divide f(-6)?
False
Is 25 a factor of (4 + -1)*60/5?
False
Let n(c) = -c**2 - c + 9. Let a be n(0). Suppose -4*q + 3*j + 24 = 3, q = -4*j - a. Suppose q*s - 24 = s. Is 7 a factor of s?
False
Let w(g) = 2*g. Let z(v) = -21*v. Let p(q) = 56*w(q) + 5*z(q). Does 3 divide p(1)?
False
Let l = 29 + -14. Suppose l = 5*s, 7*o - 4*o = -4*s + 276. Is 22 a factor of o?
True
Let b(v) = -v**2 - 22*v + 8. Is 3 a factor of b(-19)?
False
Let u = 15 - -2. Is u a multiple of 17?
True
Suppose 0*j - 4 = j. Is j + (-4)/(-4) + 7 a multiple of 2?
True
Let a = -6 - -2. Let s(q) = -5*q + q + 10*q - 10*q - 1. Does 7 divide s(a)?
False
Suppose 0 = b + 3*b + 16. Let c be 25/(-2)*b/(-2). Let q = c + 41. Is 16 a factor of q?
True
Let i(k) = k**3 - 4*k**2 - 4*k - 1. Suppose 1 = -o, 0*w = 3*w + 2*o - 13. Let v be i(w). Suppose v*z + 0*z - 52 = 0. Is z a multiple of 10?
False
Suppose 3*m = 2*j - 6, 2*j + 2 = -4*m + 8. Suppose -j*z + 129 = 30. Is 16 a factor of z?
False
Is 10 a factor of (26 - 2)*(-60)/(-18)?
True
Suppose 5*a = 20 - 5. Suppose -28 = -4*g + 4*w, 4*g - a*w - 24 = -0*g. Is g a multiple of 3?
True
Suppose 0 = -2*o - 5*h - 6 - 1, 4*o + 4*h = -8. Does 18 divide 0*o/3 + 18?
True
Let s(a) = -a - 2. Let l be s(-4). Suppose -l*o - 2*o = -12. Suppose -2*i - 3*m = 3*i - 171, -3*i = -o*m - 93. Is i a multiple of 14?
False
Let d(p) = p**2 + 3*p - 6. Let i = 5 - -1. Let l be i/5*(-10)/2. Is d(l) a multiple of 12?
True
Suppose 2*h - 4*u = -h - 417, 5*h + 3*u = -695. Let c = -96 - h. Let j = c + -10. Does 11 divide j?
True
Let u(g) = g - 6. Let j be u(6). Suppose -6*m + 3*m - o = -20, j = -5*m - 3*o + 32. Suppose 2*z - m = 27. Is z a multiple of 17?
True
Let a be 1*(-2)/(-5)*10. Suppose 0 = 5*y - a*t - 177, 4*y + t = 4*t + 141. Does 20 divide y?
False
Is 23 a factor of (474/10 - 1) + (-4)/10?
True
Let a(v) = -v + 2. Let g(h) = h - 3. Let w be g(3). Let j be a(w). Suppose -m - 57 = -4*m + j*d, 0 = 4*m - 5*d - 83. Does 6 divide m?
False
Let m(b) = 2*b**2 + 9*b + 9. Let d be m(-6). Let k be (d/(-12))/(2/8). Is (-6)/k*-3*-8 a multiple of 6?
False
Let g(f) = -f**3 + 4*f**2 - f + 