rue
Let d(x) = x**2 + x - 4. Is d(-5) a multiple of 10?
False
Let c be 32/(-5) + 14/35. Let l = -4 - c. Is 2 a factor of l?
True
Let r(k) = k**3 + 6*k**2 - 9*k + 2. Is 4 a factor of r(-7)?
True
Suppose 9 + 1 = b. Let f be 10/(-6)*3/1. Let w = f + b. Is w a multiple of 2?
False
Let d(v) = -17*v**2 + 11*v + 20. Let f be (2 + -1)/(1/(-8)). Let h(w) = 6*w**2 - 4*w - 7. Let a(t) = f*h(t) - 3*d(t). Is a(3) a multiple of 15?
False
Suppose 2*g + 2*g = 88. Let j = g + -11. Does 7 divide j?
False
Suppose 2*l + 2*b = 2, 0*l + 11 = 5*l + 2*b. Suppose 4 = -l*s + 5*t + 29, -4*t = -4. Is 10 a factor of s?
True
Let n = 150 + -60. Is 10 a factor of n?
True
Let m = -42 + 17. Let y = 41 + m. Does 5 divide y?
False
Suppose -5*c + 483 = -3*f + 111, -4*c = -4*f - 296. Is c a multiple of 8?
False
Does 11 divide 645/10 + 3/2?
True
Let z = 5 + 3. Suppose -5*h - z - 7 = 0. Is -1*(h - (0 - 1)) even?
True
Let i = -1 + -54. Let s = i - -94. Does 18 divide s?
False
Suppose -3*c - 12 = j + 3, 4*j + 33 = -3*c. Is 23 a factor of j/15 + (-232)/(-5)?
True
Let z(j) = -j + 10. Is z(6) a multiple of 2?
True
Let d be -2 - 2/(-2) - -4. Let g = 7 - d. Suppose -2*w = -3*h - w + 79, g*h - 4*w = 116. Is h a multiple of 9?
False
Let t(i) = i**2 - 2*i + 61. Does 23 divide t(14)?
False
Let w be 2/4 - 9/(-6). Let d(k) = k**3 - 2*k - 1 + 3*k + 2 + k. Is 13 a factor of d(w)?
True
Let j = 0 - 1. Let b(l) = 3*l - 1. Let w be b(-2). Is (j - w)/(6/16) a multiple of 8?
True
Let q be 1/4 - (-81)/(-4). Let p = -30 - q. Let w = 14 - p. Is w a multiple of 11?
False
Let g(j) = -j**3 - 12*j**2 - 11*j + 3. Let v be g(-11). Suppose -v*h = 3*r - 30, 2*r - 10 = r + h. Is r a multiple of 10?
True
Let q(g) = -2*g**2 - 10*g - 2. Let t(i) = i**2 + 11*i + 2. Let z(c) = -6*q(c) - 5*t(c). Is z(-3) a multiple of 25?
True
Let f = 140 - 200. Let r = 6 - f. Does 22 divide r?
True
Let r(b) = -53*b + 4. Let j be r(8). Let m = -294 - j. Suppose 3*n + 0*n - m = 0. Is n a multiple of 21?
True
Suppose 4*v - 27 + 7 = 0. Suppose -87 = -3*g - 5*m - 18, v*g - 81 = 3*m. Does 9 divide g?
True
Let h(y) = y**3 + 7*y**2 - 11*y - 3. Is h(-8) a multiple of 21?
True
Let f(k) = -k**3 - k**2 - 4*k + 81. Is 35 a factor of f(0)?
False
Suppose 3*h + 3*x = -39, -3*h + 2*x - 42 + 18 = 0. Is 422/7 - h/(-35) a multiple of 20?
True
Let y be 21/6 - 6/4. Suppose y*n = 5*n - 108. Is n a multiple of 18?
True
Is 22 a factor of (-6)/8 - 2*2684/(-32)?
False
Let f be (-2)/5 - 22/(-5). Let z = 7 - f. Suppose 0 = 5*p - z*k - 158, 3*k + 82 = 2*p + 26. Does 17 divide p?
True
Let j(v) = 6*v**2 + v. Does 20 divide j(2)?
False
Let v(f) = 3*f**2 + 8*f - 3. Let x(w) = -16*w**2 - 41*w + 14. Let q(a) = -11*v(a) - 2*x(a). Let k be q(-6). Suppose -2*s - k = -19. Is s a multiple of 4?
False
Let l be (2 - -3)/(1 + 0). Suppose 0*o + l*o = 120. Does 24 divide o?
True
Suppose 5*u + 106 = 3*r, -5*r + 3*u + 102 = -96. Suppose 0 = q + q - r. Is q a multiple of 21?
True
Let h = -7 - -12. Let m(j) = 8*j - 1. Does 11 divide m(h)?
False
Let q(h) be the first derivative of -h**4 - h**3 - h**2 + 2*h + 4. Is q(-2) a multiple of 13?
True
Let r(v) = v + 62. Is r(-12) a multiple of 39?
False
Let y(m) = m**2 - 3*m + 4. Let u be y(3). Suppose 0 = 5*l - 15, -u*v + 5*l = 7 - 4. Suppose 5*n + 2 = j, -3*n = -v*j - n + 71. Is 14 a factor of j?
False
Is (-20)/6*90/(-12) a multiple of 5?
True
Let d = -6 + 8. Suppose d*w + l + 39 = 90, 0 = -5*w - 5*l + 115. Suppose -w = -2*g - 4. Is g a multiple of 9?
False
Suppose 32 = x - 0*b - 2*b, -2*x + 66 = -3*b. Suppose 4*d = 2*j + 22, -5*d + x + 19 = 3*j. Is 4 a factor of d?
True
Let x = 71 - 40. Is 21 a factor of x?
False
Is 10 a factor of (-1)/(2*(-2)/120)?
True
Let n = 20 + 125. Suppose -j + n = 4*j. Suppose j = 2*i - p, 4*i - 4*p - 13 = 47. Is i a multiple of 14?
True
Suppose -4*w = 9 - 285. Is w a multiple of 17?
False
Suppose -168 = 5*z - 7*z. Is 10 a factor of z?
False
Let v(g) = g**3 + g**2 + 15. Let d(x) = -2*x. Let z be d(-1). Suppose -2 = -2*k, 4*l = z*l + 3*k - 3. Does 11 divide v(l)?
False
Suppose -5*f = s - 83, -5*s - f + 439 = -0*f. Does 12 divide s?
False
Let j be 452/(-6) - 2/(-6). Does 15 divide j*(-2 + 32/20)?
True
Suppose g - 2*y - 40 = -y, 5*g = -4*y + 236. Is 14 a factor of g?
False
Let l(f) = f - 10. Let o be l(13). Suppose -66 = z - o*z. Is 13 a factor of z?
False
Let u(o) = -o**3 - 6*o**2 + o + 5. Let g be u(-5). Let p be (-2 + 1)/((-1)/g). Let x = p - -51. Does 13 divide x?
True
Let o be 22/4 - (-1)/(-2). Let f = 22 - o. Is f a multiple of 5?
False
Let j = -49 + 70. Suppose 2*s = 5*t + 4*s - 21, -3*t = -3*s - j. Is t a multiple of 2?
False
Is 7 a factor of (15 - 23)/(1/(-14)) + 0?
True
Let x = 7 + -5. Suppose 2*v = x*y + 12, v - 3*v - 3*y = 3. Suppose 4*m = -5*w + 71 + 9, -v*m = -2*w + 32. Is 16 a factor of w?
True
Let s(b) = -2*b - 12. Let u = 6 + -15. Is 4 a factor of s(u)?
False
Let u(w) be the second derivative of w**3/3 + 2*w**2 + w. Let i be u(-3). Let p(a) = 12*a**2 + 1. Is p(i) a multiple of 19?
False
Suppose -2*m + 3*z + 45 = 0, 2*z = -4*m + z + 125. Is m a multiple of 30?
True
Let f = -99 - -142. Suppose 3*a = 7*a + 5*b - 48, -3*a - 2*b = -f. Does 13 divide a?
False
Let r be (-2)/(-4)*12/3. Suppose r*l = 7*l - 185. Let t = l - 26. Is t a multiple of 3?
False
Suppose 0*k + 4*k = 4. Let a be (k/2)/(2/12). Suppose g = a*g - 48. Is g a multiple of 12?
True
Let m be ((-4)/8)/(2/(-464)). Suppose -3*l + 64 = -5*a, 0 = 4*l + a - 0*a - m. Is 11 a factor of l?
False
Is 8 a factor of (-74)/(-3) + (-4)/6?
True
Suppose -6*i = -3*i + 2*g - 195, 213 = 3*i - 4*g. Suppose 3*m - i = -22. Does 15 divide m?
True
Let i = 73 - -77. Is i a multiple of 25?
True
Let i(a) = a - 4. Let c be i(4). Suppose -3*d - 2*y + 175 = c, -3*d - 5*y + 134 + 38 = 0. Does 20 divide d?
False
Let t(v) = -v**3 + 8*v**2 - 7. Is 14 a factor of t(7)?
True
Suppose -51 = -5*r - 2*x, -7*r + 2*r + 2*x + 59 = 0. Is r a multiple of 11?
True
Suppose 0 = -5*s - 4*h + 204, -4*h + 124 = 3*s - 0*h. Let g = s + -25. Is 8 a factor of g?
False
Suppose 3*f - 7 - 5 = 3*z, 4*f = 5*z + 16. Suppose 3*n - 26 + 2 = z. Is 4 a factor of n?
True
Let g(m) = m**3 - m**2 + 2*m - 3. Let d be g(2). Let n(k) = k**3 - 4*k**2 - 3*k. Is n(d) a multiple of 10?
True
Let o = -23 - -66. Is 14 a factor of o?
False
Suppose 11 = -5*n - 64. Let s = -1 + n. Let d = -10 - s. Is 3 a factor of d?
True
Let b be 8/10*180/8. Suppose 5*x - 12 = b. Let y = 11 - x. Does 2 divide y?
False
Let h(m) = -m - 4. Let u be h(-3). Let r = 32 + u. Does 18 divide r?
False
Suppose 7*b - 2*b - 80 = 0. Suppose g - 2 = b. Does 11 divide g?
False
Suppose 5*a = 2*l + 6 + 9, -2*a - l = 3. Is 15 a factor of a*34/(1/1)?
False
Let o(y) = 3*y**2 - y - 9. Does 22 divide o(-5)?
False
Let p(n) = 10*n**2 - 2*n - 3. Let u be 1/6 - (-52)/(-24). Does 13 divide p(u)?
False
Let f(g) be the first derivative of -g**4/4 + 2*g**3 + 3*g**2 - 6*g + 1. Let c be f(6). Suppose -2*z - 5*o + 4*o + c = 0, -3*o + 10 = z. Is z a multiple of 11?
False
Let f = 50 - -60. Is 24 a factor of f?
False
Let x = 7 + 8. Suppose 0 = 3*z - 0*z - x. Suppose -z*m + 10 = -0. Is 2 a factor of m?
True
Let q(f) = 2*f**3 - f**2 + 1. Let v be q(1). Suppose r = -r - 4*n + 16, -r + n = -v. Suppose 77 = r*h - 35. Is h a multiple of 14?
True
Let p = -4 + 20. Is p a multiple of 8?
True
Let h(u) = 7*u**3 - 6*u**2 - 3*u - 1. Let w(d) = d**3 - d - 1. Let g(a) = -h(a) + 6*w(a). Let b be g(5). Suppose 0*s - 120 = -b*s. Is 11 a factor of s?
False
Suppose -4*o - b - 4 = 3*b, -5*o + 5*b = 55. Let q be (-3)/9 - 206/o. Is (q/6)/((-1)/(-3)) a multiple of 6?
False
Suppose -15*o - 291 = -18*o. Does 18 divide o?
False
Does 26 divide 30/(-9)*756/(-35)?
False
Suppose 3*v - 4 = -1. Let r(n) = -16*n - 4. Let u(w) = -15*w - 5. Let a(o) = -6*r(o) + 5*u(o). Does 7 divide a(v)?
False
Let f(h) be the first derivative of -5*h**2/2 + 1. Let p be f(3). Does 10 divide p/(-2)*8/3?
True
Suppose -2*w = 11 - 53. Is 5 a factor of w?
False
Let h = 1 - 7. Let j(g) be the second derivative of -g**4/12 - 7*g**3/6 + 3*g**2 - 2*g. Is j(h) a multiple of 9?
False
Suppose -4*s + 120 = -24. Is 11 a factor of s?
False
Suppose -2*k = -106 - 28. Is k a multiple of 16?
False
Let g = -48 + 82. Let t = g - 24. Does 10 divide t?
True
Let y be (-2)/(-4) + 15/6. Let c(a) = 9*a**2 - 4*a + 2. Let z be c(y). Suppose x + 3*w = 32, z