Let u be s(5). Let k(h) = 9*h - 7 + 31*h**2 - 11*h**2 - 15*h**2 - h**3. Is k(u) a multiple of 11?
True
Let u(j) be the second derivative of 13*j**3/3 - 46*j**2 - 9*j + 2. Is 8 a factor of u(6)?
True
Suppose 334 - 950 = -8*q. Is 11 a factor of q?
True
Suppose -18 = -19*q + 16*q. Let y(l) = l - 3*l**2 - 2 - 7*l + l**3 + 0*l**2. Is y(q) a multiple of 15?
False
Let w = -93 - -148. Suppose 4*n - 197 = w. Is 21 a factor of n?
True
Suppose 0 = -2*a - 2*a + 8. Suppose l - 4*v = -a*v + 68, -5*l - 3*v = -353. Does 23 divide l?
False
Suppose 0 = -6*r + r + 2*p + 21, r = -p. Let i = r + 2. Is -9*3/(-15)*i a multiple of 5?
False
Is 9 a factor of (5 - 11/22)/((-2)/(-72))?
True
Suppose -2*t = 4*l - 624, 0 = 2*t + 2*l - 5*l - 610. Suppose -2*y - t = -9*y. Suppose 0 = -w + 2*p + 43, p = -5*w + 127 + y. Is w a multiple of 12?
False
Suppose 2*i - 4*s - s - 1573 = 0, -s = -2*i + 1577. Let m = -554 + i. Does 47 divide m?
True
Let q = 6 + -4. Suppose 0 = -q*a + 4*a - 114. Suppose -a = -2*b - b. Does 9 divide b?
False
Let c be 80/60*(-150)/(-4). Suppose -c - 6 = -4*x. Is 14 a factor of x?
True
Let i = 4187 + -2412. Does 25 divide i?
True
Suppose -2*c + 8 = 3*v, 5*v - 8 = c - 3*c. Suppose 5*h - 199 = -2*n, -c*h + 4*n + 121 = -27. Does 13 divide h?
True
Suppose -9618 + 2290 = -16*v. Is 14 a factor of v?
False
Let l(b) = b**3 + 9*b**2 + 8*b + 8. Let x be (-1060)/130 + (-4)/(-26). Does 3 divide l(x)?
False
Let t(m) = 5*m**2 - 78*m - 20. Is 14 a factor of t(18)?
True
Let j(p) = 4*p**2 - 6*p + 14. Let z be j(4). Suppose 131 = -2*v + 337. Let o = v - z. Is 14 a factor of o?
False
Suppose -2*y + 5*q + 164 = 0, -y = 2*y + 3*q - 204. Is 9 a factor of y?
True
Let o(c) = c + 1. Let x(w) = -79*w**2 + 18*w**2 + 3 + 6*w - 14*w**2. Let n(b) = 4*o(b) - x(b). Is n(1) a multiple of 24?
False
Let y(z) = z**2 - 10*z + 5. Suppose -36 = -v - 2*v. Let b be y(v). Suppose 0*c - 11 = c - 5*s, -5*c - 3*s + b = 0. Is c a multiple of 2?
True
Let k(b) = -b**3 - 8*b**2 - 13*b - 5. Suppose 0 = -6*p - 36. Let j be k(p). Suppose 3*s = 4*z - 24 + 70, -z - j = 0. Is 4 a factor of s?
False
Suppose 0 = -i + 120 + 274. Is 23 a factor of i?
False
Let t be (7/(-4))/((-6)/72). Let d(y) = y**3 - 20*y**2 - 21*y + 6. Does 3 divide d(t)?
True
Does 65 divide (-7 + 1038/9)*18?
True
Suppose 5*v - 25 = 0, -2*m - 3*v = m - 48. Let n(g) = -g**3 - 9*g**2 + g + 13. Let z be n(-9). Let y = m - z. Is y a multiple of 4?
False
Suppose 4*z - 3 = 5. Suppose c = 2*c - 4*i - 5, 0 = 4*i. Suppose -3*h = r - 3*r + 99, -c*r + 200 = z*h. Does 11 divide r?
False
Suppose 2*c + 18 = 2*i, -8 = -c + 3*c. Suppose -i*n + 81 = 6. Is n a multiple of 15?
True
Let a be (26 - -4) + 6 + -3. Let f be a*(-6)/(-9) - -3. Let r = 65 - f. Does 20 divide r?
True
Suppose -5*f + 0 + 10 = 0, 4*p - 2*f = 556. Suppose 2*u - r + 6*r - p = 0, 48 = u - 3*r. Does 19 divide u?
False
Is 9 a factor of ((-31)/62)/((-1)/668)?
False
Let k be 0/((-3 - -6) + -1). Let w be (-3 + k + 2)*-2. Suppose 110 = 3*l + w*l. Does 11 divide l?
True
Is 9 a factor of -2*2/(24/(-894))?
False
Let i = -71 - -69. Is i/2*(-253 + 2) a multiple of 21?
False
Let x = -32 + 96. Let o = 8 - x. Let d = 95 + o. Is 14 a factor of d?
False
Let i(t) = -10*t - 50. Let d be i(-21). Suppose -4*b + 32 = -d. Does 6 divide b?
True
Let k(l) = -l - 8. Let g be k(-3). Is (1 + (-263)/g)/(4/10) a multiple of 16?
False
Suppose -3*i - 409 + 1489 = 2*y, 5*i = -y + 526. Suppose 4*v - 5*h = 738, 4*v - y - 196 = 3*h. Is 11 a factor of v?
True
Suppose 27 = 4*w - 3*n, w + 2*n = 6*n + 23. Suppose -6*s - q + 114 = -w*s, -q = 0. Is 38 a factor of s?
True
Let f be 10/25 - (-13)/5. Let t(n) = -n**3 + n**2 - n + 12. Let x be t(0). Let m = x + f. Is 15 a factor of m?
True
Let a be (((-15)/(-10))/(-3))/(2/(-312)). Let u = -47 + a. Is 4 a factor of u?
False
Suppose -14*u - 42*u = -240856. Is 116 a factor of u?
False
Let f = -55 - -55. Suppose 250 = -f*w + 10*w. Does 5 divide w?
True
Let n(c) = -11*c - 5. Let j = 34 - 39. Is n(j) a multiple of 11?
False
Let p be 2 - (1 + -1 - 130). Does 11 divide (8/12)/(8/p)?
True
Let c(y) = 61*y - 1. Suppose -g - 2*p - 7 = -2, -5*g + 2*p + 11 = 0. Suppose -2*j + j = -g. Is c(j) a multiple of 30?
True
Let k be (7 + -1)/(33/(-44)). Let l = k - -18. Let h = 41 + l. Does 16 divide h?
False
Let t = 24 + -19. Let h(p) = p**3 - 4*p**2 - 4*p + 4. Let y be h(t). Suppose -2*c + 1 + y = 0. Is 5 a factor of c?
True
Let q = -42 - -53. Suppose 627 = -q*l + 2145. Is 46 a factor of l?
True
Suppose -i = p - 4*i + 15, -4*i = -20. Suppose 300 = -p*z + 6*z. Is z a multiple of 27?
False
Let o = 130 + -24. Suppose 4 = -5*r - o. Let i = r - -33. Does 4 divide i?
False
Let p(w) = w**3 + 0*w + 2 + 1 + 2*w - 6 - 3*w**2. Suppose 0 = -3*f - 3*g + 12, 4 = -f + 5*g + 14. Is p(f) a multiple of 14?
False
Let z(u) = -81*u**3 - 2*u**2 + 1. Let l be z(1). Let p = l - -105. Is 9 a factor of p?
False
Let k(f) = 2*f + 15. Let n(a) = -1. Let y(d) = -k(d) - 6*n(d). Let h be y(-7). Suppose -3*i = 5*l - 91, -46 = -2*i - h*l + 8. Is 20 a factor of i?
False
Suppose -5*l = u - 2*u - 25, u = 2*l - 13. Suppose n = 4*o - 5*o - l, -11 = 5*o + 2*n. Let m = o + 16. Is 5 a factor of m?
True
Let n be (-9)/(-15) + (-247)/(-5). Let u be (18/(-12))/((-1)/n). Suppose -4*g + u = -3*r, g = -0*g + 2*r + 20. Does 10 divide g?
False
Let i(g) = -7*g - 1. Let y be i(-1). Suppose 75 = 3*l + 4*p, -y*p + 75 = 3*l - p. Is 5 a factor of l?
True
Let w(z) = -z**2 + 7*z + 23. Is w(6) a multiple of 5?
False
Let k be (-1622)/(-7) - 4/(-14). Suppose -5*c + 10*q = 5*q - 390, 3*c = q + k. Suppose 2*v + v - 9 = 0, 0 = -2*w + v + c. Does 16 divide w?
False
Is 143*-6*(-6)/36 a multiple of 14?
False
Let b(h) = 58*h - 297. Is b(10) a multiple of 16?
False
Let x = 3935 - 1748. Does 27 divide x?
True
Suppose 4*t - 173 = 5*m, 4*m = 4*t - 2*t - 94. Let u = -23 + t. Does 10 divide u?
False
Suppose -6 = -66*a + 64*a. Suppose -14 = a*b - 434. Does 35 divide b?
True
Suppose l - 64 = 2*p, 4*l - 306 = 3*p - 50. Is 64 a factor of l?
True
Let k be ((-24)/10)/((-3)/10). Let l = k - 5. Suppose -l*h = -31 + 4. Is 9 a factor of h?
True
Let x = -400 + 741. Is x a multiple of 10?
False
Let i(d) = -d**2 + 8*d + 3. Let v be i(7). Let z(c) = -2*c + 1. Let x(h) = -2. Let y(f) = -2*x(f) - 2*z(f). Is 12 a factor of y(v)?
False
Let o = -24 + 68. Does 22 divide o?
True
Suppose 0 = -28*h + 38*h - 13210. Is 7 a factor of h?
False
Suppose -3*g - 2*i = -1132, -5*g - i + 1920 = -6*i. Suppose 48*w - 53*w + g = 0. Is w a multiple of 10?
False
Let y(v) = -v + 13 - 13. Let z be y(-3). Is (-2 + z)*2 + 58 a multiple of 16?
False
Suppose -5*f = 5*d - 65, f - 10 + 1 = -3*d. Let t = f + -15. Does 3 divide 1 + 2 + t/(-2)?
True
Let r = 17 - 17. Suppose 3*g - g - 4 = r. Suppose -2*k = -2 - g, -2*k = 5*o - 79. Does 15 divide o?
True
Let j(i) = 3*i**3 - 7*i**2 + i + 2. Let n be j(5). Let u = -123 + n. Suppose -m = 3*m - u. Does 8 divide m?
False
Suppose -5*r + 435 - 1490 = -5*i, -223 = -i - 3*r. Is i a multiple of 18?
False
Suppose 25*z = 21*z + 204. Let w = z - 39. Is 3 a factor of w?
True
Let g be 4/20 - (-12)/(-10). Is 18 a factor of g/(-5) - (-358)/10?
True
Suppose -p - 2*p = -5*v - 4, -14 = 2*v + 5*p. Does 4 divide (-1)/(v/(-60)*15/(-36))?
True
Suppose -4*v - 62 = -2*h, 2*v - 5*h + 10*h + 61 = 0. Let n be 6/(-1)*9/v. Is 7 a factor of (-1)/n*(-4 - 59)?
True
Let u be (58 - -1) + 2/2. Suppose -4*o - 7 = -27. Is 696/u + 2/o a multiple of 8?
False
Let y be (1 - -43) + (-3)/(-3). Suppose -2*k + k = 4*f - y, 0 = 2*k - 5*f - 129. Let j = -24 + k. Is 11 a factor of j?
True
Let k(q) = -q**2 - 7*q + 4. Let o be k(-6). Let b be 318/(-4) + (-5)/o. Let h = b + 128. Is 16 a factor of h?
True
Is 7 a factor of 10816/40 + (-12)/20*-1?
False
Let j be (33/22)/(3/4). Suppose 0 = -7*w + j*w. Suppose q - 4*q + 12 = w. Is q a multiple of 3?
False
Let f = 3 - 10. Let d = f - -18. Let m = d + -2. Is 7 a factor of m?
False
Let d(k) = 5*k**3 + 2. Let u be d(2). Let y = 63 - u. Suppose -2*p = -4*o + 2*p + 84, -o = 3*p - y. Is 5 a factor of o?
False
Suppose 52*a - 42*a = 1440. Is 16 a factor of a?
True
Let r(u) be the second derivative of 0 - 1/2*u**3 + 7/4*u**4 - 4*u - 1/2*u**2. Does 23 divide r(-2)?
False
Suppose 6*z - z - b - 318 = 0, 0 = -5*z + 5*b + 310. Let r be 4/((2 - -1)/3). Suppose r*f - z = 2*f. Is f a multiple of 8?
True
Sup