44. Does 24 divide s?
True
Let v = 7 - 3. Let c(o) be the first derivative of o**4/4 - o**3 - o**2 - 3*o + 4. Does 5 divide c(v)?
True
Suppose 3*w = 5*z - 116 + 26, -2*z - 4*w = -10. Let l(i) = i**2 - 14*i + 11. Is 26 a factor of l(z)?
True
Let a = 56 - 79. Let x = a - -41. Does 9 divide x?
True
Suppose -3*t = -5*w - 16, w = 3*w + 4. Suppose -n = -3*b + t*b - 23, -4*b + n = 80. Is 9 a factor of b*(0 - 3/3)?
False
Let m(w) = -w - 1. Let z be m(-5). Suppose s + 36 = z*s. Is s a multiple of 6?
True
Suppose -4*k - 5*j + 14 = 0, 16 = 3*k - j + 2*j. Let g be ((-8)/(-6))/(4/k). Suppose 48 = 2*o + g*y, 4*o + o + 2*y - 114 = 0. Is 11 a factor of o?
True
Let j(x) = -x**2 + 8*x + 9. Let d be j(8). Does 4 divide (6/(-5))/(d/(-30))?
True
Suppose -10*n + 15*n = -5*j + 450, 5*n - 4*j - 459 = 0. Is 7 a factor of n?
True
Is 13 a factor of (-2)/(-8)*808/(1 + 1)?
False
Let j be 17/2 - (-3)/(-6). Is 9/(-1)*j/(-24) a multiple of 3?
True
Let w be ((-10)/(-4))/(2/(-16)). Let f = w + 24. Is 2 a factor of f?
True
Suppose -4*v - 7 = -3*f, 4*v = -5*f - v. Is 20 a factor of 61 - 2/(3 - f)?
True
Let p(q) = -2*q**2 - 5*q - 6. Let w(h) = 9 - 9*h - 10 - 4*h**2 - 11. Let g(o) = -5*p(o) + 2*w(o). Is g(-5) a multiple of 9?
False
Let m(r) = -6*r**3 + 6*r**2 + 25*r - 21. Let h(b) = b**3 - b**2 - 5*b + 4. Let u(z) = -11*h(z) - 2*m(z). Does 31 divide u(5)?
False
Let s be 98 + 0 + (-8)/8. Is 19 a factor of -2 + s - (1 + -1)?
True
Is 15 a factor of ((-120)/(-28))/((-5)/(-35))?
True
Suppose 4*t - 1 = -25. Let d(q) = -3*q - 6. Let m be d(t). Is 14 a factor of (-59)/(-4) + m/(-16)?
True
Suppose -h + 5*n + 78 = -10, -h - 4*n = -106. Let i = -70 + h. Is i a multiple of 17?
False
Suppose 4*h = 3*h + 28. Suppose 4*m - 6*m + h = 0. Is 14 a factor of m?
True
Suppose 19*y = 23*y - 228. Does 12 divide y?
False
Let v be -21 + (-1 - -2)/(-1). Let o = -16 - v. Does 3 divide o?
True
Let o(v) = v**3 - 5*v**2 + 2*v - 5. Let m be o(5). Suppose -4*u - 4*j = -j - 16, 20 = 5*u - m*j. Is 7 a factor of u/6 - 40/(-3)?
True
Let c = 177 + -125. Is c a multiple of 26?
True
Let x(u) be the third derivative of 43*u**5/60 - u**4/12 + u**3/6 - u**2. Does 14 divide x(1)?
True
Suppose 4 = 4*y - 3*y. Let q = -1 + y. Let r(h) = -h**2 + 5*h - 3. Is 3 a factor of r(q)?
True
Suppose 2*q + 0*q = 10. Suppose 2*x - q*x = -21. Is 8 a factor of (-2)/7 - (-100)/x?
False
Let z(i) = i**3 + 6*i**2 + 4*i + 2. Let j be z(-5). Let g = j + -5. Suppose 0 = -4*m - 4*c + 56, g*c - 15 = -4*m + 31. Does 9 divide m?
True
Let i be (0/2*1)/(-1). Let v(f) = -f**2 + 22. Let y be v(i). Suppose 2*t - z = 16, 5*z + y = t + 8*z. Is t a multiple of 10?
True
Let j = 27 + -12. Is 4 a factor of j?
False
Let s = 8 + -8. Suppose 0 = -2*z - 3*z - 5*n + 165, 2*z + 5*n - 75 = s. Does 10 divide z?
True
Let d(i) = i**3 + 12*i**2 - 8*i. Let j be d(-11). Suppose 5*w + k - 66 = j, -5*w + 275 = -2*k. Does 15 divide w?
False
Suppose 0 = 3*s - 2*s. Suppose s = -0*z + z - 7. Does 7 divide z?
True
Let r(h) = h**3 - h**2 - 2*h + 15. Does 15 divide r(0)?
True
Suppose -p = -4*g - 75, 0*p + 2*g = 2*p - 162. Suppose p = 3*a - 16. Does 10 divide a?
False
Let p(d) = d + 13. Does 9 divide p(13)?
False
Suppose 25 + 7 = -4*i. Let v(r) = -2*r - 10. Let x be v(i). Suppose x = 5*s - 3*s. Is 3 a factor of s?
True
Let s = 14 - -36. Let a = s - 10. Is a a multiple of 12?
False
Suppose 0 = -0*r - 2*r - 8. Let d(j) = j**3 + 4*j**2 - 3*j - 6. Is d(r) a multiple of 6?
True
Let v(m) = 5*m - 4. Does 7 divide v(5)?
True
Suppose g - 86 = -2*g + i, 5*g - 144 = i. Is g a multiple of 6?
False
Suppose -k = -6*k. Suppose -5*d + k*d = -25. Suppose -9 = -4*f + y + 2, -d*f - 3*y + 1 = 0. Is f a multiple of 2?
True
Suppose -87 = -5*r + 263. Is 7 a factor of r?
True
Suppose -3*j + 378 + 60 = 0. Does 50 divide j?
False
Suppose 0*z - 2*z = -q + 42, -q - 2*z + 30 = 0. Is (q/(-30))/(2/(-15)) a multiple of 7?
False
Suppose 2*q = b + q, 0 = -2*b - 4*q + 18. Suppose b = -5*o + 18. Does 2 divide o?
False
Suppose 4*d = -4*h - 176, 0*d + 5*h - 260 = 5*d. Let q = -29 - d. Is q a multiple of 13?
False
Let i(b) = -b - 2 + 0 + 3*b + 23*b**2 + 1. Does 7 divide i(1)?
False
Suppose 3*m + 4 = -14. Let d = 13 + m. Is d a multiple of 7?
True
Suppose a + 60 = 2*a. Is a a multiple of 4?
True
Suppose 4*s = 115 - 11. Let i = s + 0. Is i a multiple of 10?
False
Suppose 0*v - 72 = -3*v - 3*t, -4*v = -3*t - 131. Does 29 divide v?
True
Suppose n - 3*t = -t - 1, 0 = 5*n - 2*t + 5. Let j(z) be the first derivative of -31*z**2/2 + z + 2. Does 13 divide j(n)?
False
Let r = -2 + 11. Is 9 a factor of r?
True
Let w(v) = 15*v**2 - v + 2. Let s be w(1). Suppose -2*d = i - s, -6*i + 3*i + 5*d = -70. Does 9 divide i?
False
Let m be 60/2*(-10)/(-4). Suppose 5*u + m = 5*q, -2*u = u - 3. Is q a multiple of 6?
False
Is 17 a factor of 1*10/2 + 454?
True
Let u be (-4)/(1 + -3) + 501. Suppose 100 = 3*g - u. Suppose -134 - g = -5*q. Is 18 a factor of q?
False
Let h = 11 + -1. Suppose h = 4*w - 5*o - 31, 5*w = 5*o + 45. Suppose 2*t = w*t - 12. Is t a multiple of 5?
False
Suppose 5*c + 5 = p, 7*c - 6*c = 3*p - 15. Suppose c*h = h - 23. Does 8 divide h?
False
Suppose 2*h - 84 = 5*h. Let o = 9 - h. Is 10 a factor of o?
False
Let w(o) be the first derivative of -o**4/4 - 2*o**3 - o**2/2 + o + 1. Is 4 a factor of w(-6)?
False
Let a(i) = -2*i**2 + 19*i - 2. Is a(8) a multiple of 13?
False
Let s(j) = 4*j**2 - 3*j - 6. Is 52 a factor of s(-6)?
True
Suppose -11*t + 13*t - 170 = 0. Is 13 a factor of t?
False
Suppose f = 3*f. Suppose -4*j = -5*c - f*c + 64, 0 = 4*c - 2*j - 50. Is c a multiple of 6?
True
Let n be -2 + 3/(6/40). Is 14 a factor of (-4)/n - 1140/(-27)?
True
Suppose 17 = -h + 121. Suppose h = 2*p - d, p - 6*d = -d + 34. Is p a multiple of 18?
True
Let l(o) = o**2 - 11*o - 19. Does 12 divide l(14)?
False
Let a = -4 + 7. Suppose a - 1 = k. Let f = k + 0. Is 2 a factor of f?
True
Suppose -7*i = -3*i + 5*r - 261, 0 = -2*r + 10. Does 22 divide i?
False
Does 14 divide 26/((63/5)/3 + -4)?
False
Let k = 63 + 82. Does 16 divide k?
False
Let k(j) be the third derivative of j**4/24 + 61*j**3/6 - j**2. Let p be k(0). Suppose 5*z + 3*h - 110 = 0, -2*z + 3*h = 2*z - p. Does 9 divide z?
False
Suppose -4*q + 0*q + 5*n = 17, 0 = 4*q - n - 3. Let g be (-7)/(-3) - q/(-3). Suppose -4*z + 13 = -2*w + 5*w, -11 = -g*z - 2*w. Is 6 a factor of z?
False
Let v be (51/15 + -2)*5. Let k be 1 + (0 + 2 - -1). Suppose -k*c = -3*c - v. Does 4 divide c?
False
Let b = 6 - 5. Let z(f) = 21*f**3 + f**2 - 2*f + 1. Is 7 a factor of z(b)?
True
Let v(g) = 240*g**3 + 5*g**2 - g - 1. Is 27 a factor of v(1)?
True
Suppose -4*b + 3 = 11. Let j(s) = -3*s**3 - 3*s**2 - s - 2. Is j(b) a multiple of 12?
True
Let w(x) = x**2 - 7*x + 1. Let j be w(7). Suppose -a - j = -4. Is 3 a factor of a?
True
Let q be 159/9 + 2/(-3). Let o = -8 + q. Does 5 divide o?
False
Let b be 2816/36 - 2/9. Suppose 0 = -4*w + 70 + b. Is w a multiple of 11?
False
Suppose 8*c = 3*c - 35. Let o = 16 + c. Is o a multiple of 7?
False
Suppose 0*p = -2*p + 44. Suppose -4*u + 1 = -7. Suppose 2*k - b = 27, -u*k = -5*b - p - 1. Does 4 divide k?
False
Let f = -26 - -158. Suppose 2*j - f = -2*j. Is j a multiple of 11?
True
Suppose -4*l + 3 = -9, -3*l = -3*s. Suppose 0 = -4*h + s*i + 59, -6*h = -h + 3*i - 67. Is 14 a factor of h?
True
Suppose -38 = 5*i - g - 4, g = -2*i - 8. Let v = 10 + i. Let s = 10 + v. Is s a multiple of 14?
True
Let w = 5 + -5. Suppose a + w = 6. Is a a multiple of 6?
True
Suppose -5*p = -2*j - 6, 2*p - 14 = -3*j - 2*j. Suppose -3 + 23 = j*i. Is i a multiple of 10?
True
Let h = 5 + 11. Does 4 divide h?
True
Is 48 + 1 + -7 + 2 a multiple of 13?
False
Let n be 2/(-7) - 188/28. Let g(x) = -x - 1. Let i be g(n). Let r = i - -16. Does 11 divide r?
True
Let m(d) be the first derivative of -d**3/3 + 2*d**2 - 3*d - 1. Let x be m(4). Let t = 14 + x. Does 4 divide t?
False
Suppose -h = -2*c + 39, 0*h + 58 = 3*c - h. Does 17 divide c?
False
Suppose -3*h - z - 255 = -7*h, h - 45 = 4*z. Is 13 a factor of h?
True
Let r = -67 + -3. Let s = r - -121. Is 16 a factor of s?
False
Let v(t) = t**3 + 10*t**2 + 10*t + 11. Let c be v(-9). Let u(a) = 3*a + 5*a - 2 + 0. Is 6 a factor of u(c)?
False
Is 3 a factor of (-9)/(-12)*42 + 6/(-4)?
True
Let q be (-1 - 2) + (-1 - 0). Let c(y) = y**2 - 1. Does 11 divide c(q)?
False
Suppose 5*v 