alse
Let u(k) be the second derivative of -k**5/20 - k**4/12 + k**3/3 + 3*k**2/2 + 5*k. Let c be u(-3). Let x = -1 + c. Does 14 divide x?
True
Suppose 2*j + 13 = -5*m - 2, -4*m = 5*j + 29. Is 54/4 - m/2 a multiple of 7?
True
Let p = -18 - -19. Does 4 divide (-133)/(-4) - -7*p/(-28)?
False
Suppose 4*m + 198 = 2*f, -3*f - 4*m + 166 = -f. Does 8 divide f?
False
Let d be -3*(23440/15)/4. Is (-1)/(-3) - d/12 a multiple of 14?
True
Let k = -20 + 23. Suppose -k*o + 7*o - 288 = 0. Does 18 divide o?
True
Suppose 5*y + 134 = 2*g, 3*y - 4*y - 34 = 2*g. Let v = -3 - y. Does 8 divide v?
False
Suppose 723 = -3*l + 3315. Does 10 divide l/(-40)*3/(3/(-5))?
False
Suppose 3*j + 5229 = 4*y - 1493, 4*j - 8 = 0. Is 29 a factor of y?
True
Let a be (-46)/(-10) + 6/(-10). Suppose a*g = -41 + 241. Is g a multiple of 10?
True
Let o be ((-124)/6)/((-10)/(-60)). Is (1 - o)/5 - -2 a multiple of 3?
True
Suppose -k - 2*g + 32 = -5*g, 2*k = 4*g + 66. Suppose -v - k = -6*v. Let n = v + 1. Is 4 a factor of n?
True
Let n(f) be the first derivative of -f**2 + 2. Let x be n(-4). Suppose -2*h - 6*t + 2*t = -4, -3*h - 5*t = -x. Is h a multiple of 2?
True
Is (-8)/(-14) - (-25650)/21 a multiple of 13?
True
Suppose -3*y = 0, -y - 2*y = 5*n - 4745. Is 12 a factor of n?
False
Let t(x) = -x - 2. Let s be t(-6). Suppose 43 = -5*a + s*a. Is 21 a factor of 1/(-2) + a/(-2)?
True
Let f = -1963 - -3188. Is 49 a factor of f?
True
Let m be ((-3430)/6)/7*-3. Suppose -9*o = -14*o + m. Is 7 a factor of o?
True
Let x = 76 + 886. Is 58 a factor of x?
False
Let o = 29 - -86. Suppose 5*v = -0*v + o. Suppose v = 2*u - 1. Is 6 a factor of u?
True
Is 10 a factor of (2 - 1)*-3 - (-10 + -3)?
True
Does 10 divide 1626/54*(18 - 9)?
False
Suppose -2*d - 2*v = -209 + 17, -2*v = 8. Suppose -5*n + 7*n - d = 0. Does 16 divide n?
False
Let c = 1068 - 605. Does 22 divide c?
False
Suppose 0*o = -2*o - 162. Let q(c) = -c**3 - 12*c**2 - 11*c - 6. Let u be q(-5). Let h = o - u. Is h a multiple of 15?
True
Suppose 1 = r, 6*g - 3*r = 2*g - 19. Is 33 a factor of (9/g)/(51/(-5848))?
False
Let m = 604 + -208. Is 18 a factor of m?
True
Suppose 100 - 1710 = -7*h. Is h a multiple of 10?
True
Let t(s) = s**2 - 26. Let f(b) = -b - 1. Let j(v) = 2*f(v) - t(v). Is j(0) a multiple of 24?
True
Let s = -31 + 35. Suppose 11*d - s*d - 1197 = 0. Is 12 a factor of d?
False
Suppose -f + 2*b + b + 9 = 0, 0 = 5*f + b - 77. Is f a multiple of 5?
True
Let h = 26 - 1. Suppose 5*m + h = -5*y + 985, 952 = 5*y - 3*m. Is 32 a factor of y?
False
Let d(j) = j**3 + 10*j**2 + 3*j + 4. Let l be d(-6). Suppose -l = -5*h + 3*h. Let a = h - -6. Is 15 a factor of a?
False
Suppose 0 = -6*w - 348 + 3078. Is w a multiple of 13?
True
Let h(q) = -q**3 + 4*q - 3. Let l be h(2). Let k be -3 + -1 - -3 - l. Is k/(-3)*(-18)/4 a multiple of 2?
False
Let h be (4/6)/((-8)/(-36)). Suppose -775 = -h*t + 5*m - 3*m, -2*m = -4*t + 1034. Suppose 5*d - t = 31. Is d a multiple of 29?
True
Let c(m) = -m**3 - m**2 + 3. Let h be c(0). Let b be 12/(-8)*-2 + 2. Suppose l = -d + 11, -46 = -b*l + l - h*d. Is l a multiple of 13?
True
Does 18 divide 45686/159 - 2/(-3)?
True
Let m(w) = w + 34. Let l be m(0). Let g = l - 25. Is g even?
False
Let h(i) be the third derivative of 0*i**3 + 17/60*i**5 + 0 + 0*i + 5*i**2 - 1/24*i**4. Is 33 a factor of h(2)?
True
Let d be (-36)/(-10) + (-18)/30. Let r(v) = v**2 + 5 + 5 - 4*v - 4. Is r(d) a multiple of 2?
False
Let v(p) = 3*p**3 - 33*p**2 - 6*p - 56. Does 98 divide v(15)?
False
Let h(r) = -r**3 - 2*r**2 + r - 24. Suppose 63 = -2*t - 7*t. Is 27 a factor of h(t)?
False
Let p = 20 + -21. Let c(u) = 47*u**2 - 3*u - 1. Does 10 divide c(p)?
False
Suppose 0 = 9*z - 25 - 11. Suppose -z*i - 4*q = -204, 5*q = -4*i + 3*q + 204. Does 3 divide i?
True
Suppose -16 + 22 = -z. Does 14 divide 12*((-57)/z - -1)?
True
Let n(b) = 315*b**2 + b. Suppose -5*t = -2*q - 0*q + 1, -t = -q - 1. Is n(t) a multiple of 19?
False
Suppose -4*d + 5*f = -104, f + 2*f = d - 33. Let k = d + -6. Does 2 divide k?
False
Suppose -2*a - 169 = -5*f, -4*a + 55 = 3*f - 62. Suppose -3*s + 2*s = 5. Is (-12)/7*f/s a multiple of 3?
True
Suppose 2*f + 7*s - 1430 = 3*s, 4*s = 5*f - 3645. Does 9 divide f?
False
Let g(o) = o**2 - 3. Let h be (-27)/4 + (-8)/32. Let d be g(h). Suppose u - d = 12. Is 25 a factor of u?
False
Suppose 7*b - 13209 = -10*b. Is 38 a factor of b?
False
Let f be -2 - -6 - (-2 + 94). Let l = 166 + f. Is l a multiple of 39?
True
Suppose 0 = 6*v - v - 20. Let z = 26 - v. Suppose 0 = -2*o - i + z, -4*o + 3*i = -2*o - 22. Does 11 divide o?
True
Suppose 2 = c + c. Let q(l) = 15*l**3 - 4*l**2 - 4*l + 5. Let s(v) = 45*v**3 - 11*v**2 - 11*v + 14. Let i(p) = -11*q(p) + 4*s(p). Is i(c) a multiple of 6?
False
Let d = 131 - 107. Suppose 3*u + 24 = -27. Let q = u + d. Is 7 a factor of q?
True
Let g(x) = x**3 + 22*x**2 + 28*x + 11. Let f be g(-21). Let u = 211 + f. Is u a multiple of 25?
True
Suppose 0 = -17*k + 10688 + 16920. Does 15 divide k/18 - 12/54?
True
Suppose -4*m + m + 42 = 0. Let u = -2 + m. Suppose 14*q = u*q + 36. Is 7 a factor of q?
False
Suppose -549*l - 1695 = -554*l. Is l a multiple of 36?
False
Suppose -2*s = c - 5*c + 232, 5*c - 113 = s. Let b = -70 - s. Is b a multiple of 16?
True
Let b = 5 - 5. Suppose -m - 2 = b, 3*g + m - 138 - 25 = 0. Is (g/10)/(2/4) a multiple of 4?
False
Is ((-17)/2)/(18/(-3852)) a multiple of 17?
True
Suppose 2*q + 16 - 32 = 0. Let l(d) = d**3 - 8*d**2 + 4*d + 13. Let i be l(q). Let w = i + 23. Does 15 divide w?
False
Let d(r) = -r**2 + 8*r + 24. Is d(0) even?
True
Let j(c) = -18*c + 20. Let u be j(2). Is (-870)/u*2 - (-3)/12 a multiple of 7?
False
Let l(i) = 5 + 3 - 12*i - i**2 + 4 + 5. Does 3 divide l(-13)?
False
Suppose -3*g + 1461 = -2*v, -898 = -3*g + v + 560. Does 18 divide g?
False
Suppose 0 = z - 5*g, -2*g + 2 = z - 5*g. Let x be (-87)/232 - 1782/(-16). Suppose z*n - 9 = x. Is n a multiple of 12?
True
Suppose 4*k - 5 = 7. Suppose 0 = -5*m - 10, 2*o + 4*m + 26 = 5*o. Let p = k + o. Is 9 a factor of p?
True
Suppose -b - 13 = -4*y, 3*y - b + 3*b - 7 = 0. Let m be 2 + -6 + 4 - y. Let w(r) = r**2 + 2*r. Is w(m) a multiple of 2?
False
Suppose -2*p = 3*u - 65 - 304, p = -3*u + 177. Is (4 - 2) + 6 + p a multiple of 44?
False
Let t be (-3)/5*(-10)/1. Suppose -4*d = 5*g - 120, -t*d = -4*g - 5*d + 117. Does 7 divide g?
True
Let k be (-26)/(-10) - (-32)/80. Suppose k*u = 5*u - 214. Is u a multiple of 11?
False
Let u be 2/(1 - (-1 + 1)). Let g be -4 - (-5 + u) - -12. Let w(b) = b**2 - 10*b + 5. Is w(g) a multiple of 16?
True
Let z be (2 - 3)/((-2)/10). Suppose -4*p + 56 = -2*p - z*y, 4*p + 2*y = 112. Suppose 5*m + p = 153. Is 7 a factor of m?
False
Let f(o) = -11*o - 33. Let m(g) = -5*g - 16. Let x(l) = 4*f(l) - 7*m(l). Is x(-4) a multiple of 2?
True
Suppose 462 = 4*b - 3*r, 0 = 4*b - 0*b + 3*r - 474. Suppose -3*j - b = -4*j - 2*n, -4*n = -4*j + 444. Does 35 divide j?
False
Suppose 213*z + 85 = 214*z. Is 2 a factor of z?
False
Suppose 35*z - 36*z = -247. Let y = z - 131. Does 34 divide y?
False
Suppose -5*p = -4*c + 26, -3*p + 5*c - 28 = p. Is 5 a factor of (-6 - -19) + 4/p?
False
Let x be 3/(6/(-10)*(-15)/471). Suppose 2*n - 15 = x. Is 7 a factor of n?
False
Suppose 0 = -x + 4*x. Let i = 5 - x. Suppose -2*l = -4*l + r + 68, -5*l = i*r - 185. Is 18 a factor of l?
False
Suppose 146*w + 17000 = 166*w. Is 26 a factor of w?
False
Let k = 27 - 49. Let m = -16 - k. Is m even?
True
Suppose -2*b + 5*b = 147. Is 5 a factor of b?
False
Let g = 68 + -75. Does 10 divide (-14)/g + -5 + (-54)/(-1)?
False
Let s be (-4)/6*1 - 575/(-3). Let r = s + -94. Does 25 divide r?
False
Let o be 24/(-8)*(0 + -1). Let w be (-40)/(-15) - 2/o. Suppose -w*x = -7 - 25. Is x a multiple of 8?
True
Let t = 32 - 20. Suppose 0 = 5*y + 2*l - 35, -2*y = 2*y - 4*l - 56. Is 6 a factor of t/63*y*7?
True
Suppose -40 = -s + c, c = -s - 4*c + 40. Suppose 2*h - 4*g = s, h + 4*g - 140 = -3*h. Is h a multiple of 13?
False
Let q(z) = 1038*z - 29. Is 33 a factor of q(2)?
False
Let z be -1*(-10)/3*3. Let h be 0/(-2) + -10 + z. Does 7 divide h/(-1) - (1 + -8)?
True
Let c(r) = 22*r + 21. Let t be c(-8). Let n = -217 - t. Does 9 divide -4 - -6 - n/2?
False
Let c = -2649 + 5887. Is 117 a factor of c?
False
Let l = -562 + 744. Is l a multiple of 14?
True
Let u be 4/(-8)*(-54 - 0). Let v be ((-6)/(-9))/(