)/w)/(6/(-18)). Let a = 16 + o. Does 4 divide a?
True
Let b be 5/2*(-1 - -3). Suppose -b*m - 5*r = -r - 276, 4*m - 223 = -r. Is m a multiple of 22?
False
Is 17 a factor of (-75 + 4)/((-2)/(-2)*-1)?
False
Let x(q) = 0 - q**3 + 2*q - 4 - 2*q**2 + 9*q**3 - q**3. Is 12 a factor of x(2)?
True
Suppose 21 = -5*x + 111. Does 6 divide x?
True
Let i = -1 - 13. Is 7 a factor of (-1 + 0)/(2/i)?
True
Let q(m) = -m**3 + 5*m**2 + 6*m + 7. Let d be q(5). Let j = -1 + 1. Does 17 divide (d - 2) + -1 - j?
True
Let i(f) = 15*f - f - 3*f + 3*f**2 - 7*f. Suppose -3*x - 7 + 1 = 0, 8 = -2*c - x. Is i(c) a multiple of 4?
False
Let w(s) = s**3 + 4*s**2 - 4*s - 2. Let z = -7 + 3. Is 7 a factor of w(z)?
True
Suppose 11*i = 438 + 849. Is 23 a factor of i?
False
Let y be (-3)/((-2)/4*2). Let w = 0 + y. Suppose -w*g - g = -16. Does 3 divide g?
False
Suppose -9 = -2*d + 11. Is d a multiple of 10?
True
Suppose 3*c - 145 = 2*c. Suppose -4*y + c - 33 = 0. Is 9 a factor of y?
False
Suppose -2*i + 29 = j - 52, 0 = 3*i + 3*j - 120. Is 9 a factor of i?
False
Suppose -5*v - 2*q + 200 = 3*q, v = q + 38. Is 13 a factor of v?
True
Suppose 0*c = 3*c + 3, 4*c = -4*j + 1336. Is j a multiple of 57?
False
Let j be (0*(-4)/(-12))/(-1). Suppose 28 = -j*w + w. Is 23 a factor of w?
False
Let v(q) = 7*q + 5. Let x(n) = -8*n - 5. Suppose t - 4*g + 3*g - 6 = 0, -2*t = -5*g - 18. Let y(w) = t*x(w) + 5*v(w). Is 10 a factor of y(7)?
False
Suppose m - 5 = -2*b, 3*b + m - 9 = -1. Does 3 divide b?
True
Let d = -155 + 74. Let o = d - -114. Is 11 a factor of o?
True
Let h = -73 + 131. Let o = h - 30. Does 16 divide o?
False
Let w(g) be the third derivative of g**5/15 - g**4/24 - 5*g**3/6 + 4*g**2. Is 14 a factor of w(3)?
True
Is (-76)/(-14) + 60/105 a multiple of 6?
True
Let g(a) = -12*a**3 - 6*a**2 + 6*a. Let t(b) = b**3 - b**2 + b. Let o(c) = -2*g(c) + 12*t(c). Suppose 5*s - 2*d - 5 = 2*d, s - 5*d = 1. Is 18 a factor of o(s)?
True
Suppose 384 = -4*r + 6*r. Is 21 a factor of r?
False
Let w(n) = n**2 + 9*n + 10. Let j be w(-8). Suppose 5*c = j*c. Suppose c = -5*g - x + 15, 4*g + 4*x = 5*x + 21. Is 2 a factor of g?
True
Suppose -2 = -2*q + 2. Let v be 80/(-15) + q/6. Let b(m) = -3*m - 11. Is b(v) a multiple of 3?
False
Let b(h) = -h + 6. Let j be b(2). Does 9 divide (j - 1)*43/3?
False
Is ((-5)/10)/(-1 - (-162)/164) a multiple of 7?
False
Suppose -2*s + 56 = 2*s. Suppose -m + s = 4*u, -6 = -3*m - 0*m. Is u a multiple of 3?
True
Let l be -1 + (1 - 1) + 2. Does 14 divide (1 - 0)/(l/23)?
False
Does 8 divide (72/5)/(69/460)?
True
Let f = -128 - -37. Let b = -21 - f. Is b a multiple of 24?
False
Let f = 81 + -26. Is f a multiple of 14?
False
Let f(t) = 2*t + 6. Does 11 divide f(8)?
True
Let w = -34 - -47. Is 2 a factor of w?
False
Does 6 divide (-2)/8 + 803/44?
True
Let x(o) = o**3 - 7*o**2 - 8*o + 2. Let h be x(8). Suppose h*m - 4*p = p + 44, 4*m - 88 = 2*p. Is m a multiple of 11?
True
Suppose r = 3*i - 492, -4*i + 666 = 4*r - 2*r. Is 13 a factor of i?
False
Let p = -94 - -321. Is 31 a factor of p?
False
Let t(h) = -20*h + 11. Let w(o) = -o. Let m(f) = -t(f) + 5*w(f). Is 21 a factor of m(4)?
False
Suppose 4*k = 17 - 1. Let n(o) = 2*o**2 - 3*o + 6. Does 13 divide n(k)?
True
Let z(y) = -y**3 + 6*y**2 + y. Let t be z(6). Let u be 2/(-3) - 66/(-18). Suppose -5*j + t = -u*j. Is 2 a factor of j?
False
Let h(o) = -o**3 - o**2 - o + 136. Let q be h(0). Let i = q - 48. Is 22 a factor of i?
True
Let d = -1 - -3. Suppose 3*n - 4*z = n + 16, -5*n + 16 = d*z. Is n a multiple of 2?
True
Let b = -364 - -540. Is 16 a factor of b?
True
Suppose 2*m - 2*x + 3*x = 70, 0 = m + 4*x - 35. Suppose 2*j = -5*r - m, 0*r = -r + 2*j + 5. Does 8 divide (-6)/(-15) + (-78)/r?
True
Let t(q) = 4*q**2 - 2*q + 17. Does 34 divide t(6)?
False
Let a = -53 - -128. Is 25 a factor of a?
True
Suppose 0 = -s + 5*v + 32, 0*s - 2*s - 4*v = -36. Let z = s - 12. Is z a multiple of 5?
True
Suppose -2*u = -5*u + 3. Let p(m) be the second derivative of 7*m**3/6 + 7*m. Is 7 a factor of p(u)?
True
Suppose -2*d + 5*k + 100 = 0, -d + 0*d + 36 = k. Is d a multiple of 10?
True
Let j(g) = g**2 - 5*g - 4. Is 31 a factor of j(-6)?
True
Let f(u) = -u + 3. Is 6 a factor of f(-3)?
True
Let h(r) = -8*r - 3. Suppose -4*b = 5*n + 18, -4 = 3*b - n - 0*n. Let o be h(b). Let z = o - 7. Is 4 a factor of z?
False
Suppose -3*q + 0*q + 42 = 0. Suppose -q - 6 = -2*r. Is r a multiple of 5?
True
Let u(z) = 4*z**2 - z - 2. Let x be 51/9 - 4/6. Let q = x - 3. Does 6 divide u(q)?
True
Suppose -6*z - 27 = -3*z. Let o(d) = d**2 + 2*d + 8. Does 19 divide o(z)?
False
Let a be 16 + (4 + -2 - 0). Let k(l) = -l**2 + 2*l + 2. Let h be k(5). Let r = h + a. Does 5 divide r?
True
Let m = 207 - 112. Let y = m + -65. Is 10 a factor of y?
True
Suppose -4*d + 2*d + 18 = 0. Suppose 3*v = 21 + d. Does 7 divide v?
False
Let l(b) = 4*b - 30. Is l(9) a multiple of 6?
True
Let f = -52 - -127. Is f a multiple of 25?
True
Let u(a) be the second derivative of a**4/6 + 3*a**3/2 - 2*a**2 - 2*a. Is u(-8) a multiple of 13?
True
Let i(g) = 7*g. Let v(l) = -15*l. Let y(n) = -13*i(n) - 6*v(n). Let r be y(-3). Suppose 0 = -7*f + r*f + 24. Is f a multiple of 3?
True
Suppose -21 = g - 6*g - t, 5*g = -4*t + 24. Let u = g - -35. Is 15 a factor of -8*1*u/(-12)?
False
Let z(v) = -v**3 - v + 5. Let u = -6 - -6. Let l be z(u). Suppose -g - 2*p = -5*g + 108, -l*p = 3*g - 68. Is g a multiple of 8?
False
Suppose 4*m + 128 = 4*s, -4*m - 14 = -2*s + 58. Does 8 divide s?
False
Let f = -6 - -67. Does 11 divide f?
False
Let b be 462/9*(-6)/(-4). Let c = b + -35. Does 17 divide c?
False
Let n(h) = 4*h - 3. Let j be -3*(-1 - (1 + -3)). Let a be j/9 + 22/3. Is n(a) a multiple of 14?
False
Suppose b + 0*b = -4, -4*m - 5*b = 52. Let j = -6 - m. Is 11 a factor of j/8 - 63/(-4)?
False
Let m = -30 + 56. Suppose -p - m = -2*p. Does 12 divide p?
False
Suppose 0*l + 9 = 3*l. Suppose -l*s + 49 = 2*s + 3*p, 4*s + 5*p = 34. Is s a multiple of 5?
False
Let z(p) = 2*p**2 + 7*p - 36. Is 8 a factor of z(-11)?
False
Suppose 4*p - 1 = 191. Is 24 a factor of p?
True
Suppose -15 = -v - 3*q, -v - 5*q = 2*v - 61. Does 2 divide v?
False
Let r(f) = -3*f - 3. Let i be r(-5). Let c(x) = x**2 - 7*x + 12. Let a be c(5). Suppose -a - i = -z. Is 7 a factor of z?
True
Let k = 7 + -8. Let i = k + 7. Is 11 a factor of 14 - 1/2*i?
True
Suppose h + 50 = 3*h. Suppose 0 = -2*z + 17 + h. Is 21 a factor of z?
True
Let x(u) = u**2 - 9*u + 10. Let p be x(5). Is (-2448)/(-26) - p/(-65) a multiple of 30?
False
Suppose 2*m + 5*c = 17, -m + 3*c - 2 + 5 = 0. Let b(u) be the third derivative of u**4/24 + 2*u**3/3 - u**2. Is 5 a factor of b(m)?
True
Suppose 0 = h - 0*h - 123. Let o = h - 62. Is 21 a factor of o?
False
Let u be (2/(-5))/(1/20). Let p(x) = -6*x - 7. Does 16 divide p(u)?
False
Suppose -5*s = -5*c - 15, s - 15 = 5*c - c. Let p be 5/(-10) + (-2)/c. Suppose -4*z + 28 + 12 = p. Is z a multiple of 5?
True
Suppose 5*q = q + 16. Suppose 3*b - 3*o - 18 = 0, -q*b = o - 5 - 9. Is ((-44)/(-3))/(b/6) a multiple of 22?
True
Let g(a) = 3*a**2 + a + 3. Is 13 a factor of g(-2)?
True
Let c be (-1 + 1)*(-7 + 8). Suppose c = 5*n + 2*s - 179, -2*s = -n + 2*s + 49. Is 16 a factor of n?
False
Let g(s) = s**3 + 8*s**2 - 22*s - 3. Is g(-9) a multiple of 19?
True
Let c(j) = 42*j**3 - j**2. Let i be 4/16 + (-105)/(-12). Suppose 2*v + w = -3 + 2, -i = 3*w. Is c(v) a multiple of 14?
False
Suppose 0 = -4*d - 20, -3*c + 0*c = -4*d - 53. Let m = c - -22. Is 11 a factor of m?
True
Suppose -3*o + m + 21 = 0, 7 = -o + 4*m + 3. Let l(d) = d + 0*d - 2 - o*d. Is l(-4) a multiple of 9?
False
Suppose 5 = 5*t - 20, 2*v - 75 = 3*t. Is v a multiple of 21?
False
Let r(z) = -z + 10. Let s be r(0). Suppose 4*t = 2*p - s, -5*t - 2*p - 5 = 21. Is 5 a factor of (-2)/4 + (-62)/t?
True
Suppose -5*j - 206 = -656. Let i be (-14)/3 + (-6)/(-9). Is 13 a factor of j/i*(-12)/15?
False
Let i(h) = h**2 + h + 54. Does 9 divide i(0)?
True
Let s(y) = y**3 + y + 2. Let v be s(0). Let p = 53 - 37. Suppose -v*o + p = -12. Does 14 divide o?
True
Suppose h = 6*h. Suppose h = -c + 19 - 1. Is c a multiple of 7?
False
Let y be (-4)/10 + 772/(-20). Let a = 69 + y. Suppose v - 3*v + a = 0. Is 15 a factor of v?
True
Let d(t) = -5*t**3 + 2*t**2 + 5*t + 4. Does 12 divide d(-3)?
False
Suppose 2*q = 5*q. Suppose 0 = -q*a + 4*a - 32. Is 4 a