False
Let b(g) = g**3 + g**2 - g - 1. Let t(f) be the second derivative of 3*f**5/10 - f**4/4 - 13*f**3/6 - 5*f**2/2 - 7*f. Let u(n) = -5*b(n) + t(n). Is u(9) even?
False
Suppose 7 + 13 = 2*x. Suppose -3*v + 5*z = -108, 2*v + 4*z - 50 = -0*z. Let g = v - x. Does 8 divide g?
False
Suppose 4*p + 3*s = 29, -7*s = -3*s - 12. Let h(z) = z**2 + 3 + 9*z + 4 - 15*z + p*z. Is 13 a factor of h(-5)?
False
Is 5 a factor of (-1 - -3)*(-4 + -1 - -9)?
False
Suppose -121*w - 2290 = -131*w. Does 6 divide w?
False
Let d(q) = 2*q**2 - 11*q - 3. Let y be d(6). Suppose 5*w - l - 54 = 0, -4*w = -y*w - 4*l - 7. Does 11 divide w?
True
Let n = 2190 - 1158. Does 4 divide n?
True
Let q be (-3)/15 + 1124/20. Suppose b = 3*u + 69, 90 = -4*u + 5*b - 3*b. Let h = u + q. Is h a multiple of 8?
True
Let p(x) = -4 + 6 + 2 + 28*x - 3. Let a be p(4). Let u = -56 + a. Is u a multiple of 13?
False
Let y = 10 - 11. Let u(w) = -11*w**3 - w**2 + w + 1. Let t be u(y). Suppose 14*l - t*l = 92. Is 8 a factor of l?
False
Let l(g) = -17*g + 15. Let f be l(-6). Let p = f - 41. Is 27 a factor of p?
False
Suppose 0 = -0*f + f - 4. Suppose -5 = -f*x - 2*p - 27, 3*p = 2*x - 1. Let s = x + 14. Is 10 a factor of s?
True
Suppose -l - 1 = 0, 2*u + 763 = 2*l + 1985. Does 13 divide u?
False
Is 52 a factor of (-8458)/(-4) + (-48)/(-32)?
False
Let f = 244 + -64. Let w = 99 + f. Let x = w - 198. Is 27 a factor of x?
True
Let x = -83 - -126. Does 21 divide x + (1 - (1 + 2))?
False
Suppose -a = 4*c - 1530, 90 = -2*c + 80. Is a a multiple of 25?
True
Let s(h) = -2*h + 30. Let t be s(13). Suppose -t*o + 5*b = -52, 2*b + 8 = o - 8. Is o a multiple of 2?
True
Let r(w) = w**2 - 19. Let o be r(6). Does 21 divide o + (0/(-1) - -4)?
True
Suppose 3*h - 2*r - 3692 = 0, 0 = -167*h + 165*h + 4*r + 2448. Does 34 divide h?
False
Let g be (-3*(-4)/12)/(2/14). Does 4 divide 340/g + 9/21?
False
Let z(l) be the second derivative of -l**4/6 - 11*l**3/6 - l**2/2 - 6*l. Let w be z(-5). Suppose 52 = w*t - 0. Does 13 divide t?
True
Suppose 3*f + 19 = 5*n, 0 - 12 = 4*f. Suppose 4*m - 3*s - 106 = 0, n*m + 3*s = 65 - 3. Is 14 a factor of m?
True
Suppose -4*b - 7*z + 3*z = -2360, 2986 = 5*b - 4*z. Is 18 a factor of b?
True
Let x = 483 + -313. Is x a multiple of 38?
False
Suppose -4*d = 5*i + 9, -d + 5*i - 1 = -5. Let n be -2*(d - (-2)/(-4)). Suppose -n*b + 1 + 28 = -2*w, 50 = 4*b + 3*w. Is 4 a factor of b?
False
Suppose 5*r = 2*r - l + 1, r + 4*l = -18. Suppose 183 = r*i + 49. Is i a multiple of 35?
False
Suppose 5*p = -4*q - 3610 + 12422, 0 = -q - 5*p + 2188. Does 8 divide q?
True
Suppose 19 = 3*r - 3*q + 5*q, 3*q = 3*r - 9. Suppose w - 115 = 2*t + 12, 4*t = -r*w + 565. Is 10 a factor of w?
False
Let g(t) = -t**3 + 3*t**2 + 2*t + 7. Let u be g(5). Let i = u + 78. Is 40 a factor of i?
False
Let f = 24 - 14. Let a be (4/(-2))/(f/(-15)). Is 15 a factor of 11 - a/(12/(-16))?
True
Let s(d) = 2*d. Let f be s(0). Suppose 3*w + 3*w - 864 = f. Is 32 a factor of w?
False
Suppose 5*n + z - 6947 = 0, 2*z = -n + 1198 + 195. Suppose -19*g + 1537 + n = 0. Is 14 a factor of g?
True
Let n(m) = 24*m + 143. Is n(0) a multiple of 13?
True
Let q = -47 + 52. Suppose 4*y - 140 = 4*o, 0 = -q*y + 3*o + 234 - 53. Does 4 divide y?
False
Suppose 13 = 3*q + 1. Suppose -3 - 21 = q*f. Is 12 a factor of (-4)/f - 730/(-30)?
False
Let h be 2/(-4) + (-10)/(-4). Suppose 4*t - h - 14 = 0. Suppose t*l - 2*l - 50 = 0. Is 25 a factor of l?
True
Suppose -5*w + 2*u = -14, w - 4 = 4*w + 5*u. Suppose -2*g - 2*p + 16 = 0, w*p - 49 = -4*g - 15. Let h = 14 - g. Does 2 divide h?
False
Let p be 10/(-4)*(-8)/(-10). Let l = 0 - p. Suppose 265 = 3*u + l*u. Is 14 a factor of u?
False
Let j = 106 - 54. Suppose -76*o - j = -80*o. Is 13 a factor of o?
True
Let g(i) = 14*i**2 - 1. Let w be g(-2). Let p(a) = 91*a**2 + 2*a + 3. Let o be p(-1). Let m = o - w. Is m a multiple of 17?
False
Let d be ((-3)/(-3))/(2/(-4)). Let a = 8 + d. Suppose 0 = -4*b, -7*i - b = -a*i - 43. Is 15 a factor of i?
False
Suppose 4*d + 3*s = 1, 5*d + 3*s = 5*s + 30. Suppose -5*c - d*z = -1545, -8*c = -5*c - 5*z - 964. Does 14 divide c?
False
Let j(z) = 4*z**2 - 18*z - 10. Does 33 divide j(19)?
False
Let n(c) = -2*c**3 - 44*c**2 + 44*c - 16. Let v be n(-23). Let g be -1 + 71 + (1 - 0). Let k = g - v. Is 9 a factor of k?
False
Let l be 126/8 + (-2)/(-8). Let p = l + -12. Suppose 4*y - 161 = y + p*v, 5*y - v = 257. Is 13 a factor of y?
False
Let l(g) = -g**2 + 32*g + 20. Does 8 divide l(30)?
True
Suppose -d - 2*x + 4 = -0, -4*d + 5*x = 10. Suppose d = -k - 2*b + 54, 2*k = 5*b + 119 - 2. Does 28 divide k?
True
Is 1688/5 - (-28)/70 a multiple of 54?
False
Let c(g) = -g**3 - 6*g**2 + 8*g + 10. Let n be c(-7). Suppose n*x - b - 122 = 0, -3*x - 6*b + 128 = -b. Does 4 divide x?
False
Is 10 a factor of (-7)/2*(-6984)/28?
False
Suppose 0 = -5*t + 8 + 12. Suppose -t*z - 19 = -3. Let n = 11 - z. Does 5 divide n?
True
Suppose -56 = x + 2*n, 2*x + 0*x - 5*n + 139 = 0. Let j = x + 107. Does 26 divide ((-26)/5)/((-9)/j)?
True
Let z(v) = v**3 - 13*v**2 - 15*v + 10. Let f be z(14). Let l(n) = 2*n + 8. Let y be l(f). Suppose y*h = 2*h - 30. Is h a multiple of 5?
True
Is 50 a factor of (74176/(-12))/(-4) - (-2)/(-6)?
False
Let a(f) = -8*f + 14. Let u be a(10). Does 3 divide (-1)/8 - u/16?
False
Let s = -22 + 126. Suppose -q + s - 36 = 4*g, -2*q - 68 = -4*g. Is g a multiple of 9?
False
Suppose 0 = 2*t - 3*t - s + 42, s + 240 = 5*t. Suppose -5*j = -2*b + t, 0 = -2*b - j + 9 + 56. Does 19 divide b?
False
Suppose 4*m - 1124 = -2*y, -4*m = -11*y + 10*y - 1124. Is m a multiple of 14?
False
Suppose -l + 813 = -3*d, 0 = -4*l + 2*d + 2055 + 1247. Is 46 a factor of l?
True
Suppose -a = 5*j - 38, 5*a + 23 = 5*j + 3. Suppose 0 = -j*m + 4*m - 39. Let i = 1 - m. Does 13 divide i?
False
Let b be (-17)/((-1)/4*-2). Let y be (30/45)/((-2)/(-225)). Let g = y + b. Is 12 a factor of g?
False
Suppose -55 = 35*g - 30*g. Let x(d) = -d**2 - 24*d + 5. Is 11 a factor of x(g)?
False
Suppose -3*y - 3 = 5*p + 1, -2*p - 14 = -5*y. Let c be (-16)/p - 9/3. Suppose 5*t - 155 = c*n, -4*t + 2*t + 5*n + 47 = 0. Does 11 divide t?
False
Let l = -375 + 545. Is 3 a factor of l?
False
Let m be (-6)/((-5)/(480/9)). Suppose 0 = -6*o + 3*o + t - m, 0 = -4*o + t - 84. Is 6 a factor of 2/(-10) + (-424)/o?
False
Let c be 2*2*(-7)/(-14). Suppose -v = -2*v - c. Let h(l) = -6*l**3 + 3*l**2 + 2*l. Is h(v) a multiple of 16?
False
Let y(t) be the second derivative of t**4/12 + 4*t**3/3 - 10*t**2 - 8*t. Let z be y(8). Is (-24)/z + 346/18 a multiple of 10?
False
Let k = -228 - -227. Let c(l) be the second derivative of -11*l**3/6 - l**2/2 + 2*l. Is 5 a factor of c(k)?
True
Suppose 0 = 5*w + 25, 14 = -2*k - 2*k - 2*w. Is k*2/2 - 686/(-14) a multiple of 16?
True
Let v be 1575/(-36) + (-3)/(-4). Is -2 - 2 - (5 + v) a multiple of 6?
False
Suppose 0*c = -2*u - 5*c + 65, 85 = 4*u - 5*c. Suppose 2*b + 3*f = 102 - u, 4*b - 5*f = 209. Let y = b - 31. Is 3 a factor of y?
True
Suppose -3*a - 40 = -5*l - 7*a, -2*a + 2 = -2*l. Suppose -l*u = 3*t - t + 4, -2*u + 4 = 2*t. Is 4 a factor of t/21 - (-270)/35?
True
Let o = 601 - 313. Is 9 a factor of o?
True
Suppose -3*h + 4*y + 2218 = 238, -4*h - y + 2640 = 0. Is 66 a factor of h?
True
Is 14 a factor of (-3 - 1)*12586/(-116)?
True
Let n(h) = h**2 + 6*h - 15. Suppose 4*b = 5*w + 65, 4*b - 4*w = -0*w + 60. Does 34 divide n(b)?
False
Suppose 3*i - 2*g - 3*g = 27, 0 = -4*g. Suppose -153 = -12*d + i*d. Is 17 a factor of d?
True
Let a be (-59 + -3)*-4 - 4. Suppose 3*o - 3*p = -p + a, 166 = 2*o - 2*p. Is o a multiple of 13?
True
Let v = -1709 + 3757. Does 16 divide v?
True
Let o(w) = w**3 - 10*w**2 + 11*w - 18. Let m be o(9). Let k(h) = -h + 209. Let n be k(m). Suppose -3*y + n = -4*z, -2*y + 3*y = z + 69. Is y a multiple of 11?
False
Let f be 3 + -2 - 3 - -8. Suppose -f*g + 11*g - 15 = 0. Suppose 228 = g*h + h. Does 19 divide h?
True
Suppose 31*s - 26*s - 220 = 0. Let x = -29 + s. Does 2 divide x?
False
Let i = -76 + 116. Suppose -g = -23 - i. Is 16 a factor of g?
False
Let d(l) = l**3 - 2*l**2 + l - 8. Let t be (-1 + -5)/(12/(-8)). Is 5 a factor of d(t)?
False
Suppose -4*n + 4*p = -200, -4*n + 218 = -p + 6*p. Suppose 0 = 3*b + n - 304. Is 12 a factor of b?
True
Suppose 4*z - o = 4, 10 = -5*z + 2*z + 4*o. Let a(q) = q**z + 12*q**3 + 5 + 3 - 6 - 3*q. Does 3