g be (-2)/8 - (-31)/(-4). Let z(m) = 7*m + 11. Let s be z(g). Is ((-8)/(-6))/((-6)/s) a multiple of 5?
True
Let b(j) = -15*j - 5. Let p = -2 - 0. Is b(p) a multiple of 11?
False
Let t(p) = -p**3 - p**2 - 5*p - 3. Is 6 a factor of t(-3)?
True
Suppose -804 = 6*y - 12*y. Does 41 divide y?
False
Suppose 3*z + 4 = -8. Let l = z + 17. Is l a multiple of 8?
False
Let m = -2 + 4. Suppose j = m*j. Suppose j = 5*z + 25 - 85. Does 12 divide z?
True
Let a(b) = b + 1. Let y be a(6). Let g(u) = -u + 10. Let z be g(y). Suppose -3*c + 176 = -z*x + 53, 2*x = 3*c - 124. Does 21 divide c?
True
Let t be 30/2*(-9 - -8). Let u = 6 - t. Is 7 a factor of u?
True
Let y(j) = -j**3 + 13*j**2 - 8*j - 19. Is y(11) a multiple of 15?
True
Let l = 3 - 0. Let y = l + 2. Let o(f) = -f**3 + 5*f**2 + 3*f + 4. Does 19 divide o(y)?
True
Let j = 1 - 9. Let d(v) = v**3 + 8*v**2 - 6*v + 2. Is d(j) a multiple of 20?
False
Let n be (-38 + (0 - 0))*1. Let x = -20 - n. Is 18 a factor of x?
True
Let u be (-2)/4*-38 + 2. Suppose 0*n - n + 2 = 0. Suppose 0 = -5*h - 2*x + 163, -33 - u = -2*h + n*x. Is h a multiple of 13?
False
Let r(a) = -a + 3. Let y(g) = 20*g. Let j(k) = -7*k. Let l(o) = 14*j(o) + 5*y(o). Let v be l(-3). Is r(v) a multiple of 8?
False
Let n(w) = w**2 - 16*w + 16. Is n(18) a multiple of 13?
True
Suppose 12 = r + 2*r. Suppose 250 = -3*a + r*f, 0*f - 4*f = 3*a + 266. Is a/4*(0 + -2) a multiple of 18?
False
Let w(r) = -r**2 - 9*r + 4. Let c be w(-10). Let i = c - -10. Suppose 0 = i*h - 0*h - 168. Does 16 divide h?
False
Let o(h) = -h**2 - 8*h + 3. Let s be ((-8)/3)/((-1)/(-3)). Let k be o(s). Suppose -5*j + 3*x = -170, 0 = -2*j - 0*x - k*x + 89. Is 13 a factor of j?
False
Let d(z) = -6*z**2 + z. Let n be d(-2). Let o be 1/(2 - (-54)/n). Let g = -8 - o. Is g a multiple of 5?
True
Suppose 0*t - 5*s - 67 = -3*t, -2*t + 2*s = -46. Suppose 4*k - t = 4*v, 5 = 3*v + 2. Is k a multiple of 3?
False
Suppose -5*x + 3*s + 150 = 0, -5*x + 115 = -0*s + 4*s. Is 21 a factor of x?
False
Let r(w) = w**2 - 2*w - 8. Let b(g) = -2*g**2 + 3*g + 9. Let y(a) = -4*b(a) - 5*r(a). Is y(3) a multiple of 5?
True
Let i(x) = -x**2 - 3 + 0*x + 6 + x**3 - 2*x**2 - 4*x. Is 2 a factor of i(4)?
False
Let y(v) = 2*v + 2. Let d be y(3). Let k(t) = t**3 + 9*t**2 + d*t + 0*t**3 - t**2 - 6. Does 9 divide k(-6)?
True
Suppose 2*p + 114 = 5*p. Suppose 3*k - 67 + 13 = 0. Let x = p - k. Does 12 divide x?
False
Let a = 123 + -87. Does 11 divide a?
False
Suppose -6*c + 2*c = -12. Let m(h) = -h**2 - h + 6*h**2 - c*h**2 - 4. Is m(-5) a multiple of 18?
False
Let i(k) be the first derivative of k**7/840 - k**6/90 - k**5/15 - k**4/6 - 2*k**3/3 - 4. Let q(p) be the third derivative of i(p). Is 7 a factor of q(6)?
False
Let s be -4 - -4 - (0 + 9). Let k = 14 + s. Is 5 a factor of k?
True
Let h(b) = 2*b**2 + 3*b - 2. Is h(-7) a multiple of 17?
False
Let a(z) = 4*z**3 + 3*z**2 - 3*z - 1. Let w be a(-2). Let l = -47 + -274. Does 21 divide l/w + 6/(-15)?
True
Let r(l) = -40*l - 6. Is 12 a factor of r(-3)?
False
Let x(b) = b**3 + 8*b**2 - 5*b - 6. Let t be x(-9). Let y = t - -19. Is 23 a factor of -1*((1 - 1) + y)?
True
Let d be 60/(-8)*36/(-15). Let l = -6 + d. Is 6 a factor of l?
True
Let b = 8 - 14. Let z be (8/b)/(1/(-33)). Suppose s = -s + z. Does 19 divide s?
False
Suppose 29*i - 189 = 28*i. Is 13 a factor of i?
False
Suppose -4 = -2*j - 0*j. Suppose -252 = j*n - 6*n. Let k = 96 - n. Is 11 a factor of k?
True
Let i(l) = 2*l**2 + 8*l - 5. Is 9 a factor of i(-6)?
False
Let z(u) = u - 1. Let r be z(7). Let n = 13 - r. Suppose -n*l + 56 = -3*l. Is 12 a factor of l?
False
Let c(r) = -24*r - 22. Is 12 a factor of c(-6)?
False
Let r = -11 - -15. Suppose r*t - 6*t = 14. Let w = 12 + t. Is w even?
False
Let t be 2/(-1*(-2)/(-4)). Does 5 divide (-84)/(-8) - (-2)/t?
True
Suppose -f - 30 = -4*u, -15 = -u - 0*f + 4*f. Is u a multiple of 2?
False
Suppose 28 = 3*n - 5*m + 9, -13 = -3*n + 2*m. Suppose -n*l - 2*l = -5*i - 535, -5*l + 517 = i. Is 26 a factor of l?
True
Let u(x) = -x**2 - 4*x - 2. Let y be u(-3). Suppose -1 - y = b. Does 12 divide b/12 + 73/6?
True
Let f(u) be the third derivative of 0*u + 1/12*u**4 - 2*u**2 + 1/12*u**5 + 0 + 1/2*u**3. Is 21 a factor of f(-3)?
True
Let z be -1 + (3 - (3 + -2)). Let b be z/(-1)*-2 + -1. Does 6 divide (2/(-4))/(b/(-36))?
True
Suppose -4*r = -5*r. Suppose r = n + 3, 4*l = n - 2*n + 93. Is 24 a factor of l?
True
Suppose -4*l + 9*l = 0. Let i(b) = -b**3 + b + 6. Let q be i(l). Let g = q + 30. Does 21 divide g?
False
Let o = -3 - -6. Let u(v) = 6*v**2 - 8*v - 3*v**3 + 8*v**3 + 1 - 4*v**o. Does 4 divide u(-7)?
True
Let a be 1/(1/3) + 1. Let g be (6/5)/(a/10). Suppose -r + g*c - 6 = 0, -4*r - 3 + 9 = -2*c. Is 2 a factor of r?
False
Let y = -8 + 14. Suppose m = 2*c + 12, 0*m + m - y = -4*c. Is m a multiple of 6?
False
Suppose 4*q + 4*x - 25 + 9 = 0, 4*q + 5*x - 19 = 0. Let s(d) = 10*d**2 + 1. Is s(q) a multiple of 11?
True
Suppose 0 = -3*l - 3*w + 381, 0*l = -2*l - w + 249. Is l/4 - 6/(-12) a multiple of 13?
False
Suppose 0*n = -4*n. Suppose -6*t - 2*z - 18 = -t, -4*t - z - 12 = n. Does 10 divide t/(-8) - 141/(-12)?
False
Let r = -5 + 4. Let m be ((-2)/6)/(r/9). Suppose m = s - 1. Is 2 a factor of s?
True
Is 2*-2*122/(-8) a multiple of 23?
False
Let u = -28 - -55. Does 9 divide u?
True
Let l be 10*(-4 - 166/(-4)). Suppose 4*c - 5*x - l = -2*x, -5*c + 465 = -3*x. Does 30 divide c?
True
Let z be 0*(-3)/(-9) + 3. Suppose -2*m - m + 6 = -5*h, -z*h = -4*m - 3. Let x = 6 + h. Is x even?
False
Is (15/6 + 0 + -3)*-62 a multiple of 31?
True
Let m(s) = 2*s**2 + 1. Let o be m(1). Suppose 24 = 3*a + o. Let z = a + 14. Is 21 a factor of z?
True
Let d = 1 - 2. Let u be 2 + d - 0/(-1). Let v = 9 + u. Is v a multiple of 5?
True
Suppose 124 = -3*z - 212. Let d = -58 - z. Is d a multiple of 9?
True
Let t(x) = 2*x**2 - 11*x + 7. Is 10 a factor of t(8)?
False
Suppose -p - 3*v + 48 = 4*p, -3*p + 25 = -2*v. Does 6 divide p?
False
Let y be -10*(0 - 2/5). Suppose 44 = -a + 5*a - v, 46 = 3*a - y*v. Does 5 divide a?
True
Suppose -3*k - 16 = -k. Let r = 13 + k. Suppose 138 = r*d - 4*a, 15 + 3 = d + 4*a. Is 13 a factor of d?
True
Suppose -2*w = q - 88, 0 = 5*w + q - 294 + 77. Does 43 divide w?
True
Suppose 0 = 3*d + 5 - 80. Is d a multiple of 2?
False
Let c(s) = s**3 - 10*s**2 + 8*s + 13. Let l be c(9). Is 15/l - (-3)/12 a multiple of 2?
True
Let h(o) = o**3 + 7*o**2 + 7. Let u be h(-7). Let v = 53 + u. Let i = -36 + v. Is 11 a factor of i?
False
Let d(h) = 1. Let i(p) be the third derivative of p**4/8 - 5*p**3/6 - p**2. Let t(r) = -6*d(r) - i(r). Is 2 a factor of t(-2)?
False
Is 22 - -2*3/2 a multiple of 8?
False
Let z be -1 + (-12)/(-9)*3. Suppose -z*j - 27 = -0*j. Let d(c) = -c**2 - 13*c - 10. Does 13 divide d(j)?
True
Is 9 a factor of (-3 + 80/15 + -1)*12?
False
Let z(b) = b**3 + 7*b**2 + 7*b + 8. Let y be z(-6). Suppose 0 = -y*m - t + 98, 2*t = -2*m + 5*t + 90. Does 16 divide m?
True
Let a(j) = j - 5. Let l be a(11). Suppose z + 19 = 2*w, w - 2*z + 34 = l*w. Is w a multiple of 4?
True
Let h be (1 - 7)*(-1 + -2). Suppose -r = 5*n - 8, -5*n = 5*r - 2*n - h. Is 11 a factor of 30*(-2)/(r + -5)?
False
Let q(i) = 13*i**2 + 2*i + 1. Let p be q(-1). Let u = p - 21. Let g = u - -15. Is g a multiple of 6?
True
Let b(l) = 28*l + 60. Does 23 divide b(11)?
True
Suppose -4*r + 5*p - 102 = 0, 4*r + 0*p + 118 = -3*p. Let a = r - -46. Does 18 divide a?
True
Let q be 6*(-3 + 2)*1. Is (40 - 1) + q/(-2) a multiple of 14?
True
Let m be 5/(4*(-4)/(-16)). Suppose 2*z - 36 - 14 = -2*w, -m*w - 73 = -4*z. Is 11 a factor of z?
True
Let u be (0/2 - -1) + -1. Suppose u = 3*r + r - 24. Is r a multiple of 6?
True
Suppose -1 = -2*s + 5. Suppose 0 = 2*h + x + s*x - 42, -h = 3*x - 24. Does 6 divide h?
False
Suppose 4*v = 2*v - 2. Let i be v*3*6/9. Is 11 a factor of -11*(1 + i)/1?
True
Is 26/(26/6 - 4) a multiple of 13?
True
Suppose -2*a - 826 = -7*a - y, 0 = a + 3*y - 168. Does 15 divide a?
True
Let p = 103 + -19. Is p a multiple of 14?
True
Let c(w) be the third derivative of -w**6/120 + w**5/6 - w**4/3 + 5*w**3/6 + 7*w**2. Is c(9) a multiple of 14?
True
Is 10 a factor of 176/4 - -1 - -1?
False
Let z(q) = -3*q**3 + 3*q**2 + 2*q + 1. Suppose 0*w + 2*g = -5*w - 10, w + 5*g + 2 = 0. Is z(w) a multiple of 10?
False
Suppose -3*a = -3*o + 420, -3*a - 52 = -5*o + 