59. Let g = -26 + l. Let b = 72 - g. Does 4 divide b?
False
Let o(s) = -5*s**3 + 6*s**3 + 4*s - 12 + 2*s - 3*s**2. Let l be o(6). Let c = 208 - l. Does 19 divide c?
True
Suppose -23*b = 18*b. Suppose b = -14*u + 33*u - 1634. Is 2 a factor of u?
True
Suppose 123 - 21 = 6*k. Let y = 296 - k. Is 9 a factor of y?
True
Suppose -191*m = -177*m - 23814. Is 21 a factor of m?
True
Suppose -28*h + 320801 = -230855. Is h a multiple of 9?
False
Let d = -4968 + 5433. Is d a multiple of 155?
True
Let o be 4/4*-1*-5. Let a be -7*(-2)/2 - o. Suppose -a*f = -263 - 23. Is f a multiple of 13?
True
Let p(q) = 272*q + 12788. Is 42 a factor of p(53)?
False
Let l(r) be the third derivative of -r**4/24 + 5*r**3/6 + 19*r**2. Let i be l(5). Suppose i = -5*t + 5*y + 615, -y + 258 = 2*t + y. Does 18 divide t?
True
Suppose 169*c - 174*c - q + 18432 = 0, 0 = -5*c + 4*q + 18422. Is c a multiple of 11?
False
Let v(t) = -420*t + 1793. Does 23 divide v(-4)?
True
Suppose -15957 = -4*v - 3*q, 2*v + 4*q + 15964 = 6*v. Does 21 divide v?
True
Is 4243*(-10)/(-110)*11 a multiple of 54?
False
Suppose -18*h + 42547 = 16411. Does 12 divide 3 + 48/(-15) + h/60?
True
Suppose 23*k - 39869 - 17582 - 7823 = 0. Does 22 divide k?
True
Suppose 5*u - 6055 - 71336 = -t, 2*t = 5*u + 154662. Is 11 a factor of t?
False
Suppose -1114195 = 134*h - 1514723 - 3127692. Is 11 a factor of h?
False
Suppose -3*x = 4*t - 1944, 0 = 236*t - 238*t + 4*x + 950. Does 9 divide t?
False
Suppose 83*r + 480326 = 183*r - 78*r. Is r a multiple of 124?
False
Let h be -5 - -4 - -22 - 1*3. Let k be 1 - ((-22)/(-18) + h/(-81)). Does 5 divide k - (-3 + -9 + -3)?
True
Does 33 divide (-2)/(5/(-10)*16/3988)?
False
Let j(c) = 3*c - 10. Let n be j(4). Let k(f) = f + 1. Let s be k(n). Suppose 3*z = 4*d - 768, d - s*z = -28 + 211. Does 39 divide d?
True
Suppose 2712 = -12*c + 3535 + 5369. Does 2 divide c?
True
Suppose -18*j + 320 = -2*j. Let t(z) = -z**2 + 29*z - 6. Let l be t(j). Is -10*(l/(-12))/((-5)/(-4)) a multiple of 58?
True
Let p = 4697 + -2376. Is p a multiple of 39?
False
Suppose -5*u + t + 132 = -55, 2*t = 2*u - 78. Let c = 136 - u. Let n = c + 186. Is 19 a factor of n?
True
Suppose -169*v = -148*v - 171780. Does 36 divide v?
False
Let j = -12228 + 19704. Is 89 a factor of j?
True
Let f(v) = 110*v - 2047. Is 3 a factor of f(61)?
False
Is 125 a factor of 275/(-15)*(-101775)/59?
True
Let p be (-48)/40 + (-12)/15 - 99. Let w = -35 - p. Is 33 a factor of w?
True
Suppose 0 = 3*g + s - 77525, 516*g = 512*g - 5*s + 103396. Is 29 a factor of g?
True
Let d = 16510 - 10280. Is 6 a factor of d?
False
Suppose i + o = 3*o + 2510, 3*i - 5*o - 7535 = 0. Is i a multiple of 30?
True
Let n(r) = r**2 - r - 6. Let l = -271 - -247. Is n(l) a multiple of 37?
False
Let v = 858 + 52. Is v a multiple of 5?
True
Suppose 0*i = 11*i - 3773. Suppose -i = -6*a - 13. Is 2 a factor of a?
False
Let d = 384 - 382. Suppose -4*t + b = -1643, -15*t - 416 = -16*t + d*b. Is t a multiple of 53?
False
Suppose -54 = 9*x - 1170. Is x + (5 - (4 + 9)) a multiple of 17?
False
Suppose 3*i + 2*a + 11 = 0, -i + a - 2*a = 3. Let t(p) = 3*p**2 + 67*p + 26. Let b be t(-22). Let r = b - i. Does 9 divide r?
True
Suppose 4*j + n + n = 8, 4*j + 5*n - 8 = 0. Suppose -2*g - g - j*a + 12470 = 0, -a + 8314 = 2*g. Does 33 divide (2/(-4))/((-21)/g)?
True
Let q be -4 + 7 + -884 + 5. Let b = q + 1236. Does 18 divide b?
True
Suppose -3*j - 36989 = -4*b - 190315, 0 = -j - 2*b + 51092. Does 16 divide j?
False
Suppose 6*v = v + 405. Suppose t - v = -a, 5*t - 2*t - 2*a = 223. Is 16 a factor of t?
False
Suppose 43*t - 242171 - 131369 = 5*t. Is t a multiple of 5?
True
Let h(x) = x**3 + 9*x**2 + 3*x + 27. Suppose 16 = -5*c - 29. Let w be h(c). Suppose -2*p - 5*l + 100 = w, -18 = -2*p + 3*l + 50. Does 8 divide p?
True
Suppose 5*h - 1740 = 3305. Let l = h - 306. Does 19 divide l?
True
Does 33 divide (-10)/(-12) + (-6)/18 - 1602975/(-66)?
True
Let d be (-5256)/(-16)*(64 + 0). Suppose -165*n = -183*n + d. Is 73 a factor of n?
True
Suppose -153586 - 17803 = -266*n - 28015. Is n a multiple of 49?
True
Let a(g) = -69*g**3 - 4*g**2 - 21*g - 1. Does 13 divide a(-2)?
False
Suppose -74495 - 794347 = -79*g. Is g a multiple of 3?
True
Suppose -16 = 13*s - 5*s. Let c be s/(-6) - 10/45*186. Let d = c + 106. Is d a multiple of 6?
False
Suppose -b - 3*b + 16 = 0. Suppose -3*z + 2*y + 158 = 0, b*z = 13*y - 12*y + 219. Is 7 a factor of z?
True
Suppose -8*p + 3*p + 49135 = 5*q, 0 = 2*q + p - 19659. Is q a multiple of 106?
False
Suppose -122*p = -112*p - 2270. Suppose 10*i + p = 3017. Does 9 divide i?
True
Let v(w) = -58*w**2 - w. Let j be v(1). Let i = 111 - j. Suppose 5*n + m - 5*m = 458, 2*n = -5*m + i. Is n a multiple of 9?
True
Is 14 a factor of 52606 - -17 - (2 - (1 + 0 + -6))?
False
Is 6 a factor of 16 - 9/3 - -4054?
False
Let w(y) = y**2 - 26*y + 27. Does 6 divide w(26)?
False
Let w(b) = b + 30. Suppose 5*v + 3*l = -519, 5*v + l = -275 - 248. Let k = v - -130. Is w(k) a multiple of 14?
False
Let w(v) = v**2 + 11*v + 12. Let b be w(-4). Let a = 116 + b. Does 5 divide a?
True
Suppose -3*n - 1564 = -2*q, -604 - 2502 = -4*q - 5*n. Suppose 0 = 15*h - q - 1021. Is h a multiple of 5?
True
Suppose -8*c - c = 1071. Let g = -235 + 196. Let f = g - c. Does 9 divide f?
False
Let d(j) = j - 8. Suppose z - 13 + 2 = 0. Let v be d(z). Suppose -3*h = -v*b - 51 + 12, -3*h - 5*b = -79. Is 6 a factor of h?
True
Let x = 3452 + -3196. Is x a multiple of 16?
True
Let o = 49 + -46. Suppose o*c - 388 = -5*k + 1586, 796 = 2*k - 2*c. Is 18 a factor of k?
True
Let o(u) = 17*u - 97. Let s be o(6). Let v(x) = x**3 + 5*x**2 - 2*x - 40. Does 40 divide v(s)?
True
Does 36 divide ((-5)/(-40)*12)/((-7)/(-115584))?
True
Suppose 0 = 2*w - c - 2*c + 113, w + 43 = -3*c. Let s = w + 82. Suppose 49*a - 51*a + s = 0. Is a a multiple of 15?
True
Let m = -927 + 997. Suppose v - m = 131. Does 86 divide v?
False
Suppose -2*c - c = u - 93, -4*u + 5*c = -457. Suppose -t + 36 - u = 0. Is 13 a factor of 4/(284/t + 4)?
False
Let u be 1*-6 - (-78 - 608). Let p = -299 + u. Is 15 a factor of p?
False
Is 465267/66 - (-1)/(-2) a multiple of 19?
True
Let s(z) = 2*z**2 + z - 74. Let u be s(-14). Suppose -6*y + 8*y - u = 0. Is 38 a factor of y?
True
Let y(b) = 7*b**2 - b - 25. Is 13 a factor of y(-17)?
True
Let u = -9172 - -29900. Is u a multiple of 41?
False
Does 56 divide (-4423497)/(-91) + 90/(-105)?
False
Let l(b) = 16*b + 3. Let m be l(-3). Let n = m - -48. Suppose g - 6*q + 4*q = 123, -3*q = -n*g + 354. Is 12 a factor of g?
False
Let d = -152 - -361. Let f = d + -142. Does 4 divide f?
False
Suppose -97*j + 131552 + 76955 = 16835. Does 52 divide j?
True
Let x(p) = -p**3 - 33*p**2 + 37*p + 134. Let n be x(-34). Suppose 0 = n*t - t - 29853. Is t a multiple of 19?
False
Let n = 40267 - 27058. Is 51 a factor of n?
True
Suppose 4*c - 2*g = 22462, 31*g - 40*g = -c + 5607. Is 26 a factor of c?
True
Suppose 0 = -9*r + 34170 + 26346. Is 41 a factor of r?
True
Let v(q) = 117*q + 110. Let p be v(10). Suppose 4*m + 68 - p = 5*b, -2*b = 5*m - 1548. Is 28 a factor of m?
True
Let m = 1121 - 460. Suppose 10*f - 7*f = -2*s + 673, -2*s + f = -m. Does 12 divide s?
False
Suppose b - 2*b = 1. Let t(j) = -j**3 + 5*j**2 + 9*j - 20. Let a be t(6). Is b/(a*2) - 59/(-4) a multiple of 15?
True
Let h(w) = -2*w**3 + 9*w**2 + 9*w + 16. Let o be h(5). Suppose 3*z - o = 4*k, -z + 3 = -k - 9. Is z a multiple of 6?
True
Let a = 194 - 144. Let s = 116 - a. Is 4 a factor of s?
False
Let q = 16191 + -10031. Suppose 18*a = -4*a + q. Does 35 divide a?
True
Let c be ((-7)/(-2) - 3)*64. Let g be -6 - 188/(-32) - (-1347)/24. Suppose 2*y - c = g. Is y a multiple of 4?
True
Let y(m) = -2*m**2 - 35*m - 53. Let j be y(-16). Let t(s) = -175*s - 25. Does 11 divide t(j)?
False
Let p be 1 + (-32)/6 + 1/3. Let j(t) = t + 1. Let q be j(p). Is 64 - (q - -13)*8/20 a multiple of 8?
False
Suppose -533 = 2*k + 3*m, 10*k - 8*k = -4*m - 534. Let l = k - -358. Does 4 divide l?
False
Suppose -4*d + 5*n + 28747 = 0, 0 = 4*d - 6*d - 5*n + 14381. Is d a multiple of 96?
False
Suppose 2*g - 4*g - 248 + 4602 = 0. Is 17 a factor of g?
False
Suppose 3*v + 343 = 4*y - 159, -3*y - v = -370. Is 63 a factor of (2 + (y - 2))/((-16)/(-56))?
False
Suppose 2*q + 17060 = 5*l - 2*q, -3*l - 2*q + 10258 = 0. Is l a multiple of 28?
T