f 9?
True
Let d(n) be the second derivative of 5*n**3/3 - 3*n**2 + 5*n. Does 13 divide d(4)?
False
Let u be (-3)/(-4)*4 + -6. Does 8 divide 30 + (0/u)/(-3)?
False
Let t be (9/6)/((-3)/(-4)). Suppose 0 = -3*q + 4 + t. Suppose 2*y = k + 22, -5*y - q*k = -2*y - 47. Is y a multiple of 12?
False
Let r(l) = l**2 - l. Let d be r(-1). Let w(p) = p**2 + p + 2. Is 3 a factor of w(d)?
False
Let a(g) be the third derivative of g**5/60 - g**4/4 + 3*g**3/2 + 5*g**2. Is a(7) a multiple of 16?
True
Let o(w) = -2*w - 7. Let i be o(-5). Suppose 4*n - 4*g = 12, 0*n - 2*n + i*g = -6. Suppose 4*s + n*d = 92 - 8, -5*s + 94 = d. Is 6 a factor of s?
True
Let n be (-12)/(-66) - (-282)/22. Let u = n + -5. Is 8 a factor of u?
True
Let w = 337 - 229. Suppose -3*h + w = -84. Does 31 divide h?
False
Suppose 44 = -5*k - 3*q + 5*q, 4*k + 5*q = -55. Does 2 divide (12/(-5))/(4/k)?
True
Suppose v - 5*u = 40, -4*v - 2*u + 211 = -5*u. Is 11 a factor of v?
True
Suppose r - 13 - 24 = 0. Let c = r + -15. Is 9 a factor of c?
False
Let q(w) = w + 1. Let n(h) = 24*h + 12. Let m(c) = -n(c) + 20*q(c). Is 16 a factor of m(-6)?
True
Let l be (-720)/21 + (-4)/(-14). Suppose 2*g - 107 = -3*f, 7*f = 4*g + 5*f - 238. Let x = l + g. Is x a multiple of 8?
True
Suppose 2*n - z + 6*z - 30 = 0, -3*n + 5*z = -20. Is 3 a factor of n?
False
Let f be 28/(-6)*(-72)/84. Suppose f*r - 33 = 59. Is 8 a factor of r?
False
Suppose -3*f = -0*f - 15. Suppose 0*t = v + f*t - 35, -3*t = 4*v - 72. Is 5 a factor of v?
True
Let l(p) = 169*p + 1. Is l(1) a multiple of 34?
True
Let j(g) be the first derivative of -3*g**2/2 - 8*g + 2. Let h be j(-6). Suppose i + h = 2*i. Is 6 a factor of i?
False
Let d(t) = t**2 + 2*t + 4. Is d(-3) a multiple of 7?
True
Suppose 4*o - 11 + 3 = 0. Suppose -4*v + 14 + o = 0. Suppose 5*a + 55 = v*r, a - 5 + 0 = 0. Is 10 a factor of r?
True
Is 11 a factor of (-1*1)/((-3)/33)?
True
Let f = 10 - 7. Suppose -f*q = 4*y - 65, 5*y + 6*q - 82 = 3*q. Is y a multiple of 13?
False
Let k(m) = m**2 - 4*m - 6. Let n be k(6). Suppose -2*s = -42 - n. Is s a multiple of 12?
True
Let p(o) = -o + 1. Let z be p(-4). Suppose z*s - 55 = 15. Is 7 a factor of s?
True
Suppose -4*d + 2*b - 178 = 0, 6*d - d + 225 = 2*b. Let v = -28 - d. Does 16 divide v?
False
Suppose 3*v - 5*d = 289, 3*v + 4*d = 454 - 156. Does 14 divide v?
True
Let a(u) = -u**3 + 12*u**2 + 19*u - 9. Let z = 47 - 34. Is 23 a factor of a(z)?
True
Suppose 0 = -2*f - 13 - 67. Suppose -5 = -3*w - 92. Let u = w - f. Is 11 a factor of u?
True
Suppose 2*q + 0 = -2. Let a(v) = -5*v + 1. Let t be a(q). Suppose t*w - 147 = 3*w. Is 13 a factor of w?
False
Let v(s) = 3*s + 6. Is 9 a factor of v(4)?
True
Let i = 616 - 426. Is 19 a factor of i?
True
Let b = 241 - 136. Is 21 a factor of b?
True
Let g = 3 - 7. Suppose 2*y = -0*y - 2. Let j = y - g. Is j a multiple of 2?
False
Suppose -4*v + y - 106 = -y, 0 = -5*v - 4*y - 100. Is 77/(-11)*v/14 a multiple of 6?
True
Let d(n) = n**3 + 3*n**2 - 5*n - 3. Let f be d(-4). Let l(a) = 2 - 3 + a**2 + 6*a**2 + 2*a. Is l(f) a multiple of 6?
False
Let y = 132 - 93. Is y a multiple of 13?
True
Let n = 23 - 8. Let p = n - 2. Suppose 2*x - p = x. Is 13 a factor of x?
True
Suppose 0 = -0*l - 3*l + 63. Is 9 a factor of l?
False
Let f = -7 + 49. Is f a multiple of 12?
False
Let n(x) = x**2 - 2*x + 2. Suppose 14 = 4*c + r, -2*r + 2 = -2. Let m be n(c). Suppose 3*g = g + 4*q - 8, -24 = -g - m*q. Is 4 a factor of g?
True
Does 9 divide 183 - 12*(-6)/12?
True
Is 15 a factor of 1/(-5) - (-304)/20?
True
Let j be 60/(-27) + (-10)/(-45). Is 66 - (-1 - j) - -2 a multiple of 17?
False
Let m(s) = -13*s + 1. Is m(-5) a multiple of 22?
True
Does 5 divide 4/(12/291) + 3?
True
Let s be (2 - -2)/(-1 + 3). Let a(j) = j**3 - 2*j**2 - 2*j - 2. Let z be a(3). Suppose -6*o + 31 = l - s*o, l - 2*o = z. Is 11 a factor of l?
True
Let w(c) = c**2 - 2*c - 4. Let d be w(4). Suppose -11 = -3*p + 4*q, 5*q = -0*p + 3*p - 16. Is 3 a factor of d/12 + (-14)/p?
False
Suppose -7*o + 4*o + 6 = 0. Suppose o*t - 3*t + 4 = 0. Suppose -w + 120 = t*w. Is w a multiple of 9?
False
Suppose -i + 0 = -2. Suppose -i*w - 396 = -5*w. Suppose 0 = 5*n - b - 280, -3*n + b + w = -38. Is n a multiple of 14?
False
Suppose 2*t - 4*k - 26 = 0, -3*t + k - 3*k - 1 = 0. Suppose -4*r + 19 = -t*r. Let i = r + -10. Is i a multiple of 3?
True
Suppose 95 = 2*r - 3*h, 5*r + 4*h - 8*h - 220 = 0. Does 4 divide r?
True
Suppose 0 = 10*y - 395 - 445. Is y a multiple of 12?
True
Let m = 32 + 0. Does 4 divide m?
True
Suppose -3*y - 5*c = -46, 4*y + c - 117 + 33 = 0. Is y a multiple of 15?
False
Suppose -4*a - 63 = -5*i + 445, -3*a = 3*i - 294. Is 10 a factor of i?
True
Suppose -4*i + 7 + 301 = 0. Let s = i + -44. Does 11 divide s?
True
Suppose 0 = -5*j + 21 + 4. Suppose 0 = -j*q - 5*v + 50, 20 = 5*q + 3*v - 4*v. Does 3 divide q?
False
Is 5 a factor of 3/(-9) - (-136)/12?
False
Let b be (-8)/12*-1*6. Is 4 a factor of 1 - 12/b - -6?
True
Let w(n) be the first derivative of -n**6/120 - 2*n**5/15 - 5*n**4/12 - n**3/2 + n**2 + 1. Let z(c) be the second derivative of w(c). Does 9 divide z(-7)?
True
Suppose 4*c - 3 = k - 1, -3*k + 2*c + 34 = 0. Does 4 divide k?
False
Suppose 0 = -o + x + x - 11, -o - 7 = -x. Let c = o - -3. Suppose 63 = 4*f + 5*m, 4*m - 2 = -f - c*f. Does 11 divide f?
True
Let k = 4 + 32. Is k a multiple of 18?
True
Does 3 divide (2/(-5))/((-13)/390)?
True
Suppose -5*o = -7*o - 6. Does 10 divide (-1 - o - 3) + 11?
True
Let b = 62 - 33. Is b a multiple of 14?
False
Suppose -2*f - 46 = -3*s, 0*f + 2*f + 18 = s. Suppose -s = -u - 1. Is 13 a factor of u?
True
Let h be 17*1/((-3)/3). Let c = h + 37. Suppose c = 3*q - 37. Is 10 a factor of q?
False
Suppose 20 = -4*h, 4*o = 2*h - 4*h + 6. Suppose -16 = -o*y, -9 = -v - 2*y + 1. Suppose 0*g = -v*g + 32. Is g a multiple of 11?
False
Let w be (-168)/20 + 2/5. Let c(p) = p**2 + 5*p + 3. Is c(w) a multiple of 9?
True
Let i be 4/4*6/2. Suppose -x = 4*y - 22, y - 2*x = -i*x + 7. Is -5*(2 - 29/y) a multiple of 19?
True
Let k be ((-2)/2 - -20)*-3. Suppose 0 = -5*l - 4*p + 400, 3*l + 4*p - 148 = l. Let q = l + k. Does 9 divide q?
True
Suppose 4*i + 128 = -4*w, -2*w + i = 105 - 29. Let m = w + 66. Is 15 a factor of m?
True
Suppose 4*l - 2*q + 2 = -4*q, -4*l - 3*q + 1 = 0. Let h = l + 44. Is h a multiple of 14?
True
Let u = 46 - 31. Let v = u - 11. Does 2 divide v?
True
Let f(o) be the second derivative of 3*o**4/2 - o**3/6 + o**2/2 + 3*o. Does 6 divide f(1)?
True
Suppose 989 + 1711 = -5*x. Is x/(-21) - (-2)/7 a multiple of 26?
True
Let c(l) = 51*l - 1. Let j = 3 + -2. Let h be c(j). Is 1/(-2) - h/(-4) a multiple of 6?
True
Let d(n) = -10*n**2 + n - 2. Let c be d(2). Suppose 48 = 2*y - 118. Let l = y + c. Does 15 divide l?
False
Is 22 a factor of 88/3 - (-4)/6?
False
Let u(g) = 5*g**2 - 3*g - 3. Let j be 2 - 4 - (1 + -1). Is 9 a factor of u(j)?
False
Suppose -4*o = -3*o - 4. Suppose 4*k + o*n + 24 = 5*k, 2*k = -2*n + 88. Does 19 divide k?
False
Let b(a) = -8*a - 3. Let s = -7 - -3. Does 8 divide b(s)?
False
Suppose -4 + 0 = -2*m. Suppose -h - 48 = -m*h. Is h a multiple of 17?
False
Suppose 0 = -k + 57 + 3. Does 15 divide k?
True
Suppose -4*i + 22 + 10 = 0. Suppose -5*f + 75 = -2*j, 0*f + 26 = 3*f - 5*j. Let q = f - i. Does 9 divide q?
True
Suppose 5*c - 7*c - 2 = 0. Let k = -3 + c. Let i = k + 17. Is i a multiple of 10?
False
Let r(f) = 4*f + f - 13 + 4*f + 16. Is r(3) a multiple of 8?
False
Is (-2)/(-2)*1526/21*3 a multiple of 24?
False
Let u be 2/(2*3/(-522)). Let r = 304 + u. Is 13 a factor of ((-28)/(-35))/(4/r)?
True
Suppose -5*q + 293 = -97. Does 17 divide q?
False
Suppose -3*h + 6*h = 561. Is h a multiple of 17?
True
Let t(j) = j**3 + 3*j**2 - 5*j - 1. Let w be t(-4). Let v be (1/(-3))/(1/3). Is 2/(w + v) - -1 even?
True
Let g be -5 + (-6)/(-4)*-2. Let l = -9 - g. Is 3 a factor of l/((-1)/3*1)?
True
Let n(d) = -d**3 + 8*d**2 + 13*d - 4. Is n(9) a multiple of 7?
False
Suppose -2*y + 3 = s - 5, 5*y - 4*s = 7. Let n be 17/3 + 4/(-6). Suppose 4*t + 107 = n*p, 0 = 2*p - p + y*t - 10. Is p a multiple of 11?
False
Let r be 12/(-16) + (-1)/4. Let m be r/2 - 71/2. Let q = -17 - m. Is 14 a factor of q?
False
Suppose -l + 25 = -0*l. Is l a multiple of 5?
True
Suppose 2*v = 1 + 3. Does 5 divide (5/v)/((-1)/(-2))?
True
Let u = 4 - 4. Suppose 3*a - 2*a + 2 = u. Is 4 