10 divide ((-10)/1)/(j/64)?
True
Let j = -9252 + 13537. Is j a multiple of 32?
False
Let r(p) = -p**3 - 9*p**2 + 16*p - 34. Let l(d) = d**3 + 17*d**2 + 30*d - 10. Let u be l(-15). Let c be r(u). Let g = 174 + c. Does 8 divide g?
True
Let j be 2 + 1 - 4/(-2). Let u(v) = 30*v + 219. Let o be u(-6). Suppose -214 = -j*h - 3*m, h - 1 - o = -2*m. Does 3 divide h?
False
Let h(l) = 2*l**2 - 2*l - 129. Let o be h(15). Suppose c + 0*c - 2*g - o = 0, 3*g - 828 = -3*c. Does 11 divide c?
False
Suppose -5*t = 4*m - 1612, -22*t + 23*t + 3*m - 329 = 0. Let g = 54 + t. Does 11 divide g?
True
Suppose 228 = 5*d - 3*j, -2*d = 6*j - j - 116. Let k = d - 5. Does 9 divide k?
False
Is 10 a factor of (11 + 27809)/5 - 14?
True
Suppose 0 = q - n - 34399, -42*q + 44*q = n + 68790. Is 37 a factor of q?
False
Let y(m) = -m**2 + 9*m - 14. Let g be y(6). Suppose u = -3*p + g*u + 15, 3*p - 14 = 4*u. Is 10 a factor of (-201)/(-6)*(p/1 + -4)?
False
Suppose 6*c + r + 15977 = 11*c, -4*c = -4*r - 12772. Is 10 a factor of c?
False
Let v be -2*635/(-4)*(-168)/(-105). Let n = -13 + v. Does 45 divide n?
True
Suppose 9 = -8*d + 25. Suppose 6*g + 2712 = 5*t + d*g, -t - 2*g + 534 = 0. Is 16 a factor of t?
False
Let j(d) = -d**3 + 47*d**2 - 210*d - 276. Does 32 divide j(40)?
False
Let k(c) = 135*c + 209. Let o be k(25). Suppose -106*u + 102*u + o = 0. Is u a multiple of 14?
True
Let x = 2816 - -2763. Does 11 divide x?
False
Suppose -21*f + 16*f = -15. Does 7 divide 33/22*(-366)/(f/(-1))?
False
Suppose -5*w - 760 = 5*b, 3*w = b - 144 - 320. Let j = w - -296. Suppose 38 = 4*m - j. Does 11 divide m?
False
Let k(u) = -u + 9. Let j be k(6). Let s = 43 - j. Is s a multiple of 20?
True
Let p = -4368 - -6525. Suppose p = 16*a - 4707. Does 39 divide a?
True
Let c be (-5)/6*(-4)/5*3. Suppose 5*s - c*s + 35 = -2*o, 3*s + o = -40. Let w = s + 54. Is w a multiple of 5?
False
Let t = -5951 - -12868. Is t a multiple of 21?
False
Let k be -2 - 10/(-45)*-9. Is 64 a factor of -13*(7/(21/(-120)) + k)?
False
Let t = 13328 + -2819. Does 84 divide t?
False
Does 69 divide ((-93)/21 - (-6)/14) + 267860/20?
False
Let u be 3899/14 + -3 - (-1)/(-2). Let f = 441 - u. Does 29 divide f?
False
Let g(a) = 2*a**2 - 5*a + 103. Let d(y) = -2*y**2 + 5*y - 99. Let h(v) = -5*d(v) - 4*g(v). Does 32 divide h(-15)?
True
Let w = -167 + 165. Does 13 divide (4*w/(-12))/(22/4983)?
False
Let g be 32/((-3)/(-27) - 0). Suppose -6*c - g = -10*c. Suppose 42 + c = 2*q. Does 12 divide q?
False
Suppose 8*i + 5*q = 81691, -3*i + 7*i + 5*q - 40843 = 0. Is i a multiple of 12?
True
Let x = 167 - 114. Suppose x = 2*m + 47. Is -4 + (-8)/(m*(-2)/30) a multiple of 9?
True
Let q be (-8 + 0)/(14/(-217)). Suppose -4*w = 3*x - q, 0 = -0*x - 3*x + 2*w + 136. Suppose -m + 51 = -x. Does 24 divide m?
False
Suppose 19380 = -64*f + 68*f + 2*r, 5*f + 3*r - 24222 = 0. Is 16 a factor of f?
True
Let m = 50 - 50. Suppose -a = -k + 2, -4*a + 4*k + k - 12 = m. Suppose -a*o + 4*b = -71 - 39, -2*o = -3*b - 111. Is o a multiple of 14?
False
Is 17 a factor of 15 + ((-120)/(-20) - -92521)?
False
Let o(y) = -2*y + 21 + 6 - 3*y**2 + 4*y**2. Let i(c) = c**2 - 10*c - 96. Let q be i(16). Is o(q) a multiple of 9?
True
Suppose 129*p - 128*p = 372. Let z = 581 - p. Is z a multiple of 11?
True
Suppose 4*v + 6 = 6*v. Let j be (-562)/(-4)*(-4 + 6). Suppose -5*y + j = 4*z, -v*y - 5*z + 232 = y. Is y a multiple of 8?
False
Let y(s) = -s**3 + 12*s**2 + 22*s - 16. Let j be y(14). Let n = -92 - j. Let o(h) = -h**3 + 9*h**2 - 5*h - 8. Is o(n) a multiple of 4?
True
Let w = 12080 + -9509. Is w a multiple of 44?
False
Suppose 94 = -4*c - 3*g - 180, -g = -2*c - 142. Let z = -70 - c. Suppose w - 12 = 3*f, 5*w + 4*f - 12 - 10 = z. Is 6 a factor of w?
True
Is 373 a factor of ((-5968160)/(-24))/10*(-12)/(-8)?
False
Does 42 divide (1323/42)/(18/1416)?
True
Let l be (-30)/135 - 1132/9. Let f = l - -132. Is 13 a factor of 1/f + 20*(-186)/(-144)?
True
Let y(c) = c**3 + 14*c**2 + 4*c - 29. Let s be y(-14). Let g = s + 98. Let m = g + 163. Does 16 divide m?
True
Let z(r) = 963*r**2 + 253*r + 1696. Is 12 a factor of z(-7)?
True
Let y(h) = h**2 - 4*h - 279. Is 75 a factor of y(-36)?
False
Let k = 3539 + -2429. Let q = 1850 - k. Is 31 a factor of q?
False
Let j(t) = t**3 + 2*t**2 - 18*t + 42. Let v = 14 - 8. Is 6 a factor of j(v)?
True
Let i(d) = 6*d**3 + 6*d**2 + 5*d - 10. Suppose -4*r + 5*l = -21, -3*l + 3 = 2*r - 2. Is 10 a factor of i(r)?
True
Does 8 divide (468 - 69)*216/14?
False
Suppose -3*k - 2264 + 13150 = -4*q, -k + 5*q + 3603 = 0. Does 7 divide k?
False
Let z(g) = -10*g + 56. Let l(w) = -8*w - 97. Let p be l(-11). Does 3 divide z(p)?
False
Let c = 44 - 12. Suppose c*j - 31*j - 2 = 0. Suppose -j*z - 3*f = -198, -5*f - 474 = -5*z - 2*f. Is z a multiple of 16?
True
Suppose -4*g + 2*g - 24 = 0. Let j be (12/(-8))/(24/32). Is 3 a factor of (2/(g/27))/(j/4)?
True
Let t(b) = 489*b**2 - 13*b**3 - 58*b + 12*b**3 - 462*b**2 + 38. Is t(23) a multiple of 20?
True
Let d = 10 - 4. Let w(b) = -10 - 5 + 15355*b - 1 + 4 - 15356*b + 2*b**2. Is w(d) a multiple of 18?
True
Let b(i) be the first derivative of 11*i**3/3 - 6*i + 5. Let s be b(2). Let f = -30 + s. Does 8 divide f?
True
Let p = -987 + 2025. Suppose 1302 = 10*o - p. Is o a multiple of 26?
True
Let w = -307 - -336. Suppose -w*j + 1032 = -27*j. Is 12 a factor of j?
True
Let m(f) = f**3 - 11*f**2 + 8. Let q be m(11). Let n be 1 - -3*q/12. Suppose z + n*z = 196. Is 6 a factor of z?
False
Suppose -95510*b + 95539*b - 114260 = 0. Does 8 divide b?
False
Let r = 396 + -218. Suppose 2*z - 5*l = -10*l + r, -l = 0. Is z a multiple of 18?
False
Suppose -35*g + 455153 + 541507 = 63*g. Does 91 divide g?
False
Let p = -18924 + 46239. Is 30 a factor of p?
False
Suppose 135 = 7*a + 450. Let s = a + 165. Is s a multiple of 10?
True
Suppose -28*g = -30*g + 116. Suppose -3*a = g - 1051. Is 30 a factor of a?
False
Let f(d) = -2*d**3 - 3*d**2 + 15*d - 18. Let p be f(9). Is (-3)/(27/p) + (1 - 0) a multiple of 26?
False
Suppose -5*q - 2*f + 25 = -0*q, 4*q + 4*f - 32 = 0. Suppose 0 = -d + 5*m + 16 + 99, q*d + 4*m - 383 = 0. Is d a multiple of 5?
True
Let m = 1909 + -221. Suppose -760 = -18*p + m. Is 8 a factor of p?
True
Suppose 5*h = 2*p + 185, 2*h + 2*p - 7*p - 95 = 0. Suppose 0*n - n + h = 0. Is n a multiple of 12?
False
Let o(j) = -38*j + 7. Suppose -110*z - 231 = -99*z. Is 35 a factor of o(z)?
True
Suppose 56*d = 139*d + 146*d - 7693942. Is 8 a factor of d?
False
Let g(k) = -4*k + 5 - 24 + 3*k**2 - 6. Let s be g(12). Let h = s + -244. Is h a multiple of 15?
False
Suppose -1 + 33 = 4*u. Let w = u - 41. Does 39 divide (-2155)/(-55) + 6/w?
True
Let z = 80574 + -43342. Is z a multiple of 52?
True
Let o(m) = 0*m**3 + 0*m**3 + 47 + 17*m**2 - m**3 - 42*m**2 + 10*m**2. Is 52 a factor of o(-17)?
False
Does 6 divide ((-35)/15 - -2) + (-2)/(-6)*145?
True
Is 28 a factor of (-4)/(-22) - (-10 + (-414324)/132)?
False
Let a = -216 + 316. Let i(w) = -287*w - 11217. Let f be i(-39). Let h = a + f. Is h a multiple of 8?
False
Let b(y) = y**2 + 13*y + 30. Let i be b(-2). Suppose 116 = i*o - 420. Is o a multiple of 7?
False
Is (-3)/(15/(-40132)) - 135/4275*-19 a multiple of 23?
True
Suppose 729*u - 671*u = 1773988. Is u a multiple of 82?
True
Suppose -s - 31 = 2*c, 3*c = -4*s - 20 - 34. Does 18 divide (6/5)/((-38433)/(-2745) + c)?
True
Is ((-130)/325)/((-2)/26415) a multiple of 9?
True
Let a(r) be the second derivative of -r**4/12 + 8*r**3/3 - 4*r**2 - 4*r. Suppose -14 = -7*j + 5*j. Is 28 a factor of a(j)?
False
Suppose r = 5*i - 0*r - 8697, -4*i - r = -6945. Is 11 a factor of i?
True
Suppose 12*n - 16*n - 4*d = -12832, -16008 = -5*n + 3*d. Does 40 divide n?
False
Suppose 0 = -2*j + 5*c + 201 + 342, 0 = -5*c + 5. Suppose -3*b - 2*v = -838, -b + 4*v - 4 + j = 0. Is b a multiple of 48?
False
Suppose 78*p - 75*p = 37164. Is p a multiple of 163?
True
Does 50 divide (3 - -12) + -24 - (-295 - 3)?
False
Let b(k) = 2*k + 7. Let n be b(-3). Suppose n = -g + 4. Suppose 5*l = 3*l - 4*r + 192, 264 = g*l - 2*r. Does 15 divide l?
True
Is 24 a factor of 1 + ((-26)/390 - (-173942)/30)?
False
Let v be (-1161 + 2)*-1 + (-3 - -7). Suppose 3*o + 2*r = -2*r + v, 0 = -5*o - r + 1961. Suppose -267 = -5*b + o. Does 22 divide b?
True
Suppose 0 = -2*q + 5*w + 26, -4*w = -29*q + 30*q. Let h(y) = 2*y**3 - 9*y**2 -