et f(v) = -5*v + 1. Let d(o) = -4*o + 1. Let u(y) = -4*d(y) + 3*f(y). Let i(p) = -4*p + 14. Let c(k) = -i(k) - 2*u(k). Is 10 a factor of c(11)?
True
Suppose -2*u + 7*u - 945 = 0. Is u a multiple of 7?
True
Let p = -219 - -251. Is p a multiple of 32?
True
Suppose 0 = -3*z + 2*b + 52, -2*z + 5*b + 11 = -20. Is 6 a factor of z?
True
Let d(p) = -2*p**2 + 2*p**2 + 10 + p**3. Let j = 393 + -393. Does 4 divide d(j)?
False
Suppose -78*x + 11811 = -144033. Does 27 divide x?
True
Let n = 249 + -107. Does 71 divide n?
True
Let j(y) = y**2 - 11*y + 104. Does 13 divide j(16)?
False
Let g(n) = n**2 + 4*n + 5. Let y be g(-4). Suppose 0*l + l = y*j - 12, 0 = -3*l - j + 44. Does 8 divide l?
False
Let h(v) = -v**3 + 12*v**2 - 12*v + 23. Let m = -30 - -22. Let x be (2*-3)/(-2) - m. Is 5 a factor of h(x)?
False
Suppose -1442*f + 1425*f = -23018. Is f a multiple of 7?
False
Let v(m) be the second derivative of -m**7/1260 + 11*m**5/20 - m**4/4 + 11*m. Let n(r) be the third derivative of v(r). Is 11 a factor of n(0)?
True
Let y be 6/12*(-2 - -2). Let j(c) = 2*c**2 - 3*c - 3. Let m be j(-1). Suppose 20 = m*b - y*b. Does 2 divide b?
True
Let o = -59 + 70. Let n(l) = -l**3 + 12*l**2 - 4*l - 23. Is 3 a factor of n(o)?
True
Let i = -41 + 35. Is (-978)/i + 2 - 0 a multiple of 12?
False
Let i be -4*2*(-5)/10. Suppose 0 = -b + i + 20. Is 4 a factor of b?
True
Let h(a) = -116*a + 644. Is h(-7) a multiple of 26?
True
Suppose 2*l = -l + 4*q + 756, 2*l - 5*q - 497 = 0. Suppose -l = -4*i + 128. Is i/56*(-14)/(-2) a multiple of 3?
True
Let m = 9 - 4. Suppose -m*w - 2 = -27. Suppose -155 = -w*c - 45. Is 11 a factor of c?
True
Suppose 0 = -4*t - 4*m, 0 = -3*m - m. Let a = t - 27. Let w = a - -63. Is 18 a factor of w?
True
Let p(a) be the third derivative of -a**6/120 - a**5/6 - a**4/4 - a**3/6 - 3*a**2. Let g be p(-9). Is 5 a factor of (-7)/(g/8) - -14?
False
Is 14 a factor of ((-19199)/657)/((-2)/18)?
False
Let c(t) = t**3 - 6*t**2 + 10*t + 13. Let g be c(6). Suppose 5*o + r = 422, 3*o - g - 188 = 2*r. Does 17 divide o?
True
Suppose 5*p + 45 = -5*f, 5*f + 42 = -0*f - 4*p. Let r = f - 23. Let v = r - -58. Does 8 divide v?
False
Let g(d) = 99*d + 16. Does 35 divide g(3)?
False
Let h(y) = 8*y**2 + 11*y - 19. Let l(t) = -9*t**2 - 12*t + 19. Let g(c) = 4*h(c) + 3*l(c). Does 10 divide g(3)?
True
Suppose 4*n + 3*j = 17, 2*j - 3 + 5 = 0. Suppose -8 = -0*a - a. Suppose n*g = -2*z + 98, g - 2*z - a = 2. Does 9 divide g?
True
Suppose -3*o - 252 = -9*o. Is 6 a factor of o?
True
Suppose -2*d = -49 + 59. Let o(r) = -r**3 - r**2 + 5*r + 7. Is o(d) a multiple of 7?
False
Let v be 12/(-9)*(-9)/6. Suppose 0 = 3*o - v*k - 109, 7*k + 58 = 2*o + 2*k. Let u = o + -22. Is u a multiple of 17?
True
Let i(u) be the third derivative of 0*u - 2/3*u**4 + 4*u**2 + 0 - 7/3*u**3. Is i(-5) a multiple of 11?
True
Let f = 22 - 22. Suppose 5*i + 56 - 351 = f. Is i a multiple of 7?
False
Let k(a) = a + 10. Let d be k(-6). Suppose d*j + 15 = t - 25, 2*t + 41 = -3*j. Let v = j + 16. Does 3 divide v?
False
Suppose 5*j - 2*j - 34 = -5*i, i = j + 2. Suppose -3*a - 2*l - 1 = -41, -i*l = -a + 2. Is a a multiple of 6?
True
Suppose 22 = -5*i - 4*j + 170, 2*j + 136 = 5*i. Is i a multiple of 2?
True
Suppose -4*l + 2*l - 2 = 0. Let s = 28 - l. Does 3 divide s?
False
Suppose 2*o + 0*t - t - 5 = 0, 2*o - 2 = 2*t. Suppose 7*r + 72 = 3*j + o*r, 0 = 5*j + 3*r - 88. Is 4 a factor of j?
True
Suppose 0*z + 15 = 5*z. Let k be (-10)/15*z*-1. Suppose n + 0 = 2, -2*p + 54 = k*n. Is p a multiple of 18?
False
Let i(d) = 2*d**2 - 7*d - 1. Let j(p) = 3*p - 4. Let f be j(3). Let n be i(f). Let l = n - -31. Is 10 a factor of l?
False
Suppose -7*n + 961 = -1307. Is n a multiple of 12?
True
Let x(b) = -285*b - 179. Is 5 a factor of x(-5)?
False
Let n(p) = -p**2 + 10*p - 11. Let f be n(8). Let x = f - -3. Suppose -4*c + 81 = -5*b, x = 5*c + 5*b - 37. Does 7 divide c?
True
Let v(y) = y**2 - 12*y + 23. Let n be v(18). Let q = n - 91. Is 10 a factor of q?
True
Suppose 5*a + 7*g - 4*g = 31, -a + 2*g + 1 = 0. Is 10 a factor of (10/(-4))/a*-106?
False
Does 19 divide (-27)/(-1*33/1342)?
False
Does 67 divide (-12)/(-14) + (-53355)/(-105)?
False
Let i(x) = 79*x - 28. Is i(6) a multiple of 22?
False
Suppose 2*i - 2*n = 166, 3*i + 10*n - 15*n - 249 = 0. Is i a multiple of 14?
False
Suppose 0 = -2*a + 5*m - 3 - 5, 2*m = a + 4. Let d be 3 + 0 + 67 - 0. Does 7 divide (-6)/a*d/5?
True
Let a(n) = 4*n**2 + 3*n + 3. Let c be 5/2*(3 + 28/(-20)). Is 7 a factor of a(c)?
False
Suppose -4*u = -u. Let d = u - 3. Let x = 13 - d. Is 11 a factor of x?
False
Suppose -4*i = -3*k + 104, -3*k + 5*i = 4*i - 89. Suppose -j + k = -14. Suppose u - j = -n - 0*u, -n + 3*u = -62. Does 28 divide n?
False
Let l = -42 - -62. Let b = -9 + l. Is 4 a factor of b?
False
Suppose 2*n = 5*i - 59 + 296, 5*n = 2*i + 645. Does 7 divide n?
False
Let b(w) = -w - 15. Let j be b(-10). Let p be 0/(j + 1) + 2. Suppose -4*g = 3*t - 104, 0 = p*g + 2*t - 61 + 7. Does 23 divide g?
True
Suppose 81 = -7*d - 94. Let u = d - -60. Is 7 a factor of u?
True
Let c(a) = a. Let n(l) = l**3 - 4*l**2 - 4. Let i be n(4). Let v(b) = -5*b - 9. Let s(j) = i*c(j) - v(j). Is s(-5) even?
True
Let p(i) = -25*i - 266. Is p(-46) a multiple of 14?
False
Is 116/((69/18)/23) a multiple of 58?
True
Suppose -5*f = 5, 3*f - 22 = 4*w + 5*f. Let x(d) = d**3 + 4*d**2 - d - 5. Let g be x(w). Let i = 2 - g. Is i a multiple of 7?
False
Suppose 134*c + 1050 = 141*c. Is c a multiple of 15?
True
Suppose -2*g - 188 = 4*f + 2*g, -5*f - 2*g - 238 = 0. Is 13 a factor of (-6)/f*2 - (-227)/4?
False
Let a = -13 + 24. Let u(l) = 10*l - 20. Is 18 a factor of u(a)?
True
Let k be 4/(3 + -2 - -1). Suppose -3*j - 5*g - 9 = 16, 0 = -k*j - 5*g - 25. Suppose 40 = 5*z - j*z. Is 4 a factor of z?
True
Suppose -4 = 6*g - 76. Let z be g/54 - (-1906)/9. Let h = -108 + z. Is 26 a factor of h?
True
Suppose -5*t + 409 = -386. Does 53 divide t?
True
Let o(l) be the first derivative of l**7/840 - l**6/60 - l**5/30 - l**4/8 + 5*l**3/3 - 6. Let k(d) be the third derivative of o(d). Is k(7) a multiple of 6?
True
Suppose -3*h + s = -0*s - 20, -15 = -2*h - s. Let t = 9 - h. Suppose 4*p + 86 = t*l, p = 4*l - l - 119. Is l a multiple of 14?
False
Let h = -114 + 139. Is 28 a factor of (30/h)/(3/420)?
True
Suppose 49*o = 3*r + 44*o - 1256, -2*r + o = -842. Does 47 divide r?
False
Let w be ((-2)/4)/(7/(-182)). Let s = w - 0. Does 13 divide s?
True
Suppose 2*y + 271 = 541. Is 16 a factor of y?
False
Suppose w = 4*c - 96, -5*c - w + 104 = -25. Let a = 36 - c. Is (-260)/(-22) - (-2)/a a multiple of 6?
True
Let h = -82 - -29. Let q = h - -62. Is q even?
False
Let f(b) = -b + 11. Let w be 3 + (-2 - (-12 + 4)). Let z be f(w). Is z/(-5) - 108/(-20) even?
False
Let a = 116 - 116. Suppose 0 = -4*q + q. Suppose -f + 31 + a = q. Is 8 a factor of f?
False
Suppose 10*q - 1494 - 3456 = 0. Is 27 a factor of q?
False
Suppose -30*a = -29*a - 1079. Suppose -4*y - 3 = -a. Does 46 divide y?
False
Let x = -1254 - -3098. Is 28 a factor of x?
False
Let j be 8666/98 - 3/7. Let h = -86 + j. Is h even?
True
Suppose 3*y + 30*o - 31*o = 1508, 0 = -4*y + 4*o + 2008. Is 13 a factor of y?
False
Suppose 5*b + 3*k - 1 = -3, -2 = -3*b - k. Suppose -b*t + 16 = 2*t. Suppose -4*c + 49 = t*n - 3*c, c = -n + 16. Is 7 a factor of n?
False
Suppose 2*i + 2*j = i + 16, -30 = -3*i + 3*j. Is 4 a factor of i?
True
Suppose 507*i - 513*i + 6132 = 0. Is i a multiple of 14?
True
Let n be (-5 - (-45)/10)/(2/24). Let w(a) = -a**3 - 5*a**2 + a - 17. Is 4 a factor of w(n)?
False
Let j = -26 + 28. Suppose -2 = 5*z + 4*d, 4*z + 2*d + 0 - j = 0. Suppose 3*o = -3*k + 96, -2*k = z*k - 2*o - 98. Does 12 divide k?
False
Suppose 17 = 5*l - 3. Suppose -3*s + 164 = -b, l*b + 7 + 1 = 0. Is s a multiple of 18?
True
Let i(d) = -3*d**3 - 17*d**2 + 11*d + 5. Let j be i(-8). Is (-2)/((-20)/j)*2 a multiple of 27?
False
Let u be (0/2)/(0 - 10/5). Let m = u - -24. Does 24 divide m?
True
Let v(f) = -f**2 - 5*f + 4. Let y = -15 - -10. Let t be v(y). Suppose 0 = 3*s + o - 9 - 69, 5*s - 137 = -t*o. Is 12 a factor of s?
False
Let q(a) = a**3 - 14*a**2 + 18*a - 37. Does 9 divide q(16)?
False
Let q be 3 + -3 + 0 - -602 - 2. Is 15 a factor of (q/5)/2 - 0?
True
Let x be 828 + 3 + 2 + -3. Suppose c = 6*c - x. Suppose 0 = 5*n - c - 199. Does 25 divide n?
Fals