*3 + 6*f**2 + 4*f - 5. Is 8 a factor of u(h)?
True
Let p be ((-12)/16)/(3/(-20)). Let t(c) = 2*c**3 - 3*c**2 + 2*c - 1. Let j be t(3). Suppose j = p*v - v. Is v a multiple of 8?
True
Let b be 3 + (-538)/(-4) + (-2)/(-4). Suppose -w = -5*w + 592. Suppose -3*c + 15 - w = -2*p, -2*p - 2*c = -b. Is p a multiple of 17?
True
Let a = -1424 - -1544. Is a a multiple of 40?
True
Let z = 135 + -103. Let x = -7 + 20. Let t = z - x. Is t a multiple of 4?
False
Let p(l) = -59*l + 3. Let x be p(-3). Let a = x - 84. Suppose -2*h = -5*b - a, 2*h - b - 97 = 15. Does 29 divide h?
True
Suppose -4*h - 305 = 67. Does 4 divide (-11)/66 + (h/(-18))/1?
False
Let t(i) = i**3 - 18*i**2 - 37*i - 9. Let o be t(20). Suppose o - 3 = 2*u. Does 8 divide u?
True
Suppose -4*f + 698 = -2*l, -2*f + 7*f + 2*l = 868. Suppose 13*m + 31 - f = 0. Is 3 a factor of m?
False
Let l = 21 - -55. Suppose 2*z = -3*v + z + l, -4*v + 105 = 5*z. Is 25 a factor of v?
True
Let t = -283 + 334. Is t a multiple of 3?
True
Let t = 59 - 54. Suppose -2*b + s - 62 + 240 = 0, -4*b + 370 = t*s. Is 18 a factor of b?
True
Let r(t) = t**2 + 8. Let g be r(6). Let j = 96 - g. Is 13 a factor of j?
True
Let l(j) = 2*j**2 - 9*j + 5. Let q be l(6). Suppose c - 3*y = -5 + 35, 0 = -4*y + 4. Let d = c - q. Is 5 a factor of d?
True
Suppose -f + 11 = h, 3*f + 0*h - 2*h = 33. Is 9 a factor of (69 - (1 + -1)) + -8 + f?
True
Suppose -2*o + 178 = -4*x, -o + 3 = 2. Let k = x - -66. Suppose 5*d - 50 = -2*f + k, 3*d = 5*f - 180. Is f a multiple of 6?
True
Let n(u) = 280*u - 11. Is 10 a factor of n(1)?
False
Suppose 2*l = -0*v + 3*v - 8, 0 = -2*l + v. Suppose 1 = -c - l. Does 11 divide 35/3 - (-2)/c?
True
Suppose 9023 = -10*n + 17*n. Is n a multiple of 16?
False
Let f = -40 + 20. Let s = 22 + f. Let j = 13 - s. Does 4 divide j?
False
Suppose 12*r - 6491 - 5773 = 0. Does 33 divide r?
False
Let p(g) = -6*g + 43. Does 3 divide p(6)?
False
Let h(s) be the third derivative of -13*s**4/24 - 7*s**3/6 + s**2. Let y be h(-5). Let l = -35 + y. Is l a multiple of 20?
False
Let y = 1601 + -947. Does 6 divide y?
True
Let u = -834 - -1914. Does 93 divide u?
False
Let a(j) = -7*j**3 + 125*j**2 + 30*j - 12. Is 2 a factor of a(18)?
True
Let m(x) = 0*x - 4*x - 2*x + 32*x**2 + 2 + 3*x. Let b be -14 + 13 - (-3 + 1). Is 26 a factor of m(b)?
False
Let b(k) = 2*k**3 - 2 - 6*k**2 - 4 - 2 - k**2 - 10*k. Does 28 divide b(6)?
True
Let s(c) = 86*c + 54. Is 49 a factor of s(4)?
False
Suppose 13 = -r + 2*z, 3*r + 5*z = 18 - 2. Let q be ((-1)/r)/(1/(-12)). Let b(k) = -4*k - 6. Is b(q) a multiple of 2?
True
Let u be (0*(-3)/(-9))/4. Suppose 35 = -n + 5*n + i, u = -5*n - i + 45. Is (-12)/30 + 134/n a multiple of 8?
False
Suppose -9*l = -1207 - 3113. Does 16 divide l?
True
Let c(q) = q**3 + 32*q**2 - 13*q - 106. Does 18 divide c(-29)?
False
Let x(l) = l**2 + 10*l + 5. Let w(u) = 2*u**2 + 19*u + 9. Let g(s) = 3*w(s) - 5*x(s). Let k be g(-7). Suppose -k*y + 169 = -3. Does 21 divide y?
False
Suppose -109*q = -74*q - 72100. Is 47 a factor of q?
False
Suppose 4*g - 1552 = 3*h, -g + 1567 = -3*h - 0*g. Let o be -2 + (-5)/(10/h). Does 13 divide (3/(-2))/((-6)/o)?
True
Suppose -2*s + 3*o - 2*o + 85 = 0, 3*s - 129 = 2*o. Suppose 0 = 2*c + 12 + 22. Let w = s + c. Is w a multiple of 12?
True
Let f(s) = -s**2 + 6*s - 5. Let z be f(4). Does 27 divide ((-119)/z)/((-3)/9)?
False
Is (-57)/(-76) - (-109)/4 a multiple of 2?
True
Suppose -2*z + 2276 = 4*d, -d - 39*z + 575 = -37*z. Is 21 a factor of d?
True
Suppose 3*n + 12 = 0, 0*n = 2*c - 4*n - 90. Does 2 divide c?
False
Suppose -s - 374 = -1615. Is s a multiple of 73?
True
Suppose -702 = 5*b - 3*g, -2*b = -2*g + 211 + 73. Let r = b - -190. Is r a multiple of 10?
False
Let p(l) = 2*l**3 - 3*l**2 - 19*l + 44. Does 9 divide p(4)?
False
Let o(y) = 9*y + 2. Let t be o(-5). Let v = t + 95. Is 9 a factor of v?
False
Let v(u) = 43*u**2 + 2*u - 2. Is 6 a factor of v(2)?
True
Let o = 163 - 286. Let l = o - -138. Does 11 divide l?
False
Let o be 645/9 - (-1)/3. Suppose 0 = 3*a - o - 72. Is a a multiple of 6?
True
Suppose 0 = -d + 11 - 39. Suppose 10 = -5*q, 44 = m + 2*q - 29. Let v = d + m. Does 10 divide v?
False
Suppose 3*p - 5*v = 129, 5*p + 4*v + 109 = 361. Is 4 a factor of p?
True
Let r(w) = 8*w**2 + 9*w - 33. Does 32 divide r(10)?
False
Does 42 divide (288/108)/((-4)/(-630))?
True
Suppose -3*m + 8*m + 5 = 5*u, 5*u = -3*m + 37. Suppose -h + 0*h + 18 = 4*g, -u*g = -10. Is h even?
True
Suppose x + 4 + 13 = 0. Let b(v) = 33*v**3 - 2*v**2 - v + 2. Let c be b(1). Let f = x + c. Is 8 a factor of f?
False
Let v(q) be the second derivative of q**4/6 + 3*q**3/2 + 6*q**2 + 2*q + 34. Let b(u) = -5*u**3 - u. Let j be b(1). Is v(j) a multiple of 19?
False
Suppose d + 0*d - 14 = 0. Let h = d - 12. Is 25 a factor of 1275/12 + h/(-8)?
False
Let b = 454 + -355. Is 2 a factor of b?
False
Let f = 2 + 8. Suppose f = t + t. Is 27 a factor of ((-344)/(-2))/(10/t)?
False
Suppose 0*l + 5*l - 2220 = 4*d, -3*d + 1807 = 4*l. Is 16 a factor of l?
True
Let q = 2194 + -1466. Is 11 a factor of (((-81)/6)/9)/((-6)/q)?
False
Let g = 768 - 76. Does 79 divide g?
False
Let d(c) = -4*c**3 - 6*c**2 - 5*c + 4. Let r be d(-3). Let q = r + 10. Is 13 a factor of q?
False
Let r(n) = -3*n**2 + 12*n - 1. Let j be r(4). Let q = j - -28. Does 7 divide q?
False
Let i = 1331 - 927. Is i a multiple of 8?
False
Let y = 26 + 34. Is y a multiple of 4?
True
Let c = 56 + -98. Does 12 divide c/(-3) - -3 - -2?
False
Let j = -30 - -32. Is (13*j)/(333/54 + -6) a multiple of 12?
True
Suppose -f = -0*f. Suppose f = -3*c + 47 + 25. Suppose -c = -x + 4. Does 12 divide x?
False
Suppose 0 = -3*c - 4*u + 1844, -3*c + c - 4*u + 1232 = 0. Is c a multiple of 18?
True
Let g = 5 + 3. Suppose n - g - 5 = -l, -l = 5*n - 73. Is n a multiple of 8?
False
Suppose 18 - 2 = 4*b. Let q = 122 + -61. Suppose -5*l + 5*h = -l - q, 0 = -b*l - h + 31. Is l a multiple of 3?
True
Let r = 13 - 13. Suppose -7*g + 4*g = r. Suppose -4*t - 4 = g, 28 - 5 = k - t. Is k a multiple of 5?
False
Is (6/8)/(3 + 6982/(-2328)) a multiple of 3?
True
Suppose -3528 = 12*y - 18*y. Does 28 divide y?
True
Is 15 a factor of (-80)/(-48)*(618/3 - -1)?
True
Let l(j) = -40*j - 2. Let c be l(-1). Let h(p) = -3 + p - 2 + 3 + c. Is h(0) a multiple of 12?
True
Let n be (176/(-20))/(((-44)/120)/11). Is n/36 + (-2)/(-3) a multiple of 2?
True
Let t be (-2 + 4)/(9/(-6) + 1). Is 159 - (-1 - (t - -1)) - 1 a multiple of 12?
True
Let z(a) = a**2 + 6*a + 3. Let v be z(-6). Suppose v*l - 5 = 1. Is 18 a factor of 185/10 - 1/l?
True
Suppose 2*p - 1050 = -2*b - 76, -2395 = -5*p + 3*b. Does 16 divide p?
False
Let a(g) = 3*g**2 - 40*g + 13. Let w be a(13). Suppose w = -15*b + 450 - 120. Is b even?
True
Suppose 7*q - 4157 = -1154. Does 7 divide q?
False
Let d(w) = -w**2 - w - 1. Let k(r) = r - 1. Let g(h) = -d(h) + k(h). Is g(-5) a multiple of 3?
True
Let a(w) = 4*w - 7 - w**3 + 5*w + 6*w + 13*w**2. Let j be a(14). Let f(i) = -i**2 + 11*i - 10. Is f(j) a multiple of 18?
True
Let z(v) = -v**3 + 63*v**2 - 54*v - 116. Does 20 divide z(62)?
True
Suppose 2*a + 2*s = -36, -6*s + 44 = -3*a - 4*s. Let c be (-4)/a + (-462)/(-8). Suppose -c = -23*q + 22*q. Is 31 a factor of q?
False
Suppose -3*k - 2 = -k. Does 8 divide (k + 4)*(-16)/(-3)?
True
Suppose 12*i - 621 = 63339. Does 65 divide i?
True
Is 39 a factor of (116 - -4) + (-6 - (1 - 4))?
True
Let m(p) = -p - 3. Let t be m(0). Is 7 a factor of t*((-66)/5 + 1/5)?
False
Suppose 3*c + v + 4 + 9 = 0, -c - 3*v - 15 = 0. Let a be c/((-6)/4) - 2. Suppose a*x = -7*x + 147. Is x a multiple of 13?
False
Let i = -924 + 1054. Is i a multiple of 130?
True
Suppose -f = -5*m - 5 + 234, 3*m - 139 = f. Let d = m + -34. Is d a multiple of 11?
True
Let l be (-5)/(40/12)*(-8)/6. Suppose 5*r + l*o = -39 + 520, -4*r = -2*o - 374. Is r a multiple of 19?
True
Suppose 2*z - 5*x = 420, -5*z - 3*x + 5*x = -1008. Does 50 divide z?
True
Let j(o) = -o**3 - o**2 - o + 2. Let v be j(0). Let x be 20/(-8)*2 - (-14 + -2). Let f = v + x. Is f a multiple of 5?
False
Let y(v) = 1547*v + 4. Let d be y(8). Is d/180 + 4/18 a multiple of 27?
False
Suppose -1970 = 9*y - 7343. Is 30 a factor of y?
False
Let y = -23 + 35. Suppose 15*d - y*d = 6. Suppose -4*k - 3*s = -137, d*k - k - s = 29. Is k a multiple of 32?
True
Suppose 5*u + 8 - 3 = 0. Let m be (-6281)/(-55)