Suppose 8*i = -l + 315. Is i a multiple of 14?
True
Let f be (732 - 1)/((0 + 4)/4). Let v = f - 157. Is 14 a factor of v?
True
Let i be 398/5 - (-76)/190. Let a = i + -7. Does 5 divide a?
False
Let a(q) = 12*q**3 - 2*q + 2. Let n be a(-2). Let u = n - -41. Let p = u + 182. Is 25 a factor of p?
False
Let p(d) be the third derivative of -5*d**2 + 0 + 1/15*d**5 + 0*d + d**3 - 1/24*d**4. Is p(-3) a multiple of 18?
False
Let r(y) = -y**2 - 7*y. Let w be r(-6). Let q be (3 - 1)*-1*309/w. Let g = -40 - q. Is g a multiple of 4?
False
Let p(z) = z**3 + 8*z**2 - 11*z - 15. Let d be p(-9). Is 3 a factor of (-31 + 34)*1/(d/38)?
False
Let j(k) = k**2 + 6*k - 7. Let h be j(-7). Let x be (-6)/(-18)*(-4938)/(-2). Suppose -8*n + x + 153 = h. Is n a multiple of 26?
False
Let q(t) = 32*t**2 + 620*t + 40. Does 2 divide q(-20)?
True
Let h(f) = -f + 13. Let g be h(9). Suppose g*i = i + 45. Suppose 4*b = -o - 0*o + i, -45 = -5*b + 4*o. Does 3 divide b?
False
Let p(c) = -123*c**2 - 1728*c + 3. Does 7 divide p(-6)?
True
Let k(f) = -23 + 5 + 2*f - 5*f + 5*f. Let b be k(11). Suppose 9*g + b*g - 3458 = 0. Is g a multiple of 39?
False
Let u(m) = 4*m - 12. Suppose 3*c - 6*h + 2*h = -8, 4*c + 3*h - 31 = 0. Let l be u(c). Suppose -3*g = -g + 8, -l*t = -g - 260. Is 8 a factor of t?
True
Suppose 67*y + 4 = 71*y. Let n(a) = 41*a - 4. Is 17 a factor of n(y)?
False
Let d(j) be the third derivative of j**8/20160 - j**7/630 - j**6/80 - j**5/12 - 17*j**2. Let b(s) be the third derivative of d(s). Is b(-7) a multiple of 16?
True
Suppose x - 3*z + 162 = -2*z, z = -5*x - 810. Let c = x + 173. Does 11 divide c?
True
Suppose -3*r - 563 - 106 = 0. Let k = -113 - r. Suppose -3*c - k = -383. Does 10 divide c?
False
Let h(c) be the third derivative of 21*c**4/8 + 23*c**3/3 + 22*c**2 - 2*c. Does 8 divide h(5)?
False
Let p(k) = k**3 - 2*k**2 + 4*k + 13. Let x be p(7). Suppose -2*b + x = -194. Suppose 0 = -13*i + 17*i - b. Is 30 a factor of i?
True
Is (-62551)/(-2) + 37/1110*15 a multiple of 78?
False
Let t(h) = -h**2 + 114*h + 189. Does 68 divide t(68)?
False
Does 14 divide (-3 - 0)*(230 + -10182)?
False
Let b(z) = -524*z + 325. Is 9 a factor of b(-5)?
False
Let g(l) = -l**3 - l**2 - 2*l + 3. Let z be g(0). Suppose 12 = -0*c + z*c. Suppose -r - h + 4*h + 177 = 0, c*r + 5*h - 623 = 0. Is 20 a factor of r?
False
Suppose 136*b + 512564 + 260236 = 192*b. Does 92 divide b?
True
Let c(l) = -3*l**3 + 74*l**2 - 29*l + 80. Is 4 a factor of c(24)?
True
Let m(i) = 4*i**3 - 10*i**2 + 12*i - 7. Let o(f) = 5*f + 66. Let z be o(-12). Does 14 divide m(z)?
False
Does 23 divide 101592/56 - 0 - 2/14?
False
Let k(m) = 31*m**2 + 20*m - 241. Is k(8) a multiple of 10?
False
Let x = -78 - -184. Let a be 3 + (-62)/22 - x/(-22). Suppose -4*z = -f - 31, a*z + 15 - 57 = -2*f. Is z a multiple of 4?
True
Let w(p) = -p**3 - 85*p**2 + 509*p - 9. Is w(-95) a multiple of 7?
False
Let f(d) be the first derivative of 10*d**3/3 - 23*d**2/2 - 22*d - 101. Does 10 divide f(-10)?
False
Let c = -884 - -897. Suppose 21 = -4*a + c, -4*a = -w + 18. Is w even?
True
Let m(w) = w + 13. Let a be m(-15). Let s(p) = -37*p - 15 + 16 - 6. Is 34 a factor of s(a)?
False
Let m(l) be the first derivative of 15*l**2/2 - 44*l - 15. Is 14 a factor of m(6)?
False
Suppose 0 = 2*k + 2*s - 87938, -5*s - 194083 = -5*k + 25752. Is 23 a factor of k?
False
Suppose -5*f + 9*f - z - 65 = 0, -5*z = 25. Suppose -5*k = 10, -2*a + 2*k = 9 - 41. Suppose -f*p = -a*p - 16. Does 3 divide p?
False
Let h be (-53382)/(-8) - (4 - 68/16). Suppose -45*a + 2777 = -h. Does 14 divide a?
True
Does 21 divide 40/8*(-21304)/(-140)*7?
False
Let n be (-4)/6 - ((-3120)/18)/(-1). Is (-4)/(-9)*-3*n a multiple of 13?
False
Let w(z) = -z**2 + 3*z + 1. Let j be w(4). Let c(n) = -14*n + 2 + 4 - 19*n + 9*n**2 + 38*n - 2. Is 14 a factor of c(j)?
True
Suppose -30*x + 42760 + 106640 = 0. Is 154 a factor of x?
False
Suppose 40202 + 63998 = 20*w. Does 23 divide w?
False
Suppose 3*h = r - 31 + 29, -2 = -r + 4*h. Suppose 0 = 2*g + g - 786. Suppose r*s - g = -0*s. Is 14 a factor of s?
False
Suppose 97*w - 22929 = 7335. Is 13 a factor of w?
True
Let q(r) = -3*r - 23. Suppose -46 = 4*w + 2*g, -2*g + 3 + 14 = -3*w. Let o be q(w). Suppose -o*n = 3*n - 672. Is n a multiple of 10?
False
Let u = 3959 - -10000. Does 99 divide u?
True
Let h = -188 + 110. Let a be h - (-2)/((-8)/(-12)). Is (a/4)/(45/(-240)) a multiple of 25?
True
Let h(r) = -r**3 - 8*r**2 + 6*r - 23. Let l be h(-9). Suppose 3*i = -7 + 10, l*u - 2487 = -3*i. Is 52 a factor of u?
False
Suppose 11*g - 9 = 2*g. Does 18 divide g/(4/(-1080))*(1 + -2)?
True
Let q = 35 - 35. Suppose q = -2*h - 0*h + 12. Let i(p) = p**3 - 7*p**2 + 8*p - 9. Is i(h) a multiple of 3?
True
Let t(b) = 49*b + 2793. Is t(30) a multiple of 7?
True
Is 14 + (-3071233)/(-55) - (-1 + 12/20) a multiple of 24?
False
Let f be (7/(196/(-48)))/(14/(-2695)). Does 19 divide f + ((-210)/6)/5?
True
Let g(v) = 42*v**2 - 52*v + 160. Is 23 a factor of g(3)?
False
Let n = 15638 + -3758. Is 33 a factor of n?
True
Suppose 7*p - 30 = 2*p. Let n(s) = -s + p*s - 5 - 4*s + 18. Is n(-8) a multiple of 3?
False
Let h(d) = 182*d - 602. Does 68 divide h(19)?
True
Suppose -y = 2*y + 4*k - 1297, k - 2173 = -5*y. Suppose -12*d + y = -7*d. Suppose h - 54 = -s, 0 = -3*s + 5*h + d + 51. Is s a multiple of 17?
True
Let o(j) = 977*j + 8886. Does 25 divide o(7)?
True
Let g(q) be the third derivative of -307*q**4/24 + 13*q**3/6 + 14*q**2. Is g(-2) a multiple of 33?
True
Let m(p) = p**2 + 5*p + 9. Let g be m(-2). Suppose 5*c = -z - g - 4, 4 = -2*c. Suppose 4*l - z*l - 54 = 0. Is l a multiple of 27?
True
Is 14 a factor of (-32 - (-180)/6)*3049*(-2)/4?
False
Suppose q - 29 - 1 = -5*p, 5*p = 5*q. Suppose q*y = -t + 242, 90 = 2*y + 4*t - 7*t. Suppose o - 8 = -s + 32, o - y = -3*s. Does 5 divide o?
False
Let z(d) = d + 9 + 1 - 12*d**2 - 3 + 7*d**2 + d**3. Let k be z(5). Let o = k + 14. Is 2 a factor of o?
True
Suppose 7*r - 76 = -13. Suppose r*k - 12*k - 4*u + 1968 = 0, -2*u = 2*k - 1312. Is k a multiple of 45?
False
Let w(o) be the second derivative of o**4/4 + o**3/6 - 71*o**2/2 - 5*o - 2. Is w(-10) a multiple of 10?
False
Let i be (-64)/(-16) + 0 + 0. Suppose 0 = -i*g + 5*g - 3. Suppose -2*h = 0, -g*t - 2*h + 3*h + 279 = 0. Is 31 a factor of t?
True
Let h(s) = 2*s + 11*s + 7 + 33*s**2 - 21*s**2. Does 7 divide h(-4)?
True
Let p(w) = -1940*w + 9977. Does 11 divide p(-10)?
False
Let k(o) = -9*o**3 - 3*o**2 - 30*o - 131. Is 27 a factor of k(-7)?
False
Let i = -57 + 147. Let r be 1/5 + (-3)/(i/(-3354)). Is 23 a factor of 9/(-2)*r/(-21)?
False
Let t = 15186 + -12141. Is 29 a factor of t?
True
Let u = 14642 - 11510. Does 16 divide u?
False
Suppose -3*q + 2*q = 0. Suppose -6*x = -q*x - 1050. Does 11 divide 4/(-1)*x/(-14)?
False
Suppose -3*m = -13 + 19. Is 36 a factor of (13 - 15)*(-918)/((-6)/m)?
True
Let c(b) = b**2 + 3. Let n be c(2). Suppose -n*h + 8*h = -124. Let v = -68 - h. Is v a multiple of 8?
True
Does 14 divide (-5)/(-45) + -6*41330/(-135)?
False
Let x(v) = v**3 + 5*v**2 - 36*v - 175. Let r be x(-5). Is (-2 - (-3 + 106))/(r/(-30)) a multiple of 7?
True
Let s(j) = j**3 - 7*j**2 + j - 7. Let y be s(6). Let r(p) = -p**3 + 10*p**2 - 8*p + 5. Let d be r(6). Let k = d + y. Is 16 a factor of k?
True
Let t(f) = -f**3 + 31*f**2 + f - 29. Let s be t(31). Let q(n) = -60*n**2 - 4*n - 1. Let p be q(s). Let i = p - -392. Does 21 divide i?
False
Does 191 divide -39*(-93145)/2535 - (-1 - 1)*-2?
False
Let g = -1673 - -1159. Let x = g + 754. Is x a multiple of 15?
True
Is (18 + 116/29)/(((-1)/24)/(-1)) a multiple of 8?
True
Let v be (((-30)/9)/5)/((-2)/168). Let h = v + 319. Does 23 divide h?
False
Suppose 3*l = 4*w - 718, -811 + 109 = -4*w - 5*l. Let h = -817 + 739. Let z = w + h. Does 25 divide z?
True
Suppose 52*u + 60*u - 36*u = 7144. Is u a multiple of 55?
False
Suppose 2*i + i + y - 16 = 0, 4*i = -3*y + 23. Suppose 0 = 4*m + i*f - 745, 5*m = -4*f + 227 + 693. Does 46 divide m - (-2 + (-2 - 0))?
True
Is 10 a factor of (78/(-30) + (-20)/50)/((-5)/15285)?
False
Let j = -6037 - -7657. Does 30 divide j?
True
Is 291321/21 + (33/21 - (8 - 6)) a multiple of 6?
True
Let p(v) = v**3 + 7*v**2 - 4*v + 8. Let x = -38 - -17. Let d = x - -14. Does 9 divide p(d)?
True
Suppose 0 = -2*d + 5*j + 14954, -97*d + 101*d + j = 29974. Does 4 divi