/(17/15 + -1). Suppose 16*o - f*o = -4. Does 12 divide ((-11)/(-22))/(o/50)?
False
Is (-3 + 1512/(-60))/(1*(-3)/300) a multiple of 6?
True
Let p be (7*(-4 + 1))/(1 - 0). Let g(m) = -m**3 - 21*m**2 - m - 13. Let o be g(p). Suppose o*y = 4*y + 48. Is 12 a factor of y?
True
Let s = -27 - -12. Let y(t) = t**3 + 14*t**2 - 13*t + 15. Let c be y(s). Is -35*(9/c)/3 a multiple of 2?
False
Suppose -15*u + 784 = -8*u. Let c be (756/u)/(2/32). Let l = c - 15. Does 15 divide l?
False
Let y = -54 + 53. Let w be (y - (-1 - -1))*-437. Let d = w - 256. Does 14 divide d?
False
Let y(o) = o**2 + 17*o + 7. Let r be y(8). Let s = -52 + r. Is 31 a factor of s?
True
Suppose 4*p + 114 = a, 0 = 3*p - 5*a + 3*a + 83. Let r = 126 + p. Is 13 a factor of r?
False
Suppose b - 8616 = -4*g, 39*g + 8612 = b + 44*g. Is b a multiple of 104?
True
Let k = -1425 + 1839. Is 6 a factor of k?
True
Suppose 3*f + 4*d = 481 + 3946, d = 2*f - 2933. Is f a multiple of 3?
False
Is 5 a factor of ((-1)/1)/(-1 - (-14874)/14880)?
True
Let h(s) = -s**2 + 48*s - 40*s + 21*s + 0*s**2 - 53. Is h(17) a multiple of 9?
False
Let k(v) = 74*v + 22. Let t = 427 - 426. Does 48 divide k(t)?
True
Let b(c) = -20*c + 10. Let q(l) = -l**3 + 8*l**2 - 9*l + 8. Let f be q(7). Is 26 a factor of b(f)?
True
Let f(a) = -88*a - 3218. Is f(-49) a multiple of 2?
True
Let f be (-6)/20 + 39/130. Suppose 6*b - 5607 - 1647 = f. Does 14 divide b?
False
Suppose -99*a + 418451 = 10*a. Is a a multiple of 11?
True
Let b(k) be the second derivative of -2/3*k**3 - 28*k + 0 - k**2 + 1/6*k**4. Is 8 a factor of b(-4)?
False
Suppose 4*v = -2*n + 27780, -22185 = 4*n + 5*v - 77742. Is 28 a factor of n?
True
Let f = -8111 - -10574. Does 28 divide f?
False
Suppose 4*d + 16 = 2*x, 26 - 44 = 5*d - 2*x. Let h(r) = -8*r**3 - 2*r**2 - 5*r - 3. Does 9 divide h(d)?
True
Suppose 10*p = -4*s + 9*p - 110, -3*p - 6 = 0. Let l(g) = g**3 + 26*g**2 - 57*g. Does 30 divide l(s)?
True
Let c(p) = p**3 - 5*p**2 - 3*p + 9. Let x be c(5). Let o be 21/x*(6 - 48). Suppose k - o = -2*l - 4*k, -5*l + 360 = 5*k. Is 46 a factor of l?
False
Is (-5268)/(-16)*6 - 24/(-16) a multiple of 10?
False
Let k(a) = -a**3 + 13*a**2 + 30*a + 15. Let q be k(15). Suppose -16*b = -q*b + 26. Let n = 36 + b. Does 10 divide n?
True
Suppose 60 = 3*k + 3*g, -5*k + 4*g + 88 = 3*g. Let w = 19 + k. Let l = 46 - w. Is l a multiple of 7?
False
Let y = 1012 + -1039. Let r(q) = 22*q**3 - q. Let g be r(-1). Does 14 divide y*(94/g + (-7)/(-49))?
False
Suppose 0 = -5*z + 4*g + 2881, 0*g = -z - 5*g + 553. Suppose -5*i = -207 - z. Does 32 divide i?
False
Is (24/16)/(3/(-18)) - -27 a multiple of 3?
True
Let l = 10313 - 15583. Let r = l - -7454. Is 4 a factor of r/70 + 8/10?
True
Let f(o) = 3932*o**2 + 56*o - 66. Is 107 a factor of f(1)?
False
Let v(w) = -4*w**3 - 22*w**2 + w - 35. Is v(-16) a multiple of 20?
False
Let w(k) = 611*k**2 + 171*k - 141. Is w(-9) a multiple of 16?
False
Let q = -17899 - -25060. Is q a multiple of 77?
True
Suppose 8915 = 5*p + 3420. Suppose -p = -4*n + 341. Is n a multiple of 60?
True
Let t(f) = -3*f - 1. Let q(s) = -186*s - 84. Let b(a) = -2*q(a) + 132*t(a). Does 26 divide b(-5)?
True
Suppose 6*c + 116 - 854 = 0. Suppose 5*i - 327 - c = 0. Does 34 divide i?
False
Let z(v) = -725*v + 4056. Does 4 divide z(-8)?
True
Let z = 94 + -103. Does 6 divide (-5 + z)*(-62)/7?
False
Let x(z) = -491*z - 2406. Does 50 divide x(-16)?
True
Let y be 2/9 + 29896/(-72). Let s = y + 909. Is s a multiple of 13?
True
Let j(h) = 202*h**2 - 325*h - 61. Does 420 divide j(-17)?
False
Let y(z) = -9 - 8 + 45*z - z**3 - 66*z + 25*z**2. Does 2 divide y(24)?
False
Let k(g) = g**2 - 2. Suppose 7 - 1 = 2*m, 3*c + 3*m - 42 = 0. Suppose -5*q + 10 = v - c, q = 2*v + 13. Does 3 divide k(v)?
False
Let y = 14573 - 10619. Does 51 divide y?
False
Let m(a) = -a**3 + 27*a**2 - 28*a + 57. Let h be m(26). Suppose -3*k - 528 = -h*k. Is 11 a factor of k?
True
Let n be ((-6 + 3)*1)/(-1 - 0). Suppose -4*j - 14 = a + 5, -3*j - 3*a - n = 0. Is (-6)/1*32/j a multiple of 10?
False
Suppose q + 3 = 2*q + 2*y, 4*q - y = 3. Let n(i) = 9*i**2 - 1. Let u be n(1). Is (4/u)/(q/84) a multiple of 10?
False
Let f = -7084 + 8560. Does 5 divide f?
False
Suppose -h + 3*d + 11143 = 0, -24851 - 19661 = -4*h - 3*d. Does 272 divide h?
False
Let a(o) = -3*o - 27. Let h be a(-10). Let f be (0 + (-3)/(-2))/(h/16). Is 3/12 - (-94)/f a multiple of 4?
True
Suppose -12*h - h + 1053 = 0. Suppose -o = 34 - h. Does 28 divide o?
False
Suppose 11*u = 12*u. Suppose -4*n = j + 17, -n + u*n + 7 = 4*j. Is -1 + 18 - (j + -5) a multiple of 14?
False
Let r be (-12)/18 + 2/3. Suppose 2*y + t - 47 = -r*t, 0 = 4*y - 4*t - 76. Let g = y + 12. Is g a multiple of 7?
False
Let f = 92 + -1980. Let y = f + 3409. Suppose -y = -6*z + 465. Is 43 a factor of z?
False
Suppose -10*b = -33*b + 8073. Does 19 divide (-171)/b*-129 + (-2)/(-13)?
False
Let z(u) = 11*u**2 - 9*u + 2. Suppose 3*f = -q - 3*q + 32, -f = -2*q - 24. Let n be 2/(f/(-36)*-3 - 2). Does 8 divide z(n)?
True
Let z(w) = 12*w**3 + 104*w - 66. Is 5 a factor of z(8)?
True
Let p(r) = 4*r. Let s(z) = 22*z + 56. Let o(v) = -6*p(v) + s(v). Is 14 a factor of o(16)?
False
Let z(y) = 7*y**3 - 237*y**2 + 6*y - 27. Is 19 a factor of z(34)?
False
Let s be (-10)/(-11 + 21) + 12. Let q(c) be the second derivative of c**3/3 - 15*c**2/2 + c. Does 4 divide q(s)?
False
Let n(q) = -248*q**3 + 3*q**2 - 3. Does 35 divide n(-3)?
True
Let s(o) = o**3 - 12*o**2 - 6. Let l be s(12). Let f be 2/l*(-1 + -17). Suppose -f*h + 434 = -184. Is h a multiple of 18?
False
Let h(d) = -57*d**2 + 2*d + 15. Let r(l) = 19*l**2 - l - 5. Let i(z) = 2*h(z) + 7*r(z). Let p be i(3). Suppose -5*f + 6*f - p = 0. Is 6 a factor of f?
False
Does 7 divide 7/((-196)/(-7512)) + 3*18/(-189)?
False
Suppose 0 = 2*b - 10 + 12. Let f(s) = -337*s + 7. Is f(b) a multiple of 15?
False
Suppose 16*z - 353 = -113. Suppose z*q - 8*q = 378. Is 9 a factor of q?
True
Let m = 1142 + -528. Suppose -2*w - 5*d - 3 = 2, 9 = -3*d. Suppose w*k - 71 - m = 0. Is 35 a factor of k?
False
Let y(p) = -p + 22 - 7 - 2*p. Let r be y(3). Is 11 a factor of r/((-7)/((-168)/9))?
False
Suppose -25*o = -28*o + 5*n + 26022, n = 5*o - 43348. Is 6 a factor of o?
False
Let a(g) = 4886*g**2 + 567*g - 1134. Is 7 a factor of a(2)?
True
Suppose -2*x = -0*f - 2*f + 1958, -4*f - 4*x + 3956 = 0. Let k = 70 + f. Does 44 divide k?
False
Let m = -39188 + 95126. Is m a multiple of 28?
False
Let g be (-2683)/(-9) + (-16)/144. Let n = -214 + g. Is n a multiple of 12?
True
Let h(s) = 7*s - 43. Let o be h(16). Suppose 159 + o = 4*a. Suppose -4*k = 37 - a. Does 2 divide k?
False
Suppose -y + 603 = -2*o, 3*o = -6*y + 9*y - 1812. Is (-8)/(80/y)*(-5 + -1) a multiple of 11?
True
Let c(r) = -28*r + 61. Let w be c(-36). Let g = w - -444. Does 63 divide g?
False
Let j(x) = -x**2 + 23*x - 4. Let h be j(20). Suppose p - 3*p = h. Is 5 a factor of ((-3)/(6/p))/(100/250)?
True
Suppose -2*l + 0*t + 4*t = -12, -l - 3*t - 19 = 0. Let o be ((-88)/11)/(l/(-6)). Is (-658)/(-5) - o/30 a multiple of 44?
True
Let c = -99 - -104. Suppose 3*v = -c*t + 7*v + 634, -5*t = 5*v - 670. Is 38 a factor of t?
False
Let i(q) = q**2 + 27*q + 149. Let u be i(-25). Suppose -90*g = -u*g + 3609. Is 61 a factor of g?
False
Let v(n) = -n**3 - 3*n**2 + 3*n + 821. Let l be ((-4)/(-14) - (-42)/(-147))/(-4). Does 58 divide v(l)?
False
Is (-3718)/(-154) - 25 - (-82326)/7 a multiple of 50?
False
Suppose 0 = 4*q - 3*u - 4538 - 1954, 0 = -q + 3*u + 1632. Let d = q - 1057. Does 11 divide d?
False
Let o = 4192 - 1722. Does 13 divide o?
True
Let q(h) = h**3 + 8*h**2 + 3*h - 5. Let p be -22 - -22 - 6/(-1)*-1. Let g be q(p). Suppose 71 = 5*t - g. Is 16 a factor of t?
False
Let u(s) = 241*s**2 - 13*s - 4. Is u(-5) a multiple of 34?
True
Let m = 100 + -40. Suppose q - m = 64. Is q a multiple of 31?
True
Let d(z) be the second derivative of -z**6/60 - z**5/5 + 13*z**4/6 - 16*z. Let v(u) be the third derivative of d(u). Does 10 divide v(-7)?
True
Suppose 0 = -88*b + 77*b + 10813. Let d = b + -466. Is d a multiple of 30?
False
Let o(h) = -693*h**3 + 3*h**2 + 164*h + 317. Is 61 a factor of o(-2)?
False
Suppose -f = 5*i - 1013, 8*i - 12*i + 5044 = 5*f. Let a = f - 168. Is 56 a factor of a?
True
Let s(m) = -31*m**3 - 3*m**2 - 9*m - 45. Is 152 a factor of s(-5)?
True
Suppose 