5)?
True
Suppose -5*o - 4*h + 835 + 85 = 0, -3*o + 2*h + 552 = 0. Let n = o + -121. Is n a multiple of 9?
True
Suppose -10*h = 2583 - 8743. Is 14 a factor of h?
True
Is 43 a factor of ((-12384)/240)/(-1*2/15)?
True
Let k(g) = 849*g**2 - 28*g - 27. Does 34 divide k(-1)?
True
Let i(o) = -o**2 - 64*o - 158. Does 25 divide i(-53)?
True
Let j be (-11 - -7) + (-1 - (1 + -64)). Suppose 2*l - 94 = -3*a, -2*l + j = 2*a - 38. Is 25 a factor of l?
True
Let x(n) = -n**2 - 9*n + 14. Let g be x(-5). Let f = 22 + g. Is f a multiple of 22?
False
Let f = -150 - -210. Suppose 0*c = 2*c - f. Suppose 5*j = c + 135. Is 25 a factor of j?
False
Let i be ((-7 - 1)/(-4))/1. Let s = -5 + 7. Suppose c = -i*p, -3*c - 3*p = -s*c + 3. Does 3 divide c?
True
Suppose -5*j - 15 + 0 = 0. Let o = 17 - j. Does 10 divide o?
True
Suppose -3*c - 2*d + 2 = 0, -3*d + 0*d + 3 = -2*c. Let x = c - -5. Let q = x + 1. Is q even?
True
Let l(m) = 3 - m + 5*m**3 - 2 - 2*m**2 - 4*m**3 - 5. Let x be l(3). Suppose -3*k + 79 = 5*o, -x*k - k - 6 = 0. Does 4 divide o?
False
Let h(w) = w**3 - 11*w**2 - 24*w - 23. Let m be h(13). Let v = m - -37. Is 8 a factor of v?
True
Let y = -1577 + 2578. Is 10 a factor of y?
False
Suppose -7*u + 3687 - 243 = 0. Does 12 divide u?
True
Suppose 3*v - 3658 = -3*x + 4616, -11047 = -4*v - x. Is v a multiple of 66?
False
Suppose -35*i = -21 - 49. Suppose -5*g = 5 + 10. Let j = i - g. Does 2 divide j?
False
Suppose 0 = -4*q + 4*r + 84, 0 = -q + 4*r + r + 9. Suppose 8*n = 2*n + q. Does 2 divide n?
True
Suppose 0 = -26*b + 32*b - 1356. Is 22 a factor of b?
False
Let y = -74 - -57. Let n = y + 57. Is n a multiple of 3?
False
Suppose -4*w - 3 = 9. Let y(u) = u**2 - u - 2. Is y(w) a multiple of 9?
False
Let w(z) = -3*z**3 - 15*z**2 - 5*z**3 - 21*z - 2*z**2 + 9*z**3. Let a be w(18). Let m = -20 - a. Does 17 divide m?
True
Let v = 179 + -84. Let m = v + -43. Is m a multiple of 11?
False
Suppose 4*c - 2*c = 4. Suppose 0 = -c*x - 7 - 59. Let i = -29 - x. Does 2 divide i?
True
Let d(u) = u**3 + 2*u**2 + 3*u - 11. Let m be d(4). Suppose -3*g - t = -m, 2*t = 3*g + 6*t - 100. Is g a multiple of 7?
False
Suppose 3*k - 5*o - 2731 = 0, 3644 = 4*k - 8*o + 4*o. Is k a multiple of 26?
False
Let m(i) = -71*i - 4. Is 10 a factor of m(-2)?
False
Suppose 0*m + 5*w - 1103 = -m, 5*m - 5665 = 5*w. Is m a multiple of 47?
True
Let b = 393 - 270. Does 41 divide b?
True
Suppose j + 4*i = 3*i, i - 12 = -5*j. Is (((-132)/16)/j)/((-1)/24) a multiple of 22?
True
Let a(m) = 28*m - 8*m - 7 - 9*m. Is 9 a factor of a(12)?
False
Let m(u) = 9*u**2 - 33*u + 304. Is m(10) a multiple of 46?
True
Let l = -28 + 33. Suppose 3*c = l*c - 110. Is c a multiple of 13?
False
Suppose 923 = l - 3*s, -l + s + 1106 = 185. Is l a multiple of 8?
True
Let p(a) = -a - 1. Let g(x) = 14*x + 4. Let o(y) = -g(y) + 2*p(y). Suppose -16 = 5*s + 4. Is 29 a factor of o(s)?
True
Suppose -2*u + 3*u - 14 = -2*v, -4*u = 5*v - 32. Suppose 4*x + v - 40 = 0. Is 122/2 - 16/x a multiple of 12?
False
Let n = -74 + 110. Does 18 divide n?
True
Let n(k) = -2*k - 2. Let z be n(-4). Let x(v) = v - 1. Let s be x(z). Suppose 3*d - s*f - 153 = -d, 0 = 5*f + 5. Is d a multiple of 9?
False
Let j = 38 + -40. Let k be (j - (-4)/1) + -2. Suppose 2*f + k*f = -5*r + 78, 4*f - 146 = -5*r. Is 9 a factor of f?
False
Let l be 2 - (3 - 1)/(-2). Let i be 12/60*(3 + -3). Suppose o = -l*k + 115, 3*o - 25 = -k - i*k. Does 10 divide k?
True
Let n(w) = w + 3. Let p be n(2). Suppose -4*k = -p*j - 86 - 33, -k = -2*j - 26. Is k a multiple of 10?
False
Let h = 63 - -99. Is 9 a factor of h?
True
Suppose l = -4*r + 1103, 5*l = r - 190 - 70. Does 25 divide r?
True
Let n(g) = -11 + 0 - 1 - g**2 - 10*g - g**2. Let w be n(-8). Let h = w + 84. Does 14 divide h?
False
Let j(c) = 13*c**2 + 3. Let n = -63 - -60. Does 40 divide j(n)?
True
Let i(r) = 235*r**2 - 19*r - 34. Is 22 a factor of i(-2)?
False
Let g(d) be the third derivative of d**5/30 + d**4/12 - d**3/6 - 5*d**2. Let k be g(1). Suppose k*o - p = -o + 38, -2*o = -p - 20. Does 2 divide o?
False
Is 528/(84/(-21))*(-32)/6 a multiple of 4?
True
Let x be (-2 + 4 + 1)/(-1). Let r be x/(-12) - 573/(-12). Suppose 0 = 3*f - 75 - r. Is 11 a factor of f?
False
Let g = 216 - 97. Is 37 a factor of g?
False
Let b = 26 - -50. Suppose 3*y = -b - 29. Let i = y - -56. Does 7 divide i?
True
Let f(w) = w**2 + 3*w + 5. Let h be f(-2). Suppose -5*g + 731 = -h*o + 7*o, 180 = o + 4*g. Is 9 a factor of o?
False
Let x(k) be the second derivative of k**5/20 + 3*k**4/2 - 7*k**2 - 11*k. Let o be x(-17). Suppose -h - 3*h + o = -u, -u = h - 70. Does 23 divide h?
True
Let d be 1 - (0/1 - 66). Suppose -3*t + 14 = -1. Suppose -t*f + 88 = -d. Is 9 a factor of f?
False
Suppose 3501 - 909 = 6*w. Is 23 a factor of w/10 + 13/(-65)?
False
Suppose 0*p + 3 = -p + 4*t, t = -2*p + 30. Let q = 1 - -61. Suppose -5*i + p = -q. Is i a multiple of 4?
False
Let v(s) be the second derivative of -s**5/20 + 3*s**4/4 - s**3/6 - 7*s**2 + 9*s. Is 11 a factor of v(7)?
True
Suppose 20 = 52*y - 47*y. Suppose 64 = y*f - 5*v, 4*f - 4*v + v - 72 = 0. Does 7 divide f?
True
Suppose 0 = 17*h - 2666 - 16527. Does 13 divide h?
False
Suppose x = -2*m + 73, 8*m + 3*x = 3*m + 180. Suppose 638 = -17*u + 1743. Let z = u - m. Is z a multiple of 13?
True
Let u be (-1)/(-3) - (-44)/12. Suppose -2*v - 2 = -0*c - 2*c, -u*c + 4 = -2*v. Suppose -z + 2 + 6 = v. Does 6 divide z?
False
Let h = -18 + 10. Let n = h - -12. Suppose -t - q = -20, -2*t - n*q + 0*q = -30. Is 7 a factor of t?
False
Let u(l) = -l**2 - 8*l - 2. Let a be u(-9). Let w be ((-17)/17)/(1/(-8)). Does 11 divide a/(-3 + 20/w)?
True
Let o be 2 + (-16)/6 - (-1420)/(-12). Is 24 a factor of 3 - o - 9/(9/2)?
True
Suppose -28*a - 2205 = -35*a. Is 21 a factor of a?
True
Suppose 2*y - o = 3948, 55*y - 59*y + 5*o = -7890. Is 79 a factor of y?
True
Suppose 347*n = 357*n - 1190. Does 6 divide n?
False
Let l = 643 - 262. Is l a multiple of 8?
False
Let h be 4/1 - -1 - (-1 + 1). Let y(v) = v**3 - 4*v**2 + 7*v - 7. Does 26 divide y(h)?
False
Let z(l) = -8*l**3 - 1. Let c be z(1). Suppose -2*k + 51 = -29. Let v = c + k. Is 10 a factor of v?
False
Let u be 2/(-3)*(-63)/14. Suppose -120 = -u*j - 2*j. Is j a multiple of 6?
True
Let a(s) = 208*s + 208. Let y(u) = 19*u + 19. Let l(c) = -3*a(c) + 32*y(c). Does 20 divide l(-5)?
False
Let j(q) = 2*q**2 - 15*q - q**2 - 2*q**3 + 16*q + q**3 + 53. Does 8 divide j(0)?
False
Let g(j) = 411*j**2 + 11*j - 9. Is g(1) a multiple of 59?
True
Suppose 0 = 5*j - 3*w - 1793, -4*j + 2*w + 3*w = -1424. Let d = j - 68. Is 17 a factor of d?
False
Does 20 divide (-12)/8*(-3 - (-5037)/(-9))?
False
Let c(u) = -14*u**3 - u**2 - 1. Let w be c(-3). Let p = 217 - w. Let a = -82 - p. Is a a multiple of 17?
False
Let l = 4435 + -3105. Does 72 divide l?
False
Suppose -k - 6*k = 21. Let t(r) be the second derivative of -2*r**3/3 + r**2 - 2*r. Is 7 a factor of t(k)?
True
Does 63 divide 937 + (-2 - (0 + -10))?
True
Let g = 105 - 101. Suppose -448 = g*a - 18*a. Is 4 a factor of a?
True
Let b(o) = 34*o**2 + o + 1. Let p be b(2). Suppose 0 = j + 5, -u - 2*j + p = 11. Suppose 3*m = 18 + u. Is 16 a factor of m?
False
Suppose -4*m = 2*b + 14, 0 = b - m - 10 + 2. Let g(a) = a**2 - 4*a**2 - a - 3 + 4*a**2 + b*a. Does 3 divide g(-5)?
True
Suppose -2*h + 37 = -6*h - 5*t, 4*t + 36 = -4*h. Is 9 a factor of (-2)/h + (-306)/(-24)?
False
Let j(s) = 2*s**2 - 8*s - 3. Let m be j(-7). Suppose 0 = -5*o + 5*f + 90 + 115, -m = -3*o - 4*f. Does 19 divide o?
False
Let w = -151 - -316. Suppose -2*d + w = -3*v, -2*d + v - 103 + 270 = 0. Does 42 divide d?
True
Let i(b) = -2*b**2 + 7*b + 12. Let r(f) = -8*f**2 + 29*f + 47. Let l(u) = -9*i(u) + 2*r(u). Is l(6) a multiple of 14?
True
Let q = -524 + 1003. Is 39 a factor of q?
False
Suppose -2*c - 54 = -i, i - 4*i + 148 = c. Does 7 divide i?
False
Let v(l) = l**3 - 9*l**2 - 4*l + 15. Suppose 2*u = 2*r - 22, -7 = -r - 0*u - 3*u. Is 15 a factor of v(r)?
True
Suppose 521 - 6259 = -19*w. Is 3 a factor of w?
False
Let g be 12 - (3 - 28/8)*0. Does 44 divide (-308)/(-6)*g/(-28)*-6?
True
Let l(k) = -k**3 + 6*k**2 + 2*k - 11. Let c be l(6). Let u be c/(2/29)*2. Suppose -2*s = -u - 27. Does 14 divide s?
True
Let x = 15 - 9. Let t be (-2)/4 - (-33)/x. Suppose 9 = -3*o, 2*c + 5*o = t*c - 27. Is 2 a factor of c?
True
Suppose 2*f = -2*