*l + 5*h. Suppose 0 = 4*d - l*t - 947 + 287, 4*t = -d + 145. Is d a multiple of 23?
True
Let u = 69 - 65. Suppose 2*m = -4*q + 16, 4*q - u = m + 3*m. Suppose n = -m*f + 5*f - 35, 2*n = -5*f + 73. Is 2 a factor of f?
False
Suppose k + 2 = -4*a, 13*k - 9*k = 4*a - 8. Let d be ((-57)/9)/((-2)/6). Suppose -6*g + 23 + d = a. Is g a multiple of 2?
False
Let p(h) = 4*h**2 - 13*h - 1. Let w be p(10). Suppose 4*z = -5*k + 1067, z + 5*k - 3*k - w = 0. Is z a multiple of 11?
False
Let g = 22285 - 18249. Does 63 divide g?
False
Suppose 0 - 4 = 4*f, 3*f = 4*k - 19. Suppose -5*x = s + 2*s - 6, k*x - 6 = -2*s. Let h(r) = 2*r**3 - r**2 - 2*r + 4. Does 17 divide h(x)?
False
Suppose -i + 958 = 4*p, -4*p = -6*i + i + 4790. Suppose 0 = 18*h - i + 274. Is 11 a factor of h?
False
Let y be 4 + (-2 + (5 - 0) - -5). Suppose 0 = -5*q - 2*g + 467, -3*g = -0*g + y. Is 7 a factor of q?
False
Let p(v) = v**3 + 49*v**2 + 88*v + 220. Is 60 a factor of p(-46)?
True
Suppose -9 = -2*k + 5*k + 3*h, 9 = 2*k - 3*h. Suppose -3*t + 4*p + 740 = 0, k = -2*t - t + p + 734. Is 25 a factor of t?
False
Suppose -2*s + 15638 = 4*o, -2*s - 3*o + 19470 = 3832. Does 38 divide s?
False
Is 340 a factor of 156/(-16) + (-33)/(-44) + 10549?
True
Let n = 1824 + -1260. Let b = n + -184. Does 20 divide b?
True
Let a(v) = -9*v - 5*v + v**2 + 10*v + 4. Is a(-16) a multiple of 36?
True
Suppose 23*w = 22*w + 117. Let l = w + -117. Suppose -10*v + 60 = -l*v. Is 6 a factor of v?
True
Suppose 286 = -6*z + 46. Let a = 56 + z. Is 8 a factor of a?
True
Suppose h = 336*b - 341*b + 14082, -b + 70602 = 5*h. Does 30 divide h?
False
Suppose 1379 + 1305 = 4*b. Is b a multiple of 61?
True
Suppose 3*h + 81 = 69. Let o(j) = -32*j - 2. Does 9 divide o(h)?
True
Let h(y) = 39 + 111*y + 73*y - 45 + 202*y + 70*y. Is h(3) a multiple of 14?
False
Let g(n) = 2*n**3 - 12*n**2 + 35*n - 1701. Is g(24) a multiple of 53?
True
Let r be -5*2*(-1)/2. Let o(c) = -c**3 + 7*c**2 - 13*c + 29. Does 14 divide o(r)?
True
Suppose 71*o + 760 = 66*o. Let h = o + 333. Does 10 divide h?
False
Suppose 2*q = -2*q + 60. Suppose 2*g - 4 = 5*h - 14, 3*g - q = 0. Suppose 0 = -4*z + 24 + h. Does 5 divide z?
False
Let y be ((-304768)/(-44))/8 - 2/(-11). Let z = y - 1214. Does 35 divide (z/(-9))/((-3)/(-18)) + 0?
False
Let q be 37667 + (-7 + 3 - 2). Is q/195 - 5/(225/6) a multiple of 15?
False
Let j(t) = -5012*t - 576. Does 18 divide j(-4)?
False
Suppose -295*r - 35 = -302*r. Is ((-6)/2)/(r/(-1215)) a multiple of 81?
True
Let t be (14 + -1 + -8)/1. Suppose 4*b + 8 = 0, 2884 = t*j - 0*b - 2*b. Does 22 divide j?
False
Let m(f) = -2*f**3 + 3*f**2 - 5*f + 4. Suppose 5*o + 4*y - 30 = 0, -5*o + 5 = -2*y + y. Let w be m(o). Let g = w + 23. Is g a multiple of 5?
False
Suppose 0 = 4*c + 2*c. Suppose -b = c, -8 = -0*w - 4*w - 2*b. Suppose -3*n - z = -116, w*n = 4*z - z + 81. Does 13 divide n?
True
Let l(q) = 16*q**2 + 159*q - 598. Is l(-46) a multiple of 138?
True
Suppose -145529 = -4*k - 2*u - 4155, 2*k - 70681 = 5*u. Is k a multiple of 27?
True
Let i = 12715 - 9775. Is i a multiple of 14?
True
Suppose -10*u + 3953 + 267 = 0. Let i = u - -414. Does 38 divide i?
True
Let c be 1/(2*(-4)/(-32)). Suppose -3*i - 10 = -c*r + 6, -2*r - 5*i = -8. Suppose r + 2 = a. Is a a multiple of 2?
True
Let k(c) = -6*c + 9. Suppose -2*j - 2 + 8 = 0. Suppose -s - s - 56 = -4*f, -44 = j*s + 2*f. Is k(s) a multiple of 18?
False
Let t = -557 - -565. Suppose -17*d + 2850 = t*d. Does 19 divide d?
True
Does 16 divide 416/(-624) + (-1)/3*-299?
False
Let d = -90 - -170. Let g = d - 89. Is 18 + (-3)/(g/(-12)) a multiple of 9?
False
Let k(c) = c**3 - 20*c**2 + 4*c - 48. Let h be k(20). Suppose -4*b + 8*b - h = 0. Suppose -2*a = -b, -2*d - a = -0*d - 58. Is 9 a factor of d?
True
Suppose 0 = -4*r + 8, r - 8830 = -24*m + 22*m. Does 20 divide m?
False
Let x be (125 - -2) + -7 + 5. Let u be (0 + 6/5)/(25/x). Let f = 126 + u. Is 11 a factor of f?
True
Does 15 divide (-48850)/15*(-360)/80?
True
Let k(m) be the first derivative of 44*m**3/3 + m**2 - m - 9. Suppose -3 = -4*j + 1. Is k(j) a multiple of 9?
True
Let q(x) = -58*x + 3. Let i(t) = -175*t + 10. Let b(j) = -6*i(j) + 17*q(j). Let k(f) = 21*f - 3. Let r(p) = 4*b(p) - 11*k(p). Does 12 divide r(2)?
False
Suppose 0 = 102*x - 104*x + 4. Suppose -x*b = -30 + 22. Suppose -t = 5*j - 27 + 7, j = -b. Is t a multiple of 8?
True
Let w(g) = g**3 - 7*g**2 - 19*g + 13. Let b be w(9). Suppose 0 = o - b*x - 192, -2*o + 516 = -x + 104. Does 73 divide o?
False
Suppose -b + 4*x - 42 = 0, -2*x - 96 = 5*b + 4. Suppose -j - 8*r + 42 = -7*r, -j + 30 = 4*r. Let y = j - b. Is y a multiple of 7?
False
Is 10 - (10 + -48376 - (0 + -7)) a multiple of 141?
False
Let t(r) = 14*r**2 + r - 9. Suppose 43*z - 6 = 46*z. Let b be (z/1)/(((-80)/15)/(-8)). Is t(b) a multiple of 15?
False
Let s be (-3 - -1) + (-39 - -29). Is 3/s - ((-6534)/24 + -3) a multiple of 38?
False
Let v(t) be the third derivative of 13*t**4/24 - 5*t**3/6 + 4*t**2 - 5. Is 30 a factor of v(5)?
True
Suppose 0 = -5*g, -2*f + 16*g + 2250 = 17*g. Suppose 19*n = 28*n - f. Does 46 divide n?
False
Let k(i) = 204*i**2 - 123*i + 88. Does 28 divide k(-12)?
True
Does 22 divide ((-522)/(-63))/((-31)/(-4774))?
True
Suppose -6*w + 5*w + 5 = 0. Suppose 2*a + w*h = 2 - 15, 1 = a + 4*h. Let v = a - -82. Is v a multiple of 16?
False
Let c(r) = 3*r**3 + 51*r**2 - 24*r - 76. Is 15 a factor of c(-11)?
False
Let h be 11 + 33/(-3) + 315/(-1). Let i = 714 + h. Is i a multiple of 21?
True
Suppose 3*y = -2*t - 2*y - 547, -5*y = 25. Let d = t + 303. Is d a multiple of 13?
False
Let k be (-1)/3 + (-345)/(-9). Let f = 42 - k. Suppose f*s = 3*z + 5, 5*s - 50 = -5*z - 0*z. Is 2 a factor of s?
False
Suppose c + 4*f = -1 + 23, 2*f = -5*c + 38. Let j(g) = 10*g**3 - 4*g**3 + c + 10*g**2 + 17*g - 7*g**3. Is j(9) a multiple of 48?
True
Suppose 2 = 4*h - 3*x - 3, -15 = 2*h - 5*x. Let f be (1 - (5 + -4))/1. Suppose -2*l + 4*d = -29 + 1, f = -h*l + 2*d + 102. Is l a multiple of 11?
True
Suppose -4*w = 39*w - 258. Suppose -w*y = -19461 + 7107. Is 29 a factor of y?
True
Suppose 0 = -y + 17 - 1. Suppose y*o = 6*o + 2140. Suppose 0 = -4*w - 2*d + o, -7*d + 25 = -2*d. Does 7 divide w?
False
Let l = 186 - 273. Let k = -33 - l. Does 13 divide k?
False
Let u(x) = 89*x + 10. Let i be u(2). Let g = i - -44. Let p = g - 161. Is 14 a factor of p?
False
Suppose 23 + 33 = -7*m. Let t = 8 + m. Suppose 5*c - 3*j - 242 - 66 = t, -c = -3*j - 52. Is 7 a factor of c?
False
Suppose -5*p + 131326 = -7*k, -4*p + 83*k - 86*k = -105121. Is 29 a factor of p?
False
Suppose 43*j - 199669 = 21093. Does 63 divide j?
False
Suppose -276*a + 267*a - 3843 = 0. Let r = -291 - a. Is 3 a factor of r?
False
Let b(x) = 2*x**2 + 146*x + 325. Let h be b(-71). Let d be 84 + 0 + -3 + 1. Suppose -w - 2*y = -h, -2*w = -y - 25 - d. Is w a multiple of 16?
False
Let g(s) = 83*s**3 + 3*s**2 + 9*s - 15. Is 40 a factor of g(5)?
True
Let v be (-3)/(-12)*-1*(-13 - -1). Suppose 0 = -u + v*g + 502, -5*u = -8*g + 4*g - 2554. Is u a multiple of 78?
False
Let d(h) = -h - 569. Let l be d(0). Does 51 divide -7*(-1 + 2) - l?
False
Let i = -652 - -654. Suppose 4*h = -f + 3747, -12*f = i*h - 7*f - 1887. Is h a multiple of 39?
True
Let g be 2/(-8) - (-137)/4. Suppose g + 42 = 4*w. Let c(v) = -v**3 + 20*v**2 - 19*v + 21. Does 7 divide c(w)?
True
Let r(y) = -60*y + 2. Let g be r(-2). Suppose g = h - 96. Is h a multiple of 40?
False
Suppose -2*l - 25*g + 14480 = -20*g, -2*l + 5*g + 14480 = 0. Is l a multiple of 5?
True
Let i(b) = -952*b + 56. Does 168 divide i(-13)?
True
Let r be (1 + 12/(-15))*(5 - 5). Is (-797 + r)*(26 - 27) a multiple of 57?
False
Let y = -34 + 66. Suppose -8 = y*g - 24*g. Let h(m) = -28*m + 4. Does 16 divide h(g)?
True
Let z be (2/(-4))/((-7)/(-42))*-1. Suppose 15 = 6*q + z. Suppose -j + 9 = -q*l + 2, -5*l = 2*j - 14. Is j even?
False
Let y(c) = 451*c**2 + 460*c + 1863. Is 6 a factor of y(-4)?
False
Let t(x) = 2*x - 6. Let s be t(4). Suppose c = -s*c + 9. Suppose c*a = -0*j + j + 98, 68 = 2*a + 2*j. Does 11 divide a?
True
Suppose f - 49418 = -3*i, -5*i + 34311 = -4*f - 48075. Suppose 37*t - i + 5226 = 0. Is 24 a factor of t?
False
Does 41 divide 38110/(-309)*((-208)/10 - 2)?
False
Let q be 1089/(-11)*1/3. Let f(y) = y**3 + 34*y**2 + 3*y - 150. Is 70 a factor of f(q)?
True
Let k be -2*(-2 - (3 