 18 divide o?
False
Suppose 3*y = -4*f + 2, 0 = -2*f - 1 - 1. Let z(w) = 5*w + 3 - 3. Does 4 divide z(y)?
False
Suppose i + 3*i - 32 = 0. Suppose -z = 3*z - i. Suppose 2*n = -5*r + 46, 4*n + 30 = z*r - n. Is 4 a factor of r?
False
Suppose 20*h - 24*h + 432 = 0. Is h a multiple of 21?
False
Let x = 0 + 2. Suppose -x*m + 57 = -i, i + 6 = m + 5*i. Does 9 divide m?
False
Suppose 1 = -a - 0*a. Let l be a - 1 - (-16)/4. Suppose -112 = -2*g - l*g. Is g a multiple of 14?
True
Suppose 88 = 4*q - 2*a, 0*a + 44 = 2*q - 2*a. Is 12 a factor of q?
False
Let i(v) be the third derivative of -v**5/60 - v**4/8 + v**2. Is i(-2) even?
True
Let p be 4/(-6)*(2 - 5). Let d(u) = -5*u - 1. Let i be d(-1). Suppose -5*a - 5*q = 10 - 85, -i*q + 38 = p*a. Does 11 divide a?
True
Is 20 a factor of -3 - (3 - (0 + 125))?
False
Does 27 divide 320/7 + 2/7?
False
Suppose 0 = -2*x - 3*x. Suppose z - 2 = 3*s, -4*z - 4*s + 5 + 3 = x. Is 2 a factor of z?
True
Let w = 90 + -39. Is w a multiple of 17?
True
Suppose 2*q + 4 = 2*k, 1 = 4*q + 2*k - 3. Suppose -j + 5*c = -70, q*j + 2*j = -3*c + 114. Is 15 a factor of j?
True
Let v = 16 + -17. Does 8 divide 1/(2/32) + v?
False
Let l = 75 + -28. Is l a multiple of 5?
False
Suppose -4*s + 53 = -263. Let g = s - 40. Does 12 divide g?
False
Suppose 5*p - 3*b - 75 = b, 45 = 3*p - 5*b. Does 5 divide p?
True
Let v = 6 + -3. Suppose 0 = -h - 4*j + 15 + 7, -v*h + 4*j = -50. Suppose 2 = -x + h. Is x a multiple of 6?
False
Let j be 10 - (-2)/(3 - 2). Is j*(1 - (-2)/(-4)) a multiple of 3?
True
Let i = 0 + 3. Let k(r) = r**3 + 2*r**2 - 2*r - 1. Is 19 a factor of k(i)?
True
Suppose 5*o + 8 = -2. Let u(h) = -6*h**3 + 2*h**2 + 2*h - 1. Does 13 divide u(o)?
False
Let x = 171 - 104. Does 4 divide x?
False
Let o be 34/10 - (-2)/(-5). Suppose -3*z + 9*w - 4*w + 75 = 0, 0 = -o*w. Suppose -5*d = -z - 0. Does 2 divide d?
False
Let k(s) = 7*s**2 - s**3 + 2 - s**2 - 2*s - 2*s**2. Let w(b) = b**3 - 5*b**2 + 5*b - 1. Let z be w(4). Is k(z) even?
False
Let d = 199 - 137. Suppose 3*w = d + 73. Is 15 a factor of w?
True
Let k = -12 + 25. Does 3 divide k?
False
Is 11 a factor of (-16)/(-12)*549/6?
False
Suppose 3*t - 5*l - 109 = 41, -t = -l - 52. Suppose -3*k - 25 = -8*k. Suppose 3*c - 18 = k*y - 3*y, 0 = -5*c - 5*y + t. Does 8 divide c?
True
Suppose 17*l + 18 = 14*l. Does 6 divide l/(1/((-10)/4))?
False
Suppose -j = 3*j - 412. Does 25 divide j?
False
Let u = -4 + 4. Is 21 a factor of 78 + (u + 0)/1?
False
Suppose -1 = 3*r - 49. Is 4 a factor of r?
True
Let j = 25 - 7. Let r = j + 2. Is r a multiple of 20?
True
Let z(i) = 3*i**2 - 20*i - 17. Does 14 divide z(13)?
False
Let y(q) = q**3 - 3*q**2 + q - 3. Does 27 divide y(5)?
False
Does 32 divide ((-144)/(-14))/(18/168)?
True
Is 4/22 - (-5202)/187 a multiple of 23?
False
Suppose -4*q + 325 + 167 = 0. Does 19 divide q*(-1 - (-12)/9)?
False
Suppose -3*q = 5*r - 0*q - 66, 5*q = 10. Suppose -r = 4*u, 5*a - 4*u = -7*u + 81. Does 18 divide a?
True
Let r = 10 - 4. Let c = r + -3. Is c - (-42 - (1 - 1)) a multiple of 15?
True
Let a = -2 - 4. Does 4 divide (-4)/a + 44/6?
True
Let u be (32/6)/(5/30). Suppose -3*i = -2*b - u, 0 = 3*b + 4 + 8. Is 3 a factor of i?
False
Let s = 172 + -82. Is 15 a factor of s?
True
Let n(q) = -q**3 - q**2 - q - 1. Let h(i) = -2*i**3 - 4*i - 7. Let v(z) = -h(z) + 3*n(z). Is v(-4) a multiple of 16?
True
Suppose -2*c - 2*s - 8 = 0, s - 6*s = -25. Let t(y) = -y**3 - 8*y**2 + 6*y + 5. Does 7 divide t(c)?
False
Let o(y) = y**3 - y**2 - 4*y + 6. Does 10 divide o(6)?
False
Let l(b) = -72*b**3 - 3*b**2 - 2*b - 1. Does 11 divide l(-1)?
False
Let j(r) = 38*r + 2. Does 51 divide j(8)?
True
Suppose -7*i = -2*i, 0 = 2*z + 2*i - 4. Is (-1)/(-2) + 31/z a multiple of 16?
True
Let u(s) = 2*s + 2*s + 2 + 1. Let a = 19 + -16. Is 15 a factor of u(a)?
True
Let u = 139 + -85. Suppose -u = -5*l + 1. Does 5 divide l?
False
Let u(b) = -b + 9. Let t be u(5). Let d(y) be the second derivative of 5*y**3/6 + y**2 + 5*y. Does 9 divide d(t)?
False
Suppose -3*k = -7*k + 8, -4*k - 8 = -4*d. Suppose -6 - d = -h. Is h a multiple of 10?
True
Let t = -4 + -10. Let l be (-94)/(-18) - t/(-63). Suppose 4*o + 3*z = 34 + 44, -o = -l*z - 8. Is o a multiple of 18?
True
Let g(r) = 7*r**2 + 10*r - 15. Does 10 divide g(5)?
True
Suppose -x = 3*x - 20, -3*m = -x - 43. Let v be 7/(-2)*(-3 + 1). Let c = m - v. Does 8 divide c?
False
Does 28 divide (-7350)/(-110) + 2/11?
False
Let q(i) = -i**3 + i**2 - 22. Is 17 a factor of q(-5)?
False
Suppose 2*q + 20 = -5*v, 3*q + v = -v - 8. Suppose q = -4*x + 11 + 29. Let r(d) = -d**3 + 10*d**2 + d - 2. Is 3 a factor of r(x)?
False
Suppose -4*m + 32 = -6*m. Let j(y) = 10*y**2 + 4*y + 2. Let k be j(-2). Let g = m + k. Is g a multiple of 9?
True
Let z be 2/(-4)*0/6. Does 6 divide 12 - z*(-2)/(-4)?
True
Suppose 0*q + 5*q + 167 = 3*x, -5*x + 5*q = -285. Is 10 a factor of x?
False
Let r(v) be the third derivative of v**6/120 + v**5/6 + v**4/4 + 5*v**3/6 + 10*v**2. Let w = 22 - 31. Does 8 divide r(w)?
True
Suppose -3*l + 3*t = 4*t - 3, 4*t = -5*l - 2. Suppose l*o + 2*g = -0*o - 10, -g - 5 = -5*o. Suppose 0 = i - o - 7. Does 3 divide i?
False
Suppose -72 = -4*i - c + 3*c, 72 = 4*i + 4*c. Suppose a - 2*s = 2*s + i, a - 2*s = 22. Does 12 divide a?
False
Let m = -2 - 8. Does 14 divide 20/8*(-156)/m?
False
Suppose -21 - 15 = -5*u + 2*l, 5*l = -15. Suppose -3*f = -u*f + 3. Suppose -1 = -b + f. Does 2 divide b?
True
Let i = -4 - -9. Suppose i*h - 50 = 5. Suppose 4*t + 26 = 2*d, 0 = -d - 0*t + 4*t + h. Is d a multiple of 8?
False
Let g(a) = -3*a**2 + 4*a - 7. Let y be g(5). Let q = 110 + y. Does 12 divide q?
True
Let r(i) = -i**3 - 3*i**2 - 2*i - 4. Let w(p) = -p**2 - 9*p - 4. Let t be w(-9). Let x be r(t). Suppose -16 = -4*d + x. Is d a multiple of 3?
True
Suppose 22*d - 23*d = -60. Is d a multiple of 13?
False
Let m(f) = -f**3 - 8*f**2 + 6*f + 3. Let k be m(-9). Let t = k + 5. Suppose 0 = y + q - 11, -4*y + y - q + t = 0. Is 6 a factor of y?
True
Let w be 7 + -1 + 1 + -2. Suppose -4*y + 8 = -3*y + 2*p, p + 95 = w*y. Is y a multiple of 9?
True
Suppose 39 = 3*m + 3*t, -3*m = -2*t - 2*t - 46. Let i = 18 + m. Is i a multiple of 7?
False
Suppose 2*l - 5*l = -9. Does 3 divide l?
True
Let j = -5 - -125. Is 9 a factor of j?
False
Let m(l) = -l**3 + 5*l**2 - 5*l + 3. Is 4 a factor of m(3)?
False
Let a = 104 + -32. Is a a multiple of 18?
True
Let r be 150/3*(-4)/10. Suppose 3*o = 5 + 1. Let t = o - r. Is t a multiple of 11?
True
Let r(x) = -x + 2. Let j be r(-3). Suppose -2*s - 2*v + 1 + 1 = 0, 3*v - 9 = -j*s. Suppose -2*l - 234 = -4*o, -s*o + 5*l = -99 - 94. Does 20 divide o?
False
Is (-746)/(-10) + -4 + (-22)/(-5) a multiple of 25?
True
Let m(o) = o**2 + o - 1. Let r(s) = 4*s**2 + 6*s. Let c(l) = 5*m(l) - r(l). Does 10 divide c(-5)?
False
Let r(l) = l**3 + 7*l**2 - 8*l - 4. Let t be r(-8). Does 10 divide 47 - (0 - 0) - t?
False
Let d = -2 + 1. Let r be 7 + 0 - (1 - d). Suppose -22 = 5*z + r*p - 177, -z - 4*p + 22 = 0. Does 13 divide z?
False
Let n(j) = -4*j**3 + 8*j**2 + 13*j - 3. Let t(r) = 5*r**3 - 8*r**2 - 14*r + 4. Let w(x) = 6*n(x) + 5*t(x). Is 26 a factor of w(-6)?
True
Suppose -250 = -4*d + 2*l, d - 2 = 2*l + 62. Does 11 divide d?
False
Let u(c) = -2*c. Let p be u(-2). Let z be 2 + (-1 - (-2)/2). Suppose p*l - 70 = z. Is 9 a factor of l?
True
Let h = -2 + 4. Let d be (1/h)/(3/24). Does 11 divide (-22)/(d/(-2 - 0))?
True
Let y = 9 + -9. Suppose y = -3*v + 1 + 2, u = 2*v + 11. Is 13 a factor of u?
True
Is 22 a factor of -5 - (-222)/42 - 2432/(-14)?
False
Let v(z) = z**2 + 6*z - 7. Is 19 a factor of v(6)?
False
Suppose 0 = -k + m + 4, -2*k - 2 = m + 2*m. Suppose 5*w + 26 = -5*f + 91, 0 = -w - k*f + 17. Is w a multiple of 5?
False
Let u(c) = -5*c**3 - 17*c**2 + 6*c + 14. Let n(s) = 4*s**3 + 16*s**2 - 7*s - 13. Let b(f) = -6*n(f) - 5*u(f). Does 7 divide b(10)?
True
Let r be -3 + 1 - -2*1. Let g(x) = -x**2 - x + 3. Let k be g(r). Suppose s + k*s - 128 = 0. Does 11 divide s?
False
Let u = 9 - 5. Is 3 a factor of ((-14)/u - -1)*-2?
False
Suppose 12 = -2*j + k, 8*j = 3*j - 5*k - 45. Let o(n) = -5*n - 15. Does 18 divide o(j)?
False
Let s(y) = 112*y**2 - y. Is s(1) a multiple of 24?
False
Suppose -p - 3*p = -8. Suppose 10 = -p*z + 3*z. Does 9 divide z?
False
Let z = 241 - -274. Is z/25 + (-6)/10 a multiple of 12?
False
Does 32 divide (0