4)/18?
False
Let l = -6 - -6. Let v(m) = m**3 - m**2 - m + 3. Let k be v(l). Suppose -d - z = -31, k - 5 = z. Is d a multiple of 32?
False
Let w be 560/(-72) + (-4)/18. Let a(y) = -y**3 - 8*y**2 - 4*y - 8. Does 24 divide a(w)?
True
Let o = 5 + -3. Suppose 5*a - 6 = 9. Suppose -o*w = -2*i - 0*w + 90, a*w = 4*i - 178. Is i a multiple of 13?
False
Suppose 6*c + 265 = 1105. Is c a multiple of 28?
True
Let g(d) = d**3 + 9*d**2 + d + 9. Let s be g(-9). Suppose s + 152 = x. Is x a multiple of 17?
False
Let h(p) = -7*p**3 - 3*p**2 + p + 2. Let r be h(-3). Let u = r - 113. Is u a multiple of 24?
True
Suppose -5*i - 3*z = -2, i = 4*i - 5*z + 26. Let c(r) = -13*r**3 + 4*r + 4. Does 8 divide c(i)?
False
Let u(z) = z**3 + 4*z**2 - 4*z + 5. Let j be u(-5). Let r be j/2*-1 - -3. Suppose -v = r*v - 36. Is 6 a factor of v?
False
Let m(w) = -5*w**2 - 9*w + 6. Let x be m(4). Let a = x - -201. Is a a multiple of 14?
False
Suppose -17 + 21 = 2*d. Suppose -d*x + 5*x + 2*h - 1048 = 0, -351 = -x + h. Is 20 a factor of x?
False
Let h be (-2)/5 + (-51)/(-15) + 220. Suppose x - 4*x = 5*z + 801, 0 = 2*x + 4. Let m = h + z. Is m a multiple of 14?
False
Is 19 a factor of 1166/2 - (-24 + 32)?
False
Let x(l) = l**2 - 9*l + 1. Let p be -1 - -6 - (-1 - 0). Let a(s) = 3*s**2 - 26*s + 2. Let n(f) = p*a(f) - 17*x(f). Is 19 a factor of n(9)?
False
Let y = -118 + 115. Does 16 divide (y - -233) + (6 - 3)?
False
Let r = 589 + -378. Let d = r + 143. Does 59 divide d?
True
Let i = -315 + 72. Let m be (i/(-4))/(1/4). Suppose w - 4*w + m = 0. Does 27 divide w?
True
Suppose 4*d = d + 9. Suppose 5*b + 0*b + 2*i - 76 = 0, -56 = -d*b + 4*i. Let p = -1 + b. Is 5 a factor of p?
True
Let z(k) = -38*k - 1. Let r be z(-1). Let f(d) = -4*d - 26. Let n be f(-12). Suppose n = 3*g - s + 2*s, -3*g + 2*s + r = 0. Is g a multiple of 4?
False
Suppose 3*a - 98 - 121 = 0. Suppose a = 4*i - 4*n - 83, -2*n = -4*i + 156. Is i a multiple of 5?
False
Suppose 4*f - 240 = -6*f. Suppose 0 = -t - 5*x + 25, -5*t + f = -2*t - 2*x. Is t a multiple of 5?
True
Suppose 20*y + 235 = 25*y. Let m = y - 2. Is m a multiple of 9?
True
Let k(n) = -n**3 + 8*n**2 - 6*n + 1. Let l be k(4). Suppose -166 = -5*b - 3*o, 5*b = 2*o + 88 + 93. Let w = l + b. Is 20 a factor of w?
False
Let g = -19 - 0. Let w = g - -29. Does 14 divide (28/w)/1*5?
True
Let n(u) = -12*u - 9*u**2 + 7 + 9*u**3 + 22*u**2 - 10*u**3. Let m be n(12). Suppose 0 = -z + m + 1. Is 2 a factor of z?
True
Let p(f) = 5*f + 12. Let q be p(7). Suppose 46*i + 195 = q*i. Does 43 divide i?
False
Suppose 5*f - 17 + 5 = m, 5*m = f - 12. Is 161/2 + m/(8 + -4) a multiple of 16?
True
Let v(h) = 11*h + 5. Let f be v(-2). Let a = 21 + f. Suppose 2*k - l - 3*l - 28 = 0, 3*k = a*l + 48. Does 4 divide k?
True
Let g(d) be the third derivative of -d**6/120 - 3*d**5/20 + d**4/6 + 13*d**2. Let f(t) = -t**3 + 6*t**2 - t - 4. Let w be f(6). Does 15 divide g(w)?
True
Suppose 0*a + 24 = -a - 5*x, -18 = 2*a + 4*x. Does 21 divide (-11 + (0 - a))*-14?
True
Let g(t) = -5*t + 0*t + 0 + 3*t + 2. Let q be g(2). Is 12 - (-3 - (q + 1)) a multiple of 7?
True
Suppose -5*z + 5*r - 4 = r, 5 = -4*z + 5*r. Suppose z = -2*a + 4*a - 24. Is a a multiple of 8?
False
Suppose 2*x + 4*v = 7*x - 127, 0 = 2*x - 5*v - 61. Suppose x = 6*i - 7. Let c(d) = d**2 - 3*d - 6. Does 4 divide c(i)?
True
Suppose 7*a = 3*a + 16. Suppose 4*v - 24 = -a*z, 3*v - 16 = -2*z - v. Suppose z*g - 135 = -g. Is 19 a factor of g?
False
Let v(g) = 3*g**3 + 16*g**2 + 20*g - 20. Is 15 a factor of v(8)?
True
Let h be (-3 - 28/(-20))/(1/(-30)). Suppose 2*w - 102 = -0*w - 3*j, -3*j = w - h. Is w a multiple of 18?
True
Let g(p) be the first derivative of -p**4/4 + 7*p**3/3 - 8*p + 11. Does 10 divide g(6)?
False
Let b(o) = -2*o - 4. Let p be b(-4). Suppose 0 = -2*s + p*s - 4. Suppose s*a - 7 = 5. Does 3 divide a?
True
Does 11 divide (-3 - (-6)/3) + 386?
True
Suppose -30 = 4*k - t + 417, 221 = -2*k + 3*t. Let b = k - -182. Let f = b - 28. Is f a multiple of 13?
False
Let y be -6*(4/2 - 3). Let g(h) be the third derivative of h**5/60 + 5*h**4/24 - h**3 - 5*h**2. Does 20 divide g(y)?
True
Let q be 35/(-10) - ((-18)/4 + 3). Is ((-5 - q) + 4)*(156 + 1) a multiple of 14?
False
Let t(z) be the third derivative of 5*z**6/24 - z**5/20 + z**4/12 - z**3/2 + 11*z**2. Let d be t(3). Suppose 8*v - d = v. Is 14 a factor of v?
False
Let a(m) = 9*m**3 - 3*m**2 - 4*m - 7. Let s be a(-2). Let x = 151 + s. Is 34 a factor of x?
True
Let h = 91 + -88. Suppose -5*n + 1447 = -r, 4*n - 5*r - 1154 = -h*r. Is n a multiple of 29?
True
Suppose 1175 + 90 = 5*p. Is p a multiple of 15?
False
Suppose 2*b + 0*b - 220 = q, 0 = 2*b - 4*q - 214. Let i = b - 57. Suppose 4*c = c + i. Is c a multiple of 9?
True
Let j be (-2 + 0 - 0) + 2. Suppose j = p - 2*p. Suppose p*b + 78 = 2*b. Does 13 divide b?
True
Suppose 3207 + 1801 = 8*w. Is w a multiple of 26?
False
Let l(y) = -y**2 + 13*y - 4. Suppose -5 = c - 2*c. Let t be l(c). Let i = t + -27. Is i a multiple of 2?
False
Suppose 3*s + 3*u - 562 = -u, 4*s + 4*u = 748. Let c = s - 126. Is c a multiple of 17?
False
Suppose -11*p = -9*p - v + 36, -96 = 5*p - 4*v. Let n = 126 + p. Does 11 divide n?
True
Let w be -2*(-4)/36 + 10/(-45). Does 24 divide -8*(-36)/3 + w/(-4)?
True
Let c(b) be the third derivative of 5*b**4/12 - b**3/6 + 42*b**2. Does 3 divide c(4)?
True
Let y be (-6 + 4)/(4/(-10)). Does 4 divide (y/2 - 2) + (-1125)/(-18)?
False
Let o(p) = 2*p - 1. Let b be o(-1). Let q = -3 - b. Suppose q*z - 72 = -2*z. Is z a multiple of 11?
False
Suppose 4*o = -l + 261, -225 = -l + 13*o - 8*o. Is l a multiple of 24?
False
Let z be (-2)/(-8) + 1948/16. Suppose -5*d - 4*g + 99 = -53, -4*d - 3*g = -z. Suppose 0 = q - d - 4. Does 9 divide q?
True
Is 30 a factor of 1*60/9*(-906)/(-8)?
False
Let n = -39 - -140. Does 15 divide n?
False
Let y = 784 - 34. Suppose -5*m - 755 = -5*z, 0 = -2*z - 3*z + 4*m + y. Let k = z + -23. Does 29 divide k?
False
Does 13 divide (65/2)/((-13)/(-130))?
True
Suppose s = f + 4, 0 = s + 4*s - 4*f - 19. Suppose 9 = x - 16. Suppose -v = -2*a - 14, s*v + 5*a - x = -2*v. Is v a multiple of 6?
False
Let b(c) = c + 4. Let k(d) = 2*d + 8. Let u(h) = -5*b(h) + 2*k(h). Let l be u(-9). Suppose 0 = 4*r - 4*w - 232, -223 = -4*r - l*w + 6*w. Does 14 divide r?
False
Suppose z = 3*z - 2. Let w be 24 + 0 + (-3)/z. Suppose 0 = -4*r + 2*f + 34, -5*r + f + 26 + w = 0. Is r a multiple of 5?
True
Suppose -2*h + 7031 = 22*s - 17*s, -4*h - 5*s + 14077 = 0. Is h a multiple of 46?
False
Suppose -p + 1095 = 3*t, -53*t = 2*p - 57*t - 2150. Is 19 a factor of p?
True
Suppose 13*k + 272 = 9*k. Let q = 16 - k. Does 21 divide q?
True
Let i = 29 + -22. Let s be ((-6)/i)/((-17)/2142). Suppose 6*d = 8*d - s. Is 20 a factor of d?
False
Let m(l) be the second derivative of -l**5/20 - l**4/3 + l**3/2 + 2*l**2 + 3*l. Let c be m(4). Is 17 a factor of -1 + 3 + c/(-2)?
False
Suppose 3*h + 126 = 2*t, h = -5*t + 1 - 26. Let s = h + 90. Is 10 a factor of s?
True
Let i = -1 + 0. Let h(q) = -25*q - 3. Let v(w) = 51*w + 7. Let o(p) = 5*h(p) + 2*v(p). Does 11 divide o(i)?
True
Suppose 3*x - 50 = -d - 0*d, 4*x + 4*d = 56. Is x a multiple of 6?
True
Let f be (2 - 59)*(-44)/12. Suppose -4*u + 5*h + f = -62, -3*u = h - 189. Suppose 16 = 4*z - u. Does 10 divide z?
True
Let u = 42 + -30. Suppose -u = -5*b + 8. Suppose 178 = b*x + 26. Is x a multiple of 11?
False
Let d(k) = -3*k**3 - 11*k**2 - 10*k + 12. Let b(m) = -m**3. Let t(s) = 4*b(s) - d(s). Let g be t(12). Let x = 60 + g. Is 20 a factor of x?
False
Suppose 4*u - 4 = -i + 5*i, 0 = -5*i + 10. Suppose 6*h - 46 = u*h + 2*t, -h + 11 = -5*t. Is 16 a factor of h?
True
Suppose -9*b + 48 = -6*b. Let q be (0/2 - -1)*-3. Is 4 a factor of b - (-1 - (q + 0))?
False
Is (-8 - -7)/(1/(-49)) a multiple of 49?
True
Let k = 88 - -17. Suppose 0 = 5*x + 5*s - k, -4*s = 2*x - 10 - 42. Is 8 a factor of x?
True
Let w(r) = 34*r**2 - 4*r + 94. Does 86 divide w(-10)?
False
Let s(h) be the first derivative of -h**3/3 - 11*h**2/2 - 12*h + 6. Suppose -d - 5*q = 4, 5*d - 4*q = q - 50. Does 6 divide s(d)?
True
Let h = 110 + -135. Does 5 divide 1/(10/h)*(0 + -22)?
True
Suppose -1823 = -9*d + 634. Does 8 divide d?
False
Does 10 divide 96 - -26 - (6 + 2)?
False
Let j(f) be the third derivative of 1/120*f**6 + f**3 + 0 - 5*f**2 + 5/24*f**4 + 0*f - 1/12*f**5. 