 - 7. Let p be x(3). Let r be 3 + (p + (-3 - -1) - -5). Suppose s = -2*y - 0*y + 72, 3*s - 161 = r*y. Is 31 a factor of s?
True
Suppose 4*u - 5228 = -860. Let h = u - -60. Is h a multiple of 18?
True
Let d be (2 + -2)/2 - (-77)/7. Let k = 207 + d. Is 28 a factor of k?
False
Let x(m) = -11*m**2 + 7*m + 19. Let v be x(7). Let s = -213 - v. Does 8 divide s?
False
Let n = 209 + -207. Suppose -k - 3*m = n*m - 24, 0 = 2*m + 2. Is k a multiple of 28?
False
Let m(t) = -9*t**3 - 2*t**2 - 6*t - 5. Let x be m(-1). Suppose 0 = -4*i - 5*g + 587, -g = -7 + x. Is 37 a factor of i?
True
Let x = 88084 - 46367. Does 25 divide x?
False
Suppose -10*l + 9*l = 2. Let m be 9/5 + l + (-32)/(-10). Is -6 + m + 27/3 even?
True
Let b(y) = -774*y + 147. Does 13 divide b(-5)?
True
Is 54 a factor of ((-40)/(-12))/(120/444456)?
False
Let q(v) = v**3 - 15*v**2 + 15*v + 41. Suppose -3*u + 42 = k, -3*k + 2*k - 48 = -3*u. Is 38 a factor of q(u)?
True
Let a = -424 - -205. Let l = -192 - a. Does 15 divide l?
False
Suppose 4*x + 818 = 5*o, -x - 3*o - 834 = 3*x. Does 15 divide (-2)/(-2) - (-4 + (x - -2))?
True
Let f = 4005 + -2149. Is 29 a factor of f?
True
Let u = 22055 - 15015. Is 47 a factor of u?
False
Let b = -2698 - -18880. Is b a multiple of 6?
True
Let y be 6/(-4)*9/(27/(-116)). Suppose 0 = 2*b - 216 - y. Does 5 divide b?
False
Let s(g) = -2*g**3 - g**2 - 2*g + 1. Let p(i) = -3*i**3 + 9*i**2 - 18*i - 4. Let q(b) = p(b) - 2*s(b). Suppose -5*m - 4 = 56. Does 4 divide q(m)?
False
Suppose 27 - 2 = -5*j. Suppose -3*s + 9*x + 44 = 5*x, 5*s = -2*x + 82. Is j*((-26)/15)/(s/72) a multiple of 5?
False
Let v(d) = 35*d**2 + 7*d - 41. Let h be -13 - (-28)/(2 + 2). Is 11 a factor of v(h)?
True
Let l(i) be the second derivative of i**5/10 - 11*i**4/12 + i**3 - 35*i**2 - 254*i. Is 11 a factor of l(8)?
False
Suppose -18*g + 13*g + 5370 = -x, -3*g + 3244 = -5*x. Does 14 divide g?
False
Let j be (-15)/(-6) - 2*(-1)/4. Suppose j*z - 310 = z + 2*m, 4 = m. Is z a multiple of 30?
False
Let p(n) = n + 18. Let y be p(-13). Let d(j) = -8*j**2 + 22*j - 13. Let z(v) = 7*v**2 - 21*v + 13. Let k(o) = y*z(o) + 4*d(o). Does 15 divide k(9)?
False
Suppose -d + 5*n = -13826, 4*d = 46*n - 49*n + 55166. Does 5 divide d?
False
Let f(d) = -2*d**3 + 192*d**2 - 43*d - 831. Is 66 a factor of f(95)?
True
Let d(f) = -37*f**3 - 10*f**2 - 46*f - 19. Let h(j) = 19*j**3 + 6*j**2 + 24*j + 10. Let b(y) = -6*d(y) - 11*h(y). Is 87 a factor of b(5)?
False
Let k(r) be the second derivative of r**3/6 + 5*r**2/2 + 3*r. Let l be k(-6). Is 167 - (3 + -7 - l) a multiple of 34?
True
Does 85 divide (-42 + -213)*(2*(-7)/3 + -1)?
True
Suppose 0 = 4*s + 4*l - 108, -2*l - 15 = 3*l. Is 5 a factor of (3984/s)/2 - 4/10?
False
Let l(z) = -975*z**2 + 378*z - 1197. Let g(k) = 139*k**2 - 54*k + 171. Let d(n) = -27*g(n) - 4*l(n). Does 18 divide d(3)?
True
Let i = 56 + -138. Let z = i - -87. Suppose -90 = -4*d + 2*d + z*v, 4*v + 48 = d. Is d a multiple of 9?
False
Let n be -5 + (-2)/4*(-4 - 26). Suppose -4*q + 182 = 5*k - 478, -n = -2*q. Does 10 divide k?
False
Let x(c) = c**3 + 17*c**2 + 19*c - 4. Is 13 a factor of x(10)?
True
Let q(j) = -6*j + 153. Let s be q(26). Let t(z) = 17*z**2 + 11*z - 2. Is t(s) a multiple of 4?
False
Suppose 4*m - y - 773 = 0, -4*m + 743 = -2*y - 31. Is 50 a factor of m?
False
Suppose -21*l - 11*l = -49*l + 2074. Does 16 divide l?
False
Let y be 6 + -4 + -9 + -3. Let b be (y/(-4))/(6/132). Let k = 93 - b. Is 21 a factor of k?
False
Let p = -654 + 121. Let t = p + 601. Does 68 divide t?
True
Let f(g) = 2*g**3 - 76*g**2 + 107*g + 52. Is 18 a factor of f(37)?
False
Let n(s) = -s**3 - 8*s**2 + 11. Let m be n(-8). Suppose -4*q - 2*a = -9*q + m, 3*q - 3 = 3*a. Suppose -q*w = v - 178, -w - 232 = -5*w - 4*v. Does 10 divide w?
True
Let a be 22/77 - (-40)/7. Suppose 5*c + 14 = -a. Is 35 a factor of (5390/(-33))/(c/6)?
True
Let z = 41 - 30. Suppose -7*i = -z*i. Suppose -5*g - 5*p + 265 = i, -3*p + 261 = 5*g - 8. Is 11 a factor of g?
True
Is (-3)/6*2256382/(-43) a multiple of 104?
False
Let o = 52364 - 30587. Is 119 a factor of o?
True
Let r(d) = 14*d - 17. Let c be r(3). Is (-30)/3*((-385)/c + -2) a multiple of 29?
True
Let q(j) = -2*j + 1. Let b(f) = 7*f - 5. Let i(c) = -6*b(c) - 22*q(c). Let y be i(-15). Is 16/88 + (-2592)/y a multiple of 31?
False
Suppose 27*u - 90*u - 7686 = 0. Let a = -82 - 149. Let r = u - a. Is 24 a factor of r?
False
Suppose 22*a + 92 - 1698 = 0. Suppose 0 = 6*i + a - 481. Is i a multiple of 5?
False
Suppose 0 = -7*s + 119 + 231. Does 16 divide (-30)/s*(-159 + 4)?
False
Let c(h) = 59*h**2 - 6*h - 102. Is c(10) a multiple of 38?
True
Suppose -32 = 14*g + 276. Is 52 a factor of (25 + g)/((-3)/(-980))?
False
Does 12 divide (-7 - -8)*(-1)/(-4) + (-1195)/(-20)?
True
Suppose 134*w + 186*w = -41*w + 2632773. Is 11 a factor of w?
True
Let h(q) be the third derivative of q**4/24 - 3*q**3/2 + 5*q**2. Let x be h(11). Suppose -3*f + x*f + 108 = t, 0 = 2*f + 3*t - 216. Is 27 a factor of f?
True
Let d(i) be the third derivative of -i**6/120 - i**5/6 + i**4/4 + 14*i**3/3 - 27*i**2. Let s be d(-12). Let y = s + -118. Is 18 a factor of y?
True
Let i be 2 - 1 - 1 - (-16 + 16). Suppose -8*b + 7*b + 74 = i. Suppose 2*f + 20 - b = 0. Does 21 divide f?
False
Suppose 2*n + 2*o = 5*o + 122, -5*o - 248 = -4*n. Let t = n - 136. Let k = -29 - t. Is 8 a factor of k?
True
Let d(y) = y**3 - 4*y**2 - 14*y - 2. Let i(z) = -z**3 - 20*z**2 - 17*z + 45. Let m be i(-19). Is 16 a factor of d(m)?
False
Let n(b) = 5*b**2 + 4*b + 17. Suppose -4*w = 20, 0*w = -5*z + 3*w - 25. Does 5 divide n(z)?
True
Suppose -10*u = 39*u - 34839. Is 39 a factor of u?
False
Let n be -1 - ((-20)/4 - 1). Is 18 a factor of n/1 - (-1 - 32)?
False
Let a(i) = -3*i**3 - 3*i**2 - 17*i - 152. Is 2 a factor of a(-5)?
False
Let n = 23027 + -8454. Is 7 a factor of n?
False
Suppose -4*h + 40136 = -3*v, 1691*h + 2*v = 1689*h + 20068. Does 6 divide h?
False
Let m(h) = -h**3 + 37*h**2 + 276*h + 19. Is m(-24) a multiple of 15?
False
Let q(y) = -y**3 - 10*y**2 + 11*y - 13. Let b be q(-11). Let t = b + 12. Does 13 divide 12/(-15)*(t - 669/6)?
False
Suppose 3506 = 4*p - 3*c, 14*p - 4365 = 9*p - 5*c. Does 152 divide p?
False
Suppose 2031 + 216953 = -415*l + 936934. Does 8 divide l?
False
Let b = -1710 + 2427. Let a = b - 381. Is a a multiple of 4?
True
Let q(d) = -d**2 + 8*d + 5. Let m be q(8). Suppose u = 5*u + 4*p - 1708, -p + 2115 = m*u. Is 16 a factor of u?
False
Suppose -b + 4 - 1 = 0. Let x be (b - 27/6)*12. Is (-591)/x - 1/(-6) a multiple of 5?
False
Let c be ((-6)/9)/(392/63 - 6). Is 72 a factor of (46935/(-20))/c + 7/(-28)?
False
Suppose 187465 - 15985 = 52*f - 166312. Does 29 divide f?
True
Let j = 49 - 45. Suppose 176 = 4*u + j*u. Does 6 divide u?
False
Let p = 2215 - 2103. Is 53 a factor of p?
False
Let h = -9 + 12. Suppose -h*z - 5*z = 72. Does 13 divide (-274)/(-10)*(14 + z)?
False
Suppose 3*t - 20 = -2*x, 5*t + 5*x + 8 - 38 = 0. Suppose -4*p - g = 2 + t, p = 4*g + 6. Does 2 divide 20/8*p + 8?
False
Suppose 3*h - 2*m = 8*h - 15, 3 = h - 3*m. Let o(a) = -2*a + 0 + h + 1 + 3. Is 5 a factor of o(-4)?
True
Let v = -2970 - -33378. Does 63 divide v?
False
Suppose 4*x = 0, -4*x - 1829 = -m + 46. Does 25 divide m?
True
Let z = 49 - 49. Let o be (3 - z/(-2))/(-1). Is (-1 - 40/o) + (-6)/18 a multiple of 10?
False
Let g(h) be the second derivative of -52*h**5/5 + 5*h**4/12 + 3*h**3/2 + 3*h**2/2 + 250*h. Is g(-1) a multiple of 4?
False
Suppose -34192*i = -34217*i + 281050. Does 73 divide i?
True
Suppose 0 = 3*c - 28 + 13. Suppose 0 = c*t - 83 - 347. Let n = t - -155. Is n a multiple of 43?
False
Let k = -713 + 715. Let u(z) = -z**3 - 3*z**2 + 2*z - 4. Let r be u(-4). Suppose -198 = -r*b + k*b. Is b a multiple of 9?
True
Suppose 4*q = 4*r - r - 17, 0 = -5*r - 5. Let w be q/((-20)/(-8)) + 6467. Is 21 a factor of w/105 - 3/(-7)?
False
Let g be 8/6*(-35340)/(-152). Suppose -4*i = -5*m - 4569, -i + 4*m + 824 = -g. Does 27 divide i?
False
Suppose 106 + 30 = 4*q. Suppose 4*v = -f + 109, q*v + 396 = 4*f + 30*v. Is 2 a factor of f?
False
Suppose c + 1 + 3 = 0, -5*q - 4*c = -14. Suppose -3*z + q*j = 2*j - 113, -2*j = 10. Suppose -o + z + 70 = 0. Is o a multiple of 24?
False
Let n be ((12/9)/4)/((-3)/(-63)). Suppose 70 = n*m - 119. Is 3 a factor of m?
True
Suppose -23*j + 22*j = -2*k - 248