*w - 2. Is 35 a factor of m(1)?
False
Let v(j) = 8*j**2 + 5*j + 3. Let x be v(-3). Suppose x = q + 4*q. Is 6 a factor of q?
True
Does 17 divide (54/7)/(1 + (-44)/56)?
False
Is 16 a factor of (-15)/5 + (2 - -17)?
True
Suppose 10*p + 431 = 5*p - m, 4*p - m + 352 = 0. Is p/(-5) - (-4)/(-10) a multiple of 17?
True
Let j = 509 - 32. Suppose -3*b = -j + 87. Suppose -2*r = -7*r + b. Is 15 a factor of r?
False
Suppose 126 = 4*k - o - 118, 2*k - 124 = o. Is k a multiple of 12?
True
Suppose 156 = -k + 4*k. Suppose 0 = -4*x + 2 - 6. Does 8 divide (k/12)/(x/(-3))?
False
Let c be (-24)/28*(-28)/6. Let k(l) = 8*l + 2. Let f(y) = 9*y + 2. Let t(j) = c*f(j) - 5*k(j). Is 9 a factor of t(-4)?
False
Let k = -20 + 63. Is 18 a factor of k?
False
Let p be 6/(-10) - (-152)/20. Suppose -i + 3 + p = 0. Is 5 a factor of i?
True
Let v = -21 - -9. Let l be (-4*(3 - 4))/1. Does 17 divide l/v + (-309)/(-9)?
True
Let f(h) = -3*h + 11. Let s = -2 - 5. Does 16 divide f(s)?
True
Let h be ((-9)/27)/((-1)/(-15)). Let w = 3 - h. Does 4 divide w?
True
Let p be (-166)/(-3) - 9/27. Suppose 0 = 5*b + t - 131, t = 2*b + 4*t - p. Is b a multiple of 13?
True
Suppose 60 = 3*m + m. Is m a multiple of 13?
False
Is 40 a factor of (-72)/18 - 1*-229?
False
Let w = -33 - -147. Is 28 a factor of w?
False
Let t(x) = x + 2. Let i(h) = h - 1. Let f(z) = -4*z + 8. Let w(c) = f(c) + 6*i(c). Let a(m) = -4*t(m) + 3*w(m). Is a(7) a multiple of 4?
True
Let k = 120 + -78. Is 14 a factor of k?
True
Let t(c) = c**2 - 5*c - 13. Is t(10) a multiple of 11?
False
Let p(g) be the first derivative of -g**3/3 + 5*g**2/2 - 2*g + 4. Is p(4) even?
True
Suppose y + 0*z - 56 = -4*z, 4*y + 2*z - 154 = 0. Is 6 a factor of y?
True
Is 10 a factor of (-78)/(-8) - 6/(-24)?
True
Suppose -3*l + 60 + 0 = 0. Is l a multiple of 10?
True
Let j be ((-4)/6)/((-9)/(-108)). Is (-222)/j - (-1)/4 a multiple of 14?
True
Let n = -2 + 2. Suppose -4*q - 4 = n, 3*j - 5*q = -0*q + 23. Suppose r = j*r - 55. Does 4 divide r?
False
Let j(k) = -k**2 - 11*k + 1. Let w be j(-8). Suppose 2*t - 8 + 48 = 3*x, -3*x - t = -w. Is x a multiple of 5?
True
Is 6 a factor of 1/(3/(-66)*-2)?
False
Suppose 0 = a + m - 155, 0 = a - 3*m + 27 - 178. Does 22 divide a?
True
Let h(g) = g**2 + 3*g + 6. Does 8 divide h(-8)?
False
Let o(v) = v**2 - 9*v - 10. Let t be o(12). Is 22 a factor of 1140/t + 10/65?
True
Let g(r) = -2*r**2 + r + 1. Let t be g(-1). Is 238/22 + t/(-11) a multiple of 11?
True
Is (5 - (-12 - -4)) + 1 + 1 a multiple of 5?
True
Let w = 24 + 0. Suppose 8 - w = -4*d. Suppose -d*b = -3 - 37. Is b a multiple of 4?
False
Let z(g) be the second derivative of -g**4/12 + 8*g**3/3 - 11*g**2/2 - 2*g. Does 21 divide z(9)?
False
Suppose -2*v + 12 = 2*v. Let o = 1 + v. Does 2 divide o?
True
Suppose -32 = -l + 108. Is l a multiple of 13?
False
Is -7*(0 + 4)/(-4) a multiple of 2?
False
Suppose -8*j + 16*j = 0. Let b(k) = -k + 1. Let n(u) = 2*u - 1. Let p(a) = 13*b(a) + 6*n(a). Is 3 a factor of p(j)?
False
Does 24 divide (-8)/(-1*(-5)/(-120))?
True
Let u = -3 - -6. Let t(y) = -y**2 + 5 - u + 8 - y**3. Does 5 divide t(0)?
True
Suppose 0 = -5*u + 3*m, -3*u = -8*u + 2*m. Suppose -2*h + 0*h + 26 = u. Is h a multiple of 4?
False
Is 11 a factor of ((-3)/(-3))/((-3)/(-99))?
True
Suppose 0 = 2*b - 6 + 2. Suppose b = t + 5. Is 2 + 1 - -24 - t a multiple of 15?
True
Let s = 18 + 52. Is 20 a factor of s?
False
Let g(c) = -60*c + 31. Is g(-6) a multiple of 44?
False
Let r be ((-5)/15)/(1/3). Let s be 12 - 2*(r + 0). Suppose 19 = 5*j - 3*d - s, 3*d = 12. Does 9 divide j?
True
Suppose 151 + 24 = -5*p. Let a = p - -74. Is 13 a factor of a?
True
Suppose 18 = 4*h - 2*h. Does 3 divide h?
True
Let d = 60 - -6. Is 22 a factor of d?
True
Is -11*1/((-4)/4) a multiple of 11?
True
Suppose 3*y + 0*k = -k + 5, -2*y = -k - 5. Suppose 4*f = -5*o + f + 103, 0 = -y*o - f + 41. Is o a multiple of 20?
True
Let j(f) = -f**3 - 6*f**2 + 6. Is j(-7) a multiple of 11?
True
Let i be (1 - 196)*(-4)/10. Suppose 3*z - 225 = y, 5*z - 283 = -3*y + i. Is 19 a factor of z?
False
Suppose v + 3*v - 7 = -5*w, 5*w = 3*v + 21. Suppose -w*q + 4 = -6*q + 4*n, -n = -5*q + 16. Suppose -5*a - j = -157, 6*j - 113 = -q*a + j. Is a a multiple of 11?
False
Suppose -n + 4*z = 6, -n - 2*n + 3*z = 0. Suppose -n*t + 0 = -4*k + 4, 5*k = -5*t + 50. Does 2 divide t?
True
Let c(t) = -2*t**3 - 7*t**2 - 5*t - 4. Let u be c(-4). Suppose u = 4*q + g - 62, g = -2. Does 16 divide q?
False
Suppose -4*h - 10 = 2. Let b(j) = -j**2 - 2*j**3 + 0 + 2*j - 2*j**2 + j**2 - 2. Is b(h) a multiple of 14?
True
Let m be (30/8)/((-2)/(-8)). Let g = m + -22. Let v(x) = -x**2 - 11*x - 9. Is 16 a factor of v(g)?
False
Let q(j) = -j**2 - 8*j. Suppose 5*f - 3 = 2, -2*v = f + 13. Is q(v) a multiple of 3?
False
Let q be 2 - (32 + -1 + 1). Let d = -33 - -8. Does 6 divide (q/d)/((-3)/(-20))?
False
Suppose 4*k = -5*g - 28, -3*g = 3*k + 7 + 8. Does 7 divide ((-34)/g)/((-4)/(-16))?
False
Suppose o + 9 = -2*s + 2, 6 = -2*s. Is (1 - -8) + o + -2 a multiple of 6?
True
Suppose -w - 16 = -5*w. Suppose -w*f + 20 = 4. Suppose -q = -f*q + 132. Is 19 a factor of q?
False
Suppose -o - o - 4 = 0, -2*g + 3*o = -156. Does 14 divide g?
False
Let c be (-155)/(-6) - 4/(-24). Suppose -2*u - c = -4*u. Is 13 a factor of u?
True
Suppose 3*c - 4*c = -1. Let y(k) = c - k - 1 - 3. Does 2 divide y(-7)?
True
Let g be (-1)/(-2)*(10 - 2). Suppose 0 = -p + g*d + 38, -5*d + 110 = -p + 5*p. Does 15 divide p?
True
Let w = 9 + -14. Let a = -1 - w. Suppose a*l - 92 = -8. Does 10 divide l?
False
Suppose 0 = 4*i - 3*i + 5*c - 77, 5*i = -5*c + 305. Does 18 divide i?
False
Suppose 5*u = k - 6, 6*u = -2*k + 10*u - 6. Let n(q) = -q**3 - q**2 + 1. Let g be n(0). Is 7 a factor of -1 - k - (-1)/g?
False
Suppose 2*t = t + n - 71, 2*n = -10. Let k = 147 + t. Is k a multiple of 22?
False
Let f be (4 - 1)/((-3)/4). Is f/(-10) + 392/20 a multiple of 16?
False
Suppose 17*q = 15*q + 6. Suppose -w - i = -7, w = -q*i + 2 - 5. Does 11 divide w?
False
Let v = 59 - -66. Is v a multiple of 14?
False
Let c be (-94)/(-12) + 1/6. Does 13 divide -1 + c/4 - -28?
False
Suppose 19*i - 1539 - 3686 = 0. Does 21 divide i?
False
Let b = 101 - 22. Suppose -14 - 11 = -3*m + 5*x, x - b = -5*m. Is m a multiple of 11?
False
Suppose 0 = -3*a + g + 25, 5*a - 5*g - 2 - 23 = 0. Suppose 0*z + 4*z - 182 = i, 5*i = a. Is z a multiple of 13?
False
Suppose 4*n - 11 = 9. Suppose -n*k = -0*c + 4*c - 94, 4*c - 72 = -4*k. Does 11 divide k?
True
Let k(m) = 18*m**3 - 4*m**2 + 2*m + 1. Suppose 2*w - 4*d + 1 - 17 = 0, 5*d = -5*w - 5. Let i be k(w). Let s = i - 95. Does 14 divide s?
False
Suppose 66 = -16*x + 17*x. Is x a multiple of 33?
True
Let f = -79 + 159. Is 10 a factor of f?
True
Suppose -264 = -2*v - v. Is v a multiple of 18?
False
Suppose -d = 4*d - 2*t - 125, -5*d + t = -130. Let y = d - -18. Is y a multiple of 15?
True
Let v = 14 + -24. Is 4 a factor of ((-84)/(-35))/((-3)/v)?
True
Suppose 0 = -2*o - o + 420. Is o a multiple of 35?
True
Is (93/21 - 4) + 3078/21 a multiple of 17?
False
Suppose d = -2*c + 5*d - 962, -5*d = 5*c + 2360. Does 12 divide 2/8 + c/(-20)?
True
Suppose 0 = 5*b - 5*f - 30, 0 = -4*b + 5*f + 30 - 1. Does 5 divide ((-22)/(-4))/(b/2)?
False
Let c be ((-3)/(-9))/((-2)/(-876)). Let y(z) = -z**3 + 3*z**2 - 1. Let u be y(2). Is c/u + (-2)/3 a multiple of 16?
True
Let o be (3 - 2)/(2/10). Suppose -o*a + 52 = -6*a. Let b = -37 - a. Does 15 divide b?
True
Let w = 251 + -72. Is 40 a factor of w?
False
Suppose 3*f - 3*t = 111, -3*f - 2*f + 213 = 2*t. Is 18 a factor of f?
False
Suppose 5*c = -4*w + 1696, -4 = w + 3*w. Is c a multiple of 16?
False
Is (-2 + 21)*(-3 + 6) a multiple of 19?
True
Suppose 279 = 8*f - 225. Is f a multiple of 9?
True
Suppose -2*b = -4*r + 9 - 45, 0 = -5*b + r + 135. Is 2 a factor of b?
True
Let c be 2/(0/2 + 1). Suppose -p = c*m + 8, 4*p + 0*p + 52 = -4*m. Is 10 a factor of (-2)/9 - 310/p?
False
Let p = 22 - 10. Is p a multiple of 12?
True
Suppose -5*i + 56 = -24. Does 16 divide i?
True
Let w(n) = -5*n**3 + n**2 + n - 9. Let v(m) = 2*m**3 + 3. Let b(g) = -8*v(g) - 3*w(g). Is b(-3) a multiple of 4?
True
Let g = 70 + -58. Is 4 a factor of g?
True
Suppose 3*t - 495 = -6*t. Is t a multiple of 11?
True
Suppose 0 = -2*r + 4*r - 20. Let i = 19 - r. Is i a multiple of 3?
True
Let a be 3 - (-2 + (-9)/(-3)). Supp