e the second derivative of s**4/12 - s**3/2 - 3*s**2/2 - 54*s. Is i(n) a multiple of 13?
False
Let b = 376 + -173. Is b a multiple of 9?
False
Let m = -25 + 25. Suppose 217 = -m*f + f. Does 31 divide f?
True
Let n(c) = c**2 + 5*c - 2. Let r be n(-4). Let b(a) = a**2 + 7*a + 9. Let d be b(r). Suppose 0 = -g - d + 69. Is g a multiple of 22?
True
Suppose 5*x - 86 - 54 = 0. Let t(c) = -2*c**3 + c**2 + 3*c + 1. Let h be t(2). Is (x/h)/(4/(-60)) a multiple of 21?
True
Suppose 4*h - 4 - 12 = 0. Suppose -5*p + 0*p = x - 34, -5*p + 32 = 3*x. Suppose -p = -4*n + h*v + 1, -4*n - v + 28 = 0. Is 5 a factor of n?
False
Let v(l) = -11*l - 11. Suppose -11 + 36 = -5*x. Is 13 a factor of v(x)?
False
Suppose -5*d + 4*t = 3*t - 7, -3*t + 15 = 3*d. Suppose 291 = -d*j - 469. Does 12 divide (-2)/(-4) + j/(-8)?
True
Let j(p) be the second derivative of 5/2*p**2 + 0 + 4*p + 1/12*p**4 - 1/3*p**3. Is 4 a factor of j(4)?
False
Let m be 27/36 + (-9)/(-4). Suppose -w + 1 = -j - 4, -2*w - 15 = m*j. Suppose 0*y + 5*o = y - 22, w = y + 3*o - 30. Does 5 divide y?
False
Let y = -139 + 99. Let d be 8/10 + (-88)/y. Suppose d*w = 9*w - 384. Is 16 a factor of w?
True
Let r(g) = 6*g**3 - 22*g**2 + 9*g**3 + 21*g**2 + 1 + g. Is r(1) a multiple of 6?
False
Let t(u) = -u**3 + 4*u**2 + 3*u. Suppose 12 = -3*w - 0, 4*o - 32 = 4*w. Let v be t(o). Is 14 a factor of v/(-7)*(-49)/2?
True
Let q = 13 - 11. Suppose 13 = q*k - 13. Is k a multiple of 6?
False
Let u(s) = s**3 + 13*s**2 - 56*s + 19. Is u(-13) a multiple of 13?
False
Let c = -11 - -13. Does 27 divide (428/10)/(c + (-16)/10)?
False
Suppose -5 = -3*f - 2. Let h(k) be the second derivative of 7*k**3/6 - k**2/2 + 4*k + 6. Is h(f) a multiple of 5?
False
Suppose -24*a + 366 = -22*a. Is 31 a factor of a?
False
Let h = 5 - 14. Let y(t) = -8*t**2 - 6*t**2 + 3 - 40*t**3 + 39*t**3 - 12*t + 4*t**2. Is y(h) a multiple of 30?
True
Let d = -32 - -27. Is 522/d*75/(-30) a multiple of 11?
False
Let m(f) be the first derivative of -3*f**4/2 + f**2 + f + 4. Let s be m(-1). Let a = 4 + s. Is a a multiple of 3?
True
Suppose -4*s - s = -265. Let g = s + -26. Does 9 divide g?
True
Suppose -2*d + 4*a = 2, 2*d - 5*d - 3*a + 24 = 0. Suppose -2*f - x = -31, x - 75 = -d*f - x. Is f a multiple of 3?
False
Let w be 184/18 + (-6 - (-104)/18). Let g = 21 - w. Does 2 divide g?
False
Does 9 divide (-24)/42 + (-2700)/(-21)?
False
Suppose -379 = -4*n + 449. Is n a multiple of 11?
False
Suppose k + 354 = 5*n - 0*k, -2*n + 156 = -4*k. Let m = n + -22. Is 5 a factor of m?
False
Suppose -2*h + 5 = -5. Let t(s) = -3*s + 62*s**2 - 4 - 183*s**2 + 60*s**2 + 63*s**2. Is 22 a factor of t(h)?
False
Let j(k) = 5*k + 12 - 23*k + 15*k - k**3 + 8*k**2. Is j(7) a multiple of 9?
False
Suppose 3*m + 151 = p + 2290, 5*m - 3576 = -2*p. Is 17 a factor of m?
True
Let n = 18 - 19. Let o(u) = -60*u**3 - u - 1. Does 15 divide o(n)?
True
Let n be (24/(-10))/(6/(-20)). Suppose -n*c = -6*c - 12. Does 3 divide c?
True
Suppose 2*f = 2*x + 146, -2*x = 4*f + x - 320. Suppose 0 = -5*w + y + f, 2*y = 6*w - 2*w - 58. Does 5 divide w?
False
Suppose -4*f + 0*f + 228 = 0. Let j be (-114)/4*(-190)/f. Suppose 3*r - 2*m = 68, 5*m = 4*r - 5 - j. Is r a multiple of 20?
True
Let n(u) = 54*u + 6. Is 5 a factor of n(1)?
True
Suppose -4*a - 3*k = -24, -4*a - 3*k - k + 28 = 0. Suppose 3*v - 41 = 5*i, 0 = -4*v - a*i - 2*i + 8. Let z = 12 + v. Does 5 divide z?
False
Let t be (-6)/9 + 67/(-3). Let g = -55 + t. Let m = -28 - g. Does 17 divide m?
False
Suppose r = -3*r. Let z(p) = -p**3 - p. Let s be z(r). Suppose 3*a - 2*o - 130 = s, 4*a - o = 166 + 4. Does 21 divide a?
True
Let o be (-5)/(((-6)/(-4) - 1) + -3). Suppose -26 = -3*d - o. Is d a multiple of 4?
True
Does 67 divide -1*10/(-15) + 25669/57?
False
Suppose -3*n - 252 = -5*i, -3*i + 148 = -21*n + 20*n. Does 7 divide i?
False
Suppose a + 12 = -2*a. Does 12 divide 22/a*(0 + 4/(-1))?
False
Let h be 0/(0 - 4) - -2. Suppose -2*v - 246 = -4*t + 184, 211 = h*t - 5*v. Suppose 0*y = 3*y - t. Is 18 a factor of y?
True
Suppose 4*a + 2*g = 1952, -4*a + 1964 = -0*g - g. Does 49 divide a?
True
Let l(m) = -m + 13. Let s be l(8). Suppose 239 = 5*q - 2*x, -s*q - 4*x = -294 + 37. Let n = q + 3. Does 13 divide n?
True
Suppose 3059 = -10*z + 11749. Is 18 a factor of z?
False
Let h(l) = -2*l - 4. Let k(w) = w - 16. Let q be k(13). Let n be h(q). Does 14 divide ((-2)/n + -40)*-1?
False
Let w = 185 + -125. Suppose 0*t - 4*t - w = 0. Is (t + 3)*(2 - 8) a multiple of 18?
True
Let f be 180/4*4/6. Let w = 1 - 1. Suppose f = -w*k + 5*k. Is k a multiple of 2?
True
Let k(q) = q**3 + 5*q**2 - 6*q + 5. Let d be k(-6). Suppose -69*f - 46 = -71*f - 3*u, 23 = f - u. Suppose 71 = 2*j - 4*n + f, 0 = 5*n - d. Is 13 a factor of j?
True
Suppose 6*s - 8*s + 4*r = -24, 3*s - 28 = 4*r. Suppose 0*m + 3*m - 2 = -s*g, 0 = 4*m + 5*g - 3. Suppose m*w + 3*w = 55. Is 9 a factor of w?
False
Let t = 89 + -91. Let k(i) = -17*i**3 + 2*i**2 + 2*i - 1. Is k(t) a multiple of 12?
False
Let y = 6 + -2. Suppose 4*q = -5*m + 284, 2*m - 2*q = 3*q + 107. Suppose -g = p - m, 10 = y*p + g - 199. Is p a multiple of 17?
True
Suppose -3*u = -6 - 72. Suppose -3*m + 55 = -j - u, 5*m + 3*j - 149 = 0. Suppose 0 = -5*f + 3*f + m. Is f a multiple of 7?
True
Suppose 3*j - 2*m = 84, -4*j + 101 + 11 = -m. Suppose -3*t = -2*g + j + 9, -2*g + 2*t + 34 = 0. Let q = 6 + g. Is q a multiple of 10?
True
Let t(b) = 128*b**2 + 6*b - 37. Is 5 a factor of t(3)?
False
Let g = -100 - -59. Let q = g - 7. Let f = 82 + q. Does 15 divide f?
False
Let t(x) = -x - 19. Let c be t(8). Is 1384/18 + (-3)/c a multiple of 19?
False
Let w = 1649 + -1113. Is 31 a factor of 1/(4/w) - -4?
False
Let q(x) = -4*x**3 - 6*x**2 + 12*x - 90. Does 102 divide q(-9)?
False
Let y = 21 - 20. Let u = y - 1. Let g(d) = d**2 + d + 54. Does 17 divide g(u)?
False
Suppose -3*f - 220 = -2*c, 2*c = -0*c - 8. Let i = 92 - f. Does 42 divide i?
True
Let a(r) = 15*r**2 + 64*r + 15. Does 5 divide a(-7)?
False
Suppose -5*l = 4*n - 139 - 101, 0 = 4*l + 2*n - 198. Is l a multiple of 10?
False
Let g(s) = -s**3 - 27*s**2 - 39*s - 63. Is g(-26) a multiple of 25?
True
Let i(l) = l + 2. Let j(b) = -1. Let v(z) = i(z) + 5*j(z). Let h be v(4). Does 17 divide h + -33*(1 - 2)?
True
Does 14 divide (-5)/(-30)*6 + 34?
False
Let j(y) = 15*y - 8. Let i(q) = -14*q + 9. Let t(a) = -4*i(a) - 5*j(a). Is t(-2) a multiple of 8?
False
Let u(d) = -5*d + 8. Let r be u(-19). Suppose 37 = 2*j - r. Does 11 divide j?
False
Let u(o) = 214*o**2 - 2*o + 1. Let q(y) = y**2 + y - 1. Let s(r) = 3*q(r) + u(r). Is 9 a factor of s(1)?
True
Suppose x = -2*x + 9. Suppose 321 + 7 = 4*v + 4*d, -x*v = d - 238. Is 17 a factor of v?
False
Let f = -36 - -46. Suppose -f*y = -11*y + 112. Does 16 divide y?
True
Let t = 2459 - 1508. Does 14 divide t?
False
Let u(g) = g**2 + 9*g + 9. Let v be u(-8). Suppose -5*t = -10, 2*k = -k + 4*t - 5. Is 13 a factor of -26*v/(-2)*k?
True
Let g be 5/1*((-150)/(-6) - 2). Suppose 4*f = -107 + g. Is f even?
True
Let t(r) = -168*r - 22. Does 11 divide t(-5)?
False
Suppose -85*l = -62*l - 5566. Does 11 divide l?
True
Let g(m) = 3*m**2 + 37*m - 20. Is g(-35) a multiple of 10?
True
Suppose -4 = 4*w, 82 = -4*o - 5*w - 51. Suppose 5*l - 2*h = 357, 3*l - 5*h = l + 147. Let v = o + l. Is v a multiple of 8?
False
Let p(d) = d**3 + 8*d**2 + 7*d + 5. Let c be p(-7). Suppose -c*m - 5*q = -m - 113, -85 = -5*m + 5*q. Suppose -m = -0*l - 2*l. Does 5 divide l?
False
Suppose 7*i - 146 = 5*i. Let j = i - 17. Does 14 divide j?
True
Let k(q) = q**3 + q - 1. Let p(h) = 13*h**3 + h**2 + 6*h - 6. Let i(x) = -6*k(x) + p(x). Let d be i(-1). Is 38 a factor of (994/(-42))/(1/d)?
False
Suppose 0 = -2*v + 2*x + 38 - 0, 5*v + 5*x - 135 = 0. Let r = v + 9. Is 17 a factor of r?
False
Suppose -120 = -139*d + 138*d. Is 8 a factor of d?
True
Let h = -1 - -1. Suppose h = -14*i + 12*i + 324. Is 27 a factor of i?
True
Let u = 728 - 296. Is u a multiple of 54?
True
Suppose -15*v + 12*v = 3*n - 2361, 3*v - 2371 = -n. Does 8 divide v?
True
Suppose 4 = c - 2*f + 9, -5*c - f = -30. Suppose c*m - 15 = -5. Does 6 divide 13/m - 1/2?
True
Let x = 39 + -78. Suppose 6*n - 336 = -0*n. Let v = x + n. Is v a multiple of 17?
True
Let h = 13775 + -8915. Is 12 a factor of h?
True
Let x(a) = 7*a + 11. Let j = -3 - -8. Let g(n) = -20*n - 32. Let k(w) = j*g(w) + 