t + 165, -t = 4*y + 39 - 256. Is 6 a factor of y?
True
Is (-4 + -32)/(-6) + -15 - -9166 a multiple of 128?
False
Let m(y) = 6*y**2 + 56*y + 507. Is m(-14) a multiple of 2?
False
Let x = -46 - -40. Let p = 8 + x. Does 18 divide (p - (-27)/(-12))*4 - -118?
False
Suppose 11*n = 28*n. Suppose n = -2*h + 4*v + 1328, 0*h - h - 5*v = -636. Does 31 divide h?
False
Let y(x) = 2*x**2 + 4*x + 1. Let p be y(-3). Suppose -p*u = 24*u - 11284. Is 52 a factor of u?
True
Suppose 5*q - 3*q - r + 170 = 0, 2*q + 4*r + 160 = 0. Let d = q + 177. Is d a multiple of 8?
False
Let l(v) be the second derivative of -5*v**3/3 + 157*v**2/2 + 6*v - 3. Is l(0) a multiple of 12?
False
Let u = -147 + 1915. Suppose 0 = 5*o + 3*o - u. Does 14 divide o?
False
Let y(f) = -10*f**3 + 4*f**2 + 10*f - 12. Let o(n) = -3 + 0*n**3 - n - n**3 + 4. Let t(l) = 10*o(l) + y(l). Does 3 divide t(-1)?
False
Let v = -15 + 402. Suppose -2*i - 3*w + 300 = 0, 3*i - 101 = 5*w + v. Does 12 divide i?
True
Suppose 362*b = 339*b + 529920. Is 18 a factor of b?
True
Let d be ((-170)/(-6))/((-7)/(2*-21)). Let m = 187 - d. Is m a multiple of 6?
False
Suppose 0 = -38*t + 42*t + 4*d - 8940, 2*t + 3*d - 4464 = 0. Is t a multiple of 3?
True
Suppose 4*p + 2*k - 62862 = 0, -22*p + 18*p = 3*k - 62863. Does 7 divide p?
True
Suppose 795 = -8*i - 7*i. Let m = 201 + i. Is m a multiple of 11?
False
Let j = -1474 + 1007. Let w = j + 721. Does 117 divide w?
False
Suppose -42*q + 373663 = -191153. Is q a multiple of 197?
False
Let j = 45 + -40. Suppose j*g - 75 = -w, 37 = 3*g - 2*w + 5. Suppose 0 = -2*q + 5*h + 245, 3*h - g = 1. Is 25 a factor of q?
False
Let v(l) = 4*l**2 - l + 1. Let j be v(1). Let u be (4 + -2)*248/j. Let q = u - 70. Does 18 divide q?
True
Let i(f) = -f**2 - 12*f + 2. Let r be i(-12). Suppose w - 163 = -3*o, r*w + 2*w = -4*o + 220. Is 27 a factor of o?
True
Suppose -6*h = 152 + 4. Let d be (18/(-21))/(h/14 - -2). Is 4 a factor of ((-8)/d)/(70/21 - 3)?
True
Suppose 11*v + 4 = -s + 13*v, 3*s = -4*v + 28. Suppose -9*h + s*h + 901 = -3*f, 6 = 2*f. Is 7 a factor of h?
True
Let m = -3731 - -8864. Is m a multiple of 8?
False
Suppose 240 = 23*q - 17*q. Let l = -32 + q. Does 4 divide l?
True
Let x(y) = -3*y**2 + 37*y + 12. Let q(n) = n**2 - n - 9. Let t be q(5). Does 24 divide x(t)?
False
Let o(p) = -3*p**3 - 12*p**2 + 9*p - 1. Let k be o(-9). Let c = k + -564. Does 14 divide c?
False
Let w(p) = -2*p**3 - p**2 + 5*p - 5. Let m be w(3). Let k = m - -192. Does 9 divide k?
False
Suppose 3*x - 12668 = -6*p + 10*p, 0 = -x + p + 4221. Suppose 15*o - x = -2*o. Is o a multiple of 8?
True
Let a = -16 + -6. Let p = a + -956. Is (-10)/45 + p/(-27) a multiple of 6?
True
Let d = -15 + 15. Let t = d - -72. Let l = t - -8. Does 15 divide l?
False
Let p be (-5)/(10 - 5) + 434/2. Suppose -882*f = -876*f - p. Is f a multiple of 6?
True
Let x(f) = 18*f**2 - 7*f - 7. Suppose -3*a = -6*a + 15. Suppose -8*g - 3 = a. Is 3 a factor of x(g)?
True
Let v = 20592 - 10474. Is 10 a factor of v?
False
Suppose 0 = 2*t + 7*b - 11*b - 8, 4*b + 4 = 0. Does 11 divide t*1350/12 - -5?
False
Let l be (2 + -1)*(-1 - -684). Suppose -5*k = -17 - l. Is 29 a factor of ((-240)/k)/(2/(-154))?
False
Suppose -12*t = -2*t. Let b be -25*(4/(-20) + t). Let z(k) = k**3 - 2*k**2 - 3*k + 21. Does 27 divide z(b)?
True
Suppose 3*l = -5*m + 1679, -2*l = l + m - 1699. Does 8 divide l?
True
Is 4 a factor of (93/(1674/36))/(2/1576)?
True
Suppose 3*c - 4*t = 71, 2*t + 90 = 4*c - t. Suppose g - 3*x = 6 - c, -18 = g - 4*x. Let h = g - -10. Is h a multiple of 4?
True
Let x(u) = -18*u + 39. Let s be x(2). Let g(d) = 53*d**2 - 4*d - 5. Does 92 divide g(s)?
True
Does 17 divide 796/(-2189) - (-55994)/11?
False
Suppose 195*f + 3 = 194*f. Is 13 a factor of (132/28)/(f/(-21))?
False
Suppose -6 = 5*i - 21. Is 47 a factor of (-27)/18 - -189*i/6?
False
Let n = 5770 - 2722. Does 16 divide n?
False
Let s be (-147)/(-2)*12/(-9). Suppose -6*g + g = -5. Does 14 divide s*(-1)/(3 - g)*3?
False
Let y be (-10 - -11)*(1 + -12). Is 13 a factor of 130*y/(-33)*(-30)/(-4)?
True
Let m(u) = -207*u**2 - 11*u + 3. Let p(i) = 309*i**2 + 16*i - 4. Let x(c) = -8*m(c) - 5*p(c). Is x(1) a multiple of 45?
False
Suppose 22*g - 244230 = -83*g. Is 33 a factor of g?
False
Let m = 13114 - 6574. Does 6 divide m?
True
Let b(r) = 700*r**2. Suppose -5*g + 5 - 6 = 2*a, -4*g = 2*a. Is 14 a factor of b(g)?
True
Suppose -32*t - 1024296 = -43*t - 80*t. Does 42 divide t?
True
Suppose -s - 38 + 28 = 0. Let n be s/(-4) - 10/(-20). Suppose -2*v + 0*v = -2*o - 334, n*o - 795 = -5*v. Does 27 divide v?
True
Suppose 0 = -5*x - v - 4258, 4*x - 3*v = -0*v - 3395. Let a = -790 - x. Is a a multiple of 3?
False
Suppose -22 = -7*q - 1. Suppose 0 = -4*x - q*o + 1653, -7*x + 1224 = -4*x - 3*o. Is x a multiple of 10?
False
Let z be 6 + (0/(-1) - -30). Suppose 30*t = z*t - 3312. Does 46 divide t?
True
Let n = 16961 - 2900. Is n a multiple of 88?
False
Let r = 94 - 11. Suppose 93*p - r*p - 2640 = 0. Is p a multiple of 8?
True
Let i(j) = -j**3 + 4*j**2 - j. Let x be i(3). Suppose -4*n + x*n - 280 = 0. Let a = -91 + n. Is 7 a factor of a?
True
Let l = -32 - 24. Let o = 60 + l. Suppose r + z = 55, -z + 0*z = -o*r + 240. Does 14 divide r?
False
Suppose -2*s + 131 = -5*f, -3*f - 283 = -3*s - s. Let g = 80 - s. Is g a multiple of 2?
False
Suppose 4*z = -68 + 80. Suppose 0 = -3*y - z*q + 477, -11*q = -16*q + 15. Does 52 divide y?
True
Suppose 3*p = 3*w + 108, -4*w - 28 - 78 = -3*p. Suppose 41*m - p*m = 12. Suppose 2*z - 315 = 3*c, z + m*c = 5*z - 636. Does 31 divide z?
False
Suppose 5*u + 3*z = 21337 + 15089, 0 = -5*u - 2*z + 36429. Is u a multiple of 13?
False
Suppose -24 = -5*o - 9. Suppose -o*y + 79 = 2*f, -2*y = -4*f - y + 165. Let i = 101 - f. Does 15 divide i?
True
Suppose 12*m = -m + 65. Suppose -10*p = -m*p - 10. Suppose 3*w + p*k - 234 = k, -5*k = 5*w - 390. Is w a multiple of 31?
False
Suppose -72378 = -2*y - 3*o, -y - 3*o - 8028 + 44208 = 0. Is 19 a factor of y?
False
Let j be (-6)/16*2*-140. Suppose 123*q - 124*q - w + 907 = 0, 3*w = -9. Does 13 divide (q/j)/(2/3)?
True
Let b(o) = 2 - 8*o - 13 - 3*o. Let c(l) = l + 1. Let n(p) = b(p) + 3*c(p). Is 3 a factor of n(-2)?
False
Suppose -u - 3*d + 66 - 24 = 0, -3*u = 2*d - 98. Let g be (-10)/(-3) - 1/3. Suppose -u = -2*n + 2*r, -n - 2*r - 3*r = g. Is n a multiple of 2?
True
Suppose 3*l = -2*l + 110. Suppose -17*c - 40 = -l*c. Suppose 9*b - c*b - 8 = 0. Is b a multiple of 8?
True
Let m(w) = -w**2 - 35*w + 33. Let i be m(-30). Suppose -i = -z + 3*k, 2*z - 245 = k + 101. Is z a multiple of 3?
True
Suppose -22 - 4 = 2*d. Let c be d/(-26) - 10/(-4). Suppose -80 = -c*k + 10. Does 5 divide k?
True
Let w(c) be the third derivative of c**5/60 + c**4/12 - c**3/6 - 12*c**2. Let z be w(-3). Suppose 5*b - x - 332 = 0, 2*x = -z*b + 3*x + 134. Does 22 divide b?
True
Let r(x) = 2*x**2 - 13*x - 86. Suppose 3*y = w + 37, 4*y - 2*w = 19 + 27. Is r(y) a multiple of 24?
False
Suppose -2*k + 2*i = 2*k - 74, -4*k = 5*i - 95. Let n be (6/(-9))/((-8)/1068)*1. Suppose -n = -y - k. Is y a multiple of 10?
False
Let o(v) = 51*v**2 - 47*v - 877. Is o(-11) a multiple of 24?
False
Suppose 11*q + 56*q + 201 = 0. Let b(s) = 2*s**2 + 6*s - 1. Let v(w) = -w. Let o(k) = b(k) + 4*v(k). Does 4 divide o(q)?
False
Let a = -272 + 464. Suppose 48*d = 36*d + a. Is 16 a factor of d?
True
Let v be 700/220 + 2/(-11). Suppose 0 = -r - v, -3*d + 21 = 2*d - 2*r. Suppose d*h + 147 = 3*a, -a + 4*h - h + 51 = 0. Does 16 divide a?
True
Let q = -2914 - -2962. Is q a multiple of 8?
True
Let g = 4221 - 3951. Is 3 a factor of g?
True
Does 23 divide 19510 - (-9 - 6) - 21?
True
Suppose 65*a + 180172 = 3*o + 69*a, 2*o = -5*a + 120110. Does 30 divide o?
True
Suppose 8 = 4*l - 12, -4*w + 2*l + 170 = 0. Let t = w + -107. Let v = t - -80. Is v a multiple of 18?
True
Let j(r) = -r**2 - 16*r - 30. Let o be j(-16). Is 35 a factor of 1/5 + (-2094)/o?
True
Let m(x) = 49*x - 9. Let i(h) = 97*h - 17. Let s(p) = 2*i(p) - 5*m(p). Let b(c) = -c**3 + 2*c**2 - 3*c + 2. Let d be b(2). Is 43 a factor of s(d)?
True
Let t = 2194 + -2008. Is t a multiple of 4?
False
Suppose -12*t + 608094 = 18*t + 24*t. Is t a multiple of 14?
False
Suppose -4*i + 56044 = 2*y, -22*i + 17*i = 4*y - 112094. Is y a multiple of 27?
True
Suppose -2*o + 3*o = -z - o + 35371, 0 = o. Is 31 a 