 3637. Is s a multiple of 69?
False
Suppose 4*p - 13020 = 4*o, 18*p = 23*p + o - 16293. Is 18 a factor of p?
True
Let h = -2664 + 3522. Does 13 divide h?
True
Suppose 3*i - 35 = -4*i. Suppose 2*q = -2*s - 2, -2*q = -s + 6*s + i. Suppose 290 = r + 4*l, -5*r = -q*l + 4*l - 1466. Is 14 a factor of r?
True
Suppose 0 = 2*t + 5*v - 9491, 2*t - 7541 = 2*v + 1929. Is t a multiple of 23?
True
Suppose 0 = -14*b + 110*i - 105*i + 66941, 2*b - 5*i = 9533. Does 23 divide b?
True
Let b(k) = -7*k - 14. Let p be b(-4). Is p/35 + (-3756)/(-10) a multiple of 58?
False
Let c = 33532 - 28254. Is c a multiple of 29?
True
Let r(v) = 5*v**3 + 19*v**2 + 51*v + 5. Does 80 divide r(21)?
True
Let b(k) = -k**3 - 7*k**2 - 9*k + 8. Let r be b(-5). Suppose o - 677 = -r*d + 489, 0 = -o - 4. Is d a multiple of 30?
True
Is 2611*558/217 - (-7)/1 a multiple of 13?
True
Let t(v) = -18*v + 2. Suppose 3*b + 3 = -0*b. Let d be t(b). Suppose -24 - d = -4*a. Is 9 a factor of a?
False
Let c(v) = -2*v**3 - 82*v**2 - 46*v + 244. Does 39 divide c(-44)?
True
Let q be -1 + (-892)/(-12) + 2/(-6). Let b = 66 + q. Let r = 199 - b. Is 30 a factor of r?
True
Let x = 35242 + -24010. Does 39 divide x?
True
Let u(z) = 12 - 2*z**2 + 7*z**2 + z**3 + 7*z + 3*z**2 - 2. Suppose 14*v + 6*v + 120 = 0. Is 10 a factor of u(v)?
True
Let s = -54099 + 82512. Is 11 a factor of s?
True
Suppose -2*h - 2*n - 30 = 0, -4*h + 4*n - 30 = -3*h. Is 12 a factor of h/(-5 + 127*(-4)/(-104))?
True
Suppose -3*a + 2*l = -69370, 10*a = 14*a - l - 92485. Is 272 a factor of a?
True
Let l be (232/(-20))/((-2)/(-10)). Let i = l + 49. Is 13 a factor of 7 + -7 + (-3)/(i/285)?
False
Let w(r) = 23*r - 9. Let o be w(7). Let g = -426 - -718. Let c = g - o. Does 28 divide c?
True
Suppose 3*h = 5*p - h + 414, -p - 2*h = 94. Suppose m - 126 - 44 = -k, -5*m = -3*k - 834. Let a = p + m. Does 13 divide a?
False
Let a(x) = -29*x - 52. Let t be a(-6). Let p = t + -104. Does 10 divide 82*6/p - 1/3?
False
Let f(s) = 7*s**2 - 2*s - s**2 + 5*s**2 - 4 - 5*s**2. Let y be (-24)/(-16)*(-4)/3. Does 12 divide f(y)?
True
Let n be -104 + 312/(-192) + 3/(-8). Let a = 436 + n. Is 10 a factor of a?
True
Let o(i) = -i**3 + 2*i**2 - 5*i + 8594. Does 18 divide o(0)?
False
Suppose -2*v = -2*j + 2514, 32*v = 2*j + 36*v - 2520. Let x = j + -860. Is x a multiple of 7?
False
Suppose u + 5*r = 6729, -5*u + 2*r = -22775 - 10924. Is u a multiple of 47?
False
Suppose 21*j = -2547 - 183. Let n = j - -570. Is 40 a factor of n?
True
Suppose -4*s + 18 = -3*n - 22, s + 5*n + 13 = 0. Suppose 0 = -6*a + s*a - 1. Is 18 a factor of 5/(25/20) + 194*a?
True
Let o = 10 + -32. Let y = o - -42. Does 6 divide (12/(-9))/(y/(-270))?
True
Let u(w) = 19*w**2 - 41*w - 23. Does 13 divide u(-21)?
True
Suppose 0 = -7*m - 8*m - 13829 + 73814. Is m a multiple of 43?
True
Let k be 2/((-8)/(-252 - 4)). Suppose r = -4*r + 35. Suppose r*h = 5*h + k. Is 32 a factor of h?
True
Suppose 16529 - 57573 = -3*h + 4*q, 0 = -h + 2*q + 13678. Is 129 a factor of h?
False
Let z(r) be the third derivative of r**5/60 - r**4/6 - 13*r**3/6 + r**2 + 16. Is z(-7) a multiple of 16?
True
Suppose -4*y + 5064 = 3*r, -7*y = r - 4*y - 1703. Is 16 a factor of r?
False
Let h(y) = -2*y**2 + 7*y + 4. Let x be h(4). Let v(b) = -b**3 - b**2 + 2*b - 103. Let z be v(x). Let g = -63 - z. Is 10 a factor of g?
True
Suppose -3*t + 5 = 4*c - 1, 2*c - 6 = -2*t. Does 19 divide 7 + 660/t - (-2 + 5)?
True
Let u(t) = 458*t - 1065. Is 33 a factor of u(6)?
True
Suppose 34*u + 3916 = 45*u. Let b = u - 82. Is 39 a factor of b?
False
Suppose -4*y - 19808 = -2*o - 2*o, 0 = y + 2. Suppose 21*r = 10*r + o. Is r a multiple of 9?
True
Let d = -192 + 734. Let t = -418 + d. Is 31 a factor of t?
True
Let x(s) = -2*s**3 - 4*s - 10. Let w be x(-6). Let u = w - 166. Suppose u = 4*f + o, 5*f = -4*o + 147 + 203. Is f a multiple of 5?
True
Suppose -1701 = -3*b + 4440. Suppose 4*n = -4*u + 2446 - 390, 4*n = 5*u + b. Does 37 divide n?
False
Suppose 5*l + 19 = -91. Let t = 89 + l. Let a = -57 + t. Does 5 divide a?
True
Let g(h) = -2*h**3 + 5*h**2 - 3*h + 29. Let r be (0 - -4)*28/16. Let x(m) = -5*m**3 + 9*m**2 - 5*m + 57. Let a(w) = r*g(w) - 3*x(w). Is a(-9) a multiple of 5?
True
Suppose z = 5*b + 19, -z - 4*z + 3*b = -29. Suppose z*k - 708 = -4*o, -43 = -5*o + 4*k + 824. Does 5 divide o?
True
Suppose 16*d = 14949 + 6699. Suppose 5*n = -2*p + d, 5*p - 2046 = 4*n + 1386. Does 36 divide p?
True
Let h be (-14)/(210/75) - -2. Suppose -m - 115 = -3*m + 3*k, m = 5*k + 75. Let r = h + m. Is 5 a factor of r?
False
Let v be (30/(-45))/(1/24). Does 43 divide 738 - 8/v*-14?
True
Suppose -204*x + 1670759 = -749293. Is x a multiple of 71?
False
Is 35 a factor of (-160)/720 - 492189/(-27)?
False
Let d(k) = 2*k**2 + 2*k - 8. Let m(g) = g**2 - g + 1. Let j(h) = 2*d(h) + 4*m(h). Let n be j(-4). Suppose 5*t + 6 = n. Is t a multiple of 21?
False
Let k(l) be the second derivative of -33*l + 0 + 1/2*l**3 + 3/2*l**2. Is 16 a factor of k(9)?
False
Let o be (-9)/(-24) - (2 - 11105/40). Suppose 3*a - 2*n - 539 = o, -4*a + n = -1085. Does 5 divide a?
False
Suppose 15*w = 20*w - 1400. Suppose -10*i + 450 = -13*i. Let v = w + i. Is v a multiple of 10?
True
Suppose -19*m = -16*m - 822. Let o = 764 - m. Let i = o + -327. Is i a multiple of 13?
False
Is 22 a factor of (-43)/(-15) + -3 + (-3748942)/(-1065)?
True
Suppose 25027 = 5*k + 3*s, 5*s = -5*k + 13750 + 11275. Does 95 divide k?
False
Let z be 4 + (-5 - 0) + -5. Is 12 a factor of (3*(-24)/27)/(z/324)?
True
Is 104 a factor of ((-10)/(-60))/(1/5277)*(12 - 6)?
False
Suppose 46 = 5*q + 16. Suppose -4*x + 4*x = q*x. Suppose -4*w + 3 + 1 = 4*c, x = -w - 5*c - 15. Does 5 divide w?
True
Suppose 100*o - 23902 = 62*o. Does 20 divide o?
False
Let g(k) = -2*k**3 - 142*k**2 - 39*k + 90. Is g(-71) a multiple of 8?
False
Suppose 37*j - 3*t + 72700 = 41*j, 2*j = -4*t + 36350. Is j a multiple of 87?
False
Let g(h) = -2 + 29*h + 3*h**2 + 5 - 25*h - 6. Let d be (3/(9/(-10)))/(4/6). Is g(d) a multiple of 26?
True
Suppose 2*i - 2*f = 2*f, 0 = 3*i - 3*f - 3. Let r(c) = 108*c - 538. Let p be r(5). Suppose -5*o + 6*o - i*s = 15, 70 = 4*o + p*s. Is o a multiple of 2?
False
Let w be (7 - (9 - 5)) + (0 - 1). Suppose 4*l + 30 = 2*j - 8, w*l - 5*j = -31. Does 3 divide 2*(-2 + (-124)/l + -2)?
False
Let m(p) = -110*p - 48. Let a be m(-3). Let h = -98 + a. Is h a multiple of 7?
False
Does 26 divide (1 + 139 + 0)/(-19*(-36)/4446)?
True
Let d = -68 + 111. Let y = -84 + d. Let x = y + 73. Is 8 a factor of x?
True
Let j = -64 + 63. Let i be (14 - (-4 + 1))/j. Does 5 divide i/(-2 - (4 + -5))?
False
Let n = -74 + 76. Suppose 0 = -8*x + 3*x - 4*o + 13, -4*x - n = -3*o. Does 15 divide (3/x)/((-15)/(-375))?
True
Suppose -40*d + 2*g = -38*d - 37530, d - 18753 = 5*g. Is d a multiple of 136?
True
Suppose -8*i - 19260 = -18*i. Suppose i = -16*z + 35894. Does 63 divide z?
False
Is (-40)/25 - 7753400/(-250) a multiple of 38?
False
Let z be 2/2*(-9)/9. Let n(r) be the first derivative of -17*r**4/4 - 5*r**2/2 - 5*r - 88. Is n(z) a multiple of 17?
True
Let c(j) = j**2 - 11*j + 59. Let n be (27/18)/(12/80). Is 7 a factor of c(n)?
True
Let g = -165 + 45. Suppose 2*y + 2*t + 402 = 0, 4*y - 4*t + 810 = -2*t. Let v = g - y. Is 19 a factor of v?
False
Suppose -k - 44 + 46 = 0. Suppose -352 = -5*t + 3*t + 2*o, -173 = -t - k*o. Does 5 divide t?
True
Let j be -4*(-2 - (-295)/20). Let a = 331 + j. Does 10 divide a?
True
Let r(n) = 3*n + 25. Let y be 13/((-78)/(-36))*2/(-6). Let o(l) = -l - 12. Let t(k) = y*r(k) - 5*o(k). Is t(7) a multiple of 3?
True
Let h = -171 - -1365. Is 10 a factor of h?
False
Suppose -31*l + 102*l + 92*l = 4926838. Is l a multiple of 127?
True
Suppose -8*f + 4 = -4. Is 232/6*(f - -8) a multiple of 37?
False
Is 28 a factor of ((-8205)/6)/((-13)/104)?
False
Let x(d) = 3*d**3 + 9*d**2 + 26*d + 83. Is 10 a factor of x(13)?
False
Suppose -2*o - 17784 = -6*o - t, 22237 = 5*o + 3*t. Is 159 a factor of o?
False
Suppose 1 = -4*i - 11, -2*k + 11 = 3*i. Let d = -941 - -1690. Suppose d = -k*n + 2929. Does 25 divide n?
False
Suppose -55 = -2*t - 59, 5*s - 945 = 5*t. Suppose -1691 - s = -6*g. Is 20 a factor of g?
False
Suppose 17*g - 25328 = 253795 + 12512. Does 73 divide g?
True
Suppose -76*p + 34984810 = 519*p. Does 62 divide p?
False
Suppose 2*l + 2*l - 8 = 0. Suppose -3*f - 5*h =