(-209352)/(-96) a multiple of 109?
True
Let c = 21284 - 14444. Is c a multiple of 72?
True
Let i = -13 - -12. Does 63 divide ((-420)/(8 + 2))/(i/12)?
True
Let y = 17 - 21. Is (y - 42/(-7))*375 a multiple of 32?
False
Let k be 135/11 + 24/(-88). Suppose k*m = 25822 - 4534. Is 92 a factor of m?
False
Let r be (-8)/(-1) - (-1824 - -84). Let t = -1085 + r. Does 11 divide t?
False
Let g(q) = 57*q + 4. Let t be g(1). Suppose 4*w = v + 43 + 261, -t = -w + 4*v. Is w a multiple of 18?
False
Let l(w) = -21*w - 107. Let j be l(-5). Is 82 a factor of (-3 - (-3234)/12)/(j/(-8))?
True
Let l(p) be the third derivative of 61*p**6/120 - p**5/20 + p**4/8 - p**3/6 + p**2 + 39. Is 8 a factor of l(1)?
False
Let s be 3 + (-1 - 2 - -1) + 1. Suppose -r - 1 = 5*a, 0 = 2*a - s. Let q(x) = -3*x - 1. Does 10 divide q(r)?
False
Let n(g) = 43*g + 172. Let a be n(-4). Suppose a = -5*c + 2*p + 5056, -c + 7*p + 1002 = 2*p. Is c a multiple of 46?
True
Is 2 a factor of ((1953/(-14))/9)/(8/(-96))?
True
Does 4 divide (2036 - (12 - 11)) + (1 - 8)?
True
Suppose 0 = -4*x - 2*b + 2138, -5*b + 2135 = 4*x - 2*b. Is 12 a factor of x?
False
Suppose 0 = -4*j + 3*h + 9235, 36*j - 40*j + 9225 = -h. Is j a multiple of 11?
False
Suppose 23 = -4*j - 5*d, 0 = 4*j - 3*d - 14 + 45. Is (4 + (-400)/7)*j a multiple of 35?
False
Let r(t) = 310*t**3 + 4*t**2 - 2*t - 5. Let j(n) = 155*n**3 + 2*n**2 - n - 3. Let h(d) = -5*j(d) + 3*r(d). Does 12 divide h(1)?
True
Let w be -4 - (60 - (5 + -4)*-4). Let a = w + 60. Let p(r) = 2*r**2 + 5*r + 11. Does 9 divide p(a)?
True
Let w be 1 - (1 + -5857) - (-19 + 14). Suppose -w = -13*k + 53. Is k a multiple of 35?
True
Suppose -196*z + 760620 = -136*z. Does 14 divide z?
False
Let g = -87 + 256. Let m(n) = -3*n**2 - 31*n + 29. Let z be m(-14). Let u = g + z. Does 19 divide u?
False
Suppose 0 = -3*s + 6 - 0. Let b be 3/(8/(-28) + s/(-140)). Does 3 divide 8/(-20) - 194/b?
False
Let n(g) be the second derivative of -g**5/20 + 5*g**4/3 - 11*g**3/6 - g**2/2 + 6*g - 4. Is 14 a factor of n(8)?
False
Suppose -32*r + 273 = 113. Let f(l) = -386*l**3 - 2*l**2 + 1. Let q be f(-1). Suppose 805 = r*y - q. Is 17 a factor of y?
True
Let y(r) = 29 - 12 - r - 9 - 19. Suppose -2*z - 19 - 31 = 0. Does 2 divide y(z)?
True
Let r(g) be the first derivative of 55*g**3/3 + g**2/2 + g - 25. Let j be r(1). Suppose 3*z + 21 - j = 0. Is 7 a factor of z?
False
Suppose -12 = -4*q - 4*s, 3*s + 10 - 25 = 0. Let t(w) = 128*w**2 - 10*w. Is 33 a factor of t(q)?
False
Suppose -121*t + 438256 = -23*t. Does 52 divide t?
True
Suppose -14*b - 60*b - 14*b + 240240 = 0. Is b a multiple of 21?
True
Let m be (-272)/3 - 2/(-3). Suppose 0*t = t - 3*l - 184, t + 4*l - 156 = 0. Let r = m + t. Does 10 divide r?
False
Suppose -61*j = 424 - 424. Let h(q) = 2*q**2 - 6*q + 3*q - 4*q**2 + 93. Is h(j) a multiple of 21?
False
Let g(k) = 6*k**2 + 13*k - 12. Suppose -25 = 12*w - 181. Is g(w) a multiple of 18?
False
Let i = 68 + -65. Suppose i*s = -12, s - 295 = 3*k + 5*s. Let f = k - -172. Does 11 divide f?
False
Suppose -5*a - 80135 = -4*g, 2*a - 14951 - 5099 = -g. Is 20 a factor of g?
True
Is 117 a factor of -15 - -11370 - (-36)/(12/(-2))?
True
Let k(z) = -z**3 - 17*z**2 - z - 11. Let t be k(-17). Suppose t*g = 28*g - 660. Is 5 a factor of g?
True
Let a be 1/((3 - 7)/724)*1. Let o = -47 - a. Let q = o - 63. Is 24 a factor of q?
False
Suppose j + 0*j = -4. Let q be (-222)/48*j + 1/2. Let g = q - -23. Is g a multiple of 6?
True
Let k(n) = n**2 + 8*n + 48. Let p be k(-8). Suppose 16*o + p = 464. Is 2 a factor of o?
True
Let t = 0 - -22. Suppose s + 3 - t = 0. Suppose -98 = -g + s. Does 39 divide g?
True
Let r(h) = -395*h - 964. Is 13 a factor of r(-5)?
False
Suppose 91*o - 86*o = 140. Suppose 19*w + 5229 = o*w. Is 8 a factor of w?
False
Let l be (-54)/15 - (-6)/(-15) - 304. Let t = 341 + l. Is 14 a factor of t?
False
Let w = 341 - -72. Suppose -3*r + 1143 + 837 = 5*i, -i - 4*r = -w. Does 69 divide i?
False
Let l(q) be the first derivative of 7*q**2/2 - 2*q + 147. Suppose -4*g + 2*g - 31 = -3*b, -b - 2*g = -13. Is 21 a factor of l(b)?
False
Let m = -1 + 3. Suppose 9*d + 672 = 735. Suppose 4*c = -2*s + d*s + 108, 3*c - m*s - 88 = 0. Is 16 a factor of c?
True
Suppose j = 4*l - 17736, -5*l + 5*j + 8850 = -3*l. Is 66 a factor of l?
False
Suppose 3*j - 3 = -14*z + 11*z, 0 = 3*j + 4*z - 2. Suppose -2*b + 160 = j*f, 9*b - 6*b - 4*f = 212. Does 38 divide b?
True
Suppose 223*l + 180*l = 9819023 + 9404480. Does 12 divide l?
False
Let q(w) = -w**2 - 12*w - 5. Let t = 92 + -55. Let m = 30 - t. Does 9 divide q(m)?
False
Suppose -5*a = 3*l + 44 + 77, 0 = -4*l + a - 146. Let z = l + 39. Let h(f) = 28*f - 5. Does 17 divide h(z)?
True
Is 92 a factor of (3 - (-505)/(-15))/((-6)/18)?
True
Let q = -2628 + 18492. Is 19 a factor of q?
False
Let t(v) = 38*v + v**2 - 20*v + 3 - 24*v. Let s be t(5). Is 4 a factor of (s + (-16)/(-6))*12?
True
Suppose 40*m = 500528 + 227552. Is 19 a factor of m?
True
Let h(m) = -m**2 - 4*m - 4. Let i be h(-3). Let d(f) = -5*f + 3*f - 58*f**3 + 87330 - 87331. Does 12 divide d(i)?
False
Let s = -94 - -138. Suppose -s*w = -42*w - 696. Is 10 a factor of w?
False
Let c(z) = 8*z**3 - 2*z**2 - 2*z. Let p be c(-1). Is 109 - (4/(-6))/(p/(-36)) a multiple of 22?
False
Suppose 0 = 4*b - 3*r - 6, -r - 2 = 4*b. Suppose b = -4*s - 2*s + 252. Is 36 a factor of (-105)/10*(-7)/(s/64)?
False
Suppose 50*i - 46*i - 68208 = 0. Does 29 divide i?
True
Let p(h) = -7*h - 13. Let z(t) = -6*t - 18. Let o(y) = 3*p(y) - 4*z(y). Let x(q) = -3*q**2 - 4*q - 3. Let g be x(-2). Is 12 a factor of o(g)?
True
Does 7 divide -8 + 11 - (-229018)/43?
False
Suppose -10 = -9*o + 7*o, 0 = 3*n - 4*o - 18769. Is 59 a factor of n?
False
Does 72 divide ((-246132)/8)/27*-16?
False
Let f(o) = 2*o + 13. Let v = 1 + -5. Let r be f(v). Suppose -270 = -2*w - 2*w + 2*j, -4*j = -r*w + 333. Is 36 a factor of w?
False
Let g = -721 + 746. Does 12 divide 2/(-24)*-2626 - g/30?
False
Let b(o) = 2*o. Let g(i) = -4*i + 16. Let y be g(3). Let r = 19 - y. Is b(r) a multiple of 15?
True
Let u be (-2 - -1)*(9 + -9). Suppose 0 = 4*n - 3*l - 22, n + 4*l - 15 = -u*l. Let i(p) = 2*p**2 + 5*p + 15. Is 37 a factor of i(n)?
True
Let l = 28 + -34. Let b be ((-5126)/(-33))/((-4)/l). Suppose 2*k + o = -k + 357, -2*k = -o - b. Is 7 a factor of k?
False
Is 14 a factor of (-681296)/245*10/(-4)?
False
Let j(n) = -n**3 + 3*n**2 + 18*n - 9. Let z be j(6). Let m(h) = -h**3 - 8*h**2 - 10*h - 58. Is m(z) a multiple of 17?
False
Let x(s) = 4*s + 33. Let z be x(21). Does 13 divide 4/26 + 1503/z?
True
Let t = 15367 + -8895. Is 16 a factor of t?
False
Let d(f) = f**2 + 63*f - 165. Does 13 divide d(33)?
True
Is (760/6)/(17 - 5402/318) a multiple of 6?
False
Suppose 149*j = 79*j + 80*j - 75440. Does 9 divide j?
False
Let i = -3 + 7. Suppose -4*s + 3*h = s - 14, 0 = 2*h - i. Suppose 3*r - 152 = -s*b, -6 - 6 = 3*r. Is 6 a factor of b?
False
Let v(q) = q**3 + 3*q**2 + 2*q + 2. Let i be v(-2). Let k be (4/1)/(i*-1) - 0. Let u = k - -17. Is u a multiple of 5?
True
Suppose 537 + 159 = 3*c. Is 3/2*(c + -18) a multiple of 11?
False
Does 59 divide 166551/55 + (-8)/30*-3?
False
Suppose 31*p - 776 = 30*p. Suppose -2*n = -4*f - p, -4*f = -5*n + 1021 + 901. Does 34 divide n?
False
Suppose -12092 = 89*t - 91*t + j, 3*t + j = 18138. Is 10 a factor of t?
False
Suppose -4*m - 5*p = -274 - 535, -5*m + 5*p + 1045 = 0. Does 3 divide m?
False
Let b(y) = -y**3 + 10*y**2 + 5*y - 17. Let k be b(11). Let g = k - -104. Is g a multiple of 2?
False
Suppose 27*h - 6564 = 1374. Is h a multiple of 14?
True
Does 20 divide (-325278)/(-117) - ((-11)/13 - -1)?
True
Suppose -44*s = -47929 - 1109931. Does 45 divide s?
False
Let r(y) = 4*y - 80. Let s be r(28). Is (-46*(-1 - 3))/(s/64) a multiple of 16?
True
Suppose 7*h - 1342 = 1661. Let o = h + 66. Suppose -k - o = -4*k. Is 33 a factor of k?
True
Suppose -10*j = -9*j + 6*j. Suppose j = 2*h + 11*h - 988. Does 38 divide h?
True
Is (-18 - (-1078250)/14) + 3/21 + 0 a multiple of 13?
False
Let t = -3462 - -14134. Is 16 a factor of t?
True
Suppose -5*o = -86*o + 76897 + 111185. Is 27 a factor of o?
True
Let t be (-1852)/42 + -1 + 6/63. Does 9 divide -2 - 2 - (-13 + t)?
True
Let y = -1586 - -728. Let v = 1724 + y. Does 71 divide v?
False
Let x(t) = -31*t - 377. Suppose 386 = -42*q - 328. Is 10 a fac