 0 = -8*u + 11596 - 3324. Suppose -618 = 3*d - 2*t, 4*t + u = -5*d + 6*t. Let b = -18 - d. Does 19 divide b?
True
Let c(s) = -2*s**3 + 6*s**2 + 3*s + 5. Let a be c(4). Let q(p) = -24*p - 50. Does 31 divide q(a)?
True
Let r be (-1 - -5) + (-6 - (5 - 372)). Suppose -8*m + 10*m - 3*a - 141 = 0, 5*m + 5*a - r = 0. Is m a multiple of 6?
True
Let u be (-464)/(-6) - (16/12 + -1). Let w = u - 25. Suppose r + 5*k = k + w, 0 = -3*r + 2*k + 128. Is r a multiple of 18?
False
Let s = 80 + -77. Suppose -u - o = -54, -4*o - 3 = -s*u + 138. Is u a multiple of 8?
False
Suppose -11*j + 18 = -2*j. Suppose 7 = j*o - 0*r + r, 12 = 3*o + 3*r. Suppose -5*n + 82 = d, o*d - 107 = -5*n + 159. Is d a multiple of 18?
False
Suppose 4*z - 142 = -3*h + 1090, 0 = -5*h - 5*z + 2050. Does 3 divide h?
True
Let q(h) = h**3 + 17*h**2 + 9*h + 165. Is 150 a factor of q(15)?
True
Suppose 2*f + 0*u + u + 8 = 0, f - 7 = 5*u. Let o(g) = 8*g + 46. Let l be o(-6). Is l + 20 + f + 6 a multiple of 3?
True
Suppose -49023 + 144027 = 28*b. Is 23 a factor of b?
False
Let n = 224 + 760. Is n a multiple of 82?
True
Let g(u) be the second derivative of 25*u**4/12 + u**3/2 + 3*u**2/2 + 8*u + 5. Does 68 divide g(-2)?
False
Suppose -3144*j - 95 = -3139*j. Let v(r) be the first derivative of -r**3/3 - 21*r**2/2 + 14*r + 3. Does 26 divide v(j)?
True
Suppose -3*h + 310 = 7*h. Suppose -4*c - 154 = -3*o, -h - 21 = -o + 2*c. Is 10 a factor of o?
True
Let w(o) = -5*o**2 + 23*o - 17. Let f be w(8). Let a = 241 + f. Does 11 divide a?
True
Let n(s) = -49*s**2 + 1. Let j be n(-1). Let y = 32 + j. Let f = y + 133. Is 16 a factor of f?
False
Let k be -4 + 9 + (-1 - 4). Suppose -4*m - 3*u + 272 = 0, -u + 240 = 3*m + 36. Suppose 4*o = -k*o + m. Does 2 divide o?
False
Let n = 19742 + -6198. Is 60 a factor of n?
False
Let q(r) = 2*r**2 - 15*r - 13. Let l(t) = -37 + 14*t - 16*t + 14*t. Let h be l(4). Does 8 divide q(h)?
True
Suppose w - 225 = -2*u, -4*w + 624 = 4*u - 252. Does 2 divide w?
False
Let d be (-5 - (-5)/3)*-36. Let a = d - 107. Is a a multiple of 2?
False
Suppose 388 = -4*j + 4*r, 3*j - r = 7*j + 398. Let a = j - -128. Does 5 divide a?
False
Let g = -14168 + 15706. Is g a multiple of 2?
True
Let u = -6616 - -7100. Is 10 a factor of u?
False
Let d(m) = -m**2 + 8*m - 11. Let w be d(2). Let h be w + -3 - -5 - (13 + -1). Let j(t) = 2*t**2 + 7*t - 5. Is 7 a factor of j(h)?
False
Let o(z) = 3*z**2 + 29*z - 5. Suppose 4*p + 55 = -5*w, 2*p + 22 = -5*w - 13. Let j be o(p). Suppose -8*m + j*t = -5*m - 250, -80 = -m + t. Is 4 a factor of m?
False
Suppose 3*b + 3*b = 24. Let m(j) = -b - 243*j - j**2 + 0*j**2 + 234*j. Is 2 a factor of m(-7)?
True
Suppose 0*t - 48 = 18*t + 6*t. Let q(p) = -206*p - 13. Let y(f) = 103*f + 7. Let n(z) = -3*q(z) - 7*y(z). Is n(t) a multiple of 10?
False
Is 12/(-27) - 42929488/(-1764) a multiple of 156?
True
Let g = -4855 + 8713. Is g a multiple of 37?
False
Let p = -393 + 692. Let a = 329 - p. Does 10 divide a?
True
Let j be ((-3)/2)/((-141)/470). Let t(c) = -12*c**2 + 83*c + 6. Does 3 divide t(j)?
False
Let i(y) = 3*y**3 - 38*y**2 + 8*y - 223. Is i(19) a multiple of 53?
False
Let u(f) = f**3 - 8*f**2 - 37*f + 256. Let l be u(9). Suppose 2 = 2*b + 2*o, 5*o = -2*b + 7*b - 5. Does 13 divide ((-78)/(-24))/(1/l*b)?
True
Let d(q) = -q**3 - 14*q**2 - 58 + 105 - 71 - 12*q. Does 48 divide d(-14)?
True
Let c(z) = 2*z**2 - 2*z + 9. Let u(k) = -k**2 + k - 2. Let p(w) = -c(w) - 4*u(w). Does 2 divide p(-2)?
False
Let f = 117619 + -82287. Is f a multiple of 14?
False
Let z(k) = k**3 + 6*k**2 - 2*k - 12. Let c be z(-5). Suppose -g - 22 + c = 0. Suppose -3*m - 13 = -g, -2*m = -4*n + 152. Is 8 a factor of n?
False
Let r(x) = -36*x - 73. Let h be r(-3). Suppose 0 = 8*w - h - 949. Is 3 a factor of w?
True
Suppose 2*o + 301 = 311. Suppose 73 = o*v + 4*x - 211, 0 = -v + x + 55. Is v a multiple of 40?
False
Let x = 18 - -26. Let l(k) = 2*k**2 + k - 259. Let q be l(-11). Let j = x - q. Is j a multiple of 23?
False
Let o(j) = -8*j - 127. Let t(y) = 7*y + 128. Let c(s) = -6*o(s) - 5*t(s). Does 41 divide c(19)?
True
Let n(i) = -i**3 + 38*i**2 - 95*i + 221. Is 11 a factor of n(26)?
True
Let s = -122 + 123. Let l(c) = -7 - 4*c + 6*c - 4 + s + c**2. Is 38 a factor of l(-8)?
True
Suppose 5*u + 5 - 25 = 0. Suppose 13*l - 396 = u*l. Let y = l - -17. Is y a multiple of 9?
False
Suppose 2*t - 2124 = 1468. Suppose 3*y - 505 - t = 0. Is y a multiple of 8?
False
Suppose -382 - 1158 = 20*k. Is 75 a factor of 1/(1 + 10) + (-11543)/k?
True
Let a = 15951 + -11688. Is a a multiple of 25?
False
Let i be 28/63 + (-129136)/(-72). Suppose 531*h - 525*h = i. Does 13 divide h?
True
Suppose -76*q - 3108 = -88*q. Let r = 332 - q. Does 14 divide r?
False
Let g(v) = -8*v + 24. Let q be g(-6). Suppose -2*b = -5*a - 929, 0 = -b - 0*a + 2*a + 466. Suppose 10*x + q - b = 0. Does 12 divide x?
False
Suppose -4*u - 5*a - 157 = 146, 353 = -4*u + 5*a. Let z = -59 - u. Suppose 22 + 36 = 3*j - 2*b, -j = 3*b - z. Is 10 a factor of j?
True
Let s be 8/(-16) + (-8540)/(-8). Let j = s + -392. Is j a multiple of 45?
True
Let q = 695 + -223. Does 24 divide q?
False
Let l = 289 - 298. Is 3804/32 + l/(-72) a multiple of 21?
False
Let l = 51 - 74. Is 17 a factor of (l - -218)/(1 + 2 + -2)?
False
Let z(r) = -r - 1. Let o be z(-3). Let g be 6/((-1)/o - (-2 - 0)). Suppose -f = g*m - 244, 111 = 2*f + 3*m - 357. Is f a multiple of 43?
False
Suppose -z = 5*j - 19, -4*j - 3 = -15. Suppose 3*l - 461 = z*v, 2*v + 5*l + 77 = -160. Let w = v + 212. Does 8 divide w?
True
Suppose 22*i - 16*i - 984 = 0. Let l = -71 + i. Is l a multiple of 20?
False
Let r(n) = -5*n**3 - 169*n**2 - 38*n - 69. Does 21 divide r(-34)?
False
Let l = -29 - 18. Let h be 0 - 0 - (2 - l). Let j = h + 69. Does 10 divide j?
True
Suppose -9 = -2*b + 3*k, k + 4*k + 30 = 5*b. Let m(v) = 4*v + b*v - 13 - 19*v - 11. Is 13 a factor of m(-8)?
False
Suppose 0 = 5*n + 15, 3*x - n - 816 = n. Is x a multiple of 15?
True
Let f(h) = -h**2 + 45*h + 328. Let j(z) = 7*z - 63. Let c be j(9). Is 49 a factor of f(c)?
False
Suppose 5*a - 719 = 4*x + 1185, 2*x - 1898 = -5*a. Let p be (-3)/18 - a/24. Let n = 22 + p. Does 4 divide n?
False
Suppose 13*j - 3970 = 8*j + 5*k, 3*k + 3174 = 4*j. Suppose 7*q - j = -4*q. Is q a multiple of 8?
True
Suppose 19*v - 6*v = -3081. Let f = 70 + v. Let c = 247 + f. Does 8 divide c?
True
Suppose -6*j - 5*t = -j - 45, 0 = 5*j + 3*t - 37. Suppose -14 = 3*l - 5, -j*l = i - 147. Does 9 divide i?
True
Let i be 1/(1 + (-308)/304). Let u = i - -560. Is u a multiple of 44?
True
Let b = -22 - -20. Let r(p) = 13*p + 9. Let k(j) = -2*j + 3. Let u(x) = 5*k(x) - r(x). Is 7 a factor of u(b)?
False
Let y be 3/(-6)*2 - -3. Let n = -25 + 30. Suppose 5*c - 59 = y*c - 2*l, 0 = n*c + 2*l - 97. Is 19 a factor of c?
True
Let k(a) = -3322*a + 792. Is k(-4) a multiple of 110?
True
Let q be (-5720)/(-50) + (-2 - (-26)/10). Suppose 20 + 95 = 3*d + 4*x, -5*d - 5*x = -185. Suppose d*b + q = 38*b. Is 23 a factor of b?
True
Let w = -194 - -196. Suppose n = -5, w*y + n - 586 = -173. Is y a multiple of 19?
True
Let o(x) = 1841*x**3 - 19*x**2 + x - 3. Is o(1) a multiple of 13?
True
Suppose 0 = -f + 9 + 45. Let q be 2/7 + 1 + 25/35. Suppose 0 = -4*h - q*h + f. Does 2 divide h?
False
Suppose 0 = 5*m - 0*h + h + 101, -5*m = -3*h + 117. Let f be (-8)/(-6)*(m/(-6) - 2). Suppose 0*d + f*d = 70. Is 14 a factor of d?
False
Let f(q) = 5 + 5 + q**3 - 5 + 5*q**2 - 10*q. Is 5 a factor of f(4)?
False
Let o(q) = -2 - 10*q + 0 - 2 + 2. Let i = -137 + 126. Is 10 a factor of o(i)?
False
Let d be (-10)/(-35) + 13/14*74. Let t = 201 - d. Let b = t + -18. Is 15 a factor of b?
False
Suppose 1198 = 7*x - 27. Is 63 a factor of 490/x*(-3)/(-2)*60?
True
Let h(o) = -o + 21 - 53 + 29. Let t be h(-9). Suppose 0*b - t = 3*b, 3*b = -4*w + 162. Is w a multiple of 14?
True
Suppose -11*f + 8*f + 4*i + 4141 = 0, -2774 = -2*f - 4*i. Does 4 divide f?
False
Let t = 92 - 87. Suppose -t*j = -2*j - 2091. Does 41 divide j?
True
Let o(i) = -7*i - 197. Let w be o(-18). Let j = w + 91. Does 19 divide j?
False
Suppose 681912 = 664*z - 631*z. Is 6 a factor of z?
True
Let z(x) = -x + 168. Let a be z(20). Suppose 3*m - 268 = -4*y, a = 2*m - 3*y - 2*y. Is m a multiple of 64?
False
Suppose 0 = -4*c - 3*l + 6 + 475, 4*l = -5*c + 601. Let i = c + 51. Is i a multiple of 9?