*j - 2*f - 17, -28 = -4*j - 4*f. Suppose -w = -p + 2*w + 8, -3*p + j*w + 54 = 0. Suppose -2*v = p - 113. Is v a multiple of 16?
False
Suppose -305*a - 1898 = -309*a - 2*z, 3*a = 5*z + 1456. Does 22 divide a?
False
Let p(m) = -m**2 - 6*m + 7. Let o be p(-5). Suppose -5*t + o*t = 28. Suppose t*l - 90 = -l. Is 9 a factor of l?
True
Suppose c = -f + 689, 3*c + c = 4*f + 2716. Does 12 divide c?
True
Is 6 a factor of (3260/18)/5 + (-18)/81?
True
Suppose l - 15 = -2*l. Suppose m = l*m. Suppose m = 3*x + 2*x - 5*b - 120, -5*x = 5*b - 100. Is x a multiple of 11?
True
Is (32/(-3) - 2)/(4/(-12)) a multiple of 19?
True
Suppose 0 = -5*s + 3*f + 10, 3*s + 8 = 7*s - f. Suppose -s = 5*y + 3. Is 16 a factor of 3*(32/(-3))/y?
True
Let o(j) = 5*j**2 - 66*j + 263. Does 79 divide o(4)?
True
Let d(c) = 5*c**2 + 3*c. Suppose -6 = -3*j + j. Is 27 a factor of d(j)?
True
Let p = -13 - 24. Let b = 10 + p. Is 6 a factor of (b/(-6))/(3/4)?
True
Let y(f) = -f**2 - 8*f - 2. Let w be y(-7). Let r be (-120)/36*(-6)/w. Is 25 a factor of (-1309)/(-28) + (-3)/r?
False
Let r be (-1)/7 - 667/(-161). Suppose -v - r*h + 53 = 0, -5*v + 3*v + h = -88. Does 7 divide v?
False
Suppose -m + 3*m - 8 = 0. Suppose 0 = -m*h - 0*p - p - 49, -3*h = 3*p + 39. Is 6 a factor of (-296)/h - 2/3?
True
Let r = -47 - -39. Suppose 3*b = -126 - 6. Let j = r - b. Is j a multiple of 9?
True
Let h(t) = 0*t**2 - t**2 - 10 + 2*t**2 - 10*t + 20. Does 21 divide h(11)?
True
Let u = 2169 + -1184. Is 79 a factor of u?
False
Suppose -5*z - 3*l + 3598 = -5*l, 5*z - l = 3599. Is z a multiple of 45?
True
Let y = 0 - -3. Suppose -11 = -y*q + 28. Is 3 a factor of q?
False
Does 30 divide ((-4004)/(-16) + -3)/((-3)/(-12))?
False
Suppose o = -0 + 1. Let w be -3 - -7 - o/1. Suppose -18 = -w*c + 4*q, 13 - 1 = 2*c + 4*q. Is 3 a factor of c?
True
Suppose 2*v = -3*v + 15. Suppose 0 = -4*a + 5*i + 39, -a - 2*i - v*i - 9 = 0. Does 6 divide a?
True
Suppose -l - 15 = 3*c - 4553, -4*l = -4*c - 18216. Does 25 divide l?
True
Let w be 0/((-2)/4*-2). Suppose 3*v - 5*p - 283 = 0, -4*v - 5*p - 158 + 582 = w. Suppose r + 30 = v. Does 29 divide r?
False
Let u(i) = 2*i + 1. Let h be u(1). Suppose -h = 2*m - 3*m. Suppose 2*x - 7 = b - 0*b, -m*b - 1 = -x. Does 2 divide x?
True
Let u(w) = w + 37. Let y be u(-14). Suppose -z - y + 139 = 0. Does 44 divide z?
False
Suppose 25*o - 7*o - 9540 = 0. Is 94 a factor of o?
False
Does 31 divide ((-12)/(-14))/(-3 - 1956/(-651))?
True
Suppose -3*x - o + 485 = 0, -5*o - 124 = -2*x + 188. Let l(n) = n - 3. Let p be l(3). Suppose -2*z - 2*i = -41 - 25, p = -5*z - 4*i + x. Does 10 divide z?
False
Let d(l) = -l**3 - l + 3. Let i be d(0). Let j be (-28)/(-10) + i/15. Does 9 divide j + 0 + (4 - -16)?
False
Let x(n) = -3*n - 7. Let l be x(-3). Suppose -4 = 6*f - l*f. Is 68 - ((0 - f) + -2) a multiple of 21?
False
Let q = 623 + -345. Is 19 a factor of q?
False
Let i(r) = -1067*r + 37. Is i(-1) a multiple of 9?
False
Let x(c) = -5 + 2*c**2 + 29*c**3 + 4 + 7*c**3. Let k = 334 + -333. Does 18 divide x(k)?
False
Let q(f) = f**2 + 3*f + 2. Let y be q(-2). Suppose 0 = -2*w + 4*l + 59 + 31, y = -2*l - 10. Suppose 5*c - w = -5*n, n + 4*n - 2*c = 42. Does 8 divide n?
True
Suppose -5*p + 8 = -3*p + 2*x, 5*p - x = -10. Is -35*(-6 + (-5)/p) a multiple of 5?
True
Is 8/(-32) - (-2)/(32/3332) a multiple of 8?
True
Suppose -u = -3*c + 13511 - 1915, -15464 = -4*c + 4*u. Does 63 divide c?
False
Let r be 1 - (-7 - -4 - 260). Suppose -d - 7*d = -r. Does 11 divide d?
True
Let s = 2 + -2. Let b be (-30)/135 - (-92)/9. Is 10 a factor of (b + s)/((-2)/(-5))?
False
Let b(f) = -1 + 14*f + 7*f**2 - 6*f**2 + 11 - 2*f**2. Does 6 divide b(5)?
False
Let q(r) = 5*r - 64. Let u be q(16). Is 6 a factor of 820/u - (-4)/(-16)?
False
Suppose 0 = -68*n + 72*n - 60. Is n a multiple of 15?
True
Let b = 130 - -700. Does 36 divide b?
False
Let o(l) = l**2 + 25*l - 87. Let j be o(-32). Suppose 8*h - j = 199. Is 21 a factor of h?
True
Is 27 a factor of (-9 + 2 + 5)/((-2)/297)?
True
Suppose -4*g = -3*d + 106 + 609, 3*g + 1199 = 5*d. Let j = -166 + d. Suppose 5*u - j = 135. Does 14 divide u?
True
Suppose -30 = 5*g - 2*g. Let c = g + 13. Suppose -c*v + 22 = -2*v. Is 11 a factor of v?
True
Suppose -75 = -2*z - 3*z. Let t be z/9 + 2/6. Suppose -86 = -2*v + t*d + 44, 5*d + 197 = 3*v. Is v a multiple of 23?
False
Suppose 5*w - 262 = -2*p, w + 2*p - 54 = -0*w. Suppose -2*s - w = 14. Let o = s + 54. Is o a multiple of 6?
False
Let a(k) = -k**3 - 12*k**2 - 17*k + 2. Let j be a(-10). Let d be (8/14)/(j/(-98)). Suppose 2*t - 7*t + 95 = 5*h, d*t = -h + 23. Is 15 a factor of h?
True
Suppose s = 2*s - 38. Let y = s + 12. Is y a multiple of 16?
False
Suppose -3*o + 237 + 63 = 0. Does 47 divide (-10)/8 - (-13725)/o?
False
Let w = -43 - -43. Suppose 3*d + 9 = w, d + 4*d + 1 = -j. Is 5 a factor of j?
False
Suppose 4*w + 3*b = w, -4*w + 3*b = 0. Suppose w = -g + 3*g - 56. Is g a multiple of 13?
False
Does 46 divide (-2903 - -1)*(-67)/134?
False
Suppose -120 = -6*g + g. Suppose -g + 96 = 3*a. Is 4 a factor of a?
True
Suppose 3*l + 17 = -b, -3*b + l = 1 - 0. Let u be 1 + b/(2/(-1)). Suppose -u*m - 4*v - 168 = -6*m, v + 88 = 2*m. Is m a multiple of 15?
False
Let f(q) be the third derivative of -q**6/120 - q**5/20 + q**4/24 + q**3 - 10*q**2. Does 9 divide f(-4)?
True
Let r(s) be the first derivative of 1 - 2*s + 0*s**2 + 2*s**2 + 0 + s**3. Is 15 a factor of r(-4)?
True
Let w(c) = 7*c**2 - 4*c + 3. Let h be w(1). Let u(k) = k**2 + 1. Let q be u(2). Suppose h*t - 48 = q*t. Does 17 divide t?
False
Let m = -153 - -159. Suppose -5*q = m*q - 968. Does 4 divide q?
True
Suppose -r = r + 3*v + 18, 4*r - v = -8. Let s = -9 - r. Let m = s + 18. Is m a multiple of 3?
True
Let l be ((-6)/4)/(9/18) - -12. Suppose l*f = 4*f + 615. Is 41 a factor of f?
True
Is 13 a factor of -634*2/(-4) - (-11 - -11)?
False
Let p(k) = 2*k**2 + 3*k + 9. Let g be p(-4). Suppose -w = -g - 67. Does 32 divide w?
True
Does 22 divide (255/3*2)/(2 - 0)?
False
Is ((-22)/8)/(9 + (-1090)/120) a multiple of 19?
False
Suppose 2119 + 1076 = 3*v. Is v a multiple of 15?
True
Let t(n) be the third derivative of -n**6/120 - n**5/10 + 7*n**4/24 + 5*n**3/6 + 2*n**2. Let y be t(-7). Suppose 3 = s - 0*s, y*s - 27 = -o. Is 6 a factor of o?
True
Suppose -5*l + 4229 + 101 = 0. Is 24 a factor of l?
False
Let f(g) = -g**3 - g**2 - 9. Let s(t) = -t**2 - 1. Let l(c) = -f(c) + 5*s(c). Let y be l(4). Suppose -y*r + 7*r = 21. Is r even?
False
Let q(t) = -t**2 - 5*t + 9. Let f be q(-7). Let l be -31 - 1/(f/(-5)). Let x = l + 37. Is x even?
False
Let c = 52 + -52. Suppose 4*a = -2*f + 222, c = -2*a + f + 5 + 112. Does 14 divide a?
False
Let i(x) = 145*x**3 - 2*x**2 - x + 2. Suppose 3*o = -5*s + 13, -4*o = -4*s - 2 + 6. Is 48 a factor of i(o)?
True
Does 11 divide 4/(120/(-18))*-470?
False
Let h(v) be the second derivative of -v**5/20 - v**4/12 - v**3/6 - 2*v. Let w be h(0). Suppose -2*o - 2 + 20 = w. Is o even?
False
Let g(l) = 4*l**2 + 5*l - 3. Let w be g(4). Suppose 3*k = -15, v - k = w + 12. Does 4 divide v?
True
Suppose -5*t + 7412 = -8*u + 4*u, 2*t - 2972 = 4*u. Does 74 divide t?
True
Is 4067/4 + 2*21/(-56) a multiple of 18?
False
Let u = 22 - 20. Suppose u*a + 2*a = 56. Is a a multiple of 4?
False
Let v(c) = 8*c**2 + 3*c. Let o(k) = 41*k**2 + 16*k - 1. Let b(l) = -2*o(l) + 11*v(l). Suppose 0 = 4*f - f + 6. Does 8 divide b(f)?
True
Let c = -1110 + 2526. Suppose -4*g + c = 4*g. Suppose 0*i = -t - 2*i + 48, g = 4*t + 3*i. Is t a multiple of 6?
True
Suppose -4*z - 284 = 2*n, -4*z - n - 260 = -5*n. Let r = -57 - z. Does 3 divide r?
True
Let h(m) = -6*m - 86. Is 4 a factor of h(-31)?
True
Suppose -3*l + 3*g - 102 = 0, 0*g - 154 = 5*l - g. Let i = l + 45. Does 5 divide i?
True
Let u(m) = -m**2 + 4*m - 22. Let x be u(-8). Let f(s) = -6*s**2 + 2*s - 1. Let b be f(1). Is 11 a factor of (-2)/(-5) + x/b?
False
Suppose 0 = 5*d + k + 229, 5*d - 7*k + 234 = -3*k. Let r be 72/(-45)*190/4. Let u = d - r. Is u a multiple of 12?
False
Let m = -49 + 76. Suppose -11*o + 4*o = -259. Suppose o + m = 4*z. Is z a multiple of 15?
False
Let c = 6013 + -3317. Does 14 divide c?
False
Let u be ((-48)/(-40))/((-2)/(-55)). Let r = u - -63. Let l = r + -57. Does 13 divide l?
True
Let u(x) = 1046*x - 4. Let i be u(4). Is 22 a factor of i/57*6/5?
True
Let s(u) = 61*u**2 + 