10/(-6))/(n/(-300))?
True
Let s(q) = -3*q**3 + 21*q. Let x be s(-4). Let z = 678 - x. Is z a multiple of 35?
False
Let p be -1*(-505)/10*2. Let q = p - 97. Let m(g) = 2*g**3 + 5*g**2 + 2*g - 21. Is m(q) a multiple of 39?
True
Suppose -3*k = -4*x + 260, k = 4*x - 3*k - 256. Let g be (-1)/(-4) - (-20383)/x. Let y = g - 212. Does 44 divide y?
True
Suppose -9*o + 3 = -3*l - 6*o, -3*l - 9 = -o. Is 9 a factor of (-2 + -1)/(l + 7) - -406?
True
Let o be (-7)/9 + (-4)/18. Let s be 16 - ((5 - 2) + o). Suppose 0 = -s*p + 16*p - 150. Does 25 divide p?
True
Let m(v) = 110*v**2 - 17*v + 1. Let k(a) = -110*a**2 + 20*a - 1. Let t(j) = 6*k(j) + 7*m(j). Suppose 3*h + 2 = -1. Is 22 a factor of t(h)?
True
Suppose 0 = -5*i - 4*i - 17*i + 243984. Is 51 a factor of i?
True
Let j(m) = -3*m**2 - 1 + 19*m - 37*m + 7. Let t be j(-9). Is 451/5 + 15/t a multiple of 16?
False
Let c(k) = 5*k - 126. Let v be c(25). Does 66 divide ((-208)/40)/((v - -2)/(-165))?
True
Let l(j) = 41*j**2 + 22*j + 12. Let f(t) = t**3 + 204*t**2 + 109*t + 60. Let p(q) = -2*f(q) + 11*l(q). Does 56 divide p(22)?
True
Suppose -98*y + 6652473 = 553443. Is y a multiple of 17?
False
Suppose -21*g + 6*g + 5655 = 0. Let y = g + -40. Is 23 a factor of y?
False
Suppose 2*x = g - 5*g + 50, 5*x = -4*g + 107. Is x even?
False
Suppose -2*f + 2 = 0, 12*f = 3*q + 13*f - 32404. Is q a multiple of 63?
False
Let y = -37 - -241. Suppose 2*d - 638 = -2*x, 0 = 5*x + 4*d + y - 1799. Is x a multiple of 36?
False
Suppose 0 = -95*h + 104*h - 351573 + 60477. Is h a multiple of 78?
False
Let i(a) = 22*a**2 - a - 56. Let l be i(11). Suppose 0*t + t - 879 = -5*o, 0 = -3*t - o + l. Is 24 a factor of t?
True
Suppose 5*h - 93 = -3*k, -4*k - k - h = -133. Let y = 67 - k. Suppose 0 = -4*j + 79 + y. Does 6 divide j?
True
Suppose 0 = -4*x + 41 - 33. Suppose 0 = -4*s + 2*d - 6*d + 508, 3*s = x*d + 406. Is 44 a factor of s?
True
Let r = -10605 + 18347. Is r a multiple of 98?
True
Let v be ((-18)/(-4))/((-8)/(-16)). Let g be (v/(-6))/(3/(-6)). Suppose 4*l = 2*q + 128, g*l - 72 = l - q. Is l a multiple of 34?
True
Suppose -98*i + 62*i + 171720 = 0. Does 7 divide i?
False
Let p = 8838 - 5396. Is 6 a factor of p?
False
Let u(d) = -4*d**3 - 22*d**2 + 23*d + 6. Is u(-11) a multiple of 69?
True
Let b = 3385 - 2449. Is 13 a factor of b?
True
Suppose -1 = -q - 4*x, 2*q - 5*x - 46 = -2*q. Suppose -16*m = -q*m - 21. Suppose 0 = r + 4, -35 - 102 = -5*w + m*r. Is w a multiple of 25?
True
Let o(m) = -22*m - 109. Suppose -3*z + 4*q - 41 = 0, q + 25 = 6*q. Let j(c) = -12*c - 55. Let f(a) = z*j(a) + 4*o(a). Is 20 a factor of f(-20)?
False
Let h(r) = 3*r**2 + 11. Let y = -39 - -42. Let b = 5 + y. Is h(b) a multiple of 35?
False
Let h(o) = -2*o**3 + 22*o**2 - 5*o + 54. Let s(i) = -i**3 + 11*i**2 - 3*i + 26. Let b(q) = -6*h(q) + 13*s(q). Does 14 divide b(10)?
False
Let o(i) = 423*i**2 - 32*i + 84. Is 169 a factor of o(7)?
False
Let j be ((-245)/(-1) - -1)/(9/12). Suppose h - j = -0*h. Suppose 2*m = -2*x + 304, 5*x - 3*x - 4*m - h = 0. Does 44 divide x?
False
Is ((-20)/(-560)*14)/((-2)/(-2644)) a multiple of 24?
False
Suppose -3*n + 9 = -5*c, 8 = -5*c + 5*n + 3. Let b be c*(-200)/(-45)*-6. Suppose a + 2*d = 31 - 0, 5*a - b = 5*d. Does 7 divide a?
True
Let d = 61 + -62. Let r(o) = -763*o - 27. Is 16 a factor of r(d)?
True
Suppose 0*o + 2*w - 934 = 4*o, 0 = 3*o - 2*w + 700. Let f(r) = -85*r - 89. Let s be f(-5). Let g = o + s. Does 10 divide g?
False
Suppose -2*t = 3*t - 2*b - 139, 0 = -2*b + 6. Let l = t - -7. Suppose 0*p + l = p. Is 12 a factor of p?
True
Suppose 10*q - 30 = 4*q. Does 3 divide (4/6)/(q + 254/(-51))?
False
Let c be 1/(-7) - (0 - (-320)/(-35)). Suppose 3*t = -2*h + c + 4, 4*h = -4*t + 20. Suppose -15*j + h*j + 1482 = 0. Is j a multiple of 19?
True
Let r = 122 - 125. Is (429/15 - r) + 8/20 a multiple of 8?
True
Let o(s) be the third derivative of -s**6/120 - 2*s**5/15 - s**4/12 + 7*s**3/6 - s**2. Suppose -5*y = -4*u - 22, 5*y = 2*u + 1 + 5. Is o(u) a multiple of 23?
True
Suppose 3*m - 388 = -n, 2*n - 4*m + 0*m = 746. Let y = n + -216. Does 75 divide y?
False
Let q(g) = -300*g + 254*g + 2 + 8 + 25 - 2. Does 45 divide q(-12)?
True
Let w(l) = 25*l**3 + 17*l**2 - 29*l - 14. Is w(8) a multiple of 38?
True
Let z = -191 + 196. Suppose 2*h - 162 = 3*n - 7*n, -z*n - 5*h = -205. Is n a multiple of 3?
False
Let h = -2885 - -7436. Is 6 a factor of h?
False
Suppose h - 5*y = 49, -2*h - h = y - 99. Is (-69 + h)*(6/(-5) + 0) even?
True
Let v(m) = -5*m**3 + m**2 + m. Let o be v(-1). Suppose 0 = -5*j + o*k - 10*k + 6200, 5*j = 4*k + 6191. Suppose 339 = -10*r + j. Does 18 divide r?
True
Suppose 12*v - 61*v - 26*v + 146400 = 0. Is v a multiple of 16?
True
Let d be -4*(3 - 2) - -5 - -374. Suppose 3*p - d = 2*p - 2*v, 4*p = v + 1545. Is p a multiple of 11?
True
Does 2 divide 21 - ((-3 - 11) + 8)?
False
Let a(d) = 2*d**2 - 3*d + 102. Let m be a(-12). Let w = m + -376. Does 6 divide w?
False
Let c = 11926 - 1081. Does 14 divide c?
False
Let h be ((-117)/(-6))/(-3)*-22. Suppose 3*d + 73 + h = 0. Let a = 126 + d. Is 27 a factor of a?
True
Let d be 10/(-3)*(-9 + (-957)/22). Let h = -127 + d. Is 48 a factor of h?
True
Is (-358527)/((-364)/28) - -11 a multiple of 62?
True
Let q(k) = -k**3 + 10*k**2 - 10*k + 16. Let a = -48 - -58. Suppose -6*i + 96 = a*i. Is 4 a factor of q(i)?
True
Suppose -4*w + 29 = -0*z - 5*z, 3*z = 5*w - 33. Let k(r) = 46*r + 25. Does 45 divide k(w)?
False
Let l(f) = 382*f - 3318. Is 140 a factor of l(29)?
False
Suppose 5*q + 37 = -23. Is 2 a factor of ((-12)/(-7))/(q/(-42))?
True
Suppose 0 = g - 2, 12*i + 16 = 16*i + 4*g. Suppose 24*n + 926 = i*r + 22*n, 1860 = 4*r + 4*n. Is 16 a factor of r?
True
Let s = -64 + 88. Suppose 19*t - 20 = s*t. Is -35*(2/t)/((-147)/(-252)) a multiple of 15?
True
Suppose 20*v = 17*v + 12. Suppose 2*g - v*g - 3*d = 0, -5*g + 5*d - 25 = 0. Does 21 divide (g + 4)*(9/(-3) + 30)?
False
Let i = 33079 + -17485. Is i a multiple of 23?
True
Suppose -2*f = -8, -l - 12 = -5*l - 5*f. Let g = 101 - l. Let b = g - 61. Is b a multiple of 6?
True
Let i be (-25280)/(-5) + (0 - -7). Suppose -i = -10*z - 1103. Is 36 a factor of z?
True
Let j be (-2)/(-8) + (-945)/(-60). Suppose 0 = 21*p - j*p. Suppose -3*t + 16 = -p*t - 2*m, 2*t = 4*m. Is t a multiple of 2?
True
Let u be 3 + -4 + 1/1. Suppose t - 3*t - 2*r + 154 = u, 0 = 4*t - 4*r - 316. Does 6 divide t?
True
Let p(k) = -59*k + 5. Let n be p(-7). Let h = -635 + n. Let r = 313 + h. Does 19 divide r?
False
Let h be (5070/12)/(-13)*(-8)/10. Let l(t) = 23*t + 89. Let a be l(h). Let n = a - 418. Is 58 a factor of n?
False
Let y = -169 - -183. Is (-6)/y - (14457/(-21) + 0) a multiple of 43?
True
Let k be (-1)/(-3) + (-192)/(-18). Let m(s) = -2*s**2 + 29*s + 3. Let c be m(k). Let a = 100 - c. Is a a multiple of 4?
True
Is (-2)/12 + (-1034655)/(-414) a multiple of 14?
False
Suppose -g - 1 = -0*g + 3*d, 0 = 4*g + 5*d - 3. Suppose g*s = 5*c - 672, -4*c + 3*s - 533 = -8*c. Is 16 a factor of c?
False
Let w = -5740 + 17804. Is 26 a factor of w?
True
Let x(j) = 8*j**3 - 11*j**2 + 65*j - 898. Is 22 a factor of x(12)?
True
Let t = -1444 - -3025. Is t a multiple of 19?
False
Let q be (-4)/(-14) - 23/7. Let h = -1449 - -1451. Does 18 divide 1900/15 + h/q?
True
Let h(u) = u**3 + 26*u**2 - u + 46. Is 10 a factor of h(-11)?
False
Suppose 30*p + 5*v = 28*p + 35307, -3*v - 35331 = -2*p. Suppose 5*y - 34*y + p = 0. Does 59 divide y?
False
Let p(k) = -k**2 - 11*k + 13. Let l = -32 + 20. Let n be p(l). Is 16 a factor of (-22 + n)*(-16)/3?
True
Let z = -21 + 48. Let k = 218 + -82. Suppose -w - l + z = -k, w = 2*l + 160. Is w a multiple of 18?
True
Suppose 1946 = 5*u + 4*z, 0 = -4*u + 39*z - 37*z + 1536. Is 11 a factor of u?
False
Let o(j) be the second derivative of -55*j**3/3 - 25*j**2 + 3*j + 2. Does 50 divide o(-10)?
True
Suppose -530*t + 12235320 = 10*t. Is 71 a factor of t?
False
Suppose -1484096 = -75*d + 240679. Is d a multiple of 15?
False
Let l(v) be the third derivative of -11*v**4/8 + 7*v**3/2 - 26*v**2. Let w be l(-7). Is 7 a factor of (w/20)/(4/20)?
True
Let f be 0/(-1*1*(6 + -7)). Suppose f = -x + 175 + 14. Suppose -2*z - 3*m + x = z, -m - 193 = -3*z. Is 23 a factor of z?
False
Suppose 0 = -0*h - 2*h + 4. Let u(n) = n**3 - 9*n**2 + 9*n + 38. Let l be u(7). Suppose l*t = -3*q + 300, 0*t - h*q = t -