ose -9*f - 3*f = 72. Does 9 divide 24/(-20)*-1*(-135)/f?
True
Let d(s) be the third derivative of -s**7/840 - s**6/60 + s**5/30 + s**4/8 - 5*s**3/6 + s**2. Let q(y) be the first derivative of d(y). Does 12 divide q(-7)?
True
Is 39 a factor of ((-390)/7)/(2/(-14))?
True
Let m = -117 + 103. Suppose -25 = 4*i - 141. Let g = m + i. Does 5 divide g?
True
Let d = -3565 - -7327. Suppose 931 + d = 19*z. Does 13 divide z?
True
Suppose -12 = -3*v + 3*z, z - 6*z - 17 = -4*v. Suppose -h + v*h = 92. Let c = h - 16. Does 15 divide c?
True
Let l = -110 + 8. Let x = 174 + l. Is x a multiple of 24?
True
Let o(l) = 22*l**2 + 6*l. Suppose -2*p = 2*f + 2*p - 14, f - p - 1 = 0. Is 17 a factor of o(f)?
False
Suppose -3*f + 9*l - 13*l = 113, 2*f + 5*l = -66. Let n = f - -65. Is n a multiple of 9?
False
Suppose 3 = -4*w + w - 3*l, 4 = -4*w + 2*l. Does 13 divide (47 - 3)*w/(-1)?
False
Let v = -16 + 25. Let z = -3 + v. Suppose 0 = z*q - q - 50. Is q a multiple of 5?
True
Does 76 divide (-3)/1*(-80256)/99?
True
Let m(y) = 3*y**2 + 2*y - 3. Is 3 a factor of m(-3)?
True
Suppose 9*i - 5295 = 4*i. Is i/7 - (-2 + (-16)/(-7)) a multiple of 16?
False
Let x be (0 + -2 - 1) + -2*13. Let w = x - -60. Is 6 a factor of w?
False
Suppose 242*l + 1424 = 258*l. Is 12 a factor of l?
False
Suppose -9 = 3*d, -3 = 4*s + 4*d + 1. Does 12 divide 1*(s/3 - (-1908)/54)?
True
Let a be -3 + (1 + -3 + 0)/(-2). Is ((-4)/3)/(a/3) + 160 a multiple of 18?
True
Let l(c) = c**3 - 5*c**2 + 7*c - 9. Let x be l(4). Suppose -5*o = -q - 2*o + x, -q = 4*o - 17. Is q a multiple of 8?
False
Let j be (-2)/((-462)/153 - -3). Suppose -3*r = 2*w - 4*w + j, 3*w - 4*r = 151. Suppose 1 + 26 = u - 3*o, -3*u - 3*o = -w. Is u a multiple of 18?
True
Let c = 691 + -196. Suppose -5*u - 5*m = -c, 5*u - 3*m - 145 - 326 = 0. Does 7 divide u?
False
Let w(j) = -11*j + 2. Let o(y) = -2*y + 7. Let k be o(5). Let g be w(k). Let h = g + -25. Is h a multiple of 3?
False
Suppose 0*g = -g, f - 4*g = 335. Let l = f - 152. Is 17 a factor of l?
False
Let j(r) = -2*r + 12. Let u be j(6). Suppose 0 = k + 5, 7*g - 2*g - 5*k - 765 = u. Suppose -21*d = -17*d - g. Is d a multiple of 13?
False
Let c be (114/(-1) + 0)/(-2). Let m = c + -44. Does 4 divide m?
False
Let w = 48 - -30. Is 26 a factor of 5*11/(55/w)?
True
Let s(x) = 40 - 7*x**2 + 4*x - 4*x - 39. Let u be s(1). Let o(q) = -q**3 - 4*q**2 + 6*q. Is 12 a factor of o(u)?
True
Let v(m) be the first derivative of m**2/2 + 4. Let b be v(2). Suppose 12 = k - 3*d, -k + 4*d - b*d = -16. Is 6 a factor of k?
True
Suppose 5*x + 159 = 649. Let o be (3/(-2))/(7/x). Does 9 divide (6 - 0)/((-14)/o)?
True
Let k = -287 - -306. Is 2 a factor of k?
False
Suppose -w - 25 = 11. Let v = 1178 + -1148. Is 8 a factor of (w/(-7))/(v/280)?
True
Suppose -2*h + 4*u = 0, -4*h + 5*u - 3 = -3*h. Let z = 6 + 0. Is ((-56)/z)/(h/(-3)) a multiple of 14?
True
Suppose -4*i = -5*u, -5*u = -u + 4*i. Suppose u*a + 79 = 3*a + 5*z, 0 = a - 2*z - 8. Suppose 0 = -2*c - c + a. Is 3 a factor of c?
True
Let a(f) be the third derivative of f**8/6720 - f**7/420 + f**6/144 + f**5/60 - f**4/6 - 6*f**2. Let l(d) be the second derivative of a(d). Does 20 divide l(7)?
False
Let g be -1 - 1 - (-7)/(7/(-2)). Let r(c) = -2*c**2 - 11*c - 5. Is r(g) even?
False
Suppose -2*u + 1000 = p, 2*u + p = 5*u - 1510. Is 48 a factor of u?
False
Suppose 4*h - 212 = -3*k + 493, -725 = -4*h + k. Does 30 divide h*(-12)/(-18)*1/2?
True
Suppose 0 = 12*i - 14 - 34. Let p(x) = -x**3 + 7 - 3*x + 6*x**2 - x**2 - 2. Is 7 a factor of p(i)?
False
Let f be ((-6)/(-4))/(3/112). Suppose r + 11 + 5 = -g, -5*r + g = f. Does 26 divide -7 + r/(-4) - -82?
True
Does 20 divide 17/(153/1845)*(0 + 4)?
True
Suppose -2*s = -3*s - 3. Let g be (72/60)/(s/(-35)). Does 12 divide (1 + 11/7)*g?
True
Let k = 53 + -45. Let x = -361 - -675. Is 15 a factor of x/8 - 2/k?
False
Let o be ((-9*2)/3)/(15/(-10)). Let x be (21/(-2))/(3/8). Is 24 a factor of o*(-2)/2 - x?
True
Let r be 30/(-15)*(-34)/4. Let n = 29 - r. Is n a multiple of 4?
True
Suppose q + 34 = 5*g - 16, 20 = 2*g - 4*q. Let f(r) be the first derivative of r**3/3 - 7*r**2/2 - 10*r + 15. Is f(g) a multiple of 4?
True
Does 9 divide 39/2*(-11 + -7)/(-3)?
True
Suppose x = -570 + 724. Is 22 a factor of x?
True
Does 21 divide 33252/72 - ((-14)/12)/7?
True
Let y(h) be the first derivative of -14*h - 6*h + 8*h - 9 - 6*h + 3*h**2. Is y(17) a multiple of 12?
True
Let r be -4*4/((-48)/15). Let j(s) = 2*s**2 - 6*s - 5. Let w be j(-5). Suppose r*v + 0*v - w = 0. Is 6 a factor of v?
False
Suppose -4*g = a - 6, 4*g - 5*a - 20 = -g. Let l(n) = 7*n + 5. Is l(g) a multiple of 3?
False
Let i = 193 + 357. Does 55 divide i?
True
Let c = 1138 - 736. Is c a multiple of 64?
False
Let u be 0/(-3 + (7 - 1)). Is 14 a factor of 4 - (-4 - u)*6?
True
Let j be 12/(-48)*(5 + -1). Is 14 a factor of (-3 + -39)/j + 1?
False
Let f = 23 - 13. Let m be (3/(-6))/((-9)/(-108)). Let c = m + f. Is 4 a factor of c?
True
Let j(z) = -7*z + 4. Let k be j(8). Let f = 76 + k. Does 8 divide f?
True
Let h(o) = 2*o + 3. Let v = -8 - -13. Suppose -3*c + 2*p = -7, -5*c + 6*p - p + v = 0. Does 4 divide h(c)?
False
Let q(o) = o**3 + 16*o**2 - 17*o - 3. Let m be q(-17). Is 3 a factor of (-1113)/(-28) - m/(-4)?
True
Let g(x) = -x + 4*x**2 + 4*x + 0*x**2 + 23 - 3*x**2. Is g(-7) a multiple of 16?
False
Let z = 4 + 11. Suppose 2 = m + q, -3*q - 11 = -5*m + z. Is 4 a factor of m?
True
Let f = -2007 - -2562. Does 5 divide f?
True
Let r(v) = v**3 + 4*v**2 + 5*v + 7. Let a be r(-3). Is (a - (6 - 3))*(-5 + -86) a multiple of 14?
True
Let f be 0/(3 + -3 + -2). Let o be (-3)/(f + 3/(-6)). Is -5 + 8 + o/2 a multiple of 6?
True
Let s = -444 + 524. Is s a multiple of 4?
True
Is 56 a factor of (-58)/(-261) - (-2473)/9 - -4?
False
Suppose 5*z - z - 5*d = 7, 5*z + 3*d - 18 = 0. Suppose q - z*a - 55 = 0, 32 = q + 3*a - 17. Is q a multiple of 13?
True
Let q(s) = -s**2 + 6*s + 7. Let z be q(7). Suppose z*p = -6*p + 234. Suppose i - 5*r - p = -3*i, 2*r - 10 = 0. Is i a multiple of 3?
False
Let u = 114 - 57. Is u a multiple of 7?
False
Suppose -40477 = -23*n + 3568. Is 8 a factor of n?
False
Let c be -1 - (-2622)/7 - 3/(-7). Let n = c - 204. Is 34 a factor of n?
True
Let o(c) = -3*c**3 + 3*c**3 - c**2 - 2*c**3. Let s be o(-3). Suppose 4*h + 2*x = 52, s = 5*h + x - 26. Is h a multiple of 15?
True
Let w(s) be the first derivative of -s**4/4 - 2*s**3 - 5*s**2/2 + 56*s + 15. Does 39 divide w(-8)?
False
Suppose -2*c + 168 = -116. Let x = c - 85. Is 6 a factor of 274/6 + (-38)/x?
False
Suppose -k - 2*k = 0. Suppose 2*q + k*f - 455 = f, -2*q + 470 = 2*f. Suppose 2*x + 55 = h, 2*h = -3*h + x + q. Is h a multiple of 15?
True
Suppose 4*c - 1954 + 230 = 0. Is c a multiple of 12?
False
Let w = -25 + 25. Suppose w = 2*m + 3*m + 5*p - 280, -25 = 5*p. Does 13 divide m?
False
Suppose -19*h = -65*h + 92736. Is h a multiple of 24?
True
Let s(g) = g**3 - 4*g**2 + 10*g - 6. Let a be s(6). Let l = 186 - a. Is 10 a factor of l?
True
Let h = 7 + -4. Suppose i - h*p = -4*i + 6, 3*i = 3*p. Suppose -4*x - l + 2*l = -209, -3*l = i*x - 153. Is 26 a factor of x?
True
Let k(g) = g**3 + 6*g**2 - 2*g + 2. Let j be k(-6). Let h = j - 11. Let d(b) = 6*b**2 - b - 3. Is d(h) a multiple of 24?
True
Is (1 - 4302/(-15)) + (-8)/(-40) a multiple of 12?
True
Suppose -21*n = -22*n + 325. Suppose 4*l + n = 5*p, 0 = -3*p - l + 218 - 6. Does 23 divide p?
True
Let j = 56 - 53. Suppose 0 = -2*p + 7 + j. Is 4 a factor of p?
False
Let u(a) = 90*a + 498. Is 9 a factor of u(8)?
False
Suppose i = -4*k - 23, -5*i + k = -4*k - 10. Does 42 divide -1*i/(-3)*-127?
False
Suppose l - 935 = 4*j, 7*j = 3*j - 4. Is 14 a factor of l?
False
Suppose 0 = -5*s - 5*w + 1665, -2*w = -0 - 2. Let g = -120 + s. Let f = -128 + g. Does 19 divide f?
False
Let u = -98 + 102. Is 24 a factor of 96*(u/(-10) - 36/(-40))?
True
Let x = -63 + 71. Suppose -60 = -x*q + 6*q. Does 6 divide q?
True
Let o(m) = 96*m - 53. Is o(6) a multiple of 6?
False
Let q = -16 - -270. Is 44 a factor of q?
False
Let k = 154 + -84. Is 14 a factor of k?
True
Let z = 26 - 21. Suppose 5*v - 281 = -2*t, z*t - 6 - 9 = 0. Is (v/10)/(2/4) a multiple of 11?
True
Suppose 17*v - 5*v = 300. Is (-5 + 2)*15*v/(-5) a multiple of 9?
True
Let p(y) = -y**2 - 8*y. Let j be p(9). Let b = 65 + j. Let r = b + 144. Is 26 a factor of