 - 16. Is w(8) a multiple of 9?
False
Let z(f) = -1 + 27*f + 12*f - 9*f - 4. Is 22 a factor of z(2)?
False
Let r be -5*(0 + (-4)/(-10)). Is (22/(-4))/(r/8) a multiple of 11?
True
Suppose -3*n + 0*k = 3*k - 129, 5*n = 3*k + 247. Does 6 divide n?
False
Suppose 2*f - 589 = -4*o - 11, 2*o + 3*f = 287. Is o a multiple of 29?
True
Suppose 0*u - 3*u = -111. Is 37 a factor of u?
True
Suppose -x = 1 - 3. Let z be x + -1 + 37 + -2. Let h = z - 21. Is h a multiple of 15?
True
Let x(s) = s**2 + s**2 + 6*s**2 - 2*s**2. Is 12 a factor of x(2)?
True
Let w(n) = 3 + n - n + 0*n + n. Does 5 divide w(7)?
True
Suppose 0 = -3*k - 0 + 12. Suppose -k*l + 118 = -162. Suppose -5*p = 3*w - 58, 2*p - 7*p = -5*w + l. Is w a multiple of 16?
True
Let f = -19 + 32. Suppose 2*t - 1 = f. Is t a multiple of 7?
True
Is 9 a factor of (1 - (-10)/(-6))*(-342)/12?
False
Suppose 8 = -o - 3*r - 6, 5*r = -4*o - 35. Let z(v) = -2*v + 7. Is 14 a factor of z(o)?
False
Let j be (-3)/(-6) - 1/2. Suppose -2*z + 12 + 64 = j. Is 19 a factor of z?
True
Suppose -3*g + 22 = -20. Is 7 a factor of g?
True
Let o be 0*1/(-4) - 4. Does 9 divide 636/24 + (-2)/o?
True
Suppose -4*d = -b + 6*b - 286, -233 = -4*b + d. Is 22 a factor of b?
False
Suppose 2*h - 5*h + 198 = 0. Let k = -46 + h. Let o = 30 - k. Is 10 a factor of o?
True
Let j(n) = 15*n**2 + n + 1. Does 32 divide j(-3)?
False
Let p = -91 + 181. Does 9 divide p?
True
Let n = -19 - -24. Suppose n*z - 19 = 1. Is z a multiple of 3?
False
Let n(k) = -k**2 - 6*k + 1. Let m(c) = -4*c**2 + 1 + c - c**3 - 2*c + 2. Let i be m(-3). Is n(i) a multiple of 5?
True
Let i = 14 + -8. Let z = i + 1. Is 2 a factor of z?
False
Let a be 10/25 + 133/5. Suppose -5*m + 12 = 5*x + a, -9 = 3*x. Suppose m = l - 2*l + 41. Does 22 divide l?
False
Let v(q) = 6*q**2 + 7*q. Let c(k) = -k. Let g(u) = 5*c(u) + v(u). Does 14 divide g(2)?
True
Suppose 3*q - 216 = -2*k - q, 4*k + 2*q - 450 = 0. Does 18 divide k?
False
Let l(p) be the second derivative of -p**3/3 + 4*p**2 + 4*p. Is 14 a factor of l(-17)?
True
Let j = -8 - -43. Is 22 a factor of j?
False
Suppose 2*f = -5*d + 291, -f + d - 3*d + 147 = 0. Is 51 a factor of f?
True
Let d be ((-2)/6)/(1/(-33)). Let y = 19 - d. Is 4 a factor of y?
True
Let r = 3 + 0. Suppose 33 = 2*h + r*q, -5*h + 4*q + 42 = 17. Is 4 a factor of h?
False
Let h be ((-36)/10)/((-2)/40). Suppose d + 3*d - h = 0. Let c = -6 + d. Is c a multiple of 12?
True
Suppose 5*f - 1672 = -2*b, 4*f - 1348 = 2*b - b. Does 28 divide f?
True
Is 13 a factor of 384/(-15)*20/(-8)?
False
Let r(u) = -u - 4. Let s be r(-7). Suppose -165 = 8*d - s*d. Let v = d - -96. Is 21 a factor of v?
True
Suppose -3*k + 8 = -61. Is 14 a factor of k?
False
Suppose -2*k - 2*g = -8 - 0, 0 = 2*k - 4*g + 4. Let d = k - -2. Suppose 0 = -d*p - 1 + 65. Is 6 a factor of p?
False
Suppose u - 2 = 1. Suppose 12 = o - 2*z, 0 = -3*o - 2*z - z + 72. Suppose -u*h = h - o. Is 5 a factor of h?
True
Let u(z) = -5*z + 24. Is 14 a factor of u(-12)?
True
Let y(i) = 3*i**2 + 17*i + 9. Is y(-7) a multiple of 20?
False
Suppose 3*f = -2*f. Suppose f = 2*c - 5*c + 24. Does 3 divide c?
False
Let o(b) = -b + 22. Is 6 a factor of o(16)?
True
Does 15 divide ((-16)/7)/(-4) - 4184/(-28)?
True
Suppose -3*h + 625 = 172. Does 24 divide h?
False
Suppose 37*o + 725 = 42*o. Is 6 a factor of o?
False
Suppose h + 0*h - 3 = 0. Let m(x) = -3 - 8*x**2 - x - 4*x**3 + 2*x**h + x**3. Is m(-8) a multiple of 3?
False
Let m(r) = 0 + 4*r**2 - r**3 + 14*r - 11*r**2 + 22 - r. Is 23 a factor of m(-9)?
False
Suppose -5*h + 2*b + 850 = b, 0 = 2*h - 2*b - 340. Is 35 a factor of h?
False
Suppose 3*v - 8 = 5*f, -2*f + 3 = -v - 6*f. Suppose -2*l - 54 = 5*u, -3*l = -2*l + 4*u + 27. Is 13 a factor of (l - -1)*(-1)/v?
True
Suppose 0 = 6*d - 2*d. Let k be (-1)/1 + -23 + d. Let a = k + 50. Is 13 a factor of a?
True
Suppose b - 164 + 51 = 0. Does 35 divide b?
False
Is 2 a factor of 2/((-16)/120 + (-56)/(-270))?
False
Suppose 0 = -2*f + 7*f - 85. Let m = f - 13. Is m a multiple of 3?
False
Let p(b) = -3*b - b**3 - 4 + 2*b**3 - 6*b**2 - 1. Does 23 divide p(7)?
True
Let s(h) = h**2 + 2*h - 1. Let b be s(1). Suppose 0 = -l + b + 1. Does 3 divide l?
True
Suppose -33 + 101 = j. Let g = j + -44. Does 5 divide g?
False
Suppose 4*d + 3*y + 129 = 385, y = 2*d - 128. Is d a multiple of 26?
False
Let r(l) = l**3 - 8*l**2 + l - 2. Let o = 9 - 1. Is r(o) a multiple of 3?
True
Let h(z) = z**3 - 9*z**2 - 11*z - 21. Is h(11) a multiple of 25?
True
Suppose -4*k + 34 = 2*o, 0*o + 28 = 4*k + 4*o. Is 8 a factor of k?
False
Let f = -32 + 38. Is f a multiple of 3?
True
Let d(u) = 44*u + 2. Let t be d(1). Suppose 0 = -2*o - 4*g + 12, -3*o = g - 1 - 12. Suppose 54 = o*s - t. Is 15 a factor of s?
False
Suppose -6*r - 4 = 4*t - r, 2*t + r = -2. Let q be 1*(4 - (t - 0)). Suppose 20 = -l + q*l. Is l a multiple of 2?
False
Suppose 5*f + 2 + 13 = k, -13 = k + 2*f. Let g = 38 - k. Is 9 a factor of g?
False
Let o(x) = 5*x - 1. Let c(q) = 24*q - 5. Let j(n) = 2*c(n) - 11*o(n). Let m be j(1). Does 16 divide (m/2)/3 + 17?
True
Let a = -7 - 0. Let y = a - -7. Suppose y = -3*u + 4*f + 71, -3*u - f + 73 = -6*f. Does 7 divide u?
True
Is 28 a factor of 217/3 + 5/(-15)?
False
Let g be 3 - -1 - 4/2. Suppose -3*v + 225 = g*v. Is 15 a factor of v?
True
Is 10 + (-2 - 3 - -4) a multiple of 9?
True
Suppose -3*q + 5*u = -293, 2*q - 2*u + 11 = 209. Suppose 0 = -3*a - 5*j + q, -3*a = -2*a - 2*j - 52. Is 21 a factor of a?
True
Suppose 3*w = 3*h - 1851, -2*w - 3*h - 2*h = 1227. Let l = w + 440. Is 11 a factor of 3/2*l/(-12)?
True
Let d = -269 + 503. Is 9 a factor of d?
True
Let m = 4 + -3. Let q be ((m - 3) + 1)*-41. Suppose 0 = 2*t - 2*d - 92, -d - 185 - q = -5*t. Is t a multiple of 17?
False
Let t be 0 + 35 - (-1 - 0). Suppose l - 5*l = -3*m - 2, -m - 3*l + 8 = 0. Does 2 divide (-1)/m + t/8?
True
Let t(f) = 2 - 4*f**3 + 3*f**3 + 4*f**2 + 2*f - 1. Suppose -3*k = 3*w + 3, 5*w = 4*k + w - 36. Is 9 a factor of t(k)?
True
Suppose 0 = 2*w - 592 + 40. Is ((-2)/(-6))/(4/w) a multiple of 23?
True
Suppose 3*w = -57 - 0. Let g be 2*(135/6 + -4). Let f = w + g. Does 9 divide f?
True
Let p = -80 + 173. Is p a multiple of 33?
False
Suppose -81 = -2*y - 5*q, 5*y + 5*q - 208 = 17. Does 6 divide y?
True
Let k = 60 + -36. Suppose 2*p - k = 82. Does 14 divide p?
False
Let k = 151 + -18. Is k a multiple of 24?
False
Suppose -v = -4*s + 10, -5*v + 38 = -3*s + 5*s. Suppose -v*j + j + 190 = 0. Let f = j - 14. Is f a multiple of 7?
False
Suppose 0 = -r - r + 4*s + 152, -5*r = -5*s - 390. Suppose 0 = z + z - r. Is 8 a factor of z?
True
Suppose 4*i - 25 = -i, 0 = 5*l + 5*i - 60. Let z(q) = -q**3 + 7*q**2 + 3. Let k be z(l). Suppose -6*f + 21 = 3*r - f, -3*r = -f - k. Is r even?
True
Is 10 a factor of (27 + 7)*(-6)/(-4)?
False
Suppose r + 2*r + 9 = -5*b, 5*r - 4*b - 22 = 0. Is 2 a factor of r*3/(-6) - -3?
True
Suppose 4 - 10 = -3*l. Suppose l*u = 3*u - 30. Is u a multiple of 8?
False
Let r be -7*1*(-12)/14. Suppose 3 - 15 = 2*o - 3*w, 3*o - 4*w + 17 = 0. Let n = r + o. Is n a multiple of 3?
True
Is 12 a factor of 241 + 8/((-32)/20)?
False
Let s be (-3)/((-3)/2) + 0. Suppose s*u = 52 + 8. Is 10 a factor of u?
True
Let m(a) = a**3 + 5*a**2 - 7*a - 16. Let g(n) = n**3 + 4*n**2 - 6*n - 15. Let s(h) = -6*g(h) + 5*m(h). Is 8 a factor of s(0)?
False
Let z be (10/6)/(2/(-6)). Let y be z/5 + (-1 - -6). Suppose y*t - 105 - 43 = 0. Does 19 divide t?
False
Let k(r) = 4*r**3 - 2*r**2 + 2*r + 2. Is 27 a factor of k(3)?
False
Let j be -2*(-1 + 1 - 1). Let d(w) = -5*w**3 - 5*w**2 + 5*w + 14. Let g(y) = 2*y**3 + 2*y**2 - 2*y - 5. Let u(b) = 3*d(b) + 8*g(b). Is 7 a factor of u(j)?
False
Suppose -2*t + y = 3*y + 16, 4*t + 32 = 3*y. Let b = 5 - 17. Let g = t - b. Does 2 divide g?
True
Suppose -21 - 19 = -2*i. Suppose 0 = -6*r + 2*r + i. Is 5 a factor of r?
True
Let z(o) = 20*o - 9. Is 14 a factor of z(4)?
False
Let u be 55/30 + 1/6. Suppose 2*n - 152 = 3*y, 4*n - u*n - 4*y - 156 = 0. Suppose -p + n = p. Is p a multiple of 14?
False
Let z(h) = 7*h**2 - 2*h + 3. Is z(-3) a multiple of 17?
False
Let i = 2 - -1. Suppose k = 5*c - 46, 8 = 4*c - 2*c - i*k. Let y = c - 6. Is y a multiple of 2?
True
Let j = 18 + -33. Is 8 a factor of 2/(-5) + (-246)/j?
True
Let p(o) = 24*o + 8. Does 11 divide p(7)?
True
Suppose 0*p = -2*o - 2*p + 794, -396 = -o - 2*p. Is 19