44 a factor of a?
False
Suppose 16 = -t - t. Let z(a) be the third derivative of a**6/120 + 2*a**5/15 - a**4/4 - a**3 + 5*a**2. Is 9 a factor of z(t)?
False
Suppose 3*x - 4*x - 3 = 0, 945 = 5*k + 5*x. Let i = k + -109. Is 18 a factor of i?
False
Let f be (310/15 - -1)*3. Let z = f - 48. Is z a multiple of 14?
False
Let x(v) = 3*v**2 - 3*v - 18. Suppose 0 = m - 4*k - 6, -m - k + 2*k = 3. Is x(m) a multiple of 4?
True
Let c = 50 - 46. Is ((-43)/(-1) - c) + -4 a multiple of 7?
True
Let l(c) = -c**2 - 3*c + 4. Let n be l(-6). Let t = 55 - n. Is 12 a factor of t?
False
Let p(v) = 67*v - 10. Suppose -9*l + 6*l = -6. Does 31 divide p(l)?
True
Let n = -70 - -104. Suppose n*h - 38*h + 228 = 0. Is h a multiple of 9?
False
Let r = 71 - 67. Does 13 divide (-6)/r*(-2)/(-3) + 79?
True
Suppose -3*l - 92 = -4*f, -5*f - 8*l + 150 = -3*l. Does 31 divide (-4)/f + (-56)/(-91)*101?
True
Let v be -5 + 3 + -2112 + 0 + 2. Is 3 a factor of v/(-60) + 8/10?
True
Let a be (2*(-2 + 1))/(-1). Suppose -9 = 2*b - 1, -363 = -5*h + a*b. Is h a multiple of 12?
False
Suppose -7*y - 1134 = -4914. Suppose 0 = 5*n - 2*n + y. Is (n/54)/((-4)/30) a multiple of 5?
True
Let s(j) = j**2 - 6*j + 3. Let z be s(6). Suppose z*x = 18 - 3. Is x a multiple of 2?
False
Let q(w) = w**3 - 4*w**2 - 4. Let h be q(4). Let k be h/10 + (-3899)/(-35). Suppose -4*n + k = -5. Does 5 divide n?
False
Let z(f) be the second derivative of -f**5/20 + 7*f**4/12 + 4*f**3/3 + 2*f**2 - 3*f. Suppose -3*x - 4*p + 7*p = -27, -5*p = -3*x + 29. Is 2 a factor of z(x)?
True
Suppose 10*b - 61*b = -134487. Does 86 divide b?
False
Let c be -4*1*(-6)/(-4). Suppose -3*o + 5*z + 39 = -16, 5*z - 5 = 0. Let h = c + o. Does 10 divide h?
False
Let n(o) = o**3 - 6*o**2 + o - 6. Let a be n(7). Suppose -2 = 2*w - a. Does 4 divide w?
True
Let a(q) = -q**2 + 6*q - 3. Let y be a(4). Suppose 3*c = -2*c - 2*d + 25, -c + y*d = -5. Does 14 divide 63 - c/(20/8)?
False
Let d(y) be the third derivative of 5*y**2 + 7/24*y**4 - 1/60*y**5 + 0*y + 0 + y**3. Is 2 a factor of d(7)?
True
Let w(c) = 11*c - 90. Does 25 divide w(35)?
False
Let d = -27 - -65. Does 3 divide d?
False
Let j(c) = 14*c**2 + 2*c - 2. Let t be j(1). Is 36 a factor of t/49*(2 + 5)*59?
False
Is 16 a factor of (11/(110/48))/((-15)/(-950))?
True
Let a = -512 + 552. Is a a multiple of 4?
True
Let l = -7484 + 13315. Is 17 a factor of l?
True
Let n(w) = -w**2 + 6*w + 2. Let a be n(6). Suppose 16 - 48 = a*p. Let u(h) = -2*h + 7. Is u(p) a multiple of 22?
False
Suppose 200 = f - q, -12*f = -7*f + 3*q - 984. Is 22 a factor of f?
True
Let r(b) = b**3 - 13*b**2 - 28*b + 72. Is r(15) a multiple of 3?
True
Let h(p) = -3*p**2 + p + 2124. Is h(0) a multiple of 59?
True
Let d(w) = w**2 + 15*w - 2. Let b be d(-14). Let x(l) = -l**2 - 16*l + 5. Let u be x(b). Suppose u*f = -4*r + 295, -2*r = -2*f + r + 95. Does 11 divide f?
True
Suppose -1 = 5*o - 11. Suppose -42 = 4*v - 5*c, -22 = o*v - 4*c + c. Let i(t) = t + 14. Is i(v) a multiple of 6?
True
Let a(t) = 6*t + 15. Let y(m) = -m**3 - 6*m**2 - 6*m - 11. Let c be y(-5). Let i be a(c). Does 10 divide (-21)/3 + 4 - i?
False
Suppose 3*o - 5 = 1. Is (-904)/12*(-3)/o a multiple of 5?
False
Let j(w) = 2*w**3 - 4*w**2 - 5*w + 14. Does 13 divide j(4)?
False
Let a(g) = -2*g + 17. Let w be a(7). Let s(v) = v**3 - 2*v**2 - 2*v - 6. Let x be s(w). Is 23 a factor of x + 178*4/8?
False
Suppose 0 = 8*m - 4*m - 364. Suppose 4*v = -4*p + m + 233, 4*v = -5*p + 324. Let b = v + -29. Is b a multiple of 13?
True
Suppose 0 = -8*k - 726 + 2862. Suppose 2*f = -7*r + 2*r + 448, 3*f = -3*r + k. Is r a multiple of 10?
True
Let z = 81 + -959. Let d = -626 - z. Does 12 divide d?
True
Let x(t) = t**2 + 7*t + 4. Let d be x(-6). Let w be (-6)/(((-3)/d)/(-1)). Suppose w*b + 4*l = 208, -3*l + l = -5*b + 260. Does 24 divide b?
False
Suppose 4*r - 4*v - 128 = v, -3*v = 3*r - 96. Suppose -r = -5*l - 7. Suppose -l*j + 55 = 5*s, 4*s - 4*j = 2*s + 40. Is s a multiple of 7?
True
Is 22 a factor of 26 + 80/(-16) + 1 + 0?
True
Suppose -4*m + 3*f + 1163 = 0, 4*f = 8*m - 10*m + 554. Does 41 divide m?
True
Let q = -2829 + 4045. Is 32 a factor of q?
True
Let n(z) be the second derivative of -7*z**5/5 - z**4/6 - z**3/6 + 5*z. Let o(x) = -2*x**3 + 2*x**2 - 2*x + 1. Let v be o(1). Does 9 divide n(v)?
True
Suppose p - 29 = -n, -4*n - 4*p + 113 = p. Is 8 a factor of n?
True
Let v(p) = 7*p + 1. Let c be v(-4). Let i = c - -87. Is (16/4)/(8/i) a multiple of 5?
True
Let m = 268 - 426. Let l = -85 - m. Does 12 divide l?
False
Let h = 30 + -30. Suppose h = -2*y + 31 + 5. Does 3 divide y?
True
Let x(h) = -3*h**2 + 99*h - 37. Is 82 a factor of x(12)?
False
Suppose 108*a - 121*a = -2574. Does 9 divide a?
True
Suppose 100*i - 101*i = -2*x + 1286, 5*i + 1936 = 3*x. Does 8 divide x?
False
Let b = 94 + -23. Does 6 divide b?
False
Suppose 0 = -32*c + 1875 + 22605. Does 97 divide c?
False
Suppose 2*a - 45 - 9 = 0. Does 7 divide 22 - (6/(-4))/(a/36)?
False
Let l = -134 + 83. Let u = 17 - l. Does 10 divide u?
False
Suppose 5791 - 1478 = a. Is 32 a factor of a?
False
Suppose 3*c + 5*m = -22, 3*c + 4*m + 28 = 5. Let q be (c/(-15))/(2/(-10)). Does 4 divide (-2)/(-2) + q - -13?
False
Suppose 0 = 2*s + 2*s + 408. Let f = 129 + -159. Let a = f - s. Is a a multiple of 12?
True
Let i(v) = 0 + v**3 + 3*v - 3 - 10*v**2 + 3*v**2 + 0*v**2. Let a = -1 + 8. Is 18 a factor of i(a)?
True
Suppose -29*d + 11*d = -16020. Does 14 divide d?
False
Let u(p) = -6*p - p**2 + p + 5*p**3 + 3*p + 0*p**2. Is u(2) a multiple of 32?
True
Let z be (-1)/(-1 + (-3)/(-6)). Suppose 3*a + k = 72, -2*a - z*k = -4*k - 48. Is a a multiple of 8?
True
Suppose 19 + 6 = -5*m. Let q(b) = -b - 1. Let s be q(m). Let t(p) = 5*p**2 + 3*p - 1. Is t(s) a multiple of 19?
False
Let d be (-1)/(-3)*-8*-36. Let x = -60 + d. Is x a multiple of 12?
True
Is 38 a factor of (152/24)/((-5)/(-120))?
True
Let y = 1747 - 1075. Does 24 divide y?
True
Suppose 8 = y + 8. Suppose y = 3*h + h - 224. Does 28 divide h?
True
Let s = 308 + -204. Let j = 150 - s. Is 8 a factor of j?
False
Let b = -98 + 94. Is 4/((-220)/56 - b) a multiple of 28?
True
Let v be (-64)/(-4) - (-1 - -5). Let t(b) = -2*b - 6. Let m be t(v). Does 6 divide (-20)/m - 70/(-3)?
True
Is 8 - (9 - 3) - -123 a multiple of 9?
False
Suppose 0 = 9*h - 3952 - 2321. Does 17 divide h?
True
Let m(g) = -2*g - 3. Let f be m(-5). Let r be 355/f - 6/(-21). Suppose 4*i = i + r. Is i a multiple of 17?
True
Let l = 4 - 6. Let q(s) = 13 + 0*s**2 - 23 + 8 + 5*s + 5*s**2 + 7. Is 15 a factor of q(l)?
True
Suppose 5*n + 2*k = 1652, -4*k = k - 5. Let r = -201 + 299. Suppose 3*v = -3*w + n, -w - r = -2*w - 4*v. Does 38 divide w?
True
Suppose -2*o + 2*k + 6 = 5*k, 2*k - 4 = 5*o. Let u(r) = r**3 + 3*r + 84. Is u(o) a multiple of 6?
True
Let i be 1112/28 - (-8)/28. Suppose -42*s + 52 = -i*s. Does 3 divide s?
False
Let a be (-29735)/570 - (-2)/12. Let d be 9*(10/(-6) + 1). Does 2 divide a/(-6) - (-4)/d?
True
Suppose -156 = 6*y - 3*y. Let n = 133 + y. Is n a multiple of 9?
True
Is 39 a factor of -18*(1 + -6 - 363/99)?
True
Let k = 37 + -128. Let n = -59 - k. Does 16 divide n?
True
Suppose 0 = 3*j + j - 8. Let y = -3 - j. Let a(d) = d**2 + 4*d + 3. Does 8 divide a(y)?
True
Let x(v) = -v**2 + 8*v + 2. Suppose h = 4*h + 5*z + 44, 16 = -4*z. Let p(c) = c**3 + 7*c**2 - 10*c - 9. Let f be p(h). Does 5 divide x(f)?
False
Does 51 divide 1*(-3 + 0)*886/(-6)?
False
Suppose -35 - 163 = -d. Suppose 5*y - d = -58. Does 23 divide 966/y*2*1?
True
Let p(j) be the second derivative of -j**5/20 + j**4 - j**3 + 8*j**2 - 15*j. Does 23 divide p(10)?
False
Let z be (-10)/(-2)*(6 - 5). Suppose 3*b + z*x - 364 = x, 3*b - 380 = 4*x. Suppose 9*y - 4*y + q - 126 = 0, -5*y = -q - b. Does 25 divide y?
True
Let q(c) = c**2 - 11*c + 23. Let n = -140 - -154. Is q(n) a multiple of 34?
False
Let o(x) = -19*x**2 + x + 7. Let r be o(3). Let w = 270 + r. Does 10 divide w?
False
Suppose -189 + 737 = 2*q. Suppose 2*f - 5*w = 533, -f - w + q = -2*w. Suppose 0 = -4*o + 2*r - 81 + f, -4*o - r = -213. Is 13 a factor of o?
True
Suppose -2*h - 4*i + i + 154 = 0, -4*h - 3*i = -296. Let z = h + -41. Is z a multiple of 9?
False
Let q = 13 - 9. Suppose -q*k - 46 = 5*u, u - 6*u - 34 = k. Let z(b) = 2*b**2 + 5*b + 16. Is z(u) a multiple of 14?
False
Suppose -12*g + 15*g - 543 = 0. Let d = g 