 + -4. Let h = o - -135. Does 17 divide h?
True
Suppose 69 = z + 29. Is 2 a factor of z?
True
Suppose -241 + 65 = -y - 4*i, 820 = 5*y + 5*i. Let k be ((-1)/2)/((-16)/y). Suppose -w = -k*w + 140. Is 11 a factor of w?
False
Suppose -4*x + 9 = -f - 2, 8 = 2*x + 2*f. Suppose 0 = -2*c + c + 5*b + 42, x*b = -4*c + 145. Suppose 3*m - c - 5 = 0. Is m a multiple of 7?
True
Let l = 1180 + -715. Is 31 a factor of l?
True
Let f(r) = r**2 + r - 7. Let u(s) = -s**2 - 3*s + 13. Let c(o) = 7*f(o) + 4*u(o). Is 16 a factor of c(6)?
False
Is 98 a factor of 3/(9/84)*1323/18?
True
Is 9 a factor of (-9)/(-15) - (-42548)/20?
False
Suppose 1585*l = 1602*l - 1224. Is l a multiple of 24?
True
Is 50 a factor of (6 + 160/(-25))/(1/(-3910))?
False
Suppose 1015*i + 35721 = 1036*i. Is 27 a factor of i?
True
Let k = 14 - 9. Suppose k*y - 60 = y. Suppose 4*f - 36 - 17 = -3*x, 0 = -3*f + y. Does 6 divide x?
False
Let n(q) = q**3 - q**2 - q + 75. Let z be n(0). Is 25 a factor of (z/20)/(6/80)?
True
Suppose 3*v + 2*v - 20 = 0. Suppose 3*l - 12 = 5*a, -2*a + v = 5*l - 4*l. Suppose -l*z = -z - 153. Is 17 a factor of z?
True
Let u be (-174)/(-2)*(-5)/(-15). Suppose 0*r - u = -r. Let k = r - 11. Is 5 a factor of k?
False
Suppose 3*b = -4*m + 41, b - 2*m = -3*b + 18. Does 29 divide 1/((b/2)/7) + 85?
True
Let q = -75 - -73. Does 14 divide q/(2*(-5)/220)?
False
Let o = 38 + -33. Suppose 0 = -2*g + 4, 3*c = g - o*g + 74. Is 3 a factor of c?
False
Suppose 2*o - 30 = -3*o. Let z = o + -3. Suppose 0 = -0*g - z*g + 60. Is 20 a factor of g?
True
Let n = -17 - -27. Suppose 20 = -c - n. Let y = c + 33. Is y a multiple of 3?
True
Let m(z) be the second derivative of z**3/6 + 10*z**2 + 2*z. Is m(10) a multiple of 5?
True
Let j(n) be the second derivative of n**4/12 + 4*n**3/3 + 8*n**2 + n. Let m be j(-7). Is 4 a factor of m*3/((-3)/(-2))?
False
Suppose 0 = k - 5*k + 32. Let h(t) = 3*t + 6. Does 30 divide h(k)?
True
Let f(h) = h**3 + 3*h**2 - 5*h - 3. Suppose 0 = 3*s - 5*z - 10 - 9, -2*z - 13 = -3*s. Let i be 0/(1 - s) + 3. Is f(i) a multiple of 18?
True
Let d be (-1)/((-20)/(-35) + (-10)/14). Is 17 a factor of 5/((-10)/(-8)) - (-91)/d?
True
Suppose 5*d - 632 = 4*q + 1107, 3*d - 2*q - 1045 = 0. Is 39 a factor of d?
True
Let r(y) = -5*y + 6. Suppose k = -0*k. Suppose k = 4*h + 3*i + 18, h + h = 2*i - 2. Is r(h) a multiple of 7?
True
Suppose 3*t - 963 = -0*f + f, -5*f - 307 = -t. Does 23 divide t?
True
Let u(d) = -5*d + d**2 - d - d**3 + d**2. Let i(x) = x**3 - x**2 + 5*x + 1. Let b(l) = -4*i(l) - 3*u(l). Is b(-4) a multiple of 18?
True
Let f(o) = o**3 - 2*o**2 - 3*o + 3. Let j be f(3). Suppose 3*w + m - j*m - 50 = 0, -w = 5*m - 28. Does 18 divide w?
True
Let a = -14 + 10. Let v(h) be the second derivative of -13*h**3/6 + 2*h**2 + 3*h. Does 30 divide v(a)?
False
Suppose r + 424 = 5*p + 2*r, -r - 256 = -3*p. Is 5 a factor of p?
True
Suppose 3*m - 1126 - 1685 = 0. Does 31 divide m?
False
Suppose -3*b + 1 = -2*w, -b + 2*w + 7 = 4*b. Suppose -v - 134 = -3*i, -v - 109 = -b*i - 5*v. Is i a multiple of 16?
False
Is 18 a factor of (-46)/(-11) - 4 - 16826/(-22)?
False
Let q(c) = -2*c + 1. Let n be q(2). Suppose 5*d - 17 = -3*y, 5*d + 15 = -4*y + 31. Is 6 a factor of y/((-3)/27) - n?
True
Let w = 149 + -25. Suppose -b + 5*b - 116 = f, -4*f + w = 5*b. Is b a multiple of 7?
True
Let t = -11 + 14. Suppose t*l - 122 = -20. Suppose -p - 4 = -l. Does 15 divide p?
True
Suppose 2*g = -5*r + 7888, r + 6308 = 5*r + g. Suppose r = 6*y + 2*y. Is 25 a factor of y?
False
Suppose -8*i + 4*i = -104. Suppose -c + i = 2*r, 74 = 4*c - 2*r + 10. Is 6/c - (-238)/6 a multiple of 10?
True
Suppose -613 = -2*l - 3*p - 29, 4*l - 3*p - 1186 = 0. Does 10 divide l?
False
Let n = -21 + 26. Suppose -2*v + a = -11, -n*v + 4*a + 7 = -28. Suppose v*t - 88 = -13. Is 5 a factor of t?
True
Let g(n) = -2*n**3 + 4*n**2 + 3*n + 2. Let d be g(-3). Suppose -87 = -t + 2*b, -2*b = 5*t - 4*t - d. Is 17 a factor of t?
True
Let r = -18 - -23. Let y be (r/(-3))/((-10)/30). Suppose -2*o + 72 = f, y*f + 108 = -0*o + 3*o. Is o a multiple of 6?
True
Let l be (5 + -1 + -4)/(0 - 2). Suppose 153 = 4*s + 2*m - 109, 4*m + 20 = l. Is 17 a factor of s?
True
Suppose 5*x = -3*k + 29 + 7, 8 = k + 3*x. Suppose -3*n - 167 = -3*a - k, -3*a = -4*n - 149. Is 18 a factor of a?
False
Suppose 5*t + 4*k - 51 = 214, 0 = -3*t + 2*k + 181. Is 19 a factor of t/((-4)/((-48)/9))?
True
Is 1393/2*25/((-1225)/(-28)) a multiple of 21?
False
Let u(h) = 2*h**3 - 12*h**2 - 19*h + 49. Let c(a) = -a**3 + 6*a**2 + 10*a - 25. Let n(s) = -7*c(s) - 4*u(s). Does 5 divide n(6)?
True
Let y(w) = 179*w + 22. Does 28 divide y(5)?
False
Let z(a) = 5*a + 0*a + 13 + 16*a. Let x = -24 - -28. Is 19 a factor of z(x)?
False
Suppose 16*j + 3312 = 16272. Is j a multiple of 30?
True
Suppose -2*x - 17 = -5*h, -4*h - 4*x = -5 - 3. Suppose j = -h*g + 11, 3*j - 2*j - 15 = -5*g. Suppose -3*r = g*r - 40. Is 2 a factor of r?
True
Let x be (-687)/(-3) + -1 + -2. Suppose -44 = -h - 3*i + 34, i - x = -3*h. Suppose 2*g - h = 13. Is g a multiple of 22?
True
Suppose -46*d = -43*d - 240. Let m = -69 + d. Is 2 a factor of m?
False
Let b be (876/10)/(3/10). Suppose -i = -6*i + 2*s + b, 0 = 2*i - 5*s - 100. Is i a multiple of 7?
False
Let a be (7 - 8)/(2/(-16)). Let s = a + -6. Suppose c - 117 = -2*x + s*c, x - 66 = -c. Does 21 divide x?
False
Suppose -y + 236 = -i - 104, 4*i - 360 = -y. Does 11 divide y?
False
Let s = 16 - 13. Suppose -s*j + 16 = j. Suppose 2*g - j = -3*p + 35, 4*g - 5*p - 67 = 0. Does 14 divide g?
False
Is 18 a factor of (2/(-9) - (-4185)/243)*39?
False
Let a = 86 + 121. Let k = a + -68. Is 23 a factor of k?
False
Let b = 281 - 257. Does 15 divide b?
False
Suppose 57 = 2*r + 17. Does 10 divide r?
True
Let z(u) = 9*u**2 + 8*u + 24. Does 11 divide z(-5)?
True
Let n(c) = 9*c + 10. Let f(d) = -4*d + 5 - 9 - 4*d - 7. Let w(l) = 6*f(l) + 5*n(l). Does 3 divide w(-10)?
False
Suppose 0 = -3*k + 2*r + 85, k - r + 0*r = 29. Let h = 60 + -123. Does 14 divide h/(3 + k/(-6))?
True
Let g = -11 - -8. Let v(y) = -2*y**3 + y**2 + 4*y - 1. Is 5 a factor of v(g)?
True
Suppose 12*c = 15*c. Let w be 26/6 - 2/6. Let b = c + w. Is 4 a factor of b?
True
Let y = 44 + -41. Suppose u + 45 = l + 177, u - 138 = y*l. Is u a multiple of 11?
False
Let c(o) = o**3 + o**2 - o - 4. Let b be c(0). Is 12 a factor of 44*(1 + 2/b)?
False
Suppose -4 + 6 = -o. Let k be (-6)/o + 0/(-5). Is 10 a factor of 1 + 39/k*5?
False
Let f = 25 - -47. Is f a multiple of 3?
True
Suppose -2*j - 125 = -4*j - 3*b, -4*b - 300 = -4*j. Is j a multiple of 14?
True
Let w be (13/2)/(13/4 - 3). Does 3 divide ((-1)/(-3)*w)/((-58)/(-87))?
False
Let c(z) = 7*z**2 - 9*z + 10. Suppose 11*k - 42 = 13. Is 10 a factor of c(k)?
True
Let s(n) = -69*n - 104. Does 16 divide s(-6)?
False
Let g = 2271 - 1430. Does 56 divide g?
False
Does 78 divide -2 - ((-6713)/7 + -6)?
False
Let v(k) = -18*k - 6. Let t be v(3). Does 20 divide (t/9)/((-1)/15)?
True
Let k be -5 + -3 + 4 - 3 - -2. Is -1*(10 + k - 120) a multiple of 5?
True
Suppose -56 - 584 = -10*x. Suppose 0 = 2*o - 0*d - 3*d - x, 0 = 3*o + 5*d - 115. Does 7 divide o?
True
Let l be (-24 - -2)*(-2 + 5). Is 12/l + (-739)/(-11) a multiple of 14?
False
Let a(z) = 29*z - 154. Is 6 a factor of a(8)?
True
Does 13 divide 17 + -14 + 3 + 984 + -1?
False
Suppose 0 = 3*b + 14 - 41. Suppose -60*j + 350 = -53*j. Let a = j - b. Does 14 divide a?
False
Let u(d) = -209*d - 8. Let h be u(-2). Let i = -242 + h. Does 28 divide i?
True
Suppose 3*h = -2*h - x + 5497, -3*x + 1091 = h. Is 50 a factor of h?
True
Let j be (6/6)/(1/3). Does 10 divide (21/6 - j)*118?
False
Let s(g) = -2*g**3 - 10*g**2 + 32*g - 8. Does 6 divide s(-10)?
True
Let v(z) = 4*z**3 + 67*z**2 - 9*z - 2. Is 13 a factor of v(-16)?
True
Let k(c) = 88*c + 28. Let s be k(8). Suppose 0 = 4*o + 2*x - 584, -5*o + 2*x + s = 5*x. Is o a multiple of 15?
False
Does 43 divide (-5 + 67004/(-84))/(2/(-6))?
True
Suppose -86*t = -88*t + 808. Does 4 divide t?
True
Let o = 8 + -11. Let d be 2/3 - 16/o. Suppose -2 = m, 33 = 5*a + 3*m - d. Does 4 divide a?
False
Let k be -7 - (0 - -4)/4. Is k/(2/(-1)) - -13 a multiple of 17?
True
Let i(m) = m - 9. Let f be i(8). Let b = 3 - f. Suppose 5*g + 5 = 0, -b*x - 5*g + 36 + 103 = 0. Does 18 divide x?
True
Is 143 a factor of ((-14 - 16) + 17)/((-2)/572)?
True
Let c(v)