(t) be the second derivative of t**6/360 + 7*t**5/60 + t**4/4 - 5*t**3/6 + t. Let w(a) be the second derivative of i(a). Is w(-14) a multiple of 3?
True
Is 2233 + 15/(-2 - -7) a multiple of 118?
False
Suppose -23840 = -33*b + 34075. Does 13 divide b?
True
Suppose 2*c - 5*v = 1358, -2*c + 3*v - 5*v + 1372 = 0. Is 18 a factor of c?
True
Let r = 208 + -125. Suppose -w + r - 4 = -3*u, 433 = 5*w + 4*u. Does 17 divide w?
True
Suppose -5*o = 4*r - 20 + 3, 2*o = 5*r + 20. Let l(p) be the third derivative of -p**5/60 + 5*p**4/24 + 3*p**3/2 + p**2. Is 3 a factor of l(o)?
True
Let i = 2760 - 4545. Let l be 0/(-2) + i/(-7). Let w = -160 + l. Does 19 divide w?
True
Suppose -7*c + 34*c = 32913. Is 23 a factor of c?
True
Let c(r) = -35*r - 20. Suppose -122*i - 32 = -118*i. Does 20 divide c(i)?
True
Let a(b) = 17 + 2*b - 14 + 5*b - 15. Is a(8) a multiple of 27?
False
Let h = -491 - -811. Is 8 a factor of h?
True
Let v be 5/(-20) - (-1186)/8. Let n = -86 + v. Is 2 + 3/(6/n) a multiple of 11?
True
Let t(f) = 13*f - 9. Let c(g) = 12*g - 8. Let r(k) = -3*c(k) + 2*t(k). Let w be r(-15). Suppose w = 8*x - 5*x. Is x a multiple of 17?
False
Suppose 2*s - 5*o = s + 40, -s + 4*o + 36 = 0. Is s a multiple of 5?
True
Let p = 78 - 62. Does 2 divide p?
True
Suppose 3*j + 8 = -j. Is 9 a factor of (1/j)/((-2)/108)?
True
Is 9 a factor of (213030/20)/(-27)*-14?
False
Let c be (-13)/(-6) - 1/6. Let q(u) = -u**2 + u**2 + 1 + 9*u - u**c + 0*u**2. Is q(7) a multiple of 5?
True
Let r(f) be the second derivative of -20*f**3/3 - 7*f**2 + 21*f - 2. Is r(-3) a multiple of 7?
False
Suppose 1035 = 8*v + 203. Let j = -48 + v. Is 7 a factor of j?
True
Let c(d) = -2*d**3 - 3*d**2 - 5*d - 8. Let n(b) = 15*b - 1. Let i be n(-2). Let w = 28 + i. Is 34 a factor of c(w)?
True
Suppose l + 4*m = 3*m + 5, -4*l - 3*m + 17 = 0. Let s(f) = -23*f. Let u(z) = z - 1. Let p(n) = -s(n) - 2*u(n). Is p(l) a multiple of 11?
True
Let i = 59 - 193. Let p be ((-2)/(-1))/((-4)/i). Let z = p + -31. Does 18 divide z?
True
Suppose 5*f - 1732 = -3*n + 1429, -4*n - 4*f + 4220 = 0. Is n a multiple of 22?
False
Suppose c + 6 = -2. Let w(f) = f**3 + 7*f**2 - 6*f + 11. Let q be w(c). Let j = -2 - q. Does 2 divide j?
False
Suppose l + 531 = 4*l. Suppose 0 = -14*z + l + 1475. Is z a multiple of 9?
False
Let r(t) = -10*t + 4. Let z be (5/4)/(4/(-32)). Let g be r(z). Suppose 2*c - g - 16 = 0. Is c a multiple of 12?
True
Suppose -s = 4*c - 21, 3 = 3*s - 12. Suppose -4*z + 84 = -c*o, o + 3 - 4 = 0. Suppose -3*m + 53 + z = 0. Does 25 divide m?
True
Suppose w - 2 = -0*w. Suppose w*t + 35 = 7*t. Suppose 4*s - 4 = -i, -3*i - 2*s + 80 = -t*s. Is 6 a factor of i?
False
Suppose 5*v + 0*a - 4*a = -20, 3*v - 25 = -5*a. Suppose v = -16*b + 13*b + 180. Is b a multiple of 17?
False
Let l be 104/20*10/4. Let i = l - 15. Does 21 divide (45 - 2)/(i - -3)?
False
Suppose 3*b + 20 = 56. Let i(f) = -f**3 + 11*f**2 + 13*f - 1. Does 11 divide i(b)?
True
Is 2/(-9) + (-66374)/(-198) a multiple of 34?
False
Suppose 9 = d + 65. Let m = -4 - d. Does 14 divide m?
False
Let k be 8 - 3 - 2*1. Let x be (-126)/3*(k - -7). Does 18 divide (24/20)/((-9)/x)?
False
Let o be 32/(-12)*237/(-2). Suppose -c - 209 = -2*u, 0*c - o = -3*u + c. Let s = u + -59. Is s a multiple of 11?
False
Suppose -126 = -q + 135. Is q a multiple of 3?
True
Let q = 408 - 190. Let x = q - 390. Let p = -120 - x. Is 13 a factor of p?
True
Suppose -5*p + 29 = -3*y, -2*y + 0*p + 6 = 3*p. Let g = -6 - y. Let m(q) = 2*q**2 + 4*q + 2. Does 8 divide m(g)?
True
Let w(j) = 4*j - 15. Let k be w(5). Suppose -b - 2*q + 0*q - 7 = 0, k*b - 30 = 3*q. Suppose -8*a + 160 = -b*a. Does 32 divide a?
True
Suppose 0 = 4*u - 7*u + 60. Let j = 72 - u. Is j a multiple of 12?
False
Let m = -95 + 295. Suppose -w - m = -6*w. Is w a multiple of 10?
True
Does 100 divide 25196/36 - 26/(-234)?
True
Suppose -4*u - 4*j = -2*j - 22, -2*u = -5*j + 7. Suppose -2*r - 2 = 4*g, -2*r = -u*g - 19 + 53. Let v = 21 + r. Does 4 divide v?
True
Suppose -4*z - 2*b + 194 = 0, -2*z + 85 = 2*b + 3*b. Suppose 34 = 6*g - z. Is 14 a factor of g?
True
Let a = 49 + -33. Let o = 9 - -37. Let c = o - a. Is 10 a factor of c?
True
Let i(y) = 67*y**2 + 5*y + 3. Does 69 divide i(3)?
True
Let u(w) = 18*w - 54. Is 19 a factor of u(39)?
False
Suppose -38 = -4*b - 10. Let m = b - -11. Does 4 divide m?
False
Is 512/5*(-25)/(-10) a multiple of 19?
False
Let w = 106 + -179. Let j = w + 103. Is 29 a factor of j?
False
Let n be 1/2*0/((-3)/3). Let d(t) = -t**3 + 4*t**2 + t - 1. Let x be d(4). Is (-9)/x + 55 + n a multiple of 13?
True
Suppose 3*k = 15*k - 1332. Is k a multiple of 5?
False
Let f(w) = w**3 - 20*w**2 + 6*w + 30. Is f(20) a multiple of 10?
True
Let p(q) be the second derivative of -q**4/12 + 5*q**3/6 - q**2 + 5*q. Let d be p(3). Suppose 5*n - 575 = 4*k, d*k = -2*n - 2*n + 460. Is 24 a factor of n?
False
Suppose -4*s - 16 = -2*j + 1000, j = -5*s + 480. Is 20 a factor of j?
True
Suppose 5*n - 20*h + 19*h = 1062, -2*n + 422 = h. Is 17 a factor of n?
False
Let j(n) = n + 3. Let h be j(-5). Let r be h/3 + (-51)/(-9). Suppose 0 = -r*w - 29 + 249. Is 15 a factor of w?
False
Let f = 1027 - -198. Does 28 divide f?
False
Suppose -o - m - 2 + 1 = 0, 0 = -2*o - m - 4. Let z(p) = p**3 + 4*p**2 + 2. Let i be z(o). Suppose -93 = -2*v + i. Is 13 a factor of v?
True
Let x(f) = 60*f - 791. Is x(39) a multiple of 20?
False
Suppose w - 5*y = 208, 936 = 2*w + 3*w + y. Let o = -124 + w. Is o a multiple of 16?
True
Let t = -6 - -11. Suppose t*f - 3*f - 112 = 0. Is 8 a factor of f?
True
Suppose -6*i = 1 - 115. Let v be i/1*-1*1. Let y = 41 - v. Is 20 a factor of y?
True
Suppose 4 = 4*w - 5*i - 6, 3*i + 6 = -5*w. Is 24 a factor of ((-15)/(-6))/5*w + 69?
False
Let b(y) = 5*y**2 + 4*y - 3. Let d(a) = 3*a**3 + 9*a**2 - 11*a - 10. Let z(t) = t**3 - t**2 + t. Let f(m) = d(m) - 2*z(m). Let r be f(-12). Does 25 divide b(r)?
True
Let s(b) = -13*b - 1. Let v be (3 - 1 - 0) + -1. Suppose c + m = -2*m + 2, 0 = 2*c + m + v. Is s(c) a multiple of 12?
True
Suppose l - 479 = -5*c, -7*l + c = -8*l + 487. Is l a multiple of 33?
False
Let c(n) = n**3 - 6*n**2 + 7*n - 5. Let r be c(5). Is 30/9*24/r a multiple of 8?
True
Let n be (-2)/(-8)*4 + 1. Suppose -2*a + 6*r = 2*r - 166, n*a - r - 154 = 0. Is 15 a factor of a?
True
Let z = 1606 - 1336. Is 6 a factor of z?
True
Let m(q) = q**2 + 2*q + 5. Let o be m(-2). Suppose o*t - 374 + 119 = 0. Does 11 divide t?
False
Suppose 0 = -2*o + 4*o - 9*o. Suppose 2*i + o = 162. Does 16 divide i?
False
Let a(s) = 2*s**2 - 30*s + 119. Is 11 a factor of a(9)?
True
Suppose -773 = -4*r + 5*q, -3*r - 2*q = -5*q - 582. Is r a multiple of 21?
False
Let r(p) = 10*p + 8. Let x(a) = -a**3 + 5*a**2 + 11*a - 9. Let o be x(6). Let t = o + -17. Is r(t) a multiple of 24?
True
Is 14 a factor of (-26100)/(-14) + -2 - (-84)/(-294)?
True
Let y(j) = j**2 + j + 60. Let w be y(0). Suppose -m + 2 = -4*p, 29 = 7*m - 3*m + 5*p. Let z = w - m. Does 21 divide z?
False
Suppose -23*x + 1566 = -6208. Is x a multiple of 17?
False
Suppose -330*r + 912 = -306*r. Is 19 a factor of r?
True
Suppose 61*z = 58*z + 4644. Is 18 a factor of z?
True
Suppose 7*m - 770 = 2*m. Let d = m + -81. Is d a multiple of 5?
False
Suppose -2*v - 3*r + 68 = 0, -27 = -3*v + 5*r + 37. Suppose 25 = k - v. Is k a multiple of 36?
False
Let c(r) = r**3 - 5*r**2 - 6*r + 5. Let w be c(6). Suppose 0*z + w*z = 100. Suppose -4*o + 4 = -z. Does 2 divide o?
True
Suppose 0 = -4*a + 2*a + 18. Let r be a*(-3)/9*-1. Suppose 4*o = c + 84, -105 = -5*o - r*c - 2*c. Is o a multiple of 4?
False
Does 5 divide 28*3*(-4 + 9)?
True
Suppose 0 = 3*l + 386 - 1511. Suppose 0 = -0*g + 3*g - l. Is 26 a factor of g?
False
Let u(h) be the third derivative of h**5/20 - 25*h**4/24 + h**3 + 5*h**2. Let w(r) be the first derivative of u(r). Does 12 divide w(8)?
False
Suppose 0 = -3*c + 1 + 8. Suppose 2*t - 91 = -m, 0 = 5*t + m + 24 - 256. Let s = t + c. Is 12 a factor of s?
False
Suppose 25 = -5*f + 2*j + 4, -2*f = 4*j + 18. Let k be f/(-5) + (55 - 2). Suppose -z = 6 - k. Is z a multiple of 18?
False
Let n(u) = -70*u + 47. Let k be n(-9). Is -4*5/(-70) + k/7 a multiple of 16?
False
Let o(h) be the first derivative of h**5/6 + h**4/6 - 11*h**3/3 + 12. Let d(a) be the third derivative of o(a). Is d(5) a multiple of 28?
False
Let g = 95 - 93. Is 2