2*k - 35260. Is v a multiple of 116?
True
Is (-5)/25 - 1934469/(-120) - 123/328 a multiple of 52?
True
Let u(y) = 8*y**3 + 9*y**2 - 50*y - 16. Is 48 a factor of u(7)?
False
Suppose -v + 646 = 5*f - 2*v, -260 = -2*f + 2*v. Suppose -2*w - 2*j + 521 = f, 0 = 2*w - 4*j - 416. Is w a multiple of 50?
True
Suppose -766*u + 762*u = -47676. Does 16 divide u?
False
Let g(a) = 2*a**2 + 9*a + 14. Let k be g(-8). Let r = -154 + k. Does 10 divide -14*(-25)/20*r/(-10)?
False
Suppose r = -4*r - 5*b + 75, -4*r + 40 = -b. Let j be (-2)/r - 1716/(-121). Let f(o) = o + 18. Does 32 divide f(j)?
True
Let m(f) = 5*f**2 - 24*f - 159. Is 6 a factor of m(9)?
True
Let b be (-8 + -147)*2/(-5). Let y = b - 106. Let z = y + 130. Is z a multiple of 43?
True
Let s(g) = 2239*g + 2919. Is 115 a factor of s(5)?
False
Let m be (-1 - 18824/(-40))*40. Is 71 a factor of (-64)/(-144) + (-3)/((-54)/m)?
False
Suppose 854 = -4*r + 5*o - 7*o, -4*o + 657 = -3*r. Does 25 divide -2*r/15*6?
False
Let v = -68383 + 98278. Is v a multiple of 8?
False
Let u(t) = -4*t**2 - 6*t + 33. Let w(j) = -j**2 + 2. Let y(k) = 4*u(k) - 20*w(k). Is 36 a factor of y(14)?
True
Let i = -4449 + 31898. Does 30 divide i?
False
Suppose c + 4 = -2*t, -27*c + 28*c + 5*t + 13 = 0. Suppose c*v - 4*v - x + 1048 = 0, -x = -5*v + 2613. Is 29 a factor of v?
False
Suppose -5*b - 3*n + 17664 = 0, -28*n = -33*n - 10. Is 31 a factor of b?
True
Let t(n) = -2*n. Let b be t(-2). Suppose 5*v - 591 = -0*v + 4*c, b*v = -3*c + 448. Suppose r + v = 6*r. Does 3 divide r?
False
Is 54 a factor of 33046/17 + 10/85?
True
Let u = 6071 + 1295. Suppose -6*s + u = 1708. Does 23 divide s?
True
Let v = 412 + -408. Suppose 4*d = -v*l + 120, -5*l + 3*d = 6*d - 158. Does 7 divide l?
False
Let o be 4/(-14) + 90/21. Let s(x) = -26*x**2 + 3*x + 13. Let r(b) = 11*b**2 - b - 7. Let k(n) = -7*r(n) - 3*s(n). Is 3 a factor of k(o)?
True
Let s = 195 + -117. Let i = s - 70. Suppose -409 = -i*y + 1671. Is y a multiple of 33?
False
Let b be (-4)/(28/175*-5). Suppose 5*k - 11 = -b*a + 39, 5*k = -3*a + 36. Does 6 divide a?
False
Let n(h) = -23*h**3 - 2*h**2 + 3*h - 1. Let c be n(2). Let a = c + 262. Is 5 a factor of a?
True
Let h(o) = o - 8. Let t be h(-4). Let n(l) = l**3 + 13*l**2 + 13*l + 14. Let a be n(t). Is 13/26 - (-101)/a a multiple of 26?
False
Let i be -2*(-1194)/16*(-4)/1. Let x = i + 984. Let h = x + -234. Is h a multiple of 16?
False
Let g(w) = -414*w + 498. Let o(v) = -137*v + 167. Let m(i) = 4*g(i) - 14*o(i). Is m(7) a multiple of 12?
True
Suppose 2*h - 166 = 2*z, 3*z + 27 + 305 = 4*h. Suppose 0*y - h = y. Let n = y - -89. Does 5 divide n?
False
Suppose 33*z + 1696 = 25*z. Let h = 392 + z. Is 8 a factor of h?
False
Let w be (-12)/(-24)*2/(-1). Let j be -4 + (-6 - (w + -2)). Let z(h) = 2*h**2 + 8*h + 3. Is z(j) a multiple of 45?
True
Suppose 2*x = 7*x. Suppose 0 = 13*m - x + 26. Is (44/66)/(m/(-3))*147 a multiple of 21?
True
Let l be -69*-1*1/3. Let y = -19 + l. Suppose 0 = y*k + 4*b - 88, 4*b = -2*k + 7 + 39. Does 18 divide k?
False
Let c = 20591 - 891. Is c a multiple of 53?
False
Let b(i) = -24*i**2 + 236*i + 13. Let m be (-6)/27 + (-5)/90*-166. Does 12 divide b(m)?
False
Let f(s) = -8*s**3 + 94*s**2 + 48*s - 19. Is 163 a factor of f(7)?
False
Let i be 1/2*66*(-28)/(-6). Let d = i - 130. Does 7 divide d?
False
Let y(o) = o**3 + 18*o**2 + 24*o + 6. Suppose -11*r + 5*s = -7*r + 44, -28 = r + 3*s. Is y(r) a multiple of 62?
False
Let x(m) = -10*m + 17. Let c(u) = -u + 1. Let t(a) = -24*c(a) + 3*x(a). Let n(w) = 7*w - 26. Let h(k) = 4*n(k) + 5*t(k). Is 4 a factor of h(7)?
False
Let b(v) = 168 - 1731*v + 3455*v - 1744*v. Does 26 divide b(-28)?
True
Suppose 118 = 5*h - 232. Suppose -64*q + h*q = 84. Does 14 divide q?
True
Let u be 66/627 - (-1347)/19. Let f(l) = -l**2 - l + 107. Let b be f(0). Let s = b - u. Is 26 a factor of s?
False
Suppose 8 = 2*t, -42*j + 45*j - t = 38498. Is j a multiple of 23?
True
Let v = 418 + -415. Suppose -4*l - 1504 = -4*y, -v*y + 442 = -2*l - 685. Is y a multiple of 26?
False
Is 1008/864 + 5/(-2) + 91984/3 a multiple of 292?
True
Does 39 divide ((-66 - -1) + -1)*(1040/(-30) - 24)?
False
Let k be ((-1)/(-2)*0)/(-16 - -12). Let i(f) = f**3 - 6*f**2 + 7*f - 5. Let j be i(8). Suppose -4*a + 5*a - j = k. Does 24 divide a?
False
Is (157/2)/((-73)/(-23798)) a multiple of 10?
False
Let k(n) = 15*n**2 + 52*n - 121. Is k(-27) a multiple of 22?
False
Let p(b) = -b + 749. Let w be p(0). Suppose -5*t + 535 + 1345 = -i, w = 2*t - i. Does 21 divide t?
False
Suppose -u + 2*u = 4*b - 16, 3*u + 9 = -b. Suppose 0 = 570*d - 568*d - 4. Suppose -6*i + d*i - 13 = -5*h, -6 = -b*h + 3*i. Is h a multiple of 4?
False
Suppose -140265 = -106*h + 190879. Is 71 a factor of h?
True
Let b(c) = -2*c**3 + 37*c**2 + 226*c - 44. Does 6 divide b(-14)?
False
Is 3 a factor of (-48)/(-10)*(3 + 11 + -4 + 1045)?
True
Suppose -3*n + 976 = 4*k - 26724, -36965 = -4*n + k. Is n a multiple of 42?
True
Let q = -171 + 163. Let c = q + 162. Is c a multiple of 22?
True
Suppose -2613 = -4*i - 5*v + 3688, -2*i + 3148 = 2*v. Is i even?
False
Let d be 1150/(-3)*24/(-16) + -1. Suppose -t = 4*x + 449, -2*x - 3*x = -3*t + d. Let m = 155 + x. Is m a multiple of 7?
True
Suppose -4*v = 3*y - 23046, 2*v = -4*y + 5*y + 11518. Does 40 divide v?
True
Let u = 22 - -24. Suppose -u = f - 90. Suppose -r = -29 - f. Is 8 a factor of r?
False
Suppose 3*r = 5*o + 35, 5*r + 7*o = 4*o + 13. Suppose -r*u + 16 = 6. Suppose -4*k - 8 = -2*l, -k + 7 = l - u*k. Is 8 a factor of l?
False
Let d = -113 - -112. Let k be (-5)/((2 - 1)/(d/1)). Suppose -9 = 3*c + j - 416, -k = 5*j. Does 17 divide c?
True
Suppose 3*u - 120861 = -15*u + 192699. Is 13 a factor of u?
True
Let h(d) = -3*d**3 + 4*d**2 + 2*d + 5. Let x(p) = p**2 + p - 1. Let f(m) = h(m) + 5*x(m). Let w be f(5). Let a = 220 + w. Is 21 a factor of a?
True
Let g(l) = 3*l + 8. Let x be g(0). Suppose x*k = 6*k + 682. Is k a multiple of 38?
False
Suppose 4*x - 12 = 0, -558 = 8*g - 11*g + x. Let p = g - -557. Does 53 divide p?
False
Let n(i) = 149*i - 31. Let o be n(5). Suppose -3*b + 3*j + 543 = 0, j - o = -4*b + 3*j. Suppose -b = -11*g + 3*g. Is g a multiple of 4?
False
Let o(u) = u**3 + 40*u**2 + 16*u - 318. Is o(-36) a multiple of 22?
True
Is 15 a factor of 15/55 + (-407544)/(-264)?
False
Suppose 4*o = 2*u + 114, 5*u + 27 = 2*o - 10. Suppose 44*r - 11375 = o*r. Is 35 a factor of r?
True
Let r(i) = 1 + 20*i - 15*i - 32. Let s be r(8). Let o(y) = y**3 - 9*y**2 + 3*y + 38. Does 9 divide o(s)?
False
Let p(x) be the first derivative of 3*x**5/40 - 17*x**4/24 - x**3/3 - 18. Let k(m) be the third derivative of p(m). Does 12 divide k(11)?
False
Suppose 18*y + 366418 = 110*y + 129*y. Does 25 divide y?
False
Suppose -137*g + 7980 = -80*g. Is g a multiple of 5?
True
Let z(y) = -25*y**2 + y**3 + 9 - 43 + 0*y**3 + 0*y**3 - 22*y. Is z(26) a multiple of 7?
True
Suppose 42654 = -15*p + 259014. Does 12 divide p?
True
Let w = 12800 - 1142. Is 9 a factor of w?
False
Let t(h) = h**3 - 5*h**2 + 7*h + 27. Let z be t(7). Suppose -3*c + 7*l = 10*l - z, 0 = 2*c - 3*l - 111. Does 9 divide c?
False
Suppose -2*k + 20*r + 14957 = 17*r, -7477 = -k + 3*r. Is 5 a factor of k?
True
Let f(v) = -3*v - 62. Let u be f(-23). Suppose -u*p + 20 = -3*p, -5*a + p = -975. Is 49 a factor of a?
True
Let c be (-1*(2 - 5))/((-6)/8). Let n(r) = -89*r + 40. Does 36 divide n(c)?
True
Let g be (1*5 - (27 + -13))*-1253. Suppose -42*m = -3297 - g. Is 9 a factor of m?
False
Suppose 2*p + 41 - 121 = 0. Suppose 5 = -p*j + 41*j. Suppose -j*b = 2*k - 320, -b + 5*k = 4*b - 355. Is 15 a factor of b?
False
Suppose 352*a - 2370897 = 45935. Does 28 divide a?
False
Suppose 0 = -4*n + 8, 3*v - 7*n = -2*n - 73. Let c = v + 38. Does 12 divide (c/2)/(-4 - (-125)/30)?
False
Let c be 3/(3/(-10))*(-48)/32. Suppose -3*p + c = 0, 4*p = 3*b - b - 1016. Is 15 a factor of b?
False
Let w = 10221 + 1128. Does 30 divide w?
False
Let o(q) = -6*q - 71. Let t(i) = i + 14. Let v(f) = 2*o(f) + 11*t(f). Let m be v(7). Suppose 0 = -12*h + m*h + 371. Does 23 divide h?
False
Suppose -4*u - 4*b + 9*b - 10563 = 0, 2*u - 2*b + 5282 = 0. Let k = u - -338. Does 16 divide (-6)/21 + 2 + k/(-28)?
False
Let i(r) = 1275*r + 3659. Is 65 a factor of i(21)?
False
Let c(k) = k**3 + 6*k**2 + 9*k + 2. Let h be c(-4). Let f be 9 - h - ((4 - 5) + 3). Le