tor of -2*(-5)/25 - 573/w?
True
Does 255 divide 31615 - -1 - 1564/(-391)?
True
Let l = -210 + 215. Suppose 4*k + 2*n - 1608 = 1524, l*n + 1542 = 2*k. Is k a multiple of 71?
True
Let i(b) be the third derivative of -5*b**4/8 + 13*b**3/3 - b**2. Suppose 0 = 4*s - w + 40, 4*w = 3*s - 0*s + 43. Is 15 a factor of i(s)?
False
Let a(n) = -2227*n - 9186. Does 72 divide a(-8)?
False
Let a(h) = 10*h + 8. Let v be a(1). Suppose v*q - 671 = 4999. Suppose -5*w + w + 4*i + 588 = 0, -2*w = 5*i - q. Is w a multiple of 12?
False
Let y(l) = -l**3 + 2*l + 296. Suppose x - 1 = -0*x, -4*f - 1 = -x. Is 33 a factor of y(f)?
False
Let k = 77 - 179. Let v = k + 105. Suppose -v*j = -22 - 581. Is 10 a factor of j?
False
Let z(j) = j**3 - 5*j + 2*j**3 + 33 - 2*j**3 + 18*j - 17*j**2. Let q be z(16). Let r = 57 + q. Does 6 divide r?
True
Let l = 42 - 31. Suppose l*h = 9*h + 420. Let a = h + -129. Is a a multiple of 29?
False
Let w = -60 - -62. Suppose -5*b - w*c = 136, 2*b - 26 = 3*b + c. Let h = b - -82. Is 18 a factor of h?
True
Suppose 64*c - 15987 = 61*c. Suppose 14011 = 20*w - c. Is 43 a factor of w?
False
Let b be (30/(-9))/(6/(-9)). Suppose -2*d - 3*d - 15 = -b*x, -5*x + 2*d = -3. Is 14 a factor of x/((-2 - -6)/(-108)) - -1?
True
Let c = 19 + -14. Suppose c*m - 8465 = 5*t, 5*m + 28*t - 30*t - 8468 = 0. Does 77 divide m?
True
Does 17 divide (-102 + (0 - 0))*((-21672)/48 + 37)?
True
Let o = 43622 - 30304. Is o a multiple of 69?
False
Let z be 36912/20 + (-9)/15. Suppose -27*s + 22*s - z = 0. Let d = s - -599. Is d a multiple of 12?
False
Let n = 289 + -284. Is (6 + -7)*-155 - n a multiple of 30?
True
Suppose -u + 5 = 0, -11*n = -13*n - 5*u + 9. Let o = -2 + 2. Is o + -2 - 1176/n a multiple of 30?
False
Let i(m) = m**3 - 7*m**2 + 5*m + 8. Let q be i(6). Suppose -3*d + 5*b = -2087, -5*d - q*b + 0*b + 3530 = 0. Is 16 a factor of d?
True
Let i = -11 + 14. Let o be (i - (5 - 2))/2. Suppose 0 = 5*g + 3*a - 88, -4*g + 2*g + 2*a + 48 = o. Is 10 a factor of g?
True
Suppose -2*r - 32 = i - 3*i, -5*r - 5*i - 30 = 0. Let w(q) = 4*q**2 + 8*q - 25. Is 53 a factor of w(r)?
True
Suppose 430*p = 426*p - 156. Let t = p + 411. Does 5 divide t?
False
Let o = 4 - 39. Let k(d) = -17*d + 25. Let b be k(-6). Let g = o + b. Is 21 a factor of g?
False
Let i(z) be the first derivative of 127*z**4 + z**3/3 - 3*z**2/2 + 2*z + 142. Does 24 divide i(1)?
False
Let c(b) = b**3 + b - 4. Let o be c(5). Let g be 4/(-12) - 251/3. Let y = g + o. Does 40 divide y?
False
Let z be 155/4 + (-2 - (-25)/20). Suppose 0 = -w - z + 31. Does 2 divide w/(-5) - 15/(-25)?
True
Let r = -2366 - -4965. Is r a multiple of 76?
False
Let l = -2143 - -2197. Does 3 divide l?
True
Let c be 6 + (-160)/25 + 24/10. Let g(y) = c + 3 + 3*y**2 + 0*y**2 + 2*y - 8*y. Does 3 divide g(4)?
False
Suppose -3*m = 0, -2*l = l - m + 267. Is (25 - l) + (2 - 0) + 2 a multiple of 59?
True
Let q(t) = -9*t**2 + 822*t + 29. Is 106 a factor of q(83)?
True
Suppose 5*c + 1798 = 4*h, -h - c - 3*c = -460. Let y = h - 328. Does 2 divide y?
True
Suppose -1355053 = -21*j - 98*j. Is 17 a factor of j?
False
Is (37 + -33)/(245/240 + -1) a multiple of 12?
True
Suppose -k - 3*r - 32 + 11 = 0, -4*r = -5*k - 181. Let s = 322 - k. Is s a multiple of 7?
False
Suppose -26*k = -80*k + 186246. Does 11 divide k?
False
Let l = 2145 - 1137. Suppose -3*w = 4*w - l. Does 18 divide w?
True
Suppose 3*f + z + 64 = -1, -f - 25 = z. Let b = f + 74. Let p = 71 - b. Is p a multiple of 17?
True
Let k(i) = -i**3 - 15*i**2 + 31*i - 17. Let r(l) = 3*l**3 + 47*l**2 - 92*l + 50. Let f(z) = 11*k(z) + 4*r(z). Does 5 divide f(-24)?
True
Let y be (-1 - 0 - 171)*1. Suppose 8744*o = 8739*o - 20. Is 13 a factor of o + y/8*-2?
True
Let j be (-5)/3*2*(-12)/8. Let y = -198 + 200. Suppose o + o = 5*q + 122, -y*o + 102 = j*q. Does 21 divide o?
False
Let z(r) = 24679*r - 623. Is z(1) a multiple of 9?
False
Let w(r) = -4*r + 26. Let g be w(6). Suppose -z + 278 = g*b, 4*b = 2*z - 379 - 185. Is 20 a factor of z?
True
Suppose 5*q + 49 = c - 7, -5*c = 4*q - 396. Is 17 a factor of c/10*85/2?
True
Let u(t) = -2*t**3 + t**2 + 6*t + 6. Suppose 0 = 19*v - 20*v - 3. Does 7 divide u(v)?
False
Let k be (-46)/11 + (-10)/(-605)*11. Is 11 a factor of (-287)/k - (-3)/(-4)?
False
Suppose 1054 = 2*o + 4*f, -18*o + 14*o + 2138 = 3*f. Is o a multiple of 7?
True
Let r = 34455 - 9998. Is 37 a factor of r?
True
Let h(t) = 229*t + 3138. Is h(46) a multiple of 8?
True
Let r = -154 + 161. Let b(u) = 2*u - 14. Let i be b(r). Is (i + 34)*(-18)/(-4) a multiple of 11?
False
Does 12 divide 68136/2 - 564/(29 - -18)?
True
Let d(r) = -8*r**2 - 6*r**2 + 2 - r**3 - 10*r**2 + 22*r**2. Let q be d(0). Suppose -q*x - 2 = 0, -2*x + 5*x = 3*s - 357. Does 16 divide s?
False
Let q = -1453 + 942. Let u = q - -298. Let r = u + 369. Is r a multiple of 12?
True
Let u = 594 - 893. Let i = 261 - u. Suppose 5*n = -2*n + i. Is 8 a factor of n?
True
Suppose -10 - 5 = -5*k. Let b(q) = q**3 - 4*q**2 + 4*q + 1. Let f be b(k). Suppose 0 = -p + 4*p, 5*t + f*p = 35. Does 7 divide t?
True
Let b(d) = -17*d**2 - 1467*d + 106. Does 8 divide b(-85)?
True
Let f(s) = 5*s + 27. Let m(p) = -2*p - 13. Let l(o) = -3*f(o) - 7*m(o). Let z be l(6). Suppose 3*w + 3*x = 429, -5*w + z*w + 3*x = -143. Is w a multiple of 26?
False
Suppose 0 = -g + 2*r + 11345, 4*r = 12*g - 16*g + 45344. Suppose -g = 4*x - 21*x. Does 15 divide x?
False
Suppose 494 = -m - 236. Let j = m + 1210. Is 16 a factor of j?
True
Let i = -4225 - -12001. Does 54 divide i?
True
Let s(o) = -21*o**2 - o + 5*o**3 + 0 - 5 + 25*o**2. Let u be s(3). Does 15 divide (u + -15)*2/4?
False
Suppose 0 = -u - 0*u + 44*u - 168603. Is u a multiple of 98?
False
Let y = -737 + 729. Let b(w) = 6*w**2 + 4*w. Let o(l) = 7*l**2 + 3*l + 1. Let k(j) = -6*b(j) + 5*o(j). Is k(y) a multiple of 9?
False
Suppose 2 = 6*v - 4. Let t be (-2)/(2/v - 3). Suppose 4*k - 556 = p, -t*k - p = 4*p - 256. Does 25 divide k?
False
Let r(k) = k**3 + 14*k**2 + 16*k + 43. Let l be r(-13). Suppose 10*q = l + 2376. Is q a multiple of 30?
False
Is 8 a factor of 6 - 246*(-3)/(21/14)?
False
Let v = -53 - -55. Let f(x) = 2 + 9*x**3 + 5*x**v - 27*x + x**3 + 21*x. Does 5 divide f(2)?
True
Let r = 1314 - -1662. Suppose 0 = 8*i + 16*i - r. Does 6 divide i?
False
Suppose 0 = -2*w + 6*w - 1512. Let a be ((-9)/(-33) + (-1788)/(-220))/(4/(-110)). Let c = w + a. Is 27 a factor of c?
False
Suppose 55*x - 74194 - 156751 = 0. Is 5 a factor of x?
False
Let t(n) = n**3 + 11*n**2 + 2*n + 8. Let s be t(-5). Let g = 39 + s. Does 11 divide g?
True
Let m be (-8)/2 - (18 + -30). Suppose -2109 = -m*i + 331. Does 30 divide i?
False
Let n(g) = 20*g**2 + 270*g - 487. Does 19 divide n(-36)?
True
Let h(j) = -j**2 + 10*j + 19. Let q be h(9). Does 53 divide 4*(-7)/q - -584?
True
Let z = 6 - 4. Is 15*z + (-6)/6*0 a multiple of 23?
False
Let v(y) = -4*y + 91. Let f be v(19). Suppose -3*n + f = -0*n, 5*i + 2*n - 1335 = 0. Does 36 divide i?
False
Suppose 4*r - 8 = 0, 0 = 3*s - s - 5*r. Let u(y) = 30*y - 24. Is u(s) a multiple of 12?
False
Suppose -11*d + 480 = -6*d. Let z = -92 + d. Suppose m = 3*g - 81, -2*g + 3*g - z*m = 38. Is g a multiple of 26?
True
Suppose -66 = -4*i - 5*x, 7*i - 4*i + 4*x = 50. Is 8 a factor of (-420)/(-3) - 84/i?
False
Let s = 21 - 21. Suppose 3*t - 5*u = 614, -u + s*u + 2 = 0. Suppose -4*g + 2*g + l + 143 = 0, -3*g + t = 5*l. Is g a multiple of 6?
False
Suppose 2*l + 2*b = 28, 4*b + 71 = 5*l + 8*b. Let s be (-2)/(-6) - l/45. Suppose -5*a + d = -s*a - 480, 5*a - 460 = -3*d. Is a a multiple of 19?
True
Let m = 57 - 21. Let c = -27 + m. Suppose c*z - 260 = 7*z. Is z a multiple of 10?
True
Let k = 13723 + -8383. Is k a multiple of 15?
True
Let t = 129 + -126. Suppose -4*c + 5 = -t*x - 21, -3*c = x - 13. Is (-25 - -1)/((-2)/c) a multiple of 30?
True
Let j be (-3*(-4)/(-6))/((-17)/221). Suppose 0 = -3*x + k + 694, -5*k - 480 = 24*x - j*x. Is 5 a factor of x?
True
Is 51 a factor of 839002/17 + 382/(-6494)?
False
Suppose -u - 5*x + 993 = 0, -69*u + 4*x + 4044 = -65*u. Does 144 divide u?
True
Let h(s) = -s**3 + 8*s**2 + 3*s + 10. Suppose 3*v = -8 - 22. Let o(a) = -a**3 - 11*a**2 - 11*a - 3. Let c be o(v). Is h(c) a multiple of 32?
False
Let n(q) be the third derivative of 47*q**6/240 + q**5/30 + 5*q**4/8 - 30*q**2. Let z(j) be the second derivative of n(j). Is z(1) a