?
True
Suppose 5*s = -0*j + 4*j + 105, -65 = -5*s - 4*j. Let t be 2*((-21)/(-9) - 3)*-3. Suppose t*o - 51 = s. Does 17 divide o?
True
Suppose 31 + 11 = h. Is h a multiple of 17?
False
Let a(p) be the second derivative of -p**4/12 - 5*p**3/2 - 7*p**2 + 2*p. Let i be -1 + -2*9/2. Is a(i) a multiple of 16?
False
Suppose 0 = o + o + 6. Let z(j) = -2*j**3 - 3*j**2 + 4*j. Is z(o) a multiple of 5?
True
Let s = -21 + 35. Is s a multiple of 14?
True
Suppose 0 = b + 1 - 2. Is (18/24)/(b/4) a multiple of 3?
True
Let m = -471 + 687. Suppose -4*d + 7*k = 2*k - m, 2*d - 3*k = 108. Does 15 divide d?
False
Let f be 273/5 - 6/(-15). Suppose -5*j + 2*j = -4*t - 125, 2*t = -j + f. Suppose -j = -2*m + 13. Is m a multiple of 13?
False
Let g = 161 + -32. Let l = g - 69. Is 20 a factor of l?
True
Suppose 2*f - 4*t = 0, 4*f - 8 + 26 = -t. Is 3/(-12) - 265/f a multiple of 22?
True
Let b(p) = 4*p**2 - 3*p - 2. Is b(4) a multiple of 8?
False
Is 8 a factor of (-1934)/(-11) + 2/11?
True
Suppose i + i + 8 = 4*h, 2 = 3*i + h. Let a be (-1*150)/(3/(-2)). Suppose -5*c = -i*c - a. Is c a multiple of 10?
True
Let v = -193 - -324. Is v a multiple of 21?
False
Let i(o) = o**3 - 10*o**2 - 9*o + 2. Is i(11) a multiple of 8?
True
Suppose -154 = -5*p + 596. Does 27 divide p?
False
Let k(c) = c**3 + c**2 + 41. Does 19 divide k(0)?
False
Let f(a) = 6*a**2 + 4*a + 4. Is 21 a factor of f(-4)?
True
Let g(u) = u**3 + 4*u**2 - 5*u - 2. Let a be g(-5). Let k be 11 + (6/(-3))/a. Suppose b - 3*b = -k. Does 3 divide b?
True
Suppose -z = 2*j - 12, 0 = -3*z - 0*z + 3*j. Let h(d) = d + 0 + z + d. Is 6 a factor of h(4)?
True
Let w(y) = -3*y**3 - 2*y**2 + 5*y + 15. Is w(-4) a multiple of 31?
True
Let a(r) = 2*r**3 + 20*r**2 + 12*r - 1. Is 4 a factor of a(-9)?
False
Suppose 0 = 3*t - 4*f - 104, -5*t + 3*f + 104 + 51 = 0. Does 4 divide t?
True
Let i be 9/15 - 674/(-10). Suppose -4*j + 68 = -i. Does 17 divide j?
True
Let g be 94/18 + (-4)/18. Suppose o = -3*z + 4 + g, z + o = 5. Is 17 a factor of 0/z - (1 + -31)?
False
Let h = 2 - -2. Suppose 0*o - o = -4*t + 93, -h*t + 91 = o. Is t a multiple of 11?
False
Let x(l) = -4 - 2*l + 6*l - 5*l - l**2. Let p be x(3). Does 5 divide (0/2 - p) + -2?
False
Let j(n) = -2*n - 3 + 3*n**2 + 0 + 6. Let c = -2 + 5. Does 11 divide j(c)?
False
Let i(l) = -l**2 + 19*l - 16. Does 7 divide i(17)?
False
Let j(r) = -8*r. Is 8 a factor of j(-1)?
True
Let f(q) = 8 + 18 - 9*q + 8*q. Is 7 a factor of f(0)?
False
Let a(b) = 9*b**2 + b. Let n = 3 + 2. Suppose 6 = -n*s + 1. Is a(s) a multiple of 8?
True
Let w(l) = -l + 6. Suppose -2*n + 2*r - 20 = 0, -n - 4 = -3*n - 4*r. Is 6 a factor of w(n)?
True
Let p(d) = d**3 - 3*d**2 - 5*d - 3. Let j be p(5). Let u be j/4 + (-5)/10. Suppose 4*o - u*o = -8. Is o a multiple of 8?
True
Suppose -3*h = h - 8. Suppose -3*k - 5*g + 10 = 0, 4*k + 0*g = -h*g + 18. Suppose k*b = -0*b + 145. Does 10 divide b?
False
Is 4/10 + 1246/35 a multiple of 36?
True
Suppose 4*g - 3*p = -0 - 11, -g - p - 8 = 0. Let r = 8 + g. Does 2 divide r?
False
Let l(k) be the third derivative of -5*k**4/24 - 2*k**3/3 + k**2. Is l(-5) a multiple of 12?
False
Let h(t) be the second derivative of -t**5/20 - t**4/2 + t**3 - 5*t**2/2 - 7*t. Is h(-8) a multiple of 15?
True
Suppose 9*q = 4*q + 230. Is q a multiple of 23?
True
Suppose 0 = -3*x - 4*x + 749. Is x a multiple of 33?
False
Suppose -4*c - 19 - 25 = 0. Let y be (c + -3)/(1/1). Is 6 a factor of (-344)/(-28) + 4/y?
True
Let p = 69 - 39. Does 8 divide p?
False
Suppose -2*q + 8*u = 9*u - 105, 0 = -4*q + 2*u + 190. Is 2 a factor of q?
True
Let r(a) = -a**2 + 12*a - 4. Let g(j) = j**2 - 4*j - 7. Let n be 2/(-4)*(2 - 14). Let u be g(n). Does 14 divide r(u)?
False
Let q(j) = 3*j - 16. Does 4 divide q(12)?
True
Let r(i) = 4*i**2 - 1. Let u be r(2). Let d = 19 - u. Is 4 a factor of d?
True
Let p(m) = 41*m**3 + m**2 - m + 1. Let s be p(1). Let i be (6/5)/((-2)/(-5)). Suppose -5*k + s = x, -4*k = -3*k + i*x. Does 6 divide k?
False
Suppose 2*f = 91 - 35. Suppose -y + f + 15 = 0. Is 19 a factor of y?
False
Let n = 11 - -13. Is n a multiple of 8?
True
Suppose -3*s + 2 = -s. Is 3 a factor of (-11 + 3)/((-1)/s)?
False
Suppose 0 = -6*w + 83 + 25. Does 9 divide w?
True
Suppose 29*w = 40*w - 726. Is 3 a factor of w?
True
Suppose 0 = -3*u - 103 - 50. Let j = 71 + u. Is j a multiple of 10?
True
Let o = 35 + -7. Is 14 a factor of o?
True
Let t = -6 + 6. Suppose t = -2*g - 4*s + 32, 5*g = -0*g + 4*s + 122. Is 22 a factor of g?
True
Suppose -k = n - 8, n - 15 = -4*k + 8. Let t(o) = -o + 1. Let h(l) = -l**2 + 13*l - 5. Let z(c) = h(c) + 6*t(c). Is 11 a factor of z(k)?
True
Suppose -5*t + 0 = -5. Let o be t/(((-1)/3)/(-1)). Suppose 4*m - 73 = -3*f, 6*m = 4*f + o*m - 64. Does 15 divide f?
False
Let n be (-21)/(-6) - 2/(-4). Suppose 5 = -t - 5*w, -6*t + 3*t = -4*w - 4. Suppose t = -n*v - 2*x + 10, 0*v + 4*x + 4 = -2*v. Does 3 divide v?
False
Let u be -59 - (0/2 + 1). Is 12 a factor of u*(-4)/(-10)*-1?
True
Is (-8)/(-3)*(-12)/(-8) a multiple of 2?
True
Suppose -4*r = -16, 2*g + 2*r = -0*g + 18. Suppose -f + g*f = 0. Let z(q) = q + 20. Does 10 divide z(f)?
True
Let p(b) = b**2 + 3*b + 24. Is 8 a factor of p(-8)?
True
Let n(g) = -g**3 + 12*g**2 + 14*g - 29. Is 49 a factor of n(10)?
False
Let c(o) = 181*o**2 + 4*o + 3. Does 15 divide c(-1)?
True
Let f = 19 + -19. Suppose 3*h + 2*l - l - 283 = f, l = -5. Is h a multiple of 27?
False
Let a(t) = 2*t**3 - 8*t**2 + 10*t + 9. Let f(o) = -o**3 + o**2 - o - 1. Let w(h) = -a(h) - 3*f(h). Let k be w(-6). Suppose k = -b + 9 - 0. Is 4 a factor of b?
False
Let d = 26 - -19. Does 10 divide d?
False
Let o(u) = u**3 + 8*u**2 + 3*u + 10. Let w(f) be the second derivative of -f**5/20 - f**4/3 - f**3/3 - 2*f**2 - 2*f. Let q be w(-3). Is 14 a factor of o(q)?
False
Let y = -58 - -105. Is 8 a factor of y?
False
Let j be 3*-3*6/(-9). Let s(b) = b**3 - 3*b**2 - 5*b + 9. Is 29 a factor of s(j)?
True
Let v(b) = b**2 + 7*b + 8. Suppose -7*z = -3*z + 24. Let m be v(z). Suppose -m*t + 16 + 12 = 0. Does 14 divide t?
True
Suppose -463 = -3*t - 5*b, 3*t - 2*t - 2*b = 158. Is 13 a factor of t?
True
Suppose -2*a + 5*s = 2*s - 23, 3*a + s - 29 = 0. Suppose 0*n = 5*n - 15. Suppose -n*j + j + a = 0, 5*u = -j + 85. Does 14 divide u?
False
Let i(k) = -4*k - 1. Does 14 divide i(-5)?
False
Let a(z) = -z**3 - 12*z**2 - 11*z + 3. Suppose 3*h - 9 - 21 = 3*l, -5*h = -2*l - 17. Let n be a(l). Is 18 - (0 + n + -3) a multiple of 17?
False
Let a = 5 + -15. Let w(m) = -3*m - 19. Is 11 a factor of w(a)?
True
Let t = 59 + -50. Let f(s) be the third derivative of s**4/24 - 2*s**3/3 - s**2. Does 4 divide f(t)?
False
Let x(q) = 28*q**2 + 29*q**2 - 58*q**2 + 8*q. Suppose -t - 4*t + 43 = 2*u, 0 = 3*t + u - 25. Does 5 divide x(t)?
False
Suppose 2*t + 20 = 6*t. Let k(g) = 3*g + 10. Let j(p) = -1. Let f(u) = 6*j(u) + k(u). Does 5 divide f(t)?
False
Let s = 0 - -6. Suppose s - 3 = 3*b + 3*a, 4*b + a = 16. Suppose -b*r + 80 = 5*x, -5*x - 3*r = 30 - 100. Does 11 divide x?
True
Let i = -50 - -128. Is 39 a factor of i?
True
Let y(a) = -20*a**3 - 3*a**2 - 2*a + 2. Let h be y(-2). Suppose -4*d = h - 786. Is 12 a factor of d/6 + 2/3?
False
Let g be 4/(8/6) - -40. Suppose -2 - 2 = -q - 3*z, -3*z = 4*q - g. Does 11 divide q?
False
Suppose -j = -3*j - 4. Let d = j - -9. Does 5 divide d?
False
Let d(u) be the third derivative of 0 + 0*u + 1/6*u**3 - 1/8*u**4 - 3*u**2. Is 4 a factor of d(-1)?
True
Let z be 4/14 - 1040/14. Let o = -50 - z. Does 6 divide o?
True
Let g(r) be the third derivative of -5*r**4/12 + r**3/2 - r**2. Is g(-3) a multiple of 17?
False
Let s be 42/9 - 2/3. Suppose -69 = -d - n, 5*n - s*n + 251 = 4*d. Suppose -k = k - d. Does 16 divide k?
True
Let r be 1 + -37 + 0/2. Let h = 68 + r. Let k = h + -21. Does 11 divide k?
True
Let t(a) = -6*a + 2. Let x be t(-7). Let s(u) = -2*u - 3. Let n be s(-3). Suppose n*j - x = -j. Is 6 a factor of j?
False
Let k(m) = -6*m**3 - 2*m - 1. Let a be k(-1). Let x(z) = 2*z - 5. Is x(a) a multiple of 3?
True
Let f(a) = -a**2 + 5*a - 3. Let p be f(5). Let n be 2/(3/(-153)*p). Suppose 5*d - n = 6. Is 8 a factor of d?
True
Let t(v) = -v**3 + 10*v**2 - 11*v + 9. Is 9 a factor of t(8)?
False
Let a be (-25)/(-15) + (-2)/(-6). Suppose 0 = -5*l + 5*r + 45, -26 = -4*l - a*r - 8. Is l even?
True
Suppose 7*v - 645 = 405. Is v a multiple of