et q be a(3). Does 17 divide q + (0 + 2)*(4 - 2)?
False
Suppose 19*u - 210437 - 73120 = -84969. Is u a multiple of 13?
True
Let r(z) = -7*z - 7. Let b be r(-2). Let o(v) = -v + 5. Let k be o(b). Let g = k - -13. Does 10 divide g?
False
Let b = 159 + -113. Is 5 a factor of (-86 + b)*(0 - 2)?
True
Suppose 4*k = -2*f + 2, k + 5*f + 0 + 13 = 0. Suppose 6*n - k*n = 4. Is 24 - (-1 + n) - 0/(-2) a multiple of 4?
True
Let l(u) = 6*u**2 + 15*u + 10. Suppose -4*f = -34 - 38. Suppose f = -11*d + 8*d. Is l(d) a multiple of 20?
False
Let y(i) = 148*i**3 + 3*i**2 - 4*i + 2. Let r be y(1). Let d = 257 - r. Is 14 a factor of d?
False
Suppose -5*s = 4*z - 4748, 0*z = -2*z + s + 2360. Suppose -62*x - 19*x = -162. Suppose -3*t + 2*k + x*k = -715, -3*k = 5*t - z. Is t a multiple of 29?
False
Let m(g) = 38*g**2 - 18*g - 95. Is 27 a factor of m(14)?
True
Let x be 6 + 0 - (-7 - (-70)/7). Suppose -x*w + 222 = -273. Suppose -j - 2*k + 150 = 0, 5*j + k - 585 = w. Is j a multiple of 25?
True
Suppose -4289 = -3*a + j, 7154 = 5*a + 10*j - 6*j. Let i = 2126 - a. Is 12 a factor of i?
True
Let j(u) = -50*u - 2. Let n be j(-4). Suppose 0 = a + 378 + n. Is a/12*(-4)/6 a multiple of 10?
False
Let v(p) = p**2 - 2*p + 1. Let l be v(1). Suppose -4*r = -l*r - 4. Is 2/1 + (-47)/(-1)*r a multiple of 12?
False
Is 12 a factor of (-2)/(-20 + 2) - 850622/(-1818)?
True
Suppose 4*y = -2*b + 3*b - 3844, 0 = -3*b + 5*y + 11567. Is b a multiple of 28?
True
Let m(h) = -54*h**3 + h**2 - 44*h - 129. Is 21 a factor of m(-3)?
True
Let k(h) = h**3 + 7*h**2 - 7*h - 46. Let a be k(-7). Let c = 53 + -10. Suppose j - a*p - p - c = 0, 3*p = -2*j + 64. Does 7 divide j?
True
Let j(z) = -2*z**3 - 12*z**2 + 15*z + 41. Suppose 38*h - 60*h - 220 = 0. Is j(h) a multiple of 18?
False
Let y(d) = 6*d**2 - 78*d + 1074. Does 33 divide y(-35)?
True
Does 16 divide (-1244)/(-4) + -6*(-12)/8?
True
Suppose 2*c = c - m + 1005, -3*c + 3009 = 5*m. Is c a multiple of 48?
True
Let a be 14 + -18 + 1*3*2. Suppose -1193 = -a*b + 503. Does 35 divide b?
False
Suppose 0 = 2*h + 1 - 15. Suppose 22*c = 160 - 28. Suppose -h*r + 167 = -c*r. Is r a multiple of 49?
False
Let y be (-12075)/(-92) + (-3)/(-4). Let m = 284 - y. Does 23 divide m?
False
Suppose 0 = -5*q - 45, -3*y - 2*q - 434 = -5156. Does 18 divide y?
False
Suppose 26*d - 24*d = 2*u - 33260, 0 = -5*u + d + 83150. Is 25 a factor of u?
False
Suppose -3*d - 3*d + 30 = 0. Suppose -4*n = i - 262, 5*i + 55 = d*n - 285. Suppose 4 = -4*x, 0*z - 3*z - 3*x = -n. Is z a multiple of 6?
False
Suppose -13*u = -4295 - 5858. Is u a multiple of 140?
False
Let d be (-1)/((-3*(-1)/(-87))/1). Suppose -3*u = -5*a - 1656, -4*u - d*a + 2208 = -25*a. Is u a multiple of 69?
True
Let j(o) = 14*o**2 - 50*o - 38. Does 6 divide j(-5)?
False
Suppose 319*d + 95368 = 438*d - 326963. Is 3 a factor of d?
True
Suppose -i = -4*y + 21, -3*y - 2 = -4*i - 21. Suppose 3*c = n - 0*n + 24, -5*c = y*n - 20. Suppose c*s - 163 = -16. Is 4 a factor of s?
False
Let i(f) = f**3 + 10*f**2 + 2*f - 3. Let x be (14/147*7)/(4/(-138)). Let q(d) = -d - 32. Let y be q(x). Does 15 divide i(y)?
True
Does 23 divide (39/(-26))/(5/(327440/(-12))) + 2?
True
Let q = -45 + 49. Suppose w = -q*l - 28, 3*w - w - 2*l = -26. Let a = 112 - w. Is 32 a factor of a?
True
Suppose 9813 = 6*k - 17181. Is k a multiple of 73?
False
Let h = -766 - -228. Let u = h - -912. Is u a multiple of 11?
True
Let p = -60 + 28. Let c = p - -34. Suppose c*w = -5*x + 52, -3*x - 114 = -4*w - 8*x. Is w a multiple of 11?
False
Let g(j) = 2*j**3 - 2*j**2 - 3*j + 3. Let y be g(-4). Let a(l) = 26*l - 8. Let t be a(10). Let q = t + y. Is q a multiple of 15?
False
Is (-42)/((-10)/8 + (-91)/(-364)) a multiple of 14?
True
Let b = 250 - 258. Is (-2)/(-8) + (-2382)/b a multiple of 13?
False
Suppose -3*q + 28 = -5*l, -5*l + q - 27 = -q. Does 5 divide 5 + (l + 2 + -467)/(-2)?
True
Is 13 a factor of ((-1)/((-14)/18840))/((-2)/(-7))?
False
Suppose -5*t + 133*f = 129*f - 27980, 22378 = 4*t - 2*f. Does 12 divide t?
True
Is 9 a factor of 12/(-28)*-1 + 106680/98?
True
Let z = 51 - 49. Let d = z + 3. Suppose 0 = 4*o - d*l - 72, -2*o + 46 = l + 10. Does 18 divide o?
True
Let y(s) = -s**3 + 5*s**2 - 9*s + 19. Let c be y(4). Is 74 - ((0/3)/c - -4) a multiple of 2?
True
Let q be -1*((-2)/(-2) + -1). Let k(c) = 5 + 2 + q*c - 4 - c. Is k(-9) even?
True
Let i = 7016 - -598. Is i a multiple of 18?
True
Let m = -224 + 227. Suppose -4*h - 3*g + 1735 = 0, -5*h = -m*h + 5*g - 857. Does 17 divide h?
False
Let h(t) = 3*t**2 - 133*t + 38. Is h(-79) a multiple of 24?
False
Let v(w) = 22*w**3 + 10*w**2 - 11*w + 73. Does 16 divide v(6)?
False
Let x be (-40)/18 - (60/(-27))/10. Let i be (-2)/7 + (-318)/14 + x. Does 20 divide ((-30)/i)/((-6)/(-340))?
False
Let x be (-1)/((-12)/(-9)) + (-113919)/(-52). Suppose 0 = -3*y + x + 303. Does 42 divide y?
False
Let z be 3*-1*(-38 + 5). Let l = z + 393. Is l a multiple of 6?
True
Suppose -301*i - 77299 + 4845139 = 0. Is 44 a factor of i?
True
Is 56 a factor of (-8)/(-220) + (-12523204)/(-2090)?
True
Suppose 17*b - 10 = 75. Suppose -380 = -b*s + 610. Is s a multiple of 18?
True
Suppose r + 2*j = -0 + 22, -2*r + 9 = -3*j. Suppose -r = -3*q + 3. Suppose 0 = -q*u - 29 + 79. Is 10 a factor of u?
True
Suppose 5*x = t + 16 + 11, 5*t - 4*x + 30 = 0. Let h be 0/((7/21)/(t/(-6))). Suppose l - 5*l + 768 = h. Is l a multiple of 37?
False
Let d be (2075/50)/((-2)/(-4)). Suppose -86*w = -d*w - 540. Is 63 a factor of w?
False
Suppose -2*f - 4274 = -a, 4*f = 5*a - 6486 - 2074. Let b = f - -3294. Is b a multiple of 19?
True
Suppose -6*b = -10*b + 6900. Suppose 0*z - b = -15*z. Suppose -g + 68 = -4*v, 3*g - v = g + z. Does 13 divide g?
False
Let q(h) = -8*h**3 + h**2. Let i be q(-1). Suppose 0 = -1812*j + 1825*j + 195. Is 18 a factor of 31 - 5/(j/i)?
False
Suppose -4*o - 24 = 4*z, 22 = -5*z - 2*o - 8. Let m(n) = -138*n + 32. Is m(z) a multiple of 43?
True
Let h(j) = -j**3 + 29*j**2 + 68*j - 554. Does 22 divide h(28)?
True
Let o(f) be the third derivative of -f**5/60 + 13*f**4/24 + 9*f**3 + 2*f**2 - 35. Does 3 divide o(14)?
False
Let w = 210 + -198. Does 5 divide -4*((-405)/w)/3?
True
Suppose w - 2*b - 32 = -4*w, 5 = -5*b. Suppose 0 = -w*g - 146 - 274. Let t = g + 124. Is t a multiple of 18?
True
Let x(t) = -26*t - 46. Let g be x(-5). Is (-36*1)/(g/(-35) + 2) a multiple of 3?
True
Suppose 2 = 2*p, -g - 4*g - p = -21. Suppose -242 = -g*b - 106. Does 3 divide b?
False
Let j = 32 + -20. Let z be 4 + 5/(-1) + j. Suppose -34 = -z*i + 989. Is i a multiple of 31?
True
Let n = 428 - -1177. Is 15 a factor of n?
True
Let t be (-6)/(-3 - (-2)/1). Suppose t*n - 65 = -17. Is 16 a factor of -128*(20/n + -3)?
True
Suppose 0 = -2*t, 3*t + 12 = -0*v + v. Suppose -14*b + v*b = -810. Does 27 divide b?
True
Suppose 19659 = -25*q + 26*q + r, 2*q - 39255 = 5*r. Is 5 a factor of q?
True
Suppose -90*q = -130876 - 1478594. Is q a multiple of 48?
False
Let c be ((-30)/(-6))/(1/5). Let t(i) = 21 - 42 - 8*i + c. Does 11 divide t(-8)?
False
Is 6197796/329 - 80/35 a multiple of 8?
False
Let f = 52 + -36. Suppose f*z - 93 - 67 = 0. Does 2 divide z?
True
Let z(i) = 1286*i + 1062. Does 19 divide z(6)?
True
Suppose -x - 747 = -2*f, 0 = 3*f + f - 3*x - 1491. Let z = -623 + 629. Suppose f = -q + z*q. Is 13 a factor of q?
False
Let z(i) = i**3 - 22*i**2 + 8*i - 13. Let w be z(22). Suppose -10 = n - 3*n, -a + w = n. Is a a multiple of 3?
False
Suppose -6574 - 11996 = 6*w. Let j = -1906 - w. Is j a multiple of 29?
True
Suppose 5*y = -20, 5*t + 0*y + 4*y + 56 = 0. Let z(u) = 3*u**2 + 3*u - 8. Is z(t) a multiple of 14?
False
Let q(o) = -167*o - 66. Let u(s) = -500*s - 196. Let y(n) = 8*q(n) - 3*u(n). Does 20 divide y(5)?
True
Suppose 9*b - 13 = 41. Let g be (-28)/b*(3/(-6) + 2). Is (1 - 3)*7*g - -2 a multiple of 20?
True
Suppose 5*v + 375 = 5*c, 2*v + 3*c - 71 = 3*v. Is 19 a factor of (-110)/v + -1 - (-11712)/14?
False
Suppose -108 = -31*y + 37*y. Does 6 divide 12 + y/5 + (-51)/(-85)?
False
Let n(k) = -372*k - 1430. Is n(-11) a multiple of 3?
False
Is 34 a factor of ((-68)/(-12))/((-173)/(-337350))?
True
Suppose -35280 = -931*m + 911*m. Does 9 divide m?
True
Suppose 0 = 4*t - 2*f - 2450, 2982 + 78 = 5*t - 5*f. Let l = t + -252. Does 39 divide l?
False
Suppose -661*z - 26486 = -4*m - 659*z, -2*z - 33106 = -5*m. Is m a mu