-5*k(t) + 2*x(t). Does 20 divide a(-17)?
True
Let d(q) = 3*q + 44. Let c be d(-6). Let f(l) = -3*l**2 + l + 2. Let r be f(-2). Let x = c + r. Is 6 a factor of x?
False
Suppose h - 442 = 78. Is h a multiple of 20?
True
Suppose -1136 - 772 = -3*m - 3*a, 3*m + 2*a = 1909. Is 49 a factor of m?
True
Suppose 13*d - 60 = d. Suppose 860 = -m + d*m. Does 36 divide m?
False
Suppose 11*x = 26*x - 12060. Is 6 a factor of x?
True
Suppose 596 - 5258 = -9*l. Does 69 divide l?
False
Suppose 5*a - 250 = h, -a - 5*h + 56 = 6. Suppose -2*k + 0 + a = 0. Does 17 divide k?
False
Let l(v) = 5*v**2 - 68*v + 72. Is 15 a factor of l(19)?
True
Suppose -5*d - 149 = -3*l, -5*l = -3*l - 5*d - 96. Does 30 divide l?
False
Suppose -5*w - 44 = -199. Let o = w - 15. Let d = 13 + o. Is d a multiple of 7?
False
Suppose 9 = -f - 1. Is 26/(-6)*30/f a multiple of 4?
False
Suppose 24 = -3*o + 1740. Is 43 a factor of o?
False
Let t(o) = -3*o**3 - 6*o**2 + 7*o + 3. Is t(-8) a multiple of 53?
False
Suppose -3*j - 1086 = -5*j. Suppose -j = -3*l - 2*n, 5*n = 4*l - 9*l + 905. Does 12 divide l?
False
Suppose 5 = 3*c + 4*x + 4, 2*x = -4*c + 8. Suppose -y + 3*v = -238, -c*y + 4*y - 5*v - 228 = 0. Is 33 a factor of y?
False
Let x(s) = -5*s**2 - 97*s - 16. Is x(-13) a multiple of 25?
True
Let k = -137 + 221. Does 12 divide k?
True
Suppose 0 = 3*q + 8*q - 3300. Is q a multiple of 20?
True
Suppose 2*s - 264 = -s. Let q = s + -181. Let x = q + 141. Is x a multiple of 10?
False
Let g = 28 + -24. Let x = 12 - g. Is x a multiple of 8?
True
Suppose -21 = -2*q - 3*b, -q - 33 = -5*q - 3*b. Is (((-45)/q - -4)*-2)/1 even?
False
Let t = 23 - 73. Does 40 divide ((384/(-5))/(-8))/((-4)/t)?
True
Let a = -17 + 19. Suppose -a*x = 4*t - 25 - 61, 4*t = 3*x + 91. Is 22 a factor of t?
True
Suppose -m + 15 = 2*m. Suppose -1434 = -m*g - 244. Is g a multiple of 14?
True
Let b(m) = -m - 5. Let d be b(-5). Suppose 3 = -3*i - 4*f - f, -4*i - 4 = -3*f. Does 7 divide 30 + -4 - (i - d)?
False
Let m = 12 + -32. Let b = -14 - m. Is b a multiple of 3?
True
Let y = -652 - -1121. Does 7 divide y?
True
Suppose -3*o = 2*r - 1, -4*o + 1 = 5*r - 5. Suppose -r*b = 4*w - 180, -w - 195 = -2*b - 0*w. Does 24 divide b?
True
Suppose -5*p + 3*j + 4163 = 0, 4165 = 13*p - 8*p - 5*j. Does 64 divide p?
True
Suppose k + 11 = -2*w, -2*k + 2*w - 41 = k. Let v = 32 + k. Is v a multiple of 2?
False
Suppose 4*c = -5*l + 41, -l - 3 = -3*c + c. Suppose -688 + 113 = -l*a. Is 22 a factor of a?
False
Let i = -1856 + 2001. Is 29 a factor of i?
True
Let i be -60*1*1/(-3). Does 30 divide (-962)/(-8) + (5/i)/(-1)?
True
Suppose 10*i - 1923 = 4997. Is 12 a factor of i?
False
Let r be (0 - 41*-1) + 96/(-24). Suppose r = -6*g + 1207. Does 28 divide g?
False
Let z be 10/3 - 4/(-6). Suppose -k = 4*s - 8, 0 = -4*s + 2*k - 5*k + 16. Suppose -s = n - z. Is n even?
False
Suppose 0 = -r - 0*r. Suppose 2*v - 9 - 1 = r. Suppose -4*i - 25 = -v*i. Is i a multiple of 9?
False
Let z = 746 - 251. Is z a multiple of 9?
True
Suppose 8609 - 2064 = 5*d. Is d a multiple of 11?
True
Let r = 230 + 72. Suppose t - l = -3*l + r, l = 1. Suppose 0 = 4*f + 32 - t. Is f a multiple of 11?
False
Suppose -698 = p + p. Let t = p - -563. Suppose 2*i - 10 = 0, -5*r - 4*i = 54 - t. Does 14 divide r?
True
Let p = -6 - -27. Let n(l) = 13*l**2 + 7*l + 9. Let b be n(-4). Suppose -p = 3*u - b. Is u a multiple of 14?
True
Suppose -58 = -2*d + 46. Suppose i - 11 = d. Let w = i - 21. Does 13 divide w?
False
Let a = -583 - -967. Is 15 a factor of a?
False
Is 57 a factor of (-2 + (-15)/(-6))/((-14)/(-31920))?
True
Let u(o) = -9*o + 43*o + 7*o + 9*o - 1. Let h be u(-4). Is 9/(-6) - h/6 a multiple of 16?
True
Let r(z) = z**2 - 13*z + 5. Let x be r(7). Let h = x - -31. Is 13 a factor of ((-1)/3)/(h/936)?
True
Let o be (7/4 - -2)*(-16 + 12). Let v = o - -30. Is v a multiple of 2?
False
Suppose 2*w + 3*v = -79, 2*w + 34 = v - 33. Let b = w - -79. Does 9 divide b?
False
Let m = 80 - 17. Let u = m + -35. Is 11 a factor of u?
False
Let i(n) = 3*n**3 + n - 1. Let m be i(1). Let w(g) = g**2 - g + 3. Let u be w(m). Let v = 19 - u. Does 8 divide v?
False
Suppose w = -r + 124 + 7, 2*r + 4*w = 262. Suppose f = -8 - 56. Let t = r + f. Does 14 divide t?
False
Let m be 70/(-22) + (-6)/(-33). Is (-229)/m + 11/(-33) a multiple of 26?
False
Let c(u) = u**3 + 4*u**2 - 3*u + 6. Let y be c(6). Suppose 0 = -5*g - 2*n + y, -2*g - 5*n + 135 = -0*g. Suppose -10 - g = -4*b. Is 10 a factor of b?
True
Let s be (-4 - -6) + (-4)/(-6)*3. Suppose s*y = 0, -2*o + 6*o - 2*y = 264. Is 15 a factor of o?
False
Suppose d = -4*r - 0*r + 2578, 0 = -r - d + 646. Is 14 a factor of r?
True
Let i = 77 + 193. Is 45 a factor of i?
True
Suppose 27*s - 26*s + 1 = 0. Is 1*(16 + s/1) a multiple of 4?
False
Suppose -3*m + 4*p + 4480 = 0, -2*p - 8 = -0*p. Is m a multiple of 55?
False
Let m(s) = s**3 + 9*s**2 + 8*s. Let i be m(-8). Suppose 0 = -o - 4*q + 46, o - q - 31 = -i*q. Is 11 a factor of o?
False
Suppose 0 = 2*q + 6 + 104. Let f = q - -100. Is 15 a factor of f?
True
Let v(b) = -b**2 + 3*b - 6. Let d(k) = -3*k**2 + 8*k - 17. Let w(q) = -4*d(q) + 11*v(q). Let u(i) = -i**3 - 3*i**2 - 4. Let z be u(-3). Is w(z) a multiple of 7?
True
Let c be 498/4*4*5/(-30). Let i = 117 + c. Does 28 divide i?
False
Suppose 1519*t + 79 = 1520*t. Is t a multiple of 2?
False
Let r be (30/(-10))/(6/8). Let y be r*(-9)/12*3. Suppose 34 = 11*o - y*o. Is o a multiple of 6?
False
Let u(o) = o**3 - 5*o**2 - 7*o + 4. Let t be u(6). Let d be (-8)/(-2)*t/(-8). Does 9 divide (-14)/(-2) - (d + -3)?
True
Let w = -800 - -1163. Does 5 divide w?
False
Let u = -6 - -6. Let s(d) = d**2 - 4*d - 16. Let i be s(7). Suppose u = c - 2*p - 42, c + 0*p = i*p + 27. Is c a multiple of 8?
False
Suppose t + 2*q - 6 = 0, -q + 3 = t - 0*q. Suppose 5*j = -t*j - 20, 5*j + 30 = 2*n. Suppose 30 = -n*f + 140. Is 9 a factor of f?
False
Suppose -5*x + 132 = 3*p - 57, -2*x + 68 = 5*p. Is 14 a factor of x?
False
Suppose -5*m = 4 - 29. Suppose 0 = m*a - 154 + 44. Let l = 39 - a. Does 7 divide l?
False
Let f = -31 + 430. Is f a multiple of 35?
False
Let k(p) = -334*p - 8. Is k(-2) a multiple of 26?
False
Let j = -773 + 1128. Let x = -224 + j. Is 21 a factor of x?
False
Let m be 3/((-5)/(25/(-3))). Suppose m*w + k = -13, -6*w + 4*k = -2*w - 4. Does 17 divide (w - -3)/((-3)/(-153))?
True
Suppose 5*d - 2*u = 26 + 7, 0 = -d + 5*u + 25. Let r = 9 + d. Is r a multiple of 14?
True
Suppose 31 = -3*u + 4. Let j(g) = -12 + 84*g - 171*g - g**3 - 8*g**2 + 87*g. Is j(u) a multiple of 11?
False
Let m(y) be the second derivative of -169*y**3/3 + 6*y. Let k be m(1). Is (k/65)/(2/(-20)) a multiple of 13?
True
Let y = 11 - 2. Suppose -q + 8 = -y. Does 3 divide (-3)/(q/5 + -4)?
False
Let x(t) be the second derivative of -t**5/20 + 7*t**4/12 - t**2 - 17*t. Is 6 a factor of x(2)?
True
Let m = 435 + -300. Suppose -m = -2*u - 3*u. Suppose 2*i - u = -i. Is i a multiple of 4?
False
Suppose 3*j + 152 = 3419. Let g = j - 2494. Is 14 a factor of (-1)/5 - g/25?
True
Let g(f) = -f**3 - 24*f**2 - 51*f + 12. Is 50 a factor of g(-22)?
False
Let v(h) = 3*h**2 - 3. Suppose 0 = 6*b - b + 15. Let m be v(b). Suppose -n - 4 + m = 0. Is 10 a factor of n?
True
Let s be (-2)/3 + (-34)/(-6). Suppose -4*w + 17 + 11 = -2*h, s*h + 22 = 4*w. Suppose -w*z + 3*z + 180 = 0. Does 12 divide z?
True
Let n(l) = -3*l**2 - 3*l - 22. Let u(f) = -f**2 - f - 1. Let d(y) = -n(y) + 2*u(y). Let c be d(0). Suppose -r = c - 60. Is r a multiple of 15?
False
Let w = -19 + 126. Suppose w*f = 102*f + 900. Is 36 a factor of f?
True
Let s(x) = x**3 - 2*x**2 + 11*x - 17. Let h be s(2). Suppose h*o + 3*o - 640 = 0. Does 8 divide o?
True
Let y be (-81)/(-5) - (-2)/(-10). Suppose 935 = r + y*r. Does 5 divide r?
True
Suppose 5*u - 4*a = 37, 5*u + 3*a - 11 = 5. Suppose 4*v = 4*c - 16, -4*c + 5*v + 24 = 4. Suppose c = -u*y + 80 + 95. Is 11 a factor of y?
False
Let m(z) = -40*z + 4. Let y(k) = -39*k + 3. Let x(v) = -2*m(v) + 3*y(v). Let a(b) = -b - 1. Let q be a(0). Is x(q) a multiple of 19?
True
Let a = -1249 - -3027. Does 20 divide a?
False
Let n(h) = h**2 - 2*h - 1. Let w be n(3). Let z(o) = -2*o + 0 + 1 - 4 + 5*o + 6*o**2. Is z(w) a multiple of 14?
False
Let x = 29 - 31. Does 22 divide 274/(x/(-4)*4)?
False
Let l(k) be the first derivative of k**4/4 + 9*k**3 - 13*k**2 + 65*k - 32. Is