)?
False
Let q(z) = 18*z + 17. Let b(d) = d - d + 6 + 6*d. Let v(a) = -11*b(a) + 4*q(a). Does 9 divide v(2)?
False
Suppose -5*y = -5, 4*s - 235 = s - y. Suppose -532 = -5*v - g, -v + 32 + s = 2*g. Suppose i - 3*q - 26 = 0, 3*i + 2*q = -3*q + v. Does 16 divide i?
True
Suppose -2*t - 7*t - 99 = 0. Let r(d) = d**2 - 6*d + 5. Let o be r(4). Does 9 divide (-9)/o - 5 - t?
True
Let x(r) = r**3 - 3*r**2 + 1. Does 12 divide x(5)?
False
Suppose 2*n - 238 = z - 2*z, -5*n + 3*z + 606 = 0. Is n a multiple of 17?
False
Let d(n) = n**3 - 2*n**2 + n. Let c(x) be the first derivative of -x**3/3 + 4*x**2 - 5*x + 2. Let k be c(7). Is d(k) even?
True
Let i be 0/(-1)*(-1)/(-2). Suppose 0*j + 57 = 5*j + 3*n, 0 = 4*n - 16. Let u = j - i. Is 9 a factor of u?
True
Let l(r) = -r**3 + 3*r**2 + 10*r + 8. Is l(5) a multiple of 8?
True
Let k(x) = -2*x**2 - x. Let o(t) = t**2 + t. Let a(c) = 3*k(c) + 7*o(c). Let d be a(-4). Suppose 0 = -d*h - 2*h - 2*b + 50, 19 = h - 5*b. Is 14 a factor of h?
False
Let a(n) = -n**3 - 3*n**2 + 2*n - 2. Let j be a(-4). Let q = -4 + j. Suppose -s - 44 = -d + q*s, 0 = 2*d - s - 68. Is d a multiple of 16?
True
Does 30 divide (-1098)/(-5) + (-18)/(-45)?
False
Let u be (-2)/(-6) - 2/(-3). Let x be (-1)/(0 + u/(-4)). Suppose -x*b = b - 30. Is b a multiple of 6?
True
Let s = 0 + 5. Let x = 2 + s. Suppose x*i - 2*i - 80 = 0. Is 8 a factor of i?
True
Let r(d) = -4*d**3 - 4*d - 51. Let t(w) = w**3 + w + 13. Let m(k) = 2*r(k) + 9*t(k). Does 5 divide m(0)?
True
Let l(q) = -4*q + 2 - 3*q**2 + 4*q**2 + 1. Let n be l(2). Does 14 divide (30/8)/(n/(-4))?
False
Let q = 5 - 1. Suppose -3*x = -4*f + 14, 2*f - q = x + 2*x. Suppose 30 = 3*c + x*c. Does 2 divide c?
True
Suppose -i + 3 = -1. Suppose -2*x = s - 0*x + i, -2*s + 16 = -4*x. Suppose b + 5 = 0, -s*o + 59 = -0*o - b. Is o a multiple of 16?
False
Suppose -3*g + 2*g = 8. Let j be 2/((g/10)/(-2)). Suppose 3*z - 41 = -j. Is z a multiple of 12?
True
Suppose -4*h + 7*h = 228. Does 28 divide h?
False
Suppose 0 = x - 5*m - 63, 5*m + 2 - 27 = 0. Does 3 divide x?
False
Let f be 2*((-45)/(-6))/3. Suppose 58 = f*v - 92. Does 10 divide v?
True
Suppose 0 = 5*a - 7*a - 244. Let r = -74 - a. Is r a multiple of 16?
True
Suppose 4*v = -8, 0 = 2*l + 2*v - 3 + 1. Suppose 0 = -6*c + l*c. Suppose -i + 6 = -c*i. Is 4 a factor of i?
False
Let o = 60 - -139. Does 15 divide o?
False
Suppose -5*f + 87 = -2*f. Let m = -20 + f. Does 9 divide m?
True
Suppose 0 = -15*b + 6*b + 1728. Is 16 a factor of b?
True
Let p = 27 + -27. Suppose -2*s - 2*o + 52 = p, -2*s - s = -5*o - 62. Does 12 divide s?
True
Let j = 253 + -164. Is j a multiple of 10?
False
Suppose -4*q - 4*s + 4 + 48 = 0, 4*q - 5*s = 25. Suppose j + j - q = 0. Is j a multiple of 2?
False
Let r(c) = -c**3 + 6*c**2 + 8*c + 5. Suppose 0 = -w - w + 14. Is r(w) a multiple of 6?
True
Suppose 0 = -2*y + 3*d + 48, 5*d = -2*y + 29 + 51. Does 2 divide y?
True
Suppose 0*n + 8*n = 840. Is n a multiple of 15?
True
Let k(q) = -4*q - 3*q**2 + q**2 + 3*q**2 + 2. Let d be k(4). Let r(c) = 18*c - 1. Is r(d) a multiple of 15?
False
Let c = 32 - 8. Suppose 0 = 4*o - 0 - c. Is 2 a factor of 12*(-1)/o*-2?
True
Let s(v) be the second derivative of 1/12*v**4 + 0*v**2 + 0 + 2*v - 2/3*v**3. Does 2 divide s(5)?
False
Suppose -15 = 2*z - 5. Let o(m) = -15*m - 12. Let s(v) = 10*v + 8. Let u(a) = 5*o(a) + 7*s(a). Is u(z) a multiple of 19?
False
Let b be 4*((2 - -1) + -4). Is 4 a factor of -1 - (-4)/(b/(-9))?
True
Suppose 2*t + 270 = -2*m, -4*m - 589 = 5*t - 44. Let b = -68 - m. Is b a multiple of 22?
False
Let h = 3 - 6. Is ((3 - h)*1)/1 a multiple of 6?
True
Let d be -1 - -2 - (2 + -6). Suppose -a + 3*a = 5*q - 220, 0 = d*q + 4*a - 250. Does 13 divide q?
False
Let w(s) = 3*s**3 - 5*s**2 + s - 2. Does 11 divide w(4)?
False
Let c(b) = -5 - 1 + b**3 - 8*b**2 + 2*b + 0*b + 1. Is 7 a factor of c(8)?
False
Suppose 0*t - 11 = -t - 2*g, -2*t - 3 = -g. Suppose k + t = -3. Let w = k - -11. Does 3 divide w?
False
Let q(u) = 2*u**2 - 2*u + 4. Suppose 0 = -3*r - 5*a + 4, 2*r - 6 - 4 = 4*a. Let c = 6 - r. Is q(c) a multiple of 6?
False
Suppose 5*z = 4*x + 24, 0 = -z - 0*z - 3*x + 20. Is z even?
True
Let y(a) = -2*a + 1. Let t be y(-5). Suppose -2*p + t = -p. Does 10 divide p?
False
Let t = -33 + 89. Is t a multiple of 14?
True
Suppose -174 = -8*u + 402. Does 9 divide u?
True
Let p = 1 + 2. Suppose -f + 7 = 2*g, -g = 5*f - 14 - p. Suppose g*m - 15 = 2*s - 37, s + 3*m - 15 = 0. Is s a multiple of 12?
True
Let a be 27*((-28)/3)/(-4). Suppose 3*l - 30 = 2*n, 0*l - 4*l + a = 5*n. Is 12 a factor of l?
True
Suppose -86 = -3*h + 130. Is h a multiple of 36?
True
Let h(d) = 2*d**2 - d + 2. Does 12 divide h(3)?
False
Suppose 0 = 2*c + 8, 2*j + 2*c = -15 - 3. Let f(t) = -10*t + 4. Does 18 divide f(j)?
True
Is 24 a factor of (-4 - -53) + (-2)/(1 - -1)?
True
Suppose 0 = -2*x - r, -4*r - 14 = -2*x + 6. Suppose -x*u = -4*u + 92. Suppose -2*z + a + 66 = -3*a, 2*z - u = -a. Does 9 divide z?
False
Let z(p) = 3*p**3 + 4*p**2 - 4*p + 2. Is z(2) a multiple of 17?
True
Let d be (-34)/(-1) + (-3)/(-3). Suppose f - d = 2. Is 15 a factor of f?
False
Suppose 4*j = -3*h - 95 - 53, 2*h - 4*j + 92 = 0. Is h/14*(-35)/2 a multiple of 12?
True
Let t = -19 + 83. Suppose -t = -2*z - 4*w, -z - 4*z + 4*w + 174 = 0. Suppose -2*r - 12 = -z. Does 3 divide r?
False
Suppose -8 = -5*m + 3*s + 30, -m - 3*s = -22. Let b = -5 + 8. Let i = m - b. Is i a multiple of 7?
True
Suppose -j + 25 = 3*r, -3*r + r + 5*j = -28. Suppose -4*x - r = -7*x. Suppose -4*n + 30 = -x*n. Does 10 divide n?
True
Let b(x) = 5*x. Let p(h) = -6 + 14*h + 6. Let l(k) = 17*b(k) - 6*p(k). Is 9 a factor of l(9)?
True
Let s(f) = -f**2 - 5*f + 4. Let x be s(-5). Let w be -2 - ((-642)/(-3))/(-2). Suppose -17 + w = x*a. Is a a multiple of 11?
True
Suppose -2*x + 14 = -2*c, -4*c + 5 = -x - 9*c. Does 3 divide x?
False
Suppose 5*z = 581 + 1369. Is z a multiple of 13?
True
Does 42 divide (-3 - (-9)/(-4))/(1/(-24))?
True
Let n(j) = j - 5. Let g be n(9). Suppose -g*o = -o + 9. Let x(i) = -i + 1. Does 2 divide x(o)?
True
Let i(r) = -10*r - 2. Let v be i(-7). Let g = v - 30. Does 24 divide g?
False
Let x(c) = c**2 - c - 7. Does 2 divide x(5)?
False
Let s(z) = -z + 4. Suppose 4*p - 4*a - a = -22, -5*a = -5*p - 30. Let v = p + 3. Does 6 divide s(v)?
False
Let r = 7 + -4. Let f(o) = -o**3 + 8*o**2 + o - 6. Let k be f(8). Suppose 12 = -k*i + r*i. Does 12 divide i?
True
Suppose 25 = -2*j + 125. Does 5 divide j?
True
Let y = 178 + -94. Is y a multiple of 7?
True
Suppose 48 = -5*n + 6*n. Suppose 5*y - n = -13. Is y a multiple of 7?
True
Let n(o) = 0*o - 2*o**2 + o - 1 - 2*o. Let w be n(-1). Is 1/(-1) - w*7 a multiple of 13?
True
Let o be (0 + 1*6)/2. Let n be 1/2 + o/(-6). Is 4 + (n/(-1))/(-2) a multiple of 2?
True
Is 7 a factor of (-183)/(-27) + (-2)/(-9)?
True
Let i(d) = -19*d - 3. Suppose -w + 1 = 4. Is 18 a factor of i(w)?
True
Let d be (19 + 0)/(3/(-3)). Let s = d + -11. Let v = 70 + s. Does 16 divide v?
False
Suppose -5*o = 3*m - 198, 2*m - 5*o = -4*o + 119. Let z = -3 - m. Let h = -43 - z. Does 8 divide h?
False
Suppose -3*z = -4*y + 38, 3*z + 33 = 2*y + y. Suppose x - 7 + 15 = 0. Let n = z - x. Is n even?
True
Let a(l) = l**3 - 9*l**2 - 10*l + 3. Let d be a(10). Let t be 1/d + (-91)/21. Is 6 a factor of (t/6)/((-6)/54)?
True
Let o(u) = u**3 + 2*u**2 + u - 2. Let d = -10 + 13. Is o(d) a multiple of 23?
True
Let h(d) = d**3 - 2*d**2 - 3*d + 2. Let l be h(2). Let s = l - -6. Suppose 2*q = 2*x + 38, -q - s*q = 4*x - 50. Is 9 a factor of q?
True
Let o = 170 + -103. Is o a multiple of 7?
False
Let n(d) = -d**2 + 1. Let o(s) = -s**3 + 6*s**2 - 34. Let t(l) = -6*n(l) - o(l). Let y be t(0). Suppose -p - y = -2*r, -2*r + 3*p + 26 = -6. Is 5 a factor of r?
False
Let w(b) = -b**2 - 14*b. Is 22 a factor of w(-9)?
False
Let c(o) = o**3 - 2*o**2 - o - 1. Does 3 divide c(3)?
False
Suppose h = -0*h + 5. Let y be (2 + h)/((-1)/(-4)). Suppose -j + 43 = 3*r, 2*r + 4*j = -r + y. Is r a multiple of 8?
True
Suppose y + 1 = 3*m, 5*y + 2 = 2*m - 3. Let i = y + 11. Does 8 divide i?
False
Let j = -52 - -83. Let y(c) = -c + 9. Let q be y(0). Suppose u = -q + j. Is 14 a factor of u?
False
Let p = -150 + 364. Does 24 divide p?
False
Suppose -6*s + 3*s + 8 = -2*l, 5*l = -s + 14. Suppose l*j = -4*x + 71 + 137, 5*x = -5*j + 260. Does 13