 Is i a multiple of 17?
True
Suppose -95 - 175 = -5*s. Is (-4)/((-8)/s) - -1 a multiple of 11?
False
Suppose 2*l - 30 = -3*l. Suppose 4*b = 2*n - 80, 0 = 2*n + 3*b - l*b - 76. Does 10 divide n?
False
Let h = 136 + -117. Does 19 divide h?
True
Does 4 divide ((-54)/(-12))/(2/4)?
False
Let v(a) = 55*a + 2. Is v(1) a multiple of 19?
True
Suppose 2 = -2*m + 4*m. Let b be m*3/(-6)*-4. Suppose b*o + 12 = 2*x, 0 = 5*x - 0*o - 2*o - 42. Is 6 a factor of x?
False
Is (-7)/((-21)/48) + -3 a multiple of 3?
False
Suppose -4*n - 2*h - 65 = 3*h, 5*h = -5. Let r = n + 25. Does 10 divide r?
True
Let m = 391 - 265. Is m a multiple of 21?
True
Let r(x) = -4*x - 12. Let b be r(-5). Suppose b*m - 3*m - 190 = 0. Is m a multiple of 12?
False
Let b be (-2 - 1) + 4 - -3. Let k = b + 6. Is 5 a factor of k?
True
Let l(m) = 22*m**3 - 1. Suppose -3*p + 2 = -4*f, 2*p - 6 = -4*f + 2. Is l(f) a multiple of 7?
True
Let v be ((-3)/9)/((-3)/18). Suppose v*d - 24 = -d. Is 2 a factor of (-4)/6 + d/3?
True
Suppose 4*n + 2*s - 273 = 15, 0 = -n - 2*s + 72. Is 9 a factor of n?
True
Let x be ((-4)/6)/(2/(-15)). Suppose 33 = x*u - 4*n + 3*n, 2*u - 4*n = 24. Is u a multiple of 6?
True
Let v = -16 - -18. Suppose v*g - 6 = 2*n + 6*g, 5*n = -3*g + 6. Is 2 a factor of n?
False
Let n(z) = -3*z**3 - z**2. Suppose 4*y - 3*p + 2*p - 4 = 0, 4*y - 2*p = 0. Let w = y + -4. Is 10 a factor of n(w)?
True
Let z be 6*(-2 + (-7)/(-3)). Is (-28)/(-2)*1*z a multiple of 14?
True
Let p be (-3)/(-2) - 1/(-2). Suppose i + p*i - 66 = 0. Is 11 a factor of i?
True
Let m = -5 - -5. Is m + (-22)/(-1) + 2 a multiple of 9?
False
Suppose 3*z = 15 + 48. Is z a multiple of 7?
True
Let p(d) = d**3 - 6*d**2 - 9*d + 2. Let y(u) = u + 16. Let h(a) = 5*a + 63. Let s(l) = -2*h(l) + 9*y(l). Let i be s(10). Is p(i) a multiple of 20?
False
Let a be (-10)/(-15) + (-476)/(-6). Suppose 0 = 4*u + 3*s - a, -30 - 58 = -4*u - 5*s. Is 13 a factor of u?
False
Let z = 13 - -1. Is z a multiple of 14?
True
Suppose -6*v = -v - 55. Does 4 divide v?
False
Suppose -2*x + 20 = -50. Is 17 a factor of x?
False
Suppose -8 = -c - 5. Let j = -5 + c. Is (54/(-2) - 1)/j a multiple of 11?
False
Let f(l) = -l**3 - 7*l**2 + 5*l. Is 50 a factor of f(-10)?
True
Suppose 2*t + 0*t + f = 14, 2*t - 2*f - 2 = 0. Suppose -2*b - 3*m + 8*m - 4 = 0, t*b - 36 = m. Does 8 divide b?
True
Let d be 6*2 - (-1 + 2). Let j = 53 - d. Does 21 divide j?
True
Let q(a) = -a**3 + 9*a**2 + 11*a + 2. Does 6 divide q(10)?
True
Let a = 59 + 6. Does 15 divide a?
False
Let d(v) = -v**3 - 11*v**2 + 4*v + 12. Let x(c) = -c**3 - c**2 + 1. Let a(l) = -d(l) + 2*x(l). Let h be ((-12)/(-10))/(6/40). Does 22 divide a(h)?
True
Let g(c) = c + 6. Let m be g(-3). Let y(b) = -b**2 + 6*b + 2. Let s be y(6). Suppose n + m*n = s*o + 72, -2*n + 3*o = -44. Is n a multiple of 8?
True
Suppose 6 + 9 = 5*d. Let k(a) = 8*a + 2. Does 13 divide k(d)?
True
Let o be (-2 + 5)/(-3) - -46. Suppose 3*b - 6 = 0, -4*u = -5*b + o + 53. Let v = -10 - u. Does 7 divide v?
False
Let u(m) = 7*m - 36. Is u(7) a multiple of 9?
False
Let t = -85 + 50. Let m = 18 + t. Let s = 36 + m. Is 8 a factor of s?
False
Let g = 4 + 3. Does 4 divide g?
False
Let d(t) = -t**3 + 5*t**2 + 8*t + 1. Let r(q) = 2*q**3 - 2*q**2 - q. Let l be r(2). Does 11 divide d(l)?
False
Suppose 24 = 9*n - 12. Does 4 divide n?
True
Let v = 9 + -4. Let g = 12 - 7. Suppose n = -3*a + 4, v*n + g*a - 43 = -3. Is n a multiple of 5?
True
Let q(u) = u**3 + 15*u**2 + 4*u - 44. Does 48 divide q(-14)?
True
Suppose -5*w + 21 = -14. Is 7 a factor of w?
True
Let y = 10 + -7. Suppose -y*j = j - 160. Is j a multiple of 20?
True
Suppose -2*o = 4*t + 66, 3*o + 2 = -13. Let r = 21 + t. Let m(n) = 3*n + 5. Is 13 a factor of m(r)?
True
Suppose 0 = -4*g + 6*g + 14. Let m(h) = h + 1. Let v(z) = z**2 + 6*z - 1. Let i(y) = -2*m(y) + v(y). Does 15 divide i(g)?
False
Let z = -17 + 11. Let q = z + 3. Does 16 divide ((-32)/6)/(1/q)?
True
Let o be (-4)/2*(-11 + -2). Does 6 divide (-380)/(-65) - (-4)/o?
True
Suppose f + 6 = -f + 5*x, -3*x - 2 = -4*f. Let w be -2*(-2)/f*3. Let q(j) = -j**2 + 6*j + 6. Is q(w) a multiple of 5?
False
Let y(h) be the first derivative of -7*h**4/4 + h**3/3 + h**2/2 + 42*h + 1. Let w(s) = s**3 - 1. Let d(k) = 6*w(k) + y(k). Does 18 divide d(0)?
True
Suppose -128 = -r + 40. Suppose -648 + r = -5*j. Does 26 divide j?
False
Let d(w) = w**3 - 2*w - 3*w**2 + 3*w**2 + 3*w**2. Is 4 a factor of d(2)?
True
Let g(d) = -d**3 - 4*d**2 - 3*d + 4. Let h be g(-3). Let r = 6 - h. Does 15 divide r/8 + 441/12?
False
Let q(s) = -5*s**3 + 27*s**2 + 19*s - 2. Let y(r) = 2*r**3 - 9*r**2 - 6*r + 1. Let i(p) = -3*q(p) - 8*y(p). Is 6 a factor of i(-8)?
True
Suppose -2*l - y = -159, -l = y - 0*y - 78. Is 9 a factor of l?
True
Let t = 2 + -2. Let p(b) = -b + 2*b + 49 + 5*b**3 - b**2 - b**3 - 3*b**3. Is 20 a factor of p(t)?
False
Let v = -32 - -149. Is 6 a factor of v?
False
Let t(y) = -2*y. Does 14 divide t(-9)?
False
Let k(g) = 3*g**2 + 21*g - 15. Let t(x) = x**2 + 10*x - 7. Let o(z) = -2*k(z) + 5*t(z). Is 7 a factor of o(6)?
True
Let g(k) = k**2 + k - 1. Let l be g(-4). Suppose -2*h = 3 - l. Suppose -h*x + 133 + 45 = d, -3*d = 4*x - 182. Is 22 a factor of x?
True
Let m be 8/1 + -3 - 1. Suppose 3*v + m*t - 163 = 0, 3*v = 4*v - t - 45. Does 12 divide v?
False
Let i = 340 - 200. Is 28 a factor of i?
True
Suppose 0 = -2*v + 2*l + 19 + 7, 3*l - 87 = -4*v. Does 9 divide v?
True
Let b be (1 + 12/(-9))*0. Is 39 - (-1 - (b + -2)) a multiple of 18?
False
Suppose 4*r = 5*q + 49, -5*r + 2*q + 2*q = -50. Let p = -6 - -13. Suppose -l + 4*b = -r, b - p = -4*l - 0*b. Is l a multiple of 2?
True
Does 12 divide 498/6 - 3/(-3)?
True
Suppose 2*r = -r + 3*m + 498, -4*r = m - 689. Suppose r = 5*a - 3*w, 13 - 1 = 4*w. Is 12 a factor of a?
True
Suppose 8 = 2*m + 4*x, -3*m + 3*x = -27 - 12. Let o = m - 5. Suppose -t = -5 - o. Is t a multiple of 5?
True
Suppose -1720 = -5*y - 0*y. Does 54 divide y?
False
Suppose n = j - 10, -2*j - n = j - 38. Let a = 25 - j. Does 8 divide a?
False
Let v(w) = w**2 - 14*w - 84. Does 6 divide v(-6)?
True
Let l(k) = 18*k**3 + k**2 + k - 1. Let x be l(1). Let w = x - -26. Does 15 divide w?
True
Let v(o) = o**2 + o + 82. Is 22 a factor of v(0)?
False
Suppose 2*p = -8 + 2. Let j(l) = -l**3 - 2*l**2 - 4. Let f be j(p). Let t = f - -5. Is 5 a factor of t?
True
Let u(p) = 50*p - 1. Let w be u(5). Does 10 divide w/6 - 6/4?
True
Suppose l = -v, -5*v = l + l - 9. Does 3 divide v?
True
Does 27 divide (-371)/(-14)*(-4)/(-2)?
False
Let u = -5 + 9. Let p = u - -6. Is p a multiple of 10?
True
Let v = 20 + -8. Does 7 divide v?
False
Let o(z) = -4*z - 7*z + z**2 + 3*z. Is o(9) a multiple of 6?
False
Let u(j) = -2*j - 20 + 5 + 6*j. Is u(7) a multiple of 3?
False
Suppose -5*h + 8 = -12. Suppose x = 2*w + 27, -h*x + 79 = x + 4*w. Does 6 divide x?
False
Suppose -4*o = -5*s - 5*o - 4, -o = -2*s - 3. Is 7 a factor of (-208)/(-10) + s/(-5)?
True
Suppose 4*p = p - 3*h - 267, 4*p - 3*h + 363 = 0. Let i = -58 - p. Does 15 divide i + -1 + (3 - 1)?
False
Suppose -102 = 3*p - 519. Is p a multiple of 42?
False
Let x(q) = 3*q**2 + 3*q - 3. Let w(l) = 14*l**2 + 16*l - 16. Let a(p) = -3*w(p) + 16*x(p). Is a(-1) a multiple of 6?
True
Let i(g) = g**3 + 12*g**2 + 9*g + 1. Does 7 divide i(-11)?
False
Let y be ((-4)/(-8))/((-2)/(-20)). Suppose -y*g + 3 + 6 = -3*f, 4*g + 9 = -3*f. Let j(v) = -v**3 - 3*v**2 - 3*v + 2. Is j(f) a multiple of 3?
False
Suppose 0*n = n - 3. Let g be (-258)/(n/1)*-1. Suppose -2*t + g = 3*p + 3*t, -5*t + 20 = 0. Does 11 divide p?
True
Let f(y) be the third derivative of 91*y**4/24 - y**3/6 + 7*y**2. Is f(1) a multiple of 19?
False
Let z(r) = r**2 - 3*r + 2. Let p be z(2). Let t = p - 0. Suppose 2*x + j - 51 = t, -5*j + 6 - 4 = -x. Is x a multiple of 16?
False
Suppose -339 = 4*z - 7*z. Is z a multiple of 12?
False
Suppose u - 3 = -2. Suppose 5 + u = 2*k. Suppose -i + 4*l = -28, -k*i = -3*l - 53 - 40. Is i a multiple of 16?
True
Let o be (-62)/8 - (-15)/20. Is (-6*1 - 3)*o a multiple of 24?
False
Let w = 359 - 178. Suppose -3*p + w = p - 5*u, -5*p + 180 = 3*u. Is 13 a factor of p?
True
Suppose -2*b = 3*b - 25. Does 5 divide b?
True
Let x(j) = j. Let u be x(4). Let w(r) = -r**3 + 3*r**2 - 2*r. Let i be w(2). Suppose i = f, 0 = 5*y - 2*f + u*f - 60. Is 7 a factor of y?
False
Let s = 0 - 6. Suppos