 (-1296)/28. Let n = g - 41. Does 17 divide w(n)?
True
Suppose 2*f + s - 2068 = 3593, 0 = 5*f - s - 14135. Is 14 a factor of f?
True
Let o be (-2 - (-1 + -3))/(4/8). Suppose -2*j - j - z = -100, -o = -z. Let y = 150 - j. Is y a multiple of 11?
False
Let d(g) = 11*g**3 - 3*g**2 + 3*g - 1. Let t be d(1). Let m be t/35 - 236/(-7). Let s = 77 - m. Does 7 divide s?
False
Suppose -277*x + 328 = -281*x. Let t = 1 - x. Is t a multiple of 13?
False
Let g be (-4)/5 + (-4014)/45. Let y = 92 + g. Is y even?
True
Suppose 5*n = 61*u - 64*u + 22080, u + 4*n = 7367. Is 163 a factor of u?
False
Suppose 5*q - 3*n = 24, 3*q - n - 2 - 10 = 0. Let z(i) = -i + i - 10*i**2 - 16 - 4*i + i**q - 2*i. Does 5 divide z(11)?
False
Suppose -5*x - 5861 = -82*k + 80*k, -3 = 3*x. Is 12 a factor of k?
True
Let x = 147 + -145. Is (x/(-2) - -165) + -4 a multiple of 16?
True
Let l = -5934 + 6175. Is 13 a factor of l?
False
Suppose -2*h - 2*h = 4, 41 = 3*z + 4*h. Suppose -19*j = -24*j + z. Does 13 divide (-5 - -4)*j/(6/(-26))?
True
Let k(n) = -2718*n - 9704. Does 9 divide k(-6)?
False
Let g(h) = 63*h + 11837. Is 133 a factor of g(0)?
True
Suppose 1988 = 5*q - q - 5*b, 5*q - 3*b - 2485 = 0. Let z = -456 + 106. Let x = q + z. Is 21 a factor of x?
True
Suppose -3*b + 2*j = -36, 7 = 4*b - 3*j - 41. Suppose -3*h - 6 = -5*o + 3*o, 4*o = -4*h + b. Suppose -21 = -7*t + 3*t + o*v, t + 2*v = 19. Is 3 a factor of t?
True
Let i(q) = -2*q + 8*q + 3 - 1 - 7. Let l be i(2). Is 142/(-6)*(-21)/l a multiple of 25?
False
Let s = 99 - 97. Suppose s*b + 1664 = 4*x, 5*x - 2*b = -7*b + 2110. Is 22 a factor of x?
True
Let u = 4038 - 2035. Is 133 a factor of u?
False
Let f be (60/(-16) - -4)*20. Let p(j) = 4*j**3 + 10*j**2 + 8*j - 8. Let r(i) = 5*i**3 + 11*i**2 + 9*i - 9. Let u(w) = 6*p(w) - 5*r(w). Does 6 divide u(f)?
True
Let m be 0/(((-6)/15)/((-2)/10)). Suppose 3*z + z - v - 24 = m, -5*v = 4*z. Suppose 153 + 507 = z*a. Is a a multiple of 11?
True
Let t(p) = 3*p**3 - 10*p**2 - 17*p + 74. Let k be t(9). Is k/(-8)*288/(-36) a multiple of 31?
False
Let w(p) = 18*p**3 + 131*p**2 + 6*p - 80. Is 81 a factor of w(7)?
True
Let b = -68 + 71. Suppose 0 = -8*j + b*j + 10. Suppose 16 = 4*k, j*k = v + 3*v - 372. Does 19 divide v?
True
Suppose -43 = -42*t - 253. Let g(j) = -120*j - 138. Does 21 divide g(t)?
True
Let s(u) = -10*u + 36. Let z be 4/10 + 52/20 + -15. Is s(z) a multiple of 9?
False
Let b = -48 + 178. Let m = 340 - b. Is m a multiple of 21?
True
Let l(x) be the second derivative of x**4/4 + 19*x**3/3 + 53*x**2 - 29*x - 2. Does 21 divide l(-20)?
True
Let o be (-10)/50 - (-51)/5. Suppose 9*w - o*w = 6. Does 14 divide 24 + 2/6*w/(-2)?
False
Let z = -31644 + 63403. Is 110 a factor of z?
False
Suppose -199 - 382 = -7*n. Suppose 3048 = n*a - 79*a. Let i = a - 522. Is 48 a factor of i?
True
Let w be 6 + 338/(-9 + 7). Is 12 a factor of w*((-14)/35)/((-1)/(-5))?
False
Suppose -2*v + 3*a = -17658, -35268 = -4*v + 341*a - 343*a. Is 105 a factor of v?
True
Let j(m) = 20*m - 86. Let w(x) = -4*x + 17. Let r(h) = -6*j(h) - 28*w(h). Is 10 a factor of r(-6)?
False
Let z = 311 - 445. Let v = 634 + z. Does 20 divide v?
True
Suppose -2*i + 29*t - 25*t = -4078, -5*i = -t - 10159. Suppose -7*m = -4*m - i. Is m a multiple of 12?
False
Suppose -32 = -4*s + 5*t + 340, s - 2*t = 93. Is 5 a factor of (62/s)/(1/633)?
False
Let i be 12/(-8) + (-7)/(-2). Suppose -5*o + 15 = 5*b, -7 = -i*o - 5*b + 8. Suppose 0 = -3*m + 2*a + 3*a + 330, -5*a = o. Does 11 divide m?
True
Let z be 3189*(0 + -1 - 64/(-48)). Let m = z - 748. Is m a multiple of 54?
False
Suppose p + 458 = 2*n, -2*p + 223 = n - 4*p. Is (n/(-12))/(-11)*20 a multiple of 8?
False
Is 5 a factor of (-240)/(-2520) + 598494/63?
True
Suppose 0 = -x + 4*v + 1371, -3*x + 3*v + 4343 = 239. Let j = x + -757. Is j a multiple of 6?
False
Let t(o) = -4*o**3 - 37*o**2 - 117*o + 63. Does 13 divide t(-24)?
True
Let f(z) = -z**3 - 23*z**2 - 74*z + 41. Let k be f(-19). Suppose d + 1111 = k*s - 239, s + 3*d - 460 = 0. Is s a multiple of 7?
False
Let i(w) = -w**3 - 12*w**2 - 16. Let f be i(-12). Let u = f - -19. Suppose 0 = -4*o - 4*m + 32, 0 = u*o + 5*m + 8 - 28. Is 10 a factor of o?
True
Let f = 4 - 2. Let c = -7049 + 7052. Is 14 a factor of 3 + (c - (f - 76))?
False
Suppose 5*i - 267 = o, -4*i - 3*o + 160 + 65 = 0. Let w = i + 107. Is w a multiple of 23?
True
Let k(m) = 2*m**3 - 24*m**2 + 43*m + 7. Is k(10) a multiple of 9?
False
Let o = 166 + 460. Let w = o + 778. Is w a multiple of 15?
False
Suppose -4*d - 2*z = -170, d = 5*z + 55 + 4. Let g = d - 31. Let t = 121 + g. Does 5 divide t?
False
Let q(d) be the first derivative of d**3/6 + 6*d**2 - 3*d + 10. Let l(j) be the first derivative of q(j). Does 5 divide l(13)?
True
Let m(s) = 51*s + 4. Let r be m(0). Let a = 72 + 32. Suppose 54 = 5*g - 4*g - 4*v, r*v + a = 2*g. Does 25 divide g?
True
Suppose 10*r - 1033 = 1217. Is 4 a factor of (0 - 0 - 1) + r + -104?
True
Suppose -498 = -3*v + 5*t, v - 4*t = -4*v + 843. Is 19 a factor of v?
True
Let k be ((2/(-4))/(-1))/((-82)/7544). Let a = 230 + k. Is a a multiple of 46?
True
Suppose 3*y - 2*y = 3*p + 1423, -4*y + 952 = -2*p. Is 83 a factor of ((-42265)/p)/(1/6)?
False
Let w(b) = 267*b - 643. Does 28 divide w(13)?
True
Suppose 14 = 68*x - 66*x. Is 3 a factor of 1 + -3 - (-33 + x)?
True
Suppose -3*f - 37 = -7. Let h = 12 + f. Suppose -31 = -h*j + 9. Is j a multiple of 7?
False
Let q(h) be the first derivative of -13*h**2/2 + 62*h + 93. Is q(-20) a multiple of 23?
True
Suppose 2*h - 40*l + 178 = -44*l, 2*h = 3*l - 213. Suppose -7*n + 868 = 14. Let g = n + h. Does 16 divide g?
False
Let b = 19970 + -14240. Is b a multiple of 19?
False
Let q be 5*((-6)/5 + 0). Let w(i) = -i**3 + 9 + 116*i**2 - 4*i + 7*i - 118*i**2. Does 22 divide w(q)?
False
Let w be 34/2*(-1 + 1 + 1). Let b = -10 + w. Suppose -j + 136 = 4*d, b = d + 3*j - 16. Does 6 divide d?
False
Let g = -227 - -234. Suppose u - 5*l + 23 = g, 3*u + 3*l - 24 = 0. Is 4 a factor of u?
True
Does 55 divide (-12)/20 + 66566/10?
False
Suppose 11*d - 51*d = -35*d - 115665. Does 215 divide d?
False
Let u be (-2 + 3)/(2/4). Let h(b) = 62*b**2 - 10*b - 9. Let v(l) = 33*l**2 - 5*l - 5. Let y(f) = 3*h(f) - 5*v(f). Is y(u) a multiple of 12?
True
Suppose -9*h - 19764 = -21*h. Does 9 divide h?
True
Suppose 0 = -2*v + s + 358 + 918, 0 = 3*v - 2*s - 1912. Suppose 5*j = -5*b + v, -5*b - j + 648 = -0*j. Let t = b + -88. Does 7 divide t?
True
Let o(x) = -95*x**3 + 9*x**2 + 53*x + 5. Does 296 divide o(-5)?
True
Suppose -4*u - 124 = -4*c, 3*c - 3*u = 6*c - 99. Suppose -5*k - c*i = -28*i - 3077, 5*k = 5*i + 3050. Does 47 divide k?
False
Let a be (-230)/(-4) + 1/2. Let r = 55 - a. Is -3*r/(-2)*2136/(-54) a multiple of 27?
False
Does 181 divide -1 + -129*2880/(-12) + -8?
True
Let l be 13*((-4)/(-4) + -2). Let b(g) = 16*g + 3*g**2 - 2*g**2 + 1 + g**2. Is 31 a factor of b(l)?
False
Let a = 886 - 224. Let f = 994 - a. Is 14 a factor of f?
False
Let f = 18170 + 7366. Does 6 divide f?
True
Let a(k) = -26*k - 932. Let w(m) = 10*m + 311. Let h(i) = -3*a(i) - 8*w(i). Does 9 divide h(34)?
False
Let i = -11389 - -16304. Is i a multiple of 7?
False
Suppose 0 = -6*k + j + 57148, 47657 + 13 = 5*k + 5*j. Does 11 divide k?
True
Suppose 0 = -53*b + 166826 + 50633. Is 11 a factor of b?
True
Let n(q) = 39*q**3 - 5*q**2 + 90*q - 16. Is n(9) a multiple of 20?
True
Suppose -2*t - 175 - 4 = -3*q, t - 3*q + 85 = 0. Suppose -3 = -3*n, -4*u + 3*n = 165 - 730. Let m = u + t. Is 12 a factor of m?
True
Let h = -11068 - -23950. Is h a multiple of 68?
False
Let o(z) = z**3 - 9*z - 9. Let f(u) = -u + 12. Let s be f(14). Let n be o(s). Is (48 - 50)*(-18 + n/(-1)) a multiple of 17?
False
Suppose 0 = 6*w - 5*w - 11. Suppose 66 = w*h - 9*h. Suppose -4*v + 4*g = -200, 4*v - 233 + h = 3*g. Does 10 divide v?
True
Let j = 10513 - 7203. Suppose 5*p + 1325 = 2*h + 4*p, 0 = 5*h - 5*p - j. Is h a multiple of 51?
True
Let k(b) be the second derivative of 13*b**3/3 + 9*b**2 + 5*b - 1. Is 22 a factor of k(2)?
False
Let w(z) = 2318*z**3 + 3*z**2 + 69*z - 134. Is w(2) a multiple of 232?
True
Suppose -2*t + 8*d - 11*d + 5167 = 0, -5*t + 12984 = -2*d. Is t a multiple of 11?
False
Let t(g) = 23*g + 9*g - 5 - 18 + 3. Is t(3) a multiple of 5?
False
Let x(q) = 2*q**3 - 2*q**2 + q - 1256. Let l be x(0). Let c = l + 2140. Does 26