?
True
Let p(l) = -6 - 6*l**2 + 8*l - 7 - 1 + 4 - l**3. Let i be 2/7 - (-58)/(-7). Is p(i) a multiple of 18?
True
Let f(a) = 5*a**3 - a**2 + 2*a - 1. Let p be f(1). Does 32 divide p - -125 - (0 + 2)?
True
Let k = 178 - 176. Suppose -2*q + 346 = -k*u + 5*u, 854 = 5*q + 2*u. Is 10 a factor of q?
True
Let w(g) = 75*g + 4. Does 38 divide w(4)?
True
Let m = 615 + -137. Does 32 divide m?
False
Let w(d) be the first derivative of d**4/4 + 2*d**3 - 4*d**2 - 3*d - 5. Let b be w(-7). Suppose -2*x = -0*x - b*v - 62, -5*x + 140 = -5*v. Is 25 a factor of x?
True
Is 17 a factor of -6 + 5 - (-2057 - -2)?
False
Let u(n) = -n**2 + 6. Let d be u(0). Suppose -24 = -4*z + 5*i, -1 + 7 = z + 2*i. Suppose -2*x = -z - d. Is x a multiple of 6?
True
Suppose 2*u + 69 = 25. Does 5 divide 4/u - 3976/(-88)?
True
Let l be 364/10 + (-2)/5. Let i(r) = -4*r - 17. Let x be i(-6). Suppose x*h - l = 5*h. Is 5 a factor of h?
False
Let k(o) = -o**2 - 5*o - 1. Let a be k(-2). Suppose -25 + 5 = -a*u. Suppose 0 = 2*t - 5*n - 1 - 4, u*t - 3*n - 45 = 0. Does 6 divide t?
False
Let a = 70 - 68. Suppose o - r = -a*r + 20, -4*o + 89 = -5*r. Is 5 a factor of o?
False
Let u = 55 - -13. Suppose -3*s = 2*r - 97, 0*s + 2*r = 2*s - u. Is 4 a factor of s?
False
Let o(j) = -j**3 - 2*j**2 + 92*j + 21. Is o(-15) a multiple of 58?
True
Is (-11)/(-99) + (-334964)/(-63) a multiple of 32?
False
Let o(x) be the second derivative of -x**5/20 - x**4/6 + x**3/2 + 3*x**2 - 11*x. Let k(s) = -s**3 + 5*s**2 + 6*s - 5. Let p be k(6). Is 22 a factor of o(p)?
True
Let d = 330 - 202. Is d a multiple of 8?
True
Let n(r) be the third derivative of r**6/360 + r**5/120 + 17*r**4/12 - 11*r**3/6 - 4*r**2. Let f(i) be the first derivative of n(i). Is 17 a factor of f(0)?
True
Suppose -5*i + 837 = 3*d - 632, d + i - 493 = 0. Is d a multiple of 17?
False
Suppose 24*u + 14371 - 48691 = 0. Is u a multiple of 22?
True
Let r(o) = 2*o. Let p be r(-5). Let q be 3/9 + p/3. Does 6 divide 2 + -3 + (q - -28)?
True
Suppose -a + 408 = -5*c, -3*c + 3*a - 248 = 4*a. Let f = c + 142. Is 12 a factor of f?
True
Let s = 928 + -500. Is s a multiple of 10?
False
Suppose 2616 + 2865 = 7*b. Is b a multiple of 29?
True
Let p = 51 + -49. Suppose i = m + 106, -2*m + 558 = p*i + 3*i. Is i a multiple of 22?
True
Suppose -5*x + 12 = -3, 0 = -2*o + 2*x - 6. Suppose -m + 12 = -o. Is m a multiple of 6?
True
Let h(f) = -f**3 - 10*f**2 - 5*f - 8. Let r = -10 + 0. Does 8 divide h(r)?
False
Suppose -148 = o - 5*o. Suppose 3*v = 3*a + 15, -5*v + 2*a + 12 = -2*v. Suppose 3*c = o + v. Does 11 divide c?
False
Suppose 3*p + 4*b = 556, 0 = -2*p + 2*b + 250 + 102. Does 30 divide p?
True
Suppose 0 = -232*f + 226*f + 1368. Does 12 divide f?
True
Let o be (-112765)/(-65) + 4/26. Suppose -5*i + 1755 = 2*v - 401, o = 4*i + 5*v. Suppose -520 = -4*u - 4*m, -5*u - m + i = -204. Does 42 divide u?
True
Let m be 32/4 - (-1 + 3). Let g(i) be the second derivative of 8*i**3/3 - i. Is g(m) a multiple of 28?
False
Let w(x) = -x**3 + 16*x**2 - 17*x - 120. Is 9 a factor of w(12)?
True
Let t(n) = n + 9. Let w be t(-5). Suppose w*m = 3*u - 356, -4*u - 3*m = -2*m - 500. Is u a multiple of 31?
True
Suppose -12099 = -36*m + 6621. Does 9 divide m?
False
Is 15 a factor of -6*12/(-18) - (5 + -256)?
True
Suppose 4*q = -5*t + 96 + 88, -4*t - 2*q + 146 = 0. Suppose -2*y + y = -3*l - 17, 4*l = 3*y - t. Is 4 a factor of (68/y)/((-4)/(-8))?
False
Let s(a) = -7*a**2 - 2*a + 3. Let w be s(4). Let d = 1209 - 1041. Let r = w + d. Does 12 divide r?
False
Let u(m) be the second derivative of -7*m**3/3 - 9*m. Is 14 a factor of u(-2)?
True
Let i = -16 + -3. Let q = i + 24. Let f(n) = -n**3 + 7*n**2 + 2*n - 1. Does 19 divide f(q)?
False
Let d be 30/(-9) + 4 - (-490)/3. Let j = d - 159. Does 5 divide j?
True
Let w = 845 - 463. Does 2 divide w?
True
Let f(q) = -21*q**3 + 4*q**2 - 35*q - 164. Does 26 divide f(-4)?
False
Suppose -141*v + 114*v + 36180 = 0. Is 5 a factor of v?
True
Suppose -z + 6*z = 985. Let y = 285 - z. Is 22 a factor of y?
True
Let h(p) = -24*p - 4. Let l be h(6). Let o = l + 227. Is o a multiple of 11?
False
Let i(v) = 4*v**2 - v + 11. Does 5 divide i(-3)?
True
Let h be (144/(-10))/((-2)/50). Suppose t = -3*t + h. Is 16 a factor of t?
False
Suppose t = -14 + 82. Suppose p + n + 51 = 4*p, -2*n = 4*p - t. Suppose 79 = v + p. Is v a multiple of 18?
False
Suppose 0 = r - 4*j + 12, 0*j = -4*j + 4. Let z = r - -12. Suppose -377 = -z*p - f, -4*f = 2*p + f - 211. Does 31 divide p?
True
Let d(t) = t**2 - 8*t + 5. Let m be d(6). Let o be (-24)/(-84) - 33/m. Suppose -3*l + 4*y - 14 = -68, o*l + 3*y = 61. Is 14 a factor of l?
True
Let y(q) = q**3 - 6*q**2 + 2*q + 10. Let i be y(6). Suppose -4*v = 0, -36 = 3*d - d - 3*v. Let h = i - d. Does 13 divide h?
False
Let b = -8 + 24. Suppose -5*k + r = -135 - b, 2*k = 2*r + 62. Is (56/10)/(6/k) a multiple of 24?
False
Is 35 a factor of (0 - (-77)/(-11))/((-2)/70)?
True
Let s(z) = -z + 48. Suppose -8*y - 46 - 114 = 0. Does 17 divide s(y)?
True
Suppose 4238 = 5*d + 2*o, 146*d - 147*d + 838 = -2*o. Does 16 divide d?
False
Let w(r) = -r - 1 - 4*r + 5 + 6*r. Does 3 divide w(-1)?
True
Let o = -4 - -7. Suppose -3*q + 17 + 16 = 3*a, 3*q + 23 = 5*a. Let b = o + a. Is b a multiple of 3?
False
Let o(w) = -37*w + 2. Let v be o(-3). Let h = v + 121. Does 51 divide h?
False
Suppose -4*o = 5*r - 1523, 0*o + 5*o + 5*r = 1900. Does 25 divide o?
False
Is ((-318)/(-9) - -4)*9/6 a multiple of 3?
False
Let f(x) = -x**2 - 9*x - 16. Let y be f(-7). Is 9 a factor of y/(-15) + (-1616)/(-30)?
True
Suppose -m + 140 + 113 = -2*r, 0 = -r + 4*m - 123. Let t = r + 86. Is -4 - -5 - -3 - t a multiple of 22?
False
Suppose -4*t + 6 = -2. Suppose 0 = -t*x - 2*x. Is 7 a factor of 8 + (1 - (2 - x))?
True
Let f(z) = 7*z**2 + 3*z + 12. Suppose -3*c = -4*i - 5, i = -0*c + 2*c + 5. Let s be f(c). Suppose -3*r + s + 21 = -d, 3*d = 5*r - 315. Does 22 divide r?
True
Suppose -52*z + 51*z = -216. Is 57 a factor of z?
False
Suppose -4*h + 44 = 4*z, -4*z + 50 = 2*h - 9*z. Let b be h/10*(-20)/(-6). Suppose b*y - 243 = -3*w, -4*w + 4 = 3*y - 144. Is 24 a factor of y?
True
Let z(c) = -4*c - 2. Let g be z(-2). Suppose 4*p - g = 2*p. Suppose 2*w - 30 = 5*t - p*t, 0 = 3*w - 2*t - 48. Is w a multiple of 9?
True
Let n(r) = -r**3 - 7*r**2 + 8*r. Let j be n(-8). Suppose -4*x + j*x + 16 = 0. Let u(g) = 6*g - 2. Is 8 a factor of u(x)?
False
Suppose -247 = 144*t - 145*t. Is t a multiple of 22?
False
Let o(a) be the third derivative of 4*a**2 + 1/60*a**5 + 13/24*a**4 + 0 + 0*a + 5/2*a**3. Does 2 divide o(-12)?
False
Let c = -2 + 5. Suppose 5*w = -3*r + 35, r + 28 - c = 2*w. Is w a multiple of 5?
True
Let f(s) = 82*s - 1013. Is 9 a factor of f(14)?
True
Let m = 787 - 661. Is 8 a factor of m?
False
Suppose -38 = -7*z - 3. Suppose z*g = l + 16, -g - 5*l + 0 - 2 = 0. Is ((-24)/(-10))/(g/30) a multiple of 8?
True
Let h(t) = -t**3 + 4*t**2 + 5*t + 11. Let v(q) = q - 1. Let z be v(6). Let m be h(z). Let l = 16 + m. Is l a multiple of 8?
False
Let x be ((-48)/(-32))/(1/2). Suppose -2*f - 7 = -x*f. Suppose 0 = 4*z - 29 - f. Is 9 a factor of z?
True
Suppose 3*d = 6, d - 2*d + 8 = -3*z. Let n be -45 + z + 5 - 3. Is 5 a factor of (-2)/15 - 816/n?
False
Let f = -178 + 1494. Does 47 divide f?
True
Let m(n) = n**3 + 11*n**2 + 2*n + 6. Suppose 0 = -4*w + 5*c - 19, 0*w + 4*c = -2*w - 42. Let f be m(w). Let r = 36 + f. Is 5 a factor of r?
True
Let r(y) = y**3 - 8*y**2 - 15*y - 2. Let o(g) = -3*g**3 + 24*g**2 + 44*g + 7. Let n(w) = 4*o(w) + 11*r(w). Is 11 a factor of n(7)?
True
Let x = 65 + 171. Suppose -2*y + x - 6 = 0. Is 25 a factor of y?
False
Let s(t) = 87*t**2 + 13*t + 31. Does 15 divide s(-3)?
False
Let o = -69 - -302. Is 53 a factor of o?
False
Suppose -13*a + 16*a - 6 = 0. Suppose w + 89 = 3*c, -2*c = -5*c + a*w + 88. Does 5 divide c?
True
Let c be -6*(-2)/18*3. Suppose -c*v + v + 2 = 0. Suppose 3*q + 65 = v*t, -q + 3 = -2*q. Is 7 a factor of t?
True
Suppose -4452 + 15162 = 5*p. Suppose -21*t = -7*t - p. Is t a multiple of 11?
False
Suppose 21 + 9 = -3*k. Let u = -7 - k. Suppose -33 = -u*h + j - 6*j, 2*j - 36 = -5*h. Does 4 divide h?
False
Let f = -925 + 1541. Is 77 a factor of f?
True
Let n(h) be the third derivative of -h**6/120 + 7*h**5/60 - h**3/2 - 2*h**2. Let j be n(7). Is 5 a factor of (j + 4 - 10)*-1?
False
Let u(t) = 