 + -1. Is z(m) a multiple of 4?
True
Is (-2 - 42/(-30)) + (-83)/(-5) a multiple of 6?
False
Suppose -5*q - 16 + 0 = 3*y, -q - 2 = y. Suppose 0 = -g - y*g - 4*n - 20, -4*n + 4 = 0. Is 1/2*(-96)/g a multiple of 7?
False
Let h(v) = -v + 21. Does 3 divide h(12)?
True
Is 14 a factor of (0 - (-4)/18) + (-1878)/(-54)?
False
Let l(b) = -b - 1. Let t be l(-4). Suppose v - 661 = 5*m, -2*v = -t + 11. Let j = -89 - m. Is j a multiple of 22?
True
Suppose 0 = -5*b + 5*o - 15, 15 = 3*b + 2*o + 3*o. Suppose -d = -b*n - 5*n + 252, 3*d = n - 42. Is n a multiple of 17?
True
Let l = 2 - -3. Suppose l*m - 5*u + 0*u - 15 = 0, m + 5*u - 27 = 0. Let o = m + 5. Is 4 a factor of o?
True
Let n = -58 + 83. Let u be (-2)/8 - n/(-20). Is 11 a factor of u*-24*6/(-9)?
False
Let k = 75 + -36. Does 13 divide k?
True
Let t(p) = p**2 + 8*p - 2. Does 3 divide t(4)?
False
Suppose 350 = 7*i - 2*i. Is 27 a factor of i?
False
Let o(c) = -c**2 - 5*c. Let h be o(-5). Suppose 0 = 2*g - a + 4*a - 18, -5*a = -g - 17. Suppose y + g*z + 9 = 26, -4*y + 4*z - 12 = h. Is y a multiple of 2?
True
Let a = 3 + -1. Let x = a - 5. Let r(p) = 2*p**2 - 2*p - 3. Is r(x) a multiple of 21?
True
Let c(p) = 13*p**2 + 2*p + 1. Is 33 a factor of c(-3)?
False
Let b = 8 + 41. Does 8 divide b?
False
Let d(c) = -5*c**2 - c - 5. Let v(r) = -r**2 + 1. Let f(j) = -d(j) + 4*v(j). Let s(x) = 2*x**3 + x**2 - 3*x - 1. Let m be s(-2). Is 18 a factor of f(m)?
False
Suppose -2 = f - 4, 3*f = 3*v - 69. Suppose 0*a + 4*a - 165 = -5*x, v = -5*a. Is x a multiple of 13?
False
Let b(p) = 2*p**2 + 1. Let i = -8 + 5. Let y = 6 + i. Does 10 divide b(y)?
False
Suppose -3*y = 2*z - 15, 4*z - y + 2 + 3 = 0. Let l = 0 + z. Does 3 divide ((-30)/(-3))/2 + l?
False
Let g = 56 - 38. Does 9 divide ((-7)/(-2) + -3)*g?
True
Suppose 3*t + 1 = -b + 7, t + 76 = 4*b. Is b a multiple of 18?
True
Suppose n - 2*n = -44. Does 15 divide n?
False
Let n = -28 + 75. Does 14 divide n?
False
Let b be 2 - (-4)/8*-16. Is 4 - (2 + b/2) a multiple of 5?
True
Let j be 0*(-1)/(-4)*-2. Suppose j*t - 15 = 5*t. Let n(w) = -w + 1. Is n(t) a multiple of 4?
True
Suppose -k - 10 = -2*k. Is k a multiple of 10?
True
Let u(y) = -11*y - 3 - 5 + 3. Is 21 a factor of u(-5)?
False
Let o(g) = 36*g**3 - g**2 + 4*g + 1. Does 18 divide o(2)?
False
Suppose 0 = 4*l - 4 - 0. Let s(j) = j + 15*j + 0*j. Is s(l) a multiple of 11?
False
Let w = -4 + 1. Let n = w - -12. Does 6 divide n?
False
Does 7 divide ((-1 - -27) + -3)*1?
False
Let c = -1 - 0. Let w be (-4)/c + 4 + -5. Suppose w*y - 7 = 8. Does 5 divide y?
True
Let z(s) = -33*s**3 + s**2 - s - 1. Let y be 0 - (-1)/((-3)/3). Let v be z(y). Is v/1 - (0 + 0) a multiple of 12?
False
Let z = 8 - 5. Suppose 4*p = 4*b - 32, -b - 2 = 3*p + 2. Suppose -5*g = b*m - 56 + 6, 4*m - z*g = 61. Does 13 divide m?
True
Let y(a) = a**3 + 8*a**2 + a - 2. Is 32 a factor of y(-6)?
True
Let d(v) = v**3 + 6*v**2 + 5*v - 2. Let x = -19 + 9. Let q = 6 + x. Is 5 a factor of d(q)?
True
Let i(r) be the third derivative of -r**6/40 - r**5/120 + r**4/8 - 2*r**2. Let h(u) be the second derivative of i(u). Is 12 a factor of h(-1)?
False
Suppose 4*u - 4*n = -24, 8 + 12 = 4*n. Let j be u*(-2)/4*0. Let q = j - -20. Is q a multiple of 20?
True
Let h = 4 - -2. Does 12 divide 33 + (h + -1 - 2)?
True
Let x = 209 - 100. Is x a multiple of 22?
False
Suppose -h = -s + 53, 3*s = -0*h + 2*h + 156. Is 11 a factor of s?
False
Let y(h) = h**2 - 6*h + 2. Let i be y(7). Suppose -4*b = -b - i. Suppose b*l + 7 = 85. Does 11 divide l?
False
Let z = -101 + 176. Does 22 divide z?
False
Suppose 5*o + 4*k - 333 = k, 3*k = 3*o - 219. Is 33 a factor of o?
False
Let r = 7 - -1. Let f = r + 0. Is f a multiple of 4?
True
Suppose 0*b - 32 = -b. Suppose 0 = u + u + 3*v - 70, b = u + 3*v. Suppose 4*p - u = 106. Is 18 a factor of p?
True
Suppose -3*q + 64 = d, 4 = -3*q - q. Suppose -d = -3*t - 4*j, -2*t + 3*j + 29 = -27. Is 10 a factor of t?
False
Let l(q) = 24*q**3 + q**2 - q. Does 6 divide l(1)?
True
Is 9 a factor of 16 + 8 + (0 - -3)?
True
Let d(y) = 3*y**2 + 4*y - 8. Let b be d(-6). Suppose -3*r = 90 + 15. Let o = r + b. Is o a multiple of 15?
False
Let s = -147 - -219. Does 12 divide s?
True
Suppose 77 = c - 3*y, 2*c + y - 189 = -0*c. Does 32 divide c?
False
Suppose 3*y + 5*q = 295, -4*y + y + 4*q = -331. Does 5 divide y?
True
Let f be (-2)/(-4)*(2 + 6). Suppose -z = -f*z + 45. Is z a multiple of 10?
False
Suppose -4*v - 3 + 31 = 0. Let m = v - -35. Suppose 0 = -b + 3*j + m, 0 = -4*b + 2*j + 134 - 16. Is 11 a factor of b?
False
Suppose -33*f - 90 = -36*f. Is f a multiple of 27?
False
Suppose -35 = 4*r + r. Is 3 a factor of 1 + -3 - -3 - r?
False
Suppose -1 = 5*q - 11. Suppose 5*r = 3*j + 17 + 26, q*j = -2*r + 14. Is 8 a factor of r?
True
Let d(q) = -7*q**2 - 1. Let r be d(-1). Let t be (44/r)/((-1)/2). Let p = t - 2. Is 4 a factor of p?
False
Let h be (-3)/(-1) - 1/(-1). Suppose 0 = a - 3*a - 8, -h*b = -5*a - 16. Let r(p) = 8*p**2 + 1. Is 9 a factor of r(b)?
True
Suppose 3*p = -5*f + 22, -2*f + 2*p - 10 = -3*f. Let a = f - -1. Suppose -2*q - a*b + 50 = 0, -q - 6*b + 32 = -b. Is 12 a factor of q?
False
Suppose 4 = -4*y + 12. Is 9 a factor of (-6 - -3) + (14 - y)?
True
Let m be ((-3)/4)/((-1)/4). Let k(g) = 3*g - m - 6 + 0*g. Is 13 a factor of k(9)?
False
Suppose 4*j - 840 = -3*j. Is j a multiple of 21?
False
Is -1 + (-222 + 3)/(-3) a multiple of 24?
True
Let f = 23 + -11. Is f a multiple of 4?
True
Let g = -24 + 9. Let i = 18 + g. Is 3 a factor of i?
True
Let f(k) = 7*k**3 + 17*k**2 + 5*k - 1. Let z(t) = -2*t**3 - 4*t**2 - t. Let i(a) = -2*f(a) - 9*z(a). Is i(2) a multiple of 20?
True
Let n be 4 - (-4)/((-2)/1). Suppose 0 = n*z - 4. Suppose z*m - 7*m + 50 = 0. Does 4 divide m?
False
Let t(m) = 22*m. Let r(s) be the third derivative of s**5/60 + s**4/24 - 2*s**2. Let o be r(1). Is t(o) a multiple of 16?
False
Suppose -4*u = u + 25. Let q(g) = 24*g - 3 - 14*g - 17*g. Does 16 divide q(u)?
True
Let w(u) = u**3 - 8*u**2 + 6*u. Is w(8) a multiple of 16?
True
Is 17 a factor of ((-1)/4)/((-2)/136)?
True
Let c = 22 - 18. Does 3 divide c?
False
Let b = -8 - -8. Let d = 3 + b. Suppose d*t - 20 - 45 = -5*x, 0 = 2*x - 2*t - 26. Is x a multiple of 13?
True
Let n(g) = g**3 - 4*g**2 + g - 4. Let b be n(4). Suppose -5*f + 4*f + 47 = b. Is 12 a factor of f?
False
Let p(c) = -c**2 + c. Let b be p(-3). Is 5 a factor of b/(-3) + (-2)/(-2)?
True
Suppose 6*o - 280 = 4*o. Does 10 divide o?
True
Suppose 0 = 7*g - 3*g - 2*d - 94, 36 = g - 3*d. Does 3 divide g?
True
Suppose c + 0*o - 3*o = -3, -3*c = 4*o + 74. Let u = 33 + c. Is u a multiple of 7?
False
Let m(z) = -z**3 + 6*z**2 + 2*z - 7. Let y be m(5). Suppose -x + y = -4*u, 2*x - 2*u = u + 31. Does 2 divide ((-2)/(-4))/(2/x)?
True
Let b be -2 + 5 + -5 + 5. Suppose v = -4*f + 66, f - b = v + 11. Does 4 divide f?
True
Let h(c) = -2*c**3 - c**2 - 3*c + 1. Is 38 a factor of h(-3)?
False
Let u(g) = -g**2 + 19*g - 10. Let w be u(8). Suppose z = -2*z + w. Is 13 a factor of z?
True
Let u(w) = -w**2 - 3*w + 3. Let m be u(-5). Let n = 17 - m. Is n a multiple of 24?
True
Let h = -6 - -3. Let o = h + 11. Let c = 18 + o. Does 13 divide c?
True
Let x = -1 - -1. Suppose -d + 0*d + 9 = x. Let p(u) = -u**3 + 9*u**2 + 4*u - 10. Is 16 a factor of p(d)?
False
Suppose -v = 4*v - 10. Suppose s = 5*j - 41 - 20, -2*j + v*s + 18 = 0. Is 12 a factor of j?
False
Let l be (-3)/4 + (-19)/(-4). Is (27 - -3) + -3 - l a multiple of 14?
False
Let u(x) = 6*x - 2. Let n(r) = 3*r - 1. Let t(k) = 13*n(k) - 6*u(k). Let b be t(1). Is 7 a factor of 0 - b/(-2)*7?
True
Let w = -73 - -108. Does 3 divide w?
False
Let k = -45 + 109. Is 16 a factor of k?
True
Is (5/(-4) - (-1)/4)*-125 a multiple of 25?
True
Suppose k = 6*k - 235. Is k a multiple of 20?
False
Let g(r) = -101 - 2*r + 0*r + 97. Let w be 1 + (0 - 1 - 5). Does 2 divide g(w)?
True
Let a be 2 + 1*(2 - 1). Suppose -c + 3*o = a*c - 29, -c + o = -6. Is 4 a factor of c?
False
Suppose 3*b - 204 = 132. Suppose 0 = -3*k + 2*c + 84, 0 = 7*k - 3*k + c - b. Does 7 divide k?
True
Suppose 5*t - 252 + 52 = 0. Suppose -g - 10 = -y + 15, -y + 4*g + t = 0. Is 10 a factor of y?
True
Suppose -3*g - 2*g = -3*c + 167, c - 63 = -2*g. Suppose 4*j = -4*r + 10 + 38, 2*r - 5*j - c = 0. Is r a multiple of 17?
True
Suppose -387 = -4*x - 11. Suppose 4*c - 5*k - x = 0, -c + 