e
Let d = -76 + 415. Does 26 divide d?
False
Let x(p) = -p**2 + 10*p - 9. Suppose -4*k + 6 = -18. Does 15 divide x(k)?
True
Let v = 82 - 43. Does 15 divide v?
False
Let b = -43 + 67. Let x = b - 19. Is 5 a factor of x?
True
Let a(m) be the third derivative of -5*m**4/3 + m**3/3 + 4*m**2. Let o be a(2). Let j = 111 + o. Is 16 a factor of j?
False
Let h = -46 - -28. Is 2 - (h + 2)*2 a multiple of 17?
True
Suppose 0 = -5*b + 4*t + 828, -2*t + 4*t = 3*b - 496. Suppose -5*z + 51 + b = 5*k, 3*k - 4*z = 150. Is k a multiple of 23?
True
Let j(v) be the first derivative of -9*v**2/2 + 4*v + 9. Let z(b) = b**2 - 5*b - 2. Let r be z(4). Does 12 divide j(r)?
False
Let q be ((-2)/8)/(1/(-20)). Let s(x) = x**2 - 2*x - 5. Let f be s(q). Does 10 divide 1/(-5) - (-382)/f?
False
Suppose -33 = -13*p + 45. Does 2 divide p?
True
Suppose 0 = 5*v - v - 464. Suppose 3*i = -i + v. Does 29 divide i?
True
Let b(z) = -z**3 - 2*z**2 + 5*z - 2. Let c be (-3 + 1)*(-3)/2. Suppose j + 7 = c. Does 5 divide b(j)?
True
Let r(p) = -p**2 + 3*p + 1. Let b(l) = 2*l**2 - l. Let o be b(-1). Let k be r(o). Let n = 7 + k. Does 4 divide n?
True
Let r(z) = z**2 - 8*z + 6. Let h be r(7). Let w(m) = -22*m + 1. Does 13 divide w(h)?
False
Suppose l - 2*l + 4 = 0. Suppose -3*z - 2*n - 134 = z, 3*z + 117 = l*n. Let u = z + 55. Does 7 divide u?
False
Suppose 2*c - c = -6. Let h = c + 13. Is h a multiple of 5?
False
Let g(d) = 10*d - 1. Suppose -3*l - 3 = -6*l. Let b be g(l). Suppose 4*q = 4*m + b + 31, -4*m = 12. Does 3 divide q?
False
Is 24 a factor of 4*5 - (-5 + 1)?
True
Let y(s) = -s**3 + 2*s**2 - s - 1. Let j be ((-8)/20)/(1/(-5)). Let o(h) = -h**3 + 3*h**2 - 3*h. Let w be o(j). Is 17 a factor of y(w)?
True
Suppose 3*x - 3*h + 25 = 4, 2*h - 22 = 4*x. Suppose 72 = -0*f + 2*f. Let m = f + x. Is m a multiple of 16?
True
Does 8 divide (-24)/(-15)*(3 + 2)?
True
Suppose -10 = 4*l + 6, -5*x + 4*l - 59 = 0. Let p = 16 - x. Does 14 divide p?
False
Let y(t) = -t - 2. Let l be y(-4). Suppose 4*i = -l + 22. Suppose 2*k = -5*w + 36, i*k - 2*w - 142 = -52. Does 18 divide k?
True
Suppose 35 - 872 = -9*f. Is f a multiple of 10?
False
Let v(b) = -b**3 + 6*b**2 + 8*b - 3. Let t be v(7). Suppose -t*q = q - 190. Is q a multiple of 17?
False
Suppose 2*n = -2*p + 38, 3*n - 58 = -2*p - 2*p. Suppose -2*m + n = 2*c + 2*c, -m = -3*c - 14. Does 7 divide m?
False
Suppose 0 = 4*l - 4*h - 88, -3*h + 24 = l - 6. Suppose -3*f + 4 - 21 = -x, 4*x - f - l = 0. Is 2 a factor of x?
False
Suppose -2*i - 3*n = 107, 2*n = 2*i + 4*n + 112. Let y = i + 90. Does 10 divide y?
False
Suppose -314 = -5*r - 3*s, s = -4 + 2. Does 32 divide r?
True
Let x = 1 + 2. Suppose -4*i + 2*i = 4*g, 0 = x*i + 6. Is 14/((6*g)/3) a multiple of 5?
False
Let i(s) = -4*s + 34. Is i(7) a multiple of 4?
False
Let l(d) = d. Let v be l(-2). Suppose -11 = -2*p - 1, 0 = -5*x + 4*p + 110. Let m = v + x. Does 12 divide m?
True
Suppose 0 = 4*j + 5*d - 143, 5*d + 116 = 3*j - 0*j. Suppose 6 + j = q. Is q a multiple of 9?
False
Let o be ((-10)/4 - -1)*-2. Suppose 4*b - 5*b = -34. Suppose c = 5*c + 2*m - b, o*c = -m + 26. Does 9 divide c?
True
Suppose -9 = 4*a - 1. Let o = -12 - a. Is o*2/(-4) - -2 a multiple of 3?
False
Let q(a) = 5*a**3 + 2*a**2 - 4*a + 2. Suppose 0 = 3*b + 5*g + 9, -2*b + 2*g = -4 - 6. Does 14 divide q(b)?
True
Let t(r) = r**3 - r. Let q(o) = -2*o**3 + 5*o**2 + 6*o + 5. Let z(y) = q(y) + t(y). Is z(5) a multiple of 15?
True
Let f(g) be the first derivative of g**3/6 - g**2 + 4*g + 2. Let v(c) be the first derivative of f(c). Is 3 a factor of v(7)?
False
Let b be 4/(-10) + 96/(-10). Is 2 a factor of (-2)/(-5) + (-56)/b?
True
Suppose -6*a + 12 = -2*a. Let p = 125 + -89. Suppose -3*w + j + 43 = 0, -4*w - 4*j = -a*w - p. Is 8 a factor of w?
True
Suppose -2 = c - 2*a - a, 5*c - 23 = 4*a. Let q(l) = l**3 - 7*l**2 - 2*l - 10. Let h be q(c). Does 11 divide (-12)/6 - (h - 0)?
True
Let z be (-6)/9 - 4/(-6). Let v be (z - 3)*(-4)/6. Suppose -k = -v*n + 7, 0 = k - 1 - 4. Is 6 a factor of n?
True
Let h(j) = -13*j + 5. Let z be h(-5). Let v = 102 - z. Suppose -d - v = -5*d. Is d a multiple of 8?
True
Let c be 1/(-1)*1 + 49. Let o = -67 - -143. Let b = o - c. Is 10 a factor of b?
False
Let f be 3*-10 - (2 + -2). Let n be (-8)/(-4) + f/(-2). Is 15 a factor of n + (0 - 1 - 1)?
True
Let m = 106 + -63. Does 11 divide m?
False
Let u(o) = 3*o**2 + 5*o - 3. Let l(a) = 13*a**2 + 21*a - 13. Let c = 2 + -4. Let y(j) = c*l(j) + 9*u(j). Is y(-4) a multiple of 3?
True
Let j(w) = w. Let q be j(5). Suppose -85 = -q*r + d - 4*d, 0 = -4*r - 3*d + 65. Is r a multiple of 19?
False
Let p(k) = -2*k - 1. Let m = 6 + -6. Suppose 5*j - 3*v + 35 = m, -5*v + 12 = -5*j - 33. Does 5 divide p(j)?
False
Suppose 12 = x + 3*b + 4, -1 = -2*x - b. Suppose 0 = 3*d - 4*d + 4, -s + d - 214 = 0. Is 13 a factor of s/(-8) - x/(-4)?
True
Let v be (6/(-12))/((-2)/20). Suppose -3*y + 4*y = 3, -3*q = -v*y - 6. Let m(a) = -a**3 + 8*a**2 - 3*a - 9. Does 17 divide m(q)?
False
Let p be (-4)/(-12)*9 + 26. Suppose 3*k + p = 149. Is k a multiple of 11?
False
Let m(c) = -c**3 - 7*c**2 - 7*c + 10. Does 21 divide m(-7)?
False
Let r = 151 + -236. Let f = 127 + r. Is ((-1)/3)/((-2)/f) a multiple of 3?
False
Let v = 28 - 13. Does 15 divide v?
True
Let u(v) = v**3 + 5*v**2 - 3*v + 3. Let g be u(-5). Is 14 a factor of g + 2 - (7 - 4)?
False
Suppose 0 = -0*t - 3*t. Suppose 2*w - s = s + 4, 2*w + 4*s - 4 = t. Is w/10 + (-178)/(-10) a multiple of 12?
False
Suppose 6*m - 4*m = -18. Let y = 18 + m. Does 9 divide y?
True
Let a(t) = -2*t**3 - 2*t**2 + 8*t + 7. Is a(-3) a multiple of 19?
True
Suppose u - 1 = -5*s - 5, 5*u = 4*s - 20. Let b = s + 1. Is -3*(b - 0)/(-1) a multiple of 2?
False
Let t = 72 + -41. Suppose 12*q = 16*q. Suppose -g - 14 = -f, -2*f + 3*g + t = -q*f. Is 11 a factor of f?
True
Let c be 1/2*(1 + 3). Let n = c + 0. Let y(f) = f**2. Is 4 a factor of y(n)?
True
Is (32/10)/(5/275) a multiple of 8?
True
Suppose 2*r = 7*r - 20. Let d be 8/(-12) + r/(-3). Let g(y) = -4*y**3 - y**2 + y - 2. Is g(d) a multiple of 12?
True
Suppose 3*u = -0 + 6. Suppose 4*z - u*z = 0. Suppose 3*w + 2*q - 74 = z, -2*w + w = 4*q - 18. Does 10 divide w?
False
Let y(g) be the second derivative of 0 + 1/2*g**2 + 5/6*g**3 - 2*g. Is y(2) a multiple of 6?
False
Let m(h) = 6*h**2 - 2*h - 1. Is m(4) a multiple of 29?
True
Suppose 8 = 2*s, -q + 3*q + s - 50 = 0. Let p = -49 + q. Let l = 4 - p. Does 16 divide l?
False
Let q(g) = g**3 - g + 4. Let w be q(0). Let j(s) = 9*s + 5. Let o(k) = 10*k + 6. Let z(y) = 6*j(y) - 5*o(y). Is z(w) a multiple of 16?
True
Let a(k) = k**2 + 3*k - 3. Let w be a(3). Suppose w = f - 1. Is 13 a factor of f?
False
Suppose 3*y - 35 = -2*y. Let f = y + -4. Is 3 a factor of f?
True
Let r = -4 + -1. Does 32 divide r*(1 + (-1 - 13))?
False
Let c(o) = o**3 + 2*o**2 - 5*o - 1. Does 9 divide c(-2)?
True
Suppose j = 4*j - 57. Does 6 divide j?
False
Let g(o) = -23*o - 2. Let h be g(-3). Let t = 43 + -39. Suppose 5 = t*n - h. Does 6 divide n?
True
Let p(f) = -25*f + 4. Is p(-13) a multiple of 47?
True
Let r(d) = -4*d**3 + 25*d**2 - 22*d - 12. Let c(q) = q**3 - 8*q**2 + 7*q + 4. Let k(j) = -7*c(j) - 2*r(j). Does 16 divide k(-4)?
True
Suppose -2*s - 4*v = 2*s - 244, 4*s = -v + 238. Is s a multiple of 18?
False
Suppose 3*x - 3*y + 160 = 40, 0 = -y. Let r = x + 94. Suppose 0 = -0*o + 2*o + u - r, 0 = 5*u + 20. Is 12 a factor of o?
False
Let g = 197 - 117. Is g a multiple of 14?
False
Let w be (-2 + 7 + -1)*1. Let f(t) = 4*t**2 - 5*t + 5. Let h(n) = 7*n**2 - 11*n + 10. Let i(c) = 5*f(c) - 3*h(c). Is i(w) a multiple of 4?
False
Let l(x) = -x**2 + 4*x - 4. Let c be l(6). Let w be (c/(-5))/(4/30). Let d = 50 - w. Is 13 a factor of d?
True
Suppose -6*u + 36 = -2*u. Does 9 divide u?
True
Let t(u) = u**2 - u + 2. Let c be t(-3). Let z = 38 - c. Is z a multiple of 14?
False
Is 33 a factor of 0 + -638*(-2)/4?
False
Let c(t) = -4*t**3 - t**2 - 2*t - 3. Let h be c(-3). Let l be h/14 - (-6)/(-21). Let v(q) = -q**3 + 7*q**2 + 2*q - 6. Is 3 a factor of v(l)?
False
Is (-4)/8 - (-31)/2 a multiple of 15?
True
Let l(p) = -p**3 + p + 10. Let u be l(0). Let d be -3*6/(-45)*u. Suppose 3*x + r - 53 = -x, d*x - 41 = -5*r. Is 12 a factor of x?
False
Suppose 2*s = 5 + 83. Is s a multiple of 44?
True
Suppose 18 = -h - w, -40 = 3*h + w + 10. Let z be (-1 - 