Is 4 + (b + -4 - -21) a multiple of 11?
False
Let v be ((-8)/(-6))/(4/6). Let t(f) = 4*f**3 - 3*f**2 + f + 1. Is 20 a factor of t(v)?
False
Let c(j) = -j**2 + 25*j + 124. Is 14 a factor of c(28)?
False
Let g(z) = z + 7. Let h be g(-5). Let a be 28 + (h - 1)*-1. Suppose -2*j + 3*l = -25, -4*j + 20 + a = -5*l. Is j a multiple of 4?
True
Let u = 19 - -1. Suppose 3*m = -3*v + 3, 0 = -m - 3*m - u. Is 2 a factor of ((-15)/v - -2)*-6?
False
Let g be -70*(-3 + 69/15). Let q = -79 - g. Does 11 divide q?
True
Is (10/((-60)/(-63)))/(1/2) even?
False
Let q = 15 - -24. Does 7 divide q?
False
Suppose 10*j - j - 1008 = 0. Does 14 divide j?
True
Suppose 2*d - 32 = -2*d. Is d a multiple of 2?
True
Let g = 131 + -63. Is 17 a factor of g?
True
Suppose 3*p + 2*u + 7 = 0, 0 = -4*p + 6*p + u + 5. Is (2*-51)/(-5 - p) a multiple of 20?
False
Is 632/24 - -3*2/9 a multiple of 3?
True
Suppose 8*u - 50 = 3*u. Let p = u - 10. Suppose p = 4*t - k - 47, 3*t - k - 21 = t. Is t a multiple of 6?
False
Let k be -58 - ((-12)/(-4) + -4). Let d = -25 - k. Is 9 a factor of d?
False
Let p(r) = -10*r - 8. Suppose -4*i = 5 + 11. Does 11 divide p(i)?
False
Let b = -23 - -35. Is b a multiple of 12?
True
Let v = -9 - -29. Is 10 a factor of v?
True
Suppose 2*o - 5 = -3*o. Suppose 2*l = j + 11, o = 3*j - 2. Is l a multiple of 6?
True
Let l be ((-5)/3)/(3/(-9)). Suppose -l*j = -0*j - 320. Suppose 0 = -0*a + 4*a - j. Is a a multiple of 12?
False
Let a = -60 - -158. Does 10 divide a?
False
Suppose 0 = -9*o + 149 + 778. Is o a multiple of 21?
False
Suppose -2 = u, -j + 4*u = -0*u - 39. Suppose 5*o - 3*t - j = t, 2*t + 33 = 5*o. Is o even?
False
Let n = 7 - 3. Suppose -5*u = -4*q - 9, -q = -5*u + 2*u + n. Let i = 4 + u. Is i even?
False
Suppose 2*w - 6 = 0, 5*d = 3*w - 5*w + 386. Does 19 divide d?
True
Let w(a) be the second derivative of a**4/12 - a**2 + 2*a. Is w(-4) a multiple of 8?
False
Suppose -3*s - 3*g = -4*s + 19, g + 13 = s. Is 10 a factor of s*(4 - 2/1)?
True
Let w(t) be the second derivative of t**7/840 - t**5/120 + t**4/24 + t**3/2 + 3*t. Let f(v) be the second derivative of w(v). Is 6 a factor of f(2)?
False
Suppose 2*m - 2*s - 3 = -s, 4*s = -4*m. Is ((-3)/(-4))/(m/4) a multiple of 3?
True
Suppose 20 = -5*k, 246 = -0*b + 5*b - 4*k. Is b a multiple of 23?
True
Suppose -24*o + 300 = -19*o. Is o a multiple of 12?
True
Let z be -7*(0 - 1) - 2. Suppose z*h - 151 = c, 8 - 54 = -2*h + 4*c. Is 15 a factor of h?
False
Suppose -2*g - 134 = 10. Let r = -35 - g. Is r a multiple of 21?
False
Let y be -2*(-1)/(-1 - -2). Suppose 0 = -4*w + a - 1 + 2, -27 = y*w + 5*a. Let q(p) = 27*p**2 - 2*p - 1. Does 18 divide q(w)?
False
Let p(d) = 4*d - 60. Is p(16) even?
True
Let r(x) = x + 12. Let q be r(-12). Let m = q + -5. Let l(p) = -p**3 - 6*p**2 - 7*p. Does 5 divide l(m)?
True
Let l be (-4814)/26 + (-8)/(-52). Let a = -105 - l. Is 20 a factor of a?
True
Suppose -p - 5*d = -4*d - 22, 37 = p - 2*d. Does 27 divide p?
True
Let m be (-1 - -1) + (-2)/2. Suppose -3*l - 6 = -33. Let s = l + m. Does 3 divide s?
False
Suppose 2*z + 5 - 33 = 0. Suppose -z = -3*q + 40. Is q a multiple of 14?
False
Suppose 0 = -c + 5*c - 12. Suppose 0 = -q - c*r + 29, 5*q - 3*r = -0*r + 181. Is 6 a factor of q?
False
Let r = -340 - -630. Is 16 a factor of r/8 - 2/8?
False
Does 6 divide -11*(-69)/21 + 2/(-14)?
True
Let k = 8 + -3. Let h = k + -11. Let b = h - -9. Is 3 a factor of b?
True
Let a = 4 - 2. Let l(s) = 6*s - 3. Does 7 divide l(a)?
False
Let o(w) = -17. Let a(x) = -x - 1. Let q(r) = -2*a(r) + o(r). Suppose 0 = -2*s + 17 + 9. Is 11 a factor of q(s)?
True
Let q = 232 + 40. Is 17 a factor of q?
True
Let u(q) = 27*q + 4. Does 22 divide u(3)?
False
Suppose 4*x + t + 4 - 17 = 0, -3*t = 9. Suppose 2*k - x = 36. Is k a multiple of 6?
False
Let d = -10 - -20. Let s = d + 41. Is s a multiple of 21?
False
Suppose 4*i - 2*l + 12 = 32, -2*i = -5*l - 2. Does 2 divide i?
True
Let l(v) be the second derivative of v**4/12 + v**3/2 + v**2 - v. Suppose 24 = -f - 3*f. Is 10 a factor of l(f)?
True
Suppose 0*z = z - 2*x - 11, -2*x + 103 = 5*z. Suppose 5*y - 24 + 9 = 0. Suppose -z - 4 = -2*s + y*p, -4*s + 47 = -5*p. Is s a multiple of 8?
False
Let m be ((-5)/2)/(3/(-12)). Suppose 4*w - 90 - m = 0. Does 11 divide w?
False
Let u(o) = o**3 + 8*o**2 - 10*o + 5. Is 14 a factor of u(-9)?
True
Let q(u) = -u**2 - 8*u - 1. Let j be 3/12 - (-34)/(-8). Let l be q(j). Let d = -11 + l. Is 3 a factor of d?
False
Suppose -6*o - 15 = -7*o. Is 5 a factor of o?
True
Let l be 4/6*114/4. Let i = 29 - l. Is i a multiple of 10?
True
Let n = -4 - -9. Let v = n + -4. Is 7 a factor of -7*(-1 - 0 - v)?
True
Let o = 44 - 8. Does 18 divide o?
True
Is (((-9)/(-6))/1)/((-4)/(-248)) a multiple of 31?
True
Let q = -118 - -158. Is q a multiple of 10?
True
Is 2 a factor of (-5)/10*(-12 - 0)?
True
Suppose -76 = -2*t + 5*j - 6, -4*t + 4*j = -152. Is t a multiple of 17?
False
Let m(c) = -22*c - 18. Is m(-8) a multiple of 17?
False
Suppose -3*u + 3*a = -327, 4*a = 8*u - 3*u - 541. Is 23 a factor of u?
False
Suppose 2*q + 5 = 71. Suppose 2*s - 1 = 7. Suppose s*o - q = 87. Is o a multiple of 11?
False
Let i(p) = 2*p**2 + 6*p. Is 8 a factor of i(-7)?
True
Suppose 4*d = 4*l - 2*l - 118, 3*l - d = 162. Suppose b = u - 5*u + 46, 5*u = b + l. Is u a multiple of 3?
False
Let l(x) = 2*x - 3. Let w be l(3). Suppose 0 = -0*i + w*i - 216. Is 24 a factor of i?
True
Let b be 2 + 1 + -6 + -4. Is (-7)/(b/20) + 2 a multiple of 11?
True
Suppose -k - 4 = 2*k - u, 0 = -4*u - 8. Let y be (2 - (4 + k)) + 40. Suppose 0 = -5*x - t + 76, 0 = x - 4*x - 2*t + y. Is x a multiple of 10?
False
Let i(p) = 3*p. Let l be i(4). Suppose q = 5*q + l. Does 2 divide q/((-3)/(-6) - 1)?
True
Let t = 6 + -2. Let s be t/2 + (2 - 0). Suppose -3*k - 38 - 20 = -4*x, -s*x - 2*k = -68. Is x a multiple of 11?
False
Suppose 5*t = -2*p - 0*p + 69, 109 = 3*p + 2*t. Is p a multiple of 37?
True
Let h(z) = 3*z**2 + 4*z + 3. Does 11 divide h(-5)?
False
Let w(y) = -y**3 + 8*y**2 - 3*y + 5. Is w(4) a multiple of 19?
True
Let o = 15 + 1. Is 4 a factor of o?
True
Suppose 0 = 2*s + 2370 - 874. Is (-3)/4 - s/16 a multiple of 23?
True
Let s be -16*-2*(0 - -1). Suppose 3*q + 47 = h + 11, -h + 2*q = -s. Is 7 a factor of h?
False
Let s be 9/(-6) - 2/(-4). Let p be (-1 - -2)*15*s. Let v = p + 23. Does 8 divide v?
True
Let c = 1 + 5. Suppose 3 = w - c. Does 3 divide w?
True
Let k(h) = -3*h**2 + 11*h + 7. Let z be k(6). Let n = 10 - z. Is 14 a factor of n?
False
Let c(j) = j**2 - 12*j - 14. Does 11 divide c(16)?
False
Let y(u) = -u - 4. Let d = -8 - -2. Let c be y(d). Is 14 a factor of c/5 - (-532)/20?
False
Let z = -16 + 102. Is z a multiple of 12?
False
Let p(z) = -z**2 + 12*z + 3. Let b be 245/28 - (-1)/4. Is 15 a factor of p(b)?
True
Suppose -5*f - 4*w + 227 + 8 = 0, 20 = -4*w. Does 17 divide (1 - (2 - 2))*f?
True
Let n be ((-15)/(-9) + 0)*3. Suppose -n*v + 28 = -4*v. Is 14 a factor of v?
True
Is ((-19)/2)/(-3*(-5)/(-210)) a multiple of 29?
False
Suppose 4*y - 214 = -5*f, 4*f - y + 5*y = 172. Is f a multiple of 21?
True
Let o = -18 + 21. Suppose -5*u = -3*i - 102, o*u - i - 59 = 3*i. Is u a multiple of 5?
False
Suppose 22*g - 330 = 19*g. Is g a multiple of 22?
True
Let g(k) = -19*k**3 - 2*k**2 + k. Let n be g(1). Let s = n + 48. Is s a multiple of 13?
False
Let z(f) be the third derivative of -f**4/24 - 2*f**3/3 - f**2. Is z(-16) a multiple of 4?
True
Let r(h) = -h**3 - 5*h**2 - 5*h. Let u be r(-4). Let x be (-1)/(-2) + 10/u. Suppose x*f + 2*w - 59 - 17 = 0, f - 40 = 3*w. Does 14 divide f?
True
Suppose 39 = 2*m - r, -6*r - 93 = -5*m - 8*r. Is 2 a factor of m?
False
Let c be -40*(0 - 4/8). Suppose 4*s - c - 16 = 0. Is 3 a factor of s?
True
Let i = 179 - 69. Is 20 a factor of i?
False
Let d(x) = -32*x + 3. Is 7 a factor of d(-1)?
True
Suppose -2 = 2*f + 2*b - 8, 0 = -3*f + 4*b - 19. Let k be -1 + -1 - (f - 1). Let l = k - -5. Is 2 a factor of l?
False
Let p(l) be the third derivative of l**5/60 + 5*l**4/24 + l**3/2 + l**2. Let u be p(-4). Does 3 divide ((-7)/u)/(-1 + 2)?
False
Let o(x) = x**2 - 3*x + 3. Suppose 16 = f + 3*f. Let p be o(f). Let w = p + 40. Is 16 a factor of w?
False
Let c(t) = -t**3 + 3*t**2 - t + 4. Let v be c(3). Is 4 a factor of 10/15*v*6?
True
Suppose -154 = 3*s - 5*h, -5*s - 268 = -h + 4*h. Let c = 2 - 2. Is (0 - c)/2 - 