0. Is 17 a factor of x?
False
Let v(z) = z - 4. Let k be v(4). Suppose k = -2*s - 63 + 175. Is 14 a factor of s?
True
Suppose 2*x - 5*z = 2, -4*x + 3*z + 0*z + 18 = 0. Is 2 a factor of x?
True
Let n(y) = y**2 - 6. Let o(a) be the first derivative of 3*a**4/2 - a**3/3 - 2. Let u be o(-1). Is n(u) a multiple of 15?
False
Let k be (-2)/1 - -1*3. Does 6 divide 2/(-2) + k*8?
False
Let q be (-5)/10 + 14/4. Suppose 2*c + 30 = q*c. Is c a multiple of 14?
False
Suppose 0*u + 14 = 2*u. Does 7 divide u?
True
Suppose 12 = -6*p + 9*p. Is 3 a factor of (-46)/(-4) - p/8?
False
Let g(h) = h**2 - 9*h - 7. Let k(a) = -a**2 + 10*a + 8. Let v(p) = -5*g(p) - 4*k(p). Is 6 a factor of v(3)?
False
Suppose -4*i + 12 = 4, -4*a + i = -34. Does 2 divide a?
False
Let j(x) = -x**3 - x**2 + 80. Does 19 divide j(0)?
False
Suppose -4*o - 162 = -7*o. Suppose 2*a - o = -a. Does 10 divide a?
False
Suppose -2*a = a. Suppose t + 17 - 82 = -4*j, 5*t + 15 = a. Does 17 divide j?
True
Let d(c) = -c**3 + c**2 - c + 3. Is d(-3) a multiple of 15?
False
Let d(g) = 2*g + 84. Is 28 a factor of d(0)?
True
Suppose 0 = 5*c + 4*a + 459 - 1693, 1008 = 4*c - 2*a. Suppose -2*x = 3*x - c. Suppose 2*k - x = -3*k. Does 5 divide k?
True
Suppose 4*m + 3*y = -y + 140, m = 5*y + 5. Is 17 a factor of m?
False
Suppose 2*j - 7 = -5*t + 246, 3*j - 252 = -5*t. Is 16 a factor of t - (1 - 0) - 2?
True
Suppose 0 = -p - 13 + 62. Suppose 0 = 5*x + j - 4*j - p, 2*j + 18 = 2*x. Is 5 a factor of x?
False
Let s(o) = 56*o**2 - 3*o + 1. Is 9 a factor of s(1)?
True
Let r(n) = n + 7. Let p = -3 - 2. Let c be r(p). Suppose 2*l = u - 12, -c*l - 78 = -u - 3*u. Is u a multiple of 8?
False
Let v(l) = l**3 + 8*l**2 + l + 2. Let m be v(-8). Let z be (-9)/m + 3/2. Suppose -w + 72 = z*w. Does 9 divide w?
True
Does 21 divide (-3 + 246/4)*2?
False
Let q be -1 - -1 - (-33)/3. Let v = q - 6. Suppose 0*l - 5*l + 195 = v*c, -90 = -2*c + l. Is c a multiple of 12?
False
Suppose 0 = 2*o - 38 - 2. Suppose 0*p - 4*p + 44 = 4*c, o = 4*c. Is 6 a factor of p?
True
Let n = -1 - -3. Suppose y + n*y - 15 = 0. Suppose -y*m = -t - 0*t - 96, -2*t = -2*m + 40. Is 11 a factor of m?
False
Suppose -4*t = -0*t + 72. Let n = -11 - t. Is n even?
False
Suppose y = 2*f - 356, -465 = -5*f + 4*y + 428. Let p = f - 121. Does 16 divide p?
False
Let o(u) = 4*u**2 + 9. Is o(5) a multiple of 20?
False
Let l(f) = -1 - 1 + f**2 + 5*f**2 + 8*f + 5 - f**3. Does 6 divide l(7)?
False
Suppose 2*k = 7 - 3, 4*w - 3*k - 930 = 0. Is 13 a factor of w?
True
Suppose 0 = 5*l, 3*p = 4*l - 9*l + 60. Is p a multiple of 20?
True
Suppose 5*s = 5*f + 10, -3*f = -3*s - 2*f + 8. Suppose 4*p = -w + 7, 4*p + 5 = -0*w + s*w. Suppose w*q = -x + 24, 3*q - 8 = q + 2*x. Is q a multiple of 5?
False
Suppose -3*i = -2*i - 1, 0 = 2*y + 2*i + 86. Suppose p - 5 - 6 = 0. Is 8/y - (-35)/p a multiple of 3?
True
Suppose 5*v - 5*q - 90 = 0, 0*q + 5*q - 62 = -3*v. Does 4 divide v?
False
Suppose -3*p + 0*h - 16 = 5*h, 3*h = p - 4. Let w be p + 1*-1*7. Does 15 divide 2/(-9) - 137/w?
True
Suppose 2*x + 0*x - 3*r - 856 = 0, 0 = -4*x + 4*r + 1708. Suppose 5*d - x = 5*u, -4*d + d - u + 275 = 0. Does 30 divide d?
True
Let b = 57 + 18. Is 15 a factor of b?
True
Let x = -2 + 5. Suppose 2*t - 5 - x = 0. Suppose 55 = 5*h - t*f, -3*h - 4*f = -2*h - 11. Does 11 divide h?
True
Suppose d + 2*b - 12 = -0*b, -3*d + 2*b = 4. Suppose 0 = 3*w + 3*l - 192, 0 = 2*w - w + d*l - 60. Does 15 divide w?
False
Suppose -3*w + 303 = -0*w. Let p = -61 + w. Suppose 10 = 5*x - p. Does 5 divide x?
True
Let p = -21 + -5. Let h = p - -47. Does 8 divide h?
False
Let h(w) = -w**2 - 4*w - 1. Let c be h(-3). Suppose -4*d = -3*f + 4 + 3, 3*f + 5*d = -c. Is 4 a factor of (10/3)/(f/3)?
False
Suppose 4*g - 4*l = 28, 4*g + 8*l = 3*l + 73. Suppose -3*s + g = -s. Is 3 a factor of s?
True
Let i = -76 - -128. Does 21 divide i?
False
Let l(s) = 6*s**2 + 5*s + 4. Is 24 a factor of l(4)?
True
Is 6/(-4)*160/(-15) a multiple of 16?
True
Suppose -2*c = -5*k + 39, -3*k = c + 3*c - 39. Is k even?
False
Let u = 384 - 212. Does 16 divide u?
False
Let l = 3 + -2. Is 17 a factor of 2 - 1 - -16*l?
True
Suppose -6 = 5*w - 96. Does 16 divide w?
False
Let u(m) = 38*m**3 + 2*m**2 + 2*m + 1. Let v be u(-1). Let q = 52 + v. Is q a multiple of 5?
True
Let d(o) = 14*o + 14. Is d(2) a multiple of 7?
True
Let r(o) = -8*o - 15. Does 20 divide r(-12)?
False
Let d(z) = -z - 2*z**3 + z**3 + 6*z**3. Is 4 a factor of d(1)?
True
Let p = 48 + -18. Does 15 divide p?
True
Suppose -n + 432 = 4*d, 2*d - 4*n - 14 = 220. Let s = d - 67. Is s a multiple of 12?
False
Let q(a) = 2*a**2 - 4*a - 5. Is q(5) a multiple of 6?
False
Let t = 17 - 8. Is t a multiple of 9?
True
Let h = 3 - 6. Let g be 15 - (3/h + 2). Suppose -k = 0, 24 = 2*c - 4*k - g. Does 19 divide c?
True
Suppose -3*d - 17 = -5*n, 0 = -4*d + d - 4*n + 19. Does 13 divide ((-4)/(-10))/(d/45)?
False
Suppose 0*x - 3*x + 54 = 0. Suppose 2*f + 5*j - 49 = 0, 5*j - 4 - x = -f. Is 8 a factor of f?
False
Let o = 72 - 46. Is o a multiple of 11?
False
Let a be 1*1/((-2)/(-58)). Suppose x + 5*t - a = -9, 3*x - 21 = -2*t. Is 4 a factor of (x - 0)*(-3)/(-1)?
False
Let k be (2/(-4))/((-1)/12). Suppose 0 = -l + 4 + k. Is 10 a factor of l?
True
Suppose m - 60 - 38 = 0. Is m a multiple of 5?
False
Suppose 5*b = 2*b + 156. Does 34 divide b?
False
Let f(b) = -13*b - 13. Is 29 a factor of f(-7)?
False
Suppose -2*u - 8 = i + 4, 4*i = -u - 13. Is 104/10 + i/5 a multiple of 5?
True
Let i(f) = f + 12. Let k be i(-14). Let z = 14 - k. Is 4 a factor of z?
True
Let q be 6/15*(11 + -1). Suppose -q*k = -3*d - 68, -3*k + d + 54 = -2*d. Is 14 a factor of k?
True
Suppose 0*p + 2 = -p. Let h(y) = -3*y**2 - 3*y - 1. Let v be h(p). Let q(u) = u**3 + 6*u**2 - 10*u - 10. Is 5 a factor of q(v)?
False
Let i be (33/(-2))/((-24)/128). Let t = -55 + i. Is 11 a factor of t?
True
Let w = -161 - -267. Is 53 a factor of w?
True
Suppose 4*w + 1016 - 404 = 0. Does 15 divide (-40)/(-15)*w/(-6)?
False
Let o(i) be the third derivative of -i**6/30 - i**5/20 - i**4/24 + i**3/6 - i**2. Is o(-2) a multiple of 23?
True
Does 4 divide (4/1)/(22/352)?
True
Let i(a) = a**3 - a**2. Let c be i(0). Suppose 5*b - 10 = -c*b. Suppose -2 = b*j - 20. Does 9 divide j?
True
Let m be (-5)/((-15)/(-12)) + -1. Let n = 8 + m. Suppose 5*v = 15, 15 = n*k + 4*v - 7*v. Is k a multiple of 8?
True
Suppose -5*x = 5*o + 5, 7 = -5*o - 4*x + 5. Suppose -u + 58 = -4*j, -o*u + 0*u = -2*j - 86. Is u a multiple of 10?
False
Let u = 3 - 6. Is 8*(-3)/u + -1 a multiple of 7?
True
Let o(k) be the third derivative of 2*k**2 + 8/3*k**3 + 0*k + 1/24*k**4 + 0. Is 4 a factor of o(-9)?
False
Let t be (7 - 15)/((-1)/(-2)). Let y = 32 - t. Is 10 a factor of y?
False
Does 8 divide -1 - (2 + -1 + -82)?
True
Let r(x) be the second derivative of -x**3/6 - x**2/2 - 3*x. Let q be r(0). Does 20 divide 3 - (q - -2) - -38?
True
Suppose -4*d + 3 = l, -5*d + 42 = -l - 2*l. Let i = 6 + l. Does 15 divide ((-3)/(-6))/(i/(-198))?
False
Let d(c) = 2*c**2 - 4*c + 4. Let g be d(3). Suppose 2*b = 5*b - 5*x - g, 4*x = -3*b + 19. Does 4 divide b?
False
Let o(x) = x**2 + 4. Let b be o(-3). Suppose c = 6*c. Let q = c + b. Is q a multiple of 6?
False
Let t = -32 + 58. Let j = -5 + t. Does 7 divide j?
True
Let l(z) = 30*z**3 + z**2 - z - 1. Let s be l(-1). Let g = s - -53. Is g a multiple of 24?
True
Suppose -6*l = -l. Suppose -4*y + 2*x + 132 = l, -y - x + 0*x = -30. Does 10 divide y?
False
Let z be (5/((-5)/(-26)))/1. Suppose 5*g = 6*g - z. Does 21 divide g?
False
Let f be -3 + (-15 + 3)/(-2). Let w = f + 2. Does 2 divide w?
False
Suppose -x + n = 1 + 2, 0 = 4*n - 8. Let j be x - 4*(0 - 9). Let o = j + -20. Is 6 a factor of o?
False
Suppose y + 318 = 3*u, 113 = -0*u + u + 2*y. Does 10 divide u?
False
Let v = 332 - 144. Is 16 a factor of v?
False
Let y(a) = -6*a**3 - 3*a**2 + 3*a - 4. Is y(-3) a multiple of 26?
False
Let c be 2/(((-1)/1)/2). Suppose -2*u = -5*r - 54, 35 = -5*r + 3*u - 16. Let f = c - r. Is f a multiple of 4?
True
Suppose -3*w - 8 = f, 5*f + 1 = 4*w - 1. Let u(q) = -q**3 - 2. Is u(f) a multiple of 3?
True
Let g(d) = -3*d - 26. Is 3 a factor of g(-11)?
False
Suppose 0*x - 5*x = 0, v = 5*x. Suppose y + 9 = j, v*j + 43 = 5*j - 3*y. Suppose -j = u - 18. Does 6 divide u?
False
Let a = 36 - 26. Does 7 divide a?
False
Suppose 0 = 28*n - 29*n +