= -55 - c. Is l a multiple of 43?
False
Let k = 479 - 505. Is 60/(-390) + (-11860)/k a multiple of 40?
False
Suppose -5*y = -2*p - 6, -6*p + 2*p = 2*y - 12. Let v be 0/p - (102 - 14). Is 11 a factor of (-3)/(-2)*v/(-6)?
True
Suppose 3*m - 183 = -3*f, m + 3*f - 33 = 30. Let a be ((-13)/(546/m))/((-2)/14). Is 157 - a/6*3 a multiple of 14?
False
Let a(u) = 2*u**2 - 29*u + 10. Let t be a(7). Let s = t - -97. Suppose 0 = 3*g, -4*g + 144 = 3*v - s*g. Is v a multiple of 12?
True
Let j(z) = 6*z**2 + 13*z + 5 - z**3 + 12*z - 15*z. Does 25 divide j(-4)?
True
Let p be ((-104)/10)/(26/(-65)). Let g = p - 22. Is (390/20)/(3/g) a multiple of 13?
True
Let u = -2943 + 3221. Does 4 divide u?
False
Let f be (6/(-2))/((-63)/819). Suppose -8997 = -f*t + 17211. Is 14 a factor of t?
True
Suppose 3*v + 3 = 0, a - 1477 = -365*v + 363*v. Does 16 divide a?
False
Suppose 2*z + 2*k - 16 = 0, -k - 16 = -2*z + k. Let q(f) = -f + 8. Let y be q(z). Suppose 365 = 4*l - 5*x, y*l - l + 80 = -5*x. Is 22 a factor of l?
False
Let l be 60/22*14 - (-2)/(-11). Let i = 16 - l. Let o = 7 - i. Is 29 a factor of o?
True
Let c = -261 + 159. Is c/(-204)*(0/2 + 274) a multiple of 9?
False
Suppose 0 = -3*v + 157 + 62. Let b = v + -70. Let g(z) = 14*z**2 + 7*z + 4. Is g(b) a multiple of 38?
False
Suppose -2*j + 5*r = -68, 0 = -j - r - 3*r + 34. Let m = -147 + 131. Let n = m + j. Does 6 divide n?
True
Let x be ((-2)/(-2) - 16)*(-4)/12. Suppose -x*d + 3*d = -2*w + 308, 3*w - 4*d - 460 = 0. Does 11 divide w?
False
Let y = 13409 + -6844. Is 101 a factor of y?
True
Suppose b + 31 = 5*b + 3*d, 2*b = d + 3. Suppose 8 = 4*y, -b*y - 67 = -0*x + 5*x. Does 7 divide (-321)/x + 2/(-5)?
True
Let r(w) = -w**3 + 7*w**2 - 2*w + 2. Let p be r(0). Suppose z - q = 1052, p*z + 16*q - 2102 = 17*q. Is 10 a factor of z?
True
Suppose 0 = 4*y - v + 6*v - 1024, -2*y = 2*v - 512. Suppose -y = -2*q - 4*d, -4*q - 2*d = -223 - 283. Does 7 divide q?
True
Let i(s) = 3*s + 38. Let l be i(-12). Let b(y) = y**2 + 5*y - 9. Let p be b(-7). Suppose -l*v - 4*t + 24 = 3*v, -p*t = -4*v + 11. Is 4 a factor of v?
True
Suppose 41*r - 386056 = 9*r - 9*r. Does 11 divide r?
True
Suppose 0 = -4*w - 3*t + 2676, w + 24 = 4*t + 712. Let g = w + -545. Does 24 divide g?
False
Suppose r + 4 + 1 = 0, l = 3*r. Let h be 3/5 - (-3 + (-54)/l). Suppose -6*x - x + 616 = h. Is 8 a factor of x?
True
Suppose 15*c = -5*l + 20*c + 1400, 0 = -4*l + 2*c + 1132. Does 11 divide l?
True
Let t(p) = 3*p**2 + 8*p + 11. Let q(u) = -4*u + 13. Let v be q(5). Let a be t(v). Suppose k - 40 = a. Is 38 a factor of k?
False
Is 18 a factor of (-8 - (6 + -14)) + 1368?
True
Let o(l) = 57*l**2 + 5*l - 6. Let k(p) = 28*p**2 + 2*p - 2. Let r(s) = 5*k(s) - 2*o(s). Is r(2) a multiple of 53?
True
Let o(v) = v**3 - 23*v**2 - 103*v + 161. Is o(35) a multiple of 14?
True
Let g(o) = -400*o**2 - 34*o - 76. Let x(m) = 133*m**2 + 11*m + 25. Let s(c) = -4*g(c) - 11*x(c). Is s(-2) a multiple of 11?
False
Suppose 2*c + 4979 + 4985 = 4*w, 0 = -3*w - 4*c + 7484. Is 26 a factor of w?
False
Let t = 2728 + -1993. Does 5 divide t?
True
Let s be (-2 + (-276)/8)*(2 + 0). Let a = 78 + s. Suppose 0 = -2*q - 2*r + 182, 0 = -a*q - 4*r + r + 457. Does 10 divide q?
False
Suppose 0 = 4*k + y - 26692, -39*k + 4*y - 13346 = -41*k. Is 5 a factor of k?
False
Let j(u) = -14916*u**3 - 13*u**2 - 14*u. Is j(-1) a multiple of 91?
False
Suppose -4*y = -7098 - 7046. Let f = y - 5074. Is (-4)/16 - f/8 a multiple of 12?
True
Let d be -2 + 1 - (5 + -11). Let b be ((-16)/6)/(6/(-9)). Suppose d*a - 153 = 5*r - 773, -2*r + b*a + 256 = 0. Does 12 divide r?
True
Let b = 3187 + -1583. Is 4 a factor of b?
True
Suppose p - 1 = -k, -5*k + 5*p + 24 + 21 = 0. Suppose -k*r - 25 = 3*y, -y = -0*r + 2*r + 10. Suppose -o + 16 + 31 = y. Does 8 divide o?
False
Let h(b) = -5*b**2 - 52*b + 11. Let m = -367 + 358. Is h(m) a multiple of 3?
False
Let g(f) = -9 + 67 + 9 - 2*f + 29. Does 26 divide g(-17)?
True
Let d(j) = -j**2 - 9*j - 40. Let l be d(0). Let p = 37 + -63. Let g = p - l. Does 14 divide g?
True
Let y = 706 - 2101. Let g = -965 - y. Does 25 divide g?
False
Let z(h) = h**3 + h**2 + h + 3. Suppose 0 = 23*s - 52 - 17. Does 7 divide z(s)?
True
Let d be 3/((-1 + 148/124)/(-4)). Let z = -165 - -151. Let p = z - d. Is 12 a factor of p?
True
Let z(x) = 4*x**2 - 25*x + 67. Is z(-21) a multiple of 76?
True
Let r(d) = -13 - 11 - 4*d + 3*d - 9*d. Suppose v + i + 0 = -4, -22 = 5*v + 4*i. Is r(v) a multiple of 12?
True
Let l be 162/(-15)*(-28 + 13). Suppose 2*d = 4*g - 245 - 409, -2*d = -g + l. Is g a multiple of 3?
False
Suppose 0 = -2*u + 3*v + 9200 - 70, 3*v + 22798 = 5*u. Is u a multiple of 134?
True
Suppose -2*o + 4352 = 5*t, 0 = -5*t + 4*t - 4*o + 874. Suppose -4*w - w = -5*s - t, 0 = s + 2*w + 168. Let q = -117 - s. Is 35 a factor of q?
False
Let z(o) = 6*o**2 - 2. Let t be z(1). Suppose 0*q + 2*q = 10. Suppose 0 = 3*l - 0*l - 2*i - 68, -t*l + q*i + 100 = 0. Is 13 a factor of l?
False
Let g be 1020/(-272) - (1 - (-3)/(-4)). Is 8*g/(-16)*58 a multiple of 3?
False
Let w = -69 - -72. Suppose 3*u - 567 = -w*h - h, -5*h - 4*u + 709 = 0. Is 8 a factor of h?
False
Let n(i) = 3*i**3 + 2*i**2 - 23*i + 42. Is n(4) a multiple of 58?
True
Is 57 a factor of (-50277 - 16)/(-4 - -3)?
False
Let h be 0*1/1 + (-18)/(-9). Suppose 2*n - 5*n + 9 = h*w, -4*w - 3*n + 9 = 0. Suppose -4*m - 3*y + 560 = w, -2*y - 700 = -2*m - 3*m. Does 12 divide m?
False
Let t(v) = -v**3 - 6*v**2 - 8*v - 9. Let j be t(-5). Suppose j = -5*l - 19. Does 10 divide (-2 - l - 33)*-3?
True
Let d be (18/(-2))/(9/(-261)). Suppose -3*f - 3*k = -d, -11*k = 2*f - 12*k - 183. Is f a multiple of 5?
True
Suppose -5*b = 0, 0 = -3*k - 3*b + 6. Suppose 0 = -k*a - 36 + 90. Is 8 a factor of a?
False
Suppose 3*d = r - 365, -3*r + 255 = -3*d - 108. Suppose -25*f + 6978 + 753 + 519 = 0. Let k = f + d. Is k a multiple of 16?
True
Suppose 6*p = -4*a + p + 107, -3*a + 74 = 5*p. Let q = a - 29. Suppose -8 = -q*j, -6*j + 26 = 4*h - 5*j. Is h a multiple of 6?
True
Suppose -2*f + 4 = 5*b, -18*b = -2*f - 25*b + 8. Let r be 8*(1 + (-26)/8). Is 5 a factor of f - -3 - (3 + r)?
True
Let j = -7661 + 7885. Is j even?
True
Let r = 4 - 4. Let z(k) be the first derivative of k**3/3 - k**2/2 + 119*k + 114. Is z(r) a multiple of 10?
False
Is 38 a factor of 4407 + (-4)/(-20)*5?
True
Let m(k) = 7*k - 19. Let n be m(3). Suppose 14*r = -n + 44. Suppose -r*q = 5*z - q - 356, 4*z = q + 277. Is 54 a factor of z?
False
Let p(f) = 7*f**2 + 4*f - 26. Let b be p(-6). Let u = b + -70. Is u a multiple of 12?
True
Suppose q - 3*f - 1116 = 0, 2*f - 2280 = -282*q + 280*q. Is 18 a factor of q?
True
Let k = 14389 + -3744. Is k a multiple of 48?
False
Let j(o) = -o**3 + 12*o**2 + o - 7. Suppose 4*q = 32 + 16. Let f be j(q). Is 102/f + (-3)/(-5) a multiple of 3?
True
Suppose 4*m + 22005 = 358*z - 353*z, z - 4372 = -5*m. Is z a multiple of 10?
False
Let w be (87/3)/(138/(-28) - -5). Suppose w + 20 = p. Is 11 a factor of p?
False
Let v(h) = -2*h**2 - 169*h + 231. Does 83 divide v(-77)?
False
Let b be 2/6 + 6654/18. Let h = 688 - b. Let u = -227 + h. Is u a multiple of 13?
True
Suppose 0 = 3*r + 4*d - 12640, 4*r - 203*d = -199*d + 16844. Is r a multiple of 108?
True
Let k(o) = -o**3 + 74*o**2 + 44*o + 29. Does 12 divide k(23)?
True
Suppose 4*u - 382 - 940 = -2*y, -5*u - 2*y = -1651. Suppose 2*q - 28 = -5*q. Suppose 4*n - 304 = 5*i, -q*n - 5*i + u = -15. Does 17 divide n?
False
Let n(t) = 49*t**3 - 9*t**2 + 16*t - 68. Does 164 divide n(6)?
False
Suppose -l + 3*x - 52 = -208, 0 = 4*l + x - 559. Suppose 2*k - 34 - 178 = -4*b, 0 = -3*b + 3*k + l. Does 37 divide b?
False
Suppose 18*f - 23*f = -1170. Suppose -5*n + 1916 + f = 0. Is 10 a factor of n?
True
Is 2 a factor of 12 - 0 - (-44)/(-176)*-11384?
True
Suppose -29*y = -20*y - 27. Suppose 0 = 4*z - 3*r - 324 - 799, y*z - 837 = -3*r. Is z a multiple of 14?
True
Let z(t) = t + 123. Let r be z(7). Suppose 2*q - r = -20. Does 18 divide q?
False
Let k(v) = -31*v**3 + 3*v + 2. Let j be k(-1). Let u = j + -52. Let q(f) = f**3 + 22*f**2 - 2*f + 16. Is q(u) a multiple of 12?
True
Let k be 4/3*(7 - (-102)/(-12)). Let r(b) = 2*b + 6. Let g be r(k). Suppose 2*a = 3*u - 354, -g*u - 5*a + 495 = 2*u. Does 15 divide u?
True
Let s(i) be the first derivative of -i**4/4 - 5*i**3/3 - 4*i**2 + 8*i - 26. Is s(-7) a 