. Let n = 160 + d. Does 41 divide n?
False
Suppose 1037 = 3*v - 1273. Suppose 4*j - 9*j + v = 0. Suppose 5*i + 14 = j. Does 14 divide i?
True
Let d(u) = -9*u - 481. Does 46 divide d(-66)?
False
Let y = 924 + -235. Is 53 a factor of y?
True
Is 18 a factor of (0 - (6 + -5)) + 379 + 0?
True
Suppose 0 = w - 2 - 0. Suppose -w*l = -0*l - 10. Suppose 135 = 3*s - l*h, -4*s + 180 = h + 2*h. Is 13 a factor of s?
False
Suppose q + 5*i = -10 - 6, 0 = -4*q - i + 12. Suppose 96 = 3*n - n. Suppose k = -j + 22, 2*j - n = k - q*k. Does 9 divide j?
True
Suppose 12 = 4*z, 2*z - 101 = -3*o + 40. Suppose y = -5*n + o - 14, 3*n = 3*y - 39. Does 4 divide y?
True
Suppose 0 = -o - 5*x + 106, 71 = o - 3*x + x. Suppose -6*t + 39 = -o. Does 2 divide t?
True
Let t(m) = 2*m**2 + 11*m + 7. Suppose -5*k - 21 = -4*r, -5*k - 2*r = 3*r + 30. Let l be t(k). Suppose -h + 14 = -l. Is h a multiple of 8?
True
Let f be 4*((-5)/(-2) - -1). Let m be (-63)/f*76/6. Let t = -36 - m. Does 8 divide t?
False
Suppose j - 164 = -159. Suppose -j*o + 3*o = -446. Does 62 divide o?
False
Let u(s) = s**3 + 7*s**2 + 3*s - 3. Suppose 6*w + 16 - 4 = 0. Is 5 a factor of u(w)?
False
Let l = 126 + -107. Does 18 divide l?
False
Does 35 divide (25168/20)/4 + (-22)/(-55)?
True
Let j be (-2 - 117/6)*4. Let v = j + 96. Does 8 divide v?
False
Suppose -2*h + 12 = p - 12, -5 = -5*h. Let v = -44 - p. Is 9 a factor of -1*1*(v - -7)?
False
Let i = -15 - -20. Suppose i*h - 21 = 2*n, 4*n - h - 3*h + 12 = 0. Suppose -3*l = -u + 22, -n*u + 4*u + 4*l = 14. Is u a multiple of 13?
True
Let g(q) be the second derivative of q**5/30 - q**4/8 + q**3 + 5*q**2/2 - 7*q. Let c(o) be the first derivative of g(o). Does 7 divide c(4)?
False
Let v be -1 + (-2 - (-2 + 3)). Let s(y) be the first derivative of y**3/3 + 3*y - 79. Does 19 divide s(v)?
True
Let y(u) = 6*u**2 + 2*u + 2. Let o be y(-1). Does 16 divide (8 - 3 - o)*-287?
False
Let m = -9 - 21. Let f = m - -21. Does 2 divide 0 + 6 - (f + 8)?
False
Let z(c) = c**3 - 31*c**2 + 44*c + 29. Does 33 divide z(30)?
False
Let y(j) = -7*j - 3. Let v be y(-1). Suppose 7*z - v*z = 21. Does 2 divide z?
False
Let f(n) = 58*n**2 + 27*n + 42. Is f(-8) a multiple of 14?
False
Suppose 4*m + 2*b = -16, -3*m + 2 = -2*b - 0. Is (-94)/m - 2/2 a multiple of 10?
False
Let q = 85 + -77. Let p(l) = -l**3 + 8*l**2 + 4*l. Does 7 divide p(q)?
False
Let r = -55 - -51. Let o(d) = -d**3 - 2*d**2 + 3*d - 10. Is o(r) a multiple of 5?
True
Let l(q) = -4*q - 3 + 0 + 20. Does 20 divide l(-4)?
False
Suppose -3*r + 2*c = -c + 3, 0 = 2*r - 3*c + 7. Suppose 3*n + 2*n + 298 = r*d, 156 = 2*d + n. Is d a multiple of 7?
True
Suppose 2*t - 191 = t + 5*k, 4 = 4*k. Does 7 divide t?
True
Let u be 159/(-4)*(9 + -5). Let j = -64 - u. Is 19 a factor of j?
True
Let g(t) be the first derivative of -t**4/12 - 2*t**3 - t**2 - 5*t + 4. Let b(m) be the first derivative of g(m). Is b(-8) a multiple of 10?
True
Suppose 3*f - 128 = 175. Does 44 divide f?
False
Suppose -211*a = -216*a + 480. Is a a multiple of 6?
True
Suppose -2*l = 3*l - 10. Suppose l*p - 4*j = 164, 3*p - 247 = -0*p + 5*j. Suppose 3*y - 4*f = 250, -y + 2*f = -0*f - p. Does 33 divide y?
False
Suppose 0 = -3*j + 3*n + 720, -4*n - 657 - 64 = -3*j. Does 34 divide (-1 - j)/(-2) + (2 - 1)?
False
Suppose 92 = 3*m - 766. Is 7 a factor of m?
False
Is 31 a factor of (2 - -29)*119/7?
True
Suppose -2*k + 4*b = 102 - 564, 2*k + 4*b = 438. Is k a multiple of 3?
True
Suppose 4*t = 2*b - 3174, 3*b + 7*t - 4751 = 11*t. Is 12 a factor of b?
False
Let o(q) = 174*q**2 + 35*q + 110. Is o(-4) a multiple of 38?
False
Suppose 0 = -v - 4*p + 218, 2*v + 2*v = 5*p + 956. Does 9 divide v?
True
Let q = 4 + -11. Let o(b) = -b**2 - 11*b - 14. Is 8 a factor of o(q)?
False
Suppose -3*d + 58 = 13. Does 15 divide d?
True
Does 5 divide (8*-13)/(9/(-2) + 4)?
False
Let v(h) = -3*h - 10. Suppose -2*t - 15 - 4 = 3*r, -5*r - 5*t - 35 = 0. Let y be v(r). Suppose -w + 10 = y. Is w a multiple of 3?
False
Let f(k) = -k**2 - 12*k - 14. Let p be ((-24)/(-18))/(1/(-3)). Let w be (p + -11)/((-3)/(-2)). Does 5 divide f(w)?
False
Suppose -w - 3077 = -4*u, 3*u + 2*u + 5*w = 3815. Is 12 a factor of u?
True
Let n be (12/(-10))/((-3)/30). Suppose 3*a + 9 = 2*q - n, -2*q + a + 23 = 0. Is 6 a factor of q?
True
Let i(s) = 2*s. Let r be i(2). Suppose 0 = -2*k - 8, 3*q = -q - r*k - 32. Let y(n) = n**2 + 4*n + 2. Is 2 a factor of y(q)?
True
Suppose -2*i = 4*m + 598, 2*m + 2*i - 17 + 311 = 0. Let k be m/(-36) - 4/18. Is 6 a factor of -4*(-3)/k - -18?
False
Let j(m) = 3*m - 10. Let p be j(8). Let x(u) = -3*u + 2*u + u + p*u. Is x(1) a multiple of 10?
False
Let n(w) = -2*w + 401. Does 16 divide n(10)?
False
Suppose 179 - 163 = -4*x. Suppose 4*q - 77 - 103 = 0. Does 19 divide q - (-3 + 3 - x)?
False
Let q be (-8)/(-40) - (-1 + (-1248)/10). Is 14 a factor of ((-5)/15)/((-3)/q)?
True
Suppose 18*i + 1635 = 7053. Is i a multiple of 17?
False
Let c(v) = -4*v**3 - 7*v**2 - 2*v + 16. Is c(-5) a multiple of 27?
True
Let c(b) = -4*b**3 - 21*b**2 + 2*b**3 - 10 + 3 + 36*b**2 - 3*b. Does 7 divide c(7)?
True
Let j = 13 + -3. Let u be 8/20 - 34/j. Does 21 divide u - (-118)/(-2)*-1?
False
Suppose -2*z - 27 = -7. Does 11 divide 55/z*2*-2?
True
Let w(o) = 125*o - 1. Let v be (-7)/(-7)*(0 + -1). Let d be w(v). Does 18 divide d/12*(-72)/14?
True
Let h(b) = b**2 + b - 8. Let k be h(6). Let o = 37 - k. Suppose -3*a - 4*v + 118 = 0, -o*a + 2*v - 7*v + 116 = 0. Does 5 divide a?
False
Let t(b) = b**3 - 6*b**2 + 4*b + 7. Let c be t(5). Let q = 21 + -15. Does 23 divide 7*c*q + -3?
False
Let b(a) = -3*a**3 + 13*a - 18. Let o(q) = -7*q**3 + q**2 + 25*q - 37. Let x(i) = 9*b(i) - 4*o(i). Is x(6) a multiple of 40?
True
Let w(i) = 7*i**2 + 9*i + 2. Let c(y) = -y**3 + 2*y**2 - y - 2. Let b be c(2). Does 26 divide w(b)?
True
Suppose -4*b + b + 9 = 0. Suppose b = l + 13. Let k(p) = -p**3 - 10*p**2 - 2*p. Is 19 a factor of k(l)?
False
Let v(t) = 20 - 9*t - t - 9 + t**2 + 0*t. Let i be v(7). Is 22 a factor of (14 - 0)*(-20)/i?
False
Let w(f) = f**3 + 13*f**2 - 3*f - 13. Suppose 0 = p - 2. Let v be p/7 - (-1116)/(-84). Is 5 a factor of w(v)?
False
Let o(t) = -t**2 - 10*t - 1. Let b be o(-9). Let y be 7/(14/b) + 2. Suppose -v + y*v = 315. Does 21 divide v?
True
Let d(x) = x**2 + x - 25. Let h be d(-6). Suppose -q + 273 = h*z - 89, 5*z = q + 358. Is 6 a factor of z?
True
Suppose -2324 = -8*m + m. Does 15 divide m?
False
Is 69 a factor of 2054*((-30)/(-12) + -2)?
False
Does 46 divide (42 - 59)*82/(-2)?
False
Suppose -26*o = -33*o + 1120. Does 16 divide o?
True
Let l(i) = 24*i - 4. Let q(f) = 6*f - 1. Let d(x) = -2*l(x) + 9*q(x). Let u be d(9). Suppose 87 = 2*r - u. Is 25 a factor of r?
False
Let y(a) = a - 3. Let s be y(5). Let t be 8 + (-3 - 2) + s. Suppose -2*h + 4 = 0, -2*h = -t*g + 110 + 261. Is 23 a factor of g?
False
Suppose -5*b + 4*u = -2*b - 30, u - 73 = -5*b. Suppose 9*x = 7*x + b. Is 7 a factor of x?
True
Let l = 730 + -225. Is 20 a factor of l?
False
Suppose 227*f - 253*f + 16796 = 0. Is f a multiple of 10?
False
Suppose 0 = 5*f - 15, 2*m + f - 125 = -4*f. Suppose -14*u = -m - 183. Is u a multiple of 6?
False
Let b = 59 - 30. Let r = 40 - b. Is 4 a factor of r?
False
Let b(z) = -1. Let m(l) = -11*l - 32. Let g(h) = -5*b(h) + m(h). Is 15 a factor of g(-11)?
False
Let v(o) = -o**2 + 3. Let q be v(7). Suppose -a = -3*a + 162. Let z = a + q. Does 24 divide z?
False
Let b(g) = g**2 + g - 1. Let u(q) = 5 + 14*q**2 - 3*q - 3*q + 2*q. Let f(c) = 5*b(c) + u(c). Is 14 a factor of f(1)?
False
Let l = 4 - -1. Let r = 8 - l. Suppose -r*f - 17 = 4*i - 94, f = 3*i + 17. Is 12 a factor of f?
False
Let g(v) = 4*v**2 + 17*v - 12. Let a(l) = 9*l**2 + 35*l - 25. Let x(m) = -3*a(m) + 7*g(m). Suppose 0 = -0*j - j - 16. Is x(j) a multiple of 5?
False
Let w = 860 + -668. Is 16 a factor of w?
True
Let r(x) = -x**3 + x**2 - 4*x + 400. Let p be r(0). Suppose 5*s = p + 280. Is 34 a factor of s?
True
Let p = 163 - 108. Suppose -4*c = -5*k - 31, -k = -3*c - 2*k + 47. Let b = p - c. Does 14 divide b?
False
Suppose -5*t + 2*z + 2114 = -903, 3*t + z - 1819 = 0. Does 18 divide t?
False
Suppose -8595 = -5*v - 8*i + 11*i, 0 = 3*i + 15. Is 33 a factor of v?
True
Let h(z) = z**3 + 15*z**2 + z + 15. Let u be h(-15). Suppose 6*o - o - 80 = u. Does 6 divide o?
False
Let k(c) = 5 + 14*c - 4 - 4 - 1.