4) + o/4 a multiple of 14?
False
Suppose -5*l = 4*b - 260 - 85, 4*l = -4*b + 272. Let n(z) = -z**3 + 9*z**2 - 2*z - 6. Let w be n(8). Let a = l - w. Does 13 divide a?
False
Let v be 18/6 + (-1 - -4). Let f(x) = -x - x**3 - 2 + 7*x**2 - 2 + 0*x. Does 7 divide f(v)?
False
Let g(y) = y - 6. Let z be g(-5). Let p(w) = w + 15. Let i be p(z). Suppose i*s - 25 = 71. Does 8 divide s?
True
Let k(y) = -y**2 + 24. Let r be k(0). Is (14/(-3))/(r/(-36)) even?
False
Let l = -102 + 179. Does 20 divide l?
False
Suppose -68 = 4*m - 6*m. Does 8 divide m?
False
Suppose -2 = -4*l + 18. Let d(a) = -7*a - 3. Let x(f) = 4*f + 1. Let g(i) = l*x(i) + 2*d(i). Is 5 a factor of g(1)?
True
Let u(m) = m - 6. Let s be u(6). Suppose -5 = -2*k + 7. Let r = k + s. Is r even?
True
Suppose 2*y - 12 = -2*t, -2*y - y + 2 = -5*t. Let n be (16/(-24))/(y/(-18)). Suppose -n*p + 8 = -p, 98 = 5*i + 2*p. Is i a multiple of 9?
True
Suppose -69 = -5*o + 121. Does 19 divide o?
True
Let w = -4 + 2. Is 15 a factor of 356/8 - w/4?
True
Suppose w - 5*b - 176 = 0, 0 = 5*w - 0*b - b - 928. Does 14 divide w?
False
Let v be (3/(-4))/(4/(-16)). Suppose -5*u + 80 = -v*u. Does 13 divide (-10)/u - (-157)/4?
True
Suppose 6*u - 2*u - 272 = 0. Suppose -4*l - 76 = -3*y, y = -2*y - 4*l + u. Is y a multiple of 12?
True
Let c be (-50)/(1/((-1)/2)). Suppose -5*l = -c, 3*v + l - 7 = 7. Suppose v*y - 9 = 3*z, -2 = -4*z + 2*z. Is y a multiple of 2?
True
Let a(m) = m**3 - m**2 - 2*m + 2. Let i be a(2). Is 8 a factor of i + 0 + 15 - 1?
True
Suppose 2*s = -3*s. Suppose k - 2 = -s*k. Suppose -4*i - o + 28 = 0, 6 + 32 = 5*i + k*o. Does 4 divide i?
False
Let y be (160/12)/((-1)/(-3)). Suppose 0*c = -4*c + y. Is c a multiple of 2?
True
Let z(k) = 31*k - 73. Is z(7) a multiple of 6?
True
Is (-290)/6*3/(-1) a multiple of 20?
False
Suppose 48 = 5*f - 322. Suppose f = 3*z + 2*x, -4*z - x = 3*x - 100. Is 12 a factor of z?
True
Let o(z) = 5*z - 1. Suppose -5 = -3*q + 7, 0 = -3*p + 4*q - 19. Let d be o(p). Let m(v) = v + 11. Does 2 divide m(d)?
False
Let u = -37 - -25. Let j = 19 + u. Does 7 divide j?
True
Suppose 0 = -s + 2 + 4. Let l = 27 + 5. Let o = l - s. Is 13 a factor of o?
True
Suppose -z + 97 = -5*p, -238 = -4*z - 3*p + 150. Suppose c = 6*c - 25, 4*a - 3*c - z = 0. Is a a multiple of 14?
True
Let b = 30 - 15. Is b a multiple of 3?
True
Suppose -6*o = -65 - 259. Does 9 divide o?
True
Let t = -37 - -52. Let q = 3 + t. Does 9 divide q?
True
Let k = 40 + -1. Let h = 55 - k. Is 5 a factor of h?
False
Let a(j) = 17*j + 1. Let t be a(4). Suppose -t = -5*r + 21. Is r a multiple of 9?
True
Let m(o) = -o**3 + 7*o**2 + 8*o - 9. Is m(7) a multiple of 20?
False
Suppose 135 = 5*u + 3*z, u = -3*u + z + 125. Is 13 a factor of u?
False
Suppose -4*q - 6 = 2, 10 = 2*j - 2*q. Suppose -2*g + 9 = -101. Suppose -4*m - m + 4*f + g = 0, j*m = 3*f + 33. Does 6 divide m?
False
Let r = -5 + 7. Suppose -r*d - 3*d = 0. Is 8 a factor of (d - -19)*(-3 - -4)?
False
Suppose 0 = 2*w + 4*f - 138, 9*w - 4*w + 5*f = 360. Is 26 a factor of w?
False
Suppose -3*u = 5*q + 37, -6*q + q - 2*u - 38 = 0. Let d(g) = g**3 + 7*g**2 - 12*g - 12. Is d(q) a multiple of 8?
False
Let a(y) = -y**2 + 15*y - 6. Let k be a(6). Suppose -k = -3*p + 2*p. Does 16 divide p?
True
Let f(o) = o - 1. Suppose -5*r - 2*u = 16, 2*r + 5*u = -0 - 19. Let h be f(r). Is 15 + (-2 - 3/h) a multiple of 6?
False
Suppose 4*a = -c + 221, -3*a = -0*c - c - 157. Is 9 a factor of a?
True
Let x(p) = -p**2 - 4*p + 4. Let f be x(-4). Suppose 4*q + f = 32. Is q a multiple of 6?
False
Let s = 0 + 18. Does 9 divide s?
True
Suppose 610 = 6*y - y. Let z = y - 82. Is 4 a factor of (-32)/(-5) - 16/z?
False
Let z = 85 - -23. Is 18 a factor of z?
True
Let b = 2 - -3. Suppose 4*r - v = 182, -6*r + b*v = -r - 235. Is r a multiple of 22?
False
Suppose -2*a - 92 = -0*a. Does 28 divide (a/(-4))/(1/6)?
False
Let f(q) = 13*q + 4. Is f(2) a multiple of 15?
True
Suppose -k = -0*k - 6. Let f = 0 - 2. Does 13 divide 75/k + (-1)/f?
True
Let g = -12 + 4. Is 9 a factor of ((-81)/12)/(3/g)?
True
Let p be ((-1)/2)/((-1)/8). Suppose -t - 3*t + p = 0. Is (-3 - -2)*(-3 - t) a multiple of 2?
True
Let a = 11 + -7. Suppose 5*j = a*j + 10. Is 10 a factor of j?
True
Let t(n) = -n. Let p be t(-5). Suppose 0 = p*d - 2*q - 82, -2*d - 2*d + 60 = 4*q. Is d a multiple of 8?
True
Suppose -s = -4*w + 5, -w = -3*w + 4. Is -8*4*s/(-6) a multiple of 4?
True
Let i be 6/(-8) - 87/12. Let m be (-2)/1*(-44)/i. Is (0 - m) + (-1 - -2) a multiple of 4?
True
Let v(k) = k**2 - 2*k - 4. Let p(d) = 2*d**2 - d - 4. Let x(s) = -4*p(s) + 5*v(s). Let r be x(-4). Let f = r - -39. Is f a multiple of 11?
True
Suppose 3*s + 1 = 10. Suppose s*y + 0*y - 141 = 0. Does 17 divide y?
False
Does 14 divide (-37)/(-13) - 3 - 912/(-13)?
True
Suppose -3*r + r = -4. Let n be (3 - -2)*r/5. Is 9 - (n + (1 - 3)) a multiple of 9?
True
Is 4/(-2) + 18*(-1 - -2) a multiple of 2?
True
Let u(n) = -n**3 + 12*n**2 - 6*n - 1. Suppose -4*a = -26 - 18. Is u(a) a multiple of 14?
False
Let g(o) = 2*o + 1. Let c be g(-4). Let b(i) = -8 - 6*i**3 + 5*i + 3*i**3 + 8*i**2 + 4*i**3. Is b(c) a multiple of 3?
True
Does 10 divide (12 + 1)*(-3)/(-1)?
False
Suppose -4*i = -7*i + 84. Is 8 a factor of i?
False
Suppose -4*q + 15 = 51. Let u = -6 - q. Suppose -2*k + 85 = u*k. Does 9 divide k?
False
Suppose -3*x = -2*x. Suppose 4*a + 2 + 7 = 5*w, 4*a - 16 = x. Is w a multiple of 2?
False
Suppose 0 = 54*u - 51*u - 693. Does 35 divide u?
False
Let b = 0 + 2. Let x be -1 + (1 + 1)/b. Suppose x = 5*d - j - 29, -10 = -2*d - 2*j + 4*j. Is d a multiple of 3?
True
Let w(x) = 3 + 4 + 8 + 1 + 6*x. Does 32 divide w(8)?
True
Let u = 247 - 141. Suppose 5*m - u = 2*s - 5*s, 5*m + 5*s - 110 = 0. Does 8 divide m?
False
Let t be (-16)/(-10) + (-3)/5. Is t - 6/(-9)*33 a multiple of 4?
False
Suppose 4*f - 379 = 3*d, f + 4*d - 41 = 49. Is 15 a factor of f?
False
Let q(l) = -3. Let r(n) = -n. Let i(b) = -q(b) - 3*r(b). Is i(3) a multiple of 12?
True
Suppose 0*k - 306 = -3*k. Suppose b + 4 - 21 = 0. Suppose p = 6*p + 2*z - k, 3*z = p - b. Does 20 divide p?
True
Suppose -3*l = -h + 1, -3*h - 9 = -l - 5*h. Let n be 35*-1 - (0 + l). Is 9 a factor of 2/(-9) + (-908)/n?
False
Suppose 3*m - 448 = -m. Does 14 divide m?
True
Suppose 5*a = 176 - 26. Is 6 a factor of a?
True
Suppose 9 + 17 = u - 5*g, u + 4*g + 19 = 0. Suppose u = c - 13. Is c a multiple of 14?
True
Let p(s) = -5 + 3 - 1 - 3*s. Is 5 a factor of p(-6)?
True
Let n(f) = f. Let q(u) = u**2. Let d(v) = -n(v) + 6*q(v). Suppose -2*j = -3*h + 3, 2*j = 5*h - 0*j - 1. Does 7 divide d(h)?
True
Let a(h) = -h**3 + 2*h. Let t be a(-2). Let s(g) = g**3 - 7*g**2 - 8*g + 8. Let l be s(8). Suppose r + l = 4*d + d, 2*r = -t*d + 12. Does 2 divide r?
True
Suppose 2*l = 3*b + 331, 0*l = l - b - 167. Is 17 a factor of l?
True
Let f = -10 + 14. Suppose o - 2*o - f*u = -37, o - u = 12. Does 7 divide o?
False
Suppose 0 = 3*j + j. Does 8 divide 1*16 + j + 2?
False
Suppose 4*f - 83 = -3*y, 0*y - 4*y = 5*f - 104. Does 5 divide f?
True
Let i = -3 + 6. Let q(a) = -a - 2*a**3 - i*a**2 - 1 + 0*a**2 + 0*a**2 - a. Is q(-3) a multiple of 16?
True
Suppose -3*x + 4*x - q - 9 = 0, 31 = 3*x - 4*q. Suppose 8 = x*y - y. Suppose -l + y = -10. Does 7 divide l?
False
Let h(s) = -s + 2. Let j be h(8). Let w(f) = f**2 + 5*f. Let k be w(j). Suppose q - 8 = k. Does 10 divide q?
False
Suppose -2*v + 5*j = -53 - 14, -71 = -2*v + j. Is v a multiple of 12?
True
Let b(a) be the third derivative of a**6/120 + a**5/60 - a**4/8 - 2*a**3/3 + a**2. Let p be b(-4). Let l = 76 + p. Does 14 divide l?
False
Let o(t) = -t**2 - 4*t - 1. Let h be o(-3). Let k = 3 + h. Is k even?
False
Suppose -a = -3*c - 2*c + 3, -2*a - 6 = 5*c. Suppose c = 5*g + u - 45, -2*u + 12 = 2. Is 4 a factor of g?
True
Suppose -3*u - 11 = 13. Let t be u/(-3)*(-9)/(-2). Suppose -3*p - 4*l + 43 - 11 = 0, l = -p + t. Is 8 a factor of p?
True
Let j be (-10)/(-4)*(-4)/(-2). Let u be 92*2/(0 - -2). Suppose t + 3 + 1 = -j*p, -5*t + u = -3*p. Is 16 a factor of t?
True
Let o(n) = -n**2 + 3*n + 3. Let c be o(-2). Let m = c + 6. Is 11 a factor of (10 - m/1) + 0?
True
Let j = 310 - 160. Is 16 a factor of j?
False
Let n(w) = 3*w**2 + 3*w. Let h = -3 + 0. Let i be n(h). Suppose -i = 2*t - 4*t. Is t a multiple of 9?
True
Does 16 divide ((-870)/4)/(-5)*(-24)/(-9)?
False
Is 