- 3*i = -14, -16 = 2*g - 2*i. Let k = g - -14. Suppose -k*w - 32 = -3*c - 3*w, 3*w - 21 = -4*c. Is 4 a factor of c?
False
Let b = -10 + 13. Does 20 divide b/6*(-730)/(-5)?
False
Let m(p) = -p + 3. Is 3 a factor of m(0)?
True
Let c(o) = -o**2 - 10*o - 4. Let y be c(-9). Suppose 0 = -y*k + 105 + 45. Does 10 divide k?
True
Let a = -39 - -64. Suppose -3*p + i = -a, -4 = -p + i + 5. Is ((-22)/(-4))/(4/p) a multiple of 7?
False
Let t = -43 - -85. Does 6 divide t?
True
Let b = 31 - 16. Is 6 a factor of 10/(-4)*(-84)/b?
False
Let k(j) = 4*j**3 - j**2 + 2*j + 5 - 7 - j**3. Is 9 a factor of k(2)?
False
Let c(r) = 105*r**3 + r**2. Let w be c(1). Suppose -2*h = -4*d + 346 + w, -h + 440 = 4*d. Does 29 divide d?
False
Let l = -5 - -3. Let x be (10/(-8))/(l/(-8)). Is 1/x + 63/15 a multiple of 2?
True
Let m(a) = a**2 + 7*a - 5. Is m(-11) a multiple of 16?
False
Suppose -j = -c - 200, -5*j + 0*c + 1000 = 5*c. Is 11 a factor of j?
False
Let r(s) = 12*s - 4. Let j be r(6). Let u be 24/1*(2 + 0). Let k = j - u. Does 20 divide k?
True
Suppose 0 = 5*n, -4*q = -0*n - 4*n - 680. Suppose 0 = 6*h - 40 - q. Does 21 divide h?
False
Let s = -7 + 5. Let q = 3 - s. Does 5 divide q?
True
Suppose -3*n + 8*n - 15 = 0. Suppose -u = 4*r - 9, -n*u + 1 = 4*r - 2. Does 13 divide (-2 - u) + 27 + 1?
False
Let r = 15 + -8. Suppose -r = -s - 1. Let h(m) = m. Is 3 a factor of h(s)?
True
Let g(s) = -s**2 - 12*s - 9. Let i be g(-11). Is -19*((i - 3) + 0) a multiple of 6?
False
Let i(h) = -3*h**2 - h. Let z be i(-1). Is 7 a factor of z/(-2) - 24/(-4)?
True
Let p = 238 - 93. Does 29 divide p?
True
Let z = -65 - -96. Suppose -f + 5*w = -z, -f - w = -0*w - 19. Let r = f - 5. Does 11 divide r?
False
Let c = 3 - 1. Suppose 4*k + 3*n - 9 = 0, -5 = k - 2*n + 1. Suppose -c*f - h = -f - 11, 3*f + h - 37 = k. Is f a multiple of 5?
False
Let s(r) = -r**2 + 5*r + 2. Let l be s(5). Suppose 0 = l*w - w - 20. Is w a multiple of 10?
True
Is 7 a factor of (-186)/9*9/(-6)?
False
Let g = 3 + -3. Let c(u) = g + 2*u + 9 + u - 5*u. Is 8 a factor of c(-11)?
False
Let n(r) = r**3 + 7*r**2 - 2. Let o be n(-7). Is 22 a factor of (-2 + 100)*o/(-4)?
False
Suppose h + 480 = 11*h. Is h a multiple of 16?
True
Suppose 0 = -b - 1 + 5. Suppose o - 2*v + 35 = -3, 2*v = -b*o - 122. Let y = 3 - o. Is y a multiple of 15?
False
Suppose -3*n = -n - 48. Suppose 2*u - n = u. Is 10 a factor of u?
False
Suppose 5*w = -5*a + 10, -a - 3*w = w + 13. Is a even?
False
Suppose -5*b - 1 + 26 = 0. Let t(u) = -3*u + 3 - b - u**2 - 3*u. Does 4 divide t(-4)?
False
Let a be (-85)/25 + (-2)/(-5). Let p = 22 + a. Does 11 divide p?
False
Let a be 2 - (-3 + (1 - 0)). Let r be -4*((-2)/a + 0). Suppose -3*d + r = -16. Does 3 divide d?
True
Let d be (-3 - 46/(-10))*20. Let t = 19 - d. Does 14 divide (3 - t/(-5))*50?
False
Suppose q = -3*l + 164, 2*q - 163 = -4*l + 59. Does 13 divide l?
False
Let b(d) = -20*d**3 + 2*d**2 + 2. Let o(y) = -440*y**3 + 45*y**2 + 45. Let j(h) = -45*b(h) + 2*o(h). Is j(1) a multiple of 10?
True
Suppose -8*k - 144 = -4*k. Is (14/8)/((-3)/k) a multiple of 12?
False
Let p(v) = 0*v**2 + 2 - 8*v**2 - 2*v - v**2. Let d be p(-3). Let t = d + 104. Is 15 a factor of t?
False
Suppose -z - 68 = -t - 0*z, 4*t - 2*z = 280. Suppose 3*p - t = -p. Does 9 divide p?
True
Let u(d) = d**2 + 9*d + 2. Suppose -j = -0*j + 11. Is 8 a factor of u(j)?
True
Suppose 4*k + 3*f - 188 = 0, 5*k - 2*k = f + 128. Suppose k = -l + 2*b - 3, 0 = -l + b - 45. Let u = -26 - l. Is 8 a factor of u?
False
Suppose 4*k + 18 + 30 = 0. Let i(o) = o**2 + 6*o + 25. Is i(k) a multiple of 21?
False
Let o(u) = -4*u - 8. Is o(-9) a multiple of 9?
False
Let x be (-17)/(-5) + (-6)/15. Suppose 8*b - 6*b = x*i - 25, -4*i + b = -35. Is 4 a factor of i?
False
Let t = -116 - -33. Let q = -50 - t. Is q a multiple of 11?
True
Suppose 2*q = -q + 15. Let x be q/((-5)/(-2))*1. Does 8 divide 2 - -1*x*3?
True
Suppose -3*p - 238 = -10*p. Is 25 a factor of p?
False
Let y(w) = -50*w + 3. Is y(-3) a multiple of 12?
False
Suppose 2*g = -5*f + 80, 2*f - 6*f - 134 = -5*g. Let d be ((-1)/(-2))/(3/g). Suppose h = r + d, 2*h - r - 37 = -3*h. Is h a multiple of 8?
True
Suppose -4*u - 13 = 3, 2*j = 3*u. Does 12 divide (j*2)/2*-4?
True
Let v(n) = 2*n**2 - 5*n + 3. Let w be v(3). Is 8 a factor of 148/w + (-2)/3?
True
Suppose -n - 52 = -5*n. Suppose d - n = -2. Is 11 a factor of d?
True
Suppose 0 = o + y - 78, -3*y = -2*o + 54 + 92. Is 19 a factor of ((-5)/(-10))/(2/o)?
True
Suppose 5*n - 916 = 2*z, -3*n - n + z + 734 = 0. Suppose 3*p - n + 67 = 0. Is 13 a factor of p?
True
Suppose u = 2*r - 4*u - 239, -u = 3. Let l be (6/4)/(12/r). Does 9 divide (-2)/(-7) - (-248)/l?
True
Let u = 0 - -80. Is u a multiple of 16?
True
Let a(r) = -r**3 + 5*r**2 + 8. Let h be a(6). Let k = h + 100. Is 24 a factor of k?
True
Suppose -5*p + 239 = 2*g, -6 = 3*p - 5*g - 137. Suppose 69 = 3*y - 4*h, -p = -2*y - h + 4*h. Does 19 divide y?
True
Let k = -19 - -54. Is 7 a factor of k?
True
Let c = -73 + 35. Is 1/(-2)*c*1 a multiple of 19?
True
Let f(u) = u**2 + 9*u + 3. Let w be f(-9). Suppose -w*g = 5*y - 163, -y + 38 - 7 = -g. Does 16 divide y?
True
Suppose 0 = 6*z - 59 - 121. Is 8 a factor of z?
False
Let i be (-2)/4*2*-2. Suppose 3*f = -i*f. Does 15 divide 23 - 0/(-2) - f?
False
Let u(m) = m**2 + 2*m - 5. Is u(-6) a multiple of 11?
False
Let j = 48 - 18. Is 21 a factor of j?
False
Let b(p) = p + 4. Let n be b(0). Suppose -156 = -4*j + n*i, 4*i = -j + 29 - 0. Is 10 a factor of j?
False
Let g(h) = h**3 + 8*h**2 - 2*h - 3. Let z be g(-8). Suppose 9 = c - z. Is 11 a factor of c?
True
Is (65/15)/((-2)/(-6)) a multiple of 2?
False
Suppose 0 = -0*u - 3*u + 90. Does 12 divide u?
False
Let d = 4 + -2. Does 16 divide d - (-14 + 1 + -1)?
True
Let b(y) be the first derivative of -y**2/2 + 2*y + 4. Does 8 divide b(-6)?
True
Let n(u) = u**3 + 4*u**2 + 2*u - 4. Let t be n(-4). Is (-3)/(3/t*6) even?
True
Let k(z) = z**2 + 5*z + 4. Let a = -8 + 5. Let m be k(a). Does 13 divide (-63)/m + 4/(-8)?
False
Suppose -34*r + 560 = -26*r. Is r a multiple of 10?
True
Let l(d) = d**2 - 2*d - 1. Is l(-6) a multiple of 19?
False
Suppose 3*l = -0*l + 57. Let x = l + -11. Is x a multiple of 7?
False
Let n = 166 + -33. Suppose 5*a - 367 = -m, -2*m + n = -3*a + 348. Does 18 divide a?
False
Let d = -27 - -104. Is 18 a factor of d?
False
Suppose -2*k + 385 = 5*k. Does 13 divide k?
False
Let w be (39/6)/((-2)/4). Let z = w + 42. Is z/3 + (-1)/(-3) a multiple of 7?
False
Suppose 4*j = -5*c + 165, 0 = j - c + 5*c - 55. Does 5 divide j?
True
Let v(s) = -s**3 - 6*s**2 - 2*s - 1. Let l be v(-4). Let t = -1 - 4. Is (1*5)/(t/l) a multiple of 11?
False
Suppose 0 = 5*j - 372 + 32. Does 4 divide j?
True
Let m = -91 - -135. Is 11 a factor of m?
True
Suppose -5 = 5*v, 5*v + 27 = 2*g + 4. Let t be 9*3/g*1. Suppose 91 = t*u - 77. Is u a multiple of 19?
False
Suppose 2*q = -8 + 2. Let x(d) = -2*d**3 - 2*d**2 + 3*d + 1. Let t(c) = -3*c**3 - 3*c**2 + 5*c + 1. Let s(u) = -3*t(u) + 5*x(u). Is s(q) a multiple of 7?
False
Let g(f) = 5*f**3 + f + 3. Does 45 divide g(2)?
True
Is 10 a factor of 8*2*5/2?
True
Let b(t) = -3*t**2 - 13*t + 8. Let i(w) = -2*w**2 - 9*w + 5. Let c(k) = 5*b(k) - 8*i(k). Is 12 a factor of c(-12)?
True
Suppose -459 + 1251 = 4*l. Suppose l - 63 = 5*h. Suppose h + 6 = 3*x. Is 11 a factor of x?
True
Let g be 0/((2/(-2))/(-1)). Let j be 4/(-38) + (-55)/19. Is 2 a factor of (j - -2) + g + 5?
True
Let f = -169 - -229. Is f a multiple of 5?
True
Suppose -6 - 2 = -4*f. Suppose -4*b = f*k + 2*k - 232, -124 = -2*k + 2*b. Is 22 a factor of k?
False
Is 1365/5 + -5 - 5 a multiple of 11?
False
Let j be (-3)/((-12)/8) - -37. Suppose -3*l + 33 = -j. Does 8 divide l?
True
Let j = -13 + 25. Suppose 0 = -5*x - j + 152. Is 14 a factor of x?
True
Let x be 132/(-5) - 14/(-35). Let h = x + 49. Suppose -h = -g + 2*c, 4*c + 47 + 29 = 4*g. Is g a multiple of 9?
False
Suppose 5*t = s + 2*s - 2875, 4*s - 2*t = 3810. Does 12 divide (-1)/(-4) - s/(-40)?
True
Suppose -32 + 9 = 3*s - d, 4*s + 40 = -d. Let g(x) = x**3 + 9*x**2 - 6*x - 10. Is 15 a factor of g(s)?
False
Let p(m) = m**2 + 3*m - 4. Let l be p(-3). Let u(n) = -n**3 - 12*n**2 + 15*n + 19. Let v be u(-13). Let o = l - v. Does 3 divide o?
True
Let v be (3/9)/((-4)/(-984)). Suppose 2*s + 48 + 58 = 5*f, 0 = 2*s + 2*f + 78. Let m = s + v