l be (56/(-6))/(4*(-2)/12). Let c(g) = g**2 + 6*g + 6. Let n be c(l). Let m = -170 + n. Is m a multiple of 30?
False
Does 5 divide 3686 + ((-24)/44 - 30/66)?
True
Is 14 a factor of ((-218)/6)/(-137 - -138)*(-43 - -1)?
True
Suppose -q = -l + q + 2558, 2*l + 3*q = 5081. Suppose -4*d + l = 3*d. Suppose z = -4*u - 0*z + d, 4 = z. Is 45 a factor of u?
True
Let c(v) = 4*v**2 + 23*v - 99. Suppose 5*m = -4*a + 47, 4*m - 2*a - 26 = -4. Does 9 divide c(m)?
False
Let z(y) = -y**3 + 20*y**2 + 8. Let r be z(19). Let p = 799 - r. Is p a multiple of 43?
True
Let r be 2/4 - (-58)/(-4). Let q(l) = 64*l + 64*l - 133*l - 7. Is q(r) a multiple of 9?
True
Suppose -87*m + 83177 - 875 = 0. Does 9 divide m?
False
Let s(d) = 14 + 31 + 8*d + 12*d + 106 + 2*d. Is s(-4) a multiple of 13?
False
Let p be (1*176)/(-2) + 2. Suppose 2*w - 3*i = -i - 80, 0 = -i - 5. Let t = w - p. Is 41 a factor of t?
True
Is 127 a factor of (-81903)/(-15) + 136/170?
True
Is (374/1683 - (-394)/9)*2046/8 a multiple of 11?
True
Suppose -9*k - 11*k = -18*k. Suppose k = -187*c + 195*c - 1808. Is 6 a factor of c?
False
Let r be (-15)/25 + (-2)/5 - -9. Does 2 divide (1 - -3*r)*2?
True
Suppose -516 = 34*n - 30*n. Let a = n - -93. Let l = 49 + a. Does 13 divide l?
True
Suppose 1233 + 1925 = -2*c. Let w = -771 - c. Is w a multiple of 40?
False
Let v(m) = -5*m + 64. Let l be v(-8). Suppose -3*a + l = -814. Is 34 a factor of a?
True
Suppose -415 - 143 = -3*w. Let i = 218 - w. Is i a multiple of 4?
True
Let p(a) = 2. Let j(c) = c**2 - 50*c - 10. Let d(z) = -j(z) - 3*p(z). Is 15 a factor of d(21)?
False
Let q be 2*-2*((-198)/4 - -1). Suppose -4*h = -5*y - 207, -4*y = -4*h + q + 10. Is h a multiple of 8?
True
Suppose -29*y = -23*y - 1260. Let a = y - 101. Does 17 divide a?
False
Let i be 210/((-1)/22*-3). Suppose 16*f - i = 9*f. Is f a multiple of 20?
True
Suppose 11*c - 36200 = -9*c. Suppose 0 = g - r + 2*r - 362, c = 5*g - r. Does 8 divide g?
False
Suppose -5*l - 70415 = -2*q, 4*q - 74*l + 76*l = 140842. Is 10 a factor of q?
True
Let p(v) = -v**3 - 28*v**2 + 2. Let g be p(-28). Let r be g/(-12) - (2380/(-24) + -4). Let i = 35 + r. Does 17 divide i?
False
Let h = 105 - 126. Let o be h/(-2)*11/(385/60). Let n = 36 + o. Is 9 a factor of n?
True
Let h = 84 + -452. Let u = 88 - h. Does 38 divide u?
True
Suppose 2*k - w - 19 = 0, -6*k + 5*k - 4*w - 4 = 0. Suppose 372 = k*a - 2*a. Suppose 35 = 2*c + 3*y, -2*c - 3*c + a = -y. Does 13 divide c?
True
Let k be 7*(-48)/(-40)*(-30)/(-3). Is 630/k*219*4/18 a multiple of 73?
True
Let y(d) = 138*d + 2286. Is y(7) a multiple of 8?
False
Suppose 0 = -66*r + 63*r + 12. Let i(l) = -5 + 999*l - 500*l - 493*l + l**3 - 2*l**2. Is i(r) a multiple of 17?
True
Let t = -19 - -26. Suppose -3*f + 9 = 2*r, 4*r - 3*f + 16 - t = 0. Suppose r*b = b - 66. Is b a multiple of 9?
False
Suppose 5 = -96*p + 97*p. Suppose p*n = 5411 + 6189. Suppose -35*c = -27*c - n. Does 58 divide c?
True
Suppose 16*s - 521044 = -22*s - 55392. Is 11 a factor of s?
True
Let q(g) = 3*g**2 + 30*g - 15. Let i(l) = -l. Let v(y) = 3*i(y) - q(y). Let k be ((-20)/(-4))/(7/(-21)) - -4. Does 14 divide v(k)?
False
Suppose -253*a + 1198800 = -68*a. Is a a multiple of 54?
True
Suppose -110*z - 88*z + 196510 = -155*z. Does 35 divide z?
False
Let k(j) be the second derivative of -j**5/10 + j**4/4 + j**3/3 - 7*j**2 + 16*j - 2. Does 7 divide k(-7)?
True
Suppose 5*q + 30*y - 42077 = 29*y, 25263 = 3*q - 5*y. Does 42 divide q?
False
Let x(i) = 3*i**2 - 5*i - 340. Does 2 divide x(22)?
True
Suppose 0 = -28*o - 22*o + 4450. Suppose k + 186 = 4*k. Let n = o - k. Is 27 a factor of n?
True
Let p(s) = 2*s - 24. Let b(h) = -h**2 - 4*h + 21. Let u be b(-7). Let c(j) = j + 14. Let z be c(u). Is 4 a factor of p(z)?
True
Let s(x) = x**2 + 16. Let v(z) = 1 - z**3 - 7*z**2 - 1 + 0*z**2 + z - 2. Let l be v(-7). Is s(l) a multiple of 22?
False
Suppose 0 = -2*l + f + 148, 4*l - 6 - 300 = -3*f. Suppose l*x - 2706 = 69*x. Does 55 divide x?
False
Suppose -136*f - 50692 = -165*f. Does 23 divide f?
True
Let p = 23039 - 6735. Is 135 a factor of p?
False
Suppose 5*q - 23 = -p, 7*q = 11*q - 2*p - 10. Suppose -q*c + 554 = -4*o - 542, -5*o - 266 = -c. Does 55 divide c?
False
Let m be 542/(-4)*66/(-11). Does 23 divide 6*6/108*m?
False
Suppose 3*p = 3*v + p - 23518, 4 = 4*p. Is 28 a factor of v?
True
Suppose -3*l = 4*f - 6*l - 39, -4*l = 20. Suppose -f*t + 567 = -81. Is t a multiple of 9?
True
Suppose 0 = 10*f + 3*f + 1209. Let h be (-106 - -1)/((-9)/9). Let j = h + f. Does 6 divide j?
True
Let h(j) = j**2 - 2*j - 42. Let t be h(-6). Is (-5642)/(-39) - t/9 a multiple of 16?
True
Suppose -11652 = -56*o + 3636. Does 141 divide o?
False
Let q(h) = 6*h**2 - 7*h - 3. Suppose 0 = -5*b - 33 + 368. Let r = -63 + b. Is q(r) a multiple of 5?
True
Suppose -18788 = -o + 5*a, -2146 = -2*o + 4*a + 35436. Does 89 divide o?
False
Suppose -16*g - 113098 = -70*g + 1004378. Is g a multiple of 6?
True
Suppose -38273 = -4*t + r, 2*r = -11*t + 10*t + 9584. Is t a multiple of 293?
False
Let u = 8 + -7. Suppose 5*v + k = 578, 2*k + u = -3. Let m = 188 - v. Does 19 divide m?
False
Let u(r) = 165*r**3 - r**2 - r + 1. Let p(a) = -a**3 + 5*a**2 + a. Let n be p(5). Let d be (-6)/(-4) - n/10. Is 27 a factor of u(d)?
False
Let t = 0 - 25. Let n be 5/t*(-147 - -2). Let s = n + 6. Is 22 a factor of s?
False
Let y = -4628 - -12338. Does 15 divide y?
True
Suppose j = 4*b + 324, -b = 4*j + 390 - 1754. Suppose -j = 6*x + 1748. Let p = x + 672. Is 36 a factor of p?
True
Suppose -899*c = -892*c - 42938. Is c a multiple of 10?
False
Let r(a) = a**2 + 6*a + 14. Let m be r(-4). Does 13 divide (24/m - 39)*(-50)/7?
False
Let i = 210 + -208. Suppose 2*c + 2*l = 172, -4*c - 3*l = -i*c - 173. Is c a multiple of 17?
True
Let u(m) = 3*m**2 - 17*m + 25. Let i be u(2). Suppose 2*p - 5*j = 1065, -p + 6*j = i*j - 535. Does 29 divide p?
False
Suppose 880949 = 75*t + 10649. Is 31 a factor of t?
False
Let j = 4952 + 5488. Is j a multiple of 60?
True
Let d(y) = 22*y**3 + y**2 + 2. Suppose -15*n = 96 - 276. Suppose -23*q + 17*q + n = 0. Is d(q) a multiple of 29?
False
Suppose -8*s + 3*s - 35 = 0. Let p(w) = -4*w**3 - 2*w**2 + w + 8. Let b be p(s). Suppose j = 5*m - 0*j - b, m + 4*j - 255 = 0. Does 15 divide m?
True
Let k(x) = -45*x + 36. Let m be (-22)/4 + (0 - (-8)/16). Is k(m) a multiple of 21?
False
Let b be 71/(-355) + 3292/10. Suppose m + 4*v - b = 0, -5*m + 4*v - 469 + 2090 = 0. Is m a multiple of 17?
False
Let t(g) = -g - 1. Let p be t(-1). Suppose 7*i - 9*i + 14 = p. Let f(q) = q**2 - 4*q + 29. Is 9 a factor of f(i)?
False
Suppose 0 = a + 2. Let u be (10 - 4)*a/(-6) + 8. Suppose 2*k + 2*k + q = 59, -k - 5*q = -u. Is 5 a factor of k?
True
Let i = -2 - -1. Let d be -4 - (-4 + 3/1 + -1). Is 12 a factor of (24 + i)/(d/(-4))?
False
Suppose 664*u - 2704435 = 30028773. Is u a multiple of 51?
False
Let s(l) = -24*l + 3078. Is s(-45) a multiple of 189?
True
Suppose 7*c - 2*n = 4*c + 28, n - 1 = 0. Let p(j) = 49*j - 31. Is p(c) a multiple of 27?
True
Let o = -390 - -434. Is 15 a factor of (-10)/(-55) + (-4 - (-54156)/o)?
False
Let r(g) = -g**3 + 24*g**2 - 24*g + 27. Let a be r(23). Suppose c - 217 = 5*o - 717, a*c + 500 = 5*o. Is 10 a factor of o?
True
Suppose p + p = z - 13, -4*z - 5*p = 13. Suppose 5*o + 4 = 5*m + 9*o, z*o = m + 3. Suppose 19*a - 21*a + 96 = m. Does 8 divide a?
True
Suppose 0 = -3*c + 10 + 5. Suppose 5*m - c = 10. Suppose f - 23 - m = 0. Is f a multiple of 6?
False
Let f(t) be the third derivative of t**6/60 + 13*t**5/60 - 5*t**4/12 - 4*t**3/3 + 4*t**2 + 1. Does 44 divide f(-6)?
True
Suppose 0 = -3*q - 5*m + 5, 3*m - 3 = 3*q. Let z = 167 - -328. Suppose -5*b = -q*b - z. Is b a multiple of 9?
True
Let u(c) = 25*c**3 - 13*c**2 + 13*c + 12. Does 6 divide u(2)?
True
Let w(s) = 655*s**2 + 67*s - 247. Is w(4) a multiple of 106?
False
Let t(h) = -2157*h + 7079. Is t(-5) a multiple of 232?
True
Let f = 617 + -876. Let y = -189 - f. Does 10 divide y?
True
Let n(g) = -g**2 - 3*g + 138. Suppose -h - 7 = 5*u - 2, 4*u = 5*h + 25. Is 46 a factor of n(u)?
True
Let w = -79 + 195. Let d = -32 - 14. Let u = d + w. Is u a multiple of 19?
False
Does 73 divide (-2106804)/(-156) + -4*8/416*2?
True
Let n be ((-4)/6)/((-4)/(-30)*-1). Suppose 0*h - 3*q + 22 = -2*h, -41 = n*h - 4*q. Let f(w) = -11*w + 5. Is 31 a factor