(n) = -n + 8. Is 3 a factor of w(o)?
False
Is 52 - ((-2)/(-4))/((-4)/16) a multiple of 6?
True
Suppose -5*p = 2*b - 4, 0 = -3*p - 0*p + b + 9. Suppose -90 = -5*u + p*u. Suppose -4*x - 15 = -x, -5*z + u = 5*x. Is z a multiple of 4?
False
Suppose 2*z + 34 = -5*x + 117, z = -x + 40. Is z a multiple of 13?
True
Let n(x) = -x**2 - x + 24. Suppose -5*a + 0*a = 0. Let j be n(a). Is j/(-15)*(-110)/4 a multiple of 17?
False
Let b = -2 + -2. Let j be (-1)/(1*(-3)/21). Let z = b + j. Is 3 a factor of z?
True
Is 36 - (2 + 3 + -4) a multiple of 15?
False
Suppose -3*u - 351 = -12*u. Is u a multiple of 13?
True
Let g = 42 + -35. Is g even?
False
Let p be 322/(-9) - 4/18. Let q be (6/(-9))/(1/p). Suppose q = 2*i + i. Is 4 a factor of i?
True
Let a = 444 - 204. Does 9 divide a?
False
Let p(q) = q**3 + 15*q**2 + 5. Let v be p(-15). Suppose 5*s + 180 = v*x, 0 = -3*x + s + 40 + 68. Is x a multiple of 12?
True
Let q(r) = 6*r + 0 - 6 + 3. Is q(3) a multiple of 6?
False
Let t = 7 - 2. Suppose t*n = 2*a + 55, -8*a + 4*a + 85 = 5*n. Is n a multiple of 13?
True
Let w(l) = l**3 + 8*l**2 + 6*l + 1. Let p be 156/15 + (-9)/(-15). Let f = p + -18. Does 3 divide w(f)?
False
Is (3 + -2)/(-4) + 1365/20 a multiple of 25?
False
Let k(d) = d**3 - 19*d**2 + 39*d + 2. Does 29 divide k(17)?
True
Let b(z) = z**3 + 8*z**2 + 8*z. Let g be b(-7). Let x(p) = -p**3 - 8*p**2 - 9*p + 4. Is x(g) a multiple of 9?
True
Let g(q) = q**3 - 4*q**2 - 11*q - 12. Does 26 divide g(8)?
True
Suppose 11*n = 14*n - 126. Let q = n - 13. Is q a multiple of 5?
False
Is 32 a factor of 129 - ((3 - 1) + -3 - 0)?
False
Let h = -1 + -25. Is 13 a factor of h*-6*3/12?
True
Let h(c) = -34*c - 3. Let g(z) = -68*z - 7. Let v(w) = -2*g(w) + 5*h(w). Let d be v(-1). Let m = 3 + d. Is 22 a factor of m?
False
Is (-209)/(-3) + 9/27 a multiple of 35?
True
Suppose 5*x + 20 = -5. Let w(r) = -r - 5. Let h be w(x). Suppose h = -5*c - 3*m + 83 - 4, -26 = -c - 4*m. Is 13 a factor of c?
False
Let g(z) = -2 + 3*z**2 + 2*z - z - 3*z. Suppose 0 = -s - 1 - 1. Is 7 a factor of g(s)?
True
Let y = 8 - 8. Suppose y = -4*k + 2*k + 12. Is k a multiple of 6?
True
Suppose -4*r = -5*z + 1477, z + r + 3*r - 281 = 0. Is z a multiple of 50?
False
Suppose u + 2*u - a = 463, 5*u - 4*a - 774 = 0. Is u a multiple of 14?
True
Suppose 0 = -3*q - v - 86, 4*v + 44 + 10 = -2*q. Is 11 a factor of (2 - 2) + 1 - q?
False
Suppose -4*h + 9 = 29. Let s(b) = -12*b + 7. Is s(h) a multiple of 18?
False
Let y = 23 - 14. Suppose 0 = -y*a + 6*a + 27. Suppose 100 = -4*x + a*x. Is 10 a factor of x?
True
Let k = 175 + -84. Let h = k - -32. Suppose -4*p + h - 43 = d, -5*d = -p + 20. Does 10 divide p?
True
Let y be 6*2/4*20. Suppose 4*p = -0*p + y. Is p a multiple of 4?
False
Suppose 0 = 2*m + d - 354 + 119, -m + 123 = -5*d. Is m a multiple of 34?
False
Let o(f) = f**3 - 3*f**2 + 3*f. Let p be o(2). Let d be ((-2)/3)/(p/12). Is 9 a factor of (-42)/d + 1/2?
False
Let y(m) = m**2 - 8*m - 24. Is y(-7) a multiple of 9?
True
Is 13 a factor of 2 + (-80)/(-15)*1*3?
False
Let a be 0 - (1 + -3)*-3. Let s be (-3)/9 - (-16)/a. Is -15*4/s + -1 a multiple of 17?
False
Suppose 122 = 5*m - 4*m - 3*l, 5*l = -m + 146. Let u(p) = -p**3 + 7*p**2 - 6*p + 4. Let x be u(6). Suppose x*c = -31 + m. Is c a multiple of 12?
False
Let m = 43 + 97. Does 14 divide m?
True
Is 49 a factor of ((-21)/(-2)*-2)/(3/(-14))?
True
Suppose 4*i - 4*p - 24 = 0, 16 = 4*i + 3*p - 15. Is i a multiple of 6?
False
Suppose -5*b - 2 = -22. Suppose 23 = 5*f - m - 37, -48 = -4*f - b*m. Suppose 2*i + f = 4*i. Does 4 divide i?
False
Suppose -2*r + 18 = j, -5*j + 106 = -0*j + 2*r. Suppose -2*x + j = -2. Is x a multiple of 12?
True
Let l be 1 - (27 - -1)/(-2). Suppose -3*y + 21 = 4*y. Let w = y + l. Is w a multiple of 18?
True
Suppose 5*p - p + 10 = -2*t, -25 = 5*t. Let s(z) = -1 - 2*z**3 - z + 3*z**3 + p. Is 5 a factor of s(2)?
True
Suppose 105 = 4*m - 135. Is 20 a factor of m?
True
Let l(c) = -3*c - 20. Is l(-14) a multiple of 15?
False
Let g(q) = 2*q**2 - 4*q - 3. Is g(4) a multiple of 4?
False
Suppose 0 = 3*w - 2*f - 210, 225 = 3*w - 2*f + 5*f. Suppose -u = 5*n - 181, -3*n + 3*u + w = -33. Suppose n = -3*h + 120. Is 10 a factor of h?
False
Let h be (12/(-30))/((-2)/(-30)). Let n = h + 17. Does 7 divide n?
False
Suppose 11 - 1 = -2*u, -16 = 3*p + 2*u. Is (-4 + 3)*p*2 a multiple of 4?
True
Suppose -l - 5*n + 20 = -0*l, 0 = -4*l - n + 42. Let b = l + -5. Does 5 divide b?
True
Let g(h) = h**3 - 3*h**2 + 2*h - 3. Let v be g(3). Let n = 29 + v. Is n a multiple of 11?
False
Let h(r) = 2*r + 11. Suppose 4*w - 45 = -w. Is 17 a factor of h(w)?
False
Suppose 0 = -5*p + 108 + 32. Does 14 divide p?
True
Suppose -2 - 18 = -3*g - 2*l, 3*g + 4*l = 22. Let i be 33/15 + 1/(-5). Suppose g*n - 16 = i*n. Is n even?
True
Let k(r) be the first derivative of r**4/8 + r**3/6 - r**2/2 - 4. Let s(x) be the second derivative of k(x). Does 12 divide s(5)?
False
Let v = 128 + -26. Does 11 divide v?
False
Let a = 5 - 25. Let t = 5 + a. Does 5 divide (-2)/(-3) + (-185)/t?
False
Let a(z) = 59*z + 4. Let q be a(-4). Let g be 1 + 0 - q/(-8). Is 2 a factor of 3*(-3 + g/(-6))?
False
Let p(g) = -g**2 + 5*g - 3. Let h be p(3). Let u = -5 + h. Does 15 divide 174/10 + u/5?
False
Let k = 3 - 9. Let q = 3 + k. Is (2/q)/((-1)/54) a multiple of 20?
False
Let d(y) be the first derivative of -y**2/2 - 1. Let v = 6 - 12. Is 3 a factor of d(v)?
True
Suppose -q + 198 = -g, 64 + 138 = q - 5*g. Does 22 divide 2/6 + q/3?
True
Suppose h - 2*y = 3*y - 5, 18 = 4*h - y. Let c(k) = 4*k - 11. Let f(a) = -a + 1. Let g(r) = -c(r) - 5*f(r). Is g(h) a multiple of 11?
True
Suppose -3*y + 2*h = 7*h + 9, h - 7 = -5*y. Suppose -3*z + 79 = y*x - 15, 0 = 4*x + 2*z - 172. Let v = x + -25. Is 8 a factor of v?
True
Let s = 100 - 56. Does 7 divide s?
False
Suppose 3*f = -5*x - 123, 5*f = -4*x - x - 125. Let z = x - -42. Is z a multiple of 14?
False
Suppose 11 + 13 = -4*k. Let v(r) = r**2 + 2*r - 4. Let x be v(k). Suppose -4*g = g - x. Is g a multiple of 4?
True
Let o(t) be the third derivative of t**5/12 + t**4/8 - t**3/3 + 3*t**2. Is 8 a factor of o(2)?
True
Suppose -x = 4*x - 55. Suppose v = 46 + x. Does 19 divide v?
True
Does 17 divide (-3 + 3)/2 + 26?
False
Suppose -4*z = -z - 12, z = 2*h - 74. Is 12 a factor of h?
False
Let l = 33 - 19. Let u be 0 - 7/(l/(-24)). Suppose -u = 2*m - 72. Does 12 divide m?
False
Let w = 75 + -41. Suppose -f + w + 32 = 0. Is f a multiple of 22?
True
Suppose 342 = 4*u - 3*g, u = -2*u - 4*g + 244. Is u a multiple of 42?
True
Let l = 79 + -46. Is 11 a factor of l?
True
Is (-2)/12 + 14552/48 a multiple of 32?
False
Is 5 a factor of (-61)/(-3) + (-8)/(-12)?
False
Suppose 3*l - 2*n = 3*n + 88, n - 76 = -2*l. Is l a multiple of 16?
False
Suppose -3*s + 5*s - 6 = 0. Let t = 3 - 5. Is (s - -7)/(t/(-3)) a multiple of 6?
False
Let h = -37 + 63. Is h a multiple of 12?
False
Let v(d) = d**3 - 5*d**2 - 6*d + 2. Let w be v(6). Does 2 divide w + 0 + -2 + 4?
True
Let v = 6 + 3. Let d = v + 4. Is 13 a factor of d?
True
Suppose 0 = 3*y - 3, -5 = -2*h - 4*y + 105. Is 20 a factor of h?
False
Let u(o) = -o**3 + 3*o**2 + 3*o + 4. Let d be u(4). Suppose d = 4*k - 3*t + 5, k + 4*t = -k - 8. Let m(w) = -20*w + 2. Does 14 divide m(k)?
True
Let z = -94 - -138. Is z a multiple of 8?
False
Let t(o) = -3*o - 11. Let l(y) = 2*y + 5. Let b(h) = 9*l(h) + 4*t(h). Let k be b(5). Suppose -3*s - 2*s = 3*i - 19, 3*i = 5*s - k. Is 5 a factor of s?
True
Does 30 divide (2 + (1 - 2))/((-9)/(-810))?
True
Let b be 6*(-3 - (-14)/6). Is 21 a factor of 0 + -1 + (-172)/b?
True
Let n(b) = b**3 - b**2 + b + 2. Let z be n(0). Let s be (z*3)/((-5)/(-115)). Suppose w - 4*w = -s. Is w a multiple of 13?
False
Suppose 5 = -3*a - 2*g, 4*a + 16 = -0*g + 2*g. Is 3 a factor of (5 + 1)/1 + a?
True
Let o = 45 - 32. Does 13 divide o?
True
Let z = -43 + 64. Is 1036/z - (-4)/6 a multiple of 19?
False
Suppose 4*o + 51 = -4*p + 351, 0 = 2*p + 5*o - 141. Does 13 divide p?
True
Suppose -3*u + 84 = -0*u. Suppose -4*m = -2*m - u. Suppose 2*x - 3*x = -m. Is x a multiple of 7?
True
Let c be ((-10)/(-6))/(-5)*-21. Let f(p) = 3*p + 9. Is f(c) a multiple of 30?
True
Let n be (-1 + -2)/((-6)/(-4)). Is (n/(-4))/(1/22) a multiple of 3?
False
Suppose 72 = 2*s - r, -4*s = 2*r + 25 - 169. Does 12 divide s?
True
Let z be -3*4/(-6) + 1. Sup