(-370)/10. Let b = -23 - k. Does 7 divide b?
True
Let q be (-12)/10*15/(-6). Suppose 3*o - 28 = -q*l + 2*o, -2*l - 3*o = -21. Is 5 a factor of l?
False
Suppose -g - 5*w = -5*g - 5, -5*g + 4*w + 5 = 0. Suppose -3*b + 47 = i - 0*i, 20 = g*b. Is i a multiple of 19?
False
Let a = 616 + 219. Let p = a - 575. Is 26 a factor of p?
True
Let c(q) be the first derivative of q**3/3 + 3*q**2/2 + 66*q - 65. Is 41 a factor of c(-15)?
True
Suppose 6 = 2*j - 0, 3*b + j - 201 = 0. Suppose 4*c - 54 - b = 0. Does 3 divide c?
True
Let u = -1149 - -1611. Let t = 671 - u. Does 13 divide t?
False
Suppose -2*p - 2*p = 2*k - 94, 38 = 2*p - 2*k. Suppose -2*z + p = -5*h, 5*z - 2*z = -3*h - 9. Does 18 divide 1*h + (5 - -46)?
False
Suppose -126*a = -97*a - 74965. Does 11 divide a?
True
Suppose 42 - 6 = 12*v. Suppose -8*o + v*o + 20 = 0. Suppose o*a - 136 = 5*s - 41, -s = -3*a + 63. Does 10 divide a?
True
Suppose -39 = -y - 5*g, 26*y - 2*g + 70 = 28*y. Let f = -215 + 130. Is 41 a factor of y/f - ((-2874)/(-10))/(-1)?
True
Let n(d) = -d**3 - 7*d**2 - 17*d - 25. Let r be n(-10). Suppose 5*l = -4*b + 965, -r = 4*b - 6*b + 5*l. Let i = -165 + b. Does 16 divide i?
False
Suppose -57*y - 882 = 6*y. Let f(c) = -5*c**3 + 0*c**3 + 10*c + 4*c**3 - 11 - 13*c**2. Is 9 a factor of f(y)?
True
Does 20 divide 2800/(-32)*(1 + -2 - 3)*8?
True
Let m = 1229 + -735. Suppose -2*f + 384 = -2*l + 6*l, -5*l + m = -f. Suppose 0 = 3*k - l - 82. Does 30 divide k?
True
Suppose -7*s - 3*q = -3*s - 1061, 3*q = -15. Does 2 divide s?
False
Let a = 135 + -130. Let s be (-182)/(-4) + 4/(-8). Suppose -a*b + s + 100 = 0. Does 29 divide b?
True
Suppose d = 4*t - 23217, 7*t - 29025 = 2*t + 5*d. Is 66 a factor of t?
False
Is -4 + 4 - 7190/(-2) a multiple of 101?
False
Suppose -2*a - 2*m = -212, -3*a + 101 = -m - 205. Let p = a - -148. Does 22 divide p?
False
Let v(k) = 2*k**2 - 24*k + 3. Let g be v(11). Let t = 27 - g. Is t a multiple of 2?
True
Let h(v) = 4*v**3 + 26*v**2 - 5*v - 56. Is 68 a factor of h(12)?
True
Is ((-35290)/(-8) + (-20)/16)/2 a multiple of 105?
True
Is 8269 + -10*133/95 a multiple of 14?
False
Let d be 627/171*(11 - (-1)/1). Does 26 divide (-4110)/(-8) - (-11)/d?
False
Let m = -15035 - -34226. Does 107 divide m?
False
Let u = -319 - -298. Suppose 4*v = 118 + 494. Let k = v + u. Is 11 a factor of k?
True
Suppose -5*w + 23142 = -6948. Is w a multiple of 303?
False
Let t be (2/(-48) + (-69)/(-184))*-30. Let l(k) = -34*k - 162. Is 19 a factor of l(t)?
False
Let p(x) = 17*x**2 + 507*x + 56. Is p(-36) a multiple of 36?
False
Let i(r) = 17*r + 4*r**2 - 8*r**3 + 13*r - 30*r + 4. Let u be i(-3). Suppose 3*o = 7*o - 2*s - u, -o + 2*s + 61 = 0. Is 20 a factor of o?
False
Let c(g) = -g + 16. Let q be c(13). Suppose -q*b - v - 4*v + 35 = 0, 0 = 4*b - 5*v. Suppose -4*w = -p - 418, -b*w - 2*p = -2*w - 308. Does 26 divide w?
True
Let n = 101 - 135. Let v = n + 72. Does 5 divide v?
False
Suppose -5*b + m = -218, -b - b + m = -86. Let t = -28 + b. Suppose 5*i = s + 384, s + t = -3*s. Is 12 a factor of i?
False
Suppose -36*i + 7*o + 79 = -31*i, -3*o - 71 = -4*i. Does 4 divide i?
True
Let m be 42/11 - 6/(-33). Suppose 18*s - 15*s - 395 = -m*y, 3*s + 5*y - 394 = 0. Is 13 a factor of s?
False
Does 15 divide (-186462)/(-22) + (-204)/374?
True
Let p(x) = -244*x - 659. Let j(l) = 61*l + 165. Let i(q) = 22*j(q) + 6*p(q). Does 6 divide i(-9)?
True
Let g(x) = 428*x**2 - 214*x - 1292. Is 10 a factor of g(-6)?
True
Let u be (-1752)/(-2) + (-210)/(-35). Suppose 4293 = 25*w - u. Does 59 divide w?
False
Suppose -3*g + 4 + 5 = 0. Let o = g - 20. Does 12 divide o/68*(-332 + 0)?
False
Suppose 0 = -67*j - 128*j + 642720. Does 99 divide j?
False
Let y be (-7)/(42/(-78)) + -5. Is 3 a factor of ((-162)/y)/(58/(-232))?
True
Let y(x) = x**3 - x**2 - 3*x - 4. Let g be y(3). Suppose 3*q = 12, 0*b = g*b - 3*q - 363. Let w = -45 + b. Does 10 divide w?
True
Suppose 9*l = 255 - 75. Let b = 164 - l. Does 16 divide b?
True
Let r(w) = w**2 + 12*w + 3. Let x be r(-12). Let f be (-6 - -3)*x/(-3). Suppose -f*p - p = -720. Is p a multiple of 45?
True
Let d(x) = 8*x**3 + 2*x**2 - 4*x. Let m be d(4). Suppose 150 = -2*q + m. Let b = q - 120. Does 23 divide b?
True
Suppose 9*u = 1088 - 4526. Let f = -261 - u. Let s = -22 + f. Does 9 divide s?
True
Let d(k) = -7*k - 15. Let f(l) = l + 21. Let b(t) = 22. Let w(r) = -5*b(r) + 6*f(r). Let u(c) = 5*d(c) + 4*w(c). Is u(-7) a multiple of 11?
True
Let k be (-12)/(-66) + (-114)/22. Does 13 divide ((-1778)/(-6))/(k/(-15))?
False
Suppose -5*k - 22316 = -2*h, -6*h - 44664 = -10*h + 2*k. Is h a multiple of 74?
False
Suppose -j = 3*q - 2, -4*j + 8 = 9*q - 10*q. Suppose l - j*l - 2*o + 28 = 0, 0 = -l - 4*o + 22. Does 8 divide l?
False
Let j be (-378)/(-6) + 0/1. Let t = j - -52. Does 5 divide t?
True
Let k(m) = m**3 + 7*m**2 + 3*m + 8. Let w be k(-6). Let g = w - 27. Does 14 divide 1 + (-53)/g + 2?
True
Is 32 a factor of (-194)/291 + (-18338)/(-3)?
True
Is (-80)/(-10)*((-2169)/(-27))/((-8)/(-102)) a multiple of 12?
False
Let f(q) = 5*q**3 - q - 1. Let t be f(-1). Let u = 5 + t. Suppose u = m - i - 3, -15 = i - 6*i. Is 2 a factor of m?
True
Suppose 0 = -2*s - 73 + 57. Let d be 10*(s/10 + 0/8). Let x(j) = -2*j - 7. Does 2 divide x(d)?
False
Let o(v) = 0 - 12 + 5 + 5*v + 1. Let a be o(2). Suppose -w - 3*p = -60, a*p - p = -4*w + 222. Is 27 a factor of w?
True
Let l = -1864 - -2439. Is 25 a factor of l?
True
Let p = 20165 + -3655. Does 65 divide p?
True
Let h = 3696 - -593. Is 20 a factor of h?
False
Suppose 3*x - 2*x = 32. Suppose -3*z = z - x. Is 4 a factor of 178/z - (-21)/28?
False
Let f = -24 + 25. Let s be 1503*f*(-3)/(-9). Let t = s - 357. Is t a multiple of 36?
True
Let v be -87*(138/(-18) - -3). Suppose 269 + v = 9*r. Is 5 a factor of r?
True
Suppose 15*y + 14*y = 0. Suppose y*p = -19*p + 6137. Is 19 a factor of p?
True
Suppose j - 4599 = 4*d + 3939, -5*d = 10. Is 10 a factor of j?
True
Let y be ((-18)/2)/(((-189)/14)/9). Is 18 a factor of 1/(3*y/5922)?
False
Suppose -2*h - 11 = c, 3*c + 18 + 7 = 2*h. Let r be ((-5)/(-15))/(3/c). Let l(i) = -193*i - 4. Does 9 divide l(r)?
True
Let i(p) = -2*p**2 - 2*p - 30. Let r be i(4). Let n = r - -112. Does 5 divide n?
False
Let c be 1 - (-938 + (0 - (1 + -2))). Let u = c + -535. Does 13 divide u?
True
Suppose -12 = -2*z - 4*b, -5 = z - 3*b - 6. Suppose 0 = -l - 3*h + 219, -l + 46 = z*h - 177. Is 27 a factor of l?
False
Let g = 16994 + -11428. Suppose 2*l + g = 4*j, -2*l + 3067 + 3886 = 5*j. Is j a multiple of 105?
False
Suppose 3*r - 74*b + 76*b - 89682 = 0, 0 = r + 4*b - 29894. Is r a multiple of 33?
False
Suppose 4*l - 16 = 0, 4*l - 4 = -3*r + 18. Let f = r + -18. Is 16 a factor of (-7)/(-2)*(-6 - f) - 4?
False
Let f = 5068 + -3808. Is f a multiple of 42?
True
Suppose -24*q + q = -109204. Is q a multiple of 9?
False
Let q = -293 - -891. Let j(c) = -133*c. Let l be j(-2). Suppose q = 6*u - l. Does 19 divide u?
False
Let f(v) = 33*v + 152. Let y be 0 + (0 - 5/5)*-26. Is f(y) a multiple of 10?
True
Let r be (4/(-14) + (-2)/(-7))/(-3). Suppose -3*m - 10*m + 91 = r. Does 3 divide -11 + m - 32/(-2)?
True
Let q(c) = 315*c**2 + c + 1. Suppose -8*m + 6 = 14. Let l be q(m). Let f = l - 225. Is f a multiple of 15?
True
Suppose 5*l - 10 = 0, -5*c - 23 + 3 = -5*l. Let g be 63 - (-3)/c*-2. Let i = g + -21. Is 5 a factor of i?
True
Let t(x) = -901*x - 8. Let a be t(-1). Let d = a + 320. Is 15 a factor of d?
False
Let c = -129 + 201. Let a be ((-35)/(-14))/(3/c). Let q = -25 + a. Is q a multiple of 7?
True
Let v(b) = 27*b**3 - b**2 - 3*b + 1. Let k be v(2). Let u be ((-384)/40)/(-12)*10 + -3. Suppose -u*a + k + 188 = 5*o, -3*o + a = -233. Is 26 a factor of o?
True
Suppose 5*k + 0*k + 5*f = 15, 3*f = 2*k + 9. Let c be 40/(-2)*13 - k/(-2). Let t = 414 + c. Is 27 a factor of t?
False
Suppose a + 102 = h, 0 = -h - 4*a + 41 + 76. Suppose -6*m = -7*m + 5*o + 77, 0 = m + 2*o - h. Does 8 divide m?
False
Suppose 13*q = 12*q + 1888. Let x be 4/18 + q/(-72). Is (x/7)/((-5)/35) a multiple of 13?
True
Let d(i) = -4*i - 8 + 15 - i + 17. Let o(z) = -2*z**2 + 9*z + 1. Let m be o(5). Is d(m) a multiple of 4?
True
Suppose 22*m - 42 = 8*m. Suppose -w + 4*w - 78 = -m*t, 5*w = -t + 34. Does 3 divide t?
True
Suppose -a - 476 = -2*h - 11470, 5*h + 10 = 0. Is a a multiple of 14?
True
Let d be (1 + 2)/((-1