t**2 - 17*t. Is 36 a factor of v(-9)?
True
Suppose -p + 88 = 5*w - 3*p, -4 = p. Is 9 a factor of w?
False
Suppose 0 = m + 5, 5*s + m = 2*m + 205. Does 6 divide s?
False
Let q(t) = t**2 + 2*t - 6. Let o be q(4). Suppose -z - z + o = 0. Is 9 a factor of -81*(-1 - 2)/z?
True
Let b = 105 + -80. Does 25 divide b?
True
Let r = 22 - 19. Suppose r*u - 15 = -3*v, 5*v + 17 = 3*u - 22. Is 3 a factor of u?
False
Suppose 0 = -5*d + 5 + 5. Suppose 3*z - 4*z = -d. Does 2 divide z?
True
Let j(n) be the first derivative of -n**4/4 + n**2 - 1. Let w be j(-2). Suppose -7*u + 66 = -w*u. Is 11 a factor of u?
True
Let f(y) = 4*y + 13. Let x(h) = 11*h + 40. Let q(r) = -8*f(r) + 3*x(r). Is q(8) a multiple of 6?
True
Suppose 0 = -s + 3*s. Suppose 2*z + 6 = 0, q + 3*z + 6 - 17 = s. Does 8 divide q?
False
Suppose -3*a = -a - 44. Let v = -2 + a. Does 13 divide (-96)/v*20/(-3)?
False
Suppose 2*f - 104 = -2. Let d = 49 + -74. Let j = f + d. Is j a multiple of 14?
False
Let o be 2/(-4) + (-15)/(-6). Suppose 625 = -3*y - o*y. Is 3 a factor of (4/10)/((-5)/y)?
False
Let o be (-2*10)/((-10)/45). Suppose 5*g + 2*i - o = 0, 4*i - 54 = -3*g - 0*i. Suppose -5*k + 8 = 3*s - 12, -s + 4*k + g = 0. Is 10 a factor of s?
True
Suppose 119 = -4*g + 5*o, -o + 62 = -3*g - 19. Let i = -18 - g. Is 4 a factor of i?
True
Let k(w) = -10*w + 22. Does 14 divide k(-5)?
False
Suppose 6 = -3*u, 0 = -v - 3*v + 5*u - 26. Does 15 divide 5/(26/v + 3)?
True
Let y = 132 - 77. Let r be ((-4)/6)/(1/48). Let b = y + r. Is 12 a factor of b?
False
Suppose 2*r - 1420 = -5*q, -12*r + 9*r + 579 = 2*q. Does 18 divide q?
False
Let z(r) = 4*r**2 - 3*r - 5. Suppose 0 = 3*g - p - 12, 4*g - p = 4*p + 16. Is z(g) a multiple of 18?
False
Suppose -1 = -2*y + 3. Suppose -y*x - 6 - 18 = 0. Let f = 34 + x. Does 22 divide f?
True
Let w(h) = -h**3 + 7*h**2 - 6*h - 5. Suppose -5 = -4*c + 3*c. Is 15 a factor of w(c)?
True
Suppose 17 = 2*l - 1. Let f = -37 + 42. Suppose -l + 54 = f*y. Is y a multiple of 7?
False
Suppose -3*c + 31 = -92. Suppose -3*a + 5*t + 204 = 0, 19 + c = a + t. Is a/6 + 1/(-2) a multiple of 10?
True
Suppose 0 = -2*b - 8, -4*m - 2*b = -0*b - 8. Suppose -2 = -2*n, -2*r = m*n - 115 + 39. Is r a multiple of 18?
True
Suppose -5*g + g = 0. Let d be (g - -8) + 2 - 2. Suppose -3*x + d = -x. Is 2 a factor of x?
True
Suppose -14 - 116 = -5*o. Suppose -3*b = -j + o, 0 = 4*j - 5*j - 5*b + 42. Is 16 a factor of j?
True
Let l be ((-6)/3)/((-8)/20). Let m(q) = -q**3 + 4*q**2 - 5*q - 6. Let j be m(l). Does 10 divide j/(-2) - (0 - 2)?
True
Let r = 112 - 62. Let z = -22 + r. Suppose z + 132 = 4*v. Is 20 a factor of v?
True
Let b = -35 + 40. Does 4 divide b?
False
Let m(d) = -41*d**3 - 2*d**2 - 2*d - 1. Is m(-1) a multiple of 3?
False
Suppose -6*d = -3*d - 57. Is 12 a factor of d?
False
Let f be 4/(-3)*-6 - 3. Suppose 0 = -f*g + 178 - 8. Is g a multiple of 17?
True
Let z(y) = y**3 - 3*y + 4. Let f be z(2). Suppose f*r - 75 = r. Is r a multiple of 6?
False
Suppose 10*w - 8*w = 54. Is 11 a factor of w?
False
Suppose 15 + 25 = d. Suppose -9 = x + r - d, 3*x - r - 113 = 0. Is 12 a factor of x?
True
Let c = 33 + 14. Is 14 a factor of c?
False
Does 49 divide (-10)/(-15)*1209*(-1)/(-2)?
False
Let f(p) = -p**3 + 4*p**2 - 2*p. Let b be f(3). Suppose -4*v = -c + 6 + 15, 5*c = -b*v + 82. Does 4 divide c?
False
Suppose -3*g = 4*d - 785, -4*d + 3*g = 5*g - 790. Is d a multiple of 45?
False
Let t be (-2 - (-80)/(-6))*-3. Let a = t - 25. Does 15 divide a?
False
Suppose 5*k - 176 = 5*p - 61, 4*p + 112 = 5*k. Is k a multiple of 10?
True
Let r(c) = -2*c**2 - 5*c**2 + 8*c + 4*c**2 + 10 + 4*c**2. Let d be r(-7). Suppose 70 = 4*g - o - 69, -d*o - 102 = -3*g. Is 9 a factor of g?
False
Suppose -4*l - 76 = v, 2*l = 3*l + 5*v + 38. Let n = 30 + l. Suppose 4*p = n + 24. Does 9 divide p?
True
Suppose -p + 1 = -3. Suppose -4*m + 13 = -5*i - 138, -p*i = 3*m - 90. Suppose 2 = -4*f + m. Is f a multiple of 8?
True
Let t be 0*(-3)/(-6) - -1. Is 2 + 1 + t + 56 a multiple of 15?
True
Suppose -4*z = -z - 3*x + 39, -4*z - 3*x = 66. Is (-318)/(-5) - z/(-25) a multiple of 20?
False
Suppose 0 = 8*i - 4*i - 204. Does 17 divide i?
True
Let d be -4*6/(-8) - 3. Suppose -4*n + 125 = s, -4*n - 4*s + d*s = -128. Does 14 divide n?
False
Let f(u) = u**2 - 8*u - 2. Let t(x) = -2*x - 8. Let b be t(-9). Let i be f(b). Suppose r - 17 = -y, 3*r - 5*r + i = -2*y. Is 13 a factor of r?
True
Suppose -2*v + 2 - 22 = 4*n, -5*n = -4*v + 25. Let s = 2 + v. Does 14 divide s/(-4) + (-86)/(-4)?
False
Let y(o) = -72*o**3 - o**2 + 1. Does 24 divide y(-1)?
True
Suppose -3*s + 0*s = 15. Let b(j) = -3*j + 5. Is b(s) a multiple of 10?
True
Let s(d) = -d**3 + 3*d**2 + 2*d + 4. Let a be s(4). Let w(g) = -g**3 - 3*g**2 - 4*g. Does 16 divide w(a)?
True
Is ((-15)/(-10))/((-6)/(-212)) a multiple of 13?
False
Let t = 19 + -11. Let v(s) = s**3 - 8*s**2 + 11. Does 11 divide v(t)?
True
Let k(n) = n - 6. Let l(m) = -m**2 - 5*m + 2. Let r be l(-4). Let y be k(r). Suppose 4*x + 50 = q - y*x, 0 = -x - 5. Is 10 a factor of q?
True
Suppose 2*k - 6 + 40 = 0. Let u = 51 + k. Is u a multiple of 19?
False
Let r = 2 - 0. Suppose -3*o + 15 = r*o. Is 48*-3*o/(-18) a multiple of 12?
True
Let g = 76 + -60. Is g even?
True
Let x = -36 - -50. Let u = x - 8. Does 12 divide 70/6 + 2/u?
True
Let u(d) = -d**3 + 14*d**2 - 14*d + 23. Does 10 divide u(13)?
True
Suppose 0 = -k + 4*k - 4*j - 16, 5*j + 14 = 3*k. Is 2 a factor of k?
True
Is (-18)/8*-2*8/3 even?
True
Suppose x = -0*x + 4. Suppose x*y = 2*y + 22. Does 2 divide y?
False
Suppose -3*k = 4*x - 287, 3*x - 2 = 13. Is k a multiple of 18?
False
Let x(g) = -g**3 - 12*g**2 - 12*g + 21. Is x(-11) a multiple of 16?
True
Suppose -j - 4*q + 67 = 0, -3*j + 0*j + 151 = 2*q. Let g = j + -30. Does 17 divide g?
True
Suppose 4*i = 2*n + 3*n - 597, -222 = -2*n - 4*i. Does 24 divide n?
False
Suppose -3*q = -5*q - 10. Let v(w) = w**2 + w - 6. Does 14 divide v(q)?
True
Let i(o) = o**3 - 2*o**2 + 4*o - 4. Suppose 8*p - 12*p + 12 = 0. Is 11 a factor of i(p)?
False
Suppose 0 = -5*o + 2*o - 4*c + 25, 0 = -o + 4*c + 19. Suppose o + 4 = 5*f. Suppose 0 = v + i - 22, -22 = -v - i + f*i. Is v a multiple of 8?
False
Is 17 a factor of 1/(((-5)/5)/(-140))?
False
Suppose s = 5*q + 15, -4*q - 15 = 5. Does 8 divide ((-16)/s)/((-9)/(-45))?
True
Let y = -1 - 6. Let m = -6 - y. Suppose -2*u + m = -45. Is 11 a factor of u?
False
Let j = 65 + -21. Is j a multiple of 22?
True
Suppose 0 = -64*z + 63*z + 18. Is z a multiple of 7?
False
Suppose 5*f - 2*q = 25, -f + 19 - 1 = -3*q. Suppose f*w + 2*y - 47 = 0, -76 + 27 = -5*w + 4*y. Is 13 a factor of w?
True
Suppose 3*l + 57 - 165 = 0. Does 6 divide l?
True
Let f = -4 + 7. Suppose 2*d - d - 66 = -2*u, -4*u + f*d = -152. Is 12 a factor of u?
False
Let s be 6*(-62)/(-8)*2. Suppose -5*h + s = 3*n, -28 - 42 = -4*h + 2*n. Is h a multiple of 15?
False
Let o be (1/1)/(4/32). Suppose 2*y - o = 18. Is y a multiple of 13?
True
Let a(c) = -4*c - 4. Let h = 1 - 7. Is 10 a factor of a(h)?
True
Let h(q) be the first derivative of q**4/4 - 2*q**3 + q**2/2 + q - 2. Let g be (1 - -2)*(-4 - -6). Does 7 divide h(g)?
True
Suppose 7*u - 6*u = 57. Is 7 a factor of u?
False
Suppose 3*b - q = 4*q - 16, -2*b = -5*q + 19. Let s be (-7)/b*-5*6. Is -1 - s/((-6)/3) a multiple of 17?
True
Let l(x) be the second derivative of -3*x**5/10 + 2*x. Let c be l(-1). Suppose -c*k + 11*k = 140. Does 10 divide k?
False
Is 13 a factor of ((-22)/3)/((-16)/312)?
True
Let i = 382 + -254. Is i a multiple of 16?
True
Let s be 0*(-1)/1*1. Suppose 0 = u - k + 14, u - 2*k + 12 + 7 = s. Let h = 19 + u. Is h a multiple of 7?
False
Suppose -4*f + f = -12. Is (-27)/(-2)*f/3 a multiple of 6?
True
Suppose -12*c + 190 = -7*c. Is c a multiple of 11?
False
Suppose 5*j - 7*j + 6 = 0. Is 15 a factor of -4 - ((-64 - j) + 3)?
True
Let z(v) = v**2 + 3*v. Let l(r) = -r**2 + 7*r + 4. Let f be l(8). Let a be z(f). Does 13 divide -2*1 - (-30 + a)?
False
Suppose 2*v = -4*w + 26, w - 3*v + 4*v = 9. Suppose 0 = w*n - 47 - 89. Is 17 a factor of n?
True
Suppose 158 = 3*y - 4*l, 0*y + 3*y - 157 = 5*l. Suppose 3*i + 0*d - y = d, -i - 5*d + 2 = 0. Is i a multiple of 12?
False
Let r(m) be the second derivative of m**4/12 + 5*m**3/6 - m**2/2 + 3*m. Is r(5) a multiple of 17?
False
Let h(w) = -w**2 + 19*w. Is 13 a factor of h(13)?
True
Suppose 