 14 divide w?
False
Let r be 14/21 + (-10)/(-3). Suppose 3*k + x + 2*x = 48, -r*x = -8. Is 13 a factor of k?
False
Let t(h) = 5*h. Let y be t(-1). Let n(s) = -s**3 - s**2 + 8*s - 4. Does 28 divide n(y)?
True
Let a be (1 - (-1 - -4))*-1. Suppose -a*y = 3*c - 212 - 73, 4*y + 3*c = 573. Suppose -5*p - 24 = -y. Does 12 divide p?
True
Suppose 4*q - 2*p - 31 = 179, -5*q + 260 = -3*p. Is 22 a factor of q?
False
Let y(n) = -27*n**2 - 3*n - 2. Let b(a) = -4*a**2 + 4*a - 2. Let x(t) = -t**2 + t - 1. Let o(k) = -b(k) + 3*x(k). Let v(h) = 3*o(h) - y(h). Does 17 divide v(1)?
False
Does 34 divide 1/3*2*(-3768)/(-16)?
False
Let s be (-696)/(-44) - (-4)/22. Does 11 divide (1 - s/(-6))*3?
True
Does 37 divide -37*(2 - -1 - 4)?
True
Let n be 0 + (4 - (-4)/(-2)). Suppose g = 2*s - 153, -n*s - 4*g + 138 = -0*s. Is s a multiple of 25?
True
Suppose s - 3*h - 43 = -18, -70 = -5*s + 4*h. Does 3 divide (s/15)/(2/15)?
False
Suppose 5*p = -5*v + 270, 4*p - 13 = 7. Let q = v - 34. Is q a multiple of 15?
True
Let i(b) = -2*b - 2. Let h be i(-5). Suppose g - 85 = -3*w, -3*w + h*g + 61 = 3*g. Is 9 a factor of w?
True
Let g(s) = -s**3 + 12*s**2 - 13*s + 8. Is g(8) a multiple of 16?
True
Let k be (-136)/22 - 4/(-22). Does 25 divide (-4)/(-6) + (-356)/k?
False
Let s = 4 - 4. Suppose y + 2*y - 93 = s. Let j = y - 13. Is j a multiple of 7?
False
Suppose i - 92 = 84. Does 11 divide i?
True
Suppose 4*d = -128 + 416. Is 18 a factor of d?
True
Suppose -m + 2 = -0*m. Suppose -m*u - 3*u = -240. Is 16 a factor of u?
True
Suppose 0*s + 4*u - 23 = -s, -2*s + 2*u + 86 = 0. Is s a multiple of 5?
False
Let h = -21 - -46. Let j = h - 13. Is j a multiple of 6?
True
Suppose -3*g + 8 = g. Let q = g - 5. Does 3 divide (-3 - (-1 + 0))*q?
True
Let m(c) = -c + 30. Let d be (-1)/((-1)/(-2)) - -2. Is m(d) a multiple of 9?
False
Let o = -8 - -14. Suppose o*a - 116 = 2*a. Is a a multiple of 17?
False
Suppose -3*b + 21 = -3*y, -3*y - 4 = 11. Is (-1)/b*-1*24 a multiple of 5?
False
Let h = -41 - -123. Does 34 divide h?
False
Let t(s) = 5*s - 2 + 3 + 3*s - 5. Is 30 a factor of t(8)?
True
Let z = 12 + -8. Suppose -k - 20 = -2*k + 5*a, z*k - 80 = 4*a. Is k a multiple of 5?
True
Let o be -1 + (3 - (-1 - -3)). Suppose o*l + 6 = 3*l. Is 11 a factor of (12 - (-3 + l)) + -2?
True
Does 30 divide ((-1)/1 + 301)*26/39?
False
Suppose 3*c = 7 + 20. Does 2 divide c?
False
Is 14 a factor of -1 + 24/2 + 3?
True
Suppose b - 1 + 17 = 0. Let y = b + 47. Is y a multiple of 13?
False
Let c(n) = -3*n - 2. Let z be c(-2). Suppose -4*d + 20 = 4*f, z*d - 5*d = 3*f - 21. Is 19 a factor of 19/1*16/f?
True
Let o(w) = w**2 + 7*w + 9. Suppose -3*l - v = 10 + 13, 4*v = -5*l - 50. Is 3 a factor of o(l)?
True
Let k(v) = -v**3 + 3*v**2 - v + 4. Let d be k(3). Let q = d + -4. Let m = q + 27. Does 12 divide m?
True
Let i(n) = -8*n - 3*n + 1 + 2*n + 1. Is i(-4) a multiple of 26?
False
Let r = 129 + -90. Let k = r - -6. Does 8 divide k?
False
Let o(z) = 5*z - 6*z - 11 - 2*z. Is 6 a factor of o(-9)?
False
Let f(d) = -3*d**2 - 2*d**3 - d**3 + 5*d**2. Does 16 divide f(-2)?
True
Let d(u) = -3*u**2 + 4*u - 1. Let r(j) = 7*j**2 - 9*j + 2. Let m(f) = -5*d(f) - 2*r(f). Let l be m(3). Suppose -l*k + 81 + 39 = 0. Does 15 divide k?
True
Let a = 1 - -8. Let n = 15 + a. Does 12 divide n?
True
Suppose 2*r + 0*r - 4*j + 56 = 0, 2*j - 68 = 3*r. Let h = r + 35. Does 5 divide h?
True
Let x = 2 + -3. Let z(m) = -6*m - 1. Is 2 a factor of z(x)?
False
Let a = 21 - 16. Suppose a*v - 2*j - 58 = 0, v + 5*j = -0*j + 17. Is v a multiple of 4?
True
Suppose -2*p = 4*w - 54, 5*p + 0*p + w - 144 = 0. Let j = -14 + p. Is j a multiple of 5?
True
Let i be 3 - 1/(-1 - 0). Let w(j) = j**3 - 3*j**2 + 3*j - 1. Does 9 divide w(i)?
True
Suppose -3*h = -4*h + 33. Suppose -4*q = -9*q + 30. Let p = h - q. Does 11 divide p?
False
Let f be ((-20)/12)/(2/(-6)). Let k be (f/(-2))/(1/(-2)). Suppose -k*m + 23 = -i, 4*i + 3*m = m + 18. Is i a multiple of 2?
True
Let a be 52/(3 - (3 - 1)). Suppose -4*d + 3*p + a = 5*p, 2*d - 16 = 4*p. Is 8 a factor of d?
False
Suppose -65 = -i + 66. Suppose -2*s = -4*o + 108 + 26, 4*o - s - i = 0. Is 16 a factor of o?
True
Let c(p) = -p**3 - 3*p**2 - 7. Suppose 4*o - 5 = -o, 3*o = -4*n - 17. Is 13 a factor of c(n)?
False
Let g = 6 - -42. Is 8 a factor of g?
True
Suppose -2*s = -x + 4*x + 1, 3*s + 3 = -5*x. Let g = s + 13. Is g a multiple of 6?
False
Suppose -2*r = -0*y + 3*y, -3*r = 0. Suppose y = b - 2. Suppose b*o = w - 11 - 19, 5*w + o = 161. Does 11 divide w?
False
Let g(l) = l**2 - 7*l - 19. Does 25 divide g(-9)?
True
Suppose 0*b - 12 = -3*b. Let y be (-54)/(-15) + b/10. Is 11 + 5/((-10)/y) a multiple of 9?
True
Let y(c) = 7*c**2 + c**2 - 9*c**2 + 2*c**2 - 9*c - 19. Is y(13) a multiple of 11?
True
Let z(c) = -3*c - 9. Let m(j) = 3*j + 10. Let b(x) = -4*m(x) - 3*z(x). Let k = 15 - 26. Does 11 divide b(k)?
False
Let d(y) = -6*y - 4. Let c(u) = 1. Let m(a) = -a - 7. Let s be m(-6). Let z(q) = s*d(q) - 4*c(q). Does 12 divide z(2)?
True
Let y = 4 - 4. Suppose 0*d + 5*m = -2*d + 1, 5*m + 25 = y. Is 6 a factor of d?
False
Is 4 a factor of ((-80)/15)/((-8)/12)?
True
Suppose 0 = j, 0 = -3*u + 3*j + 51 + 24. Let n = u - 17. Is 7 a factor of n?
False
Let y = 77 - 26. Is y a multiple of 6?
False
Let r be (2/(-2))/((-2)/(-4)). Is 2 a factor of 30/12 - 1/r?
False
Suppose 4*k + 4 = -5*z, -3*k - 2*z - z = 0. Suppose -k*b - p + 220 = -3*p, 3*b - 2*p = 164. Is b a multiple of 14?
True
Let l = -15 - -14. Let m(d) = -6*d + 1. Is m(l) a multiple of 2?
False
Does 7 divide 55/22*(-882)/(-15)?
True
Let h be ((-2)/4)/(1/(-4)). Is 2 a factor of (35/(-15))/(h/(-6))?
False
Suppose 3*a - 4*m = 520, 4 + 1 = m. Does 45 divide a?
True
Suppose 0*z + 2*z = -t + 58, 4*z = 4*t - 268. Does 16 divide t?
True
Suppose -23*g = -25*g + 8. Suppose 4*u = -5*w + 234 + 88, -245 = -g*w + u. Is w a multiple of 12?
False
Suppose 0 = 5*y - 3*r - 96, -3*y = -2*r + 27 - 85. Suppose 4*i + 40 = -2*q, 6 = -2*i - 4. Let w = q + y. Is w a multiple of 4?
True
Let z = 11 + -7. Suppose 0 = -0*j - z*j + 64. Is j a multiple of 7?
False
Let f(u) = 12*u - 2. Let q be f(-2). Let c be q/7 + 6/(-21). Let k(l) = 2*l**2 + l. Is k(c) a multiple of 10?
False
Let m(l) = 2*l - 3. Let y = 27 + -18. Is m(y) a multiple of 15?
True
Suppose -27 = -3*s + 5*i, 5*s + 0*i - 23 = i. Suppose 3 = -2*t + 23. Suppose -2*o + s = -t. Is o a multiple of 3?
False
Does 19 divide 1 + 0 + 185/5?
True
Let t = -45 - -126. Does 12 divide t?
False
Let t be 0*(1/(-2) + 1). Suppose t*f + 3*f - 57 = 0. Is f a multiple of 6?
False
Let t = -6 - -4. Let i be 0/1*(-2)/t. Is i + (-1 - -3) + 3 a multiple of 5?
True
Is (-2 - 0)/4*-48 a multiple of 6?
True
Let q = 85 + 17. Suppose -2*a + d = 2*d - q, 2*a = -4*d + 90. Does 11 divide a?
False
Let o(r) = 2*r**3 + 29*r**2 + 13*r + 2. Does 16 divide o(-14)?
True
Suppose -5*k = 2*k - 399. Is k a multiple of 35?
False
Suppose -4 = -0*a - 2*a. Let l be a*(-7)/(-2) - 1. Let k = -1 + l. Is 4 a factor of k?
False
Suppose -3*p = -5*p + 26. Is p a multiple of 13?
True
Suppose -4*q = 3*l - l - 30, -26 = -2*l - 2*q. Let s = 33 - l. Is 11 a factor of s?
True
Suppose -24 = -2*h + 5*n, -4*h - n + 0*n = -4. Suppose u - 1 = 2. Suppose -u*x + 11 = -h*x. Does 11 divide x?
True
Suppose 0 = 2*f + 14. Let i(l) = -5*l - 9. Is i(f) a multiple of 13?
True
Is (70 - -2)*(-6)/(-9) a multiple of 12?
True
Let n(g) = -g**3 - 5*g**2 - 6*g - 9. Is 21 a factor of n(-6)?
True
Suppose -12 = -3*j + g, 2*j = -g + 6 + 2. Suppose q + 0*q - 5*r - 78 = 0, 4*q - 264 = j*r. Suppose 21 = -3*d + q. Is d a multiple of 14?
True
Let a be (-2 - -1)/((-4)/12). Let n(p) = 0*p + 5*p + 1 - p**a + p - 3*p**2. Does 12 divide n(-5)?
False
Suppose -2 = -2*b, -t + 5*b + 3 = -0*b. Let d = 37 - t. Is d a multiple of 17?
False
Suppose -2*l = -n + 74, -3*n + 30 - 3 = -l. Let y = 71 + l. Is 16 a factor of y?
True
Let w = -408 + 679. Is 41 a factor of w?
False
Let p be -2 - (-3)/(9/33). Let n be 10/(-45) - (-2)/p. Does 23 divide (-5 + n)*(-46)/10?
True
Suppose 5*m = 2*n - 1, -4*n = -5*m + 7 - 4. Does 15 divide m + 16 + 1 - 1?
True
Is (-4 - -94 - 3) + 3 a multiple of 30?
True
Let q = -16 + 20. Suppose q*w = 9 + 127. Is 10 a factor of w?
False
Let g(l) = -7*l**2 - 5*l + 3. Let q(d) = -6*d**2 - 4*d + 2. Suppose 3*x = -x - 16. Let k(y) = x*q(y) + 3*g(y). Does 2 divide k(-1)?
F