2 - 5*w - 4. Let x(q) = -q**2 - q - 1. Let f(v) = -3*i(v) + 15*x(v). Let p(h) be the first derivative of f(h). Is p(-4) a multiple of 16?
True
Let d = 26 + -19. Let a be (2/4)/((-1)/(-32)). Let x = a - d. Does 9 divide x?
True
Let u be (-202)/(-22) + 4/(-22). Suppose -d + 5 = u. Does 4 divide d/3*15/(-2)?
False
Let r(t) = 28*t + 64. Is r(7) a multiple of 52?
True
Does 23 divide (-6)/(42/46 + 0 + -1)?
True
Let s(y) = y + 39. Is s(0) even?
False
Let u = 300 - 98. Does 14 divide u?
False
Suppose -b + 3 = -0, 0 = 4*y + 3*b + 23. Let t be (-6)/(-4) + (-292)/y. Let r = t + -20. Does 8 divide r?
False
Suppose o + 1 = 2. Let j = 52 - o. Is j a multiple of 17?
True
Suppose 3*b - 5*m + 3 - 19 = 0, -b + 3*m = -8. Suppose 10 = -5*y, v + 10 = 5*y - 2*y. Is 3 a factor of v*(4/b)/(-4)?
False
Suppose -478 - 382 = -10*n. Is 43 a factor of n?
True
Let t = -13 - -58. Let q = t + -15. Is 10 a factor of q?
True
Suppose -63 = -0*n - 3*n. Let u = n + -7. Does 14 divide u?
True
Is 2 a factor of (-10 - -4)*1/(-1)?
True
Suppose -7*z - 10 = -8*z. Does 7 divide z?
False
Let x be 6/(-10) + (-2422)/(-70). Suppose k = 66 + x. Does 31 divide k?
False
Let k = 706 - 499. Does 30 divide k?
False
Let m be 3/(1 + 2) + -2. Let b be (-2 + 3 + -1)/m. Suppose b*g - 5*g + 15 = 0. Is 3 a factor of g?
True
Suppose -32 = -17*s + 16*s. Does 9 divide s?
False
Let m = 51 + -28. Suppose 2*p = 53 + m. Let a = -2 + p. Is a a multiple of 18?
True
Suppose 0*s = 7*s - 77. Is 11 a factor of s?
True
Let j = -74 + 63. Suppose -7 = 2*x + n + 9, 5*x = -2*n - 38. Let z = x - j. Is z a multiple of 2?
False
Does 46 divide 4 + -4 + 357 + (-3 - -2)?
False
Let t = -19 - -31. Let k = t - 3. Is k a multiple of 9?
True
Suppose 0 = -c - 3 - 2. Let k = c - -6. Let n(f) = 21*f**2 + f - 1. Does 21 divide n(k)?
True
Is 10 a factor of (-632)/(-32) + (-2)/(-8)?
True
Suppose 0 = -i - 4*i. Suppose 4*n = 7 + 5, i = l + n - 11. Is 6 a factor of l?
False
Suppose 2*u + 2*b + 498 = 5*u, 5*b + 343 = 2*u. Is u a multiple of 28?
False
Suppose -4*z + 15 = 3*k, 4*z = 4*k - 28 + 8. Suppose -y - 2*y + 15 = 0, k*y = -5*u + 40. Is 3 a factor of u?
True
Suppose 5*r = 2*r. Suppose 2*d + 0*d - 40 = r. Is 20 a factor of d?
True
Let p be (304/6)/4*-3. Let t = p - 8. Is 15 a factor of (3 + -2)/((-2)/t)?
False
Let b = 22 + -55. Let t = -23 - b. Suppose 122 = 4*q + t. Is 14 a factor of q?
True
Suppose 0 = 2*o - 5*o. Suppose o = -4*c + c + 60. Does 6 divide c?
False
Suppose 0 = q - 4*q + 135. Suppose 3*i - 31 = -2*c, 2*i = 3*c + 5*i - q. Is c a multiple of 5?
False
Let u = -4 - -8. Let d = 30 - 0. Suppose q + n = u*q - 50, -q = 3*n - d. Does 9 divide q?
True
Let v = 0 - -21. Does 7 divide v?
True
Suppose -4*x = -37 - 51. Does 11 divide x?
True
Let c = 9 - -18. Is 9 a factor of c?
True
Let c = -62 - -90. Does 28 divide c?
True
Suppose -4*o + 3*z = 3, 0 = -o - 4*z + 2 + 2. Let j = o - 3. Is 11 a factor of (11/(-3))/(1/j)?
True
Let d be 8 + -2 + -3 + 5. Suppose -3*g + 2*y + 16 + d = 0, -3*y = 2*g - 16. Does 4 divide g?
True
Suppose -3*a + 18 = 3. Suppose -3*g + 8*g = a. Does 3 divide (3*7/3)/g?
False
Let f(s) = 5*s**2 - 3*s + 2. Is 19 a factor of f(3)?
True
Let n = -6 + 5. Let c be n*4*(-12)/16. Suppose -29 + 11 = -c*x. Is x a multiple of 3?
True
Suppose 0 = -u + 2*j + 3, j + 15 = u + u. Is u a multiple of 6?
False
Let p(r) = -r**2 + 6*r - 2. Let b be p(4). Let q(c) be the second derivative of 2*c**3/3 + 4*c**2 - 8*c. Is 16 a factor of q(b)?
True
Let g(r) = -r - 6. Let t be g(-5). Suppose o = 4*o + 4*d - 35, 0 = o + 5*d - 30. Does 18 divide (42/(-10))/(t/o)?
False
Let h = 12 + -25. Let r = h + 34. Suppose 88 = 4*j - t + 13, j = t + r. Is j a multiple of 6?
True
Suppose -3*p - 14 = -5*q, p + 3*p = 8. Is q a multiple of 4?
True
Suppose 16*i - 754 = 1438. Is i a multiple of 25?
False
Let w(u) = -u**3 - 4*u**2 - 7*u - 4. Let x be w(-4). Is 15 a factor of x - (-4)/4 - -1?
False
Suppose 2*z - 53 = 53. Does 18 divide z?
False
Let z(j) = 20*j - 20. Let l(t) = -7*t + 7. Let p(g) = -17*l(g) - 6*z(g). Is 10 a factor of p(-10)?
False
Suppose 3*f - 19 = 2*s - 69, -3*s = -4*f - 74. Is 11 a factor of s?
True
Let z(d) = 2*d**2 - 2*d. Does 7 divide z(4)?
False
Let d(f) = -f**2 - 5*f + 4. Let b be d(-4). Suppose 3*g = 247 - 91. Suppose b = -c + g. Does 17 divide c?
False
Suppose 18*r - 8 = 14*r. Suppose -4*h = z - 38, -h = -r*h + 5. Is 6 a factor of z?
True
Let d = 94 + -14. Is 20 a factor of d?
True
Let l = 54 + -10. Is l a multiple of 44?
True
Let o(r) = 2*r**3 - 6*r**2. Let c be o(4). Suppose -34*m + 48 = -c*m. Does 12 divide m?
True
Let i(f) = f**2 + 3*f - 3. Let r be i(-4). Let o be r - (-2)/(-2)*-1. Does 7 divide (-7)/(o*(-1)/4)?
True
Let j(d) = -2*d + 5. Is 5 a factor of j(-1)?
False
Suppose -5*m - 2*d = -310, -2*m + d + 295 = 3*m. Is 20 a factor of m?
True
Suppose -3*k - t + 82 = -39, 122 = 3*k + 2*t. Is 6 a factor of k?
False
Let q = 26 - 24. Suppose s - 26 = q. Does 7 divide s?
True
Let a(n) = n**3 + 2*n + 1. Let d be a(-2). Let r = d + 77. Is r a multiple of 22?
True
Let u = -87 - -128. Does 17 divide u?
False
Let f = 9 - 5. Suppose 3 = f*g - 5. Suppose -g*b + p + 34 + 38 = 0, -12 = 3*p. Is b a multiple of 17?
True
Let h(p) be the third derivative of 0*p + 1/30*p**5 + 0 + 1/6*p**4 + 1/2*p**3 + p**2 - 1/120*p**6. Is h(-2) a multiple of 11?
True
Let q be (-1 - 54)*(0 + 1). Let l = q - -78. Suppose -32 = -5*r + l. Does 7 divide r?
False
Let x be (-43)/(-9) - 2/(-9). Let g(v) = v**2 + 2*v - 8. Let o be g(6). Suppose -p = -x*p + o. Is 10 a factor of p?
True
Suppose -2*o = -5*n - 0 + 9, -3*n + 9 = -3*o. Let y be o/4 + 9/(-6). Let s = y + 9. Is 3 a factor of s?
False
Let d(g) = -g**2 - 11*g + 7. Is d(-11) a multiple of 2?
False
Let o(v) = -3*v - 11. Let n be o(-8). Let q = n + -7. Does 5 divide q?
False
Let z = -32 - -89. Is 42 a factor of z?
False
Suppose -o = -6*o - 5*d + 140, -4*d + 87 = 3*o. Is o a multiple of 5?
True
Let n(b) = -5*b + 3. Is 11 a factor of n(-6)?
True
Let w = 1 - -3. Suppose w*c - 4*q - 42 = -q, 46 = 4*c - q. Does 6 divide c?
True
Suppose -3*l + 397 = -218. Does 43 divide l?
False
Is 21 a factor of 12/5*-1*(-109 + 4)?
True
Let i(n) = -2*n**3 + 34*n**2 + 3. Is 3 a factor of i(17)?
True
Suppose -2*w = -4*s, 4*w + 2 = 4*s + 6. Let h = s - -8. Is 9 a factor of h?
True
Suppose -15*n + 14*n + 30 = 0. Is n a multiple of 13?
False
Let r(h) = -h**3 - 11*h**2 - 10*h - 10. Let k be r(-10). Let z be 5*2*(-2)/k. Suppose -z*d + 108 = 3*x, 2*d = -2*d - 3*x + 204. Is 19 a factor of d?
False
Suppose -2*n + 504 = n. Suppose 4*u - 244 = -5*k, 0*k - 3*u - n = -3*k. Suppose -4*h + k = 3*s + 2*s, -h - 5 = -s. Is s a multiple of 3?
False
Let w(o) = -o**3 + o**2. Let t be w(0). Suppose t*d = 2*d - 28. Suppose -n + 24 + d = 0. Is n a multiple of 13?
False
Let o(c) = c**3 + 5*c**2 + 5*c + 2. Let y be o(-3). Suppose 3*t - 30 = 5*t + y*u, 0 = t + u + 12. Let p = 21 + t. Is p a multiple of 6?
False
Let i(r) = r**2 + 2*r + 2. Let j be i(-3). Let n(q) = -q**3 + 6*q**2 - 3*q. Is 10 a factor of n(j)?
True
Suppose -i - i + 10 = 0. Suppose 0 = 4*a - 3*s + i*s - 48, -s - 4 = 0. Is a a multiple of 4?
False
Suppose 8*q = 3*i + 3*q - 79, i = -4*q - 2. Does 9 divide i?
True
Let p = 176 - 118. Is p a multiple of 26?
False
Suppose -4*t = -62 - 90. Let v = -25 + t. Is 12 a factor of v?
False
Let u be 6 + (-1 - (1 + -1)). Suppose 51 = 2*q - u*p - 9, 2*q - 3*p = 52. Is 12 a factor of q?
False
Suppose 0*d + 129 = 3*d - 2*c, 2*d = -3*c + 86. Let x = 8 - 5. Suppose x*u - 2 = d. Does 7 divide u?
False
Suppose 2*m + 4*c - 174 + 20 = 0, 385 = 5*m + 3*c. Does 11 divide m?
True
Let k = -9 + 15. Let u(o) = k - 3*o**2 + 4*o**2 + 0*o**2 + 2*o. Is u(-7) a multiple of 20?
False
Let t be 2 - ((1 - 2) + 7). Let y = 6 + t. Is y even?
True
Suppose c + 7*c - 608 = 0. Is 38 a factor of c?
True
Is 5 a factor of 102/4 + 6/(-12)?
True
Let y(a) = 21*a**2 + 2. Is 9 a factor of y(1)?
False
Suppose 2*o + 0*o = 60. Is o a multiple of 5?
True
Let o be (-80)/35 - 4/(-14). Is 60/(3/o + 3) a multiple of 10?
True
Let g = 32 + 40. Is 18 a factor of g?
True
Let n(w) = -9*w**3 + 1. Let h be n(1). Let o = 20 + h. Does 4 divide o?
True
Let c(u) = u**2 - u + 16. Let b(i) = -i**2 - 4*i - 3. Let q be b(-3). Suppose -f - 3*f = q. Is 8 a factor of c(f)?
True
Let t(d) = -d**2 + 7*d. Let a be t(6). Let j = a + -11. Is -