iple of 133?
False
Suppose 8*u - 42 = u. Is ((-1504)/(-12) - u)*3 a multiple of 72?
False
Does 81 divide 4936 - ((2 - (-72)/(-40)) + 78/(-15))?
True
Suppose 0 = -11*j + 130 + 68. Does 32 divide 1689/(j/6) + -2?
False
Let d = 8 - 76. Let w = d + 70. Suppose -5*f + 278 = 4*a, 212 = 2*a + a + w*f. Does 8 divide a?
True
Let k(j) be the first derivative of -j**4/4 - 11*j**3/3 - 11*j**2/2 + 11*j + 17. Let i = 5 - 15. Does 7 divide k(i)?
True
Suppose 3*o - 13728 - 12586 = m, 8772 = o - m. Is o a multiple of 6?
False
Let w be 1/((45/(-160))/(-9)). Let r = -28 + w. Suppose -303 = -r*c - 39. Is c a multiple of 11?
True
Let t = -93 - -122. Suppose -h + t = 5*o, -o + 0*o = -3*h + 7. Is (4/3)/(((-20)/(-78))/o) a multiple of 4?
False
Let o(v) = 5603*v + 14. Let h be o(2). Suppose 0 = 24*g + 10*g - h. Is g a multiple of 30?
True
Let v = -10417 + 24273. Is 34 a factor of v?
False
Suppose -22468 = -2*a + 5*g, -4*a + 44880 = 275*g - 271*g. Does 21 divide a?
False
Let q(f) = -f**3 + 9*f**2 - 9*f + 16. Let r be q(8). Let j be (-30)/r*(-64)/48. Suppose -j*a + 140 = -3*a - 5*c, -3*a - 5*c = -160. Is 30 a factor of a?
True
Let v = -187 + 192. Suppose u - 5555 = -5*c + 377, -3*c + v*u + 3576 = 0. Does 14 divide c?
False
Suppose 0*z - 54*z = -318140 + 110240. Is 25 a factor of z?
True
Let r be ((-32)/(-24))/(-2*3/675). Is ((-21)/(-4))/(r/(-46000)) a multiple of 23?
True
Let o(v) = v**3 + 22*v**2 - 51*v + 81. Let t = 657 + -680. Is 37 a factor of o(t)?
False
Let p = 26217 + -14875. Is p a multiple of 93?
False
Suppose 4*j - 32 = r, j - 34 + 9 = -4*r. Suppose 0 = -4*s - 5*y + 25, 1 = -s - 3*y + j. Suppose 2*k + k = 15, -s*k + 285 = 5*q. Does 24 divide q?
False
Let k(f) = 846*f**2 - 11*f + 10. Let g be k(1). Let t = g + -680. Does 5 divide t?
True
Let j = -66 + 98. Suppose j = -44*d + 48*d. Does 27 divide 828/4 + d + -3?
False
Let b(o) = o**3 - 2*o**2 - 5*o - 1. Let i(t) = -3*t**3 + 3*t**2 + 11*t + 3. Let f(s) = 5*b(s) + 2*i(s). Let k = -27 + 21. Does 11 divide f(k)?
False
Is 1/(1473915/86700 + -17) a multiple of 68?
True
Let o(d) = 76*d - 3. Suppose 4*g = -c + g, -4*c = -3*g. Let i be (c - 1)/(3 + -2)*-1. Is o(i) a multiple of 32?
False
Let s(r) = -r**3 - 22*r**2 + 47*r - 81. Let h be s(-27). Suppose 4*a + 3*b - 1842 = 2*b, 5*a - h = -5*b. Is a a multiple of 83?
False
Suppose 24 = -2*b + 5*b - 3*t, -27 = -4*b - t. Suppose b*d - d = -6. Is ((-3)/(-4))/d + 858/24 a multiple of 6?
False
Suppose 32*l - 100915 = 39181. Does 11 divide l?
True
Is (4532/110)/(1/(3700/4)) a multiple of 103?
True
Suppose 0 = -2*p - 2 - 0, -5*b - 2*p + 208 = 0. Let r be 12/b - (-172)/(-14). Is -6*3*r/8 a multiple of 14?
False
Suppose -4*p + 0*p + 20 = 0, -4*t - 123 = 5*p. Let r = t - -16. Let h = r - -35. Is h a multiple of 2?
True
Let n(f) be the second derivative of f**4/12 - 11*f**3/6 + 15*f**2/2 - 9*f. Let j be n(6). Let o = 19 + j. Does 4 divide o?
True
Let m = -447 + 307. Is 7 a factor of 28/m - (-1016)/5?
True
Let g = -22505 + 46222. Is g a multiple of 66?
False
Let h(p) = 209*p**2 + 10*p - 71. Is 8 a factor of h(3)?
True
Let r(i) = i**3 + 17*i**2 + 14*i - 30. Let b be r(-16). Is -5 - 804/(-8)*b a multiple of 28?
True
Let o be 0 + (-4 - 36/(-6)). Suppose 4*w - 761 = 3*v - 0*v, -o*w = 5*v - 387. Is w a multiple of 12?
False
Suppose 4*c = -2*w + 296 + 2, 0 = -5*w - 15. Let m = -21 - -26. Suppose c = -h + m*h. Does 5 divide h?
False
Suppose 2*u - 702 - 1236 = 0. Suppose 4*y + 202 - 2142 = 4*p, 2*y - p - u = 0. Is y a multiple of 46?
False
Let w(b) = -2526*b + 254. Does 12 divide w(-5)?
False
Let p = 130 - -93. Suppose -95 = -2*k - o, 3*k - p + 82 = -3*o. Does 12 divide k?
True
Suppose -623*j = -4*q - 620*j + 67344, -3*q + 4*j + 50508 = 0. Is 28 a factor of q?
False
Let d = -60 + 179. Is 21 a factor of -184*(d/(-51))/(8/18)?
True
Let y(t) = 3*t + 24. Let f be y(-9). Let d be 2 + -6 + 1 + f. Is (-1)/((-9)/6) + (-386)/d a multiple of 13?
True
Let z(t) = 109*t**2 + 24*t - 1. Does 48 divide z(-7)?
False
Let g(u) = 23*u**2 - 59*u + 123. Is g(5) even?
False
Let v = 20 + -167. Let g = v - -351. Does 12 divide g?
True
Let b(k) = 856*k + 672. Is b(7) a multiple of 136?
True
Let s(g) = -g**2 - 9*g - 7. Let a be s(-8). Let r be (2 - 5)/a + (112 - -1). Let p = 173 - r. Does 14 divide p?
False
Suppose 24903 = 3*c + 4*a, 6*c = 7*c - 2*a - 8281. Does 3 divide c?
False
Let h = -24165 + 33846. Is 13 a factor of h?
False
Suppose s + 18 = -5*s. Let q be -139*s/3*(2 + -3). Does 4 divide q/(-6) - (1 + 5/(-6))?
False
Let v(r) = 24*r - 57. Let w be v(13). Let k = w + 251. Is 22 a factor of k?
True
Suppose -12*m = -15*m - q + 9, -q + 3 = 0. Suppose 0 = -m*r - 65*y + 67*y + 2944, r = 3*y + 1464. Does 12 divide r?
True
Let l = -544 - -555. Suppose 2307 = l*q - 2863. Does 9 divide q?
False
Suppose -10693 + 8976 = -41*j + 26245. Is 20 a factor of j?
False
Let i(d) = d**2 + 20*d + 38. Let c be (-1 + -23)*(0 + 9/12). Let p be i(c). Suppose -p*b = -5*z + 2*b + 172, -5*z - 4*b = -188. Is z a multiple of 18?
True
Let d(z) = 60*z**2 + 48*z - 748. Does 313 divide d(13)?
True
Let t = -2996 + 2999. Suppose -5*v - 30 = -3*w + 18, 3*w + 72 = -5*v. Is 46 a factor of t/(v/(-752)) - 4?
True
Let c be -2 + -1 + -1307*63. Is 51 a factor of c/(-156) - 6/(-39)?
False
Let t(r) = -r**3 + 8*r**2 + 8*r - 8. Let k be 9/(-5) - (-6)/(-30). Let q be k/4*(6/2 - 19). Is 8 a factor of t(q)?
True
Let i(z) = z**2 - 11*z - 39. Let c be i(-3). Suppose 0 = -c*w + 9*x - 12*x + 255, 3*w - 2*x - 270 = 0. Does 44 divide w?
True
Suppose 0 = -17*b + 12*b + 35. Let q(m) = 0 - 52*m - 1 - b. Is 26 a factor of q(-3)?
False
Let s be ((-8)/(-4))/((-4)/(-12)). Let x be (-135)/(-6)*44/s. Suppose 0*q - x = -3*q. Does 16 divide q?
False
Suppose 0 = -3*q - 2 - 1, 3 = 3*x - 3*q. Suppose 353 = -0*b + 3*b - k, b + 3*k - 131 = x. Let f = 219 - b. Is f a multiple of 20?
True
Suppose -5*f - 4*v = -25, 0*f - 19 = -4*f - 3*v. Let p = -3 + f. Is ((216/(-20))/3)/(p/80) a multiple of 23?
False
Suppose -42*o + 252864 = -o - 9*o. Is o a multiple of 62?
False
Suppose -7*h + 749 = -945. Suppose -238*w + h*w - 64 = 0. Is 16 a factor of w?
True
Let b = 16877 - 9075. Is b a multiple of 23?
False
Let f(d) = -26*d + 132. Let o be f(-18). Suppose -94*g = -89*g - o. Is g a multiple of 4?
True
Let d = -66 + 86. Let k(f) = f**2 - 4*f + 40. Let c be k(d). Suppose c = -34*z + 42*z. Is z a multiple of 5?
True
Let a = 1185 - 1165. Let t(g) = -3*g**2 + 21*g - 24. Let u(h) = 4*h**2 - 22*h + 25. Let w(x) = -3*t(x) - 2*u(x). Is w(a) a multiple of 14?
True
Let g(c) = 6 + 14*c + 35 - 8 + c**2. Is g(-12) a multiple of 2?
False
Let h = -583 - -583. Suppose -30*g - g + 2604 = h. Is g a multiple of 12?
True
Suppose 2*l - 4 = -z + 2, 0 = 3*l - 2*z - 23. Suppose 3*p + 2*o - 1258 = 0, -4*p + 1685 = l*o - 10*o. Is 28 a factor of p?
True
Suppose -27*n + 42*n = 12240. Is 12 a factor of n?
True
Let r be (4*(-397)/6)/((-24)/36). Let w = r + -109. Does 72 divide w?
True
Is 4 a factor of 138034/30 - (-9 + (-1096)/(-120))?
False
Is 329 a factor of ((-145)/15)/(12/(-46692)) + -12?
False
Suppose -g = n + 2*g - 17, 3*g - 12 = 0. Let y(a) = a**3 - 6*a**2 + 6*a - 1. Let u be y(n). Suppose -u*c + 313 = -175. Is 20 a factor of c?
False
Suppose 2*v + 2*d + 2 = v, 0 = 5*v + 4*d - 2. Let s(u) = 58*u**2 + 7*u + 4. Is s(v) a multiple of 3?
False
Is 17 a factor of (204/(-240)*-4)/((-8)/(-82040))?
True
Let k = -15 + 17. Suppose -3*d - 4737 = -5*v, -k*d + 3*v = -5*d - 4761. Is 6 a factor of (1/3)/((-16)/d)?
False
Let c = -7433 - -10055. Does 38 divide c?
True
Suppose 0 = 9*g - 17049 - 11625. Does 155 divide g?
False
Suppose 9*u - 26 - 19 = 0. Suppose 28 = s + 3*q + 2*q, -u*s + 40 = 5*q. Suppose 26 = s*j - j - 3*z, 39 = j + 5*z. Is 2 a factor of j?
False
Suppose -879*l - 20044 = -883*l - 4*u, 2*l - 5*u - 10057 = 0. Is l a multiple of 88?
True
Suppose 63*p = 23*p + 1760. Let k be 226/10 - 4/(-10). Let o = p - k. Is 3 a factor of o?
True
Let o = 12937 - 9187. Does 10 divide o?
True
Let a(d) = -7*d**2 + 249*d - 8. Is a(10) a multiple of 54?
True
Let y(o) = -83*o + 289. Let c be y(15). Let w = -502 - c. Does 37 divide w?
False
Suppose -402 - 38 = 4*j. Let w be ((-2)/(-10))/((-11)/j). Suppose 2*t = -2*f + 640, -w*t - 87 + 727 = 3*f. Does 20 divide t?
True
Suppose 0 = -30*t + 32*t - 5*r - 18475, 9241 = t + r. Is 55 a factor of t?
True
Le