 Does 14 divide g(c)?
True
Suppose -4*n + 218705 + 63783 = 42868. Does 78 divide n?
False
Suppose 5*v - 3524 + 132 = -b, -3*b = 4*v - 10110. Does 14 divide b?
False
Suppose 3*l = -6*l + 36. Suppose 4*z = -5*u + 89, 3*z - 2*u = l*z - 26. Suppose -p + 7 = 5*t - 17, p - 3*t = z. Is 3 a factor of p?
False
Let m = -69 - -74. Let p be 5/m - (0 + -113). Let u = 209 - p. Is u a multiple of 19?
True
Let q(d) = -d**3 + 78*d**2 - 90*d - 129. Does 18 divide q(76)?
False
Suppose 14*z - 8658 - 3958 = 5934. Is 6 a factor of z?
False
Let k(m) = m**2 - 14*m - 57. Let d be k(19). Let o = d + 108. Suppose 4*i = -5*n + 598, -3*n + 218 = 5*i - o. Is n a multiple of 27?
False
Suppose 159*y - 193530 = -13*y - 57134. Does 12 divide y?
False
Let v(h) = -2*h**2 - 5 - 3*h + 6*h**2 - 2*h**2. Let c be v(-5). Suppose c = 17*u - 15*u. Does 10 divide u?
True
Suppose -20 = -3*c - 3*i + 19, 0 = 5*c - 2*i - 93. Suppose 23*g = c*g + 384. Is g a multiple of 11?
False
Let u(y) = 126*y - 364. Does 10 divide u(19)?
True
Let t(c) = 2*c**3 - 44*c**2 - 34*c + 58. Is t(25) a multiple of 34?
True
Suppose 208*z - 210*z = -598. Suppose -11*v + 9*v - 566 = -2*s, s - 5*v - z = 0. Does 9 divide s?
True
Is (78/1040*-10)/((-1)/(7993 - 1)) a multiple of 81?
True
Let q = -6062 + 8121. Is 112 a factor of q?
False
Let u(x) = -6*x**2 + 3*x - 17. Let h(j) = 14*j**2 - 5*j + 32. Let i(b) = -2*h(b) - 5*u(b). Does 27 divide i(-8)?
True
Suppose 3*j - 2*n + 6 = 0, 0*n + 7 = -j - n. Let t be (-134 + -4)/(j - -2). Suppose -29 = 5*m - t. Is m a multiple of 4?
True
Let s(z) = -11*z - 95. Let t be s(-9). Suppose 0 = -t*y + 212 + 260. Is y a multiple of 19?
False
Suppose -8*u + 115 = 99. Suppose -2*o - 5*j = -1286, 2*o + o = u*j + 1948. Does 24 divide o?
True
Let s be ((-82)/(-6) + -5)*-3. Let t(y) = -y**3 - 26*y**2 - 4*y + 29. Is t(s) a multiple of 12?
False
Suppose -120*g + 540354 + 5846 = -6160. Does 6 divide g?
False
Let o be (4/(-2))/(13 + (-833)/63). Let s(x) = -x**2 + 49*x - 21. Does 5 divide s(o)?
False
Suppose 100 = 5*s + 5*a, 4*s - 5*s + 5*a + 32 = 0. Suppose -4*c + 25*k - s*k = -1144, 855 = 3*c - 3*k. Does 26 divide c?
False
Let j be (20/55)/((-6)/(-33)). Suppose -4*l - j*l = -2124. Is 8 a factor of l?
False
Suppose 12*l - 16*l = 0. Suppose 4*h + 4*n - 4 = l, 3*h + 0*h + 2*n = 5. Suppose c - 4*q = -h, -2*c + 5*c + q = 56. Does 3 divide c?
False
Suppose -c - 2*r = -31356, -2*c - 2*c - 3*r + 125404 = 0. Does 34 divide c?
True
Let g(l) be the second derivative of 11*l**4/4 + l**3/3 + 8*l**2 - 37*l + 3. Is g(-6) a multiple of 38?
False
Let l(k) = 11*k - 269. Let d be l(36). Suppose 0 = 2*w - 6*w - 364. Let s = d + w. Is s a multiple of 12?
True
Let a be 169*(-4 + -5 - -10). Suppose -g = 3*i - a - 479, -i + 3*g = -206. Is 15 a factor of i?
False
Let k = -11475 - -19665. Is k a multiple of 7?
True
Suppose -5759 = 21*t - 72329. Is 3 a factor of t?
False
Let m = 62705 + -37510. Is 98 a factor of m?
False
Suppose -1683 = -10*q + 2157. Suppose -2*i = -2*r + q, 8*r - 12*r + 767 = -5*i. Is r a multiple of 21?
False
Let g(o) = o**3 + o**2 + 3*o + 5. Let v be g(0). Suppose 25*t - 6600 = v*t. Does 25 divide t?
False
Let q = 3369 - 2390. Is 19 a factor of q?
False
Let b = -328 + 322. Does 14 divide (b/18)/(1/(98*-3))?
True
Let c = 3171 - 2140. Is 10 a factor of c?
False
Let j = 115 + -125. Is 3/6*5/(j/(-1092)) a multiple of 48?
False
Is 21 a factor of ((-1480)/(-888))/((-1)/3) + (0 - -19959)?
False
Suppose 101*p - 553722 = -66*p - 62*p. Does 17 divide p?
False
Let m(o) = -176*o + 83*o + 12 + 17*o. Is m(-5) a multiple of 8?
True
Is 12 a factor of 406/(-145) + 3 + 14879/5?
True
Suppose -506*s + 2321586 + 705179 = -6773443. Is s a multiple of 56?
False
Is 19 a factor of 996*(-15 + (-948)/(-48))?
True
Suppose 0 = -271*u + 276*u - 65. Let o(c) = 3*c**2 - 37*c + 4. Is 10 a factor of o(u)?
True
Let q(u) = 1083*u - 679. Does 11 divide q(6)?
True
Let m be ((-162)/(-24))/(3/24). Let p = m - -103. Let d = 232 - p. Is d a multiple of 25?
True
Let x(w) = -33*w + 4. Let z be x(-4). Let n = 12 - 11. Suppose j = z - n. Does 27 divide j?
True
Let d(f) = 40*f**2 + 335*f + 10169. Does 29 divide d(-35)?
True
Let u(f) = -f**3 - 5*f**2 - 15*f - 7. Let q(x) = x**3 + 4*x**2 + 15*x + 6. Let y(h) = 2*q(h) + 3*u(h). Is 16 a factor of y(-9)?
True
Let c(a) = a**3 - 12*a**2 - a + 16. Let k(j) = -j - 5. Let p be k(-15). Let v be c(p). Does 10 divide v/(-5) + 1/5?
False
Let c = -216 - -220. Suppose c*r - 2*v - 141 = 9, 5*r - 5*v = 195. Is 9 a factor of r?
True
Let r(m) = m**2 - 25*m + 34. Let d be r(24). Let c = 3 - 2. Is 3 a factor of (-2 - c)*d/(-3)?
False
Is 92 a factor of -55*(104/52 + (-224)/5)?
False
Suppose 5*t = 2*p + t - 42, 5*p + 5*t - 135 = 0. Let g = 31 - p. Is ((-452)/g)/(2/(-3)) a multiple of 43?
False
Let x(n) = 3*n**3 - 21*n**2 - 38*n + 66. Does 35 divide x(9)?
True
Let y(f) = -f**3 - 22*f**2 + 27*f + 92. Let b be y(-23). Suppose b = 11*q + 1387 - 5149. Is 8 a factor of q?
False
Let c(t) = -15*t**3 + 4*t + 17*t**2 + 11*t**3 - 5*t + 5*t**3. Let a be c(-17). Suppose u = -0*u + a. Is 3 a factor of u?
False
Let b(x) = 8*x**3 - 5*x**2 + 29*x - 100. Is 8 a factor of b(4)?
True
Suppose -m + 16 = 2*j + j, -5*m + 15 = 2*j. Let q be (j/3 + -1)*150/20. Suppose 3*f - q*f - 4*i = -200, 3*f - 332 = 2*i. Is f a multiple of 12?
True
Suppose 7*j - 265 = -433. Let a = 126 + j. Is a a multiple of 17?
True
Let c = 39347 - 36455. Is c a multiple of 6?
True
Suppose -22*x + 26*x - 10389 = -3*s, -x + 3461 = s. Does 58 divide s?
False
Suppose 0 = 4*f - 5*q - 29 - 11, 0 = f + q - 1. Suppose -11 = -2*a + g, 5*a + 5*g + 12 = 2. Suppose 1 + f = a*z. Is z a multiple of 2?
True
Let p(m) = 92*m**2 - 3*m + 3. Suppose 3*j - 6 = -2*v + 7*j, 5*v = -2*j - 21. Does 70 divide p(v)?
True
Let j(n) = 5*n**2 + 1 - 69*n + 71*n - 4*n**3 - 4*n**2. Let s be j(-1). Does 13 divide 10/s*(129 + 1)?
True
Let a(q) = 41*q**2 + 4*q - 2. Let i(d) = d**3 - 4*d**2 - 32*d - 4. Let o be i(8). Does 11 divide a(o)?
True
Suppose -p = -3*y + 13, -43 = -3*y - 3*p - 2*p. Suppose 7*t = y*t. Does 7 divide 60/2 + t/(-5)?
False
Let i(m) = -m**3 + 4*m**2 + 6*m - 6. Let v be i(5). Let k be (-82)/16 - v/8. Is 3/(k/((-320)/12)) a multiple of 4?
True
Let t(k) be the second derivative of -k**3/6 + 9*k**2/2 - 12*k. Let i be t(5). Suppose 0 = -3*r + 5*b + 342, i*r - 267 = 5*b + 194. Does 42 divide r?
False
Let a = 11 - 7. Suppose -40 + 128 = -a*o. Let g = o - -37. Does 15 divide g?
True
Let s = 113 + -29. Let a = -6800 + 7017. Let k = a - s. Is k a multiple of 23?
False
Let w(s) = 2208*s**2 + 219*s + 142. Is w(-5) a multiple of 127?
False
Let b(j) = -5*j - 12. Let g be b(-3). Suppose g*h - 982 - 530 = 0. Is 17 a factor of h?
False
Let s(g) = 21491*g - 113. Does 14 divide s(2)?
False
Let p = -7086 + 28982. Is p a multiple of 19?
False
Let f(v) = 3*v - 110. Let y be f(38). Suppose -b - y*h = -435 - 975, 5*h - 7035 = -5*b. Does 38 divide b?
True
Let w(m) = -3*m - 9. Let n be w(-3). Suppose -5*t + 110 - 450 = n. Let l = 194 + t. Does 9 divide l?
True
Suppose 48825 = -10*q - 21*q. Let p = -855 - q. Is 16 a factor of p?
True
Let u = 8631 - 6303. Does 97 divide u?
True
Let q(d) be the first derivative of 14*d - 13/3*d**3 + d**2 + 1/4*d**4 - 12. Is q(13) a multiple of 5?
True
Suppose -12*j + 10*j - 18492 = -4*q, 9246 = 2*q - 2*j. Is q a multiple of 69?
True
Let w = -17 + 15. Is 12 a factor of w - 6*(-32)/2?
False
Let n = 432 + -567. Is 9 a factor of n/(-6)*8*(-4)/(-5)?
True
Is (16/(-24) + (-364)/(-6))/(76/3762) a multiple of 9?
True
Let c be 334 - (1 + -1) - (21 + -23). Let w = -189 + c. Does 49 divide w?
True
Let y(m) = 2*m**3 - 9*m**2 - 10*m + 19. Let j be y(5). Is j/(-10) + (-1272)/(-5) a multiple of 15?
True
Let j(h) be the second derivative of h**7/252 - 13*h**6/720 - h**5/120 - 7*h**4/3 + 38*h. Let i(t) be the third derivative of j(t). Does 16 divide i(-3)?
True
Suppose 95*m = 202*m - 32236 - 21692. Does 42 divide m?
True
Let s = 141 + -111. Let n = -33 + s. Is (-30)/((-11 + n)/(-2))*-63 a multiple of 50?
False
Let m(s) = s**3 - 6*s**2 - 18*s + 20. Let g be m(8). Suppose -1141 - g = -5*j. Is 23 a factor of j?
False
Let n(x) = 4*x**2 - 8*x + 78. Let d be ((-76)/14 - -6) + 73/7. Is n(d) a multiple of 50?
False
Let z(h) = -8*h - 3. Suppose 0 = 4*s + 3*t - 28, 5*s - 21 = 2*s + 2*t. Let a be z(s). Let m = a + 7