ppose 4*b - 12 = 0, 5*s + z*b - 685 = j*b. Is 20 a factor of s?
True
Suppose t = -20*b + 24*b + 3906, 4*b = 24. Does 10 divide t?
True
Let l = 30 + -35. Is -6*l/(-1)*-3 a multiple of 5?
True
Let d = 163 + -396. Let z = -193 - d. Does 5 divide z?
True
Suppose -2*f + 2*n - 44254 = -4*f, -f = 4*n - 22127. Is f a multiple of 7?
True
Suppose -36*s + 50 = -26*s. Suppose 4*r - m = 244, -s*r - 5*m = -177 - 103. Is 15 a factor of r?
True
Suppose 0*f - 3*f + 276 = 0. Let q = f - -214. Is 9 a factor of q?
True
Let h(d) = 28*d - 24. Let u be (-14)/(-3) - 20/(-15). Let l be h(u). Suppose -3*t - l = -5*t. Is t a multiple of 8?
True
Suppose 0 = -23*x + 31174 + 89300. Does 62 divide x?
False
Suppose 0 = -4*m - m - i - 210, 25 = 5*i. Suppose 0 = 3*o + b + 137 - 16, 105 = -3*o + 3*b. Let h = o - m. Is h even?
True
Let o = 81 - 74. Let c(h) = -2*h - 2*h + 36 + 8*h + o*h. Is c(16) a multiple of 39?
False
Let m be (-1 + 3)*-1*10/(-4). Suppose 5*s - m*a + 79 = 3*s, -4*s = -3*a + 151. Let u = s + 56. Is u a multiple of 2?
False
Let i(d) = 1069*d - 511. Is 87 a factor of i(10)?
True
Let c = 28846 - 12080. Is 59 a factor of c?
False
Let u = -19251 + 27364. Does 133 divide u?
True
Let p(b) = 0*b + 11 + b + 3*b**2 + 1 + b. Let o(y) = y**3 + 22*y**2 - 2*y - 49. Let f be o(-22). Does 12 divide p(f)?
False
Let u = -104 + 122. Let y(d) = -d**3 + 6*d**2 - 5*d - 5. Let r be y(5). Is 16 a factor of (-2 - 6/r)/(u/(-4185))?
False
Let s(t) = 44*t**2 + 3*t + 3. Let o be s(-2). Let k = 108 - o. Let n = k + 154. Is n a multiple of 22?
False
Suppose 0 = -7*p - p + 200. Let y = 45 - p. Suppose -2*m - y = -176. Does 13 divide m?
True
Does 279 divide ((-54)/63)/(-1*3/50239)?
False
Suppose -324709 = -64*f + 297819. Is f a multiple of 20?
False
Suppose 11*h = -42 + 240. Does 102 divide 11631/6 - 9/h?
True
Suppose -3*m = 2*m + 5*b - 3650, 3654 = 5*m + 3*b. Let q = m + -402. Is q a multiple of 7?
False
Let y(k) = 11*k**3 + 26*k**2 - 41*k + 387. Does 171 divide y(9)?
False
Suppose 0 = 4*p - 3*y - 62, -2*p - 3*y + 48 = 8. Suppose -3*v = -2*w + 5 - p, -v + 8 = -2*w. Suppose -2*z = -i + 46, 99 = 3*i - v*z - 35. Is i a multiple of 44?
True
Let j(s) = 3583*s - 211. Is j(1) a multiple of 30?
False
Let w = -3028 - -4884. Is 17 a factor of w?
False
Suppose 2253 + 1363 = 4*d. Is 14 a factor of d?
False
Suppose -3*z + 4*z + w - 5 = 0, z = w + 5. Suppose 0*i + 555 = -z*i. Is i/(-2) - (-3)/(-2) a multiple of 9?
True
Suppose 0 = -2*w - 14, -347*o + 5*w + 36452 = -346*o. Is 61 a factor of o?
True
Let r(l) = 3*l**3 + 4*l**2 - l + 250. Let s be r(0). Let u = s + 10. Is u a multiple of 20?
True
Suppose -7*v + 9*v + 2*f - 17070 = 0, 4*v - 34116 = 4*f. Suppose 1172 = -16*b + v. Does 53 divide b?
False
Suppose -312 + 2112 = 3*x. Let a = x + -899. Let d = -163 - a. Is 8 a factor of d?
True
Let p(x) = x**3 + 13*x**2 + 12*x - 2. Let y be p(-12). Let f be (-5)/(y + 0 + 115/60). Does 18 divide (-2174)/(-12) + (-10)/f?
False
Suppose 6*l + 50 + 2962 = 0. Let t = -5 - l. Is 27 a factor of t?
False
Let h be (-3)/(-1) + 12/(16/4). Let z be (13/h - 3)*-6. Suppose 435 = 3*j - 5*d, -4*j + z*d + 241 = -344. Does 30 divide j?
True
Let m(q) = q**2 + 4*q + 228. Is 4 a factor of m(14)?
True
Let s(u) = 3*u + 22. Let a be s(10). Is ((-491)/4 + -1)/((-13)/a) a multiple of 9?
True
Let c(v) = 4*v**3 - 20*v**2 + 16*v - 17. Let j(f) = -f**3. Suppose 3*p = 4*p + 3. Let h(x) = p*j(x) - c(x). Is h(19) a multiple of 25?
False
Suppose -6 = 2*y + 2*g - 10, 0 = -5*y - 3*g + 20. Let q = y + -85. Let n = q - -340. Is n a multiple of 16?
False
Let g be 4 + (-114)/27 + (-1222)/9. Let m = 1080 - g. Is m a multiple of 16?
True
Let s(d) = 22*d**2 - 289*d + 35. Is 14 a factor of s(17)?
False
Let t = -189 + 729. Let r = t - 217. Is r a multiple of 12?
False
Suppose 0 = 91*c - 82*c + 16776. Let r = -1279 - c. Does 39 divide r?
True
Let h = -80 - -84. Suppose -3*f = -5*a - 0*f + 15, -2*a + h*f + 6 = 0. Suppose -9*k + 498 = -a*k. Is k a multiple of 23?
False
Let z(x) = -x + 3*x**3 - 32*x**2 - 3*x + 33*x**2 - 1. Let t(y) = -2*y - 5. Let a be t(-4). Is 27 a factor of z(a)?
False
Suppose 0 = -9*r + 4*r - 50. Let x(m) = -4*m. Is 3 a factor of x(r)?
False
Let i = 11493 + 1308. Is 22 a factor of i?
False
Suppose -4*j = -2*j - g + 12, -2*j - 2 = 4*g. Let z(o) = o**3 + 12 + 11*o + 2*o - 6*o - 8*o + 4*o**2 - 4*o. Is z(j) a multiple of 6?
True
Suppose f + 76356 = 3*i, -3*i + 27*f = 23*f - 76374. Is 92 a factor of i?
False
Let o(k) be the first derivative of 87*k**2/2 + k - 17. Let n be o(1). Suppose -9*x = -13*x + n. Is x a multiple of 6?
False
Suppose n + 17 = 5*o + 2, -3*o + 21 = -3*n. Let f be o/(-3) + -4 + 8/12. Does 9 divide 6/f*(-3 - 543/9)?
False
Let j(w) = 2*w**2 + 22*w + 75. Suppose -4*p = -7*p, -4*z - 20 = -2*p. Is j(z) a multiple of 5?
True
Suppose -4*b + 31 = -4*l - 5, b - 4*l = 21. Suppose w - 37 = b*u, 5*w - 2*u - 251 = u. Let t = w + -4. Is 24 a factor of t?
True
Let u be (-4)/(-8)*-97*(-198)/9. Suppose u = 11*g - 1529. Is 21 a factor of g?
False
Does 55 divide 275/((-15)/4620*-7)?
True
Let v be (-9)/(-4) + 150/200. Suppose 4*p = -3*i + 759, 1012 = 3*i + i + v*p. Is 11 a factor of i?
True
Let i(p) = -28*p - 115. Suppose -3*r = 3*z + 69, -2*z = 4*r - 14 + 66. Does 14 divide i(z)?
False
Let o be ((-27)/18)/((-2)/4). Let p(c) = 47*c - 40. Is 8 a factor of p(o)?
False
Let n(j) = -j**3 - 36*j**2 + 35*j - 636. Is n(-51) a multiple of 114?
True
Let r be (8/6)/(42/(-315)). Let j(s) = 10*s**2 - 18*s - 7. Does 69 divide j(r)?
True
Suppose 6549 = -37*l - 6919. Is 15 a factor of (-20)/(-56)*-12*l?
True
Let x(y) = 72*y - 48. Let n(g) = 2*g**2 - 15*g - 12. Let f be n(9). Does 16 divide x(f)?
False
Let p(y) = -3*y**2 - 25*y + 20. Let v be p(-9). Suppose 0 = -3*z + k + 668, 3*k + 231 = v*z - 205. Does 14 divide z?
True
Suppose 20*h - 2984 = 356. Suppose -4*q + h + 117 = 0. Is q a multiple of 7?
False
Suppose 96 = c + 5*i + 28, c = -3*i + 68. Suppose -5*v + 4*x + 299 = 0, -x - 180 = -4*v + c. Does 7 divide v?
True
Suppose -1715*k = -1729*k + 19390. Is k a multiple of 61?
False
Let z = -71362 - -123963. Does 77 divide z?
False
Suppose 712296 = 131*v - 95*v. Is 83 a factor of v?
False
Is (144/598 - (-44)/(-286)) + (-2088360)/(-460) a multiple of 32?
False
Let a = 20695 - 10902. Does 7 divide a?
True
Let x be -6*-106*2/8. Let j = -11 + x. Is 25 a factor of j?
False
Suppose -273*a = -t - 272*a + 2224, 4*a - 32 = 0. Is t a multiple of 31?
True
Suppose -15*s - 2*s + 182 + 1688 = 0. Suppose 5*i + 20 = -0, t = -3*i - 79. Let l = s + t. Is 20 a factor of l?
False
Let d be (-10)/6*6/(-5). Suppose -335 = -d*g + 4*v + 51, -g = 4*v - 187. Is 23 a factor of g?
False
Suppose 30*i + 7*i = 6216. Suppose -2*f + 4*f = 0. Suppose 3*r - i + 33 = f. Is 9 a factor of r?
True
Let c be (-6 - 2)*(-10)/5. Suppose j - 14 = -c. Is (368/115)/(j/(-15)) a multiple of 8?
True
Suppose 2*k - 24 = -n, -7*k + 2*k - n = -60. Suppose -2*f - 232 = -10*f. Let y = f + k. Does 12 divide y?
False
Is (3960/15)/(-4 - (-190)/47) a multiple of 7?
False
Suppose -5*u - 5*f = -13250, -2*u - 3*f + 1285 + 4019 = 0. Is 21 a factor of u?
True
Suppose 46*s = -2*s + 91200. Does 100 divide s?
True
Suppose l - 184 = -3*l + 4*v, 3*v - 149 = -4*l. Let z(p) = -9 - l*p + 21*p + p**2 + 21*p. Is 23 a factor of z(-8)?
False
Let f(i) = -2*i + 30. Let j be f(9). Suppose 25*b = 28*b - j. Suppose b*r + 13 = 89. Is 7 a factor of r?
False
Let n(h) = 2*h**2 - 2*h - 14. Suppose -7*k + 3*k = -44. Let f = k - 17. Is 10 a factor of n(f)?
True
Let b(l) be the second derivative of -l**4/6 + 11*l**3/3 - 8*l**2 + 25*l. Let s be b(9). Suppose 104 - s = n. Is 7 a factor of n?
True
Let w(t) = t**3 - t**2 - t + 9. Let m be w(0). Suppose -m + 4 = 5*s. Is (7 - 6)/((-2)/(-6)) - s a multiple of 3?
False
Let f = 529 + -745. Let h = -98 - f. Is h a multiple of 18?
False
Let k = -652 - -223. Let a = 975 + k. Is 26 a factor of a?
True
Let y(r) = -r**2 + 6*r + 5. Let c be y(6). Suppose 0 = 2*v - k - 4, -c*v + 4*k + 18 = 2. Suppose m - 2*a - 78 + v = 0, -2*m + 153 = -5*a. Does 21 divide m?
True
Let g(q) = 7*q + 30. Let h be g(8). Let a = h + -82. Suppose a*u = 186 + 94. Is 7 a factor of u?
True
Suppose -r = 3*q - 1423 - 1004, -2*q - 2*r = -1614. Is 3 a factor of q?
True
Let x(k) = 108*k**2 + 64*k + 423. Does 119 divide x(-6)?
True
Is 23 a factor of (-24)