 -3*m - w. Is m a multiple of 17?
True
Let j(o) be the second derivative of -1/2*o**3 - 3*o**2 - 1/4*o**4 + 2*o + 0 + 1/20*o**5. Is 17 a factor of j(5)?
False
Suppose 4*l - 25 = 343. Is l a multiple of 10?
False
Let o(y) = y**3 + 17*y**2 - 20*y + 24. Is 20 a factor of o(-18)?
True
Suppose 0 = 3*g - 3*p + 6, 5*p - 18 = -3*g - 0*p. Suppose -4*b + 5*n = -12, -5 = -2*n - 13. Is (b - 2)*-4 - g a multiple of 14?
False
Let y be (-7 + 1)/((-3)/6). Suppose 36 = z + y. Suppose 96 = 4*s - 2*n, s + 6*n - n = z. Is 19 a factor of s?
False
Suppose -16 = -8*a + 4*a. Suppose -a*d + 143 = -321. Does 32 divide d?
False
Let i(k) = 5*k**2 + k - 2. Does 20 divide i(-3)?
True
Suppose 11 + 19 = w. Is 15 a factor of w?
True
Suppose 0 = 5*p - p - 48. Does 4 divide (-4)/(-24) + 142/p?
True
Suppose -128 = -3*l - 2*j + 6*j, -3*l + j = -131. Suppose 0 = 3*w + 4*n - 34, -3*w + n = -0*n - l. Does 7 divide w?
True
Let m = 1 - 2. Let k be (-212)/((2 - m) + -4). Suppose -3*n + k - 62 = 0. Is 15 a factor of n?
False
Let n(s) = 16*s + 3. Suppose 2*z - 2 = 6. Let p be n(z). Suppose 4*k = o - 9, p = -4*o - 2*k + 193. Is o a multiple of 13?
False
Let m be (-1)/(((-2)/7)/2). Let h be ((-1)/(-2))/((-3)/(-6)). Does 7 divide (m/(-2))/(h/(-2))?
True
Let f = -1 + -2. Let a = f - -6. Suppose -a*r + 9 = 5*l - r, 3 = 4*l + 3*r. Is l a multiple of 2?
False
Let l = -1 + 3. Suppose -c + l = -3. Suppose -v + c = -3. Is v a multiple of 8?
True
Let z(a) = -a**2 + 6*a - 5. Let g be z(8). Is 4 a factor of (g - -1)*8/(-20)?
True
Suppose -h - 5 = -11. Suppose 3*x - h*x = -189. Is x a multiple of 21?
True
Suppose 4*s - 158 = -5*l + 7*l, -3*s = -l - 121. Is 14 a factor of s?
True
Let x(g) = g**3 + 6*g**2 + 4*g - 7. Let a be x(-5). Is 5*(a + (-104)/(-10)) a multiple of 12?
False
Suppose 0 = 2*j - 26 - 274. Is 25 a factor of j?
True
Let p = 17 + -11. Suppose -p*g + 4 = -4*g, 0 = i - 5*g - 20. Is 15 a factor of i?
True
Let x = -194 + 347. Is x a multiple of 19?
False
Suppose 0*x = 3*x - 108. Is 8 a factor of x?
False
Suppose -w + 56 = 16. Let h = w + 73. Is h a multiple of 30?
False
Let y be (-30 - 0)/((-7)/1946). Suppose -p = 4*p - y. Is (-2)/(-7) + p/42 a multiple of 19?
False
Let r be (-3)/(14/4 + -2). Let i be (7/r)/(2/(-4)). Suppose -i = -2*u + 17. Does 12 divide u?
True
Suppose 0 = v + 2*v - 9. Suppose -v*w - 26 = -5*w. Suppose 4*t - 147 = x, 3*t - 2*t - 5*x = w. Is 19 a factor of t?
True
Let d be (-2)/7 - (-186)/14. Suppose 91 = 5*a + h, 5*a = a - h + 73. Let z = d + a. Is 21 a factor of z?
False
Let p = 0 + -4. Let c = 7 + p. Is ((-1)/(-2))/(c/144) a multiple of 12?
True
Suppose 0*h = -5*f + 2*h + 9, -h = -3*f + 6. Let b(a) = a**2 - 6*a + 6. Let l be b(6). Is 19 a factor of (20 - 1)/(f/l)?
True
Let m = -5 - -1. Is 46 - (-1 + m + 3) a multiple of 12?
True
Suppose 95 = 5*l - 5*m, 4*l + m + 3*m = 108. Let x = l + 7. Is x a multiple of 10?
True
Let r be (-2)/4 + 30/12. Let c be 21/r - (-4)/8. Let g(i) = i**3 - 11*i**2 + 15. Is g(c) a multiple of 15?
True
Let a(z) = -5*z + 6. Let f(w) = 5*w - 6. Let j(o) = -7*a(o) - 6*f(o). Let x = -8 - -13. Does 19 divide j(x)?
True
Let i(l) = l**2 + 6*l + 44. Is 53 a factor of i(-17)?
False
Let w be 1 - ((-12)/(-4) - 6). Suppose -2*t = 2*f + f - 76, -w*f = 3*t - 114. Is t a multiple of 11?
False
Is 24 a factor of -2 - 159/(-3) - 3?
True
Suppose 3*x - 2*x - 12 = 0. Is x a multiple of 7?
False
Let x = 16 - 6. Let b(l) be the third derivative of -l**5/60 + l**4/2 - 7*l**3/3 - 3*l**2. Is 3 a factor of b(x)?
True
Let h = -28 + 19. Let g = h - -47. Is g a multiple of 19?
True
Let f(d) = d**3 + 3*d**2 - 4*d + 2. Let g be f(-4). Suppose 3*b + 20 = 8*b. Suppose 0 = -q - 2*u + 7, -b*q = -g*q - 3*u - 35. Is q a multiple of 13?
True
Let y(k) = k**3 - 15*k**2 - 1. Let w be y(15). Does 17 divide (6 + w)/(2/20)?
False
Suppose 11*f - 21 = 12. Is f a multiple of 3?
True
Let n = -122 - -156. Is n a multiple of 8?
False
Let h(p) = -p - 6. Let j be h(-8). Suppose -3*z - n + 23 = z, -n = -z + j. Suppose 42 - 152 = -z*r. Is 11 a factor of r?
True
Suppose 0 = j - 0*j + 1. Let m be (5 - (3 + -1)) + j. Is 3 a factor of m/(-4) + 15/2?
False
Suppose -5*l - 3*k + 13 = -7, 0 = 2*k. Suppose 0 = -l*v + 36 - 8. Is v a multiple of 3?
False
Suppose 0*r - 5*c = -3*r - 43, 3*r + 3*c + 27 = 0. Is 11 a factor of (2/1)/((-1)/r)?
True
Let u(s) = s**2 - s + 43. Is u(0) a multiple of 14?
False
Let d = 3 + 26. Is d a multiple of 6?
False
Let s = 145 + -126. Is s even?
False
Suppose 200 = 3*n + n. Suppose -n = 4*l - 142. Is l a multiple of 10?
False
Is 14 a factor of ((-16)/5)/(-2 - 68/(-35))?
True
Suppose k + 5 = 2. Let v be 0/((1 + -7)/k). Suppose v = -5*q + 5*w + 30, 6*q - q = -3*w + 54. Does 5 divide q?
False
Suppose 3*d - 109 = 4*y, -4*d + 140 = 2*y - 20. Does 13 divide d?
True
Let g(t) = -4*t - 1. Does 31 divide g(-16)?
False
Let l(r) = -11*r**3 - 2*r - 1. Suppose 1 = -2*k + 5. Suppose 0*z - 8 = 2*v + 2*z, -k*z = -5*v + 1. Does 4 divide l(v)?
True
Let q = 10 + -7. Suppose 0 = s + q*s - 104. Is 13 a factor of s?
True
Let p = 15 + 14. Suppose -z - p + 1 = -3*n, 2*n + 4*z = 28. Is n a multiple of 7?
False
Let n = 19 + 3. Is n a multiple of 5?
False
Let z be 2 - (1 - 3 - 1). Let h = z + -5. Suppose -4 + h = 4*d, -w - d + 6 = 0. Is w a multiple of 7?
True
Let d(i) = -3*i - 3 + 10 + i - 4*i. Let h be d(5). Let a = -11 - h. Is a a multiple of 6?
True
Suppose -2*x = 2*q - 108, 2*x = -3*x. Does 18 divide q?
True
Let q(s) = -s**3 - s**2 + s + 1. Let j be q(0). Is 9 a factor of j - (2 - 30/3)?
True
Let r(c) = -c**2 - 6*c - 8. Suppose 0 = 2*k - 10, -4*l + 3*k + 12 - 59 = 0. Let m be r(l). Let x = -13 - m. Is x a multiple of 5?
False
Let u = 6 + -5. Let q(w) = 7*w**2 + 2 - u - 16*w**3 - 8*w**2. Does 5 divide q(-1)?
False
Let o(l) = 5*l**3 - 4*l**2 + l - 2. Let v(a) = 4*a**3 - 4*a**2 + a - 1. Let z(b) = 5*o(b) - 6*v(b). Let d be z(-3). Let g = d - 3. Does 2 divide g?
False
Suppose r = 4*p + 9, -3*r + 2*r + 5*p + 9 = 0. Let u be (-1)/3 + 372/r. Suppose w + u = 2*w. Is w a multiple of 19?
False
Suppose 2*a = -0*a + 360. Is 18 a factor of a?
True
Let x be 7/(-3) + 4/(-6). Let w be x/((-4)/((-40)/3)). Let z = 15 - w. Does 10 divide z?
False
Let x(p) = 2*p**3 - 7*p**2 - 3*p + 4. Is 16 a factor of x(5)?
True
Is 356/12 - (-1)/3 a multiple of 24?
False
Is 4 a factor of -4 - -13 - 2/(-1)?
False
Suppose -3*k - 35 = -f - 186, k - 45 = 3*f. Does 7 divide k?
False
Suppose 3*t + 3 - 9 = 0. Suppose -5 = -3*c - t*c. Let v = c + 22. Is 11 a factor of v?
False
Let q(p) = 5*p**2 + 3*p + 2. Is q(-1) a multiple of 4?
True
Suppose -5*t + 0 = 10. Let s = t + 6. Does 4 divide s?
True
Let h = -2 - 0. Let v = -2 - h. Suppose 3*x + x + c - 69 = v, -93 = -5*x + c. Does 9 divide x?
True
Suppose 33 = -5*a + 8*a. Suppose 0 = -h - i + 1, 2*i - a = -h + 2*h. Does 8 divide h*-20*(-1)/(-3)?
False
Suppose 402 = 5*u + 57. Is 23 a factor of u?
True
Let w be (-3 - -2)/((-2)/(-6)). Is 15 a factor of -15*2/(6/w)?
True
Suppose h = -8 + 9. Is h/(-3) - (-236)/6 a multiple of 13?
True
Suppose -y - y + 30 = 0. Does 7 divide ((-126)/y)/(3/(-10))?
True
Suppose 4*w - 294 = -2*y + 2, 3*w = -5*y + 761. Is 14 a factor of y?
True
Let j(t) = 2*t**3 - 8*t**2 + 15*t - 19. Is 28 a factor of j(6)?
False
Let o = 85 - 148. Does 16 divide (-4)/(-16) + o/(-4)?
True
Suppose -5*s + 75 = 2*x, -x - 39 = -2*s - 0*s. Suppose 3*a - u = s, 2 = 4*a + 3*u + 1. Does 3 divide a?
False
Suppose -2*a = -0*a + 4. Does 6 divide 3/6 + (-11)/a?
True
Let j be -1 + (-3)/(1/(-1)). Suppose 0*s + j*s = 68. Is 11 a factor of s?
False
Suppose 0*t - 72 = -3*t. Is 24 a factor of t?
True
Let w(o) = o + 9. Let y be w(-7). Suppose -2*c + 4*r = -8, 26 = -c + 5*c + y*r. Is 5 a factor of c?
False
Let a(g) = 24*g**3 + 7*g**2 - 7*g - 6. Let j(y) = -y**3 - y**2 + y + 1. Let c(n) = a(n) + 6*j(n). Is 5 a factor of c(1)?
False
Is (-12)/(-66) - ((-258)/33 + 0) a multiple of 4?
True
Let x be ((-15)/6 + 3)*-4. Does 2 divide x/1 + 5 + 2?
False
Let l be 1*(3 + -6)*-1. Suppose 4*f + 35 = -l*d, 5*d - 2*f + 6*f + 61 = 0. Let n = d + 19. Is 6 a factor of n?
True
Suppose -9 = 15*o - 12*o. Is (4 + o)*3 - 1 a multiple of 2?
True
Suppose -7*v = -10*v + 54. Does 6 divide v?
True
Let r = -13 - -21. Is r a multiple of 8?
True
Suppose -20 = 7*v - 2*v. Does 18 divide (4 - 62)*2/v?
False
Let z(f) = -f**2 + 5*f + 8. Let i be z(6). S