s?
True
Suppose -4*b + 5*o = -266, 0 = -b - 5*o - 0*o + 54. Does 16 divide b?
True
Suppose 2*d - 58 = 4*o - 5*o, 4*o - 228 = -4*d. Is o a multiple of 15?
False
Is (-2)/((-12)/111)*(2 + 8) a multiple of 37?
True
Let p(u) = -37*u**3 - 2*u**2 + 2*u - 2. Let c be p(2). Let j be (-10)/(-25) - 152/(-20). Is 13 a factor of 2/j + c/(-8)?
False
Let u be 18/(-1) + 0 + -1. Let j = u + 28. Does 8 divide j?
False
Let k be 27 + (-4 - (-6)/3). Let a(i) = 11*i**2 + i - 2. Let z be a(2). Let s = z - k. Does 14 divide s?
False
Let g = 38 + 63. Is g a multiple of 24?
False
Suppose 5*b - 4*c = 5, c - 6*c = -2*b - 15. Suppose 3*p - 170 = -b*g + 5*p, 4*g = -2*p + 136. Is g a multiple of 17?
True
Let g = 321 - 188. Is 36 a factor of g?
False
Let x be (-164)/3*18/(-6). Suppose -x - 16 = -3*i. Does 20 divide i?
True
Let r(f) = -14*f + 9. Let d be r(-6). Suppose -2*o = o - d. Is 20 a factor of o?
False
Let j = 131 + -76. Is j a multiple of 34?
False
Let g = 30 + -13. Let u be -2 + g - -2 - -1. Let i = u + -7. Does 6 divide i?
False
Let s = -27 - -48. Let w be (-2)/7 - (-6)/s. Suppose 0 = -4*v - w*v + 144. Is 18 a factor of v?
True
Suppose -495 = -3*z - 2*z. Is z a multiple of 9?
True
Suppose v - 3*p - 192 = 0, 2*v + p = -0*v + 391. Let c(w) = 19*w - 2. Let y be c(2). Suppose -b + 10 + y = -2*m, v = 5*b - 3*m. Is 18 a factor of b?
True
Let k(d) be the third derivative of -d**6/120 + d**5/30 - d**4/24 + 3*d**2. Is 16 a factor of k(-2)?
False
Suppose -3*f + 3*q + 91 = -8, f - 4*q - 48 = 0. Is f a multiple of 7?
True
Let t(o) be the first derivative of 9*o**2/2 + 4*o - 2. Suppose -2 = -3*h + 7. Does 13 divide t(h)?
False
Let u(o) = -5*o**2 + 1. Let m be u(-1). Let y be 2/8 + m/16. Suppose y = 3*z + 15 - 48. Is z a multiple of 9?
False
Suppose 2*s = 24 - 0. Does 14 divide 226/6 - 8/s?
False
Let g(h) = h**2 - 4*h - 21. Is 17 a factor of g(12)?
False
Let w be (4/6)/(6/9). Suppose -2*k + 9 - w = -2*u, -5*k = -2*u - 23. Is k a multiple of 5?
True
Let i = -6 + 8. Does 12 divide (36/(-21))/(i/(-14))?
True
Let d(w) = 15*w. Let k be 1 + (4 - 3) + -1. Is d(k) a multiple of 11?
False
Let f = -12 - -9. Is 8*((-51)/(-6) + f) a multiple of 11?
True
Let w be (195/(-12))/(1/4). Let v be w/(-9) + (-4)/18. Suppose 2*m = v*m - 240. Is 24 a factor of m?
True
Let o = 42 + -3. Is 13 a factor of o?
True
Let n = 9 - 3. Suppose 4*f = n*f - 12. Is 6 a factor of f?
True
Let x be 2/(-8) + 117/4. Let t = -21 + x. Is t a multiple of 7?
False
Let x = 3 - 6. Let y = x + 14. Let c(o) = -o**3 + 12*o**2 - 11*o + 6. Is 3 a factor of c(y)?
True
Let t = 11 + -6. Let l be (-296)/(-10) + (-3)/t. Let i = l + -10. Is 19 a factor of i?
True
Let v(m) = -m + 13. Let p be v(11). Suppose p*d + d = 0. Suppose d*z - 2*z = -56. Does 14 divide z?
True
Suppose 0*c - 2*c - 3*a = -5, 0 = -4*c - 4*a. Is 20 a factor of 8*c/3*-3?
True
Let v(y) = 21*y. Suppose 4 = 2*o, -4*o = -2*j - 0*j + 2. Let b be v(j). Does 4 divide b/12 - 9/12?
True
Let q = 5 + -1. Suppose -3*n + 64 = 5*c, -q*n + 90 - 10 = 4*c. Is n a multiple of 12?
False
Let f = -83 + 56. Let p = f - -65. Is p a multiple of 14?
False
Let i be (-447)/(-21) + 2/(-7). Let m = -12 + i. Suppose -4*l + 147 = d, 5*d - m = 6. Is 14 a factor of l?
False
Let z(y) = -y**2 - 11*y - 8. Is 2 a factor of z(-10)?
True
Let j = 6 - 0. Suppose 4*t + 112 = j*t. Does 14 divide t?
True
Suppose 0 = 5*d + 8 + 7, -5*d - 10 = -5*t. Let i be (0 - 21) + (t - -4). Does 2 divide (-2)/3 - 66/i?
False
Let d(s) = -9*s - 7. Does 11 divide d(-6)?
False
Suppose -j - 3*j = -152. Suppose 4*l - 3 = 5*h + j, -l + h = -10. Is 5 a factor of l?
False
Let j = -8 + 47. Let t = j - 22. Is 17 a factor of t?
True
Let o = 68 + -38. Is 15 a factor of 906/o + 2/(-10)?
True
Let f = 7 + 5. Suppose 3*v - 12 = f. Let r(x) = x**2 - 7*x - 5. Is r(v) a multiple of 2?
False
Is 16 a factor of 8/20 - (-636)/10?
True
Suppose -a = 2*a + 3, 2*j - a = 25. Let q be -2 + 1 - (-1 + j). Let k = 27 + q. Is k a multiple of 7?
False
Suppose 0 = 2*p + 17 - 3. Let c(g) = 6*g + 3. Let l(z) = -6*z - 4. Let b(x) = 5*c(x) + 6*l(x). Is b(p) a multiple of 11?
True
Is 15 a factor of (-1)/(1 - 200/196)?
False
Let g be (-2)/(5/(-4) - -1). Is 5 a factor of g + 1/1 + -2?
False
Let k be (-1)/((-2)/(-2)) + 7. Suppose 4*l = 3*g - 25, -4 = g - 5*l + k. Suppose 0*v - g = -3*v. Is v a multiple of 3?
False
Let i be -2 - (-2 + 8 - 2). Let j = -22 + 35. Let m = j - i. Does 19 divide m?
True
Let z(j) = j**3 + 6*j**2 - 5*j + 8. Let u be z(-7). Let i(x) = -6*x - 3. Let m be i(u). Suppose -l + 7 + m = 0. Is 11 a factor of l?
False
Let n(a) = 3*a - 6. Let h be n(4). Let b = 44 - h. Is b a multiple of 23?
False
Let f be 2/7 - 1886/(-14). Let z(h) = -h**2 + 4*h - 2. Let i be z(3). Is 16 a factor of 1/(i - f/138)?
False
Let f(z) = -10*z + 1. Suppose -5*y = w + 4*w - 45, -5*y + 3*w + 29 = 0. Let r(o) = o**3 - 7*o**2 + o - 9. Let u be r(y). Does 8 divide f(u)?
False
Does 35 divide 8*(-3)/(12/(-35))?
True
Is 27 a factor of 34/(-6)*(-2 - (8 - 1))?
False
Suppose -4*d + 3 = -d, -283 = -2*y + 5*d. Does 9 divide y?
True
Let j(a) = a**3 + 3*a**2 - 4*a - 5. Let k be j(-5). Does 6 divide (-14)/k - 143/(-5)?
False
Let c(y) = 5*y**2 - 15*y - 18. Let d(l) = 3*l**2 - 10*l - 12. Let p(x) = 5*c(x) - 8*d(x). Let n be ((-5)/(-10))/((-1)/12). Does 6 divide p(n)?
True
Suppose -2 = j - a, -6*a = -3*a - 6. Suppose 0*n - n = -36. Suppose j = -3*z - 5*w + n, -10 - 2 = -z - w. Is z a multiple of 12?
True
Let b(f) = 2*f**3 + 3*f**2 + 3*f. Let n = 5 + -8. Let j be b(n). Is (-136)/j - (-4)/18 even?
True
Let k(c) be the third derivative of -c**6/120 + c**5/12 - c**4/8 + 4*c**2. Is 9 a factor of k(3)?
True
Let i(g) = -9*g**3 + 2*g**2 - 1. Let t be i(-1). Does 11 divide t/35 - (-178)/14?
False
Let o = -49 - -107. Let i = 16 + o. Does 30 divide i?
False
Let f be (-15)/3*(-5 + 2). Let z be (10 - 5)/((-1)/f). Is 14 a factor of (-1)/(z/37 + 2)?
False
Suppose -2*u - 11 = -5*b, 19 = 3*u + 2*u + 3*b. Does 6 divide 1*(u*6 + -3)?
False
Suppose 0*o = -2*o + 4. Let g(k) = 4*k**2 - k - 1. Let s be g(3). Let z = s - o. Is 13 a factor of z?
False
Suppose 5*w + 120 = 9*w. Does 10 divide w?
True
Let f(n) = -23*n**3 - 6*n**2 + 5*n - 5. Let v(u) = u**2 - u + 1. Let g(x) = -f(x) - 5*v(x). Is g(1) a multiple of 13?
False
Let s = -166 - -334. Suppose -4*a = 3*t - s, 2*t = -4*a - 2*t + 164. Suppose 5*z + a = 5*b, -5*b + 5 + 8 = 3*z. Is 3 a factor of b?
False
Suppose 0 = k - 5*o - 14, 2*k = k - 4*o - 22. Let v be (-3)/(-9) - 322/k. Suppose v = 5*d - 2*d. Is 9 a factor of d?
True
Suppose 356 = 3*p - 163. Is 22 a factor of p?
False
Let a be ((-8)/12)/((-3)/(-9)). Let p(s) = -46*s**3 + 2*s + 1. Let v be p(-1). Is (2 - a)*v/12 a multiple of 14?
False
Let l(c) = 7*c**2 - 3*c + 2. Is 3 a factor of l(2)?
True
Let u(z) be the third derivative of z**6/120 - z**5/30 + 5*z**4/24 - 2*z**3/3 + 2*z**2. Let q be u(3). Suppose -2*w + q = -36. Is 14 a factor of w?
True
Does 16 divide (8/5)/(5/200)?
True
Is 3/(-5) + 161/35 a multiple of 2?
True
Let a(b) = 2*b**2 + 15*b - 9. Does 9 divide a(-12)?
True
Suppose -2*o - f - 6 = 0, 5*o - 5*f + 2*f + 26 = 0. Does 7 divide (-7)/(-14) - 82/o?
True
Let o be (-50)/4*(-8 - -4). Suppose 5*i = 4*j + 301, 3*j - 236 + o = -3*i. Does 22 divide i?
False
Suppose -d = -7*y + 3*y - 19, -y - 7 = -d. Suppose 4*a = -5*z + 8, -4*a + 0*z + 8 = -d*z. Suppose -a*i + 0*i = -24. Does 5 divide i?
False
Let j(l) = -l**3 + 8*l**2 - 4*l + 6. Does 27 divide j(7)?
True
Suppose t = -5*o + 25, 2*t = -2*o + 4 + 14. Suppose 348 = -k + t*k. Suppose -m + k = 2*m. Does 14 divide m?
False
Let v = 77 + -6. Is 12 a factor of v?
False
Suppose -30 = -2*d + 3*g, 5*d - 53 = g + g. Let h = -12 + d. Is h + 11 + 1 - -1 a multiple of 5?
True
Let p(a) = -93*a - 4. Let h be p(-3). Suppose 5 = 4*q - 15, -h = -5*c + 4*q. Is 15 a factor of c?
False
Suppose 0*i = -2*i. Suppose i*r - 29 = -r. Does 10 divide r?
False
Suppose 0 = 4*i, 0*i + 3*i - 2 = -b. Suppose -b*p + 16 = -5*y - 11, 5*y = 15. Is p a multiple of 17?
False
Let p be 5 + (2 - 3)*1. Suppose 0 = 2*m - d - 4*d - 35, -p*m - 4*d + 112 = 0. Does 23 divide m?
False
Suppose -p - 3*p = -848. Is 53 a factor of p?
True
Let f(m) = m - 6*m + 3*m**2 - 2*m**2 + 14*m**3 - 1 + 6*m. Does 5 divide f(1)?
True
Let b(q) = -22*q + 1. Suppose 5*w + 7 = 2. Does 6 divide b(w)?
False
Let w(z) = z - 7. Let l be w(