)?
False
Let s(v) = -86*v + 4 + 2 + 82*v - 5. Let c be s(-1). Suppose 0 = 2*f - 8, c*q - 2 = 6*q - 3*f. Is q a multiple of 5?
True
Suppose -2*v + 2 = -4*y, -5 = 2*v - y - 4. Let k(b) = -2*b. Let z be k(v). Suppose z*u - 13 = 43. Does 11 divide u?
False
Let y(a) = a**2 - 16*a + 314. Is y(41) a multiple of 26?
False
Suppose -108*j + 113*j - 170 = 0. Is j a multiple of 2?
True
Suppose 96 + 60 = 3*m. Let l = 325 - 257. Suppose 3*r - h - l = 0, -2*r + 0*r + 4*h + m = 0. Is 4 a factor of r?
False
Suppose -544 + 89 = 5*m. Let c = m + 196. Is (-336)/c*5/(-1) a multiple of 16?
True
Let r = -119 - -111. Let w(p) = -24*p - 10. Is 10 a factor of w(r)?
False
Let q(k) = k**2 + 10*k - 39. Let v be q(-14). Suppose -4*w + 51 = -v. Does 4 divide w?
False
Let u = -84 - -124. Suppose -6*i - u = -7*i. Is i a multiple of 5?
True
Let x(y) be the first derivative of -y**3/3 + 3*y**2 - y + 1. Is 4 a factor of x(3)?
True
Suppose -4*p + 15292 = -q, -2*q - 16977 - 2141 = -5*p. Suppose -8*w + p = 5*w. Is 49 a factor of w?
True
Let p(z) = 218*z - 16. Is 20 a factor of p(2)?
True
Let p(q) = q**3 - 8*q**2 + 13*q - 4. Let h be p(5). Let d be (288/(-21))/((-2)/h). Let o = -47 - d. Is o a multiple of 17?
False
Suppose -5*j + 2555 = -c, 1510 = 3*j + 5*c - c. Does 34 divide j?
True
Let r(c) = c**2 + 4*c - 3 + 7 + 5 - 8 + 15*c**3. Let x(b) = -14*b**3 - b**2 - 5*b - 1. Let j(h) = -3*r(h) - 2*x(h). Is 4 a factor of j(-1)?
False
Let h(m) = m**2 + 2*m + 31. Is h(-10) a multiple of 18?
False
Let r = 591 + -383. Does 20 divide r?
False
Let h = -20 + 33. Let f be 39/8 + h/104. Let o(v) = 2*v**2 - 8*v + 14. Does 8 divide o(f)?
True
Let r be 0/1 - (8 + -486). Suppose -4*h = k - 561, -5*h - 3*k = -r - 218. Is (10/(-15))/((-2)/h) a multiple of 15?
False
Let u = 140 - 82. Suppose 3*i - i = -2*c - u, 0 = -3*i - 5*c - 93. Let s = i + 44. Is s a multiple of 4?
False
Let h = -776 + 1376. Is 40 a factor of h?
True
Suppose 27 - 3 = o. Suppose 4*j - f + o - 66 = 0, -5*j - 2*f + 59 = 0. Is 11 a factor of j?
True
Let z(g) = 62*g + 2. Let i(h) = 3*h - 29. Let x be i(10). Is z(x) a multiple of 8?
True
Suppose 2*s + 0*n + 289 = -5*n, 5*s - 5*n + 670 = 0. Let m(g) = -69*g - 3. Let d be m(-3). Let v = s + d. Does 13 divide v?
False
Suppose -8*k + 15*k = 847. Suppose 5*q - 4*c - 185 = c, -4*q = 5*c - k. Does 5 divide q?
False
Let f = -7 - -10. Suppose 4*q - 197 - f = 0. Is q a multiple of 6?
False
Let p = -45 + 162. Suppose -12*l - p = -453. Is l a multiple of 16?
False
Is 7 a factor of ((-2)/(-10)*18)/((-60)/(-800))?
False
Suppose 3*f - 3 = 2*f. Suppose 0 = 2*q + 4*n - 6, 0*n = -3*n - f. Suppose 5*u - q*y = 5, 2*u - 3*y + 4 = 3. Is u even?
True
Let h(c) = -c - 3. Let a be h(-4). Let y be (-2 - -1) + 1 + a. Does 25 divide y/(((-1)/1)/(-50))?
True
Let z(u) = u**3 + 8*u**2 - 2*u + 3. Let s(q) = -4*q - 8. Let n be s(0). Let t be z(n). Suppose -2*p = 2*v - 0*p - 58, -v + t = 3*p. Is v a multiple of 10?
False
Let g(b) = 5*b - 12 + 5*b - b. Suppose 4*n = -4*i + 44, 4 + 5 = -i + 4*n. Does 18 divide g(i)?
False
Let b = -24 - -139. Is 11 a factor of b?
False
Is 18 a factor of ((-16)/72*-15)/((-2)/(-276))?
False
Let r(m) = -8 - 12*m + 104*m**2 - 204*m**2 + 99*m**2. Let z = -19 - -11. Does 10 divide r(z)?
False
Let p(y) = 2*y**3 - y**2 - 3*y - 3. Let b be p(-2). Let w(l) = l**2 + 16*l + 2. Is w(b) a multiple of 4?
False
Is (-2)/(-7*(-10)/(-58275)) a multiple of 37?
True
Suppose 9*u = 13*u - 76. Is 2 a factor of u?
False
Let t(o) = -5*o**3 + 2*o**2 + 36*o + 36. Does 21 divide t(-8)?
True
Suppose 0 = -2*b - 4*n - 10, 3*b = -2*n + n - 15. Let z be (18/b)/((-4)/20). Let a = -9 + z. Is a even?
False
Let q = -35 - -39. Suppose 19 = q*z - 13. Is z a multiple of 2?
True
Suppose 3*w - 2*i = -2*w + 17, 2 = w + i. Suppose w*v = j, -3*j + 4*v + 33 = 2*j. Is 4 a factor of j?
False
Let m(p) = 19*p**2 + 2*p + 1. Suppose -2*i = 4*u + 4, -2 = u - i - 1. Is m(u) a multiple of 15?
False
Let h be 16/(-72) + 58/18. Let w(g) = g + 1. Let b(c) = -4*c + 1. Let o(r) = -b(r) + 5*w(r). Is o(h) a multiple of 15?
False
Let r = -1265 - -2117. Is 19 a factor of r?
False
Let u(d) = -22*d - 74. Is u(-15) a multiple of 16?
True
Is ((-182)/8)/(5/(-20)) a multiple of 2?
False
Let c be 54/13 - 12/78. Is (-312)/(-2)*2/c a multiple of 13?
True
Let f(x) = 2*x**2 + 15*x - 311. Is f(13) a multiple of 4?
False
Suppose 0 = -15*n + 12*n + 42. Does 7 divide n?
True
Let v = -40 + 37. Let w = v - -8. Is w a multiple of 3?
False
Let u = 1377 - 957. Does 12 divide u?
True
Suppose -4*c + 299 + 245 = 0. Is c a multiple of 8?
True
Let y = 3 - 1. Suppose 0*u = y*u. Is 1 + 12 + -2 + u a multiple of 4?
False
Let i = -50 + 53. Is 20 a factor of 54 + (-4)/(i - -1)?
False
Let y = -7 + 9. Suppose 4*l + y*n - 316 = 0, -3*l = -6*l + 4*n + 259. Is l a multiple of 9?
True
Let a(w) = -w**2 - 28*w - 1. Does 13 divide a(-23)?
False
Suppose 11 = -5*i - 7*v + 3*v, 0 = 3*i - 2*v + 11. Let w(d) = 18*d**2 + 3. Is 29 a factor of w(i)?
False
Suppose 0 = -5*d + 23 + 12. Let c(y) be the third derivative of -y**6/120 + 7*y**5/60 + y**4/24 + y**3/2 + 8*y**2. Does 10 divide c(d)?
True
Let y(q) be the third derivative of q**5/12 - q**4/24 - q**3/6 + 4*q**2. Let u be y(-1). Suppose 70 = u*l - 25. Does 4 divide l?
False
Suppose -3*u = -19*u + 608. Does 2 divide u?
True
Suppose k = 5*a + 130 + 44, a = -5*k + 766. Is k a multiple of 22?
True
Let g(y) = -y**3 + 2*y**2 - 1. Let n be g(1). Suppose n = -3*z - 0*z + 153. Is 17 a factor of z?
True
Let l(y) = -11*y**3 - 2*y**2 + 1. Let g be l(-1). Let r be g*(-3 + 0)*3. Is (r/(-4))/((-33)/(-44)) a multiple of 10?
True
Does 20 divide 21/(87/21 + -4)?
False
Suppose 5*s + 2160 = 11*s. Let g = s + -72. Is 12 a factor of g?
True
Suppose -v = 2*b - 5*v - 44, -26 = -2*b - 2*v. Let l be -5 + b/4 + 5. Suppose -l*g = 4*j - 78 + 2, -2*g + 38 = -2*j. Is 19 a factor of g?
True
Let r(v) = 249*v**2 + 3*v + 5. Is r(-2) a multiple of 6?
False
Does 4 divide (-258)/(-129) - (-1)/(2/140)?
True
Suppose -3*a + 2*p = -1867, -3*a + 1948 = p + 87. Is 27 a factor of a?
True
Let d(l) = 2*l - 8. Let j be d(7). Let t(w) = 10*w + 3. Let s be t(j). Let m = s - 18. Is 15 a factor of m?
True
Suppose 0 = -4*r + 4 + 4. Suppose 6*h = r*h + 72. Is 10 a factor of h?
False
Suppose 0 = 4*x + 53 - 273. Suppose -4*a = 20, -4*j + 2*a + x = -3. Is j a multiple of 12?
True
Does 13 divide ((-291)/(-120) + (-9)/(-24))*130?
True
Let r = 503 - 268. Is r a multiple of 47?
True
Let w(x) = 14*x**2 + 4. Let a be w(4). Suppose -20 - a = -8*m. Let q = m - -2. Is 6 a factor of q?
False
Suppose -5*x - q - 28 = q, -5*q + 5 = 0. Is 4 a factor of x/(-33) - (-2)/(-22)*-97?
False
Suppose 3*l - 669 = 2211. Is 32 a factor of l?
True
Let n(c) = -47*c**3 + 1. Let d be n(-1). Let r(m) = 2*m**2 + 19*m + 45. Let q be r(-5). Suppose 4*p - 264 + d = q. Is p a multiple of 8?
False
Let n(j) be the second derivative of j**4/6 - 11*j**3/6 + 2*j**2 - 14*j. Is 9 a factor of n(8)?
False
Suppose 0 = 2*t + 3*t - 240. Suppose 3*a = -2*n - 3*n - 5, 2*a + 5*n - 5 = 0. Let g = a + t. Does 19 divide g?
True
Suppose 7*s - 2249 = 12983. Is s a multiple of 8?
True
Suppose 0 = 3*s + 3*u - 3876, -3*u = -0*u - 9. Let g be 4/(-18) + s/9. Suppose 5*y - 22 - g = 0. Is y a multiple of 11?
True
Suppose 4*t + 5*z - 79 = 0, 2*z + 107 = 3*t + 2*t. Does 7 divide t?
True
Suppose 3 = a, -23*v + 4*a = -26*v + 1068. Is 16 a factor of v?
True
Let z = -13 + 10. Let b be 1 + -30 - (-6 - z). Let w = b - -38. Is w a multiple of 3?
True
Suppose 2*y + 2*v - 359 = 5*v, 0 = -4*v - 12. Does 50 divide y?
False
Let f(q) = q**3 + 14*q**2 + 12*q - 10. Let u be f(-13). Suppose u*w + 5*x = 238, -4*w + x = -w - 208. Does 9 divide w?
False
Suppose -3*z + 2*d - 188 = -0*d, -4*d - 8 = 0. Let r = z + 35. Let b = 35 + r. Is b even?
True
Let u = -21 + 47. Suppose u = 4*l - 3*l - h, 41 = l - 4*h. Is 7 a factor of l?
True
Let d(m) = -2*m**3 - 2*m**2 - 23*m - 64. Does 9 divide d(-3)?
False
Let b = 9 + -8. Let m be (-140)/12 - b/3. Let i = m + 21. Does 3 divide i?
True
Let a be -35*(1 - 5 - 10). Suppose a = 8*v + 106. Is 8 a factor of v?
True
Suppose -8*i + 7*i + 4 = 0. Suppose 125 = -i*h + 9*h. Does 25 divide h?
True
Let l(z) = -3*z**3 - z**2 + 3*z - 2. Let c be (-7)/14 + 5/2. Let j(m) = -2*m**2 + 3*m - 1. Let r be j(c). Does 21 divide l(r)?
False
Let k(m) = m**2 + 5*m + 4. Let s