(-5))/(4/(-10)). Let t be 6*(1/3 + p). Let j(r) = r**3 - 9*r**2 + 9*r - 3. Is j(t) a multiple of 5?
True
Suppose 3*p = -2*t + 23, -p + 4*t = 2*p - 35. Is 3 a factor of p?
True
Let j(t) = -7*t**3 - 2*t**2 + 1. Let w be j(-1). Let g = 6 - w. Suppose -22 = -g*l - 2*l. Is l a multiple of 11?
True
Let s(x) = 24*x + 19. Let a(z) = -z. Let n(l) = -4*a(l) - s(l). Let r(b) = -13*b - 13. Let u(g) = 5*n(g) - 7*r(g). Is 13 a factor of u(-3)?
False
Suppose -v - 2*v = -n + 64, 286 = 4*n + 3*v. Does 7 divide n?
True
Suppose 2*s + 2*s = 0. Suppose -85 = -5*b + 3*f, 8*b - 4*b + 3*f - 41 = s. Is 6 a factor of b?
False
Suppose -13*j + 281 + 486 = 0. Is j a multiple of 42?
False
Let k = 108 - 93. Does 15 divide k?
True
Suppose -171 = -6*r + 159. Is r a multiple of 11?
True
Let d = -11 + 80. Is 15 a factor of d?
False
Let m(w) = 0 + 27*w + 88*w + 1 - 33*w. Let q be m(2). Suppose -3*x - q = -8*x. Is x a multiple of 11?
True
Let t = -152 - -237. Does 7 divide t?
False
Let o = -14 - -8. Let d(r) = -r**2 - 8*r - 9. Let y be d(o). Suppose -y*v + 5*w - 2*w + 18 = 0, -v = 2*w + 3. Is 3 a factor of v?
True
Let z(c) = c**3 + 6*c**2 + 2*c - 7. Let s be (-2)/10 - 24/5. Does 8 divide z(s)?
True
Let b(v) = 7*v**2 - v + 1. Is 26 a factor of b(5)?
False
Suppose 4*z = 3*m - 133, 3*m = 3*z + 95 + 37. Is m a multiple of 35?
False
Let j be (1 - 0)/(-1)*-7. Let t(d) be the second derivative of d**4/12 - 2*d**3/3 - 5*d**2 - 2*d. Is t(j) a multiple of 11?
True
Suppose 5 = -4*o - 11. Let w(v) = -v. Let j be w(o). Let h = -1 + j. Is 2 a factor of h?
False
Let y(z) = -3*z + 2 - 2*z + 0*z. Does 17 divide y(-4)?
False
Let k(u) = 18*u - 12. Does 32 divide k(6)?
True
Let p = -117 - -186. Is 23 a factor of p?
True
Let a(v) = 17*v**3 + 2*v**2 - 2*v + 1. Does 13 divide a(1)?
False
Let s(p) = -p**3 - 10*p**2 - p - 8. Let n be s(-10). Suppose -5*t + n*t + 180 = 0. Does 29 divide t?
False
Let j be 6*(2 + -1 + 1). Suppose 5*n = 4*k, -2*n + 8*k - 4*k = j. Is n a multiple of 4?
True
Suppose -7 = -5*o + 68. Let d = -5 + o. Does 5 divide d?
True
Suppose -5*b - 180 = 5*h, 3*b - 17 - 103 = 3*h. Let s = h + 82. Is 10 a factor of s?
False
Suppose -3*w = -5*o + 138, w + 6 = -o + 32. Let p = o + -16. Is 8 a factor of p?
False
Let i = -43 + 65. Let t = 44 - i. Is t a multiple of 6?
False
Suppose -5*t = -2*t - 5*i - 25, -4*i = 20. Suppose -o + 0 + 3 = t. Is 3 a factor of o?
True
Suppose -v - 360 = -6*v. Does 21 divide v?
False
Is (-60 + -6)*(-1)/1 a multiple of 6?
True
Let v = 47 + 3. Is v a multiple of 10?
True
Let b(n) = n**3 - 11*n**2 - 13*n + 11. Let q be b(12). Let i(a) = 1 + 1 - 3 - 4*a. Is 3 a factor of i(q)?
True
Let c(i) = i**3 + 12*i**2 + 11*i - 18. Does 33 divide c(-9)?
False
Let v = -46 - -28. Let x = v + 32. Is 7 a factor of x?
True
Suppose -2*r + 3*m = -r - 96, 0 = -m - 3. Is 29 a factor of r?
True
Let s = -26 - -84. Is 58 a factor of s?
True
Let r = -196 + 460. Does 44 divide r?
True
Is (-2 - -5)/(1/7) a multiple of 6?
False
Let m = 0 + 12. Is 12 a factor of m?
True
Let a = 3 + -6. Let r = -3 - a. Suppose 3*k = 2*s + 41, r = -3*s - 2*s + 10. Is 11 a factor of k?
False
Let b(h) = -h**3 + 18*h**2 - 13*h + 7. Does 17 divide b(17)?
False
Suppose 2*s - 1 = 3. Suppose 0 = t + s*t - 54. Is 6 a factor of t?
True
Let s(q) = -23*q - 87. Is 24 a factor of s(-9)?
True
Let l = 3 + 24. Is l a multiple of 2?
False
Let i be (-5)/(-10) + 2/4. Suppose -p = -0 - i. Does 12 divide (p + -2)/(1/(-12))?
True
Let m(o) = -o**2 + 12*o + 15. Let i be ((-1)/2)/((-1)/34). Let d = -5 + i. Does 9 divide m(d)?
False
Let h(a) be the third derivative of a**6/120 - a**3/6 - 5*a**2. Let f(b) = b - 1. Let k be f(3). Does 7 divide h(k)?
True
Let b(u) = -u**3 + 5*u**2 - 4. Let x(l) = 2*l**3 - 10*l**2 + l + 7. Let o(y) = 5*b(y) + 2*x(y). Let k = -10 - -15. Does 2 divide o(k)?
True
Suppose -4 = -4*z - 12. Suppose -51 = -3*p - 2*p + 3*d, 1 = -p - 5*d. Let x = p + z. Is x a multiple of 5?
False
Let c = 13 + -15. Let n(w) = -5*w. Is n(c) a multiple of 5?
True
Suppose -d + 0*d = -9. Suppose z - 1 = -7. Let k = z + d. Is 3 a factor of k?
True
Let i = -15 + 20. Suppose -318 = -i*t - t. Is t a multiple of 14?
False
Suppose 5*k - 332 = 3*c - 118, -3*k + 122 = -5*c. Does 10 divide k/(-33)*(-54)/4?
False
Suppose -4*k + 2*b = b - 547, -3*b = -5*k + 689. Does 19 divide k?
False
Let b = -416 - -586. Is b a multiple of 17?
True
Let l(d) = 65*d - 20. Does 12 divide l(4)?
True
Let l(g) = 2*g**2 + 16*g + 14. Let w(x) = -x**2 - 8*x - 7. Let h(f) = -3*l(f) - 5*w(f). Let q be h(-6). Suppose -q*p = -2*p - 21. Is 3 a factor of p?
False
Suppose 0 = -a + 28 + 68. Let f = -2 - -7. Suppose 0*y + 3*y - o = 58, 0 = -f*y + o + a. Does 15 divide y?
False
Let z(n) = n**3 + 4*n**2 + 4*n - 2. Let i be z(-4). Does 27 divide i/(0 - (-3)/(-9))?
True
Suppose q - 5*r + 35 = -4*q, -3*q - 17 = -r. Let i(x) = x**2 - x - 9. Does 7 divide i(q)?
True
Suppose -r + 52 = -2*u, r - u - 60 = -8. Is r a multiple of 13?
True
Let z(a) = a**2 + 2*a + 1. Let l be z(-5). Suppose -3*o + 4*n + 5 = 0, -n = 4*o + 3*n - l. Is o/9 - 47/(-3) a multiple of 8?
True
Let d be 10/(-35) + (-128)/(-7). Suppose -3*a = w - d, 2*w = -0*a + 3*a + 18. Is 4 a factor of w?
True
Let w = 13 - 13. Suppose -m - 4*r = -4*m + 59, -2*m - 3*r + 62 = w. Does 6 divide m?
False
Suppose -2*p = 64 - 74. Does 5 divide p?
True
Let p be (-2)/(0 + 1/3). Let t be 3*p/(-9)*-5. Let h = 15 - t. Is 9 a factor of h?
False
Let m(b) = -b + 4 + b + b**3 - 2*b**2. Suppose -5 = -u, -2*u - 14 = -3*d - 3*u. Is 8 a factor of m(d)?
False
Suppose 5*l - 5 = 0, c + 0*l - 19 = -4*l. Let z be 6/c*(10 + 0). Let u(i) = i**3 - 2*i**2 - 4*i. Is 16 a factor of u(z)?
True
Suppose 5*h - 5 = 0, 0 = y + 3*y - 5*h - 35. Suppose -5*v + 20 = 0, 42 = 4*x - 4*v - y. Does 17 divide x?
True
Suppose -5*p - 2*h = -106, -4*p + h + 67 = -23. Does 10 divide p?
False
Let m be -3*(-1)/3*5. Let r = m - 4. Let x = 8 - r. Is x a multiple of 4?
False
Suppose 4*d + 3*m + 10 = 0, -3*d - 20 = -3*m - m. Let z(k) = -3*k + 7. Let q(n) = 2*n - 3. Let c(u) = -13*q(u) - 6*z(u). Is 10 a factor of c(d)?
False
Let k be (-13 - -1*2)/(-1). Let j = -8 + k. Suppose -j*o + 22 = -s, -5*o + 3*s + 19 = -19. Does 5 divide o?
False
Let v = 80 - -88. Let y = v - 120. Does 12 divide y?
True
Is 10 a factor of (-6 - -42) + 5/(15/12)?
True
Let v = -9 + 14. Does 20 divide 155/2 - v/10?
False
Let b(c) = 0*c + 0*c + 9 - c. Is 2 a factor of b(4)?
False
Suppose -46 = -x - 2*x + n, -x + 5*n + 20 = 0. Let u(t) = t + 8. Let z be u(-6). Does 7 divide x - (-1)/(z/(-6))?
False
Suppose 6*w - 64 = 2*w. Does 2 divide (w/(-5) + 3)*-25?
False
Let d(l) = -l**3 + 11*l**2 + l - 1. Let w be d(10). Suppose 2*v = w - 1. Is 27 a factor of v?
True
Let w = 126 - 79. Is w a multiple of 24?
False
Let c(n) = n**3 - 8*n**2 - 9*n + 3. Suppose 0 = 5*y + 7 - 52. Let g be c(y). Suppose 0 = 3*s - f - 52, -g*f = -f - 10. Is 7 a factor of s?
False
Let n = 13 - 5. Is 8 a factor of n?
True
Let o(q) be the first derivative of q**4/4 + 5*q**3/3 + q**2/2 - 4. Is o(-4) a multiple of 6?
True
Suppose 0 = -i - 0 - 4. Let f(x) = x**3 + 5*x**2 + 5. Does 11 divide f(i)?
False
Let x = 132 + -78. Is 9 a factor of x?
True
Suppose -5 = 4*r + 19. Let x be (r - -7) + 59*1. Suppose -3*o = 2*o - x. Is 12 a factor of o?
True
Let n = 12 - 7. Let w be (-58)/(-6) + (-2)/3. Let m = w + n. Does 14 divide m?
True
Suppose 0 = -5*p + 23 - 8. Suppose -y + p*s + 22 = 0, y = -0*y - s + 10. Is y a multiple of 13?
True
Suppose -i + 4*i = -12, u - 2*i = 8. Suppose 5*k - 130 = s + 4*s, -k + 3*s + 18 = u. Does 14 divide k?
False
Suppose -708 = -4*g + 2*s, 4*s = -0*g - g + 159. Is g a multiple of 7?
True
Suppose 19 - 7 = 4*b. Suppose 0 = -4*z - b + 227. Is z a multiple of 23?
False
Let f be -9 + -3 + (-6)/(-2). Let u be (-2)/f - (-474)/54. Suppose 0 = 3*k + 5*w - 132, 4*k = 4*w - u*w + 181. Is 14 a factor of k?
False
Suppose 2*x + 0*x = 4*y + 238, 0 = x - 4*y - 119. Is 37 a factor of x?
False
Suppose 2*b + 4 = 52. Is b a multiple of 24?
True
Let g = 136 + -213. Let q = -490 + g. Does 7 divide q/(-28) - 2/8?
False
Let y(l) be the second derivative of 1/3*l**4 + 1/6*l**3 + 0 + 5/2*l**2 - 1/20*l**5 - l. Is y(4) a multiple of 4?
False
Suppose -s + 47 = -0*d + 2*d, 2*d = 2*s + 62. Is d a multiple of 13?
True
Let k be 20/((16/4)/8). Let o = k + -23. Is 17 a factor of o?
Tru