(w) = -3*w - 5. Let q be z(-4). Suppose -3*h - 26 = 3*k - 68, 3*k + 5*h - 42 = 0. Let i = k - q. Does 7 divide i?
True
Suppose -4*g = -g + n + 11, -n - 3 = -g. Does 3 divide -1 + g + (-10)/(-1)?
False
Let f be (-238)/(-8) + 6/24. Suppose 0 = -2*q + 5*q - f. Suppose t + q = 2*g - 4*t, -2*g = 3*t - 42. Does 5 divide g?
True
Suppose -176*f + 177*f - 411 = 0. Is f a multiple of 13?
False
Suppose -x - 5*c + 68 = 0, -160 = -4*x + 2*x + 2*c. Is 13 a factor of x?
True
Let f(j) be the third derivative of j**6/120 + j**5/15 - 7*j**4/24 - j**3 - 4*j**2. Is f(-4) a multiple of 8?
False
Suppose 1 = -3*d + n, 10 = n - 3*n. Is ((-38)/(-2))/(d/(-2)) a multiple of 5?
False
Suppose 0 = 2*g + u - 1, -4*g + 5*u + 18 = -19. Suppose i - g*i = 18. Does 16 divide i/2*(-52)/6?
False
Let d = 521 + -355. Is d a multiple of 40?
False
Is (-5 + -1)/(414/105 + -4) a multiple of 12?
False
Let b(y) be the first derivative of -3*y + 1 - 5/2*y**2. Does 15 divide b(-6)?
False
Does 34 divide (-6)/2 + -12 + 118?
False
Let g be (-10)/(-15) - 13/(-3). Suppose 22 - 2 = g*u. Is u even?
True
Let z(q) be the first derivative of -q**3/3 + 5*q**2 - 6*q - 5. Is z(7) a multiple of 6?
False
Suppose -3*n = -5*t + 27, 0 = -3*t + 2*n + 17. Suppose -2*g = t*g - 195. Is 27 a factor of g?
False
Let m = -7 - -7. Suppose -3*l - l - 96 = m. Let p = 60 + l. Is p a multiple of 13?
False
Does 37 divide 301 + (-7 - 2) + 4?
True
Let n = 14 + 1. Does 6 divide n?
False
Suppose -3*i + 57 + 258 = 0. Does 3 divide i?
True
Is 2/((-2442)/(-609) - 4) a multiple of 41?
False
Suppose 2*s + 0*s = -2*d + 68, -4*s + 133 = 5*d. Is s a multiple of 11?
False
Let w = -6 + 9. Suppose 42 - 3 = w*y. Does 13 divide y?
True
Let t(u) = u**3 - 6*u**2 + 9*u - 3. Is 19 a factor of t(6)?
False
Let r(z) = 3*z**3 - 4*z. Is 23 a factor of r(3)?
True
Let p(w) = w - 7. Let g be p(7). Suppose -7*t + 3*t + 192 = g. Does 24 divide t?
True
Suppose -2*f + 662 = 4*o, f - 209 + 42 = -o. Does 16 divide o?
False
Suppose -j = -3, 0 = 2*q + j - 1 - 2. Suppose p + 2*n + 12 = 0, 5*p + 3*n + n + 60 = q. Let r = 2 - p. Does 7 divide r?
True
Let i be 4/((-2)/1)*-2. Is 9/(6/i - 0) a multiple of 3?
True
Is 180/(-40)*2*-1 a multiple of 4?
False
Suppose 2*q = s + 5 - 11, -3*q = 4*s - 2. Let l be 1/(-2) - 9/q. Suppose 2*h - l = 0, 0*z + 3*z + 5*h = 40. Is z a multiple of 10?
True
Is 10 a factor of (400/28)/(6/21 - 0)?
True
Suppose -3*h = 4*o - o - 15, h = 3*o + 1. Suppose -h*q - 12 = -7*q. Suppose x = q*x + 4*u - 1, -4*x + 2*u = -16. Is x a multiple of 3?
True
Let t(u) = u**3 - 2*u + 3. Let b be t(2). Suppose 3*h = 5*s - 35, 23 = 5*s - 4*h - b. Does 3 divide s?
False
Suppose 3*v - 327 = -0*v. Is 7 a factor of v?
False
Does 14 divide 1/(3/114) + 4?
True
Let g = 3 - -1. Suppose 4*c + 3*t - 48 - 18 = 0, 8 = g*t. Does 12 divide c?
False
Let l(c) = -c**2 + 13*c + 7. Let n be l(7). Suppose 0 = -2*k + n + 33. Is 7 a factor of k?
False
Let c(g) = -g**2 + 5*g + 4. Let l be c(5). Suppose w = -4*b - 7 - 8, 4*b = l*w - 20. Let t = 3 - b. Does 4 divide t?
False
Is 20*(-4 + (-104)/(-20)) a multiple of 12?
True
Let k be (-4 - 0)/(4/(-2)). Does 6 divide 31*k*11/22?
False
Let w be (12/14)/((-1)/7). Let f = 12 + w. Does 3 divide f?
True
Let b = -88 + 196. Is b a multiple of 22?
False
Let c(o) = o**3 + 7*o**2 - 2*o + 6. Is 9 a factor of c(-6)?
True
Let d(m) = m**3 + 8*m**2 - 13*m + 2. Is 18 a factor of d(-9)?
False
Let j(y) be the third derivative of 0 + 1/120*y**6 + 0*y + 1/3*y**3 - 1/24*y**4 - 1/12*y**5 + 2*y**2. Is 13 a factor of j(6)?
False
Let m(a) = a**3 + 6*a**2 - 7*a + 2. Let j be m(-7). Suppose 0 = -j*t - t - 3. Does 8 divide 12/(t + 5/2)?
True
Suppose 37 = 4*m + 5*j + 3, -3*m = j - 20. Let g = 22 - m. Is g a multiple of 4?
True
Let b(d) = -d**3 + 4*d**2 + 6*d - 3. Let x be b(5). Let h(m) = 2*m + 2*m**x - 2 + 0*m - 3*m. Does 14 divide h(-5)?
False
Suppose 0 = j - 4. Suppose -j*q + 2*q = l - 27, 3*q + 108 = 3*l. Is l a multiple of 11?
True
Suppose 5*v = -4*p + 135, -4*v = p - 3*p - 134. Let b = 62 - v. Let x = -13 + b. Is 9 a factor of x?
True
Let d(t) be the third derivative of t**4/24 + 13*t**3/6 - 3*t**2. Let y be d(-11). Suppose y*p - 3*r - 52 = 3, 2*p - 61 = 5*r. Is 9 a factor of p?
False
Let q = -60 - -152. Does 4 divide (-2)/(-5) - q/(-20)?
False
Suppose -40 = 36*k - 37*k. Is k a multiple of 23?
False
Let j = -6 - -9. Suppose 0 = 2*h + j*h - m - 116, 2*m - 80 = -3*h. Is h a multiple of 11?
False
Let u(f) = 2*f. Let y be u(1). Let p = 3 + y. Suppose -4*g = 3*k - 67, p*k - 131 = -0*g + 3*g. Does 13 divide k?
False
Let b be (4 - 2)/(-2 - -1). Let j be (-150)/4 - b/4. Let k = 71 + j. Is 17 a factor of k?
True
Suppose 4*g + 0 = 284. Suppose 3*f = -17 + g. Is 9 a factor of f?
True
Let u(o) = 9*o**2 + 9*o + 9 + 0*o + o**3 - 2*o. Let y be u(-6). Suppose 0 = -c - 4*c + y. Is 15 a factor of c?
True
Let h(k) = -2*k**3 + 2*k - 1. Suppose 0 = -5*b + 5. Let n be h(b). Does 17 divide 103/3 + n/3?
True
Suppose 4*x + x + 20 = 0. Let r = -1 - x. Suppose r*l + 2*y = 25, -l - 2 = -4*y - 1. Is 7 a factor of l?
True
Let d(l) = 4*l**3 - 2*l**3 + 6*l**2 + 6*l - 6*l**3 + 5*l**3. Is 6 a factor of d(-4)?
False
Suppose 0 = -4*t + 20 + 12. Is 2 a factor of (-18)/8*(t - 12)?
False
Let d = 9 - 24. Let f be 1/4 + d/12. Is 8 a factor of (-10)/(f*(-2)/(-2))?
False
Suppose 6*x = -35 + 167. Is 11 a factor of x?
True
Let a(o) = o**2 + 11*o - 4. Let v be a(-11). Let t = v - -7. Is t a multiple of 2?
False
Let k(v) = 219*v - 21. Let i(c) = 22*c - 2. Let t(y) = 21*i(y) - 2*k(y). Is t(2) a multiple of 23?
False
Suppose 8 - 28 = -5*s. Suppose -s*q = -1 - 31. Suppose 4*v + 3*d = d + 16, -2*v = -3*d - q. Is v a multiple of 2?
True
Suppose 0 = -0*g - g - i - 2, 2*g = 3*i + 21. Suppose 3*y - 3 - g = 0. Suppose -41 = -4*l - 5*h, 4*l - 2*h + y = 2*l. Is l even?
True
Suppose -360 = -11*z + z. Does 18 divide z?
True
Let h = 7 + 13. Is 5 a factor of h?
True
Let p(c) = c + 3. Let r be p(-5). Let t be (3/r)/(3/80). Let h = t + 76. Is 18 a factor of h?
True
Suppose 5*n - 7 - 8 = 0. Suppose -2*b + 5 - n = 0. Let v = b + 13. Does 8 divide v?
False
Suppose -5*k + 3*t + 29 = -3, 3*t + 12 = 0. Suppose -2*a + 21 = m, -k*a = m + 2*m - 69. Is 12 a factor of m?
False
Let p(b) = 2 - 3*b**2 - 1 + 4*b**2 - 2*b - 4*b. Is p(11) a multiple of 15?
False
Let l be (11/3)/((-1)/(-6)). Suppose -4*d - l = -2. Let w(m) = m**2 + 4*m - 2. Does 3 divide w(d)?
True
Suppose 0*g + 34 = g. Suppose -r = r - g. Is r a multiple of 4?
False
Let b(c) = c**3 + 5*c**2 + 5*c - 6. Let u be b(-5). Let m = u + 46. Is m a multiple of 5?
True
Suppose 0 = -k - 3*q - q + 132, 0 = -4*k - q + 483. Is 35 a factor of k?
False
Let w = -6 - -5. Let u be (w - 0) + (0 - -8). Suppose 0 = -2*n + u*n - 65. Does 13 divide n?
True
Let x(f) = -6 + 1 + f**3 - 6*f**2 - 2*f**3 - 2*f. Is x(-7) a multiple of 11?
False
Does 7 divide 2/4 + (-3738)/(-28)?
False
Let n = -12 - -27. Suppose 0 = -4*u - u + n. Does 3 divide u?
True
Let u be (-40)/(-22) - (-4)/22. Let p = u + 12. Does 4 divide p?
False
Let f(n) = 7*n**2 + n + 11. Does 30 divide f(4)?
False
Let q(v) = -3*v - 13. Let g be q(-6). Suppose 2*x = j - 35, 5*j - 202 + g = -x. Does 11 divide j?
False
Is 21 a factor of (-362)/(-6) - 4/(-6)?
False
Suppose -3*i = 7*i - 70. Is 3 a factor of i?
False
Suppose 7*k + 12 = 4*k, -2*q = -4*k - 8. Is 116/16 + 1/q even?
False
Let b = 14 - -81. Does 17 divide b?
False
Suppose 4*v = -3 - 1. Let n(y) = -y - 1. Let w(q) = -q**3 + 4*q**2 + q + 4. Let p(t) = v*w(t) - 5*n(t). Does 4 divide p(3)?
True
Let i = 49 - 56. Let y(w) = -w + 0*w + 2 - 3*w. Does 17 divide y(i)?
False
Suppose 0 = 2*f - 1 - 3. Let r = 34 + 12. Suppose -4*i + 4*z = -44, -5*i - 2*z + r = f*z. Is 6 a factor of i?
False
Let x(a) = a**2 + 2*a - 2. Let z be (-2)/(7/3 - 3). Suppose 5 - z = h. Is x(h) even?
True
Suppose 2*g + 3*g = 60. Let s = 7 + g. Let y = 44 - s. Is y a multiple of 13?
False
Suppose 0 = 7*w - 2*w. Let h = w + 1. Does 13 divide 0/h - (1 - 19)?
False
Suppose -2*t - 5*l + 326 = 0, 0 = -0*t + 3*t + 3*l - 498. Does 14 divide t?
True
Does 19 divide 0 + 41 + (-36)/(-9)?
False
Is 104 + 0 + 1/(-2)*-8 a multiple of 4?
True
Let d(y) = -y**3 + 15*y**2 - 12*y - 20. Is d(14) a multiple of 8?
True
Let h be (-2 - (-6)/3)/2. Let i be h/4 + 18/(-2). Is 3 a factor of (6/i)/((-4)/18)?
True
Let o be 2 + -4 + 2 + -1. Let a = 7 - 