 = -41 + 81. Suppose x = 0, 2 = 3*h + 4*x - t. Is (-624)/(-28) + (-4)/h a multiple of 6?
False
Suppose 4*g = 2*g - 162. Let f = g - -53. Does 28 divide ((-74)/(-4))/((-14)/f)?
False
Let c = 15 + -10. Let z = c - 3. Suppose 6*k = z*k + 308. Is 21 a factor of k?
False
Let t = 378 + 70. Is t a multiple of 8?
True
Suppose -2*i = i + 39. Let b = 10 - i. Is b a multiple of 3?
False
Let v(m) = -3*m**3 + 153*m**2 + 5*m - 51. Does 34 divide v(51)?
True
Let u be (21/2)/((-1)/(-6)). Suppose -i + 3*d + u = 0, 0 = -2*i + 4*i - 4*d - 136. Does 13 divide i?
True
Suppose -23*y = -15609 + 5282. Does 27 divide y?
False
Let z be 8/((-4)/(-2)) - -733. Let w be z/66 - 1/6. Suppose 12*m - 21 = w*m. Is 11 a factor of m?
False
Suppose 0 = -3*l + 9 - 75. Is (-11120)/(-176) + 4/l a multiple of 21?
True
Suppose 0*j - 18 = 6*j. Let u(d) = -d**3 - d**2 + 2*d + 8. Does 4 divide u(j)?
True
Let z be -1*(6/15)/(3/45). Let s(p) = -5*p**2 + 0*p + p - p**3 + 2*p + 6. Is s(z) a multiple of 6?
True
Suppose 4*a = -j + 2430 - 585, -5*j + 9225 = 3*a. Is j a multiple of 66?
False
Let l be (-2)/7 - (-63)/49. Let o be 10*(l - (-6)/(-15)). Suppose 10 = 2*b - o. Is 3 a factor of b?
False
Let r = 314 + -221. Is 31 a factor of r?
True
Suppose 0 = -3*m - 2*b + 714 + 96, 4*m + 2*b - 1078 = 0. Is 32 a factor of m?
False
Let m be -2 - (-2 - (53 + 3)). Suppose -4*w + 5*w = m. Is 28 a factor of w?
True
Let z(l) = l**2 + 5*l. Let u be (-2 + 10)*(-93)/(-12). Let m be u/(-8) - 5/20. Is z(m) a multiple of 8?
True
Suppose 2*g - 111 = 75. Let m = 229 - g. Is m a multiple of 38?
False
Let q = 0 - -4. Suppose -q*h = 79 + 513. Is 15/6*h/(-10) a multiple of 10?
False
Is (36/(-42))/(2/(-28)) a multiple of 3?
True
Let n(w) be the third derivative of -w**5/40 + w**4/12 + w**3 - w**2. Let i(m) be the first derivative of n(m). Does 5 divide i(-1)?
True
Let h(z) = -30*z - 240. Is 10 a factor of h(-30)?
True
Let v = -12 - -13. Let y be (-3)/(((-2)/v)/18). Suppose o + 2*o = y. Does 2 divide o?
False
Does 4 divide (-1)/(7 + (-870)/124)?
False
Let u(z) = -49*z + 121. Does 83 divide u(-6)?
True
Let q(z) = -1 + 0 + 2*z**2 - 6*z + 5*z**2. Let x be 27/3*1/3. Does 11 divide q(x)?
True
Suppose 39*f = 31*f + 56. Suppose f*k - 1136 = -128. Is k a multiple of 16?
True
Suppose -3*s + 2*s - 3 = 0. Let b be 2/6*s*13. Let c(y) = -2*y + 3. Is 23 a factor of c(b)?
False
Suppose 0*u - 3*u - 51 = 0. Let x = u + 40. Suppose 0 = -4*r + 5*c + 191, 5*r + c = x + 194. Does 11 divide r?
True
Let u = 26 + -26. Suppose -s = -2*m - u*s + 32, 36 = 2*m + s. Is 12 a factor of m?
False
Suppose 5*u = b - 533, u = -0*b - 4*b + 2069. Is 14 a factor of b?
True
Suppose -2380 + 13972 = 24*a. Is 23 a factor of a?
True
Suppose 2*n - 2*f - 2 = 22, -4*f = 2*n. Let i(r) = r**3 + 6*r**2 + 2*r - 6. Let v be i(-4). Let d = v - n. Is 5 a factor of d?
True
Let a(h) = -134*h. Let n be a(1). Let y = n + 224. Is y a multiple of 9?
True
Let x = -16 + 20. Is (-1208)/(-11) + 2*x/44 a multiple of 11?
True
Let k(o) be the first derivative of 9*o**2 - 4*o + 55. Is k(1) even?
True
Suppose -3*d + 37 - 106 = 0. Let q = d - -27. Suppose -4*b + 96 = -q*u, -21 = 3*b - u - 99. Is b a multiple of 9?
True
Suppose 6*o - 5*o = 46. Let y = o - 11. Does 18 divide y?
False
Let s = 174 + -66. Suppose 0 = -5*u + s + 942. Is u a multiple of 12?
False
Suppose 0 = -7*j + 5217 - 2277. Does 20 divide j?
True
Suppose 8*i - 3*i + 1028 = 4*a, -a + 270 = 2*i. Is 8 a factor of a?
False
Suppose -h + 120 = 2*h. Let l be -2 - h*-15 - 0. Does 25 divide (-5)/(-20) + l/8?
True
Suppose 18250 = 56*q - 6*q. Is 12 a factor of q?
False
Suppose 0 = -7*b + 3 - 94. Let u = b - -55. Is 14 a factor of u?
True
Let l be 35 - (-2 + (-3)/3). Let w = -19 + l. Suppose -87 = -2*q - w. Is q a multiple of 15?
False
Let f(t) = 3 - t + 0 + 5*t + 8*t**2. Let l(y) = -y**2 - 15*y - 16. Let c be l(-14). Is 9 a factor of f(c)?
True
Is 2 - ((-6)/75 + (-83688)/150) a multiple of 7?
True
Suppose -p - 17010 = -8*p. Does 15 divide p?
True
Suppose -3*g = -688 + 136. Does 23 divide g?
True
Suppose -4*j + 17 = 5. Let m(a) = 4*a**2 + 1. Let l be m(j). Let w = 28 + l. Is 11 a factor of w?
False
Let q(t) = -t**2 - 5*t + 4. Let y be q(-5). Let h(i) = 7*i**2 - 4*i + 2. Does 23 divide h(y)?
False
Suppose 3*c + 4*g - 23 = 0, -4*g = -4*c - c + 17. Suppose c*b + 4*k = 83, 2*k - 10 = -3*k. Does 3 divide b?
True
Suppose 4*a + 5228 = 5*d - 0*a, -5*d = 5*a - 5210. Is d a multiple of 36?
True
Suppose 0 = 8*k - 99 - 957. Suppose 152 = 4*o - k. Does 14 divide o?
False
Suppose 0 = -2*v + 2*x - 78, -4*x + 6 = v + 40. Let m = v + 183. Does 29 divide m?
True
Suppose n = 6*n + 5*b + 120, -4*n - 3*b - 101 = 0. Let w = n + 39. Does 5 divide w?
True
Let s = 6 + -9. Let g be -2*(3/2 + s). Let c(n) = 2*n**3 - 3*n**2 - 4*n + 2. Does 8 divide c(g)?
False
Suppose -5*g + 1325 = -5*j, -g - 1360 = -6*g - 2*j. Does 15 divide g?
True
Let t = 22 - 10. Let z(k) = 31*k - 510. Let c be z(16). Let y = t - c. Is y a multiple of 26?
True
Let k(s) = 443*s**2 - 2. Is 7 a factor of k(1)?
True
Let y(q) = -q**3 - 2*q**2 + q - 1. Let s be y(-2). Let u(v) = 17*v - 1. Let z be u(s). Let b = -31 - z. Is b a multiple of 7?
True
Suppose -12*q + 8*q = -216. Is q a multiple of 10?
False
Let n = 33 + -31. Let q be n/1 - (-1 + -1). Suppose -5*y = 0, -172 = -4*p - q*y + 284. Is 38 a factor of p?
True
Suppose 5*j = -28 + 73. Suppose -3*r + v + 59 = 0, -3*r - 2*v - j + 53 = 0. Is r a multiple of 3?
True
Does 19 divide 1653567/888 + (-2)/16?
True
Let q = -3 + 6. Let w(s) = 12*s**3 - 4*s**2 + s + 4. Let m be w(2). Suppose 4*z - n = -0*n + m, -5*z = q*n - 116. Does 11 divide z?
True
Suppose -4*q + u + 59 + 780 = 0, 2*q = 5*u + 415. Is 35 a factor of q?
True
Suppose 2*y = m - 0*y - 128, m = 4*y + 138. Suppose m = 3*i - 2. Suppose 0 = 2*v - i - 36. Is v a multiple of 11?
False
Suppose 2*c + 0*c - 3*i = -7, 4*i = 2*c + 4. Let h(t) = -14*t**2 + 26*t - 74. Let n(b) = -5*b**2 + 9*b - 25. Let v(p) = 6*h(p) - 17*n(p). Is 3 a factor of v(c)?
True
Let n be (-41)/3 - 62/(-93). Suppose 2*a - 4*a = -172. Let w = a + n. Is w a multiple of 21?
False
Let h = -600 + 1255. Does 35 divide h?
False
Suppose -6*x - 1294 = -9*p + 5*p, 4*p + 4*x - 1304 = 0. Does 87 divide p?
False
Let i(s) = -24*s + 132. Is i(-8) a multiple of 7?
False
Let v be -6 + 2 + (7 - 38). Let a = v + 39. Does 4 divide a?
True
Suppose -k + 41 = -122. Suppose s - 220 = -4*q - 45, 2*q + k = s. Let l = s + -107. Is 12 a factor of l?
True
Suppose 0 = -7*p + 4*p + 12. Does 4 divide (-49)/(-2) + p/8?
False
Let a(u) = -u**3 - 18*u**2 + u + 21. Let h(d) = d**2 - 11*d - 28. Let r be h(14). Let w = r - 32. Is a(w) a multiple of 2?
False
Suppose -2*x + 155 = z, 5*x + 2*z - 582 = -192. Suppose -41*c = -43*c + x. Is c a multiple of 22?
False
Suppose -449 = -4*s + 6*c - c, -4*s = 3*c - 409. Is s a multiple of 2?
True
Let i(g) = -g**3 + g**2 + 21. Let a be i(0). Let w = a - 9. Is w a multiple of 3?
True
Let w(c) = 7*c**2 + 4*c + 9. Let a be w(-4). Suppose -61 = -z + a. Does 11 divide z?
False
Suppose -13263 = -12*p + 2397. Is p a multiple of 29?
True
Let b be 987/189 - (4/(-18))/(-1). Suppose 0 = i + 3*u - 7*u - 28, -118 = -3*i - b*u. Is 9 a factor of i?
True
Is (-5)/10*1*(-427 - -7) a multiple of 14?
True
Suppose 2*h - 26 = -v + 5*v, -2*h = -2*v - 26. Suppose 227 + h = 3*n. Does 16 divide n?
True
Suppose -3*t = 5*s + 218, 2*s + 2*t = -0*s - 88. Let f = s - -65. Does 10 divide f?
False
Let r = 9 - 4. Suppose -5*a - r*o + 270 = 0, 4*a - 5*o + 58 = 5*a. Suppose a - 13 = 4*t. Is t a multiple of 5?
True
Suppose 4*y = -5*n + 40, 2*y = 2*n + 2*n - 6. Suppose 2*s - 4 = -4*q + 24, q + y*s = -2. Suppose 4*p = -q - 12, 3*f - 149 = 4*p. Does 7 divide f?
False
Let r be (448/(-40))/(1/(-5)). Let i = r - 36. Does 5 divide i?
True
Let j(p) = -p**3 + 3*p**2 + p - 2. Let s be j(-4). Suppose -2 - s = -2*b. Is 9 a factor of b?
True
Let v = 18 - 15. Suppose 5*l + 448 = v*i, 4*i + l - 761 = -202. Is i a multiple of 15?
False
Suppose 2*m = -5 + 665. Is 11 a factor of m?
True
Let p(t) be the first derivative of 23*t**2/2 + 4*t + 4. Let o be p(4). Suppose 2*y = -2*y + o. Is y a multiple of 12?
True
Suppose 0 = 44*u - 41*u + 135. Is 11 a factor of (-11*1)/(15/u)?
True
Let n = -1640 + 3813. Is n a multiple of 41?
True
Let j = 871 - 161. Let w = -431 + j. Suppose 20*m + w = 23*m. I