ose -6 - 6 = 3*c. Let j = g - c. Is 18 a factor of j?
True
Let s(p) = -p**2 - 6*p - 2. Let v be s(-4). Suppose -y - v = -30. Does 16 divide -5 + 2 + -1 + y?
False
Let g(x) = -x**2 + 8*x - 12. Let n be g(9). Let z = 31 + n. Is 10 a factor of z?
True
Suppose 6*d - 1104 - 186 = 0. Is 43 a factor of d?
True
Let l(b) = b**3 - b**2 + b - 2. Let x be l(0). Does 16 divide 50/3 + x/3?
True
Let b = 7 - 3. Let o(q) = -q**3 + 3*q**2 + 7*q - 6. Let w be o(b). Is 9 a factor of 1*9/3*w?
True
Let t(w) be the first derivative of w**4/4 - 4*w**3/3 + w**2 - 2*w - 3. Does 19 divide t(5)?
False
Let h(s) = -s**3 + 4*s**2 + 3*s + 2. Let z = 11 - 10. Suppose -z = -t + 3. Does 8 divide h(t)?
False
Suppose 4*w = -s - 1, 5*w = s - 4*s + 4. Does 10 divide (4/5)/(s/75)?
True
Let r(v) = v - 2. Let u be r(4). Suppose 4 - 86 = -u*z. Suppose -z = -4*n + 59. Does 14 divide n?
False
Let d be 36 + 2/8*4. Let f = -25 + d. Is f a multiple of 12?
True
Let t be (-3)/(-2 - 14/(-10)). Suppose 5*o = r + 72, -t*r = -0*o - 2*o + 38. Does 12 divide o?
False
Let c(a) = 9*a**2 + 2*a + 8. Let n be c(4). Suppose 0 = 3*r + 4*z - n, -5*r - 2*z + 272 - 24 = 0. Does 16 divide r?
True
Let h(a) = -3*a**3 - a + a**2 - 3*a**3 - 3*a**2 + 0*a**2. Let z be h(-1). Suppose -9 = -z*c + 4*c. Is 4 a factor of c?
False
Let z(l) = l**2 + 7*l + 5. Suppose 0 = -2*o - 2*o - 2*w, -2*o + w = 0. Let t be 1 - (22/2 + o). Is z(t) a multiple of 13?
False
Let s be (9/2)/((-1)/(-2)). Let h be s/(-6)*(-142)/3. Suppose h + 1 = 3*x. Is 10 a factor of x?
False
Let g(l) = -4*l**2 - 9*l + 2. Let q(i) = -3*i**2 - 9*i + 3. Let c(t) = -5*g(t) + 6*q(t). Does 16 divide c(6)?
False
Does 8 divide ((4 - 3)*-1)/((-1)/157)?
False
Let j(r) = -4*r + 1. Let a be j(1). Let z(h) = -3*h + 7. Is 8 a factor of z(a)?
True
Let a(r) = -r**2 - 4*r + 4. Let i be a(-7). Let b = -14 - i. Is b even?
False
Let h = 7 - -20. Does 27 divide h?
True
Suppose -5*u = -2*u - 90. Let s = u + -14. Is 16 a factor of s?
True
Suppose 17 = 2*r + 3. Let f = r - 4. Suppose -4*t + 32 = f*u, 6*u + 5*t = 7*u - 17. Is u a multiple of 6?
True
Suppose -2*x + 14 = -6. Does 18 divide (-1810)/(-25) - 4/x?
True
Suppose -3*h - 35 = -4*s, -5*s + 2*h = -0*h - 49. Suppose 2*j + 5 = s. Is j a multiple of 3?
True
Suppose 2*v = 47 + 9. Is v a multiple of 8?
False
Let h(t) = 12*t + 3. Let v be h(-2). Let x = 5 - v. Suppose -l - x = -2*y, 0 = -y + 4*l + 14 + 6. Does 12 divide y?
True
Let d(o) = o**2 + o - 3. Let r be d(2). Let f = r + 13. Is 15 a factor of f?
False
Suppose -115 = -4*l - 11. Does 11 divide l?
False
Suppose 0 = 10*p - 3*p - 819. Is 23 a factor of p?
False
Let b = -129 + 185. Is b a multiple of 13?
False
Let w(u) = u**3 - 7*u**2 + 9*u - 9. Is w(6) a multiple of 3?
True
Is ((-4)/2)/(-4)*368 a multiple of 43?
False
Let t be (-2)/3 - 272/(-3). Suppose 3*l - 2 - 4 = 0. Suppose l*h + t = 7*h. Does 9 divide h?
True
Let p = 35 - -17. Does 37 divide p?
False
Suppose -g = -3*c - 4, 3*g - 4*c - 14 = 8. Is 3 a factor of g?
False
Let d(o) = -o**2 - o + 5. Let a be d(-7). Let p = a + 67. Is p a multiple of 12?
False
Suppose -6*a = -41 - 325. Is 11 a factor of a?
False
Let u = -16 - -19. Suppose u*v - 23 = 55. Is v a multiple of 13?
True
Let q = -4 + 7. Suppose q*s - 23 = 2*s. Does 18 divide s?
False
Let q(u) be the third derivative of -u**6/24 - u**5/20 - 6*u**2. Does 14 divide q(-2)?
True
Suppose 0 = m + 49 - 250. Is 29 a factor of m?
False
Let u be 0 + -2 + 6 + -2. Let x(b) = -13*b**2 - 7*b + 4. Let q(g) = -27*g**2 - 15*g + 9. Let h(w) = 6*q(w) - 13*x(w). Is 21 a factor of h(u)?
False
Let v be ((-18)/(-15))/(6/15). Does 13 divide 22 - (9/(-3))/v?
False
Let d(k) = 3*k**3 - k**2 + 2*k - 1. Let q be d(1). Suppose 0 = 3*w - 2*i - 2, 4*w + i + 4 = -q*i. Suppose -2*t + t + 25 = w. Is 19 a factor of t?
False
Is 30 a factor of 16/(-10)*(-2 - 71 - 2)?
True
Is 958/10 - 1/(-5) - 0 a multiple of 6?
True
Let m = 8 + 30. Is m even?
True
Suppose -3*m - 3*h + 9 = 0, -8*m + 4*m - h = -3. Suppose -b - 2*b + 87 = m. Suppose 95 + b = 4*q. Is q a multiple of 8?
False
Let b(m) = 2*m**2 - 6*m + 19. Is b(7) a multiple of 16?
False
Let r = -4 + 6. Let p = 8 - r. Is 4/(-6)*(-27)/p a multiple of 2?
False
Let z = 13 + -8. Suppose -z*q + p = -3*p - 4, -5*p = -5*q. Is 3 a factor of q?
False
Let w = 399 - 277. Let t = -81 + w. Is 9 a factor of t?
False
Let t(i) = 5 + 2*i - 4 + 3*i**2 + 5*i**2. Is t(-2) a multiple of 17?
False
Suppose 2*w - w = -j + 14, -22 = -2*w + j. Suppose -x + w = -15. Is 10 a factor of x?
False
Let d(r) = -r**2 + 8*r - 3. Let a be d(-7). Is ((-10)/20)/(1/a) a multiple of 18?
True
Suppose 4*n - 226 = 118. Does 36 divide n?
False
Suppose 4*p = 2*y - 34, 0 = y - 3*y + 2*p + 30. Is 13 a factor of y?
True
Let c be 1*-8 + (10 - 7). Let m = -7 - c. Is 9 a factor of (-55 + 4)*m/6?
False
Suppose -h - i + 1 = 0, 3*h - 6 = 5*i + 5. Suppose h*k = 2*l - 30, 4*l = l + k + 39. Is l a multiple of 6?
True
Suppose 3*u + u = -144. Does 19 divide (-610)/(-9) - 8/u?
False
Let x(d) = -d**2 + 7*d - 5. Let h be x(6). Suppose -y = -5 - h. Is y a multiple of 3?
True
Suppose 0 = -0*a - a + 1, -3*a - 85 = -2*v. Is v a multiple of 2?
True
Let m(l) = l**2 + 7*l + 5. Suppose -22 = -2*z + 3*z - 3*y, 2*y - 31 = 3*z. Let x be m(z). Suppose 8 = 2*a - 0*a, -3*k - x*a + 86 = 0. Is k a multiple of 15?
False
Let d = -44 - -121. Is d a multiple of 11?
True
Suppose -3 = -3*m + 9. Suppose -2*i + 30 = 3*x, -m*x + 4 = i - 16. Let w = 17 - i. Does 4 divide w?
False
Let j(r) = r**2 + 5*r - 22. Does 17 divide j(10)?
False
Let q(o) = 5*o**3 + o**2 - 2*o - 1. Suppose -3*y + 8*y - 10 = 0. Is 22 a factor of q(y)?
False
Suppose 3*h + 2*h = -4*a + 55, 4*h + 64 = 4*a. Let w be -4 - (5 - -1) - 1/1. Let d = a + w. Is d a multiple of 4?
True
Suppose 15*l + 49 = 1729. Is l a multiple of 28?
True
Let a = -53 - -97. Suppose -a = -4*g - 2*z + 22, -4*z + 34 = g. Is 7 a factor of g?
True
Let f be (1 + 6/(-9))*21. Suppose 23 = h - 2*s, -s - f = -2. Does 7 divide h?
False
Let m(l) = -l**3 - 6*l**2 - 5*l - 8. Is 15 a factor of m(-8)?
False
Let g be (-2)/(-5) + 28/5. Suppose 3*l = -4*w + 22, 2*l - g = -2*w - 2*l. Is w even?
False
Let r = -140 + 212. Is r a multiple of 24?
True
Let u(t) = 15*t + 4. Does 9 divide u(3)?
False
Suppose 2*p = -10 - 0, -13 = 2*l + 5*p. Suppose -l*v = -v - 75. Is 12 a factor of v?
False
Suppose 0 = 3*x + 4*o - 8, 4*x = -3*o + 19 - 6. Suppose 3*q - c = 6*q - 59, x = -c. Is q a multiple of 13?
False
Suppose -2*y + 29 = 13. Let j be 2/(-8) - (-602)/y. Is 10 a factor of ((-4)/5)/((-3)/j)?
True
Let r(a) = -a**3 - 6*a**2 + a. Is 18 a factor of r(-8)?
False
Does 2 divide (-3 + -1)*9/(-6)?
True
Let n = -14 - -16. Suppose 4*d = -3*g + 29 + 50, 38 = 2*d + n*g. Does 4 divide d?
False
Let t be 2/(-3)*30/(-5). Suppose 0 = 4*f + t*p, 3*p = 5*p. Is 9 a factor of 0 + -2 - -11 - f?
True
Suppose 8*g - 18 = 6*g. Does 3 divide g?
True
Let x = 4 - -6. Suppose -2*y + 0 + x = 0. Suppose y*j = -6 + 66. Does 9 divide j?
False
Let p(s) be the first derivative of s**3/3 + 7*s - 1. Let h be 4/(-12) + (-3)/(-9). Does 3 divide p(h)?
False
Let t be 1 + (-21 - 2) - -2. Let v = 44 + t. Is v a multiple of 12?
True
Let w(o) = -8*o - 17. Let d(x) = x**3 + 7*x**2 + 9*x + 8. Let s be d(-6). Is 34 a factor of w(s)?
False
Suppose 0*t = -3*t - 5*a + 233, -a + 425 = 5*t. Is 22 a factor of (-1)/(-2) + t/4?
True
Suppose -4 = -b + 5*t + 29, 4*t = -2*b + 38. Let c = -12 + b. Does 10 divide c?
False
Let l(s) = -s**3 + 0*s**2 + 2*s + 0*s**3 - s**3 + 3 - 2*s**2. Does 7 divide l(-2)?
True
Let l = 83 + -57. Let j = 77 - 73. Let k = j + l. Is 15 a factor of k?
True
Let r = 20 + -17. Suppose 2*b - 160 = -r*b. Is b a multiple of 16?
True
Suppose 5*k = 4*j - 8, 5*j - 4*j + k - 2 = 0. Let l(t) = -1 + 0 - t**j + 3 + 9*t. Is 22 a factor of l(4)?
True
Suppose -4*f = 2*h - 170, 3*f + 2*f = -4*h + 205. Does 9 divide f?
True
Suppose h = 5*h - 4. Let n(v) = 58*v**2 - 1. Is 19 a factor of n(h)?
True
Let s(v) = -7*v + 1. Suppose 2*g - 23 = -3*f, 5*g + 80 = 5*f - 0*f. Let d = 7 - f. Does 10 divide s(d)?
False
Let n = 1 + 4. Is n a multiple of 5?
True
Let h(q) = -q**2 - 22*q - 7. Does 37 divide h(-15)?
False
Let p = 0 - -3. Suppose -p = -4*y + 9. Does 3 divide y?
True
Let s = 20 - -1. Is 2 a factor of s?
False
Let i = -29 + 41. Is -1 + i + -1 + 2 a multiple of 12?
True
Suppose 3*i - 9*i + 600 =