**5 - 3*w + 5/12*w**4 + 0 + 1/6*w**3 - 2*w**2. Is t(-3) a multiple of 11?
True
Suppose -2*p - 1 = -5. Let s be ((-1)/2)/((-1)/48). Suppose j - p*j + s = 0. Does 12 divide j?
True
Suppose 0 = 2*z + 4, 5*z - 8 = -3*h - 0. Is 10 a factor of 4/h + (-67)/(-3)?
False
Is (5 - 1)*12 + 1 a multiple of 10?
False
Let i = 4 + -4. Suppose -4*l - 4*h + 3*h - 4 = 0, i = 5*l + 4*h - 6. Let z = l - -7. Does 2 divide z?
False
Suppose 2*k = -49 + 267. Let q = 211 - 151. Let l = k - q. Is 19 a factor of l?
False
Let w(q) = q + 5. Let p be w(-4). Let a be -1*(-2)/(-1)*p. Does 7 divide (0 - a*4) + 1?
False
Let y(r) = -5*r + 6. Let l be y(-5). Suppose -5*f + l = -54. Is 6 a factor of f?
False
Let a(s) = s**3 + 10*s**2 - s + 2. Let i be -7 - 2 - 1/1. Is a(i) a multiple of 12?
True
Let k(n) = -11*n - 5. Let l be k(-6). Let o = -36 + l. Is o a multiple of 18?
False
Let y(b) = b**2 + b + 14. Does 28 divide y(-7)?
True
Is (-3)/12 + (-290)/(-8) a multiple of 11?
False
Let r be (10/8)/((-2)/(-8)). Suppose b - 4 - r = 0. Is b a multiple of 9?
True
Let g = 28 + -4. Is 12 a factor of g?
True
Let b be (10/15)/((-2)/36). Let f = 4 - b. Is 10 a factor of f?
False
Does 3 divide 7 - (-2 + 2 + -2)?
True
Let p be 18/(1/(-2 + -1)). Is (-24)/(-9)*p/(-8) a multiple of 18?
True
Suppose -m = 4*z + 1, -2*m - 2 = -5*z + z. Suppose 0*x + 4*x - 12 = z. Suppose 0 = 2*k + 3*y - 17, 0*k + 5*y - x = 3*k. Is k a multiple of 2?
True
Let s(y) be the third derivative of -y**6/120 + y**5/20 + y**4/8 + 5*y**3/6 + 2*y**2. Let j be s(4). Is (0 + j - -2)*1 even?
False
Let z(h) = h**2 - h + 1. Let w(p) = p**2 + 6*p + 5. Let x(f) = 2*f**2 + 5*f + 6. Let i(u) = 4*w(u) - 3*x(u). Let g(n) = i(n) + z(n). Is 15 a factor of g(6)?
True
Let v(x) = x - 3. Suppose -5*w = -3*w - 12. Let m be v(w). Suppose 24 = m*l - l. Is l a multiple of 10?
False
Let a(p) be the first derivative of p**3 - 3*p**2/2 + p + 4. Is a(3) a multiple of 11?
False
Suppose l - 6 = -2. Suppose -4*n - 34 + 86 = 4*x, l*n = x + 62. Does 15 divide n?
True
Let f be (-333 + -3)*(-2)/4. Does 9 divide f/(-14)*18/(-8)?
True
Let k = -2 + 3. Let m be (-2 - (-1)/1) + k. Suppose -3*a - 2*a + 3*c + 137 = m, -5*c = 3*a - 89. Does 12 divide a?
False
Is (2352/36)/(1*1/3) a multiple of 49?
True
Let d = 69 - 7. Is 4 a factor of d?
False
Suppose 0 = 7*l - 2*l + 20. Let z(t) = 4*t**2 + t + 2. Does 28 divide z(l)?
False
Is 11 a factor of (-341)/22*(-2 + 0)?
False
Suppose -2*c + 85 = -93. Is c a multiple of 23?
False
Suppose 7*h = 15*h - 1232. Does 7 divide h?
True
Let l be (-2 - 1/1) + 190. Suppose c - 55 = 2*v, l = 5*c - 3*v - 74. Is 17 a factor of c?
True
Suppose -3*d - 4*k - 11 = 0, -5 = 2*d + 5*k + 14. Suppose d*r + 3*a = -15, 4*r - 3*r + 15 = -3*a. Suppose r*t + 75 = 5*t. Is t a multiple of 12?
False
Let z(k) = 2*k - 4. Does 12 divide z(8)?
True
Let j = 44 - 29. Suppose 0 = -3*r - 2*a + j, r = 5*r - a - 9. Does 2 divide (r/(-4))/((-2)/8)?
False
Let o(i) be the first derivative of i**3/3 - i**2/2 + 44*i + 1. Suppose s = -3*s. Is o(s) a multiple of 13?
False
Let y = 78 + -38. Is y a multiple of 40?
True
Let a be 4/(-2) - (-8 + 1). Suppose a*m - 31 = 19. Is 5 a factor of m?
True
Let d = 17 - 3. Does 7 divide d?
True
Suppose -173 = -a - 63. Is 5 a factor of a?
True
Let w = 11 + 63. Suppose 0 = 3*l - w - 10. Is l a multiple of 10?
False
Let w(f) = f**2 + f + 2. Let i(b) = -b**2 + 9*b - 4. Let a be i(6). Let d be 52/(-14) - 4/a. Is w(d) a multiple of 7?
True
Suppose -o + 3*z = -2*z - 14, -5*o - 2*z = 11. Let h be (1/(o/(-121)))/(-1). Is (-6)/18 + h/(-3) a multiple of 20?
True
Let j(p) = 2*p**2 - 3*p + 4. Let d be j(6). Suppose -3*g + 30 = -f - d, g - 12 = -4*f. Suppose -5*x + 2*m = -130, -2*x - 3*m = m - g. Does 8 divide x?
True
Suppose f - 149 = -2*z, 295 = 4*z + 2*f + f. Suppose 8*h - 12 = 5*h. Suppose 0*b + z = h*b. Is 9 a factor of b?
False
Is 4 a factor of 0 + -2 - 20/(-1)?
False
Let v(o) = o - 4. Let m be v(6). Let l(r) = -6 - 3*r**2 + 5*r**m - r - 7*r - r. Is l(8) a multiple of 18?
False
Let k = 562 - 387. Is k a multiple of 35?
True
Let a be -6*4/8 + 89. Let j = a - 34. Does 13 divide j?
True
Let q(o) = -o**2 - 6*o + 11. Is 4 a factor of q(-6)?
False
Let o(g) = g**2 + 5*g + 2. Let n be o(-5). Suppose 5*d = -b + 62, 0 = 2*d - n*b - 17 - 15. Does 3 divide d?
False
Suppose 14 = -2*z + 134. Is 13 a factor of z?
False
Let c(q) = -q**3 - 6*q**2 + 5*q - 6. Let t be c(-7). Let y(z) = 3*z + 5. Is 12 a factor of y(t)?
False
Suppose 3*u = u + 90. Let l be 33/22*4/6. Is 2*(u/6 + l) a multiple of 13?
False
Suppose -5*t = 5, 2*w - 5*t = 5 + 8. Is 3 a factor of (-8)/(-12)*18/w?
True
Suppose 7*b - 3*b - 116 = 0. Is b a multiple of 20?
False
Let b = 3 - 0. Let q = -7 + b. Does 19 divide (-6)/q*(45 + -7)?
True
Is 22 a factor of (-1 + (0 - -5))/((-5)/(-150))?
False
Suppose -5*u + 199 + 181 = 5*y, 3*u = 0. Is 6 a factor of y?
False
Let o(b) = b**2 + 5*b + 5. Let y(l) = l**2 + 6*l + 5. Let u(s) = 6*o(s) - 5*y(s). Does 15 divide u(-5)?
True
Suppose -2*b - 36 = 2*m, -5*m - 5*b = -6*m - 42. Let o = -57 - m. Is ((-4)/(-2))/(-2) - o a multiple of 17?
True
Suppose -5*t + 311 - 91 = 0. Let q = 63 - t. Is q a multiple of 8?
False
Let z be 0*(-1 - 3/(-6)). Let m(a) = a + 26. Is 13 a factor of m(z)?
True
Let g be (27/(-12) - -2)*-68. Let n = 51 - g. Is 17 a factor of n?
True
Let c = 10 + -8. Suppose 0 = -4*w + q + 151, 49 = 3*w - 2*w + c*q. Is w a multiple of 13?
True
Let q(f) be the first derivative of -4*f**2 - 6*f - 3. Does 15 divide q(-6)?
False
Suppose 25 = q - 4*a, 2 = 3*q + 3*a - 13. Suppose -3*w - 2*y - 2 = -21, 2*y - q = -w. Is 2 a factor of w?
False
Let w = 11 - 7. Suppose -3*a + w*a + p = 70, -2*a - p + 145 = 0. Is 27 a factor of a?
False
Let q(b) = b + 10. Let a be q(-7). Let h(v) = -v**3 + 8*v**2 - v - 1. Let t be h(8). Does 9 divide (69/(-9))/(a/t)?
False
Let f be 1/2 - (-4)/8. Let z be (-5 + -1)/(-2*f). Suppose 41 = z*a - 22. Is 13 a factor of a?
False
Suppose 40 = r + 3*r. Is 8 a factor of r?
False
Is 148/18 - (-18)/(-81) a multiple of 8?
True
Let z = 12 + 118. Does 26 divide z?
True
Suppose -12 = -2*l + l + 2*h, 0 = 5*h + 20. Suppose -l*p = -5*p - 6. Is (-2)/(-3) + (-170)/p a multiple of 15?
False
Suppose -3*x + 18 = -2*b, 0 = 5*x - b - 4 - 33. Is x a multiple of 4?
True
Suppose 3*h = 237 - 51. Does 12 divide h?
False
Is 5 a factor of (2/4*2)/(4/308)?
False
Let i = -88 - -256. Is i a multiple of 24?
True
Let p(t) = 4*t**2 - t - 2. Is 6 a factor of p(2)?
True
Let f = -8 - -10. Suppose 0 = f*h - 11 + 5. Suppose -4*w + 3*s + 60 = -0*s, -h*s + 84 = 4*w. Is w a multiple of 9?
True
Let j(b) = -7 - b + 7. Is j(-8) a multiple of 4?
True
Suppose -f = -4, -4*f = -3*u + f + 52. Let z = 36 - u. Does 11 divide z?
False
Let f be (-1 + 1)*(-2)/4. Suppose -2*g = -f*j - j - 37, -3*j = -4*g + 79. Is 16 a factor of g?
True
Let q = 20 - 16. Suppose 4*s + 3*r = 135, -s - q*r = 2*s - 96. Does 15 divide s?
False
Suppose 5 = s - 5*z + 3*z, -z = 2*s - 5. Let n = 212 + -124. Suppose 7*j - n = s*j. Is j a multiple of 16?
False
Let d = -41 + 92. Let u = d - 19. Does 11 divide u?
False
Suppose 15 = 5*p, -4*u + 5*p + 1 + 4 = 0. Suppose b + 2*k - 41 = -0*b, 4*k = u*b - 163. Suppose b = 3*y + 2. Is y a multiple of 11?
True
Let l be 4/(-22) + (-3327)/33. Let k = 151 + l. Does 20 divide k?
False
Let a = -1 - -3. Suppose -a*b + 2 = -b. Suppose 2*j + 2 = 0, -3*y - b*y + 2*j + 62 = 0. Is y a multiple of 10?
False
Let p = 53 + -4. Let f = p + -15. Is f a multiple of 11?
False
Suppose -4*f + 392 = -0*f. Is f a multiple of 11?
False
Let f = -3 - -1. Let q be f/8 + 579/12. Suppose -4*y = -0 - q. Is y a multiple of 6?
True
Suppose 2*k - 5*k - 15 = 0. Is ((-22)/k)/((-12)/(-30)) a multiple of 6?
False
Let g = 29 - 6. Does 23 divide g?
True
Suppose -p - 2*p = 3*o - 162, 0 = -4*p + o + 226. Is 10 a factor of p?
False
Let y be ((1 - 0) + -3)*-1. Let v(x) = -14*x - 4. Let z(d) = -14*d - 5. Let m(g) = -7*v(g) + 6*z(g). Is 12 a factor of m(y)?
False
Let c(x) = x**2 + 3*x - 19. Is 23 a factor of c(8)?
True
Suppose 7*c - 11*c + 240 = 0. Is 10 a factor of c?
True
Let i(d) = -d**3 - 3*d**2 + d - 3. Let a be i(-4). Let b = -6 + a. Suppose 2*p - 5*p + b*l + 99 = 0, 4*l = 2*p - 62. Is 19 a factor of p?
False
Suppose 0 = m + 4*m - 10. Suppose 75 + 27 = m*r. Let a = 72 - r. Does 10 divide a?
False
Let m be (-3 + 2)/((-1)/2). 