 Does 9 divide q/(-4)*-2 - -8?
True
Let z(t) be the third derivative of -3/8*t**4 + 5/6*t**3 + 1/60*t**5 + 0 + 0*t - 4*t**2. Is 5 a factor of z(9)?
True
Let f(g) = -4*g - 1. Let m be f(-8). Let p = m - 17. Is p a multiple of 6?
False
Suppose 5*n - 4*n - 2*y - 4 = 0, -40 = -5*n + 5*y. Let k = n + -12. Suppose k*r + 14 = r. Is r a multiple of 9?
False
Suppose -7560 = 229*p - 243*p. Is 26 a factor of p?
False
Suppose 1663 + 1585 = 8*n. Is 14 a factor of n?
True
Let w = -345 - -514. Suppose 2*h - a = -29 + w, h + 3*a - 84 = 0. Is 26 a factor of h?
False
Let w be (43 - 0) + (3 - 5). Suppose 0 = a + f + 3*f - w, -a + 23 = -5*f. Is a a multiple of 13?
False
Suppose 0*q + 4*q - 4*c + 8 = 0, 2*c = -q + 10. Suppose 3*d = -2*f + 58, 3*f = -q*d + f + 40. Does 15 divide 10*(d/4 + -3)?
True
Let w(v) = 2*v**2 + 6*v - 2. Suppose z = 5*z + 12. Let p be (z - -2)/(2/10). Is w(p) a multiple of 7?
False
Let o(c) = -c**3 - c**2 + 5*c - 6. Let s be o(4). Is (s/8)/((-9)/36) a multiple of 11?
True
Let k = -9 - -13. Let v(q) = -9*q - 13. Let n(d) = 21*d + 27. Let f(r) = 4*n(r) + 9*v(r). Does 3 divide f(k)?
True
Suppose -33 = -2*l - l. Let v(n) = -l + 0 + 3*n - 9*n + 2. Does 5 divide v(-4)?
True
Let i = -13 - -218. Does 5 divide i?
True
Does 9 divide (-42)/(-189) + (-79)/(-9)?
True
Suppose -294 = 16*n - 2310. Does 4 divide n?
False
Suppose -7*a + 4*a = -9. Suppose 3*l = -w + 95 + 38, l + a*w = 55. Let x = 73 - l. Is x a multiple of 15?
True
Suppose 2*b + 4*z - 848 = 0, 3*b - 1275 = -19*z + 14*z. Is 8 a factor of b?
False
Suppose -2*v + 5*v + 10 = 2*r, 5*v = -4*r + 20. Suppose v = 3*f - f - 370. Suppose 0*c = -5*c + f. Is c a multiple of 6?
False
Let t be 65/20 - (-3 + (-36)/(-16)). Suppose 0 = r + t, 5*x - 4*r - 1351 = -0*r. Is x a multiple of 21?
False
Suppose -9*j + 14*j = 630. Does 21 divide j?
True
Suppose 0 = -5*a - 130*p + 135*p + 6320, 0 = -4*a - 4*p + 5024. Does 28 divide a?
True
Suppose 1706 = 12*h - 1654. Is 4 a factor of h?
True
Let b = 42 + -44. Let w(s) = -27*s. Let n be w(b). Suppose n + 66 = 6*h. Is 5 a factor of h?
True
Suppose 3*g + 15 = -k, 4*k + 20 = -0*g - 2*g. Let y = g - 14. Does 3 divide 1/(-3)*y/2?
True
Suppose 8*r - 5*r = -9. Is (-8)/(-108)*r*-12*3 a multiple of 4?
True
Let f be (-2)/(-10) + 662/(-10). Let z = f + 112. Suppose 2*a = 4*a - z. Does 7 divide a?
False
Suppose 0 = -5*j - 20. Let x = 104 - 17. Does 12 divide j/(-6)*(3 + x)?
True
Suppose -891 = -5*a - 101. Suppose -2*h = 2, -4*k - 2*h + 4*h = -a. Is k a multiple of 13?
True
Suppose 10*s - 6*s = 84. Let r be (32/(-48))/(2/s). Let a = -4 - r. Is 2 a factor of a?
False
Suppose g - 49 = 46. Suppose 5*s + 0*s + 226 = -f, 2*s + g = -5*f. Is 11 a factor of 2/((-2)/(-1)) - s?
False
Let h be (-58 - (0 - 0))/(-2). Suppose 5*s - h = 3*t, -s = -2*t + 2*s - 18. Is 4 a factor of (-1)/t - 140/(-12)?
True
Suppose -3*k - 86 = 46. Let h = k + 55. Is h a multiple of 2?
False
Suppose 8 = -2*c + 2*q, -2*c = 2*q - 1 - 7. Suppose c*s + 3*s - 300 = 0. Is 25 a factor of s?
True
Suppose -2304 = 17*g - 29*g. Is 4 a factor of g?
True
Let j = 800 + -346. Is j a multiple of 12?
False
Let p = -5 - -9. Suppose 4*a + 80 = 3*u - a, -p*u - a = -122. Does 5 divide u*((-20)/(-8))/5?
True
Let c be ((1 - -1) + 6 + -36)*-4. Suppose 0 = -13*t + 11*t + c. Is t a multiple of 14?
True
Suppose 4*p - 9*p + 1560 = 5*b, 1242 = 4*b - 2*p. Is 13 a factor of b?
False
Let l = -11 + 14. Suppose 0 = -l*g - b + 477, -4*g + 805 = g + 5*b. Suppose -d - g = -3*d. Is d a multiple of 20?
False
Let l(z) = -z**2 - 81*z + 17. Is l(-9) a multiple of 12?
False
Let l(a) = 5*a**3 + 11*a**2 - 10*a + 12. Let x(t) = t**3. Let u(r) = l(r) - 6*x(r). Let z be u(10). Let o = z + 11. Does 21 divide o?
False
Suppose -6*i - 5 = -41. Suppose -253 = -i*b + 521. Is b a multiple of 44?
False
Let v be ((-24)/(-15))/(-4)*-60. Suppose -v = -4*f - 4. Suppose 0 = f*a - 416 + 66. Does 12 divide a?
False
Let o be 18 - (14/6 + 4/6). Suppose -3*d + 10 = -q - 21, -3*q + o = 0. Is d a multiple of 12?
True
Suppose 10*o - 4894 = 3846. Does 38 divide o?
True
Does 23 divide (-25 + 27)*(-46)/(-4)?
True
Let o(w) = 26 + 6 - 8 + 3*w. Let b(f) = f**2 - 22*f. Let g be b(22). Is o(g) a multiple of 12?
True
Let d be ((1 - 2) + -2)*(-22 + 13). Let r = d - 13. Is r a multiple of 2?
True
Let b be 0/((-7)/((-21)/(-6))). Suppose -3*w - 27 = 4*x, b*w - 3*w = -x + 12. Is 15/(-3)*(-7 - w) a multiple of 6?
False
Suppose 0 = d + m - 11, -5 = 5*m + 10. Let k = 8 - d. Is (-3)/k*2 + 52 a multiple of 20?
False
Is 60629/19 + (8 - 1) a multiple of 39?
True
Let c = 37 + -37. Suppose 3*s + 0*s + 4*n = 249, 4*s - 2*n - 310 = c. Is s a multiple of 17?
False
Suppose -4*j = -4*b + 8056, b - 1984 = 6*j - 11*j. Is b a multiple of 49?
True
Let z(y) = 39*y - 8. Let k be z(2). Suppose 6*b + b = k. Does 2 divide b?
True
Let d(p) = -14*p - 162. Does 17 divide d(-31)?
True
Let q(p) = 5*p**2 - 12*p + 9. Let r be q(5). Suppose 13*a = -r + 854. Is a a multiple of 14?
False
Suppose 6 = -2*w + u + 7, 0 = -2*w + 4*u - 14. Suppose 0 = -3*a - 5*j + 99 - 12, -15 = 5*j. Suppose -w*m + 182 = -a. Does 24 divide m?
True
Let a = -145 - -242. Let n = a - 49. Does 16 divide n?
True
Let z(f) = -f**2 - 49*f - 138. Does 15 divide z(-33)?
True
Let i = -1591 - -3643. Is i a multiple of 114?
True
Let i(m) = m**3 - 4*m**2 - 12*m + 3. Let y be i(6). Let f(s) = 8*s**2 + 2*s. Is 17 a factor of f(y)?
False
Let c(g) = 65*g - 435. Is c(11) a multiple of 3?
False
Let q(m) = 3*m - 6. Let s be q(12). Suppose 14 = 2*f + 3*o, 6*f - s = f - 5*o. Suppose 6*n = f*n - 10, -5*n = a. Is 7 a factor of a?
False
Let m be 224/12*(-3)/(-2). Let u = 84 - m. Suppose -u = -2*f - f - 5*q, -4*f + 5*q = -98. Does 17 divide f?
False
Suppose 2220 = 3*u - 3*c, u = -2*c + c + 740. Is u a multiple of 4?
True
Suppose l - 9 = 2*c + 2, -3*c = -2*l + 17. Let m = c - -8. Is (-4)/((-12)/75) + m a multiple of 14?
True
Let w = -506 - -525. Is w a multiple of 19?
True
Suppose 0*r = -r - 4. Is 0 - (19 + -2)*r a multiple of 13?
False
Let r(s) = s**2 + 18*s + 120. Is r(-40) a multiple of 25?
True
Let l = 2 + 1. Suppose -2*r - 11 = l. Let c = r + 21. Does 3 divide c?
False
Let h(v) = 8*v**2 + 2*v - 1. Let l be h(1). Suppose 0 = 5*g + l + 36. Does 2 divide (-4)/6 + (-78)/g?
True
Let v(a) = 3*a**2 - 14*a - 15. Is 3 a factor of v(7)?
False
Suppose 4*t + n - 115 = -t, -5*t - 4*n = -100. Is 24 a factor of t?
True
Suppose 2*t + 6 = 14. Suppose 2*l - 240 = -t*l. Does 10 divide l?
True
Let z be (-1)/2*(-7)/(35/200). Suppose 15*a = z*a - 220. Does 20 divide a?
False
Suppose -4*g - 32 = -40. Let z be (136/6)/(4/12). Suppose 5*l = -15, q - 3*l - g*l = z. Is q a multiple of 10?
False
Is 25 a factor of 4939/66*6 + 1?
True
Suppose -24 + 18 = -3*r. Suppose 5*a - 354 = -r*u - u, -4*a + 590 = 5*u. Is u a multiple of 18?
False
Suppose 0 = -32*g + 1538 + 574. Is 2 a factor of g?
True
Let w(q) = -q**2 - 40*q - 40. Does 33 divide w(-23)?
False
Let j = -403 - -406. Let c be (6/1)/(6/56). Suppose -c = -2*s + 2*z, -s - j*z = 2*s - 108. Does 7 divide s?
False
Is 21 a factor of 574/5*6120/272?
True
Let w = -30 + 52. Suppose -3*m = -8 + 56. Let v = m + w. Is 6 a factor of v?
True
Let i = -1090 - -2431. Is i a multiple of 54?
False
Suppose 5*x - 5 = 1065. Suppose 5*o = 3*o - x. Let i = 168 + o. Does 17 divide i?
False
Suppose -19*a + 22*a = 18. Let q(z) = z + 17. Is 8 a factor of q(a)?
False
Suppose -3*d = -52 - 140. Suppose 2*u - d = r, -2*u + 84 = -0*u + 4*r. Is 17 a factor of u?
True
Suppose b + 15*l - 16*l - 116 = 0, 4*b - l - 467 = 0. Is 9 a factor of b?
True
Let x(b) be the first derivative of -2*b**2 - 4/3*b**3 + 2 + 1/4*b**4 + 5*b. Does 26 divide x(6)?
False
Suppose -2*n + 808 = -0*j - j, 3*j - 1212 = -3*n. Is n a multiple of 30?
False
Let g(w) = 2*w**2 - 2*w - 4. Let u be g(5). Let c = 31 + u. Does 15 divide c?
False
Suppose -5 = 5*h + 2*m + 1, -3*h - 5*m = 15. Suppose -5*v = -h - 20. Suppose v*s = 8*s - 64. Is s a multiple of 8?
True
Suppose -5*s + 9*s = 4*t - 272, 220 = 3*t + s. Is 6 a factor of t?
True
Suppose 4*i = -0*i + 16. Suppose 0*n - 3 = 5*v - i*n, 11 = v + 5*n. Is (-33)/(-3) + (v - -1) a multiple of 8?
False
Let q(w) = w**3 + 2*w**2 - 2*w - 1. Let k be q(-3). Let i be 1/((-4)/(-24)) + k. Suppose 0 = -b - y + 11, i*b - 23 = 3*y - 4*y. Is b a multiple of 8?
False
Suppose -2*x - 2*x = -p + 