e of 13?
True
Suppose -m + 1 = 0, 0*p = 4*p - m + 377. Let v be p/3 + (-4)/6. Let x = -14 - v. Is 9 a factor of x?
True
Let p = -3 + 4. Let y be (p - 0)/((-2)/(-4)). Does 11 divide 300/9 + y/(-6)?
True
Let k(c) = 6*c - 20. Does 27 divide k(16)?
False
Let c(n) = -22*n - 3. Let r(l) = -66*l - 10. Let y(v) = 7*c(v) - 2*r(v). Let m be (-14)/12 - (-1)/6. Does 11 divide y(m)?
False
Let f = 2 + 9. Suppose -54 = -5*h + f. Let z = h + 7. Is 10 a factor of z?
True
Suppose 3*p - 26 - 70 = 0. Suppose 4*y - 56 = p. Is y a multiple of 11?
True
Let f = 6 - 2. Does 11 divide 35 - f - -1 - 4?
False
Suppose 534 - 1806 = -8*d. Is 13 a factor of d?
False
Let t(z) = 0*z - z**2 + 7*z + 13 - 5. Let k be t(8). Does 10 divide k - 1*(-27 + -1)?
False
Suppose 4*g - 244 = -2*a - 2*a, 4*a - 12 = 0. Is g a multiple of 29?
True
Let x(l) = -7*l - 2. Let p = 6 + -9. Is x(p) a multiple of 9?
False
Suppose -4*k + 0*f = -5*f - 572, 2*k + 4*f = 286. Does 11 divide k?
True
Suppose 0 = -2*w - t - 2 + 3, -3*w + 24 = -3*t. Let q = 15 - -3. Suppose -w*x = -0*x - q. Is 6 a factor of x?
True
Let p = -4 + 7. Suppose 8*x - p*x = 235. Does 16 divide x?
False
Suppose 0*t + 4*t = -4. Does 13 divide 30 + -1 + (-3 - t)?
False
Let r(h) = h - 7. Let t be r(9). Suppose 2 = -5*j - t*q + 12, 21 = 4*j - q. Is 6 a factor of j/14 + (-200)/(-35)?
True
Let k(c) = 3*c**2 + 1 + 0 - c**2 + 2*c + 3. Is k(4) a multiple of 22?
True
Let n = -8 - -8. Suppose n = -i - 2*i + 30. Does 6 divide i?
False
Let o = -17 - -60. Is 23 a factor of o?
False
Suppose 24*r - 28*r = -4*q + 776, 3*q + 2*r = 577. Is 20 a factor of q?
False
Suppose -51 = -4*a - 11. Let k be 11/5 - 2/a. Suppose k*g + h = 39, h + 10 = -g + 29. Is g a multiple of 10?
True
Suppose 2*l - 85 = 59. Is l a multiple of 8?
True
Suppose 560 = -4*p + 8*p. Suppose 2*c = -3*c + p. Does 17 divide c?
False
Let w(m) = -m**3 + 4. Let p be w(0). Suppose -5*z + 5*y = -25, -5*z = p*y + 2 - 0. Suppose u + z = 2*v - 18, 3*v - 30 = 4*u. Is v a multiple of 10?
True
Suppose -4*f + 144 = 2*q, 0 = f - 5*f + 5*q + 116. Is 22 a factor of f?
False
Suppose 3*r + 16 = -4*g, -r - 2*g - 18 = 3*r. Let o = 12 - r. Is 7 a factor of o?
False
Suppose 2*w + 2*w = 16, 2*w - 3 = -5*m. Is (-1)/m - 20/(-2) a multiple of 11?
True
Suppose 8*s - 626 = 62. Is 4 a factor of s?
False
Let g(w) be the second derivative of w**4/12 + w**3/3 - 5*w**2/2 - w. Let m be (9/27)/((-1)/15). Is 5 a factor of g(m)?
True
Let z be (-5 + 5)*(-2)/6. Suppose z = -3*w + 203 + 91. Is w a multiple of 29?
False
Let n = 2 + -3. Is 7 a factor of (7/(-3))/(n/6)?
True
Suppose -4*z = -16, -f - 9 = -z - z. Let m(q) = 45*q**2 - q - 2. Is m(f) a multiple of 11?
True
Let p(v) = 5 + v + v**2 + 1 + 2*v. Let g be p(-4). Suppose -3 + g = x. Does 2 divide x?
False
Is (3 - 2)/((-2)/(-62) + 0) a multiple of 5?
False
Let g(u) be the second derivative of -u**4/12 - 7*u**3/6 - 4*u**2 - u. Let t be g(-7). Is 6 a factor of (-98)/t - 4/16?
True
Let i(w) = 3*w**2 - 14*w + 18. Is 14 a factor of i(8)?
True
Suppose -m = -5*m - 3*k + 85, -m + 40 = -3*k. Is 5 a factor of m?
True
Suppose -5*d = -3*h - 580, h = -5*d + 5*h + 575. Is 17 a factor of d?
True
Is (52/(-78))/(-2*(-1)/(-45)) a multiple of 3?
True
Is 8 a factor of ((-18)/(-5))/((-3)/(-15))?
False
Let h(c) = -2*c - 19. Let r be h(-9). Does 4 divide r + 5 + (-8)/(-2)?
True
Let b = 35 - 7. Does 14 divide b?
True
Let f be -3 - (-1 + 4 + -16). Let n = -5 + f. Suppose -l - 22 = -c, 77 - 7 = 5*c + n*l. Does 9 divide c?
True
Suppose -p - 26 = -84. Suppose -4*l + p = -3*q - 202, -3*l = -2*q - 195. Is l a multiple of 13?
True
Suppose 3*b - d = -2*d + 12, 2*b + 3*d - 8 = 0. Suppose -b*k = -k + 120. Is 10 a factor of (-1)/(1 + k/38)?
False
Suppose -3*k = -0*k - 24. Suppose -2*h = -30 - k. Is 19 a factor of h?
True
Let s(d) be the second derivative of d**4/12 + d**2 - d. Let z be s(0). Is 4*(-3)/(-2) + z a multiple of 4?
True
Let c(d) = d. Let u be c(-6). Let o(h) = -h**3 - 6*h**2 - 8*h - 7. Let t be o(u). Let i = t - 25. Is i a multiple of 11?
False
Suppose -3*j + 51 = -3*u, 4*u = -5*j + 112 - 18. Is 18 a factor of j?
True
Suppose 2 = -4*y + 14. Suppose -3*c - y = -57. Does 14 divide c?
False
Let a(g) = g**3 + 4*g**2 + 3*g + 4. Suppose -4*w - 2*p = 22, 14 = -3*w - 4*p + 3*p. Let n be a(w). Suppose n*m = -m + 70. Is m a multiple of 8?
False
Let r = -29 - 10. Let y = 62 + r. Is y a multiple of 18?
False
Let c be (-146)/(-3)*(-3)/(-2). Suppose -2*l + c - 1 = 0. Is l a multiple of 12?
True
Let t(a) be the first derivative of -a**4/2 + a**3/3 - a**2/2 - a + 2. Let b = -14 - -13. Is 2 a factor of t(b)?
False
Is 7 a factor of 5*((-40)/25 - -3)?
True
Let c = -7 + -17. Let j = c + 37. Is 13 a factor of j?
True
Let v = -2 - -4. Suppose d - 1 = -2*m, -4*m + 23 = -v*d - 3*d. Suppose 93 = -m*k + 5*k. Is 10 a factor of k?
False
Let c be 2/((0 + -2)/2). Let w be 8/c*105/(-12). Suppose 0 = 6*s - s - w. Is s a multiple of 7?
True
Suppose -4*p = 38 + 30. Let f = 39 + p. Does 10 divide f?
False
Let m = -15 + 69. Let y be (m/(-4))/(4/(-8)). Let i = y - 18. Is i a multiple of 5?
False
Let u = -35 + 40. Is u a multiple of 2?
False
Let i(h) = 3*h**2 + h - 2 - 1 + 2 - 5*h. Does 4 divide i(3)?
False
Let q = 28 + -17. Suppose 0 = 3*l + x - q, 0 = -4*x - 2 - 14. Suppose 2*k + k - 149 = -l*v, 68 = 2*v + 4*k. Is v a multiple of 10?
False
Let o(y) = -51*y**2 - y - 1. Let b be o(-1). Let k = -33 - b. Is 9 a factor of k?
True
Suppose -5*c = 4*t - 343, -3*c = -2*t + 24 + 175. Is t a multiple of 12?
False
Suppose 7*a = 5*a + 206. Does 34 divide a?
False
Suppose 0 = 3*x - 5*k + k - 692, -2*k - 232 = -x. Does 38 divide x?
True
Let m(a) = 8*a**2 + a - 1. Is m(1) a multiple of 8?
True
Suppose -40 = 2*a - 80. Is 20 a factor of a?
True
Suppose 5*c = 2*p + 15 + 10, 3*c = p + 15. Suppose p = -4*i + 45 + 71. Does 16 divide i?
False
Let y = -10 + 35. Let c(t) = 3*t - 6. Let a be c(5). Suppose r + 4*h - a + 4 = 0, 5*r + 3*h = y. Does 5 divide r?
True
Let v(o) = o**2 - o + 50. Let j be v(0). Suppose -q - j = -6*q. Suppose 0*c - c - q = -5*w, -3*c = -4*w - 14. Is c a multiple of 5?
True
Let b(x) = -141*x. Let k be b(-1). Let u(n) = -n**2 - 5*n - 3. Let v be u(-2). Does 18 divide (1 + (-2)/v)*k?
False
Let d(t) = -t**3 - 5*t**2 + 2*t + 6. Is d(-6) a multiple of 15?
True
Let f = -68 + 99. Is f a multiple of 9?
False
Let a(x) = -x + 2. Let t be a(2). Let s be -1 + t - (0 - 0). Is 2 + s + 3 + 1 a multiple of 2?
False
Suppose 0 = -l + 3*h + 21, 4*l - h = -3*h + 126. Is l a multiple of 14?
False
Let i = 17 + -4. Does 8 divide i?
False
Suppose -2*y + 25 = m, -5*y - 2*m - 24 = -84. Does 5 divide y?
True
Let s = -13 + 8. Let y = s + 7. Let z = y + 3. Is z even?
False
Let n(z) be the third derivative of -z**5/60 - z**4/24 + z**3/6 + z**2. Let j be n(1). Is 23 a factor of 43 - j*(-2 - -5)?
True
Let b = -3 - -2. Let h(k) = -3*k. Let l be h(b). Suppose -l*d + d = -6. Is 3 a factor of d?
True
Suppose 2*d = 8 - 90. Let o = d - -65. Is o a multiple of 6?
True
Does 43 divide 3*(-1)/(-6)*4 + 41?
True
Suppose 2*z - 5*y = 84, -2*y = 2*z - 0*y - 84. Does 6 divide z?
True
Let l = 258 - 93. Suppose 0 = -s - 4*s + l. Is 10 a factor of s?
False
Let z = 59 + 101. Suppose z = -0*c + 4*c. Suppose -c - 40 = -5*l. Is l a multiple of 8?
True
Let q(p) = p**3 - 7*p**2 - 8*p + 8. Let c be q(8). Let t be (-5 + -1)/(6/c). Let o(x) = -7*x - 3. Is 18 a factor of o(t)?
False
Let y be -2 - 2 - (-7 - -1). Suppose 0 = -y*g + 5 + 3. Is g a multiple of 4?
True
Suppose 0 = -f - 0 + 3. Suppose 0 = f*z + k - 43, 2*z + 0*k = -3*k + 38. Is 13 a factor of z?
True
Suppose 12 + 276 = 9*n. Does 4 divide n?
True
Let q = -19 - -5. Let u(l) = l**2 - 6*l - 3. Let b be u(7). Is 16 a factor of 226/7 + b/q?
True
Let i = 5 - 4. Let a be 3/i + (10 - -1). Suppose 3*x + a - 134 = 0. Is 23 a factor of x?
False
Is (-9)/(-3) + (4 - -1) a multiple of 8?
True
Let r(f) = -29*f**3 - f**2 + f + 1. Suppose 0 = -2*i + 5*z + 3, 0 = -2*i - 0*z - z - 3. Is r(i) a multiple of 9?
False
Let x(c) be the third derivative of -c**6/120 - c**5/12 + c**4/4 + 5*c**3/6 - c**2. Let f = -4 - 2. Is x(f) a multiple of 3?
False
Suppose -s + 19 - 7 = 0. Suppose -7*o + s*o = 20. Is o even?
True
Let c = 33 + 55. Is 11 a factor of c?
True
Does 10 divide (-1810)/(-45) - 2/9?
True
Let f(m) = -13*m - 4. Let q be f(-8). Suppose 4*y = 4*c - 436,