16. Let k be ((-12)/(-4))/((-1)/a). Let h = k + 0. Is 4 a factor of h?
False
Let s(i) = -i**2 + 10*i + 228. Does 19 divide s(0)?
True
Is 23 a factor of 778*8/88*11?
False
Let c(b) = b**3 + 21*b**2 + 20*b - 12. Let z be c(-18). Suppose -5*v + 0*v + z = 0. Is 10 a factor of v?
True
Suppose 1 = -5*s + 21. Suppose -4*c - 3*l = -4*l - 324, -l = s*c - 324. Is 7 a factor of c?
False
Let x(k) = 14*k - 4. Let v be x(1). Suppose v*f - 9*f - 43 = 0. Is f a multiple of 15?
False
Let h = 595 - 345. Suppose 2*r + 4 = 0, -4*i + 5*r - 2*r = -h. Does 7 divide i?
False
Let m be -1 - (-1 + -8)*4. Suppose w - 27 = -3*l + m, 4*l = 4. Is w a multiple of 11?
False
Let n = 166 + -1. Does 33 divide n?
True
Let p be 462/24 - (-2)/(-8). Let u = -19 + p. Suppose u = 2*y - 0*y - 12. Is y a multiple of 5?
False
Let s = -27 + 27. Suppose s = 5*k - 331 - 69. Is 20 a factor of k?
True
Suppose 0 = 2*n - 6*n - 2*s + 3840, 5*s - 942 = -n. Is 43 a factor of n?
False
Let p(n) = -35*n - 88. Is p(-14) a multiple of 30?
False
Suppose 265 = 5*w - 0*w - 5*q, -w + 2*q + 58 = 0. Suppose -h + 69 = -w. Is h a multiple of 13?
True
Suppose 2*j = 7*j - 35. Let m be 2/(-4)*(7 - j). Suppose 0*w - w + 44 = 5*a, m = -5*w - a + 100. Does 8 divide w?
False
Suppose 0 = -3*b - 5*y + 67, 0 = -5*b + 5*y + 154 - 29. Let f = -18 + b. Is 2*3 + f/(-6) a multiple of 4?
False
Let t(s) be the first derivative of -s**4/4 + 11*s**3/3 - 5*s**2/2 - 19*s - 24. Is t(8) a multiple of 19?
True
Suppose 4*f - 3*w = -8, 3*f + 3*w = 4*f + 11. Suppose f = -g + 4. Suppose -4*k = g*n - 295 - 91, -8 = 4*n. Is 25 a factor of k?
False
Suppose 2*y - 3 + 7 = 0. Let t be (-51 - y)*-1*1. Suppose -3*a + 3*z + 69 = 0, -a + 4*a - t = -z. Does 9 divide a?
True
Is 6*(3 + -2) - -39 a multiple of 16?
False
Let n(d) be the third derivative of -d**4/12 + 11*d**3/6 - 21*d**2. Let o be 178/(-11) + (-4)/(-22). Does 19 divide n(o)?
False
Suppose -51 + 51 = 5*b. Suppose 5*i - 217 + 32 = 0. Suppose v = q - v - 18, b = 4*q - v - i. Does 2 divide q?
True
Suppose 72*w - 9524 = 52756. Is w a multiple of 80?
False
Suppose -2*x - 6*x = -296. Is 3 a factor of x?
False
Let z be 6 - (-3 + (9 - 3)). Suppose -75 = z*d - 8*d. Is 4 a factor of d?
False
Let t(m) = 282*m**3 - m**2 - 2*m + 2. Let i be t(1). Let b = i - 146. Is b a multiple of 45?
True
Suppose 20503 = -47*o + 153607. Is o a multiple of 118?
True
Suppose 6*u - 570 = -4*u. Is u a multiple of 5?
False
Let u(f) = -f - 14. Let j be u(-17). Suppose -3*x - 4*l + 218 = 0, x - 82 = j*l - 2*l. Does 6 divide x?
True
Suppose -45 = a - 4*a. Let x(t) = -t + 2. Let j be x(-5). Let r = a - j. Is 3 a factor of r?
False
Is (-72)/120 + 0 + (-1496)/(-10) a multiple of 5?
False
Suppose -4*d + 28 = -4. Let r be (d/(-5))/((-2)/5). Suppose r*g + 0*g = 56. Is g a multiple of 14?
True
Let v(m) = 7*m + 7. Let l be (5/10)/((-1)/8). Let h be v(l). Let u = 35 + h. Does 14 divide u?
True
Is (12/21)/(-1) + (-3336)/(-7) a multiple of 48?
False
Let u(p) = -7*p + 14. Let t(a) = -a - 1. Let i(c) = t(c) - u(c). Is i(10) a multiple of 15?
True
Suppose -2*d + w - 4 = 7, 2*d = 2*w - 14. Let k(z) = -z - 3. Let p be k(d). Is -138*(p + 12/(-9)) a multiple of 11?
False
Let x(g) = 2*g + 5. Let o be x(0). Suppose -o*p = -54 + 24. Suppose -2*h + 3*c = -37, 4*c = 4*h + p*c - 82. Does 9 divide h?
False
Suppose 2*d - 3*o = -7, -4*o - 6 = 2*d + 3*d. Suppose 2*c - 305 = -1091. Is 26 a factor of d + (-1)/(3/c)?
False
Suppose 3*l + 813 = 3*h, 2*h - 4*l - 420 - 126 = 0. Let u = h + -145. Is u a multiple of 62?
True
Suppose -3*c + 2 = -l, -5*c + 5*l - 2*l = 2. Suppose -c*v - 48 = -4*p, -3 = p + v - 21. Is p a multiple of 7?
True
Let t = 564 + -450. Is 20 a factor of t?
False
Let t be (4 - 7)/(0 - 1). Suppose -13 + 1 = -t*q. Suppose -q*b - b + 4*o + 290 = 0, -3*b - 3*o + 201 = 0. Does 31 divide b?
True
Is (-2 + (-245)/20)/((-1)/32) a multiple of 12?
True
Let w(n) = n**2 + 1. Let v be w(-1). Suppose -7*q + v*q + 40 = 0. Is 5 a factor of ((0 - 1) + 3)*q?
False
Let l = -44 - -68. Suppose -99 = -5*u - l. Let n = 19 + u. Is n a multiple of 17?
True
Suppose 3*j - 10 = 32. Let o be ((-12)/21)/((-2)/j). Suppose d = -o*d + 125. Is 25 a factor of d?
True
Let v = 12 + -9. Suppose -3*k + 179 = l, -2*l + 25 = 3*l. Suppose -2*n + 210 = v*c - 5*n, c = -2*n + k. Is c a multiple of 13?
False
Let t(r) = r**2 - 17*r + 41. Let f be -34*((-6)/(-8))/((-6)/4). Is 20 a factor of t(f)?
False
Let w(a) be the first derivative of a**3/3 + 3*a**2 + 25*a + 35. Is 20 a factor of w(-15)?
True
Let n be 42/(-28) - 7/(-2). Suppose -3*q = 2*q + v + 32, 3*q = -4*v - 26. Does 5 divide 3 - (q - (n + 1))?
False
Let b(f) = -f - 104. Let w(v) = 5*v + 417. Let q(o) = -9*b(o) - 2*w(o). Does 18 divide q(0)?
False
Let y(f) = -f**2 + 8*f - 7. Let w be y(7). Is 0 + (w - -97) - (-7 + 8) a multiple of 30?
False
Let b(q) = -3*q - 3. Let n(z) = z**3 - 12*z**2 - 14*z + 8. Suppose 0 = x - 2*x + 13. Let c be n(x). Is 4 a factor of b(c)?
True
Let z(l) = 0*l - 4 - 5*l - 2. Let n(p) = 14*p + 18. Let u(q) = -4*n(q) - 11*z(q). Does 4 divide u(-12)?
False
Let w(m) = -73*m + 37. Is 31 a factor of w(-5)?
False
Suppose 0*o = -64*o + 98112. Is o a multiple of 26?
False
Suppose 15*o - 5*i = 17*o - 790, -4*o - 3*i + 1594 = 0. Is o a multiple of 5?
True
Let u(r) = -10*r**3 - 11*r**2 - 10*r - 4. Is u(-4) a multiple of 50?
True
Let p(t) = 5*t**2 - 23*t - 26. Let a(c) = 2*c**2 - 11*c - 13. Let b(l) = -7*a(l) + 3*p(l). Does 22 divide b(-9)?
True
Let w = -10 - -14. Is w/(-6)*(-72)/4 even?
True
Let g(f) = -f - 6. Let y(v) = 3*v + 11. Let w(s) = 5*g(s) + 2*y(s). Let j be w(12). Suppose 20 = j*q + 4. Does 4 divide q?
True
Let g = 80 + -75. Suppose 2*t - 4*b - 226 = -6*b, 0 = -t + g*b + 113. Is t a multiple of 7?
False
Is 3/6*(9 + -5 + 2) a multiple of 3?
True
Suppose -7*v = 87 - 654. Suppose 20*b - v = 17*b. Is 9 a factor of b?
True
Let w be (-80)/36 - 4/(-18). Let z be w/(-7) + 72/(-7). Is 26 a factor of (-156)/z*(-1 + 6)?
True
Let g = 280 - -399. Is g a multiple of 16?
False
Let f = 469 + -165. Is 14 a factor of f?
False
Suppose -19*m - 30 + 1474 = 0. Is m a multiple of 5?
False
Let l(x) = -60*x + 22. Does 18 divide l(-4)?
False
Let a(o) = o**2 + 13*o - 2. Suppose -4*v - 4 = -28. Is a(v) a multiple of 28?
True
Let u be (8/10)/((-42)/(-105)). Suppose 0 = -u*k + 8. Suppose -k*h = h - 410. Is 11 a factor of h?
False
Let r(f) = -f**2 + 2 + 1 - 21*f + 2 + 16*f. Let z be r(-5). Let c(x) = x**3 - x**2 - 6*x - 6. Does 18 divide c(z)?
False
Does 63 divide (-1892)/(-5) + 46/(-115)?
True
Suppose 0 = 3*v - 4*v + 27. Let x = v - -53. Does 20 divide x?
True
Let c(a) = -2*a**3 - 4*a**2 - 2*a + 2. Let p be c(-3). Let x be 1/7 + (-993)/(-7). Suppose -4*o + x = -p. Does 18 divide o?
False
Let u be (-5 + 5)/(2*-1). Let z be (u + -6)*7/7. Is 13 a factor of 10/(0 - z/21)?
False
Let g(l) = 0 + 0 - 1 + 6*l - 5*l. Suppose -4*y - y = 5*i - 70, 8 = 2*i - 3*y. Is g(i) a multiple of 7?
False
Let y(j) = 716*j**2 + 7*j + 12. Is 9 a factor of y(-2)?
True
Let u(t) = 13*t + 1. Let o(r) = -12*r - 2. Let v(g) = g**2 - 7*g - 5. Let m be v(7). Let a(z) = m*o(z) - 4*u(z). Does 15 divide a(3)?
True
Let d be 1/(1 + 10/(-5)). Let s(u) = -164*u. Let y be s(d). Suppose 0 = -5*p + 5*q + y - 39, 0 = 5*p + 5*q - 95. Is p a multiple of 5?
False
Let j = 228 - 99. Let o = j - 64. Let k = o + -41. Does 9 divide k?
False
Let u(w) = -w**3 - 4*w**2 + 4*w - 2. Let y be u(-5). Suppose -3*l = t + 6, 2 = -y*l - 4. Suppose 0 = 5*j - t*j - 230. Is j a multiple of 6?
False
Suppose -956 - 13604 = -8*f. Is 10 a factor of f?
True
Let t = -323 - -427. Is 13 a factor of t?
True
Suppose 4*t + 2*d - 2114 = 0, -6*d = 2*t - d - 1037. Is 59 a factor of t?
True
Let b = 9 + -7. Suppose 5*i - 140 = t, -b*t = -5*i - 44 + 189. Let w = -11 + i. Does 8 divide w?
True
Let n(m) = -6*m + 3*m + 14 - 2*m + 4*m. Let k be n(-12). Suppose 2*z - k - 22 = 0. Is z a multiple of 6?
True
Let m(q) = -q**2 + 8*q - 10. Let s be m(5). Is s/5*47 + 3 a multiple of 11?
False
Let b = 1482 + -967. Is b a multiple of 24?
False
Suppose -6*b + 8 = -10. Suppose -33 - 33 = -b*l. Is 5 a factor of l?
False
Let p(l) = -l**3 + 20*l**2 - 23*l + 34. Let r be p(19). Let j = -16 - r. Is 2 a factor of j?
True
Is 318 + (-16)/4 + -2 a multiple of 50?
False
Let d be (1/(-2)*2)/(17/2975). Let y = -98 - d. Is 16 a factor of y?
False
L