/(4/(-2 - 0)). Let m(r) = 4*r - 4. Is m(n) a multiple of 14?
False
Let a(b) = b**2 + 21*b + 14. Is a(-24) a multiple of 23?
False
Let s be 6/27 - (-196)/9. Let b = -8 + s. Does 23 divide 4/b + (-2628)/(-63)?
False
Suppose 30 + 9 = 3*w. Does 3 divide w?
False
Let a = -4 + 38. Is a a multiple of 14?
False
Let d(u) = -u**2 + 12*u + 3. Let f be 6/33 - 291/(-33). Is d(f) a multiple of 10?
True
Let q = 5 + -23. Let l(p) = -p**2 - 21*p - 24. Is l(q) a multiple of 10?
True
Let r be 9/(-12) - 474/8. Does 12 divide r/(-9)*(-36)/(-10)?
True
Suppose 3*p = -2*p - 20, -c + 72 = 2*p. Is 5 a factor of c?
True
Suppose 4*w + 5*q - 2 = 0, -w + q - 5*q - 5 = 0. Let u = w - 6. Let i(x) = -9*x + 3. Is 15 a factor of i(u)?
True
Let y(v) = v**3 - 8*v**2 + 7. Let r be y(8). Let t = 34 + r. Let g = t - 21. Is g a multiple of 12?
False
Let y(w) = -4*w**2 + w**2 + 18 - 20 + 11*w**2. Let t = -1 - 1. Is y(t) a multiple of 15?
True
Suppose -37 + 12 = -5*r, -5*g = -5*r + 15. Suppose 3*q + g*q = a + 160, -4*a - 79 = -3*q. Is q a multiple of 11?
True
Let i(y) = -y**2 + 10*y + 4. Is i(8) a multiple of 3?
False
Let g = -3 + 0. Let u(t) be the second derivative of -2*t**3 + 7*t. Is u(g) a multiple of 12?
True
Let d = -59 + 194. Does 9 divide d?
True
Let m(y) = y**3 + 5*y**2 + 3*y + 2. Is m(-4) a multiple of 3?
True
Suppose -3*p - 1 = -13. Let d(v) = 1 - 1 + 2*v. Is d(p) a multiple of 3?
False
Let l(o) = 4*o. Let b(c) = -33*c - 1. Suppose -8 = -j - 2. Let a(m) = j*b(m) + 51*l(m). Does 15 divide a(6)?
True
Let f(h) be the third derivative of 23*h**7/5040 - h**6/720 + h**5/20 - 2*h**2. Let m(y) be the third derivative of f(y). Does 21 divide m(1)?
False
Suppose 4*d - 10 - 6 = 0. Suppose -d*i - 3 = 5*n - 69, 4*i = n + 54. Is i a multiple of 4?
False
Let m = -30 + 51. Suppose 132 = 3*s + m. Is 18 a factor of s?
False
Let p = 220 + -62. Does 19 divide p?
False
Let p = -2 + 0. Let l be p/5 - (-12)/5. Suppose l*g - g = 24. Is g a multiple of 12?
True
Suppose 5*j + 0*j - 14 = 3*o, -j = -2*o. Let s(r) = 2*r**2 - 3. Is 16 a factor of s(j)?
False
Let l(s) be the second derivative of -s**7/840 + s**6/40 - s**5/120 + 13*s**4/24 + s**3/3 - 3*s. Let p(o) be the second derivative of l(o). Does 4 divide p(9)?
True
Let r = 37 - -120. Let x = r - 103. Is 16 a factor of x?
False
Suppose 0 = 5*f - 346 - 179. Is f a multiple of 21?
True
Let j(u) be the first derivative of 7*u**2/2 + u + 2. Let a be j(5). Suppose 9 = -3*i, 4*x - 5*i - a - 43 = 0. Does 8 divide x?
True
Let f = -116 - -50. Let v = -22 - f. Let t = v + -20. Is t a multiple of 24?
True
Let x = -188 + 96. Does 23 divide 2 - x/(1 - -1)?
False
Let t = 158 - 107. Is 17 a factor of t?
True
Let t be 7 - 3 - (0 - 1). Suppose 4*z + t = -4*b + 45, -16 = -3*z + 4*b. Does 8 divide z?
True
Let t(x) = 0*x + 0*x - x + 1 + 1. Let d be t(6). Is (1 + d/(-2))*9 a multiple of 10?
False
Let w(m) = 17*m**3 - m**2 - m. Suppose p = u - 4*u - 5, 8 = -4*u - 2*p. Let l be w(u). Let z = -7 - l. Is z a multiple of 5?
True
Let w(u) = -2*u**3 + u + 1. Let n(k) = k**3 - k**2 - k - 1. Let v(y) = 3*n(y) + 2*w(y). Is v(-3) a multiple of 2?
True
Suppose 0*x + 2*x - 3*u - 250 = 0, 0 = 3*u - 6. Is x a multiple of 19?
False
Let q = -81 + 116. Is 7 a factor of q?
True
Suppose 5*c = 2*n - 0 + 2, -n + 8 = 2*c. Let t(w) = w**3 - 6*w**c + 2*w**2 + 3 - 8. Does 10 divide t(5)?
True
Suppose -7*z = z - 1872. Is z a multiple of 13?
True
Suppose -a = -4*d + 6, -4*a + 8 = a - d. Let z be (-1)/(a*(-2)/(-36)). Is (1 + -4)*30/z a multiple of 3?
False
Let n = 244 + -141. Is n a multiple of 46?
False
Let a = -49 - 0. Let p = 87 + a. Is p a multiple of 18?
False
Let d be -1 + -1 + 2 + -2. Let b = 12 - 4. Let s = b - d. Is s a multiple of 10?
True
Let r = 61 - 35. Does 10 divide r?
False
Suppose 2*o + 4*k - 44 = 0, k - 57 = -3*o - 2*k. Suppose -5*b = -0*b - 2*x + 26, -5*x - o = b. Is 8 a factor of 15*(-1)/5*b?
False
Let i be (4/8)/((-2)/(-92)). Let z = i + -16. Is z a multiple of 6?
False
Let i = 0 + 3. Is 2 a factor of (-3)/(i/(-5))*1?
False
Let z(t) be the second derivative of -t**4/12 - t**3/6 + 19*t**2/2 + 2*t. Suppose -3*q - 2*q = -5*g + 10, -2*g + 6 = -3*q. Is 18 a factor of z(g)?
False
Let a = -37 + 53. Suppose -a = -2*s - 0*s. Does 4 divide s?
True
Is 2 a factor of -1 + (-6)/(-5) - 1225/(-125)?
True
Let p(z) = 21*z. Is p(3) a multiple of 9?
True
Suppose 2 = 4*r - 14. Suppose -2*g = -t - 6*g - 2, -r*t = -3*g - 68. Does 4 divide t?
False
Let i(w) = w - 16. Let l be i(13). Let c = 2 - l. Does 5 divide c?
True
Let q(t) = -35*t**3 + 23*t**2 + 3*t - 20. Let b(m) = 12*m**3 - 8*m**2 - m + 7. Let p(v) = -17*b(v) - 6*q(v). Is p(2) a multiple of 14?
False
Suppose 10 = -p - j, 2*p = 4*p + 4*j + 24. Let r be 2/p - (-34)/8. Is 14 a factor of (17/r)/(7/28)?
False
Suppose -68 - 57 = -n. Is 28 a factor of n?
False
Suppose 0 = -q + 2 + 31. Does 11 divide q?
True
Let y(a) = a**2 + 11*a - 2. Let m = 6 - 13. Let r be y(m). Is 9 a factor of ((-6)/(-4))/((-3)/r)?
False
Suppose 5*w + 2*u = 6, 1 = 5*w + 4*u - 1. Suppose 3*p + w*z - 89 = -2*z, -5*p = 4*z - 151. Is 16 a factor of p?
False
Let y = 17 + -12. Let t = y - 3. Suppose -t*i + 0 + 12 = 0. Is i a multiple of 5?
False
Let q(d) = 4*d**2 + 2*d + 1. Let h be q(-1). Let l = 4 + h. Is l a multiple of 3?
False
Let i = 5 + -6. Let k be 1 - (i*6 - -2). Let o = 8 - k. Is 2 a factor of o?
False
Suppose -10 = -7*y + 2*y. Is 13 a factor of y/7 + 402/14?
False
Let q = 54 - 75. Let w = q - -42. Does 20 divide w?
False
Let p be (0 - 2)/(5/(-125)). Suppose p = y - 3*k, -3*y + y - 4*k + 50 = 0. Suppose -o - 2*o = -a - 4, 5*o - y = -4*a. Is a a multiple of 5?
True
Let d(v) = 15*v - 6. Let k(b) = -5*b + 2. Let f(s) = -4*d(s) - 14*k(s). Let n = 0 - -5. Is f(n) a multiple of 18?
False
Is 3 a factor of 4*8/(96/63)?
True
Let k = 11 + -7. Suppose t + k = 16. Is t a multiple of 12?
True
Let s(w) = w - 1. Suppose 3*f = -3*y - 2*f + 16, -4*y + f - 17 = 0. Let k be s(y). Does 13 divide -1*k/(8/66)?
False
Let m(p) be the first derivative of 11*p**2/2 - p - 2. Is m(1) a multiple of 5?
True
Suppose 4*p = 10 + 146. Is p a multiple of 26?
False
Let s(l) = l**2 + 3*l - 4. Let i be s(-4). Suppose -4*n + i*n = -24. Suppose 3*b - 35 = -x, 4*b - x + n*x = 43. Does 4 divide b?
True
Suppose -44 = -4*s - 12. Is s a multiple of 8?
True
Let t(u) be the first derivative of 2*u**3 - u**2/2 - 2*u - 7. Let i(a) = -a - 5. Let n be i(-7). Is t(n) a multiple of 10?
True
Let w be (-186)/15 + (-6)/10. Let r = w - -16. Is r a multiple of 2?
False
Let o(w) = w**2 + 15*w + 1. Let f be o(-7). Let l = -18 - f. Does 19 divide l?
False
Let f be (36/(-27))/((-2)/6). Suppose 5 = -t, -2*t - 43 = -f*k + 27. Is k a multiple of 15?
True
Let d(t) = -2*t**3 - 1 + 5*t**2 - 2*t**3 - 3*t + 0*t + 3*t**3. Suppose -5*u - 3*y + 8 + 0 = 0, -2*u = -4*y - 24. Does 3 divide d(u)?
True
Let w(p) = -11*p + 12. Let s be w(-10). Suppose -5*f + 0*f - 25 = -2*a, 9 = -3*f. Suppose -4*y + 141 = g, 4*g = -a*y + 2*y + s. Is y a multiple of 17?
True
Let n = -14 + 24. Does 3 divide n?
False
Let m be 48/12 - 2*1. Suppose m*q - p - 49 = 0, q - 23 = -5*p - 4. Is q a multiple of 6?
True
Let a(i) = 4*i. Suppose u + 2 = 3. Let s be a(u). Suppose -24 = -s*p + 72. Is p a multiple of 12?
True
Let h(i) = i**2 + i + 1. Is h(-4) a multiple of 13?
True
Let q(s) = s - 3. Let r be q(6). Suppose r*g - g = 20. Suppose g = 3*w + 2*w. Does 2 divide w?
True
Suppose 34*k - 41*k + 392 = 0. Does 4 divide k?
True
Suppose -z - 44 = -2*z. Let g = 69 - z. Does 11 divide g?
False
Let p be (9/12)/((-2)/16). Let q(m) = -m**3 - 2*m + 2. Let t be q(p). Is 13 a factor of 5/(-15) + t/6?
False
Let z = 2 + 14. Let y = z + -1. Is 8 a factor of y?
False
Suppose -2*b = 5*u - 29, -2*b = 4*u + 3*b - 30. Let n = 8 + -6. Suppose -2*t = u*m - t - 114, n*m + 4*t = 42. Is m a multiple of 15?
False
Suppose -i - 2 = i. Let b = i - -8. Is b a multiple of 7?
True
Suppose -1 = 2*o - 5*s + 4, -2*s - 14 = -4*o. Suppose o*n - 38 = 3*n. Does 6 divide n?
False
Let j = 41 - 29. Does 3 divide j?
True
Let r be 168/(-6) + -1 + 1. Let k be (1/2)/((-1)/r). Suppose -5*z = -k - 11. Is 2 a factor of z?
False
Let o(w) = w**2 - 1. Let k(m) = -5*m**2 + 8*m + 1. Let y(c) = -k(c) - 3*o(c). Is 19 a factor of y(8)?
False
Let m(n) = -n**2 + 11*n - 3. Let a be m(7). Suppose -l - v = -9, 3*l - 6 = -4*v + a. Is l a m