2*y = -2*j - 8, -s*y + 3*j + 5 = -7. Suppose y = -2*f + f + 64. Is 16 a factor of f?
True
Let h(v) = 17*v**2 + 104*v + 57. Does 79 divide h(-38)?
False
Let r(z) = 33*z + 79. Let l be r(-9). Let p = l - -303. Does 17 divide p?
True
Let q(w) be the second derivative of 43*w**3/6 + 13*w**2/2 + 20*w. Is q(2) a multiple of 4?
False
Let o(z) = z**2 + 126*z + 1064. Let r be o(-9). Suppose 2*l - 123 = -39. Suppose 0 = -p + l + r. Does 35 divide p?
False
Let r(l) be the second derivative of l**4/4 + l**3/3 - 21*l**2/2 - 14*l. Let a be r(12). Suppose -2*y + a = 175. Is y a multiple of 26?
True
Let r(w) = -w**3 - 16*w**2 - 15*w + 3. Suppose 0 = 12*j + 218 - 38. Let v be r(j). Let g = v - -230. Does 45 divide g?
False
Let x = 86 + -132. Suppose -10*m = -6*m + 12, 5*a = 2*m - 199. Let u = a - x. Is 2 a factor of u?
False
Let q = 211 - -276. Let b = 1162 - q. Does 75 divide b?
True
Suppose -6*n - 18 = 5*a - 3*n, -22 = a - 4*n. Does 7 divide (1/(a/27))/(2/(-20))?
False
Let b = 19378 - 12843. Is 32 a factor of b?
False
Suppose -854*s + 856*s = 3*z + 3218, -6454 = -4*s - 3*z. Does 26 divide s?
True
Suppose 0 = 13*a - 10*a - 135. Suppose -t = -67 - a. Does 14 divide t?
True
Let g(r) be the second derivative of r**7/840 + r**6/360 + r**5/40 + 2*r**3 + r. Let h(y) be the second derivative of g(y). Is h(3) a multiple of 9?
True
Is 11 a factor of 74910/27 + (168/54)/(-7)?
False
Is (2934/(-2445))/(3/350*-2) even?
True
Let k(n) = -2*n**3 + 2*n - 3. Let a be 0*((-42)/(-15) + -3). Let h be 1 + -7 + (a - -3). Is 22 a factor of k(h)?
False
Let b(z) = z**3 - 31*z**2 + 51*z + 15. Let t be b(30). Suppose -144*m + 145*m - t = 0. Is 12 a factor of m?
False
Suppose -15*x - 8 + 38 = 0. Is 35 a factor of 1*(x - 2) - (-278 + -2)?
True
Suppose y = 5*y + 2*z - 154, -3*y + 2*z + 105 = 0. Suppose -y*b = -39*b + 16. Let d(r) = 9*r - 8. Is 8 a factor of d(b)?
True
Let u(k) = -1248*k**3 + 2*k - 1. Let r be u(1). Let f = -728 - r. Is 49 a factor of f?
False
Let o(u) be the first derivative of 56*u**2 - 4*u - 53. Let v = 1 - 0. Does 12 divide o(v)?
True
Suppose 5*p - 4*g = 20, -g - 2 = 3*p + 3. Suppose -3*h - 15 = -p*h. Let n = h - -11. Does 6 divide n?
True
Suppose 5*f + 1438 = 3*t, -2*f + 569 = -4*f - 5*t. Let i = f - -829. Does 12 divide i?
False
Let s = -305 - -102. Let n = 259 + s. Is 8 a factor of n?
True
Let j(v) = -22*v + 6. Let g be j(-5). Let b = 117 - g. Is 14 a factor of (2/4)/(b/84 + 0)?
True
Let i be (-2*(-2 + 3))/(-2) - -945. Suppose -520*j = -518*j - i. Is j a multiple of 43?
True
Let r = -5728 - -1450. Is 32/48*(-3 - r/4) a multiple of 79?
True
Let u(w) = 27*w + 67. Let t be u(11). Let b = t + -280. Is b a multiple of 4?
True
Let i(j) = -25246*j + 950. Does 111 divide i(-1)?
True
Let j(a) = 1715*a + 335. Is 140 a factor of j(16)?
False
Suppose 212*w + 1044527 = 744*w - 4515937. Is w a multiple of 67?
True
Let h(f) = 24*f**2 + 31*f + 13. Let z(b) = -43*b**2 - 66*b - 27. Let g(j) = 13*h(j) + 6*z(j). Let l = -1 + 0. Is 9 a factor of g(l)?
True
Let n = 8136 + 17137. Is 24 a factor of n?
False
Is 56 a factor of (-27274)/(-30) + (-150)/1125?
False
Suppose g + 5*g + 102 = 0. Let d = g + 22. Suppose -2*l - l - 4*h + 200 = 0, -d*h - 155 = -3*l. Is l a multiple of 6?
True
Does 2 divide 2373/12 - (-434)/(-248)?
True
Let z = -8632 + 14387. Does 5 divide z?
True
Let u(k) = -k**2 + 52. Let n be u(7). Let q be (8/48 - 1/6)/n. Suppose -2*m + 2*a + 544 = q, -2*m + 5*a - 840 = -5*m. Is 20 a factor of m?
False
Let k be (-9614)/(-57) - 4/(-18)*-3. Is k/(-63)*(2 + -176) a multiple of 58?
True
Suppose -24*w - 21508 = -5*w. Let h = w - -1764. Does 11 divide h?
False
Suppose -n + 4*v + 11 = 0, 10 = -n - 4*v + 21. Let q = 11 - n. Suppose q = 2*h + 7*h - 666. Does 20 divide h?
False
Let u = 1420 - -2387. Is 81 a factor of u?
True
Let x(d) = 2*d**3 - 7*d**2 - 6*d + 11. Let z be x(4). Let y(u) = -u + 27 + z*u - u - 2*u. Is y(-16) a multiple of 11?
False
Let v = 772 + -768. Is 249 - -4*v/(-16) a multiple of 4?
True
Suppose 3*n - 7826 = 4702. Suppose -31*q = -15*q - n. Does 22 divide q?
False
Suppose 8 = 4*k + 8. Let w be (k/2 - 10)*(-10)/20. Suppose -4*h - v = -335, -w*v - 88 = -h - v. Is 28 a factor of h?
True
Suppose 2*q + 3 = 3*d, 0*q - 2*q = d - 9. Suppose d*i - 12 = 0, 0 = 5*l - 9*i + 4*i - 230. Suppose 46 = n + 5*m, -108 = -5*n - m + l. Does 4 divide n?
False
Is 26 a factor of (1 - 16805)*912/(-1216)?
False
Let z = -83 - -288. Let a = z - 137. Does 9 divide a?
False
Suppose 7*u - 8*u + 2*s = -348, 0 = 4*u + 5*s - 1392. Is u a multiple of 7?
False
Let l(f) = -3*f**3 + f**2 + 6*f - 45. Let r be l(5). Let n = -255 - r. Does 5 divide n?
True
Let t = -4807 - -6295. Is 155 a factor of t?
False
Let b = 3074 + -2751. Is 15 a factor of b?
False
Let f(s) = -2*s**2 + 11*s + 5. Let y be 3/18 - 87/(-18). Let r be f(y). Is (-34 - 5)*r/(-3) a multiple of 37?
False
Is 1128 - ((-44)/330 - 154/(-30)) a multiple of 5?
False
Let o = 18753 - 13521. Is o a multiple of 24?
True
Suppose -15972 = -2*c + 4*v, -23*c + 22*c + 7968 = -5*v. Is c a multiple of 43?
True
Does 13 divide (-39*2*17)/(25 - 27)?
True
Suppose 0 = -4*b - 3*u + 989, -3*b = -2*u - 137 - 592. Let c = -211 + b. Does 3 divide c?
False
Let g(u) = 6*u + 2*u + 540 - 538. Let x(w) = -8*w - 1. Let o(i) = 6*g(i) + 7*x(i). Is 19 a factor of o(-9)?
False
Suppose -5 = -5*i - 4*d, 9*i - 2*d - 25 = 6*i. Suppose 627 = 2*f - i*s, -12 - 3 = -5*s. Does 28 divide f?
False
Does 13 divide (-1 + -5)/(-78*30/(-1179) - 2)?
False
Suppose 4317 = 4*l + 5*u, -3*u + 141 = -2*l + 2338. Does 34 divide l?
True
Let i = -194 - -307. Suppose -10*v - i = -23. Does 6 divide (4032/(-216))/(1 - (-11)/v)?
True
Let n(g) = -g**2 + 14*g - 12. Let k be n(12). Suppose -14*c = -k*c - 296. Does 16 divide c?
False
Let h(z) = -3*z + 32. Let t be h(-7). Suppose -t*j = -67*j + 8610. Is 12 a factor of j?
False
Suppose 4*k - 27 - 17 = -2*u, 0 = 2*k + 2. Suppose -4 = g - u. Suppose 4*c = g + 76. Does 12 divide c?
True
Let w(j) = -28*j - 150. Let q be w(-5). Let p = q - -838. Is 12 a factor of p?
True
Suppose 16 = 4*h + 4*f, 0*f - 10 = 5*f. Suppose 4*q + 1296 = h*q. Is (3 + (-5)/2)/(2/q) a multiple of 33?
False
Let m be (-6)/(-12)*17*2. Let w(l) = m*l - 4 - 3 + 0 + 2. Is 4 a factor of w(1)?
True
Let b = 70930 - 40228. Is 51 a factor of b?
True
Let u(j) = j**2 - j + 4. Let m(t) = -2*t**2 - 17*t - 46. Let h(a) = -m(a) + 3*u(a). Is 7 a factor of h(-6)?
True
Does 175 divide 3/3*(-1835381)/(-76) - 4/(-16)?
True
Let w(m) = -m**2 + 14. Let t(r) = 2*r**2 - 27. Let c(h) = 6*t(h) + 11*w(h). Let k(p) = -2*p - 3. Let j be k(-4). Is 10 a factor of c(j)?
False
Let j(t) = -t**3 + 9*t**2 - 16*t + 6. Let x be j(6). Suppose s = x - 15. Is s even?
False
Let o = -68 + 72. Is 41 a factor of o/(12/489) + 4 + -3?
True
Is 2570 + (16/20)/(6/45) a multiple of 4?
True
Let q be 18/(-4)*7/42*16. Is 1535/6 - (86/q + 7) a multiple of 16?
True
Let z(r) = 7*r**2 + 1. Let x be z(1). Let u(p) = -p**3 + 6*p**2 + 13*p - 24. Let b be u(-4). Suppose x*o + b = 11*o. Is o a multiple of 2?
True
Let z(s) = s**2 + 3*s - 37. Let l be z(11). Let m = l - 112. Does 2 divide m?
False
Let c = -241 - -305. Is 59/2 + (-96)/c even?
True
Suppose 14*x - 39012 + 8296 = 0. Is x a multiple of 17?
False
Let l be ((-8)/16)/(1/(-1060)). Suppose 0 = -g + l - 247. Does 10 divide g?
False
Suppose -s - 2*j = -473, -2*s + j + 378 + 568 = 0. Suppose k + s = 3*y - 287, -4*k + 488 = 2*y. Is 21 a factor of y?
True
Is 3 a factor of (138/(-4))/(-12 + (-31473)/(-2626))?
False
Let r(n) = n**2 + 14*n - 103. Let k be r(6). Let m(o) = -433*o**3 + o**2 + o. Let v be m(-1). Suppose 6*h = v + k. Is 16 a factor of h?
False
Suppose -3*r + 1660 = -4*q + 7, -5*r + 2733 = -3*q. Is 4 a factor of r?
False
Let m = 5 + -8. Let d be (-3 - 3 - (-40)/5) + 19. Does 29 divide (-1)/m + 4256/d?
True
Let u(n) = 5*n - 3. Let j be u(2). Let r(k) be the second derivative of k**4/4 + k**3/2 - 19*k**2/2 - 97*k - 2. Is r(j) a multiple of 34?
False
Let f be 87*(4 - (2 - -1)). Let n = f + -145. Let g = n - -118. Is 14 a factor of g?
False
Let h be ((-12)/16)/((-1)/4). Let v be (1 - 21/15)/((-28)/210). Suppose -186 = -v*n - h*n. Is n a multiple of 31?
True
Suppose -100 = -2*i + 2*n, -n + 40 = 2*i - 51. Let w = i - 37. Is 3 a factor of (16/w)/((-4)/(-10))?
False
Suppose 8*b = 1 + 727. Suppose b - 343 = -3*