 p + 1. Let n(u) = u**2 - 7*u + 1. Let c(a) = -h(a) - n(a). Does 4 divide c(d)?
False
Let u = -48 - -21. Let v = -14 - u. Is v a multiple of 6?
False
Is 13 a factor of 0 + -3 - -6 - -88?
True
Suppose 2*k = -34 - 46. Let q = k + 59. Is q a multiple of 17?
False
Let y(k) be the second derivative of -2*k**5/5 - k**4/4 - k**3/3 + k**2/2 - 7*k. Is y(-2) a multiple of 11?
False
Suppose -4*m = 16 - 120. Is m a multiple of 13?
True
Suppose 0*f = 5*f - 70. Does 13 divide f?
False
Let b(p) = p**2 + 7*p + 5. Let g be b(-7). Suppose -2*s = 4*r - 40, 5*r + g*s - 23 - 32 = 0. Does 6 divide ((-3)/r - -1)*18?
True
Suppose -101 = -4*p - 25. Is p a multiple of 19?
True
Suppose 5*a - 2*y = -0*y + 30, 3*a = -5*y + 18. Let q(b) = 2*b**2 - 9*b + 1. Let i be q(a). Let p = 38 - i. Does 12 divide p?
False
Suppose 0 = -2*d + 47 + 47. Let o = -26 + d. Is 21 a factor of o?
True
Suppose -180 = -2*w - 28. Is 10 a factor of w?
False
Suppose r + 1 = 4. Is (2/r - 1)*-33 a multiple of 7?
False
Let l be ((-2)/4)/((-3)/(-366)). Is 11 a factor of (l - 3)*(-4)/8?
False
Let v = -15 - -28. Does 3 divide v?
False
Suppose 2*k = z - 8, 0*z - z - 10 = 4*k. Suppose -2*h + 3*h = z. Suppose -h*q = -0*q - 20. Is q a multiple of 5?
True
Let d(s) = -s**2 + 6*s - 6. Let g be d(4). Is -2*(4 + (-25)/g) a multiple of 3?
False
Let h = 8 + -6. Let p be (-4)/h - (9 - 12). Let l = p + 4. Does 3 divide l?
False
Suppose -2*w = 3*b - 136 - 57, b - 199 = -2*w. Is 12 a factor of w?
False
Let m = 35 + -72. Let l = m + 20. Let w = -10 - l. Does 7 divide w?
True
Let z(g) = -38*g + 4. Is 16 a factor of z(-2)?
True
Suppose -3*w + f + 23 = -4*f, 0 = -4*w - 3*f + 79. Is 2 a factor of w?
True
Let b(c) = -4*c + 2. Let n be b(-3). Let r be (-24)/14 - 4/n. Is (-68)/(-3) + r/3 a multiple of 11?
True
Let n = -8 - -12. Suppose 5*b - n*a = 6, a + 3 = 5*b - 6. Suppose -4*w - 20 = -b*r - 8*w, 4*r + w = 33. Does 4 divide r?
True
Suppose 0*t - t - 5*o = -44, 5*t + 4*o - 178 = 0. Does 19 divide t?
False
Let o = 31 - 22. Is 9 a factor of o?
True
Suppose -34 = 2*f + 2*g, f - 2*g + 0*g = -23. Let q = f - -25. Does 5 divide q?
False
Let i = -342 + 522. Is i a multiple of 18?
True
Let z be 0/(2 - (2 - -2)). Suppose o - 3*o + 10 = z. Suppose o*i = 4*i + 43. Is 15 a factor of i?
False
Suppose -b + 6 = -2*j - 6*b, -2*j = -3*b - 10. Let r(u) = -u**2 + u + 125. Let q be r(0). Suppose -5*o = 5*a - q, -o - o = j. Is 12 a factor of a?
False
Suppose f - 20 = 6*f, 20 = -4*b - 5*f. Suppose 0*j + j - 11 = b. Is 11 a factor of j?
True
Suppose -2*u = u. Suppose -6*n + 141 + 99 = u. Is 20 a factor of n?
True
Suppose 13*p - 11*p - 20 = 0. Is p a multiple of 5?
True
Let b(s) = -s**3 - 6*s**2 - 5*s + 6. Let x be b(-5). Let w = x + 3. Does 9 divide w?
True
Suppose 3*o - o - 48 = 0. Does 8 divide o?
True
Does 37 divide 9/(-6) + (-397)/(-2)?
False
Let t(x) = -281*x**2 + 6*x + 3. Let a(f) = f**2 + f + 1. Let v(j) = 4*a(j) - t(j). Let g be v(1). Suppose 5*o - g = -29. Does 18 divide o?
False
Let z(s) = s**3 - 6*s**2 - 8*s + 9. Suppose 5*r + 0*r - 35 = 0. Let c be z(r). Suppose 2*v = 2*w + 16, w = -c*v + 6*v - 32. Is v a multiple of 8?
True
Let y(o) = 12*o**2 + 3*o - 1. Let l be y(-4). Suppose 3*z + 44 = l. Is 15 a factor of z?
True
Let o(u) = 8*u**2 + u. Suppose 0 = -5*z + a - 0*a + 10, a - 10 = -5*z. Is o(z) a multiple of 14?
False
Suppose 4*j = 4*k - 34 + 6, 0 = -5*k - 5*j + 5. Let q(h) = -h**3 + 4*h**2 + 4*h. Let s be q(k). Suppose 2*p - s = p. Is p a multiple of 7?
False
Suppose 0 = 4*l + x - 5*x + 8, l + 7 = 2*x. Suppose -l*b + 22 = 1. Suppose 2*k = 19 + b. Is 8 a factor of k?
False
Let v = -23 + 27. Let j(x) = 3*x + 1. Let n be j(3). Does 13 divide v/n - (-406)/10?
False
Let d(w) = 2*w**2 + 16*w - 9. Does 11 divide d(-13)?
True
Let n(c) = -c**3 - c**2 + 2. Let h = 3 + 0. Suppose h + 1 = -2*y. Is n(y) a multiple of 3?
True
Let m be (-2)/6 + (-1)/(-3). Suppose m*q = 3*q. Suppose 64 = d + d + 2*a, q = -2*d + 3*a + 44. Does 14 divide d?
True
Let w(q) be the third derivative of -q**6/720 + q**5/24 - q**4/12 - 3*q**2. Let z(b) be the second derivative of w(b). Is 2 a factor of z(0)?
False
Let v(b) = 14*b**3. Let y be v(1). Suppose 0 = 5*m - 15, 2*m = -4*w + y - 0. Suppose l - w*l = -12. Is l a multiple of 12?
True
Suppose -23 = -j + 16. Is j a multiple of 15?
False
Suppose -121 = -9*y + 32. Is 17 a factor of y?
True
Let y be (2 - 1)/((-5)/(-10)). Suppose y*s + 57 = 5*s. Is 19 a factor of s?
True
Let x be 32*(3 + (-20)/8). Let i = 35 - x. Is 6 a factor of i?
False
Let q be 0/((-1)/(-1 - -2)). Suppose s + s = q. Suppose -12 = -2*r + n, s = 5*r - 4*r + 3*n + 1. Does 2 divide r?
False
Suppose -4*d + 5*p + 27 = 0, 0*d + 4*p = -d + 33. Suppose 94 - d = 3*g. Is 7 a factor of g?
False
Suppose -19 = -j + 26. Is j a multiple of 5?
True
Suppose -3*p - 140 = -10*p. Is p a multiple of 5?
True
Let o be (4 - 1)/((-3)/(-2)). Suppose 0 = -5*g - 2*w + 1044, o*g = w - 3*w + 414. Suppose 0 = -d - 5*u + 38, -6*u = 5*d - u - g. Is 12 a factor of d?
False
Let u(k) = -k**3 - 3*k**2 - 2*k - 1. Suppose c + 3 + 0 = 0. Let w be u(c). Suppose -w*v - 11 = 3*j, 5*j - 4*v + 3*v - 19 = 0. Does 2 divide j?
False
Let f = -2 - 0. Let h be 4 + f + (1 - -3). Is 62/h + 8/12 a multiple of 11?
True
Is 3 a factor of -13 - -13 - (-4)/1?
False
Let u(v) be the third derivative of v**4/24 + v**3/2 - 2*v**2. Does 4 divide u(5)?
True
Let r = -24 + 40. Is 4 a factor of r?
True
Let f = -42 + 83. Does 6 divide f?
False
Let g(x) = 2*x**2 + 5*x - 1. Is g(6) a multiple of 7?
False
Let c(d) = 3*d**2 + 4*d - 1. Does 21 divide c(4)?
True
Suppose 0 = -3*d + 5*v + 20, 5*d + v + 2 = -2. Let t be ((0 + d)/2)/(-2). Suppose r + t = 19. Is 9 a factor of r?
False
Suppose 4*u - 9 = 3. Let h = u + 4. Is 7 a factor of h?
True
Let i = -61 - -127. Does 22 divide i?
True
Suppose -1 = -x - 3*o, 0*o - 7 = 4*x + o. Let n(t) = -11*t - 3. Does 19 divide n(x)?
True
Suppose 5*k + 2 = 37. Let w = k + -11. Is (-35)/(-10) - 2/w even?
True
Let i(z) = z**3 + 4*z**2 - 4*z + 4. Suppose 3 = 2*d - 3*n - 1, 0 = -2*n - 8. Is i(d) a multiple of 6?
False
Suppose r - 2*f - 10 = 4*r, 0 = -2*r - 2*f - 10. Suppose 2*h + 3*h - 97 = -3*d, 5*d - 20 = r. Is h a multiple of 17?
True
Let h(w) be the first derivative of -w**3/3 + 7*w**2 + 10*w - 3. Is 3 a factor of h(14)?
False
Let q(t) be the second derivative of t**3/6 + 9*t**2/2 + 2*t. Let i be q(-10). Is 7 a factor of (-4 - -18) + 0/i?
True
Suppose 2*d - 434 = -5*d. Is d a multiple of 20?
False
Let a(w) = 2*w - 4. Let f be a(4). Suppose z - 1 - 6 = -f*p, p - 18 = 3*z. Suppose -5*i = -p*i - 32. Does 7 divide i?
False
Suppose 0 = -2*h - 3 - 1. Does 16 divide (h/3)/(6/(-198))?
False
Let z = 0 - 0. Let a be (0/(-3) - z)/(-1). Suppose -4*i + 4*k + 12 = a, k + 4 = -3*i + 33. Is i a multiple of 8?
True
Let u(v) = v**2 + 0 + 22 - v + 8. Let s be 0/(6*-1*1/3). Is 10 a factor of u(s)?
True
Let o = 200 - 116. Suppose o = 7*m - 3*m. Does 6 divide m?
False
Suppose 0 = -r + 2*r - 4. Suppose -k + 5*s - 6 = 0, -r*k - 58 = -2*s - s. Does 13 divide ((-3)/(-1))/((-3)/k)?
False
Suppose -6*u + u = 45. Suppose -4*s = -3*a - 24, -s = a + 2*s - 5. Does 3 divide a/(-6) + (-39)/u?
False
Let a be 1 - 3*3/9. Suppose -3*l = 4*w - a*l - 235, -3*l = -15. Suppose 0*g + 5*c = -3*g + w, 2*g = 3*c + 43. Is g a multiple of 10?
True
Let x(t) = t**2 + 5*t - 4. Does 6 divide x(-7)?
False
Let f(w) = 3*w + 2. Let x(v) = -2*v - 3. Let o(t) = 4*f(t) + 5*x(t). Let y be -1 + (4*2 - 1). Is o(y) a multiple of 3?
False
Let u(s) = -s + 2*s + 0*s + 29 - 41. Let v be u(0). Let d = v - -27. Is 5 a factor of d?
True
Suppose -5*n + 4*b = -45, 2*b + 0*b = -n - 5. Suppose 115 = 4*q - 8*r + 3*r, 2*r - 152 = -n*q. Is 10 a factor of q?
True
Let k = -5 - -17. Let u = k + -20. Does 13 divide 78/(-4)*u/6?
True
Suppose -q + 3*r = -50, -r = 4*q - 2*r - 178. Suppose 2*x + x - 9 = 0, b = -x + q. Is b a multiple of 20?
False
Suppose -39*s + 35*s = -720. Is 29 a factor of s?
False
Let b(x) = 8*x - 52. Does 12 divide b(8)?
True
Suppose 3*p = d + 255, -3*p + 5*d - 3*d + 258 = 0. Let m = -43 + p. Does 18 divide m?
False
Let l = -172 - -256. Is 13 a factor of l?
False
Does 20 divide (48/15)/((-2)/(-50))?
True
Is 13 a factor of (-2)/5 + (-4212)/(-30)?
False
Does 9 divide (-27)/15*(-6 + -9)?
True
Is (-1 + 3)*-1 - (6 + -26) a multiple of 6?
True
Let h = 17 + -24. Let