= 7*b - 280. Does 28 divide b?
True
Let p be 2/(((-24)/28)/3). Let c be 37/(-7) + (-2)/p. Let h(i) = -6*i - 9. Is h(c) a multiple of 7?
True
Does 8 divide -5*4/(-10) + 579?
False
Suppose 2*s + 5*b - 10 = 0, -2*s - s + 15 = 3*b. Suppose 5*u + 3*o - 587 = 0, s*u + 0*o + 4*o = 586. Let i = u + -74. Is 14 a factor of i?
False
Let l be -4 + 2 + (-2)/2*163. Let x = l - -336. Is 9 a factor of x?
True
Suppose -14*k = -10*k - 12. Suppose -8*o + k*o = -25. Let i = 14 - o. Does 3 divide i?
True
Suppose 2*z - 3*i = 1 + 2, 0 = 2*i - 2. Suppose 13 = -z*k + 52. Does 13 divide k?
True
Let s be ((-2)/(-8)*-38)/(3/(-6)). Let y be (-1 + 66)/(6 - 5). Let c = s + y. Is c a multiple of 16?
False
Suppose -j = f - 1, j + 3*j = -5*f + 6. Does 11 divide (-54)/(((-4)/(-6))/j)?
False
Suppose -77 = -2*k + 5*x, 2*k = -3*k + 4*x + 218. Is 6 a factor of k?
False
Suppose -2184 = -54*h + 46*h. Does 7 divide h?
True
Let c be (0/(-1))/(-1*(-5 + 4)). Does 13 divide (-252)/(-7) + (1 - (c + -1))?
False
Let o = 242 - 167. Suppose -2*w - 3*w = -3*z - o, -5*z = 0. Is 15 a factor of w?
True
Let p = -198 - -552. Does 5 divide p?
False
Suppose 2 = -2*n + 10. Suppose l + 0 = -n. Does 15 divide (-135)/l + 5/20?
False
Suppose 238*o - 221*o - 5831 = 0. Is o a multiple of 9?
False
Suppose 0 = 3*c - c + 4*v - 10, 0 = 2*v. Suppose -5*s + u - 3*u = -202, c*s = 3*u + 197. Is s a multiple of 5?
True
Suppose -3*a - 2*c + 1 = -1, 3*c - 12 = 0. Does 5 divide (a - -1)/(2/(-10))?
True
Let h(b) be the third derivative of 119*b**6/120 - b**5/30 + b**4/12 - b**3/6 + 7*b**2. Is h(1) a multiple of 30?
False
Let j = -28 - -17. Let f = 2 - j. Suppose q + x + f - 42 = 0, 0 = -5*q + x + 133. Is 9 a factor of q?
True
Let b be (40/(-3))/((32/75)/(-16)). Suppose 2*f = -0*f + b. Is f a multiple of 27?
False
Suppose j - 6 = -2*j. Let a(o) be the third derivative of 7*o**4/12 - 5*o**3/6 - o**2. Is a(j) a multiple of 4?
False
Suppose 18*h = -419 + 1445. Is 3 a factor of h?
True
Suppose 0 = 25*t + 71*t - 181728. Is 64 a factor of t?
False
Suppose 3*c = -2*m + 4*m + 41, 2*m = 2*c - 42. Let v = 204 + m. Does 13 divide v?
True
Let o(c) = 66*c**2 + 2*c - 2. Let g = 15 - 14. Is o(g) a multiple of 33?
True
Let g be (1/1)/(3/375). Is (g/10)/((-3)/(-18)) a multiple of 21?
False
Suppose 1178 = 5*r + 4*q, 5*r + q - 1239 + 52 = 0. Let o be r/8 - 10/(-40). Let b = -15 + o. Is 8 a factor of b?
False
Let y be 15/1*(-3)/(-5). Suppose y*s = 11*s - 26. Is 13 a factor of s?
True
Suppose -4*g - s - 4*s = -262, -5*g + 313 = -s. Suppose -2*d - 2*l = -6, 3*l + 6 = 2*d + l. Suppose -d*v = 4*w - g, -4*w = 2*v + 1 - 63. Does 15 divide w?
True
Let v(p) = 20*p + 5*p**2 + 1 - 4 - 6*p**2. Is v(8) a multiple of 15?
False
Let i(o) = 17*o**2 - 4. Is i(2) a multiple of 9?
False
Let h(v) = -7*v + 448. Is 7 a factor of h(54)?
True
Let x(k) = 6*k**2 + 8*k + 25*k - 12 - 21*k. Is x(5) a multiple of 18?
True
Suppose f + 0*f + 16 = 4*u, 3*u - 12 = -f. Let k(z) = z**2 + 5*z - 6. Let m be k(-6). Suppose m = 2*g - u*s + 4 - 2, -4*s = 3*g - 27. Does 2 divide g?
False
Let s(j) = j + 3. Suppose -4*k - 20 = k, -u + 17 = -5*k. Let v be s(u). Suppose v*b + 108 = 2*b. Is 18 a factor of b?
True
Let w = 7 + -5. Suppose 2 = -3*s + 5*l, 0*s + 10 = 3*s - w*l. Suppose -s = g - 83. Is 20 a factor of g?
False
Let v be (-7 - 5)*(-14)/8. Suppose -2*k = -v - 111. Does 14 divide k?
False
Does 41 divide ((-5)/(-20))/((-7)/(-3444))?
True
Suppose -3*t - t = t. Does 12 divide (t + 1)/((-2724)/(-544) + -5)?
False
Suppose -4*n - 2 - 15 = q, -3*n - 17 = 5*q. Is -3 - (95 + -2)*q*1 a multiple of 11?
False
Suppose 3*a - 27 = -a + g, -2*a + g + 13 = 0. Let v = -3 + a. Suppose v = 3*o - 32. Is 4 a factor of o?
True
Let n(i) = -i**3 + 8*i**2 - i - 4. Let z be n(8). Does 3 divide ((-9)/(-12) - 2)*z?
True
Suppose 5*g + 35*a - 10092 = 38*a, 0 = -g + 4*a + 2032. Is 24 a factor of g?
True
Suppose b - 2*c + 45 = c, 0 = -3*b - 2*c - 80. Let g = b - -36. Is g a multiple of 6?
True
Suppose 7*b + 26*b = 15015. Is 13 a factor of b?
True
Suppose 9624 = 226*u - 214*u. Does 31 divide u?
False
Suppose 0*f = -5*f - 345. Does 23 divide 0 - -8*f/(-6)?
True
Suppose 5*y - 186 = 209. Let p = -15 - -18. Suppose y = p*u - 14. Is 9 a factor of u?
False
Let m = -1915 - -4171. Is m a multiple of 46?
False
Let r(y) = 3*y**2 + 6*y. Let m be r(-4). Suppose 3*v - 12 = m. Is v a multiple of 3?
True
Suppose -5*c + p = 260, 0 = c - 3*p + 7 + 59. Is 14 a factor of (-1394)/c + 2/3?
True
Let q(p) = -p**3 - 5*p**2 - 2*p - 1. Let l be q(-6). Suppose 3*a + a + 124 = 0. Let z = a + l. Is 4 a factor of z?
True
Let r = 1670 + -783. Is 57 a factor of r?
False
Let u(r) = 129*r**2 + 104*r - 580. Is u(6) a multiple of 13?
False
Let x = 8 + -6. Suppose -q + 43 = -x. Suppose q = -2*s + 7*s. Does 4 divide s?
False
Let w = 140 - 56. Let t = w - 54. Does 11 divide t?
False
Let u = 155 - 153. Suppose -2*y = 2, 4*c - y + u*y = 295. Is c a multiple of 3?
False
Let h be (18/4)/((-2)/4). Suppose 2*d - 5*s + 21 = 0, 3*s - 26 = 2*d - 3. Let v = h - d. Does 4 divide v?
True
Suppose 0 = -n + 191 + 304. Suppose -2*y + 0 = 10, n = 4*p - 3*y. Suppose -m = m + 2*b - p, -2*m = -4*b - 132. Does 31 divide m?
True
Let x be 1*4 + 2 + -3. Let w(c) = c + 5*c - 3*c - 2*c**2 - 2 - 23*c**3 + 27*c**3. Is w(x) a multiple of 29?
False
Suppose -4*p - 5*u + 2*u = -633, -3*u - 663 = -4*p. Is p a multiple of 27?
True
Suppose 4*d + 3269 = r + 4*r, 3281 = 5*r - d. Suppose 12*i - 1935 = r. Is 24 a factor of i?
True
Suppose 0 = -3*l - 4*b + 1712, -2833 = -5*l - 2*b + 39. Is 51 a factor of l?
False
Let n(u) = 8*u - 4 + 13 - 12. Let p be n(8). Is 14 a factor of (p - -1)*(-3)/(-6)?
False
Let k(y) = 12*y - 126. Does 6 divide k(13)?
True
Let b(x) = x**2 + 2*x + 1. Suppose 0 = -t + 5*f - 2*f + 7, 0 = 5*t + f + 29. Is b(t) a multiple of 2?
True
Let q = -11 + 28. Suppose 2*c - q = 49. Let n = 60 - c. Is 6 a factor of n?
False
Let i(p) = -5*p + 15. Let o be i(-8). Suppose -3*f - o + 352 = -m, 12 = 4*m. Is 25 a factor of f?
True
Let q(k) = 3*k - 1. Let j be q(0). Is 2 + 35 - (-4 - j) a multiple of 4?
True
Suppose 0 = -3*o - 7 + 28. Suppose -o*b + 11*b - 500 = 0. Does 17 divide b?
False
Let m be 238/35 - ((-11)/5 - -2). Suppose -b + m*b - 1476 = 0. Is b a multiple of 13?
False
Suppose -2*w + 3*w - 576 = 0. Is (1/(-2))/((-4)/w) a multiple of 13?
False
Suppose -7*o - 3*v = -5*o - 8, 3*o + 3*v - 6 = 0. Let q = 4 + -6. Is q/(-4) - 33/o a multiple of 9?
False
Let p = -7 - -9. Suppose -p*s + 50 - 28 = 0. Does 2 divide s?
False
Let m be ((-4)/(-10))/(((-99)/7110)/(-11)). Suppose -c + m = 3*c. Does 16 divide c?
False
Suppose 2*v + 2*u = 10, 2*v - 3*v = -5*u + 25. Suppose 3*w - 288 = -v*w. Is w a multiple of 24?
True
Let z be 1 + 6/4 + (-3)/(-6). Suppose -4*x + 15 = -z*x. Does 2 divide x?
False
Let z be 4/(-8) - 3/(-2). Let y(s) = 61*s**2 + s - 1. Let p be y(z). Is 15 a factor of 4/(-8) - p/(-2)?
True
Let u be (-5496)/(-22) + (-14)/(-77). Suppose 0 = l - 3*l + u. Is l a multiple of 25?
True
Let k = -31 - -259. Is 57 a factor of k?
True
Let r(o) = -o**3 + 15*o**2 + 3*o + 15. Let p be r(15). Let w = p - 13. Does 16 divide w?
False
Let y be (11 - 7)*(-1 + (-3)/(-2)). Suppose y*t = t + 36. Does 10 divide t?
False
Let k = 136 + -4. Is 14 a factor of k?
False
Let o(k) = k**3 - 2*k**2 - 10*k - 9. Suppose -2*s - 8 = -18. Is 3 a factor of o(s)?
False
Let r(d) = 2 - d + 1 - 17. Let v be r(0). Let b = 20 + v. Is b a multiple of 2?
True
Let q = -22 - -15. Let o = q + 13. Is 13 a factor of (-80)/o*(-36)/8?
False
Let k = 911 + 972. Is 21 a factor of k?
False
Let c(n) = n**3 - 23*n**2 + 35*n - 53. Is 16 a factor of c(23)?
True
Let f = 328 + 44. Is f a multiple of 18?
False
Let g = -33 + 28. Is 7 a factor of (g/2)/((-7)/98)?
True
Let z(r) = 15*r**2 - r + r**3 + 10 - 6 - 3. Let s be z(-15). Suppose 4*x = 92 + s. Is 18 a factor of x?
False
Let j = 135 + -35. Does 7 divide j?
False
Suppose 341 = 26*z - 35877. Does 47 divide z?
False
Let r be 6*(0/(-4) - -43). Suppose 4*u - 260 = -4*y, 4*y - r = 3*u - 6*u. Does 25 divide y?
False
Let w = 1742 + -1016. Is 6 a factor of w?
True
Let a be 1*(-5)/(6 + -1). Does 2 divide (0 - -6) + (-1 + 0 - a)?
True
Does 17 divide 2608 - (-14)/7 - -8?
True
Let f(p) = p**3 + 8*p**2 + 3*p - 7. Let n be (-13)/3 - 10/15. Let c be f(n). Suppose -11 = -4*z + c. Is z a multiple of 9?
Fals