c(x) = -x - 11. Let d be c(-5). Is m(d) even?
True
Let c(r) = r**2 + 8*r + 13. Does 11 divide c(-9)?
True
Let t be (-6)/4*12/(-1). Suppose -10 - 12 = 2*o. Let n = t + o. Is n a multiple of 7?
True
Let d be (4/(-6))/(8/(-12)). Let k = -27 + 38. Suppose d = -z + k. Is z a multiple of 6?
False
Let z = -120 - -170. Suppose 0 = -3*l - 2*l + z. Does 6 divide l?
False
Let i = 17 - 6. Let p be -1 - (1*6 - 0). Let r = i + p. Is r a multiple of 4?
True
Let k = 7 - 13. Suppose -2*o + 122 = -5*i, 15 + 56 = -3*i - o. Is k/(-4)*i/(-2) a multiple of 11?
False
Let h be -1 + (0 - -1) - -3. Suppose -5 = -h*x + 7. Suppose 0 = -4*m + 3 + 1, m = -x*q + 129. Is 16 a factor of q?
True
Suppose 0 = 8*o - 0*o - 96. Is 6 a factor of o?
True
Let q be (0 - 6) + 1 + 1. Let p(f) = -5*f - 1. Is p(q) a multiple of 10?
False
Let m = -15 + 19. Is 3 a factor of m?
False
Suppose 4*f + 5*j = 23 + 15, j = 3*f - 38. Suppose 2*z = -k + f, 3*z - 18 - 8 = -2*k. Does 8 divide k?
True
Let n be 2 + (1 + -7)/2. Suppose 5*y - 3 = -v + 2*v, v - 13 = -3*y. Let h = v - n. Is 6 a factor of h?
False
Let a(i) = i + 4. Let k be a(-4). Is (k - -1)/((-2)/(-4)) a multiple of 2?
True
Suppose 4*u = 5*n + 45, -u = -2*u + 2*n + 15. Suppose -u*p + 140 = -30. Suppose -p = -o + 2. Does 12 divide o?
True
Let u be -1 + (42 - (1 - -1)). Suppose -3*x + 3*d + 138 = 0, 3*x - 5*d = 183 - u. Does 27 divide x?
False
Let n = 16 - -2. Let d be (n/5)/((-12)/80). Does 15 divide 2/8 - 354/d?
True
Suppose 0 = 52*l - 60*l + 104. Is l a multiple of 2?
False
Suppose -l = -0 + 1. Let y = l + 13. Is y a multiple of 11?
False
Suppose 0 = -4*r - y + 72, 5*r = -5*y + 33 + 42. Suppose -o + r - 7 = 0. Suppose -z = -4*x + o, -15 = -5*x + z - 2*z. Is x even?
False
Suppose 4*f - 11 - 81 = 0. Suppose 3*q = 2*d - 31, -d = -0*d - 3*q - f. Let x = 29 - d. Is 9 a factor of x?
False
Let q(m) = -m**3 - m**2 - m + 9. Let a be q(0). Let b be (-5)/20 - a/(-4). Suppose -4*p + 48 = 5*o, -p = -2*o + b*p + 10. Does 8 divide o?
True
Suppose -2*a = a - 78. Is 3 a factor of a?
False
Suppose 0 = 2*p - 0*p + 3*o - 93, 265 = 5*p + o. Let l = p - 14. Let n = l - 14. Does 13 divide n?
True
Suppose v = 4*v - 39. Let r = 18 - v. Does 17 divide (34/(-8))/(r/(-20))?
True
Suppose 8*f - 60 = 3*f. Let w be (2*f)/((-3)/(-15)). Suppose 3*a = -2*a + w. Is a a multiple of 8?
True
Suppose 5*q + 3*l - 332 = -38, -3*q = -4*l - 188. Does 5 divide q?
True
Suppose -3*r = -y - 2*y + 189, -5*y + r = -331. Suppose 96 = 3*s + 4*h - 1, 5*h = -2*s + y. Is 19 a factor of s?
False
Let a be 18/99 + (-1076)/(-11). Suppose z = 3*f - 137, -3*f + 5*z + 59 = -a. Is 22 a factor of f?
True
Suppose 4*b = b + 15. Let t(r) = r + 11. Let x be t(-6). Suppose -151 = -b*l - 4*m, x*m = -l + 2*m + 39. Does 10 divide l?
False
Let z(k) be the first derivative of k**3/6 + 13*k**2/2 + k - 2. Let p(r) be the first derivative of z(r). Is 12 a factor of p(0)?
False
Suppose -1 - 14 = -5*y. Suppose -4*f + 4*o = -120, f - 118 = -y*f + 5*o. Does 12 divide f?
False
Let x(r) = 91*r - 7. Is 32 a factor of x(2)?
False
Suppose 0 = -2*t + 6, 4*o = 2*t - 3*t + 79. Suppose 3*b = 68 + o. Does 8 divide b?
False
Let d = 39 - 19. Suppose 5*o + 2*y = 35, y = -2*o + o + 10. Suppose -3*q + 24 = -3*g, g + d = o*q - q. Is 3 a factor of q?
False
Let z be 88 - (2 - 6 - -2). Suppose z = 3*b - 4*n, -3*b + 0*n + 117 = 5*n. Suppose 2*o = -v + 15, 4*v - 6*o + o = b. Is 9 a factor of v?
False
Is 46/8 - (-6)/24 a multiple of 6?
True
Let u(w) be the first derivative of -7*w**2/2 + w - 2. Is 11 a factor of u(-6)?
False
Let z(c) = 5*c**2 + 2*c - 4. Let t be z(-4). Let j be t/8 - (-1)/2. Suppose y = 4*k - 96, j*k - 4*k + 2*y - 133 = 0. Is k a multiple of 21?
False
Let c(r) = 2*r**2 - 10*r + 3. Suppose 3*g + 3*v - 81 = 0, 5 + 49 = 2*g - 4*v. Suppose -5*p + g = -8. Is 13 a factor of c(p)?
False
Suppose -c - p + 11 = 0, -2*c + 37 = -p - 0*p. Let s(g) = -g**2 - 3*g + 1. Let f be s(-2). Suppose -f*z = -26 - c. Is 7 a factor of z?
True
Let w(d) = 8*d**2 - 7*d + 9. Is w(4) a multiple of 17?
False
Suppose 4*k + 0 - 3 = -5*a, -3*k = 4*a - 3. Let y(w) = 2*w + 0 - 2*w**3 - 2*w**2 - 3*w - 1 + 0. Does 14 divide y(k)?
False
Suppose d - 252 = -3*d. Is 21 a factor of d?
True
Let v(x) = 21*x + 9. Let h be v(-7). Let w = -95 - h. Let y = w - 14. Does 14 divide y?
False
Suppose w - 35 = -f - 7, -2*f + 60 = w. Is f a multiple of 16?
True
Let r(p) = -4*p**2 + 2*p + 4. Let u be r(-2). Let y = -21 + -5. Let s = u - y. Is s a multiple of 9?
False
Let n be (-73)/(3/(-2 + -1)). Suppose -3*s = -n - 47. Is s a multiple of 20?
True
Let t(a) = 10*a + 2 + a**2 - 27*a + 10*a. Is 3 a factor of t(9)?
False
Let d be (-2 - -3)*(6 + -1). Suppose -2*v + 3 = d*l - 7, 0 = 4*v. Suppose -l*x = -33 - 11. Is 8 a factor of x?
False
Let m be ((-4)/(-6))/(4/18). Suppose 0 = -u + 5*q + 60, 2*q + 2*q - 142 = -m*u. Does 12 divide u?
False
Let q(f) be the first derivative of 4 - f - f**2 + 4*f - 3 + f. Does 5 divide q(-7)?
False
Let h(q) = q**3 - 22. Let w be h(0). Let k = w - -47. Is 3/5 + 385/k a multiple of 10?
False
Suppose 4*c - 5*u - 5 = 0, 3*c - 5*u - 2 - 3 = 0. Let t be (-1 + c)*-1*-1. Let r = t + 5. Does 2 divide r?
True
Let a be 10/(-6) - (-4)/6. Let t be 5 + (-2 - -4)*a. Suppose 0 = -t*o + 4*w + 66, -3*w - 72 - 23 = -4*o. Is 12 a factor of o?
False
Let u = 5 + -1. Suppose -u*m + 4 = -8. Is 9 a factor of m/4 - 186/(-8)?
False
Let j(v) = 7*v - 9 - v**3 + 0*v + 2*v + 5*v**2. Does 9 divide j(6)?
True
Suppose 4*a = 3*r - 41, -2*r - 4*a - 13 = -r. Suppose -4*i - r = -g, 2*g + i = -3*g + 140. Let n = 59 - g. Is n a multiple of 16?
True
Let z(q) = -2*q + q + 2*q + 10*q**2. Is z(-1) a multiple of 3?
True
Suppose 0 = w + w + g, 5*g = w - 22. Let l = w + -12. Let j = 8 - l. Is 8 a factor of j?
False
Suppose 0*c - 5*c + 284 = 4*j, -5*c + 277 = -3*j. Is 15 a factor of c?
False
Suppose 0 = r + 3 - 14. Does 11 divide r?
True
Let k = -31 + 55. Is (k/20)/((-2)/(-45)) a multiple of 7?
False
Suppose t - 4*x = -4*t + 96, -4*x = 16. Is 6 a factor of t?
False
Is (-72)/((33/55)/((-4)/10)) a multiple of 5?
False
Let w(y) = -4*y**3 + 3*y**3 + 4*y + 5 + 6*y**2 - 4*y. Is w(6) a multiple of 2?
False
Let m(l) = 13*l - 1. Let k be m(-2). Does 8 divide (-6)/k*3*12?
True
Suppose -s + 3*s = 10. Suppose -r - s*u + 97 = 0, -3*r + r + 2*u = -146. Is r a multiple of 22?
False
Suppose -2*u + 16 + 10 = 3*o, 10 = 3*o - 2*u. Let l = 11 - o. Is l a multiple of 5?
True
Suppose 6 = 3*p - 12. Suppose 3*m + 105 = p*m. Does 10 divide m?
False
Suppose -24 = -0*x + 4*x. Let g(o) = -3*o. Does 9 divide g(x)?
True
Suppose -l + 3*r + 208 = 5*r, -3*l = 3*r - 612. Does 25 divide l?
True
Suppose -4*f + 58 = n, 4*n + 0*n + 4*f - 196 = 0. Is n a multiple of 12?
False
Let l(x) = -x**3 - 3*x**2 - 2*x. Is l(-3) a multiple of 3?
True
Let o(s) = s**3 - 3*s. Let w = -15 + 18. Does 11 divide o(w)?
False
Let o(m) = -26*m - 1. Let x = 8 - 9. Is 18 a factor of o(x)?
False
Suppose 2 = -2*d + 10. Suppose 0 = -d*a - o - o - 26, -2 = a + 5*o. Let i = 10 + a. Is i a multiple of 3?
True
Let v(d) = -2*d**2 + 0 + 2 + d - d**2 + 0*d. Let t be v(2). Is 12 a factor of (t/10)/((-2)/60)?
True
Let k be (1 + 0)/(3/15). Suppose -k*f + 4*f = -34. Is 17 a factor of f?
True
Suppose 290 = 5*o + 5*c, -2*o + o = -3*c - 74. Is o a multiple of 8?
False
Let t = 175 + -103. Is t a multiple of 4?
True
Suppose 2*p = 419 + 219. Suppose -5*g = p - 69. Let d = g - -84. Is d a multiple of 14?
False
Suppose -2*v + 7 = -3*k - 103, -2*k - 71 = v. Let l = k - -74. Suppose 5*o + a - l = 5*a, o + 4*a - 22 = 0. Is 10 a factor of o?
True
Let u = 1 + 2. Does 17 divide 1 + u + -3 + 71?
False
Suppose 0 = -i + 2*i - 20. Is 5 a factor of i?
True
Suppose -3*n + 7*n = -24. Let x be (-34)/(-6) + n/9. Suppose 0 = -x*a + 17 - 2. Is 3 a factor of a?
True
Let f(x) = -x + 9 - 3*x + 56*x**3 - 5*x**2 + 13*x**2 - 55*x**3. Is f(-8) a multiple of 11?
False
Suppose 3*m + 43 = -50. Let r = -16 - m. Is 6 a factor of r?
False
Suppose 3*x - 24 = -3*f, -14 - 10 = -3*f - 5*x. Let t(k) = k + 5. Let j be t(-7). Let p = f - j. Does 5 divide p?
True
Let f(s) = -s**2 - 10*s + 14. Let x be f(-10). Suppose -2*l = 2 - x. Suppose 5*n - l = 9, 4*n = -2*a + 40. Is 7 a factor of a?
True
Suppose 2*d + 4 = 3*d. Suppose 3*a = d*a - 10. Is a a multiple of 5?
True
Suppose 0 = -d + 2 + 4. Let o(y) = 1 - y + 3*y + 0*y + 