7684 = -163600. Does 28 divide a?
True
Suppose -3*m - 2*l + 138 = -2*m, l - 394 = -3*m. Suppose -5*g - 263 = 3*c, 8*g + 207 = 4*g + c. Let a = g + m. Is 6 a factor of a?
True
Is 14 a factor of (49/35)/((-19)/(-125780))?
True
Let w(f) = -f**3 + 4*f**2 + 37*f + 9. Let y be w(14). Let p = y - -3320. Is 30 a factor of p?
False
Suppose -14*d = -12*d + 816. Is 1/((-5 + -1)/d) a multiple of 3?
False
Let y(k) be the first derivative of 116*k**4 - 2*k**3/3 + 5*k**2/2 - 4*k + 33. Is 58 a factor of y(1)?
False
Does 216 divide ((13 - 296/24) + (-34)/6)*-4002?
False
Let g = 264 + -296. Is (348/(-16) - -6)*g a multiple of 84?
True
Let u = 26138 + -22601. Is 62 a factor of u?
False
Suppose 0 = d - 2*n - 88 - 1079, 0 = -5*d + 4*n + 5847. Suppose -h - 4*t = -3*t - 393, -d = -3*h + t. Is h a multiple of 17?
True
Suppose 15*o - 49536 = 24864. Does 16 divide o?
True
Let w(n) = 0 + 34*n + 14*n**2 + 1 - 27*n. Let p be w(-2). Suppose -p = -q + 6. Is 12 a factor of q?
False
Suppose -2329 = -2*n - 9*j, 18*n - 14*n - 4642 = -2*j. Is 10 a factor of n?
True
Suppose 7*x + 11*x - 233415 = -45*x. Does 5 divide x?
True
Let d(n) = n**2 + 19*n - 68. Let j be d(-22). Suppose 4*o + 3*m - 69 = 0, 2*m + 69 = 5*o - 0*m. Let r = o - j. Is r even?
False
Let a be (7782/8)/(69/184). Let n = a - 1704. Is n a multiple of 89?
True
Let r(x) = x**3 - 9*x**2 - 9*x. Let j be (-4 + 1 - -1)*-5. Suppose 2*y - y = j. Is r(y) a multiple of 3?
False
Suppose 0 = 50*z - 48*z - 3988. Does 6 divide z?
False
Let y(k) = 2*k - 4. Let o be y(7). Is o/20 - (-590)/4 a multiple of 23?
False
Let o(k) = k**3 - 10*k**2 - 10*k - 22. Let i = 464 - 451. Does 13 divide o(i)?
False
Suppose -10 = -3*l + 8*l. Let y = 78 + l. Suppose -5*o = -y - 194. Does 6 divide o?
True
Suppose 10*q = 5*q + 225. Let u be -1 + 2/((-10)/(-905)). Let t = u - q. Is 22 a factor of t?
False
Suppose 2227 - 8 = 7*t. Suppose -2*v + 455 + t = 0. Let s = -270 + v. Is s a multiple of 45?
False
Let c be (6/(-4))/(19/(-38)). Let j(m) = 108*m - 34. Is 5 a factor of j(c)?
True
Let t be (0 + -61)*(67 - 66). Let u = 167 - t. Does 6 divide u?
True
Let r be ((-2)/(-6))/((-20)/(-300)) + 0. Suppose 420 = -3*m - 5*a + 1471, -a = -r*m + 1761. Is 32 a factor of m?
True
Suppose 232*g - 235*g = -46629. Is g a multiple of 222?
False
Suppose 93*v = 1213592 - 37328. Is v a multiple of 51?
True
Let a be (-1 + 4/(-1) + 4)*-14. Suppose -65 - a = -z. Is z a multiple of 18?
False
Suppose 66 = 2*o + 22. Suppose 2187 = o*r - 19*r. Is r a multiple of 62?
False
Suppose 0 = 9*k - 15*k - 24. Let b(i) = 2*i**3 - 12*i**2 + 14*i + 4. Let x(j) = j**3 - 4*j**2 + 5*j + 1. Let s(g) = 3*b(g) - 8*x(g). Is 15 a factor of s(k)?
True
Let b(q) = 66. Let z(o) = -o - 65. Let n(l) = 3*b(l) + 2*z(l). Let a(s) = -s**3 - 41*s**2 - 38*s + 80. Let y be a(-40). Is 34 a factor of n(y)?
True
Let i(h) = 398*h**2 + 5*h - 6. Let z be i(1). Suppose 3*k = 2*v - 6*v + z, 3*v = 3*k + 303. Does 10 divide v?
True
Let u = 53 + -51. Suppose 0*f - u*f = 8. Does 4 divide (2 + -39)*(f + 3)?
False
Suppose -21*g + 25*g = -2*z + 10856, -3*g + 9 = 0. Does 56 divide z?
False
Let z(n) = 8 + 3*n - 186*n**2 + 3*n + 191*n**2. Let a be z(6). Suppose 0 = -7*l + 3*l + a. Is l a multiple of 7?
True
Suppose 443861 = 24*c + 9*c - 346522. Is 87 a factor of c?
False
Suppose 29*k + 1685775 = 86*k. Is k a multiple of 169?
True
Let o(t) = -6*t**2 - 15*t + 89. Let a be o(-14). Let w = a - -1675. Does 19 divide w?
True
Let w be -1*((-4)/(-4) + -877). Let s = -586 + w. Suppose -2*r = 2*j - s, 4*j = -0*r + r + 580. Is 29 a factor of j?
True
Let h = 166191 + -106113. Does 10 divide h?
False
Suppose 10 = -2*v, 3*k - 2*v - 54 = 136. Let x = 51 - k. Let n(j) = -10*j - 26. Is 46 a factor of n(x)?
False
Does 38 divide -25274*1/(-5) + 16/180*-9?
True
Suppose -83*x = 19*x + 19*x - 154396. Is x a multiple of 11?
True
Suppose 25*k + 15 = 28*k. Suppose 0 = k*d - 5, -3*z - d + 0*d + 1576 = 0. Is 15 a factor of z?
True
Suppose 0 = -3*y + 9, 5*f - 4*y + 25 = -72. Let n = f + 197. Is n a multiple of 9?
True
Let q = 6276 - 2594. Does 4 divide q?
False
Let m = -21 - -23. Suppose 0 = 2*c - 2*s - 326, c = -2*c + m*s + 494. Is c a multiple of 21?
True
Suppose 2*d - 10 = 3*o, o - 58 = -2*d - 48. Suppose -52*k + 57*k - 1430 = o. Is k a multiple of 11?
True
Let b(i) = 31*i**2 + 43*i - 12. Let v(s) = -29*s**2 - 43*s + 11. Let d(q) = -5*b(q) - 6*v(q). Is 12 a factor of d(6)?
True
Let r = 51610 + -34692. Is r a multiple of 93?
False
Let i = 316 + 172. Let p be 16/40 + 372/20. Suppose i = p*g - 15*g. Does 9 divide g?
False
Suppose 0 = 7*o - 624 - 258. Is (o/(-10))/(3245/325 - 10) a multiple of 63?
True
Suppose 0 = -3*k - 2*b - 234, -3*k - 7*b + 12*b = 213. Let h be (-1 + 7)*18/(-1). Let g = k - h. Does 6 divide g?
False
Suppose 0 = 4*m - 253 - 139. Suppose 3*q - 2*c = 295, -c + 0*c - m = -q. Suppose 3*k - q = 9. Is 18 a factor of k?
True
Let q(l) = 2*l**3 + 2*l + 120. Let r = 167 - 167. Is q(r) a multiple of 3?
True
Suppose 5*b = 0, -3*b + 2*b = 3*v - 162. Suppose 19 = -2*m - 1. Let t = v + m. Does 22 divide t?
True
Let d = 6290 - 5852. Is d a multiple of 6?
True
Let x be (-3)/((-18)/(-4))*3. Suppose -5770 = 6*t + 320. Is x/8 - t/28 a multiple of 12?
True
Let g(p) = 4*p**2 - 15*p + 319. Does 16 divide g(-35)?
True
Let f = 67611 - 29303. Is 16 a factor of f/38 + (-40)/380?
True
Let k(v) = v**3 - 13*v**2 + 17*v - 14. Suppose -6*f + 8*f - 24 = 0. Does 2 divide k(f)?
True
Suppose 5*k - 13 = 7. Let l(h) = 58*h - 4. Let r be l(4). Suppose k*p - r = 312. Does 15 divide p?
True
Let f(g) = 216*g + 5. Let c be f(1). Let m(h) = 71*h**2 - 3*h - 2. Let v be m(3). Suppose 4*o = 3*s + v, -2*o - 3*s + c = -75. Is o a multiple of 14?
True
Let u(x) = 4*x**2 - 14*x + 12. Let l be u(5). Let b = l + 11. Is b a multiple of 19?
False
Let j(v) = 390*v**2 - 36*v + 2. Is 16 a factor of j(2)?
False
Let c(j) = 634*j + 14898. Is c(0) a multiple of 129?
False
Let k = 610 + -205. Let m = -5 + k. Is 13 a factor of m?
False
Suppose 5*d = -6*l + 8*l - 1752, -2*d - 5*l - 724 = 0. Suppose 0 = -t + 2 + 3. Is (d/(-55))/(1/t) a multiple of 16?
True
Let d = 2 - -3. Suppose -d*n + 3*n + 46 = 0. Suppose 0 = -24*v + n*v + 20. Is v a multiple of 4?
True
Let j = -140 + 144. Is 3288/32 + 1/j a multiple of 8?
False
Let a(m) be the second derivative of -m**5/20 - m**4/12 - m**3/2 + m**2/2 + m + 108. Suppose -5*g + 20 = -5*d, 4*g - 2 = 2*g. Is 14 a factor of a(d)?
True
Suppose -3*k - 17769 = -r, 0 = 4*r - 3*r + 4*k - 17804. Is 39 a factor of r?
True
Suppose -5*x + x + 16 = 0. Suppose x*f - 12 = -5*g + 2*g, 6 = 2*f - 2*g. Does 3 divide (-15 + 17)*f/2?
True
Let h(u) = 785*u + 57. Does 3 divide h(1)?
False
Suppose -533 - 352 = 5*s. Is 9 a factor of 4/(-26) - 138/78*s?
False
Suppose 406*t = 402*t + 5824. Is t a multiple of 28?
True
Let g be 2/(-11) - 394/11. Let i = 41 + g. Suppose 3*r + r = -20, -493 = -3*q + i*r. Is 26 a factor of q?
True
Let m(o) = -48*o**2 + 8*o - 21. Let y(x) = -24*x**2 + 3*x - 11. Let t(a) = 4*m(a) - 9*y(a). Does 40 divide t(-5)?
False
Let v(f) = 3*f**2 + 7. Let l be v(-5). Let k = 4425 + -4479. Let y = l + k. Does 8 divide y?
False
Suppose -8*o + 56 = 16. Let q be (14/o)/2 - (-4)/(-10). Let w(l) = 46*l**3 - l + 1. Is w(q) a multiple of 12?
False
Let u = -42680 - -78680. Is u a multiple of 12?
True
Suppose 19*d = 31 + 45. Is 6 a factor of (d + 143/(-22))/(1/(-12))?
True
Suppose -4*j - 225 = 407. Let t(p) = -22*p + 1. Let v be t(4). Let x = v - j. Is 44 a factor of x?
False
Suppose -557279 = -29*g + 226417. Is 12 a factor of g?
True
Suppose 5*x - 22633 = -2*r, 17*x - 19*x = 4*r - 9066. Does 28 divide x?
False
Let c be 0*(2 - 0)/(-2). Let k = 356 + -354. Suppose 0 = -c*q - k*q + 18. Does 9 divide q?
True
Let i(c) = 93*c**2 + c - 1. Let a be i(1). Suppose 3*d - 466 = -2*x, 5*d - 3*x = -6*x + 776. Let v = d - a. Does 14 divide v?
False
Suppose -44*g + 349 = -355. Suppose -3*r + 5*a - 4*a = -418, -4*a = g. Is r a multiple of 69?
True
Let c(f) = 2*f**3 + 24*f**2 + 2*f + 27. Let r be c(-12). Suppose 5*j = -r*j + 3552. Is j a multiple of 42?
False
Let o(b) be the third derivative of -b**5/30 - 5*b**4/12 + 23*b**3/3 - 13*b**2. Let c(p) be the first derivative of o(p). Is 7 a factor of c(-20)?
True
Suppose -253*y = -256*y + 6, -2*t - y + 12850 = 0. Is t a multiple of 73?
True
Let k be (-7)/14*((-