
True
Let s = -103 + 105. Suppose -2081 = -s*k + 3*i + 112, 0 = 2*i + 6. Is 26 a factor of k?
True
Let o be (-13)/(13/4)*-8. Suppose 38*k - o*k = 96. Does 4 divide k?
True
Suppose -4*r - 4*t + 272 = 0, -364 = 9*r - 14*r + 3*t. Let b(m) = m**2 + m - 1. Let f be b(-5). Let k = r - f. Is k a multiple of 13?
True
Let g = -92 - 98. Let b = g - -478. Is 43 a factor of b?
False
Suppose -4*r - 3*z - 5 = 0, 5*r + 0*z = 3*z + 14. Let f(a) = -253*a. Let k be f(r). Let j = -153 - k. Is 14 a factor of j?
False
Suppose 5*p - 4*h = 2628, -5*p + 2353 = 3*h - 226. Does 8 divide p?
True
Suppose 0 = 6*v - 3*v + 5724. Let d = 148 + -144. Is (d/(-14) - v/63)*1 a multiple of 5?
True
Suppose 15*d = -4*x + 19*d + 2984, -4 = -4*d. Let p = x - 124. Does 15 divide p?
False
Let y = 1722 + 2568. Does 13 divide y?
True
Let x be 0/(-6)*1 + (-2)/(-1). Suppose -5*s = x*u - 154, s = 4*u + 11 + 11. Is s a multiple of 10?
True
Let m(l) = 14*l**2 - l**3 - 6 + 3*l**3 - l**3 + 10*l. Let t be 3 - (-119)/(-35) - (-441)/(-35). Is 11 a factor of m(t)?
True
Suppose -i = 6, -i = 5*u - 6858 - 1126. Does 14 divide u?
False
Let z(c) = 1246*c**2 + 42*c + 80. Is z(-2) a multiple of 60?
True
Let z(a) = 3657*a - 3641*a + 14 + 116. Does 9 divide z(0)?
False
Let a(w) = 3*w + 10*w + 1 + 0. Let j be -3 + -2 - -6 - (7 - 7). Is 7 a factor of a(j)?
True
Let x be (1 - 0) + (19 - 16). Suppose 3*o - 941 = -h, 2*o + 956 = 5*o + x*h. Is o a multiple of 4?
True
Does 2 divide (3 - 2)*1685 - 40/(80/10)?
True
Let z = 43 + -42. Is 33 a factor of (6/(-30) - z)/(1/(-110))?
True
Suppose 0 = v - 392*d + 391*d - 484, 0 = -3*v + 2*d + 1454. Is 6 a factor of v?
True
Let y(z) = -4*z - 92. Let a be y(-23). Suppose a = -3*b + 2*b - 2*s + 294, 1149 = 4*b - s. Is 32 a factor of b?
True
Does 11 divide 1362/(-12)*((-2)/(-3))/(1/(-33))?
True
Let o(w) = 30*w - 66. Let h be (-5)/(60/(-66))*2. Is o(h) a multiple of 12?
True
Suppose 2*g - 110 + 44 = 0. Let x be 49 - ((-93)/g - 2/11). Suppose -182 + x = -2*h. Is h a multiple of 8?
False
Let s(j) = -3*j**2 + 20*j - 29. Let k be s(13). Let m = k - -351. Is m a multiple of 2?
False
Let c(y) be the third derivative of 13*y**5/60 - y**4/6 - 5*y**3/6 + 16*y**2. Let m be c(-4). Suppose -4*u = -7*u - 3*v + m, 2*v - 6 = 0. Does 7 divide u?
True
Let w be (-1)/(-9)*-39*(0 - -21). Let c = 94 + w. Suppose c*f = 1106 - 242. Is 48 a factor of f?
True
Suppose -k - 20 = 4*k. Let b be (-6)/4*-72 + k. Suppose 3*i - b = i. Does 11 divide i?
False
Let h(w) = 1919*w - 1209. Is h(8) a multiple of 17?
False
Suppose 0 = k - 4*z - 5 + 6, 3*z = 3. Suppose 4*x = k*a + 3242, 20*x = 15*x - a + 4062. Is 13 a factor of x?
False
Let c = 52205 - 27310. Is c a multiple of 82?
False
Let b(d) = 23*d**2 + 1381*d - 4151. Is b(3) a multiple of 5?
False
Let l(k) = 904*k - 7407. Is l(20) a multiple of 136?
False
Suppose -4*u - c = 128, 0 = -6*u + 4*u - c - 64. Is 71 a factor of (5/(140/u))/((-8)/1988)?
True
Let b = 14 - 21. Let r be (27/18)/(3/2)*b. Is 47 a factor of ((-8)/r)/((-24)/(-84)) + 207?
False
Suppose -113*l + 31632 = -108334 - 131008. Is l a multiple of 6?
False
Suppose 75 = 3*j - 4*j - h, -273 = 4*j - 5*h. Let b = 622 + j. Is 10 a factor of b?
True
Let b(h) = h**3 + 7*h**2 + 4*h - 17. Let w be b(-6). Let u = w - -61. Is 8 a factor of u?
True
Suppose x - 11 + 4 = 2*p, -p - 14 = -4*x. Suppose x*q - 3 = 0, 2*b + 3*q = q - 234. Let u = b - -153. Is 5 a factor of u?
True
Let f be 2 - (-4272)/4*1. Suppose 4*s - 135 = h, f - 307 = -5*h - 2*s. Let j = -75 - h. Is 7 a factor of j?
False
Suppose -2*k = -5*n - 2430 + 8624, -2*n = -5*k - 2465. Does 5 divide n?
True
Let t be (7/2 + -1)*(-19 - -21). Suppose 75 = t*v - 2*u - 22, u - 18 = -v. Is 3 a factor of v?
False
Let y be (10/(-4) + 2)*-10. Let b be ((-83)/2 + -8)*8/3. Let l = y - b. Is l a multiple of 37?
False
Suppose -3*g - 2 + 29 = -w, -5*g = -4*w - 108. Is 11 a factor of (-20)/270 + (-14258)/w?
True
Let j(y) = 4*y**2 - 11*y - 13. Let u be j(5). Suppose -u*l = -8*l - 6888. Does 7 divide l?
True
Let i = 3460 - 95. Does 23 divide i?
False
Suppose 7*w + 1163 + 83 = 0. Let m = w - -430. Does 36 divide m?
True
Suppose -36*i - 36 = -48*i. Suppose 4*s - 1336 = -3*n, -6*n + i*n - 3*s + 1335 = 0. Does 14 divide n?
False
Let a(t) = -45*t - 12. Suppose -1 = 2*s + 13. Let l be a(s). Let o = -130 + l. Is 10 a factor of o?
False
Suppose -5*c - 100 = -5*u, u + 5*c - 62 = -3*u. Let i = u + -8. Does 29 divide -3*263/(-9) - i/15?
True
Suppose 36*z + 63636 = 103*z - 83429. Is z a multiple of 8?
False
Let f(k) = -120*k - 1. Let d be f(1). Let a = 80 + d. Let b = -9 - a. Is b a multiple of 18?
False
Let a be (-8)/(-56) + 9/(126/(-2956)). Let o = a - -751. Is o a multiple of 9?
True
Let s = -89 - -92. Let z be 0 - (s - (-20)/(-5)). Does 8 divide z/(((-20)/192)/(-5))?
True
Suppose -3*x + 9*d + 38 = 8*d, 0 = d - 4. Is 14 a factor of (0 + -1 + 63/x)*4?
True
Suppose -60*y + 184771 = -876209. Is y a multiple of 84?
False
Let h(g) = 14*g**2 - 43*g - 4. Let i(k) = k**2 + k. Let q(p) = h(p) - 2*i(p). Is 2 a factor of q(5)?
False
Let u(g) = 27*g**2 + 45*g - 10. Let h be u(5). Suppose 3*o - 2*q - 2307 = 379, -2*q + h = o. Is o a multiple of 43?
False
Suppose 2*q + 13 = 17. Is 7*q*(-12)/((-72)/30) a multiple of 5?
True
Let g(j) = j**2 + 20*j + 2. Let v(m) = -m**3 + m**2 + 2*m - 20. Let n be v(0). Let w be g(n). Suppose -635 = -w*y - s - 0, -637 = -2*y + s. Is 36 a factor of y?
False
Let c = 1905 - -337. Is 167 a factor of c?
False
Let m(n) = -n**3 + n + 69. Let q be m(0). Let y = -2897 + 2852. Let t = y + q. Is t a multiple of 8?
True
Let l(s) = s**2 + s + 6. Let d be l(11). Let g be 95 + (-3)/(-1) + -1. Let y = d - g. Is y a multiple of 11?
False
Suppose 49*d = -5*d + 79866. Is 29 a factor of d?
True
Let w(c) = -211*c - 3142. Does 24 divide w(-142)?
False
Let l(u) = 7*u**2 + 2*u + 120. Does 15 divide l(-45)?
True
Suppose 0*r - 3*r - 347 = -5*c, 0 = 3*r + 5*c + 397. Let j be 1/(r/(-32) - 4). Let a(z) = -z**3 - 6*z**2 + z - 11. Is a(j) a multiple of 12?
False
Let u(m) = -957*m - 128. Is 17 a factor of u(-2)?
False
Does 34 divide 46221/(-71)*204/(-14)?
True
Suppose -8*f + 54390 = 11*f - 13*f. Does 101 divide f?
False
Suppose k - 5*k = 20, 0 = 3*m - 5*k - 40. Suppose -m*x + 2*c + 421 = 0, -x - 4*x - 5*c = -400. Suppose -3*d - z - 2*z = -219, 0 = d - z - x. Does 7 divide d?
False
Let m(a) = 21*a + 146. Let k be m(9). Suppose -329*i - 90 = -k*i. Does 15 divide i?
True
Let l(a) = 20*a**2 - 5*a - 75. Let v be l(-8). Let i = -549 + v. Is i a multiple of 12?
True
Suppose -2150 = -4*m + 5*q + 7025, 4*m - 9181 = -q. Suppose 15*d = -885 + m. Is d a multiple of 47?
True
Let y(r) be the first derivative of r**4/4 - 22*r**3/3 + 19*r**2 + 71*r - 66. Is 24 a factor of y(20)?
False
Let r = 48 + -138. Let o = 74 + r. Does 2 divide o*(3 - (-14)/(-4))?
True
Is 21 a factor of 1/(-6) - 163898/(-84)?
False
Suppose -1411 = -5*k - 36. Suppose -3*g - 5*r + 68 = 0, 0 = -5*g + g + 3*r + 52. Suppose 5*l = -3*f + g + k, -4*l = -2*f + 172. Does 20 divide f?
False
Let d = 1519 + 84. Does 7 divide d?
True
Suppose 3*r - 13 = -5*a, -2*a = -0*r + 2*r - 6. Suppose 0*s - 4*t + 296 = a*s, 3*t - 147 = -s. Does 10 divide s?
True
Suppose -5*i - 30 = -4*t + 27, 5*t - 84 = 2*i. Suppose 5*n = t*n - 442. Is 10 a factor of n?
False
Suppose -2842 = -3*f + 3*g + 5990, -4*f = -5*g - 11773. Suppose 0 = -b - f + 607. Does 20 divide b/(-24) + ((-6)/(-4) - 1)?
False
Let y(b) = -3*b + 59. Let d be y(19). Suppose -6*a - 2815 = -5*u - d*a, 2*a = 2*u - 1126. Does 27 divide u?
False
Let m = 11150 - 6650. Is m a multiple of 60?
True
Let z = 577 + -411. Let q = 40 + z. Is q a multiple of 12?
False
Suppose 3*r - m = -185 + 7, 3*r + 3*m + 162 = 0. Let w(o) = 44*o - 6. Let c be w(4). Let n = c + r. Does 33 divide n?
False
Let z(f) = -6*f - 75. Let v be z(-14). Suppose -48 = -v*t + 141. Does 3 divide t?
True
Suppose -3351 - 23904 = -15*r. Suppose -r = -23*l - 0*l. Does 3 divide l?
False
Suppose -8*f - 17092 + 27603 + 29889 = 0. Is 11 a factor of f?
False
Let r = 12 - 12. Suppose 3*i + 7 = 3*k - 5, r = -2*k + i + 7. Suppose -5*o = -3*o + k*a + 7, 5*a = o - 29. Is 2 a factor of o?
True
Does 2 divide ((-12852)/(-98) + 4/(-28))*1?
False
Let m(i) = -2*i + 8. Suppose -4*w + 5*h = 2*h - 3, 2*w = 5*h - 9. Let c be m(w). Is (-2 - -18)/c - 4 even?
True
Suppose 16507*q +