16). Let i be -51 - 2/(1 + -2). Let d = t - i. Is 16 a factor of d?
True
Let l be 1*(-1 + 1 + 0). Suppose 3*a + 2*f - 28 = l, 0 = -a - 0*a - 5*f + 31. Does 3 divide a?
True
Let z = -193 + 277. Does 8 divide z?
False
Let d = -1 + 6. Let y(k) = -k**3 + 8*k**2 - 8*k + 9. Let x be y(7). Suppose -5*n - x*i = -100, 3*n + d*i - 46 = i. Does 18 divide n?
False
Suppose 0 = 2*z + z - 54. Does 3 divide (12/z)/((-2)/(-18))?
True
Is 7 a factor of (-14)/(1 - 9/6)?
True
Let u(i) = i**3 - 12*i**2 + 11*i + 1. Let s be u(11). Let d be (0 + (-2 - -2))/s. Suppose 5*b + 3*t + 0*t - 43 = d, 2*t + 6 = b. Is 4 a factor of b?
True
Let s = 108 - 65. Let l = s + -23. Does 10 divide l?
True
Let i be (-5 - -3)*10/(-4). Suppose -5*h + 35 + i = 0. Is 8 a factor of h?
True
Suppose -15 = -0*b + 5*b, 3*m = 3*b - 39. Is 6 a factor of m/6*36/(-8)?
True
Suppose -49 = -2*c + 175. Does 8 divide c?
True
Suppose 8*p - 5*p = 243. Is p a multiple of 14?
False
Suppose 0 = -q + 5 + 35. Is q a multiple of 8?
True
Let x(i) = -107*i**3 + i**2 + i - 1. Does 33 divide x(-1)?
False
Suppose -11*f + 13*f - 230 = 0. Does 12 divide f?
False
Let c(d) = 6*d + 4. Let x be c(-3). Let u = x + 26. Let n = u - 2. Is 10 a factor of n?
True
Let n be -1 - (4/2 + -6). Suppose o = 5*a + 26, 2*o + o = -n*a + 114. Is o a multiple of 12?
True
Let t(c) = c**3 - c**2 - c + 2. Let a be t(0). Suppose -2*x - a = -4*b, -6 = -4*b + 2*b. Suppose 57 = x*i - 123. Does 18 divide i?
True
Let j(o) = 47*o - 1. Suppose -3*s + 0*s - 5*b + 20 = 0, 3*b - 13 = -2*s. Suppose s*c = 2 + 3. Is 17 a factor of j(c)?
False
Let z = 248 + -98. Is z a multiple of 34?
False
Suppose -2*y - 1 + 17 = 0. Let w(n) = -3*n**2 + 11*n. Let l(f) = -16*f**2 + 56*f - 1. Let i(g) = -2*l(g) + 11*w(g). Is 10 a factor of i(y)?
True
Let h = -35 + 71. Is 6 a factor of h?
True
Let d(r) = -11*r**3 + 2*r + 1. Suppose 0 = -2*s + 3*f + 10, 5*f + 20 = -3*s - 3. Is d(s) a multiple of 10?
True
Let u(q) = -7*q**3 + 6*q**2 - 8*q - 4. Let x(o) = o**3 + o. Let w(h) = -u(h) - 6*x(h). Suppose 3*a - 8 = 10. Is 6 a factor of w(a)?
False
Suppose 2*k + 5*s = -21, 3*k - s = -0*s + 11. Suppose -x = k*x. Let u = 28 - x. Is 14 a factor of u?
True
Let l(n) = 21*n - 13. Let g(y) = -10*y + 6. Let v(i) = 7*g(i) + 3*l(i). Is v(-3) a multiple of 13?
False
Is (-47)/(-5) + 2/(-5) a multiple of 9?
True
Suppose 2*f + 2*p - 34 = -0*p, 4*p = -4. Does 6 divide -1*(1 - 2)*f?
True
Let i(z) = z**3 + 5*z**2 + z + 5. Let t be i(-5). Suppose t = -g + 3*d - 285, -2*g + 5*g - 4*d + 845 = 0. Is g/(-5) - (-2)/10 a multiple of 17?
False
Let g(j) = -j**3 - 7*j**2 - 3*j - 1. Is g(-8) a multiple of 23?
False
Let c = 4 - 2. Is 3 a factor of 2/((-16)/(-6) - c)?
True
Let r(s) = 2*s - 7*s + 4 - 9 - 6. Let f be r(-9). Does 7 divide 2/3 + f/3?
False
Let j(o) = 2*o + 64. Is 20 a factor of j(18)?
True
Let r(k) = k - 4. Let s = 17 - 8. Let f be r(s). Suppose 3*l = -4*c + 6*c + 136, -4*l - f*c = -143. Is 14 a factor of l?
True
Suppose -37 = 4*b - 5*b. Suppose 5*o - 115 = -0*o. Suppose -o = -4*v + b. Is 11 a factor of v?
False
Let q = 501 - 721. Is (1*-1)/(10/q) a multiple of 8?
False
Let j(v) = 4*v**2 - v + 3. Suppose 3*k + 0 = 12. Is j(k) a multiple of 21?
True
Let g(f) = 7*f**2 - 4*f**2 + 10 - 14 + 2*f. Is g(2) a multiple of 12?
True
Let z(q) be the third derivative of q**6/120 + q**5/10 + q**4/4 + 5*q**3/6 + q**2. Let a be z(-5). Is 16 a factor of (2 - -3)*7 - a?
False
Let n(w) = -w**3 - 22*w**2 - 23*w - 24. Is n(-21) a multiple of 6?
True
Suppose z - 30 = 3*d, d - 3*d = -3*z + 69. Suppose -6*o = -3*o - z. Is o a multiple of 7?
True
Let c(s) = 6 + 3*s - 1 - 3. Let z be c(2). Is 82/z + (-2)/8 a multiple of 5?
True
Let z(g) = g**2 + 6*g - 2. Let m be 1/4 - 58/8. Does 3 divide z(m)?
False
Let y = 200 - 131. Is 23 a factor of y?
True
Let m(k) = -3*k**2 + 6*k - 8. Let q(f) = -5*f**2 + 9*f - 12. Let x(n) = 8*m(n) - 5*q(n). Is 12 a factor of x(5)?
True
Let a = 8 + -3. Suppose 4*i + 5*d = i - 16, 2*i - a*d = 31. Is 17 a factor of (0 - (-2)/i)*48?
False
Let b(k) = 35*k**2 - 4*k + 3. Let o be b(2). Suppose o = -4*w - 857. Does 13 divide (-10)/(-25) + w/(-5)?
False
Let i = 7 - 10. Let n be 1/(i/6*-1). Does 3 divide (12/5)/(n/5)?
True
Let b = -2 - -5. Suppose y = 13 - b. Does 10 divide y?
True
Let h(j) = 4*j - 1. Let u be h(1). Is (-1)/(2/(-22))*u a multiple of 15?
False
Let z(v) = -v + 20. Suppose -5*q - 7 = 3. Let j = q + 2. Does 8 divide z(j)?
False
Let u(t) = -2 + t - 4*t - 3*t. Does 11 divide u(-3)?
False
Suppose 11*k + 22 - 121 = 0. Is 4 a factor of k?
False
Suppose -4*o - 36 = -3*c, -c + 60 = 4*c - 2*o. Does 4 divide c?
True
Suppose -9*a + 1353 = 345. Does 15 divide a?
False
Let c = -109 - -184. Let w = 109 - c. Does 17 divide w?
True
Suppose -5*x = -17 + 2, -2*y = -2*x + 6. Suppose y*s - 135 = -5*s. Does 8 divide s?
False
Let z(a) be the second derivative of -a**5/20 - a**4/6 + a**3/6 - a**2 - 3*a. Is 15 a factor of z(-4)?
False
Let d be 1*(-172)/6*-6. Suppose 0*y - 4*y = -d. Is 18 a factor of y?
False
Does 7 divide ((-3)/(-6))/((-3)/(-102))?
False
Let y be (4 - (2 + -1))*1. Suppose -y*b = 31 - 157. Is 21 a factor of b?
True
Let p be (-2 + 2)/(1 - 0). Let b = p - -5. Is b a multiple of 4?
False
Suppose -4*f + 205 = w, f = -4*f + 4*w + 230. Is 5 a factor of f?
True
Let d(u) = 2*u - 9. Does 3 divide d(6)?
True
Suppose -3*i + 30 = 3*i. Suppose -6*z = i*q - 4*z - 288, 3*q - 156 = 3*z. Is 13 a factor of q?
False
Let t(v) = 3*v - 9. Does 21 divide t(10)?
True
Let c(o) = o**2 - o + 24. Does 10 divide c(-7)?
True
Let r = -40 - -29. Let k = r + 62. Is k a multiple of 17?
True
Let s(p) be the second derivative of p**5/20 - p**4/12 - p**3/6 + 5*p**2/2 + p. Let y be s(0). Let h = 4 + y. Is 9 a factor of h?
True
Suppose 0 = -4*n + 12, 3*m + 2 - 17 = n. Suppose -5*z - 176 = -3*s, -2*z - 77 = -5*s + 191. Is (s/3)/(2/m) a multiple of 21?
False
Let h = -6 + 10. Let r(z) = 6*z - 6. Is 18 a factor of r(h)?
True
Let c = -25 + 18. Let m = c - -14. Is 6 a factor of m?
False
Let h = 1 + 84. Is 18 a factor of h?
False
Let s(g) = g**2 - 14*g + 17. Let w(t) = -3*t**3 - 3*t**2 + 1. Let q be w(-2). Let u be s(q). Is -2*1/u*-10 even?
False
Let g(n) = 5*n. Suppose 0 + 40 = 5*o. Let y be (-1)/4 - (-18)/o. Is g(y) a multiple of 5?
True
Suppose -4*w + r + 49 = -3*w, 0 = w + r - 41. Is w a multiple of 15?
True
Suppose 0 = -3*f + 2*k - 1, -3*k - 9 = 2*f - 4. Does 11 divide f/((-1)/((-132)/(-4)))?
True
Suppose -32 = 4*o - 344. Suppose 0 = -7*q + 5*q + o. Is 13 a factor of q?
True
Let x = -3 + 5. Suppose 12 = 5*c - x*c. Suppose -c*w + w + 29 = 2*l, 2*l - 39 = -w. Does 11 divide l?
True
Let j = 4 - 4. Suppose 0 = -j*s + 3*s. Let v(q) = q**3 + q**2 - q + 28. Does 10 divide v(s)?
False
Suppose 3*b - 3*r - 120 = -0*r, -2*b + 4*r = -72. Is b a multiple of 22?
True
Let j(u) = -u + 6. Let t be j(3). Suppose -3*n - 6 = -t, -s + 5*n = 13. Let y = -8 - s. Is y a multiple of 10?
True
Let x(j) = 15*j - 64. Is 26 a factor of x(6)?
True
Let a(o) = 2*o - 13. Let u(q) = -q - 1. Let j(i) = -a(i) + u(i). Is j(-9) a multiple of 14?
False
Suppose -2*t = -3*u + u - 8, 4*t + 4*u - 8 = 0. Suppose -18 = -4*v + t*v. Does 4 divide v?
False
Let x(n) = 10*n + n**2 + 1 + 0 - 4*n. Let o be x(-6). Is 3 a factor of 6 - (o/(-1) - -1)?
True
Let m = -1 + -19. Let c = -10 - m. Is c a multiple of 5?
True
Does 13 divide 367/5 + (-10)/25?
False
Suppose k = -2*j + 11, -k - 2*k = -4*j + 7. Suppose -j*w + 26 = -154. Is 20 a factor of w?
False
Is (-11)/(-7) - 2 - (-227)/7 a multiple of 28?
False
Let j be 3*(1 + -3 + 1). Let p be 22/j + 6/(-9). Let z = 5 - p. Does 7 divide z?
False
Let u(g) = 2*g - 7. Let w be u(-6). Let c = 22 - w. Does 9 divide c?
False
Suppose -r = -2*h - 6*r + 19, 4*h = 2*r + 74. Does 7 divide h?
False
Suppose 2*w + q = -2*q - 58, 3*w = 3*q - 117. Let u = w + 59. Is u a multiple of 5?
False
Let q be ((-14)/(-6))/(2/(-6)). Let d = q - -18. Suppose -h + d = -0*h. Is h a multiple of 11?
True
Let l = 64 + -22. Does 7 divide l?
True
Let q(c) = 14*c**2 + 1. Let g be q(-3). Suppose 5*m + 240 = 5*v, -3*v + 17 + g = 5*m. Let w = 76 - v. Is w a multiple of 14?
True
Let d(w) = -w**2 + 7*w + 8. Let j be d(8). Suppose j = -0*z + 3*z. Suppose -4*a + 4*m + 64 = z, 2*a - 40 = -0*m - 2*m. Is 9 a factor of a?
True
Is 12 a factor of (-3 + 4)*-1 + 13?
True
Let n = 11 + 6. Does 10 divide n?
F