 + 4*b - m = -0*u. Does 16 divide u?
False
Suppose 0 = -7*h + 6*h + 69. Suppose -5*b + 70 = -4*y, 0*y = -3*b - 3*y + h. Is b a multiple of 6?
True
Let u(x) = -80*x - 10 + 18*x + 8. Does 18 divide u(-1)?
False
Let b(j) = j**3 + 7*j**2 - 2*j + 10. Let n(q) = q + 8. Let k be n(0). Suppose 2*y + k = -6. Does 13 divide b(y)?
False
Let n(u) = u - 4. Let h be n(7). Let q = -6 + 10. Suppose b = -5*v + 128, 0*v - q*b = -h*v + 63. Is v a multiple of 11?
False
Let v(i) = -4*i**3 - 5*i**2 - i - 47. Let t(u) = u**3 + u**2 + 1. Let d(q) = -5*t(q) - v(q). Does 18 divide d(0)?
False
Suppose -3*p = -5*p - 2. Is 0/(2*p) - -9 a multiple of 4?
False
Let y = -71 - -145. Suppose 192 - y = 2*j. Is j a multiple of 16?
False
Suppose -8 = -5*m + 2. Suppose m*t + 6 = -56. Let z = t + 52. Does 12 divide z?
False
Let v be (-2)/1*(-2 + 4). Let q(l) = 3*l**2 + 6*l + 3. Does 9 divide q(v)?
True
Let p(d) = d**3 - d**2 + d - 1. Let r(v) = 7*v**3 - 7*v**2 + 5*v - 38. Let t(w) = 6*p(w) - r(w). Does 16 divide t(0)?
True
Let b = -3 + 4. Is 5 a factor of b/(-2)*(-40)/2?
True
Suppose 2 = -2*w - 0. Let a be ((-4)/3)/(w/3). Is (-6)/a + (-23)/(-2) a multiple of 6?
False
Let y(v) = -100*v - 8. Let k be y(6). Is (k/40)/(1/(-5)) a multiple of 22?
False
Let j(c) = c + 6. Suppose -3*s + 18 = 2*k - 1, 0 = -s + k + 3. Suppose -b + 0*b = -s. Is 4 a factor of j(b)?
False
Let i(q) = -84*q - 6. Is i(-1) a multiple of 13?
True
Let t(s) = s**3 - s**2 - s + 4. Let a be t(0). Suppose -132 = -5*r + 2*g, 4*g = -a*r - g + 99. Is 13 a factor of r?
True
Suppose m - 127 = t, -4*m - 5*t + 442 = -111. Is 32 a factor of m?
False
Suppose -5*k + 306 = 4*s - 533, 0 = 3*s - k - 634. Is s a multiple of 22?
False
Suppose -3*z - 2*n + 126 = 0, 3*z - 3*n - 2*n = 105. Suppose -5*k + z = -k. Is 10 a factor of k?
True
Let d = 4 + 11. Suppose -2*q = -3 - d. Is 3 a factor of q?
True
Suppose 6 + 0 = 4*o + 2*w, -3*w = -4*o - 9. Suppose o*a + 120 = 4*a. Is a a multiple of 11?
False
Suppose f - 96 = -4*m + 20, 0 = -5*m + 4*f + 166. Does 10 divide m?
True
Let y(v) = 4*v - 16. Does 3 divide y(7)?
True
Suppose 4 = 5*u + 4*g + 20, -5*u = -g - 4. Suppose -j + 4*q + 58 = 6*q, u = -4*q + 12. Is j a multiple of 22?
False
Suppose -j = -5*u - 19, 0 = 5*j - j + 2*u + 12. Let p be -3*1/(-2)*2. Does 5 divide -1*(-24)/p + j?
False
Let p be (5/2)/(1/2). Suppose 0 = -10*u + p*u + 4*t + 17, 3*u - 4*t = 7. Let h(z) = -z**2 + 8*z - 5. Is h(u) a multiple of 10?
True
Suppose 0 = -2*u + 49 + 83. Is u a multiple of 10?
False
Let r = 13 - 9. Suppose 0*m = r*p - 2*m - 394, -p + 4*m = -102. Suppose 0 = -5*x + a + p, -x = -4*x + 3*a + 54. Is x a multiple of 18?
False
Let p(l) = 6 - 30*l + 16*l + 13*l. Is p(-5) a multiple of 2?
False
Let s be (-36)/(-63)*(-7)/(-2). Suppose 6 = -s*z + 14. Is z even?
True
Let k(r) = -3 - 2*r**3 + 0*r**3 + 10*r**2 + r**3 - 3. Let c be k(9). Let a = 137 - c. Does 24 divide a?
False
Suppose 3*t + 0*t = 102. Is t a multiple of 9?
False
Let l(k) = -2*k**3 - 4*k**2 - 3*k - 1. Suppose 0 = -3*y + 2*v - 5*v + 3, -5*y + 2*v = 16. Is l(y) even?
False
Let o(t) = t**2 - 7*t - 26. Does 20 divide o(17)?
False
Let u = 13 - 5. Suppose -u = z - 5*v, -4*z + 4*v = -0*z - 16. Does 3 divide z?
False
Let a be (-6)/30 - 42/15. Let j(k) = 4*k - 2. Let q be j(4). Let n = a + q. Is n a multiple of 8?
False
Let p = -150 + 96. Let y = -23 - p. Does 7 divide y?
False
Let j(n) = -4*n - 4. Does 5 divide j(-3)?
False
Suppose -3*z = -z - 176. Let h(b) = -b**2 + 5*b + 3. Let i be h(5). Suppose i*u = -u + z. Does 21 divide u?
False
Let n(a) = a - 2*a + 29*a**3 + 2*a. Is 10 a factor of n(1)?
True
Let h = 30 - 5. Is h a multiple of 8?
False
Let b(v) = -v - 1. Let s be b(-2). Let u(r) = 6*r**2 - 5*r + 4. Let n(h) = 13*h**2 - 9*h + 7. Let y(t) = 3*n(t) - 5*u(t). Is 8 a factor of y(s)?
True
Let v(h) be the second derivative of 4*h**5/5 - h**4/6 + h**2/2 + 3*h. Suppose -7 = l + 4*k, 0*l + 5 = -l - 3*k. Does 6 divide v(l)?
False
Let q(v) = v**2 - 4*v + 2. Let o(y) = -y**2 - 7*y. Let c be o(-6). Does 14 divide q(c)?
True
Suppose -o - 270 = 4*o. Let y = o - -92. Is y a multiple of 14?
False
Is 1144/36 - 6/(-27) a multiple of 8?
True
Let p = 23 + -17. Does 11 divide ((-38)/p)/((-5)/30)?
False
Suppose -3*v + 5*v = 0. Suppose v = -0*p + p - 11. Let m = p - 4. Does 5 divide m?
False
Let b = 48 - -31. Let s be 4*5/(40/(-108)). Let p = b + s. Is 13 a factor of p?
False
Let t be 3/1 + 76 + 1. Suppose -12 + t = 4*w. Does 17 divide w?
True
Let m be (-1)/2*(-2 + 8). Suppose 0 = 2*c + 1 + 19. Let p = m - c. Is 6 a factor of p?
False
Let c(b) = 4*b + 3. Let o be c(-3). Let f be (-1)/(3/(-3)) - o. Suppose -2*p - p + f = 2*t, -2*p + 20 = 3*t. Is 7 a factor of t?
False
Suppose -3*i - 2 = 1. Suppose 0 = -3*b - 4*l + 29, -18 = -b - l - 2*l. Let c = b + i. Is c a multiple of 2?
True
Let o = -21 - -50. Is o a multiple of 29?
True
Let o = 1 - -5. Is o a multiple of 4?
False
Let b be (-4)/(-6) + 32/(-12). Is 8 a factor of (-12)/9*3*b?
True
Let r = -98 + 188. Does 9 divide r?
True
Suppose -150 = -8*d + 3*d. Is 10 a factor of d?
True
Suppose -b + 2*s + 4 = -3*s, 3*b + 2*s = 12. Is 3 a factor of b?
False
Let y(q) = 2*q + 3*q - 6*q + 0*q. Suppose 2*o = -3*b - 15, 3*o + 31 = -4*b + 11. Does 3 divide y(b)?
False
Suppose -2*u - j + 104 = u, 4*u - 130 = 3*j. Suppose 0 = 2*d - u - 12. Let k = 33 - d. Is k a multiple of 10?
True
Let r(m) = -m + 1. Let t(k) = 151*k + 39. Let q(g) = 4*r(g) - t(g). Let b(j) = -13*j - 3. Let u(f) = -35*b(f) + 3*q(f). Is u(-2) a multiple of 10?
True
Let k(z) = -65*z + 6. Let x be k(-6). Suppose -4*d + 0*d = -x. Suppose 11 = -2*o + d. Is 13 a factor of o?
False
Suppose -a + 335 = -3*j, -j + 725 = 5*a - 870. Suppose -14*u + 9*u + a = 0. Is u a multiple of 16?
True
Does 3 divide (-6)/(-9) - (-172)/12?
True
Let x = -66 + 111. Does 9 divide x?
True
Let w be 0*(-1)/2 - -2. Suppose -s = -w*s + 6. Let z = s + 1. Is z a multiple of 7?
True
Suppose -3*a = -0*s + 3*s + 33, 5*a + s + 51 = 0. Let u be 328/a - 2/10. Let w = -23 - u. Is 3 a factor of w?
False
Let q(u) = u**3 + 5*u**2 + 3*u. Suppose -2*a + 3 = -0*a - 3*j, 2*a + 12 = -2*j. Let o be q(a). Suppose 0 = -d + o + 3. Does 4 divide d?
True
Let y be (3/1)/(9/(-66)). Let d = -16 - y. Let h = d - 4. Is 2 a factor of h?
True
Let q = 7 + -2. Let m(w) = -3*w**3 + 10*w**2 - 7*w + 4. Let b(v) = v**3 - 3*v**2 + 2*v - 1. Let i(a) = 8*b(a) + 3*m(a). Is i(q) a multiple of 2?
True
Let r(j) be the first derivative of j**3/3 - j**2 - 7*j + 7. Does 4 divide r(5)?
True
Suppose 5*l + 3*n = 90, -3*l + 3*n - 8*n = -54. Suppose 2*c + l = 3*c - 2*v, 3*c - 3*v - 51 = 0. Does 11 divide c?
False
Is 5 a factor of (2 - 1160/(-35)) + (-2)/14?
True
Let g = 137 - 93. Suppose -5*b + 25 = 0, 9 = -5*t - b + g. Let c = t + 5. Is 6 a factor of c?
False
Let z(k) = k**3 - 2*k**2 - 4. Does 4 divide z(3)?
False
Let y(x) = -31*x**2 - 11*x + 3. Let z(w) = 10*w**2 + 4*w - 1. Let b(o) = -6*y(o) - 17*z(o). Let t be (-18)/14 + (-4)/(-14). Is b(t) a multiple of 7?
False
Let r = 12 + -12. Is 10 a factor of (r - 23)*-2 + -1?
False
Suppose 0 = -5*u + 602 - 37. Let m = -52 + u. Does 15 divide m?
False
Suppose -4*h = h - 4*d - 990, -4*d + 990 = 5*h. Is h a multiple of 22?
True
Let m = -83 - -138. Is m a multiple of 15?
False
Let n = 203 - 107. Is n a multiple of 17?
False
Let a be (-2 - 1)/(-9)*9. Is 14 a factor of a/9*(1 + 68)?
False
Suppose 4 = p + 3*p. Suppose 4*r = -p + 21. Suppose 0 = -w, -j + 10 = j - r*w. Does 2 divide j?
False
Let u = -39 + -13. Suppose 5*x = -5*a - 185, -2*x - 77 = 7*a - 2*a. Let l = x - u. Is 16 a factor of l?
True
Suppose -2*z + 50 = 3*f, 0*f + 3*f - 4*z = 44. Does 16 divide f?
True
Suppose 0 = 2*t + 6 - 26. Does 10 divide t?
True
Let y(v) = v**2 - v - 1. Let h be y(-2). Let b = h + -3. Suppose 20 = b*w - w. Is w a multiple of 9?
False
Let x(q) = 1. Let l(y) = 7*y. Let h(u) = -3*l(u) - 3*x(u). Let s be 1*-4 - (-3 - -1). Is h(s) a multiple of 12?
False
Is (184/16)/((-1)/(-8)) a multiple of 13?
False
Let l be (-6)/33 - 24/(-11). Let w(m) = 18*m + 1 + 2 + m**l - 20*m. Is w(3) a multiple of 3?
True
Does 18 divide 5 - 4 - (-1)/((-4)/(-284))?
True
Let g = -156 + 246. Is g a multiple of 18?
True
Let h be (5 - 4) + -4 - -5. Suppose 6*o - 2*o - 4*v = 128, -3*o + h*v = -94. Is 15 a factor of o?
True
Suppose -3*t - 32 = -2*t. Let z be 1 + 0 - (0 + t). S