 Let f = -36 + 44. Suppose -3*u - f = -q. Is 13 a factor of u?
False
Suppose 141 = 9*q - 363. Let u = -19 + q. Is u a multiple of 5?
False
Does 8 divide (-7 + -70)*(-48)/14?
True
Let v(g) be the third derivative of g**7/1680 - g**6/720 + g**5/6 - 2*g**2. Let b(j) be the third derivative of v(j). Is b(3) a multiple of 3?
False
Suppose 3*p - 2*p + 2*h - 839 = 0, 12 = -4*h. Does 13 divide p?
True
Let u be (-2)/6*(-126)/(-6). Is (-81)/u + (-16)/28 a multiple of 2?
False
Suppose 0*j - 2*j = -4. Let r = -71 - -73. Suppose 0 = r*u - j - 8. Is u even?
False
Let f be ((44/(-12) + 4)*0)/(-1). Suppose f = -23*n + 24*n - 30. Is 2 a factor of n?
True
Let n(z) be the first derivative of -z**4/4 + 7*z**3/3 - 3*z**2 - 4*z + 3. Let b be n(4). Suppose 136 = 2*q - b. Is 18 a factor of q?
False
Suppose -63*f = -36*f - 39690. Is f a multiple of 35?
True
Suppose 200 = w + 50. Let s(n) = n**2 - n - 3. Let l be s(3). Suppose l*d = 30 + w. Is 10 a factor of d?
True
Let g(a) = -5*a + 9. Let t(l) = 12*l - 21. Let p(f) = 7*g(f) + 3*t(f). Suppose -9 + 49 = 4*d. Does 2 divide p(d)?
True
Suppose -19*u + 5827 = -1887. Is 4 a factor of u?
False
Let x(v) = 0*v + 3*v - v**2 + 2*v**2 - 5*v - 6. Let b be x(7). Suppose -31 = -4*n + h, -n = n - 5*h - b. Is 3 a factor of n?
False
Is 753 - (-1 - (-4)/(-2)) a multiple of 7?
True
Let i(t) = t**2 - t - 4. Let c(q) be the second derivative of q**4/6 - q**3/6 - 7*q**2/2 - 2*q. Let w(v) = 6*c(v) - 10*i(v). Is w(-6) a multiple of 23?
True
Let h(x) = -x**3 + 3*x - 1. Let c be h(2). Does 10 divide 1 - -89*c/(-3)?
True
Let c be ((-6)/(-7))/(6/28). Suppose 2*y + 4*l + 4 = -2*y, -l + 11 = c*y. Suppose -2*k = -y*k - 3*m + 102, -4*m = -3*k + 136. Is 24 a factor of k?
True
Suppose -3*s - 7*t = -2*t - 583, -5*t = -5*s + 945. Let d = s - 99. Does 23 divide d?
True
Let x be (-2)/(-3) - 40/6. Let s(f) = -f. Let o(j) = -2*j**2 - 10*j - 8. Let t(v) = -o(v) + 4*s(v). Is 11 a factor of t(x)?
True
Let r be ((-5)/(-10))/(3/(-48)). Is 45 a factor of (-604)/r*(2 - -2)?
False
Suppose -647 = -5*h + 2*u, 2*u + 0*u - 643 = -5*h. Suppose h - 529 = -5*f. Is 10 a factor of f?
True
Let h be (-42)/(-189) - (-43)/9. Suppose 0*o = h*o - 300. Is 6 a factor of o?
True
Let n be 5/(-20)*(3 + -11). Let f(c) = 3*c**2 + 2*c - 1. Let l be f(n). Suppose 5*o - d - 153 = -2*d, 5*d + l = o. Is o a multiple of 10?
True
Suppose 28 = 6*g - 10*g. Let d = -9 - g. Is -1 - d - (-28 - -3) a multiple of 6?
False
Let x = -651 + 803. Is x a multiple of 32?
False
Let k = -273 + 551. Suppose 72 = 5*b - k. Suppose -m + 5*u = -b, -5*u + 3*u = -2*m + 172. Does 18 divide m?
True
Suppose -3*l = -5*l - 4, 3*c - 2*l = -101. Let k = c + 43. Does 8 divide k?
True
Let a be ((-3)/(-6))/(4/(-8)). Let q be (a + 3 - 2) + 4. Suppose 2*b - b + 45 = d, 0 = -d - q*b + 60. Is d a multiple of 12?
True
Let k be 3/(1/2 + -1). Let a(g) be the third derivative of -g**4/24 + g**3/2 + 10*g**2. Is 6 a factor of a(k)?
False
Let a(m) = -3953*m + 205. Is a(-1) a multiple of 77?
True
Let o(b) = 13*b**2 + 52*b + 2. Let w be o(-8). Let r = -292 + w. Is r a multiple of 8?
False
Let i(o) = o**3 + 42*o**2 + 7*o - 33*o**2 - 2 - 2. Let c be i(-8). Suppose c*t - 22 = 2*t. Is 2 a factor of t?
False
Let j = 48 + -51. Does 15 divide (1/(4/j))/((-10)/520)?
False
Let q(r) = -4*r + 2. Let o(c) = -13*c + 7. Let k(b) = 4*o(b) - 14*q(b). Let p = 42 - 30. Is 16 a factor of k(p)?
True
Suppose 0*v + 3*v = -15. Let s = 11 - v. Does 8 divide s?
True
Suppose 4*c = -w - 19, 16 = -c + 3*w - 5. Suppose -2*i + 10 = 4. Does 3 divide 1 - -1*(i - c)?
False
Suppose 3*d - 44 = -185. Suppose s = -3*v + 64, 6*s - 2*s - 5*v = 273. Let l = s + d. Is 10 a factor of l?
True
Let s = 7 - 17. Is 7 a factor of (s - 4)/(6/(-9))?
True
Let p be (-3 - -2)/((-2)/4). Suppose -3*u + 0*l = 5*l + 22, -p = 3*u + l. Let w(y) = 50*y + 2. Is 13 a factor of w(u)?
True
Suppose 15*k - 5*h = 10*k + 30, -3*h = -5*k + 26. Does 32 divide ((-17)/1)/(k/(-12))?
False
Suppose 34*o = 5393 + 6915. Is 23 a factor of o?
False
Suppose -4*z + p = -172 - 22, 5*p = -5*z + 230. Suppose 3*u - 3*v = z + 15, 4*v = u - 18. Suppose 4*w - 122 = -o, -2*w + w + u = -4*o. Does 6 divide w?
True
Suppose 0 = -2*u - 2*f + 2, -4*f + 2*f = 4*u - 6. Suppose -4*h + u*h + 54 = 0. Is h a multiple of 9?
True
Let t(p) = -p**3 - 2*p**2 - 9*p - 1. Does 37 divide t(-8)?
False
Does 6 divide (-14 - -9) + 230 - 2?
False
Suppose -2*r = -v - 2407, v + v + 6018 = 5*r. Does 50 divide r?
False
Suppose 3*j + c - 26 = -10, -4*j = c - 21. Suppose j*d = 22 + 23. Does 5 divide d?
False
Let m be 2205/(-14)*4/(-6). Let d = 131 - m. Is d a multiple of 24?
False
Suppose -3*x - 6 = h - 0*h, 10 = -5*x - 5*h. Let j(s) = -221*s - 1. Is 15 a factor of j(x)?
False
Let i = -10 - -17. Is -4 + (-7)/(i/(-40)) a multiple of 9?
True
Suppose 4*q = -7*q + 748. Does 10 divide q?
False
Suppose 0 = -4*t - 12, -3*b + 5*b + 2*t - 138 = 0. Is b a multiple of 21?
False
Let h(l) = 22*l**2 - 3*l + 3. Let u be h(2). Suppose -u = -f + 2*f. Let r = f + 131. Is r a multiple of 17?
False
Let v(p) = -p**2 - 4*p. Let k(m) = -m**2 + 5*m - 2. Let x be k(5). Let z be v(x). Suppose 81 + 63 = z*n. Is n a multiple of 12?
True
Suppose -o + 6*j = j + 108, -2*o = -3*j + 216. Is 30 a factor of (o/72)/(-1 - (-177)/178)?
False
Let r = 74 - 69. Suppose 5*j - 95 = -r*k, 2*k + j + 53 = 4*k. Does 4 divide k?
True
Suppose 85 = -12*h + 7*h. Let l = h + 29. Is l a multiple of 3?
True
Let t = 17 + -11. Suppose w - 3 - t = 0. Let a = 1 + w. Is 4 a factor of a?
False
Let d(t) = t**3 - 3*t**2 - 2*t - 2. Let c be d(4). Suppose -c*z - 17 = -89. Is z a multiple of 4?
True
Suppose -3*h - 4*u + 29 = 0, u + 3*u = -2*h + 26. Let c be 6 - (-1 + h) - -3. Suppose 2*s + 15 = c*s + k, 25 = -5*k. Is s even?
True
Let h = 3 + 18. Let a = -13 + h. Suppose 0 = -7*q + a*q - 32. Is 32 a factor of q?
True
Let z = 1031 - 615. Is z a multiple of 25?
False
Let g(z) = z**3 - 4*z**2 + 2*z + 2. Suppose -4*y = -b + 10, 3*y = -2*b + 4*y + 6. Let v be g(b). Is 8 a factor of ((-2)/(-6))/(v/(-192))?
True
Let y(a) = 6*a**2 + 23*a - 8. Let u be y(7). Suppose 0 = -7*l + 2*l - 4*x + u, 4*x = 12. Does 50 divide l?
False
Let n(d) = d**3 + 5*d**2 + d + 9. Let z be n(-5). Suppose 3*k + z*c - 1444 = 0, 794 = 5*k - 5*c - 1601. Suppose -3*f + k = 2*f. Is f a multiple of 24?
True
Let v = 189 - -45. Suppose 5*n + v = 8*n. Is n a multiple of 26?
True
Is 16/(-6)*4/16*-246 a multiple of 14?
False
Let r(u) = u**2 + 17*u + 20. Let b be r(-8). Let z = 25 + b. Let x = -7 - z. Is 10 a factor of x?
True
Let m = -4 - -147. Suppose -4*q = 3*s - 100, 5*q + 17 = -4*s + m. Does 7 divide q?
False
Suppose m - 5*m = 4*b + 60, -3*b + m - 25 = 0. Let y = 30 + b. Is 10 a factor of y?
True
Let d(v) be the third derivative of -v**5/60 + v**4/4 - 5*v**3/6 - 5*v**2. Let k be d(4). Suppose 19 - k = 4*t. Is t even?
True
Let o(a) = 2*a**3 - a**2 - 3*a + 1. Let v(p) be the third derivative of p**5/30 - 2*p**2. Let r be v(-1). Is o(r) a multiple of 2?
False
Let z(b) = -16*b. Let q be z(1). Let o = -31 - q. Does 14 divide (-830)/o + (-2)/(-3)?
True
Suppose 0 = -7*w + 12*w. Suppose -12*s + 15*s - 12 = w. Suppose 0*c = -s*c + 120. Is c a multiple of 8?
False
Let u = 25 + -49. Let a = -19 - u. Is a a multiple of 5?
True
Let g(q) = 6*q**2 + 3*q + 89. Does 8 divide g(-15)?
False
Suppose -161*k + 160*k + 90 = 0. Does 5 divide k?
True
Let c = 734 - 426. Is c a multiple of 22?
True
Is 20 a factor of -2 + 324 - (1 + 1)?
True
Let k = 1081 - -322. Does 29 divide k?
False
Let d be -2 - 2 - (3 + -1). Does 16 divide 27/18*(-856)/d?
False
Suppose 5*d + 17 = 6*d. Suppose 16*x = d*x - 122. Is x a multiple of 6?
False
Suppose v - 5*k + 5 = -4*v, -3*k = -9. Let x(s) = -2*s + s + 0*s**2 + 14*s - s**v. Is x(10) a multiple of 15?
True
Let m(j) = -256*j - 200. Is 52 a factor of m(-15)?
True
Let q = -88 + 48. Is 24 a factor of (-5890)/q - 1/4?
False
Let s = 167 - 157. Does 5 divide s?
True
Let m(y) = -2*y - 11 + 0*y + 0*y + 4*y. Let q be m(10). Suppose 0 = 5*j + 4*n - 46, 3*j - 5 - q = n. Is j a multiple of 6?
True
Let q = 721 - 98. Does 61 divide q?
False
Is 4 a factor of (-5070)/13*((-4 - -3) + 0)?
False
Let k(l) = 9 + l**2 + 5 + 8 - 15*l - 8. Does 14 divide k(15)?
True
Let y = -78 - -80. Let s = 24 + y. Does 5 divide s?
False
Let i(x) = x + 36. Let p be i(0). Suppose -55 = -g + 3