= -163*w - 4909. Is 8 a factor of m(-94)?
False
Let k be ((-2)/(-4) + -1)/(4/(-120)). Suppose 3*f + k = 6. Is 245/7 + (-1 - (-9)/f) a multiple of 11?
False
Let q = 26132 - 9077. Is 28 a factor of q?
False
Let h = -360 - -250. Is h*(-42)/(30/5) a multiple of 22?
True
Let p = -3302 + 7412. Does 10 divide p?
True
Let n(x) = x**3 + 10*x**2 - 12*x - 27. Let p be n(-11). Let h = 23 + p. Suppose -2*q = h*q - 135. Is q a multiple of 4?
False
Let d = -11 + 3413. Does 18 divide d?
True
Let s be (4/(-6)*-3)/(40/41180). Suppose -2061*p = -s*p - 98. Is p a multiple of 18?
False
Let d(y) be the first derivative of -y**3/3 + 6*y**2 + 12*y + 1. Suppose 0 = k + 2*l - 2, 0 = -9*l + 12*l + 6. Is 8 a factor of d(k)?
True
Let m = -103 + 118. Suppose m = -5*u, -5*n = 8*u - 4*u - 988. Is 5 a factor of n?
True
Suppose -37*i + 153900 + 175029 = -112703. Is i a multiple of 59?
False
Let y = 638 - 634. Suppose 2*i - 2 = -3*f, 2*i + 19 = f - i. Suppose 4*n = -5 - 3, y*r = -f*n + 36. Is r a multiple of 3?
False
Let n(k) = -61*k + 2*k**2 + 7 + 59 + 16*k. Is 14 a factor of n(22)?
False
Let w(k) be the first derivative of -4*k**2 - 10 + 2*k**2 + 7*k + 0*k. Does 4 divide w(-7)?
False
Let g(w) = 331*w - 514. Does 10 divide g(4)?
True
Let c = 78 - 73. Suppose -2*p = -2*h + 130, -365 = -c*h - p - 46. Suppose h*g = 66*g - 68. Is 10 a factor of g?
False
Suppose a = k + 7, 5*a + 0*k - 35 = 2*k. Suppose a*b - 5*b = 0. Suppose b*f = f - 44. Is 22 a factor of f?
True
Let t(f) = f**3 + 11*f**2 - 8*f - 4. Let b be t(-11). Suppose 7*m - 3*j = 3*m + 172, -b = -2*m + j. Let g = m + 2. Does 8 divide g?
False
Suppose 2*x - 14*x + 744 = 0. Let o = 500 - x. Is o a multiple of 22?
False
Suppose 2*q - 74 = -44. Suppose q = 5*m + 4*c - 0*c, 5*m + 3*c = 20. Suppose -h = m*h - 448. Is h a multiple of 14?
True
Suppose -s - 4*p = 1 + 11, 3*s - p + 10 = 0. Let v(z) = -z**2 + 3*z - 10. Let n be v(s). Let a = 0 - n. Does 5 divide a?
False
Let v = 144 + -49. Let x = -26 + v. Suppose -3*h - 5*r = -x, -4*h + 5*h + r - 25 = 0. Is 4 a factor of h?
True
Suppose -118*q = -117*q - 5571. Is 15 a factor of q?
False
Let x(a) = 1 - 4 + 20*a + 2 - 9*a. Let b be x(1). Does 4 divide 130*(4 + (-36)/b)?
True
Let v = 44 + 231. Suppose 3*t - 925 = 3*o + 2*o, 0 = -t - 5*o + v. Is t a multiple of 33?
False
Let m = -8 + -28. Let y be (m/42)/(4/448). Let q = 255 + y. Is 27 a factor of q?
False
Let g(q) = -q**2 + 12*q + 14. Let h be g(12). Let v be (-4)/h - 266/98. Is 67 a factor of 198 + v/(2 + -3)?
True
Does 195 divide 4/(156/(-65)) - 4333*(-11)/3?
False
Let m be (-27)/18*(-2)/1. Suppose 4*g = -a + 30, g + m*a = -4*g + 34. Let p(d) = 13*d - 58. Is p(g) a multiple of 17?
False
Let h(z) = 38*z**3 - 38*z**2 + 215*z + 2. Does 17 divide h(5)?
False
Suppose 108 = 9*n + 90. Is 40 a factor of -6 + n + 39 - -5?
True
Suppose -2*w = 2*o - 14, 4*o = -4*w + 2*w + 22. Suppose o*f - 1471 = -3*z, -3*z + 1466 = 7*f - 2*f. Does 60 divide z?
False
Let p(u) = 28 + 2*u + 64 - 21*u + 69 + u. Does 23 divide p(-46)?
True
Let h(t) = -7*t - 27. Let z be ((-6)/3)/((-2)/(-6)). Let v be h(z). Is 19 a factor of (-574)/(-10) - (12/v)/2?
True
Does 10 divide ((-11)/132)/(3/(-351))*696?
False
Let l be -2 + -3 + 2 + 24. Let y = l + -26. Let z = 93 + y. Is z a multiple of 25?
False
Let n(m) = 138*m + 10. Let g(v) = -138*v - 12. Let q(x) = -5*g(x) - 4*n(x). Is q(3) a multiple of 14?
True
Suppose 0 = -m - 2408 + 3062. Is m a multiple of 31?
False
Let u be 3690/(-180) + (-2)/(-4). Is 2 a factor of (u/(-8))/(14/420)?
False
Let a be (-7486)/(-171) + (-2)/(-9). Suppose -55 = -2*v - 5*c, 4*v + a = -c + 181. Is v a multiple of 7?
True
Suppose -17*j - 347515 = -46*j + 299475. Is 10 a factor of j?
True
Let f = 94 - 90. Suppose 2*t = f*l, 0 = -5*l + 7*t - 3*t. Let a(v) = 4*v + 145. Is 29 a factor of a(l)?
True
Let c(r) = -1202*r**3 - 8*r**2 - 3*r + 6. Is c(-2) a multiple of 26?
False
Let o(x) = -x**2 + 33*x + 40. Let m be o(34). Suppose -26*b = m*b - 18944. Does 16 divide b?
True
Is 20 a factor of (-340)/1870 + 1/(11/118857)?
False
Let y be 178/(-12) - (28/(-24))/(-7). Let z be (-2)/4 - (2 + y/6). Does 2 divide 1*-1*(-4 - z)?
True
Suppose 2*i + 7*i = 1107. Suppose 0 = -4*f + 12, -3*w + i = 2*f - 18. Is 9 a factor of w?
True
Does 32 divide ((-20)/(-25))/(32/1083040)?
False
Suppose -9*u - 43 = -79. Let z(b) = 7*b**3 - 4*b**2 + 6*b - 40. Does 23 divide z(u)?
True
Suppose 5*k = -33 + 18. Let m(q) = -q**3 - 3*q**2 - 3*q - 1. Let g be m(-3). Does 9 divide g/k*(5 - 32)?
True
Let t(k) = -58*k - 39. Let j be t(-7). Let w = j + -171. Is w a multiple of 14?
True
Suppose -153360 - 632340 = -194*g. Is 54 a factor of g?
True
Suppose 15*o - 499 = -139. Let v = 49 - o. Is 6 a factor of v?
False
Is (-149 - -153)*(-36771)/(-12) a multiple of 103?
True
Let o(c) = 39*c**2 - 2*c - 1. Let g be (2 - -2) + -6*1. Let w be o(g). Suppose -5*i = y - 0*y - 42, w = 2*y - 5*i. Is 22 a factor of y?
False
Let y(i) = 16*i**3 - 35*i**2 + 44*i - 73. Is 11 a factor of y(14)?
True
Let k be -2*((-12492)/(-16) - 2/(-8)). Let w = k + 2759. Is 19 a factor of w?
True
Suppose 1373*i + 8 = 1374*i, -61391 = -c + 5*i. Does 35 divide c?
False
Let y(i) be the first derivative of 1 + 3/2*i**2 + 12*i. Is y(6) a multiple of 25?
False
Suppose 2*m + 7*m = 2*m. Suppose -4*c - 133 + 1761 = m. Does 14 divide c?
False
Suppose v = -3*s - 12, -s - 7 = -2*v + 4. Let u be -2*(-270)/(-25) - 3/s. Is 0 - 1*u*5 a multiple of 8?
False
Suppose 0 = -2*r - 2*p - 4090, 0*r + r + 2030 = -4*p. Let c be r/(-6) - (-4)/(-6). Suppose -2*u + 3*f = 99 - c, 0 = -5*f. Is u a multiple of 13?
False
Let b = 217 + -71. Let p = 338 - b. Suppose 8*a = 2*a + p. Is 8 a factor of a?
True
Let v(y) = 19*y + 657. Is v(-31) a multiple of 2?
True
Suppose 26*c = 20*c + 14856. Is c a multiple of 8?
False
Suppose 9*i - 12*i - 746 = -5*j, 5*j - 748 = 4*i. Suppose 608 = 4*k - j. Is k a multiple of 7?
True
Let l(f) = 737*f - 756. Is l(5) a multiple of 30?
False
Let u(l) be the third derivative of -3*l**6/20 + l**5/15 - l**4/3 - 5*l**3 + 86*l**2. Does 12 divide u(-3)?
True
Let z(l) = 2*l**2 + 6*l. Let d be z(-6). Let w = d + 159. Does 22 divide w?
False
Let k(t) = -14*t - 110. Let a be k(-32). Suppose -a = -166*p + 164*p. Is p a multiple of 70?
False
Suppose 8*p - 4 = 7*p. Let x be (3*1/(-2))/((-3)/p). Suppose -x*i - 84 = -s, -3*s + 28 = 3*i - 224. Is 16 a factor of s?
False
Let c = -5233 - -6618. Is 3 a factor of c?
False
Let o(i) = 5*i + 47. Let w(d) = -2*d - 24. Let s(g) = 6*o(g) + 13*w(g). Let t be s(8). Suppose 4*v = -r + 61, -t*r = -5*r - 5*v + 211. Does 25 divide r?
False
Let f be ((-79)/3)/(2/6). Suppose 81*s - 82*s = p - 4, 0 = -3*s - 9. Let n = p - f. Is n a multiple of 43?
True
Let w = -1331 + 3363. Is w a multiple of 8?
True
Let x(p) = 1644*p**2 + 14*p + 12. Does 80 divide x(-2)?
True
Suppose 4 = q + 6. Let t be (1*0/q)/(-2). Suppose t = -9*o + 6*o + 90. Is o a multiple of 15?
True
Let a(o) = o + 4. Let q be a(-2). Let n be ((-96)/(-56))/((-3)/(-63)). Is 36 a factor of (215/q)/(18/n)?
False
Let r(y) be the third derivative of -7/6*y**3 + 0*y - 47/24*y**4 + 16*y**2 + 0. Is r(-3) a multiple of 15?
False
Let l(w) = -3821*w**3 - 2*w**2 + 4*w + 6. Is 127 a factor of l(-1)?
False
Is (105 - -2)*430/(-25*10/(-100)) a multiple of 86?
True
Let y be 1913*10/(-15)*6/(-4). Suppose -1927 - y = -12*a. Is a a multiple of 16?
True
Suppose -2*w + 15654 = 4*a, 2216 = a + 2*w - 1690. Does 22 divide a?
True
Let k = 29072 - 18424. Is k a multiple of 8?
True
Suppose 0 = -34*w + 11*w + 40825. Let t = w + -1019. Is t a multiple of 17?
False
Let h = -3 - -5. Suppose -859 - 2625 = -4*k. Suppose u - h*u + k = 5*o, -o + 179 = -u. Is o a multiple of 23?
False
Suppose 5*g - r = -80, -6*r - 5 = g - 4*r. Let h(n) = -n**2 - 16*n - 14. Let t be h(g). Does 10 divide (5 + -2)/t + 37?
True
Suppose -2*g - u = -18, 2*g - 8 = 3*u + u. Let y = 100 - 61. Suppose g*z - 175 = -y. Is 17 a factor of z?
True
Suppose -2*a = -5*s - 38, -s + 37*a = 34*a + 5. Let u be ((-4)/(-3))/((-4)/(-84)). Let d = s + u. Is d a multiple of 3?
False
Let v be 71 + 15/5*-1. Suppose -5*i = 3*s + 14, -4*s + 17 = -2*i + 1. Suppose -3*j + s*j + v = 0. Is j a multiple of 17?
True
Let b = 38 + -44. Let d be (-15)/(-5) + b + 145. Let y = -56 + d. Is y a multiple of 26?
False
Suppose 2 = -d, 0 = -2*y - y - d + 16. Suppose -5*a +