 + 19)*12/7. Suppose -2*n + 5*b + 39 = 0, 2*b - r = -4*n + 30. Suppose -n*c + 18*c - 46 = 0. Does 46 divide c?
True
Let o = 41743 - 18369. Is o a multiple of 26?
True
Let o(t) = t**3 + 10*t**2 + 14*t - 11. Let h be o(-8). Let c(x) = x**2 + x - 9. Does 19 divide c(h)?
False
Let a(b) = -2518*b + 12407. Is 8 a factor of a(4)?
False
Suppose -24*f + 19*f = -5*z - 36320, -2*z = -4*f + 29060. Is f a multiple of 14?
True
Suppose 15*m - 255 = 18*m. Is 17 a factor of m/((-66)/(-18) + -4)?
True
Let g(r) = -18*r + 578. Let k(j) = -17*j + 579. Let p(i) = 6*g(i) - 5*k(i). Is 25 a factor of p(0)?
False
Suppose 4*k + 4*g = 188, -5*g + 17 = 7. Let x(v) = 24 - 2 - 104*v + k*v - v**3 - 11*v**2 + 46*v. Is x(-10) a multiple of 26?
True
Suppose 2*x - 27 = -33. Is 10 a factor of ((-6)/8)/(x/528)?
False
Suppose 7*k - 41675 - 52370 + 28525 = 0. Does 48 divide k?
True
Suppose -16*b + 30*b - 2114 = 0. Suppose 2*a + 63 - b = 0. Is 2 a factor of a?
True
Let q = 1186 + -589. Does 27 divide (q/18)/((-9)/(-54))?
False
Suppose 3*m - 4*v + 7 = -13, -3*m = v - 5. Suppose m = 36*r - 5318 - 36802. Is r a multiple of 15?
True
Let n = -14 + 18. Suppose n*x - 4*j = -j - 13, 5*x = -3*j - 50. Let y(t) = t**3 + 9*t**2 - 7*t - 2. Does 32 divide y(x)?
False
Suppose -2*l + 2408 = 2*p, -3*p - 3*l = -2*l - 3620. Let o = p + -599. Does 11 divide o?
False
Let d(m) = -18*m + 486. Let t be d(51). Let q = 938 + t. Is 46 a factor of q?
True
Suppose -220136 = -3*u - 4*o, 4*o - 27887 = -u + 45489. Is u a multiple of 15?
True
Let n(y) be the third derivative of 39*y**4/8 - 5*y**3 + 30*y**2. Is 53 a factor of n(10)?
False
Is -129*-1*2*(-18 - 760/(-24)) a multiple of 41?
True
Suppose 667 = -387*b + 389*b - 1703. Is 15 a factor of b?
True
Let k be (8 - (-28)/(-3))/((-4)/6). Does 10 divide ((-900)/27)/(k/(-12))?
True
Suppose 0 = 2*y - 1 - 1, -2*v = -2*y - 2. Suppose 0 = -2*b + 5*x + 22, 12*x = 11*x - 4. Is b*(-2)/v*-76 a multiple of 4?
True
Let p(l) = 1307*l - 6174. Does 50 divide p(20)?
False
Suppose 0 = -0*t - 9*t - 2 + 785. Does 55 divide t?
False
Let c(v) = -v**3 + 14*v**2 - 9*v + 45. Let o be c(10). Let w = o - -217. Does 26 divide w?
True
Suppose 4*s + 16 = 0, -18249 = 8*l - 13*l + s. Is l a multiple of 12?
False
Let c = -305 + 553. Suppose q - c = 51. Is q a multiple of 13?
True
Suppose -k + 5*i = -91 + 306, 5*k - 2*i + 1121 = 0. Is (-36)/(-20)*(-4)/(4/k) a multiple of 81?
True
Suppose -2*g - 10 = 0, -5*q + 3*q + 1761 = -5*g. Let b = -238 + q. Does 18 divide b?
True
Let d = -25150 + 44887. Is 11 a factor of d?
False
Suppose d = -2*g - 3*d + 16, 5*d - 20 = -g. Suppose g = -2*x + 215 - 11. Let n = 199 - x. Is 21 a factor of n?
False
Suppose -12732 = -5*s + 3*h, s - h = h + 2538. Does 15 divide s?
True
Let p(x) = -15*x**2 + 2323*x - 16. Is p(43) a multiple of 33?
True
Let u(b) = -17*b + 47. Let j be u(3). Let a(p) = 16*p**2 + 5*p + 28. Does 11 divide a(j)?
True
Suppose -3*y + j = -29, 25 = 2*y - 0*y + 5*j. Let q = -1387 - -1387. Suppose q = -y*b + 8*b + 270. Is 9 a factor of b?
True
Let k = -176 + 209. Suppose -2*t + 159 + k = 0. Is 4 a factor of t?
True
Let h = -12499 - -23024. Does 4 divide h?
False
Suppose 18 + 24 = 14*p. Is (8 - 2)*25 - p a multiple of 58?
False
Let s(l) = 2422*l**3 + 10*l**2 - 11*l + 1. Is 7 a factor of s(1)?
True
Suppose u - 5501 = -3*u + 3*m, 5536 = 4*u + 4*m. Suppose 3*h - u = 5*z, -h - 3*h - 2*z + 1882 = 0. Is h a multiple of 13?
True
Let i(y) = y**2 - 7*y + 9. Let z be i(6). Suppose -4*p - 30 - 151 = -w, z*w = -p + 595. Does 14 divide w?
False
Let g = 27 + -39. Let l = -21 - g. Does 12 divide (l/(-3) - 41)/(0 - 1)?
False
Let k be (-4)/(-14) + 128/(-56). Let n be k/5*50/(-15)*6. Is 267 + 5 - n/2 a multiple of 21?
False
Let v = 20968 - 14774. Is 2 a factor of v?
True
Let v(c) = 30 + 8*c**2 - 11*c**2 - 16*c + 4*c**2. Let r be v(21). Suppose 200 = 2*g + 2*d, r = 3*g - 5*d - 205. Does 13 divide g?
False
Let m be (0 - -1) + (-83 - 0). Let c = -57 - m. Suppose -4*j + c = -23. Is 7 a factor of j?
False
Suppose 0 = 4*l - 81 + 73. Suppose -3*u + 845 = x - 1648, 4*x = l*u - 1676. Is u a multiple of 16?
True
Let d be -1 + -4 + 3 + 116. Suppose 282 = -5*n - v, -2*n - 2*v + v - d = 0. Is ((-18)/4)/(6/n) a multiple of 15?
False
Let x be (2 - 4) + 0 + 1187. Let d = x - 659. Is d a multiple of 9?
False
Let t = 29119 - 18109. Is 54 a factor of t?
False
Suppose z + 2*x = 78 + 138, -3*z = -2*x - 616. Is z a multiple of 16?
True
Suppose -15 = d - 17. Suppose -d*h + 6 = -5*h, h = -2*s + 302. Does 42 divide s?
False
Does 80 divide (5/(75/(-41508)))/(129/(-1720))?
False
Suppose -n = 4*v - 121209, 0 = 42*v - 45*v + 4*n + 90902. Does 139 divide v?
True
Suppose -2*g + 1308 = -2508. Suppose 5*u + o - g = 1023, -u + 575 = 3*o. Is 49 a factor of u?
False
Does 8 divide (10031/(-7) + -13)*4/(-6)?
False
Suppose -m - 29 = 3*q, -1 = -2*q - 4*m - 27. Let i(c) = -2*c**2 - 22*c - 7. Does 2 divide i(q)?
False
Let z(o) = 15*o + 18. Let k be z(-1). Is 7 a factor of k/(-4 + 861/215)?
False
Suppose -7*d = -14, 81*h + 5*d - 40482 = 77*h. Does 162 divide h?
False
Suppose 0 = 2*h - 10, 0 = -5*w + 2*h - 364 + 69. Is 10 a factor of (-40)/6*(2 - w/(-6))?
True
Let l = -10151 + 12940. Is l a multiple of 13?
False
Let d(w) = w**2 - 18*w + 72. Let r be d(7). Let x(n) = -471*n - 195. Is 60 a factor of x(r)?
True
Suppose -4*c = -4*u + 1484, 0 = -0*c + 4*c. Let n = u - -214. Is 15 a factor of n?
True
Let h(w) = -w**3 - 2*w**2 + 5*w + 2. Let q be h(5). Suppose 3*s - 728 - 41 = 2*r, 0 = -5*r - 2*s - 1913. Let l = q - r. Is l a multiple of 47?
True
Let v = 4688 - 1904. Is v a multiple of 48?
True
Let x(s) = 2*s + 44. Let j be x(-19). Suppose -9*c - 12 = j. Does 10 divide (-2)/8*c + (-1770)/(-20)?
False
Does 12 divide ((-406)/(-5))/(1*(-12)/(-2880)*8)?
True
Let s = -3930 - -11546. Does 34 divide s?
True
Let l(w) = w**2 + 45*w - 63. Let f(u) = -u**2 - 67*u + 95. Let t(h) = 5*f(h) + 7*l(h). Is t(13) a multiple of 8?
True
Let c(x) = -x**2 + 20*x - 12. Suppose 3*y + 0*t - 3 = -4*t, 4*y + t - 17 = 0. Suppose 2*l - y*l + 5*n = -27, 0 = 2*n. Does 29 divide c(l)?
True
Let d be (6 - 2) + (-9)/9. Suppose -2*g + d = -3. Does 30 divide (1/g)/((-1)/(-114))?
False
Suppose -k = 3*c - 43866, 185*c - 73130 = 180*c - 5*k. Is c a multiple of 6?
False
Let q be -8 + 109641/35 - (-6)/15. Suppose -3*i + 1653 - 4738 = -5*m, 5*m = -5*i + q. Is m a multiple of 22?
False
Suppose -115533 - 19403 = -41*x - 4064. Does 21 divide x?
True
Let k = 19 - -2. Suppose -18 - k = -13*g. Does 3 divide (-23*g/(-15) + 2)*5?
True
Let z = -85 + 89. Suppose -21 = -z*s + 15. Suppose -7*p - 54 = -s*p. Is 2 a factor of p?
False
Let u = 3 + 12. Suppose -u = -4*k + 233. Does 31 divide k?
True
Is 25374/12 - 30/12*1 a multiple of 22?
True
Let c = -11267 + 12659. Does 6 divide c?
True
Let q = -596 + 598. Let b = -1 - -1. Suppose b = q*i + 3*i - 5*u - 560, 2*u - 220 = -2*i. Does 37 divide i?
True
Suppose -4*o + 3*y - 10646 = y, 0 = 5*y + 15. Does 8 divide 30/75 + 2 + o/(-5)?
False
Suppose 302*z + 37933 = 307*z - 3*n, 5*z - 37909 = -n. Is 8 a factor of z?
False
Let l be 2/(-5)*210/(-14). Is (l + 869 + -5)*(-6)/(-15) a multiple of 58?
True
Suppose -3*q - 4*g + 6 = -6*q, 5*q + 2*g = 16. Let i(r) = -2*r**2 - 12 + 8*r**2 - 7*r**q + 14*r. Is 17 a factor of i(11)?
False
Suppose 30*b - 342 - 48 = 0. Suppose 3*w - b = -d, 9 = w - 4*w. Does 2 divide d?
True
Let p(l) be the second derivative of 20*l**3/3 - 4*l**2 + 10*l + 2. Is 8 a factor of p(2)?
True
Is 5 a factor of 17*195*((-16)/240*-25 + 0)?
True
Suppose 0 = -5*t - 5373 + 14262 + 5946. Does 129 divide t?
True
Suppose 5*g - 2*n + 0*n = -94, 5*g = 3*n - 96. Suppose 5*y - 3*k = -k + 18, 4 = 4*y + k. Does 13 divide 3/y*((-2184)/g - 0)?
True
Let g(x) = 37*x**2 + 11*x + 11. Let r be g(-3). Let m = r + 649. Does 80 divide m?
True
Suppose -3*o + 2 = 4*r - 3, 4*o - r = 13. Let v(h) = -5*h**3 + 0*h**2 + o + 0*h**2 - 3*h + 6*h**3 + 5*h**2. Does 9 divide v(-5)?
True
Let l(y) be the first derivative of 61*y**3/3 + 5*y**2/2 + 4*y + 9. Let w be l(-2). Let d = 53 + w. Is 27 a factor of d?
False
Let r = -21 + 18. Let p be (-2 - 0)*(r/6 + -2). Suppose -115 = -k - o, p*k + 2*o - 419 = 153. Is k a multiple of 19?
True
Let j be ((-13)/(26/(-4)))/(-1 + 2). Suppose 6*u - 2*u - j*c = 1848, 0 = 5*u + 2*c - 2319. Is u a multiple of 28?
False
Let x = -5 - -7. Let