-5*v, 5*v = 4*q + 1338. Is v a multiple of 27?
True
Suppose -5*c = 4*y - 22610, 112*y + 5*c + 28240 = 117*y. Is y a multiple of 50?
True
Is ((-94)/6)/((5/450)/((-154)/35)) a multiple of 15?
False
Let d = -108 + 410. Let z be -1 + -2 + 2 + d. Suppose j + 6*j - z = 0. Is 20 a factor of j?
False
Let q = -5 + 100. Is 5 a factor of q/(-380) + (-450)/(-8)?
False
Suppose -19*b - 4*b - 286074 = 0. Does 22 divide b/(-81) + (-92)/36 + 3?
True
Does 21 divide 37 + (-3)/(24 + -23)?
False
Let b(v) = -252*v**2 + 3*v + 1. Let r(x) = 505*x**2 - 6*x - 3. Let d(c) = -7*b(c) - 3*r(c). Is d(1) a multiple of 26?
False
Suppose -7*n - 4*a + 253244 = 0, n - 47689 = 3*a - 11497. Is n a multiple of 108?
True
Suppose -10*h - 80 = -5*h. Let q(y) = 2*y**2 + 38*y + 32. Let j be q(h). Is 16 a factor of (j/8)/((-1)/16 - 0)?
True
Suppose 5*r - 10224 = -2*y - 1595, -4*r - 4347 = -y. Is y a multiple of 10?
False
Let x(l) be the first derivative of 5*l**2 - 61*l + 55. Is x(22) a multiple of 9?
False
Let j = -10 + 2. Let g(c) = -c**3 - 7*c**2 + 8*c. Let r be g(j). Suppose 5 = -2*z - 5*p - 3, r = 3*z - p - 22. Does 6 divide z?
True
Let s be (-48)/(-88) + (-15300)/(-22). Suppose 58*f - s = 50*f. Is f a multiple of 3?
True
Let l be 540/81 - 2/3. Let z be 3416 - ((-6)/4)/(l/16). Suppose 3*k = -12*k + z. Is k a multiple of 57?
True
Suppose 2674944 = 1147*q - 1003*q. Is 12 a factor of q?
True
Suppose -126*g = 51*g - 96288. Is 72 a factor of g?
False
Suppose -3*c + t - 268 = 0, c + 3*t = 3*c + 174. Let r = -39 - c. Suppose -3*d - 9 = 0, 0*n = n - 3*d - r. Is 2 a factor of n?
True
Suppose 4*q - 16 = -0*q. Let d be (q/3)/(6/27). Suppose 142 = -d*y + 454. Is 18 a factor of y?
False
Let n = 22850 + -18821. Does 51 divide n?
True
Let b(w) = 24*w**3 - 2*w**2 - 4*w + 6. Let j be b(1). Does 27 divide (-324)/((-32)/j*(-9)/(-8))?
True
Suppose -12*w - y + 24775 = 0, -3*w = -w + 2*y - 4142. Does 4 divide w?
True
Let s(b) = 572*b**3 - 24*b**2 + 52*b - 5. Does 32 divide s(2)?
False
Suppose 0 = -184*p + 202*p - 13176. Is 14 a factor of p?
False
Suppose 29*q = 25*q + 20. Suppose 5*x = 2*f - 388, -q*x = -4*f - x + 764. Is f a multiple of 9?
True
Let i be ((-8)/(-10)*-1)/((-20)/50). Suppose i*x + 165 = 5*x. Suppose -x = 11*a - 12*a. Does 8 divide a?
False
Suppose -4*u + 146 = -f, -3 - 7 = -5*f. Suppose 3*i + 4*z + 32 = i, u = -2*i + z. Does 11 divide 22*(-3)/i*3?
True
Suppose -318627 = -14*p - 26*p + 534973. Is 50 a factor of p?
False
Suppose x = -5*s + 7379, -1311*x + 1310*x = -s - 7337. Is 51 a factor of x?
True
Suppose 4*c - 17*c - 11*c = 0. Let k(l) = -24*l + 539. Is 40 a factor of k(c)?
False
Suppose -4*z - 47 = -4*j + 5, z - 2*j + 11 = 0. Let u(r) = -r**2 - 15*r + 31. Does 7 divide u(z)?
False
Let d(v) = 8*v**2 + 7 - 14*v - v**3 + 5*v - 6*v + 6. Let y be d(6). Let q(i) = i**2 - 4*i - 17. Is 15 a factor of q(y)?
False
Suppose -t = -c + 562, -3*t - 1691 = -0*c + 2*c. Let h = t - -955. Is 4 a factor of h?
True
Suppose -2*o + 2*n + 667 = -25, 5*n = 0. Suppose -j - 2*i + 94 = 0, -j - 2*i + o = 3*j. Is 6 a factor of j?
True
Suppose 0 = 26*q - 24*q - 330. Suppose -156 = -3*b + q. Is 32 a factor of b?
False
Let h(y) = -24 - 4*y**3 + 2*y**3 + 16 - 4*y**2 + 13 - 6*y. Let r be h(-5). Is 0/(0 + -1) + r a multiple of 37?
True
Is 18 a factor of ((-21285)/(-110) + (-18)/(-4))*212/3?
False
Let i = -49 + 12. Let u = i + 117. Does 16 divide u?
True
Let v = 224 + -224. Let u(d) = d**2 + d + 325. Is 14 a factor of u(v)?
False
Suppose 0 = -u - l - 4, -3*l + 5 = 17. Suppose -2*b = -3*c + 33, 2*c - 2*b + 3*b = 22. Suppose c*d - d - 1870 = u. Is 42 a factor of d?
False
Let y be ((-2)/(-3))/(2/6). Let c = -330 + 334. Suppose -y*i = -4*m + 300, 0 = m + 2*m + c*i - 236. Is m a multiple of 32?
False
Let j = 56 - 42. Let i = j - -96. Is 17 a factor of i?
False
Let q(k) = -39*k**2 + 3*k - 1. Suppose 7*u - 5 = 2*u. Let b be q(u). Let n = 48 + b. Is n a multiple of 11?
True
Let d(u) = -5*u**2 - u + 7. Let j be d(3). Let n = j - -59. Suppose -n = 58*i - 61*i. Is i a multiple of 2?
True
Let m = -4238 + 6415. Is 2 a factor of m?
False
Let w = 22129 + -13971. Does 7 divide w?
False
Suppose 0*b = -4*b - 4*p - 8, 0 = -3*p - 12. Is 20 a factor of (-6 - 116/(-6))/(b/6)?
True
Let i = -3 + -32. Suppose 94*l - 5274 - 7496 = 6312. Let b = i + l. Does 28 divide b?
True
Is (880/(-20) - -20) + 21084 a multiple of 6?
True
Let t(k) = 176*k - 6. Let d be t(3). Suppose 3*v + h = 4*h + d, 2*v - h - 353 = 0. Suppose j - 50 = -4*x + 23, -v = -3*j - 2*x. Is j a multiple of 9?
False
Let j = -7 + 11. Let m(h) = 0*h**3 - 6*h**2 + 4*h + 2*h**3 - 2 - 5*h**3 + 6*h**3. Is 22 a factor of m(j)?
True
Suppose 13*b = 17*b - 780. Suppose -b = -u - p, u + p + 573 = 4*u. Is u a multiple of 47?
False
Let t(p) = -2*p - 8. Let w be t(-7). Suppose 40 = 5*q - 5*b, 0*q + q - w = 2*b. Suppose 0 = l - q. Does 10 divide l?
True
Suppose -3*h + 8*g + 24 = 5*g, -3*g - 17 = -2*h. Is (h - (-2 - -9)) + 40 a multiple of 8?
True
Let u = 5238 + -3592. Suppose 29*y = 616 + u. Does 10 divide y?
False
Let d be 750*(4/2 - 1). Suppose -v = 11*a - 7*a, -3*v = 0. Suppose -5*u + a*u = -d. Does 25 divide u?
True
Let m(s) be the third derivative of 17*s**4/24 + 4*s**3/3 - 179*s**2. Is m(8) a multiple of 58?
False
Suppose -28*y - 65*y + 6749 = -78346. Is y a multiple of 33?
False
Let d(i) = 7*i**3 - 2*i**2 + 8*i - 10. Let h(v) = -v**2 + v - 1. Let w(s) = d(s) - 3*h(s). Let j be w(2). Let q = 168 - j. Is 15 a factor of q?
True
Let p(n) = 2*n**2 + 3*n - 11. Let c be (-1 + -1)*(27/6 - 1). Is 22 a factor of p(c)?
True
Suppose 5178 = 5*v + 9*g - 8*g, 0 = -v - 5*g + 1050. Does 33 divide v?
False
Suppose 2*c = 5*c - 1391 - 520. Is c a multiple of 13?
True
Let p(y) = 101*y + 335. Does 13 divide p(24)?
False
Does 13 divide 320*8/((350/(-65))/(-7))?
True
Suppose 2*w = 3*i - 17020, 3*w + 1521 - 24186 = -4*i. Is 45 a factor of i?
True
Let u(j) = 28*j + 7. Let i(h) = 29*h + 8. Let t(x) = 7*i(x) - 6*u(x). Is 12 a factor of t(2)?
True
Let o(h) = 4*h**2 - 4*h - 7. Let k be o(-3). Suppose -44*j = -k*j - 222. Is j a multiple of 4?
False
Suppose 0 = 2*o - 3*a - 3277 - 13329, 5*a = -9*o + 74727. Does 19 divide o?
True
Does 85 divide -4054*((-72)/(-16) + -5)?
False
Suppose -3*m + 44 = 11. Let v(p) = 15*p**3 - 26*p**2 + 22*p + 15. Let w(x) = 13*x**3 - 24*x**2 + 20*x + 16. Let y(h) = 6*v(h) - 7*w(h). Does 2 divide y(m)?
False
Suppose 5*x = 2*c + 185, 0*c = -4*c - x - 337. Let j be -2 + -21 + (1 - 1). Let t = j - c. Is 31 a factor of t?
True
Let o be ((-380)/(-80))/((-5)/(-140)). Suppose w + o - 429 = 0. Is w a multiple of 6?
False
Let v(l) = l**3 + 5*l**2 + l + 56. Let k be v(-6). Suppose 0 = k*x - 8*x - 1446. Is x a multiple of 32?
False
Suppose -5*d - 832 = 5*j - 6182, -4*d - 5*j + 4276 = 0. Is d a multiple of 3?
True
Suppose 0 = -54*s + 525126 - 170022. Is s a multiple of 12?
True
Let q = 20078 + -13798. Does 10 divide q?
True
Suppose 24282 = 4*u + 2*k, k - 5832 - 18445 = -4*u. Is 148 a factor of u?
True
Suppose -3*i - 5*d = -443, -6*i - 5*d - 805 = -11*i. Suppose 24 + i = o. Is 15 a factor of o?
True
Suppose 2*p + 7 = -5*w - 2, 4*p - w = -7. Let m(y) = 2*y + 6. Let h be m(p). Suppose 10*a - h*a = 576. Is a a multiple of 12?
True
Suppose -4665 = -3*m - 5*z, -1234*z = -5*m - 1233*z + 7803. Is 26 a factor of m?
True
Let c(u) be the second derivative of u**5/20 + 2*u**4/3 + u**2 + 3*u - 6. Suppose o - 4*i + 26 = 0, -3*o - 2*i - 13 = -i. Is 37 a factor of c(o)?
True
Is 76 a factor of (-1 + (-118)/10)/((-67)/31825)?
True
Let m(u) = -231*u**3 + u**2 + u - 1. Let t be m(-1). Let k = 158 - t. Let a = k - -198. Does 14 divide a?
True
Suppose 7449 = 8*o - 14471. Suppose -1394 - o = -13*t. Does 12 divide t?
False
Let p be (-2)/(-6) - 20/(-12) - -27. Is 28 a factor of -3 - 66/(-11)*p/2?
True
Suppose 5*w - 40 + 10 = 0. Suppose -141*h + 146*h - 170 = 0. Let r = w + h. Is 40 a factor of r?
True
Suppose 2*t - 3 = 2*k - 5*k, 15 = -3*k + 4*t. Let c be (-9558)/(-18) + (0 - k). Suppose -25*m + 21*m = -c. Is 47 a factor of m?
False
Let q(i) = -837*i + 194. Is q(-6) a multiple of 8?
True
Suppose -t - 1358 = -j, 69*t - 71*t + 4099 = 3*j. Is 4 a factor of j?
False
Let d be 33*8/(-12) + 3. Let r = 7 + d. Does 16 divide 40*(4 - r/(-5))?
True
Let s be 3/(-1) + (242 - -1). Suppose 5*o - 8*o = s. Let h = 84 + o. Is h a multiple of 3?
False