 of 5?
True
Let s be 1/(-1) + -1 - -14. Let a(u) be the first derivative of -u**4/4 + 13*u**3/3 - 5*u**2 + 10*u - 1. Does 14 divide a(s)?
False
Let u = 88 - -11. Is u a multiple of 14?
False
Let o = 117 - 81. Is o a multiple of 12?
True
Let d be (5 - 3)/(-2)*-6. Suppose -i = -2*i + d. Is i a multiple of 3?
True
Let p = -95 - -200. Is p a multiple of 15?
True
Let r be (-27)/(-12) + (-1)/4. Suppose -1 = -p + r. Suppose l - p = 2. Is 3 a factor of l?
False
Suppose 0 = 10*t + 35 - 1095. Does 16 divide t?
False
Suppose -5*h = -3*x + 22, 5*h - 3*h = 3*x - 16. Is x/(-10) + 2403/45 a multiple of 20?
False
Suppose 4*a - a = 27. Is 4 a factor of 3*(51/a + -2)?
False
Does 13 divide 2 + 1628/6 - 2/6?
True
Let v = -21 + 33. Let u be (-2 + 15/6)*v. Is 5 a factor of 4/u - (-132)/18?
False
Let g be 2*(3 + (-21)/6). Let f = 21 - g. Does 21 divide f?
False
Let s be (0 + 1)*(8 - 13). Let a = 11 + s. Is a a multiple of 4?
False
Suppose 0 = -4*h + 1 - 5. Does 23 divide (-2)/(2 + h) - -48?
True
Suppose 6 = -s - 9. Does 19 divide (-603)/s + (-1)/5?
False
Does 14 divide 1001/(-13)*(-2 - (6 - 2))?
True
Let w(i) = -3*i**3 - 3*i**2 - i + 3. Let p(u) = -u - 9. Let k be p(-6). Does 20 divide w(k)?
True
Suppose -3*l - p = -16, -3*l + 0*p + 20 = 2*p. Suppose -l*q + 44 = -0*q. Let y = 22 - q. Is y a multiple of 5?
False
Suppose -2*f = 2*r - 6, 18 = 5*f - 2*r + 3. Suppose 4*b + 20 - 47 = 5*z, -f*b = 5*z + 6. Suppose 0 = -w, 37 + 5 = 3*u + b*w. Is 12 a factor of u?
False
Suppose -116 = -4*w - 2*x, -4*x + 10 = 2*w - 48. Does 14 divide w?
False
Let j(h) = -h**2 - 10*h - 12. Let a be j(-9). Let g = 21 + a. Does 9 divide g?
True
Let m be 1*(1 + -74)*-1. Let i = 136 - m. Is 27 a factor of i?
False
Let y(k) = -k + 1. Let a be y(6). Let j = a + 4. Is 24 a factor of (45 - j) + (-2)/(-1)?
True
Let u be 61 + (-3)/(-1) + -2. Suppose u = 3*k + 2. Is k a multiple of 10?
True
Let t(r) = r**2 - 11*r + 5. Let p be t(4). Let x(n) = -9*n**2 + n + 1. Let l be x(2). Let z = p - l. Is z a multiple of 5?
True
Let b(g) = 5*g**2 + 4*g - 1. Let r be b(-4). Suppose -a - 2*n = -r, 71 + 52 = 2*a + n. Does 7 divide a/9 - 4/(-18)?
True
Let g = -57 - -50. Let p(q) = 2*q**2 - 6*q - 1. Let y be p(5). Let m = y + g. Does 4 divide m?
True
Does 4 divide ((-75)/(-10) - 8)*(-77 - -1)?
False
Let t be (8/2 - 1)/3. Suppose -o = 3*k + t, k = 6*k + 5. Suppose -5*c + 5*l + 20 = 0, 2*l = -0*c - o*c + 24. Is c a multiple of 3?
False
Does 8 divide -2 + 198/(6/2)?
True
Suppose 0 + 56 = -l - 2*s, -3*s - 52 = l. Let h = -196 + 104. Let q = l - h. Is q a multiple of 14?
True
Suppose 3 = 2*l - 4*t - 11, -2*l - 5*t = -50. Does 5 divide l?
True
Let u be ((-12)/5)/((-15)/(-50)). Let j = 17 - u. Is 25 a factor of j?
True
Let m(w) = -12*w. Let d be -2 - -6 - 2/2. Let z = d + -5. Is m(z) a multiple of 12?
True
Let r(k) = k. Let p(d) = 5*d - 2. Let g(w) = -p(w) + 4*r(w). Let q(h) = -h**2 + 3*h + 5. Let a be q(5). Is g(a) a multiple of 6?
False
Let k(z) = 0 - 3*z + z - 6 + 7*z. Let i = 5 - -1. Is 12 a factor of k(i)?
True
Let g = 1 + -1. Let k(o) = -6*o + 26 + 4*o + 2*o - o. Does 20 divide k(g)?
False
Suppose -2*z = -3*z - 3*j - 45, -2*z = -5*j + 90. Is 4/30 + (-264)/z a multiple of 2?
True
Suppose 0 = -h - 3*h + 144. Is h a multiple of 13?
False
Suppose -90 = -g - u + 80, -3*u - 158 = -g. Does 11 divide g?
False
Suppose -107 = -4*l + 301. Is l a multiple of 17?
True
Let g(t) = -t - 1. Let b(k) = -26*k + 4. Let h(p) = b(p) + 5*g(p). Suppose 0 = -2*s + s - 1. Does 10 divide h(s)?
True
Suppose 4*w = -w + 150. Is 10 a factor of w?
True
Let j(d) = -6*d - 8. Let o(x) = 0 + 2 + 5*x + 6. Let t(q) = 6*j(q) + 7*o(q). Is 5 a factor of t(0)?
False
Is ((-189)/36)/((-1)/12) a multiple of 7?
True
Let l(w) = -w**3 - 9*w**2 + 10*w + 8. Let j be l(-10). Suppose -3*h + j + 34 = 0. Suppose -4*v - 4*m + 0*m - 8 = 0, 3*v - m = h. Is v even?
False
Let r be (-100)/(-6)*6/4. Suppose r = w - 21. Does 18 divide w?
False
Suppose k = 4*k + 12. Let r(i) = 3*i**2 - i + 1. Is 14 a factor of r(k)?
False
Let f(a) = -2*a**2 - 5*a. Let o be f(-4). Let c be o*(-3)/6 - 1. Suppose y - c = 3. Does 3 divide y?
False
Let u be 3/((-1)/((-22)/3)). Let a = u + -19. Does 3 divide a?
True
Suppose 0 = l - 4*k + 8, -5*k = -3*l - 9 - 29. Let u = l + 41. Suppose -u = g - 6*g. Is g a multiple of 3?
False
Let j(i) = 7*i - 12. Let r be j(-8). Let c = r + 111. Is c a multiple of 27?
False
Let f(m) = 0 - m**3 - 8*m + 4 - 8*m**2 + 1 - 1. Does 17 divide f(-8)?
True
Let n(c) = -c**2 - 4*c - 4. Let z be n(-4). Let k be 1/z*-2*122. Suppose -2*i = -5*i + 3, -4*t + k = i. Does 15 divide t?
True
Let m(p) = -80*p - 2. Is m(-1) a multiple of 12?
False
Does 5 divide 8/(-24) + (-19)/(-3)?
False
Let o = -33 + 88. Is o a multiple of 20?
False
Let m = 77 + 50. Does 19 divide m?
False
Suppose -2*h = h, -j + 28 = -3*h. Is j a multiple of 7?
True
Let s = 40 + -19. Let g = -14 + s. Does 7 divide g?
True
Suppose 20 = v - 13. Suppose 2*n + n + v = 0. Let h = 12 - n. Does 16 divide h?
False
Let s = 0 + 9. Suppose -57 - s = -3*l. Does 22 divide l?
True
Let u be (8/(-10))/(2/15). Let b be 100/3*u/(-4). Suppose -5*l + b + 0 = 0. Does 5 divide l?
True
Let p(y) = y + 16. Is 7 a factor of p(5)?
True
Suppose 0 = -3*a - a + 12. Suppose 0 = a*o + 7 - 55. Does 12 divide o?
False
Let c = 14 + -7. Let j(b) = -3*b + 3*b**3 + 0*b - 3*b**2 + c*b - 2*b**3. Is 10 a factor of j(3)?
False
Let q(b) be the second derivative of b**4/4 - b**3/3 - 2*b**2 + 4*b. Is 14 a factor of q(3)?
False
Let p(y) = 3*y - 2. Suppose -g = 4*g - 35. Is p(g) a multiple of 10?
False
Suppose -1 = -2*i + 2*n + 35, -3*i + 62 = -n. Suppose 5 = 5*c + 3*t - 16, -5*c + 25 = 5*t. Suppose i + c = 5*v. Is 3 a factor of v?
False
Suppose -3*h = s - 11, -h - 5*s = -0*s + 15. Suppose i - g - h = 0, -g - 8 = -2*i + 3. Is 19 a factor of 3/i - (-153)/6?
False
Let t = 64 + -21. Is t a multiple of 9?
False
Suppose -9 = -5*o - 54. Let p be (3 + 8/(-3))*o. Let c = 16 - p. Is 8 a factor of c?
False
Let x = 147 - 61. Suppose 2*z - x - 4 = 0. Suppose 4*b = z + 3. Does 6 divide b?
True
Does 10 divide (-1)/(-6) - (-356)/24?
False
Suppose -63 = -2*u - 4*v + 115, 4*u = -2*v + 332. Does 9 divide u?
True
Let y = -20 + 35. Does 10 divide (-1 - -5)*y/6?
True
Let t(g) = g**3 - 9*g**2 + g + 11. Let s be 2/(-6) - 25/(-3). Let j be t(s). Is 8 a factor of (-3)/(j/12)*25?
False
Let t(a) = a**3 - 5*a**2 - a - 3. Let p(b) = b**2 - b - 6. Let y be p(-3). Is 10 a factor of t(y)?
False
Suppose 61 = 4*m - 59. Is 7 a factor of m?
False
Let b(r) = -r**3 + 16*r**2 + 6*r - 33. Is b(16) a multiple of 21?
True
Let n(m) = 4*m**3 - 2*m**2 - 5*m - 1. Let l(b) = -b**3 - b**2 + b + 1. Let q(j) = 5*l(j) + n(j). Let k be q(-7). Suppose -v + 2 = -k. Does 6 divide v?
True
Let a(d) = -d**3 + d + 49. Does 13 divide a(0)?
False
Let q(w) = -w**3 + 10*w**2 - 7*w - 11. Let r be q(9). Let z = -2 + r. Suppose 0*a - z*a = -80. Is a a multiple of 11?
False
Let f be 15/(-3) + -1 + 5. Is (1 - f)/((-24)/(-180)) a multiple of 15?
True
Let f(c) = 6*c - 11. Let q(y) = -3*y + 6. Let m(g) = -4*f(g) - 7*q(g). Is 14 a factor of m(-6)?
False
Let p = 3 + -6. Is 18 a factor of p*(4/4 - 10)?
False
Suppose 0 = f + 4 - 3. Let o = 6 - 12. Let j = f - o. Does 2 divide j?
False
Suppose o + 5*x - 2 = 8, -5*o - 2*x = -4. Suppose -345 = -o*a - 5*a. Let y = -24 + a. Does 15 divide y?
True
Let z(t) = -312*t**3 - t**2 + t + 1. Is 10 a factor of z(-1)?
False
Let r(m) = -m**2 + 14*m + 11. Let k = 29 - 18. Is 11 a factor of r(k)?
True
Suppose -c - 155 = 4*c + 5*p, -3*c + 5*p - 77 = 0. Let d = c - -143. Suppose 0 = 2*r + 4*n - d, 4*n + 184 - 63 = 3*r. Is 17 a factor of r?
False
Let q = 177 + -361. Suppose -3*i + 5*z = -35, -29 = -5*i - 2*z + 3*z. Does 6 divide q/(-20) + (-1)/i?
False
Let j be (-1)/(-5) + (-702)/10. Let l = j - -107. Does 24 divide l?
False
Does 3 divide -12*((-4)/3 - 0)?
False
Let i(n) be the first derivative of n**6/180 + n**5/60 - n**4/6 + n**3 + 3. Let r(u) be the third derivative of i(u). Does 8 divide r(-3)?
True
Let b = 10 + -3. Is b a multiple of 4?
False
Let y = 456 - 236. Does 20 divide y?
True
Let g = -23 + 65. Does 14 divide g?
True
Let o = 12 - 1. Does 5 divide o?
False
Let v(k) = 126*k**2 - 2*k + 1. Let m be v(1). Let q be (-4)/(-4) - -1 - 0. Suppose -7*a + q*a + m = 0. Is 10 a factor of a?
False
Suppose 141 = -5*m