0 = 2*d, 100 = 6*j - 8*j + 2*d. Let a be ((-56)/6)/(10/j). Suppose -3*q = -a - 66. Is q a multiple of 18?
True
Let s = -55 + 239. Let u = s - 157. Is 6 a factor of u?
False
Let h be (2 - 80)/(-2)*(6 + 2). Suppose 0 = -12*q - q - h. Let t = 51 - q. Is t a multiple of 25?
True
Suppose -8 = 5*y - 4*y + 3*g, 8 = 4*y + 2*g. Suppose 0 = -9*u + 6*u + d + 500, -5*u + y*d = -824. Does 28 divide u?
True
Suppose -44817 = -353*y + 365016. Does 43 divide y?
True
Let f(p) = 32*p - 18. Let o be 13/((-65)/(-2)) - (-43)/5. Let h be f(o). Suppose -4*u + h = 6*c - c, 2*c - 3*u = 108. Is 27 a factor of c?
True
Does 15 divide 1*3*((-25 + 11)/(-2) - -1918)?
True
Suppose 0 = -5*u + 3*w + 236, -10*u + 14*u - 180 = -2*w. Suppose -3*f + u = -2*f. Suppose -2*y + f = -0. Does 23 divide y?
True
Let a(b) = 2752*b - 242. Is 8 a factor of a(2)?
False
Let x(q) = -2*q**3 + q**2 + 5. Let p be x(0). Suppose 311 = 3*j + 2*k, 5*j + p*k - 338 = 172. Is j a multiple of 6?
False
Let d be -1*(0/(-2) + -5). Suppose 0 = -5*r - 3*q + 392, d*r + 5*q - 372 = 7*q. Does 27 divide r?
False
Suppose 17*f = 14795 + 24645. Suppose -2*m + 7*m = f. Is m a multiple of 16?
True
Suppose -b - 2*b = -5*q - 1915, b - 4*q - 650 = 0. Let m = b - 473. Does 39 divide m?
False
Let g be -1 - -5 - (18 + -19). Suppose -g*a + 4*o + 449 = -4*a, o = 2*a - 863. Is a a multiple of 11?
True
Let r(q) = -3*q**2 + 39*q - 37. Let l(h) = -h**2 + 13*h - 12. Suppose 3*o + o + t + 63 = 0, 4*o = -5*t - 43. Let m(v) = o*l(v) + 6*r(v). Does 3 divide m(6)?
True
Let n be (-63)/14 - -4 - 5/(-2). Is 37 a factor of (n + -1)/(1 - (-2905)/(-2910))?
False
Let k = 438 + -378. Suppose k*y - 18720 = 50*y. Does 42 divide y?
False
Let l be -8*4*4/32. Let h(p) = p + 6. Let c be h(l). Is (3 + -5)/(c/(-28)) a multiple of 8?
False
Suppose 2*u + 7*s - 4*s - 10746 = 0, s = 3*u - 16130. Is 42 a factor of u?
True
Suppose 846 + 8604 = -15*k. Let m = -344 - k. Is m a multiple of 4?
False
Let p be -6 - (-20)/3 - 4/6. Suppose 10*x - 5832 - 2148 = p. Is 22 a factor of x?
False
Let s = -50 + 172. Suppose -q - 36 = -s. Suppose i = -4*k + 121, 3*k - 4*i = -0*i + q. Is k a multiple of 16?
False
Let v(h) = -h**2 - 44*h - 53. Let o be v(34). Is 15 a factor of (-2)/(o/450 - -6)?
True
Let y(x) = 1795*x - 6644. Does 17 divide y(32)?
True
Let c be ((-20)/(-110) + (-183)/(-22))*98. Suppose 9*q - c - 3514 = 0. Is q a multiple of 7?
True
Let f be (-1)/(-1) - 0/3. Let b be ((-55)/(-25) - f)*-30. Is 33 + 1 + (-39 - b) a multiple of 4?
False
Let p(i) = -i**2 + 11*i - 106. Let o(a) = 5*a - 52. Let l(k) = 7*o(k) - 4*p(k). Is 27 a factor of l(-17)?
False
Suppose 0 = 4*z + k - 42740, 0 = 97*z - 99*z + 2*k + 21390. Does 3 divide z?
False
Suppose 5*f + 4*r - 655 = 0, 0 = 4*f - r - 445 - 100. Suppose 5*d + 4*o + 675 = 2*o, 4*o = d + f. Is 6 a factor of (-6)/d*-5 + 164/9?
True
Let d(u) = 25*u**3 + 1. Let a = 116 - 114. Is d(a) a multiple of 21?
False
Suppose -1018 + 6350 = 4*k. Let i = k + -586. Is i a multiple of 9?
True
Let g be (-5 - -5) + 3 - (-8 - -2). Suppose -3*b - g + 72 = 0. Suppose -c - 5*d + b = 0, -48 - 6 = -4*c - 5*d. Is c a multiple of 3?
False
Let q = -5814 - -9746. Is 68 a factor of q?
False
Suppose 5*g = -1 + 26. Suppose 5*j + 0*j = g*a + 1100, 877 = 4*j - 3*a. Suppose -3*b + 2*l + j = 0, 2*b + 4*l - 256 = -2*b. Is b a multiple of 18?
False
Suppose -31*b + 30*b = -4514. Suppose -15*c + b = -46. Does 16 divide c?
True
Let t = -6 - -33. Let n = -28 + t. Is 18 a factor of 18/(-24)*n - (-645)/4?
True
Does 227 divide (-12)/39 - ((-31737)/13 + -16)?
False
Suppose 2*v = 2*p - 6, 10 = 2*p - v - 2*v. Let y(i) = 7 - 16*i + 5 - 11 + 0. Does 5 divide y(p)?
False
Let a(d) = 30*d**2 - 426*d - 3. Is a(-8) a multiple of 16?
False
Suppose -6 = -9*u - 33. Let s(x) = 22*x - 14. Let h be s(u). Let v = h + 88. Is 2 a factor of v?
True
Suppose -15*q = -107*q + 536176. Does 94 divide q?
True
Suppose 2*u = 6 + 2. Let i be (-18)/u - (-12)/(-8). Is (((-448)/6)/(-4))/((-2)/i) a multiple of 8?
True
Let c = 87 + -154. Let n = -64 - c. Suppose -n*x - 2*d + 3*d + 39 = 0, -5*d = 4*x - 52. Is x a multiple of 13?
True
Let a(h) = -1 - 9*h**2 + 4 + 8*h**2 + 13*h + 7*h**2. Does 16 divide a(3)?
True
Let p = 15632 - 10460. Is p a multiple of 19?
False
Let o(d) = d**2 + 11*d + 5. Let u = 49 + -60. Let c be o(u). Let n(l) = 3*l**2 - 2*l + 5. Does 30 divide n(c)?
False
Suppose 166*c - 93*c = 5075690. Is c a multiple of 14?
False
Let d(o) be the third derivative of -17*o**5/20 - o**3/6 - 23*o**2. Let f be d(-1). Let h = f + 85. Is h a multiple of 11?
True
Let m(z) = -z**3 - 9*z**2 - 11*z - 23. Let w be (18/(-3) + 3)*-21. Suppose 5*r + w - 13 = 0. Does 35 divide m(r)?
False
Let d(i) = 5*i - 17. Let a(x) = x**3 + 7*x**2 - 9*x - 9. Let c be a(-7). Suppose 0*v = -4*w - v + 96, -c = -2*w + v. Does 51 divide d(w)?
False
Let c be 220/6*(1 + 2). Let u = 803 - 765. Let p = c - u. Is p a multiple of 25?
False
Suppose -1960420 = -60*w + 364580. Is w a multiple of 15?
False
Let k(n) = 740*n - 742. Is 13 a factor of k(64)?
True
Suppose 0 = -192*q + 165*q + 67365. Does 4 divide q?
False
Is 17 a factor of 126/(-27) - 18200/(-156)?
False
Let b be (-3)/(-5) + 3744/60 + 3. Let s = b - -268. Is 12 a factor of s?
False
Let p(i) = 904*i - 1009. Is p(2) a multiple of 24?
False
Let z(i) = 2*i**3 - 9*i**2 + 3*i - 10. Suppose -6 = -2*s, 3*s - 3 = -3*p + 3. Let l(q) = -6*q**3 + q**2 + q. Let t be l(p). Does 29 divide z(t)?
True
Suppose -4*c - 3*j = -46 + 14, 4*c - 32 = -5*j. Suppose 0 = -5*w + 3*k + 392, -c*k = -2*w - 3*k + 172. Is 19 a factor of w?
True
Let l be (-3)/3*(0 + 794/2). Let s = l - -752. Does 80 divide s?
False
Let d(i) = 2*i**3 - i**2 + 9. Let j(z) = 2*z**3 - z**2 + 9. Let w(b) = -6*d(b) + 5*j(b). Is 27 a factor of w(-3)?
True
Let h(s) = 434*s + 116. Let p be h(6). Suppose -5*x - 2*c - 2*c = -p, 4*x = -c + 2165. Does 36 divide x?
True
Suppose 23*v - 1747 + 528 = 0. Suppose v = 7*h + 32. Does 2 divide h?
False
Let o(s) = 44*s - 4. Let w(z) = -41*z + 130. Let x be w(3). Is 8 a factor of o(x)?
True
Suppose 3*j - 25*j = -29106. Suppose -162*w = -165*w + j. Does 21 divide w?
True
Let g(y) = 9*y + 205. Let n be g(-23). Is 48 a factor of 2 + n + -8 + 851?
False
Let f(k) = -12*k - 93. Let w be f(-8). Suppose -w*z + d + 272 = -2*z, 0 = 2*z + d - 556. Does 12 divide z?
True
Suppose 5*t + 30925 = l, -477*l + 481*l = -5*t + 123875. Is 90 a factor of l?
True
Let b(g) = -579*g - 1892. Does 80 divide b(-62)?
False
Suppose -2*k + 2*m = k + 8, 0 = 3*k - 3*m + 12. Suppose k = -d - 13 + 15. Suppose -d*u + 4*s + 592 = 0, -4*u + 1234 = 4*s - 2*s. Does 51 divide u?
True
Let m(t) = 19*t - 1. Let v be m(7). Let y be 6/(-1 - 1) + 150 + -9. Suppose -3*o - 2*q = -y, -3*o - 2*q + v = 2*q. Is 6 a factor of o?
True
Let r = 922 - 552. Suppose 12*f = 98 + r. Is f a multiple of 21?
False
Let h = 100006 - 54041. Is 145 a factor of h?
True
Suppose 0 = 4*t + 4*r - 1292, 3*t - 7*r - 987 = -4*r. Suppose t = -4*o + 3*d - 74, -3*o + 3*d - 297 = 0. Let c = o - -174. Is c a multiple of 31?
False
Is 58 a factor of (522/36)/((-5)/(-2520))?
True
Suppose 0 = y - z + 3*z - 490, -4*z + 1940 = 4*y. Suppose 11*q - 6*q = y. Suppose 4*w = 4*f - q, -f + 11 = w - 19. Is f a multiple of 3?
True
Suppose 133 = 8*n + 37. Suppose -q + n + 16 = 0. Suppose -12*p + q = -10*p. Is 11 a factor of p?
False
Let f(d) = -116*d**3 + 15*d**2 - 27*d + 17. Is 185 a factor of f(-5)?
False
Suppose 0 = 36*f - 17344 - 13220. Let t = f - 602. Does 13 divide t?
True
Let q(v) = 55*v**2 + 7*v - 10. Let z be q(2). Let b = z + -109. Is b a multiple of 23?
True
Let p(v) = v**2 - 1. Let u(h) be the first derivative of 3*h**2/2 - 4*h - 5. Let y(l) = 2*p(l) + u(l). Is 4 a factor of y(-4)?
False
Let s be 7731*((-4)/(-36) - 0). Let t = s - 810. Is 7 a factor of t?
True
Let o be (-1962)/12 + -3 - 1/(-2). Let b = -115 - o. Is 17 a factor of b?
True
Let i = -30184 + 44292. Is i a multiple of 20?
False
Let k = 309 - 151. Let h(a) = 157*a**2 - 14*a + 2 - k*a**2 + 5. Does 24 divide h(-10)?
False
Suppose -21 = -5*m + 2*f, -8 = 3*m + 4*f - 5. Let i(k) = -5*k + 13. Let v be i(m). Does 15 divide (-236)/v + (-16 - 2)/(-6)?
False
Suppose -11*u - 28560 + 113084 = 0. Is 15 a factor of u?
False
Suppose -v = 1, 0 = 2*q + q + 3*v - 777. Suppose -5*l - 5*g + q = 0, 260 = 5*l - 0*l + 3*g. Is l a multiple of 2?
True
