(f) be the second derivative of -f**5/20 - 5*f**4/12 + 2*f**3 - 5*f**2 - 6*f. Let r be p(-7). Is 5 a factor of b(r)?
True
Let g = 8611 - 5839. Is g a multiple of 33?
True
Suppose 150*l = 2322639 - 43839. Is l a multiple of 23?
False
Let i = -61 - -63. Suppose 0 = -8*z - z + i*z. Suppose z = 83*o - 80*o - 258. Is 24 a factor of o?
False
Let q(a) = 39*a**2 - 11*a - 4. Suppose -10 = -2*y + 4*i, 0 = -5*y + 8*i - 11*i - 27. Is q(y) a multiple of 10?
True
Let a(u) = -23*u - 117. Let c be a(-26). Suppose 4*g = r - c, g - 919 - 524 = -3*r. Is r a multiple of 37?
True
Suppose -s + 22699 = 5*q, -4*q - 12*s = -17*s - 18136. Is q a multiple of 9?
False
Suppose -11*m - 70193 = 25*m - 811505. Is 12 a factor of m?
True
Let x(v) = 39*v - 56. Let h be x(4). Is (-1 - 12)/(h/15 - 7) even?
False
Let k = 120 - 42. Suppose -6*l + 3*l - 4*c + 164 = 0, 0 = 5*c - 25. Let u = l + k. Is u a multiple of 21?
True
Let g(j) = 602*j - 22. Let z(w) = -201*w + 7. Let f(i) = 4*g(i) + 11*z(i). Is f(1) a multiple of 62?
True
Suppose 240 = p + p. Let f(s) = s**3 - 7*s**2 + 19*s + 4. Let c be f(8). Let r = c - p. Is 10 a factor of r?
True
Suppose 8*j = 7*j - 3*c + 153, c = 2*j - 334. Is 15 a factor of j?
True
Let v = 199 - 197. Let n(j) = j - 1. Let l be n(1). Suppose -4*h + 428 = u, 3*u - 214 = -v*h - l*u. Is 15 a factor of h?
False
Let u(n) = -3*n + 8. Let g be u(-10). Suppose -8*j - 14 + g = 0. Suppose -2*f = -2*l - 2*l - 380, l = j*f - 550. Is f a multiple of 13?
True
Let i = 5862 - 3747. Does 14 divide 2*(-1)/4 - i/(-10)?
False
Let k(i) = 2*i**2 - 37*i + 48. Let n be k(17). Is ((-9016)/(-138))/((-1)/n) a multiple of 4?
True
Suppose 0 = -q + 5*q - 4, q = 2*f - 1535. Suppose -f = 28*y - 29*y. Does 16 divide y?
True
Let g(r) = 2*r**3 + 136*r**2 - 111*r - 162. Is g(-68) a multiple of 85?
False
Let c = -2399 + 5173. Suppose c = 2*i - s, -5*i + 5*s = -6624 - 316. Does 18 divide i?
True
Suppose 3*a - 190 = -w - 65, 0 = w - 2*a - 130. Does 22 divide w - (3 + 5 - 12)?
True
Let w = 350 - 212. Suppose 8*h - w = 1798. Is h a multiple of 18?
False
Let y = -71 - -30. Let x = y + 5. Let i = x + 47. Is i even?
False
Suppose 131*v - 3202053 - 692577 = 0. Does 44 divide v?
False
Let a = -87 + 44. Let r = a - -58. Suppose -r*x + 73 = -92. Is 4 a factor of x?
False
Let o = -3 + 5. Let c(s) = 8*s**3 + 2*s**2 - 4*s + 5. Let w be c(o). Let x = w - 9. Is x a multiple of 43?
False
Let w be (117/(-12) - -2) + 12/16. Let n be -12*21/4*(-3)/w. Does 16 divide 9/(n/(-6)) + 94?
True
Let o = 123 - 109. Is (12/o)/(40/1960) a multiple of 7?
True
Suppose -41*s + 43816 = 4*v - 44*s, s = -5*v + 54751. Is 233 a factor of v?
True
Let b be (-1)/((-7)/2) + 726/(-42). Let o(v) = 6*v**2 + 32*v - 30. Is 29 a factor of o(b)?
True
Suppose 218*v = 329781 + 671929. Does 9 divide v?
False
Suppose 1984 = 4*v - 0*v. Suppose -q + v = 3*q. Suppose 0 = 2*x + i - q, x + 240 = 5*x - 2*i. Is x a multiple of 27?
False
Suppose -88730 = 30*x - 49*x. Suppose -5*f - 5*f = -x. Is 60 a factor of f?
False
Suppose 108*z - 105*z - 11774 = 2*j, j - 7833 = -2*z. Is 80 a factor of z?
True
Let p be 4/(-3)*1350/(-6). Suppose 243*c - 253*c = -p. Is 4 a factor of c?
False
Let t(x) = 4 - x**2 - 2 + 6 - 26*x + 8. Let k be t(10). Is k/(-9) + 0 + 4/(-18) a multiple of 38?
True
Let j(l) = -9*l + 7. Let p be j(-3). Suppose -9 = 5*a - 5*o - p, 11 = 4*a + 5*o. Suppose a*d - 129 = 87. Is 6 a factor of d?
True
Let i be 363 - (-36)/(-27)*6/4. Let s = i - -141. Is s a multiple of 56?
False
Suppose 4*d + 4*q - 27 = 117, 0 = 5*d - q - 174. Suppose -5*v + 40*h - d*h + 480 = 0, 4*v - 2*h = 392. Does 5 divide v?
True
Suppose -14*c + 29*c - 75 = 0. Is (-12)/c*(0 + (-140)/21) a multiple of 7?
False
Suppose -r + 50480 = 4*r - 2*u, 50495 = 5*r - 5*u. Is 18 a factor of r?
False
Does 8 divide 18885 - ((-252)/24)/21*(-24)/(-2)?
False
Suppose 4 = -4*j + 11*i - 8*i, 2*j + 4*i = 20. Suppose -890 = -7*h + 2*h. Suppose j*n = -0*n + h. Is 21 a factor of n?
False
Let c(b) = -b**2 - 8*b + 2. Let r be c(-8). Suppose 3*s - y - 15 = r*s, -3*s - y + 61 = 0. Suppose -10*v = -s*v + 234. Is v a multiple of 26?
True
Let x = -14667 + 18407. Is 220 a factor of x?
True
Let b be (-2)/4*(-3 + 3)/(-6). Suppose -9*q + 13*q + 5*w - 2262 = b, 572 = q - 2*w. Is q a multiple of 71?
True
Let i be (2/(-5))/((0 + -4)/40). Suppose -w - i*w = -4*t + 503, -w + 137 = t. Suppose -23*n = -17*n - t. Is n a multiple of 22?
True
Suppose -1 - 6 = -3*m - 2*f, -4*f - 10 = -2*m. Suppose -5*p + 4 + 6 = 0. Suppose n - 86 = -m*i, n - 123 = -4*i - p*n. Is 13 a factor of i?
False
Suppose 0 = -0*g - 13*g + 8814. Let x = -537 + g. Is x a multiple of 3?
True
Suppose 112 = 4*y - 4*a, -a - 3 = -0. Suppose -y*h + 13*h = -4752. Is h a multiple of 22?
True
Suppose 0 = -5*i + 3*j + 5605, -3*i = -5*j + 2*j - 3369. Suppose 2*c - 6*m = -m + 1090, 0 = -2*c - 2*m + i. Is 4 a factor of c?
False
Is (-256)/(-320)*(-15)/(-4) - 1642/(-2) a multiple of 4?
True
Let b be (-6)/8 - (4290/40)/13. Is (705/(-20))/(b/216) a multiple of 12?
False
Let r(l) = 3*l**2 + 9*l - 77. Let s(q) = 2*q**3 - 48*q**2 - q + 29. Let i be s(24). Is r(i) a multiple of 3?
False
Suppose 11*n = 9623 - 1923. Suppose 0 = -6*o + o + n. Is 14 a factor of o?
True
Does 51 divide 11 + (-36597)/(-18)*6?
False
Let h(t) = -17*t - 143. Let b be h(-10). Let q(w) = -w**2 + 65*w - 38. Is q(b) a multiple of 72?
False
Let h(c) = 5*c + 47. Let p be h(-9). Suppose -4 = -g + l, 5*g - g = -3*l + p. Suppose 4*u + 0*z - 104 = g*z, 0 = u + 5*z - 37. Is 3 a factor of u?
True
Let b(u) = 1066*u**3 + 12*u**2 + 3*u - 2. Is 11 a factor of b(2)?
True
Is 3 + 2828 - -9 - (4 + -2) a multiple of 150?
False
Suppose -2*k = -4*z - 33448, 320*z - 325*z - 83615 = -5*k. Does 12 divide k?
False
Let z(h) = -2*h**3 - 4*h**2 + 12*h + 40. Let m = 5 - 9. Is z(m) even?
True
Let b(a) = -4*a**2 + 6*a + 2. Let g be b(3). Let k be ((-2)/4)/((-1)/g*2). Let l(y) = y**2 + 2*y + 4. Is 12 a factor of l(k)?
True
Suppose -2*h = -58 + 4. Is (19/((-228)/296))/((-6)/h) a multiple of 12?
False
Let v = 10901 - 6158. Does 128 divide v?
False
Suppose 26517 = 5*r - 3*w, 0 = 5*r - 14*w - 15197 - 11254. Is 131 a factor of r?
False
Let s = 4910 + 2292. Does 277 divide s?
True
Let x = 10435 + -6084. Does 75 divide x?
False
Suppose -3*v + 8*v - 2*y - 190 = 0, -3*v = -4*y - 114. Let b = v - -26. Let o = 188 + b. Is o a multiple of 16?
False
Let a(n) = -882*n + 6780. Is 182 a factor of a(-23)?
False
Let c(z) = -20*z**3 - z**2 + 6. Let x be c(-4). Let d = x + -694. Is d a multiple of 18?
True
Suppose 5*a - 19 = 4*a. Suppose 10*s + 630 = a*s. Does 15 divide (1 + -3)/14 - (-3160)/s?
True
Let j(a) = -29*a - 2. Let i(k) = -k + 11. Let h be i(9). Suppose 0 = 2*u + h - 0. Is 11 a factor of j(u)?
False
Suppose 3*v + 189 = 2*j, -2*j - v - 98 = -275. Is 12 a factor of 24/(12/j*3)?
True
Suppose -5*z = -6813 + 933. Suppose 7*a = 13*a - z. Suppose -k - 4*k - a = -4*i, 0 = 3*k + 12. Is 3 a factor of i?
False
Does 11 divide (394/4 - -2)/(29/((-35960)/(-15)))?
False
Let n(a) = 30*a - 30. Suppose 4*o = 4*q, 4*o + 0*q + 3*q = -35. Let c be n(o). Let r = -109 - c. Is 6 a factor of r?
False
Let b(z) = -z - 2. Let t be b(-2). Suppose -3*j - j + 384 = t. Let d = j + 0. Is d a multiple of 24?
True
Let x(o) = 9*o**2 - 17*o - 523. Let i(z) = -6*z**2 + 12*z + 349. Let f(r) = -7*i(r) - 5*x(r). Does 13 divide f(0)?
False
Let h(f) = 8*f**2 + 169*f - 38. Let i be h(-16). Let l = i - -749. Does 5 divide l?
True
Let p be 1/(-4)*-5 - 4310/(-40). Let r = 352 + p. Is r a multiple of 29?
False
Suppose 0 = 5*v + 3*y - 865, 5*v - 3*y - 865 = 2*y. Suppose 4*u = d + v, -12*u + 16*u - 188 = 4*d. Is 21 a factor of u?
True
Let t = -4419 - -8302. Is t a multiple of 17?
False
Let p(y) = -y**3 + 8*y**2 + y + 7. Let j be 2 + -7 + (-7)/1. Let b be 2 - 3 - j - 3. Is 2 a factor of p(b)?
False
Suppose 0 = 19*q - 14*q. Suppose 0 = 5*x - 4*h - 2, -5*x - 4*h + h + 16 = q. Is 31 a factor of (121/x)/(9/2 - 4)?
False
Let k(m) = 8*m**2 - 12*m - 17. Let b be k(-10). Let t = b + -135. Is t a multiple of 14?
False
Let o be 2 - (-1)/(5/400). Let q = 223 - o. Suppose w - 4*c - 22 - 20 = 0, 5*w = -3*c + q. Is 17 a factor of w?
False
Let m be (284 + (-70)/10)/(1 - 0). Suppose -360 = 269*b - m*b. Is 3 a factor of b?
True
Let x(h) = -h + 2. Let q(t) = t**3 + 10*t**2 - 23*t + 5. Let c be q(-12). Let g 