= -2934 + 8275. Is k a multiple of 49?
True
Let g be (-2)/4*(2 + 3 + -5). Suppose 2*c - 46 - 42 = g. Is 22 a factor of c?
True
Suppose 4*w - 4*p = p - 3565, 2*w + 1784 = 2*p. Let t = -373 - w. Is t a multiple of 52?
False
Let c be 12789/(-126)*16/(-14). Let p = c - -304. Is 14 a factor of p?
True
Let d(s) = 9*s**2 - 9*s - 8. Let o be d(-6). Let q = -214 + o. Is 26 a factor of q?
True
Let b be 2662145/(-71)*((-1)/(-5) - 1). Is (-4)/18 + (-1)/(-36)*b a multiple of 16?
False
Let a(i) = i**3 + 9 - 3*i**2 - i**2 - i - 7 - 3*i**3. Suppose 5*y = 3*y - 6. Is a(y) a multiple of 15?
False
Let o = -25 - -28. Suppose 4*p + o*j = 2*p + 297, 2*p - 303 = -j. Does 17 divide p?
True
Let w(r) = -10*r - 88. Let s be w(-9). Suppose -s*d = 7*d - 2070. Does 17 divide d?
False
Suppose -54*t - 19924 = -19*t - 83134. Does 6 divide t?
True
Let w(v) = 142*v - 135. Let y be w(8). Suppose 4018 = 7*z + y. Is z a multiple of 10?
False
Let j = -186 - -190. Let x be (1 + 0)*-1*-5. Let t = j + x. Does 9 divide t?
True
Let r be 4 + (-2 - -8 - 1). Does 43 divide (-681208)/(-396) - 2/r?
True
Suppose -52*k = -1329596 + 410548. Is 289 a factor of k?
False
Let k(u) = 2 - 14 - 2*u**3 + 10*u**2 + 13*u + u**3. Suppose -18*d + 34 = 5*p - 17*d, 3*d + 50 = 4*p. Does 13 divide k(p)?
False
Suppose -3*v - 5*c + 15 = 0, -2*c = -5*v + c - 9. Suppose v = 2*b + 2*z - 910, 2*z = 2*b - 0*z - 894. Does 14 divide b?
False
Let t be -6 - (-8 + 0) - 0. Suppose -15*n + 2*h + 713 = -12*n, -4*n - t*h = -974. Is 18 a factor of n?
False
Let z(o) = o**2 + 2*o - 2. Let x be z(-3). Let a = -1526 + 1524. Does 32 divide 22 + -20 + (-376)/a*x?
False
Let m = -91 + 481. Let b(q) = -q**3 - 28*q**2 + 136*q + 26. Let g be b(-32). Let i = g + m. Is 10 a factor of i?
True
Let k(u) = -805*u - 10. Let o be k(-11). Suppose -39517 + o = -24*n. Does 35 divide n?
False
Suppose 0 = -3*p - 9, -3*d - 5*p = -0*d - 9105. Is d a multiple of 4?
True
Let a be 42*((-9)/18)/(1/(-15)). Suppose j - 25 = a. Is 10 a factor of j?
True
Let o(n) = -3*n**3 - 7*n**2 + 27*n + 3. Does 92 divide o(-11)?
True
Let h = -96 + 96. Suppose -7*i + 261 + 54 = h. Suppose -4*z + x + i = 0, -5*z + 2*z = 3*x - 15. Is 4 a factor of z?
False
Let s = -7075 + 8610. Is s a multiple of 66?
False
Let p be -103*3/(12/(-40)). Is 86 a factor of p + (-3)/(6/(-4))?
True
Suppose 0 = 4*o - 2*j + 418, -4*o - 6*j - 413 = -3*j. Let a = -53 - o. Is 3 a factor of a?
True
Suppose -31*u - 2*l = -27*u - 23864, -5*u - 5*l + 29830 = 0. Is 199 a factor of u?
False
Let l = -11850 + 16832. Is 26 a factor of l?
False
Let q(j) = j**3 - 16*j**2 + 7*j - 21. Let i be q(16). Let u(l) = 10*l - l**2 + i*l**3 - 10*l + 1 + 18*l**3. Is u(1) a multiple of 11?
False
Let d(y) = -y**2 + 7*y + 1. Let v be d(6). Suppose -5*o = -17*o + 132. Let b = o + v. Is 9 a factor of b?
True
Does 51 divide 68/(-12)*11/(66/(-1647))*4?
True
Suppose -3*p + 113 - 101 = 0. Suppose p*u + 8 = 0, 13*k - 3*u = 14*k - 938. Is 16 a factor of k?
True
Let i = -109 + 111. Is 2 a factor of i*(-690)/4*(-1)/5?
False
Suppose -3*m = -4 - 11. Suppose m*n - 12 - 2 = -q, -4*n + q = -4. Suppose n*h - 127 = 39. Is 21 a factor of h?
False
Suppose 4*b + 16 = 0, -m - 11*b = -16*b - 3562. Does 46 divide m?
True
Suppose 3*p - 54 = -48. Let q = 64 + -32. Suppose p*b = b + q. Is 8 a factor of b?
True
Let a = 36 + -39. Let o be (-1)/(-3)*-3 - a. Suppose -o*t + 5*t = 489. Is 28 a factor of t?
False
Suppose 0 = 7*c - 2*c - m - 112693, -c - 5*m + 22497 = 0. Is c a multiple of 16?
False
Suppose -k + 13 = -0*d + 4*d, 4*d = -4*k + 4. Let n be 24 + 4 + k + 3. Suppose -364 = -4*v + n. Is v a multiple of 14?
True
Let u(c) = 1102*c - 1900. Is u(36) a multiple of 136?
False
Let o be (-1*2 - (10 - 9))*2. Is (184/10)/(o/(-30)) a multiple of 9?
False
Suppose 4*z = -5*z + 252. Does 12 divide (1 - 5) + (z - -302)?
False
Suppose -4*d + 5*n = 4*n - 13, -2*d + 2*n + 2 = 0. Let a be (-5)/30*d*-3. Suppose 5*u + 127 = 3*i, i - 167 = -a*i - 5*u. Does 7 divide i?
True
Suppose -k + 228 = 1873. Let f = k - -835. Let w = -557 - f. Does 24 divide w?
False
Is 3693 - (920/(-76) + (-30)/(-285)) a multiple of 15?
True
Suppose 41*s = 45*s. Suppose 4*j - 1 = -5*d, -3*d = -2*j + 8 + 9. Suppose s = j*t - 0*z + 4*z - 104, -3*z = -4*t + 90. Does 14 divide t?
False
Let s(b) = -6*b + 28 + 16*b**2 + 7 - 2*b - b. Does 39 divide s(4)?
False
Suppose -11*l = -8*l + 13*l. Suppose 3*m = -15, -175 = -2*n - l*m + 5*m. Is 38 a factor of n?
False
Suppose 0 = 2*m + 3 - 1, 0 = 3*q - 5*m - 20. Suppose 4*t - 3 + 7 = -2*l, -5*t = q. Suppose -4*o = -8*o + 4*r + 488, l = 2*r + 10. Is 13 a factor of o?
True
Let k = -105 - -109. Suppose -j = -g - 353 - 114, 0 = -3*j - k*g + 1429. Does 36 divide j?
False
Suppose -4*y + 19308 = 6*c - 10*c, c - 19318 = -4*y. Is y a multiple of 11?
True
Suppose -60449 = 28*a - 311581. Is 64 a factor of a?
False
Let g be ((-3)/6)/(2/(-12)). Suppose 0 = -g*p + 3*n - 3, -4*n + 0 = -2*p - 8. Is 24 a factor of (-1710)/(-50) - p/10?
False
Let t be ((-2)/5 - -1)*165/11. Let p be -2*t/(-6)*(-256)/12. Does 6 divide ((-144)/(-32))/((-6)/p)?
True
Let p = -7563 + 16224. Is p a multiple of 30?
False
Is (684/189)/38 + (-353487)/(-63) a multiple of 65?
False
Let w = -20707 + 53698. Is 44 a factor of w?
False
Suppose -134*t + 258346 - 14734 = 0. Is 18 a factor of t?
True
Is 6 a factor of 439 - (8 - 52/6)*-3?
False
Suppose 0 = -5*w + 3*c + 10454, -3*w + c = -6*w + 6264. Does 83 divide w?
False
Let w(p) = -p**3 + 8*p**2 - 4*p - 20. Let x be w(6). Is (-1500)/(-40)*x/3 a multiple of 5?
True
Suppose 5*y = 3*a - 12 + 10, 0 = 5*a + 5*y + 10. Let d be 3/a + 3 + 14. Suppose -d*v - 3*v + 119 = 0. Is 7 a factor of v?
True
Let o(b) = -b**3 + 8*b**2 - 23*b - 155. Suppose -2*z + 26 = -4*t, -2*t - 22 = -0*t + 2*z. Is 59 a factor of o(t)?
False
Suppose 101 = u - 0*t - t, 0 = -2*u + 4*t + 202. Does 5 divide u?
False
Let z be -11 + (-2)/((-10)/(-15)). Does 28 divide 38/z + 4/(-14) - -199?
True
Let i(h) = -1398*h + 1182. Is i(-9) a multiple of 62?
True
Suppose 0 = -7*g - 3*g - 2240. Let j = -69 - g. Let f = -139 + j. Is 4 a factor of f?
True
Suppose -19*t - 4552 = -9601 - 9638. Is t a multiple of 2?
False
Let q(l) = -l**3 + 16*l**2 + 36. Suppose c + 45 = 6*c. Is 9 a factor of q(c)?
True
Suppose 2*g - 12 = 0, 5*d - 32722 = 8*g - 10*g. Is 113 a factor of d?
False
Let z(x) = x. Let d be z(4). Suppose -h + 5 = -p, -10*p + 11*p = 3*h - 1. Does 11 divide p/((-70)/(-16))*(-110)/d?
True
Let p(q) = 2*q**3 + 8*q**2 + 2*q - 8. Let u(k) = k**3 + 7*k**2 + 2*k - 7. Let i(x) = -5*p(x) + 6*u(x). Let f be i(-2). Is 34 a factor of -1 - -2*(0 + f)?
False
Suppose -3*d - 12684 = -9*d. Suppose 2*g + 2*k = 2104, -7*g = -5*g - 3*k - d. Is g a multiple of 37?
False
Suppose -3*y = -23 + 14. Suppose p = -3*f - 148, 4*p = y*f + 71 + 87. Let x = f + 162. Does 16 divide x?
True
Let z(f) = 2*f**2 + 22*f - 45. Suppose 5*v = 2*l + 7*v - 10, -v - 10 = -4*l. Is z(l) a multiple of 2?
False
Let i = 16629 - 12696. Is 255 a factor of i?
False
Suppose -31*t = -43 - 81. Is (39/t)/((-9)/(-312)) a multiple of 5?
False
Suppose 6*k + 634 = 2*j + k, -k + 1585 = 5*j. Let a = j + -103. Does 44 divide a?
False
Let b(q) = 10*q**2 + 5*q - 16*q**2 - 2*q - 6 + 7*q**2. Let p be b(-3). Does 35 divide ((-134)/p + 1)/((-9)/(-54))?
True
Suppose 778 = 3*d + 4*w - 301, 5*d - 1806 = w. Suppose 2*f + 95 = d. Is 36 a factor of f?
False
Suppose -403 = -o + 955. Suppose 4*a - o = -2*d, 2*a + 2153 = -5*d + 5548. Is d a multiple of 7?
True
Suppose -10*o + 14*o + 580 = 0. Is 27 a factor of (80/50 + 0)/((-1)/o)?
False
Suppose 1368 = 9*s - 5*s. Suppose -s = -3*n - 2*h, -4*h = h. Let t = -6 + n. Is 23 a factor of t?
False
Suppose 2*l = -l - 246. Let d = l + 80. Is (6/9)/(0 - d/27) a multiple of 3?
True
Let f = -3319 + 8467. Is f a multiple of 33?
True
Suppose 0 = 3*j - 72 + 66. Suppose -2*p + 0*u + 320 = -2*u, -j*u + 160 = p. Does 40 divide p?
True
Let p = -25 - -147. Suppose 4*t = 2*k - 190, p - 294 = -2*k - 5*t. Let o = 121 - k. Does 12 divide o?
False
Suppose 2*q + w = 7, 2*q + 2*q = 4*w - 4. Let r(t) = -16 - 6 - 13*t + 36 + t**q. Is r(14) a multiple of 3?
False
Let r(s) = -2*s**3 - 3*s**2. Let n be r(-2). Suppose n*a = 0, 4*a = 2*v - 176 - 164. Let m = 284 - v. Does 19 divide m?
True
Let a = -53 + 14. Suppose 4*f + 111 = -353. Let o = a - f. Does 11 divide o?
True
Let s(