uppose 3*t + 9*t - 288 = 0. Is t a multiple of 4?
True
Let t(w) = -w**2 - w - 113. Let j be t(0). Let y = j - -159. Is y a multiple of 19?
False
Let w(u) = 3*u**2 - 7*u + 2. Is 29 a factor of w(10)?
True
Let m = -94 + 138. Suppose -2*i - m = 3*c - 5*c, 4*i + 28 = c. Does 10 divide c?
True
Suppose 2*o = 2*q - 230, q + q - 3*o - 227 = 0. Is q a multiple of 9?
False
Is 21 a factor of 21/(-9)*(-9)/1?
True
Suppose -4*y - 16 = 0, 0 = -m - 0*m + 4*y + 18. Let w(l) = -l**2 - 10*l - 12. Let d be w(-6). Suppose -4*z = -m*z - d. Is z a multiple of 3?
True
Let p(d) = -5*d + 3. Let x be p(-3). Suppose 5*l - x - 2 = 0. Is l a multiple of 2?
True
Suppose 6*l = 5*l - n + 3, 5*n = 3*l + 15. Suppose 0*o + 2*o - 12 = 0. Suppose w + w + 2*b - o = l, 0 = -4*w - 5*b + 9. Does 6 divide w?
True
Let r = 1 - 1. Let u be (3 - r)*(-4)/(-6). Suppose 20 + 18 = u*b. Is 15 a factor of b?
False
Let m(j) = j**2 - j + 40. Let c = 2 - -2. Suppose 4*s = 3*r - 6, 4*s + r - 3*r + c = 0. Does 20 divide m(s)?
True
Let p be (-1)/(-3 + (2 - -2)). Let b be (-33)/(-1 - (-1 + p)). Let z = b + 60. Is 9 a factor of z?
True
Let k(q) = -41*q + 4. Is 34 a factor of k(-3)?
False
Suppose -4*m - m + 1075 = 0. Suppose 99 = -4*y - z + 294, -3*z = -4*y + m. Does 15 divide y?
False
Let h(d) = -3*d - 33. Does 2 divide h(-17)?
True
Let c(t) = t**2 - 3*t. Does 5 divide c(-5)?
True
Let a be (-1 + -1 + 4)*22. Suppose -3*c - 2*y - a = -121, 0 = -2*c - 2*y + 50. Is c a multiple of 9?
True
Let w(c) = -c - 2. Let x be w(6). Let q be (-2)/x - 30/(-8). Does 8 divide 12*(0 - q/(-3))?
True
Suppose 0 = -5*a + 4*b + 122, -3*a + 4*a + 2*b = 30. Does 24 divide a?
False
Let w(r) = 3*r. Let u be w(1). Suppose -x + 9 = u*v - 8*v, 5*x = 5*v - 55. Let h = x + 31. Is h a multiple of 15?
True
Let w be 0/2 - 1*20. Let k = -4 - w. Is k a multiple of 16?
True
Let p(a) = -a**2 + 7*a - 9. Let b be p(7). Suppose -2*g = -4*f - 81 + 31, 32 = -3*f - 4*g. Let v = b - f. Is v even?
False
Let o(v) be the second derivative of 1/12*v**4 + 2*v + 0*v**2 - 27/20*v**5 + 0 + 1/6*v**3. Is 10 a factor of o(-1)?
False
Let p(j) = 153*j - 1. Let z be p(1). Does 19 divide (-3)/(-2)*z/12?
True
Let l be (-9 + -1)/((-5)/(-55)). Let y = -32 - l. Suppose -2*j + 4*j = y. Is j a multiple of 17?
False
Let b = 49 - 6. Is b a multiple of 16?
False
Suppose o - 6 = -2. Suppose 0 = -p - y - y + 14, o*p - y = 47. Does 5 divide p?
False
Let a(j) = -91*j - 2. Let t be a(-2). Is 9 a factor of (8/(-10))/((-8)/t)?
True
Suppose -2*r + 108 = -2*d, 2*r + 3*d - 90 - 43 = 0. Does 5 divide r?
False
Let u(k) = 2*k**2 - 6*k - 5. Let h be (-2)/11 - 62/22. Let y(l) = -2*l. Let r be y(h). Is u(r) a multiple of 17?
False
Suppose -4*r + 2*s + 38 = 0, -2*r = 2*s + s + 1. Suppose -3*k + 14 = -28. Is r/k - 43/(-2) a multiple of 10?
False
Let n be ((-10)/(-4))/((-2)/(-12)). Let b be ((-3)/(-2))/(n/(-320)). Let o = 56 + b. Does 8 divide o?
True
Let i = 52 - -30. Let a = -40 + i. Is a a multiple of 11?
False
Suppose -3*k + 12 = k. Is k/(-6) + (-37)/(-2) a multiple of 4?
False
Suppose 0 = 5*t - 1 - 164. Suppose 0 = -3*g - t + 117. Suppose 0 = 4*j - g - 84. Does 14 divide j?
True
Suppose -4*u + 56 = 4*p, -u + 5*p = -3*u + 16. Is u a multiple of 6?
True
Let i(n) = -n**2 - 5*n + 7. Let x be i(-6). Suppose 5*v = 13 + 17. Suppose v = 2*b - 5*k, 2*k - 3 - x = 0. Does 8 divide b?
True
Suppose -3*w + 104 = c + c, -5*w = -c - 156. Is w a multiple of 8?
True
Let q(c) = 22*c - 70. Is q(22) a multiple of 23?
True
Let h(m) = 5*m - 5. Let z be ((-5)/4)/((-2)/8). Is h(z) a multiple of 11?
False
Suppose -2*r + 72 = -0*r. Suppose -2*u - 42 = 2*w, 0 = -4*w + w - 2*u - 58. Let x = r + w. Is 15 a factor of x?
False
Suppose 0 = -2*o - 2*o - 8. Let d = 4 + o. Is (55/20)/(d/8) a multiple of 11?
True
Suppose 0 = k - 0*k + 12. Let h = 30 + k. Is 6 a factor of h?
True
Let c(f) = -f + 1. Let b be c(-3). Suppose 2*j = b*z - 88, 3*z - 2*j = -0 + 64. Let i = z - 8. Is i a multiple of 12?
False
Suppose 4*p = 2834 - 674. Is p/28 - (-2)/(-7) a multiple of 19?
True
Let m be (-6)/33 + 224/22. Suppose 0*a - 4 = -2*j - 2*a, m = -5*a. Is 4 a factor of j?
True
Suppose 8*q = 3*q + 25. Is q a multiple of 4?
False
Let f = 15 - 10. Suppose -25 = -f*s - 5*n, -s + 1 = -n - 0. Suppose 12 = -4*a, -53 = -5*j + s*j + 5*a. Is j a multiple of 11?
False
Suppose m + 2*v = 5*m - 74, 0 = 5*m + 5*v - 70. Is 17 a factor of m?
True
Let k(f) = 9*f + 6. Let t(w) = -9*w - 6. Let s(d) = 4*k(d) + 3*t(d). Is 18 a factor of s(6)?
False
Suppose -3*m + 5*q = 2*m - 395, 4*q - 4 = 0. Suppose 10 = 5*d, 2*i - 4*d + 12 = 4*i. Suppose m = i*l + 3*l. Is 13 a factor of l?
False
Is 4 a factor of 4/((-12)/(-63)) - 1?
True
Let w be (-20)/25 - 1/5. Let y = w - -1. Is 18 a factor of 2 - (1*-33 - y)?
False
Let s = 64 - -23. Suppose 0 = a - 4*y - s, 5*a - 5*y = 2*a + 233. Let w = 106 - a. Is 12 a factor of w?
False
Suppose 28 + 15 = c - 3*o, 5*c - 3*o = 203. Suppose -3*q - 2*q + c = 0. Is q a multiple of 3?
False
Suppose 4*u + 4*p = 320, 0 = 2*u + p - 2*p - 172. Is 15 a factor of u?
False
Let b = 132 - 61. Does 4 divide b?
False
Let d be 0/1*(-2)/6. Let h = -12 - d. Let r = 22 + h. Is r a multiple of 5?
True
Let q = -23 + 62. Let p = q + -3. Is p a multiple of 18?
True
Let k = 168 - 104. Is 16 a factor of k?
True
Suppose -4*h + 92 = -208. Suppose -h = 30*p - 33*p. Does 25 divide p?
True
Suppose i + n = 2*n + 5, 0 = 3*i + 2*n - 25. Let k be (-6)/(-21) + 208/i. Is 5 a factor of (k/4 + -2)*2?
False
Let d be 4/18 + (-574)/(-9). Let z = d + -34. Does 30 divide z?
True
Let j(x) = 13*x**3 - x**2 + x - 1. Let z be j(1). Let v = 14 - z. Is v a multiple of 2?
True
Let t be (-5 + 1)*(-1 + -1). Let s(v) = -v**2 + 11*v - 6. Is 14 a factor of s(t)?
False
Suppose 0 = -4*j + 12, -3*n - j = -5*n + 13. Does 8 divide n?
True
Suppose -90 = -3*y - 0. Does 6 divide y?
True
Let q = -3 + 6. Suppose -q*f + 42 = -5*o, 13 + 2 = 5*o. Is 19 a factor of f?
True
Suppose 0 = 46*b - 48*b + 436. Is b a multiple of 20?
False
Suppose -3*n + 94 = -254. Is n a multiple of 30?
False
Suppose -r = -4*r - 5*h - 68, -4*r - 5*h = 89. Is 9 a factor of (54/r)/(12/(-56))?
False
Let i(h) = -h**2 + 6*h - 3. Is i(2) a multiple of 4?
False
Let l be 2/8 + 17/(-4). Is (42 - -1)*l/(-4) a multiple of 13?
False
Let n = 7 + 11. Does 6 divide n?
True
Let v(r) be the third derivative of -r**8/20160 - r**7/504 + r**6/72 + r**5/30 + 3*r**2. Let z(o) be the third derivative of v(o). Is 12 a factor of z(-8)?
False
Let n = 31 + 19. Is n a multiple of 26?
False
Let k(j) be the first derivative of j**4/4 + 8*j**3/3 + 5*j**2 + 9*j - 2. Is 7 a factor of k(-6)?
True
Is (-362)/(-10) + (-3)/15 a multiple of 11?
False
Let k(g) = -g**2 - 13*g - 12. Let m be k(-12). Suppose m = -2*y + 5*d - 0*d + 22, 2*d - 22 = -2*y. Let h = 20 - y. Is 7 a factor of h?
False
Let p(u) = -2*u - 4. Is p(-6) even?
True
Let p(c) = 8*c - 4. Let k be p(8). Is 13 a factor of (-1)/(1 - 63/k)?
False
Let h(o) = -o**3 + 6*o**2 + 8*o + 17. Let x be h(7). Let n = x + -6. Does 9 divide n?
True
Suppose i - 57 = -0*i. Is i a multiple of 10?
False
Suppose 0 = l + 3*w + 11, 4*l - 3*w = 2*w - 10. Is 5 a factor of l*(6/(-2) + 1)?
True
Let o(p) = 50 - 1 - 4*p**2 + p**3 + 2*p**2. Is 15 a factor of o(0)?
False
Suppose -24 = -3*n + 291. Suppose 368 = -5*y + 83. Let w = y + n. Is 24 a factor of w?
True
Let c(x) = 3*x**2 + 12*x + 10. Let t be c(-7). Does 22 divide (t - 8/(-4)) + 0?
False
Is (-2)/(-6) - (-166)/6 a multiple of 5?
False
Suppose -11*m - 2 = -12*m. Suppose -12 = -n - 3*k - 2*k, m*n - 3*k = -2. Is n a multiple of 2?
True
Suppose -5*a + 2*f + 123 = 0, -2*a + 3*f + 24 = -23. Suppose 0 = x - 4*m + 12, -5*m = -a. Does 8 divide x?
True
Let h(r) = r**3 - 5*r**2 - 6*r + 3. Suppose -4 + 28 = 4*m. Let g be h(m). Let y = 0 + g. Is 3 a factor of y?
True
Let v be -4 + -2 + 0 + 1. Let g be (1 + v)*47/(-4). Suppose -4*a - r + g = a, 5 = a - 2*r. Does 9 divide a?
True
Suppose 0 = -w - 4*w + 325. Suppose 6*m + t = 3*m + 98, w = 2*m + t. Is m a multiple of 11?
True
Let g be (-4 - 0)/((-2)/11). Suppose -5*a - 5*z + 7 = g, 5*a = -3*z - 23. Let p = a - -11. Does 2 divide p?
True
Let p be 78/(-4)*(-10)/(-15). Let u(y) = y**2 + 12*y - 8. Is u(p) a multiple of 5?
True
Is 13 a factor of 1*-2*(-3 - 23)?
True
Suppose -416 = -4*u + 5*r, -u + 116 - 12 = -r. Is 13 a factor of u?
True
Let g = -13