/10)/(6/(-60)) - 0. Suppose 0 = -2*m - 4*y - 0*y + 88, 4*y + a = 0. Does 24 divide m?
True
Is (-4)/(-26) - (-569966)/377 a multiple of 24?
True
Let t = 10 - -3. Suppose -8*j - 20 = -t*j. Is 4 a factor of j?
True
Let h be ((-6)/4)/(2/(40/(-15))). Is 7 a factor of h/(-9) - 1528/(-72)?
True
Let x(t) = 20*t**2 - 22*t**2 - 2 + 10*t - t**3 + 15*t**2. Does 16 divide x(13)?
True
Suppose -4*o - z = -21, -o + 0*o = 2*z - 7. Suppose v - a - 5 = 5, v + 10 = o*a. Is 3 a factor of v?
True
Let v(n) = 2*n**3 - 2*n**2 - 3. Suppose -2*g - l = 10, -l + 0*l = -3*g - 10. Let i be (-3)/(-1) + g - -3. Is 3 a factor of v(i)?
False
Suppose 725 = -5*y + 2725. Does 100 divide y?
True
Let h = 10 + -5. Let w(o) = -13*o + 7. Let f(l) = -6*l + 3. Let i(j) = -5*f(j) + 2*w(j). Does 12 divide i(h)?
False
Suppose -5*m + 6 + 4 = 0. Suppose 0 = -m*q + 4, -4*g + 20 = -3*q - 94. Suppose -w - g = -3*w. Does 15 divide w?
True
Does 39 divide (10*39)/(25 + -23)?
True
Let z(h) = -3*h - 17. Let m be z(-13). Let f = m + 2. Does 6 divide f?
True
Let d = 901 + -404. Is d a multiple of 21?
False
Let o be (-1 + -4)/(7/(-273)*3). Suppose -i + 33 = -o. Does 14 divide i?
True
Suppose -8*o + 9*o - 4*s = 2418, -3*s - 12022 = -5*o. Is o a multiple of 7?
False
Let c be 370/(-45) - 4/(-18). Let u be 2/8 + (-470)/c. Let m = 134 - u. Does 20 divide m?
False
Let a(c) = -c. Let j be a(-5). Let l(r) = 7*r + 5. Does 25 divide l(j)?
False
Let d = 106 + -122. Let g = 17 - d. Is 11 a factor of g?
True
Suppose 194 = -2*a + 866. Does 12 divide a?
True
Suppose 2*c + 16 = 2*z, -2*z + 30 = 4*c + 80. Is 23 a factor of (-1729)/c - (0 + (-2)/(-11))?
False
Let g(w) = -2*w**3 - 15*w**2 + 17*w + 28. Is 37 a factor of g(-10)?
False
Suppose 0*c = -7*c + 21. Suppose -d + 76 = -5*y, -8*d + c*d + 334 = -2*y. Is 19 a factor of d?
False
Let l be (-83)/(-7) + 0 - (-5)/35. Let i be ((-16)/3)/(1/(-3)). Does 2 divide (i/(-32))/((-2)/l)?
False
Let i(f) be the third derivative of -f**6/120 - 13*f**5/60 + f**4/24 + 13*f**3/6 + 6*f**2. Let c be i(-13). Let l(h) = -h**3 - h**2 + 47. Does 20 divide l(c)?
False
Suppose 3*y - 3*w = -198, 0*y - y - 66 = 3*w. Let k = y + 250. Is 37 a factor of k?
False
Does 63 divide (-42 - 0)*(-87)/58?
True
Let o(v) = 3*v - 4. Let m be o(5). Suppose 4*u - 5 = m. Let q(g) = 4*g**2 - 4*g - 3. Does 13 divide q(u)?
False
Let p(q) = q + 1. Let v be p(6). Let k = 11 - v. Suppose -b + 340 = k*b. Does 32 divide b?
False
Suppose -2*r - 5*m + 1295 = 0, 3*r - m + 643 = 4*r. Suppose 8*g = -0*g + r. Is g a multiple of 24?
False
Let v(m) = m + 4. Let b be v(-2). Suppose 0 = b*o - 7*o + 55. Is 6 a factor of o?
False
Let u(j) = 2*j**2 - 6*j + 8. Is u(3) a multiple of 2?
True
Suppose 3 = 2*l + u, -9 = -2*l + 5*u + 24. Suppose 0 = l*h, 0 = b - 0*h + 4*h - 14. Is b a multiple of 4?
False
Is (-3)/(4/(-26) + 13800/93080) a multiple of 87?
False
Suppose 24 = -f + 3*b + 40, -2*f + 2*b + 32 = 0. Does 16 divide f?
True
Let u = -29 + 32. Suppose -3 = u*c, -3*v = -8*v - 2*c + 68. Does 14 divide v?
True
Let q be 0 - -1 - (-2 - -1). Suppose -2*p - 2 - 4 = 0, -q*t + 2*p + 14 = 0. Let k = t + 0. Is k even?
True
Let o(g) = -4*g. Let l be o(-1). Let u(p) = p**2 - 36. Let k be u(-6). Suppose -l*c - 3*m = -116, -c - m - 3*m + 29 = k. Is c a multiple of 5?
False
Suppose -2*l + 89 = -5*g, 0 = -2*l - 3*g + 78 + 3. Suppose 2*m - 3*r = 28, l = -0*m + 3*m + 4*r. Does 14 divide m?
True
Let p(i) = 16*i**2 + 2*i - 4. Let m be p(-3). Suppose -6*w - 274 = -4*a - 3*w, -2*a = -3*w - m. Is 45 a factor of a?
False
Suppose -3*m = -0*m - 2*c + 9, 6 = -2*m - 5*c. Is 206 + ((-2)/m)/((-8)/12) a multiple of 12?
False
Suppose -3*c = -s - 1535, -10*c + 14*c - 2*s = 2046. Is c a multiple of 16?
True
Let y(n) = 22*n**2 + 4*n + 2. Let c be y(-2). Let l = -19 + c. Is l a multiple of 21?
True
Is 4916/21 + (-30)/315 a multiple of 30?
False
Suppose -17*v - 4490 + 19416 = 0. Does 43 divide v?
False
Let x(h) = h**3 - 6*h**2 - 10. Let w be x(6). Does 11 divide 133/4 + w/40?
True
Is 4 a factor of ((-9)/12 + (-37099)/92)/(-1)?
True
Suppose 3*m - 3 = 0, -206 = -5*f + 6*m - 2*m. Is f a multiple of 21?
True
Let r(v) = 3*v**2 + 46*v + 184. Is r(-30) a multiple of 16?
True
Let z = -1199 - -2143. Is z a multiple of 8?
True
Suppose -15*p = -31*p + 2016. Is p a multiple of 9?
True
Let p(d) = -4*d - 4. Let x be p(-7). Suppose i - 39 - x = 0. Suppose n + g = 4*n - 41, i = 4*n - 3*g. Is n a multiple of 4?
True
Let s = 1150 + -421. Is s a multiple of 17?
False
Suppose 3*u = 4*g - 4928, -4*g - 5*u = -u - 4956. Is 95 a factor of g?
True
Let y be (0 + -1)*(1 + -28). Suppose -4*r = 2*a - 2, 0 = 3*r - r + 5*a + 11. Suppose r*f - 141 = -y. Does 19 divide f?
True
Suppose -19*z + 15*z - 40 = 0. Does 20 divide 2*(-4 - -2)*z?
True
Suppose -25*q + 1 = -24*q. Does 2 divide (-20)/14 + q + (-240)/(-70)?
False
Let i(w) = w**3 - 6*w**2 + 7*w - 7. Let s be i(5). Suppose 0 = s*h - h - 140. Does 20 divide h?
False
Let q = -100 - -102. Let o = 3 + -2. Suppose -q*k - o = -5. Is 2 a factor of k?
True
Let p = 763 + -443. Is 10 a factor of p?
True
Suppose -2*f = 0, 5*f = 2*z - 599 - 585. Is z a multiple of 8?
True
Let k(z) = -3*z**3 + z**2 + 46*z + 256. Is 22 a factor of k(-7)?
True
Is (-380)/(-8)*(15/3 + 5) a multiple of 5?
True
Let q = 17 + -13. Suppose -5*y + 0*r - 32 = -r, -4*r - 16 = q*y. Let o(x) = 3*x**2 + 9*x + 9. Is 22 a factor of o(y)?
False
Let w = -132 + 131. Is (23 + 7)/(w + (3 - 0)) a multiple of 2?
False
Suppose 88 + 113 = 3*d. Let u = d + -17. Does 28 divide u?
False
Suppose 0 = -3*h - 15, 49*m - 44*m - 775 = -h. Is m a multiple of 78?
True
Let p(f) = 8 - 4*f + f + f + f. Does 6 divide p(-16)?
True
Suppose -17*f - 22864 = -25*f. Is f a multiple of 25?
False
Let a = -7 - -9. Let b(t) = t**2 - 8*t + 9. Let g be b(7). Suppose 0 = 4*u - g*p - 30, 0 = 2*u - 0*u + a*p. Does 5 divide u?
True
Let t(b) = -b - 1. Let w be t(9). Let x(o) = -o**3 - 9*o**2 + 9*o - 8. Let a be x(w). Suppose u = -a*u + 84. Is u a multiple of 10?
False
Suppose -3*b + 5*x - 36 = 0, 0 = 3*b - x - 0*x + 36. Let o be 3/((-27)/b)*12. Suppose 4*p = 2*l - 38, p + o = l - 0*p. Is 5 a factor of l?
False
Suppose 0 = -3*s + 3*m - 18, 2*s + m = -s - 6. Let n(c) = -6*c**3 - 2*c**2 + c - 2. Is 14 a factor of n(s)?
False
Suppose 3*x - x - 182 = -4*d, -5*x = -d - 466. Suppose -96*a = -x*a - 36. Is 4 a factor of a?
True
Let u = 10 + -8. Suppose -g + 4*g - 8 = -p, 0 = 2*g - u*p - 16. Suppose 166 = g*y - 5*j, 62 + 98 = 4*y - 2*j. Does 13 divide y?
True
Let z(k) = 5*k - 26. Let q be z(5). Let p(h) = 30*h**2 + h - 1. Is 14 a factor of p(q)?
True
Suppose 0 = -5*r + 3*a + 13, -6 = 2*r - 7*a + 3*a. Suppose -2*v - 4*c + 48 = 0, 5*v - r*c + 22 = 142. Is 3 a factor of v?
True
Let i be 7/(84/(-8)) - 968/(-12). Is (-2 + 1*i)*(-1)/(-2) a multiple of 10?
False
Let z = 9 - 7. Suppose -w = -2*k - 252, -3*w + z*k + 718 = -46. Suppose r - 10 = s - 83, 5*r - w = -4*s. Is 30 a factor of s?
False
Let x(u) be the first derivative of u**4/4 - u**3/3 + 5*u**2/2 + 13*u - 48. Is x(5) a multiple of 14?
False
Suppose 0 = 7*w - 554 - 1777. Is 6 a factor of w?
False
Suppose -2*m - 288 = k - 3*k, -5*m = 10. Is 62 a factor of k?
False
Suppose r = -5*g - 71, r = 2*r + 3*g + 69. Let i = r - -209. Is i a multiple of 13?
True
Let p(m) = 49*m**2 - m - 48*m**2 - 3*m - 2*m. Let h be p(6). Suppose h = 3*c + a - 92, c + 2*c - a = 88. Does 14 divide c?
False
Let b(f) = -73*f - 79. Is 13 a factor of b(-4)?
False
Let v(x) = -26*x + 14. Let j be v(7). Let b = j + 256. Is b a multiple of 11?
True
Let d(z) be the first derivative of -z**2/2 - 6. Let t be d(-4). Suppose -4*w = -t*u - 17 + 1, u + 16 = 3*w. Does 5 divide w?
False
Suppose -4*o + 84 = -0*u + 5*u, -2*o + 16 = -4*u. Let g = 97 - o. Is g a multiple of 27?
True
Let d = -5 - -29. Suppose l - d = -l. Suppose -z + 3*z = l. Is z a multiple of 5?
False
Let f be (6/10)/((-3)/(-15)). Suppose -2*t - t = -z + 30, -2*z + 60 = -f*t. Does 13 divide z?
False
Let y(s) be the first derivative of s**5/60 + 5*s**4/24 - s**3/3 + 2*s**2 - 3. Let t(b) be the second derivative of y(b). Is t(-7) a multiple of 8?
False
Let q = 1145 - 934. Is q even?
False
Let f = 119 + 116. Is 17 a factor of f?
False
Let t(o) = 4*o**2 + 2*o + 14. Let a be t(6). Suppose a = 2*m + 2*h, 4*m - 4*h = 243 + 121. Let i = m + -56. Is i a multiple of 11?
False
Let b(l) = 21*