 = 10, -3*n = -2*n - 3*k - 24. Let u be ((-16)/(-2))/(-4 - -3). Let x = n + u. Is x a multiple of 9?
False
Suppose 2*t - 5*x - 19 = 0, 3*t - 12 = -0*t + 2*x. Let d(a) = 4*a**2 - 3*a + 2 + 3*a. Is 9 a factor of d(t)?
True
Let r(p) = -9*p - 2. Let a be r(-3). Suppose 3*k + a = 106. Does 12 divide k?
False
Let d(l) = -l**2 + 15*l - 6. Does 12 divide d(10)?
False
Let w(l) = 6*l**3 - l**2 - 2*l - 7. Does 10 divide w(3)?
True
Suppose -9 = -5*g - 4. Let r = -1 + 4. Does 11 divide (-160)/(-15) + g/r?
True
Let u = -35 - -13. Let v = -8 - u. Is v a multiple of 8?
False
Let v(t) = t - 5. Let p be v(5). Let q(l) = l**2 - 2*l - 2. Let c be q(3). Suppose p = 3*n - c - 8. Is n a multiple of 3?
True
Suppose -16*n = -7*n - 1188. Does 12 divide n?
True
Let m = 59 - 16. Does 10 divide m?
False
Let a(z) = -z - 5. Let l be a(-5). Let w(x) = x**3 - x**2 + 5. Let g be w(l). Suppose -5*o - g = -20. Is o a multiple of 3?
True
Let d = 24 + -16. Let n = d - 6. Suppose 0*y = -n*y + 52. Does 13 divide y?
True
Let v = 10 - -46. Suppose v = -i + 3*i. Is i a multiple of 18?
False
Let t be 7/((-14)/(-108)) - 4. Let z(y) = -y**3 + 2*y**2 + y - 2. Let f be z(2). Suppose 0 = 2*m - 4*c - f*c - t, -3*m = -2*c - 67. Does 21 divide m?
True
Suppose 0*s = 2*s - 250. Does 13 divide s?
False
Let q(r) = 5*r**2 + 2*r - 1. Let n = -1 + -1. Is q(n) a multiple of 15?
True
Does 9 divide (-3)/9 - (-110)/6?
True
Suppose -5*z - 3*w + 82 = 0, -5*w + 2 = 7. Suppose 8 = -3*g + i, 3*i = 2*g - 0*i + z. Let b = g + 3. Is b a multiple of 2?
True
Suppose 3*o = 8*o + 5. Is 6 a factor of (-6)/(-1) - o/1?
False
Let o(s) = s - 8. Let p(q) = -2*q + 7. Let j(k) = -3*o(k) - 4*p(k). Let n be j(-5). Let f = n + 55. Does 13 divide f?
True
Let i = 6 + -7. Is 9 a factor of (i/(-2))/((-6)/(-144))?
False
Let x = -10 + 11. Let s be (30/25)/(x/(-5)). Is (39/6)/((-1)/s) a multiple of 13?
True
Let z be (-1)/2 + 14/4. Suppose -2*j = -5*r + 2*r - 35, z*r - 60 = -3*j. Is 6 a factor of j?
False
Suppose -5*f = -71 - 154. Is 9 a factor of f?
True
Let j = -13 - -7. Is 2 a factor of ((-2)/3)/(2/j)?
True
Let y(m) = 5*m**2 - 6. Does 31 divide y(3)?
False
Is 8 a factor of 392/24 - 2/6?
True
Let q = -10 + 19. Is 5 a factor of q?
False
Let k = 5 - 12. Is (1/3)/(k/(-105)) a multiple of 3?
False
Does 19 divide (-3 + 1)*183/(-6)?
False
Suppose 2*l + 2*u - 7*u = 118, 5*l = -2*u + 324. Is 16 a factor of l?
True
Suppose 365 = 6*l - 67. Is l a multiple of 10?
False
Let q(y) = -y**3 - 5*y**2 + 3*y + 3. Let b(g) = -2*g**3 - 5*g**2 + 4*g + 3. Let o(u) = 2*b(u) - 3*q(u). Is 12 a factor of o(3)?
True
Suppose 14*i - 13*i - 168 = 0. Is i a multiple of 8?
True
Suppose 0 = 4*y - 3*y + 1. Let o be y*(1 + -2 + 3). Does 12 divide ((-28)/4)/(o/8)?
False
Let a = -58 + 86. Is 7 a factor of a?
True
Let n(a) = a + 2. Let w be n(2). Suppose -3*b + 176 = w*v, b - 61 = -3*v + 71. Is 22 a factor of v?
True
Let m = 5 + -6. Is m*(-2 + 1) - -3 even?
True
Let a = 7 + -3. Suppose -24 = a*l + 4*s, 2*s - 12 = 2*l - 0*l. Let u = l + 16. Is u a multiple of 5?
True
Let o = 50 + -32. Does 11 divide o?
False
Let h(s) = 42*s. Let w be h(1). Let v = w - 6. Is 18 a factor of v?
True
Let u = 4 + 90. Is 14 a factor of u?
False
Let p(u) be the first derivative of u**3/3 - 4*u**2 - 5*u + 5. Is p(-6) a multiple of 24?
False
Let z(g) = g**2 - 3*g - 7. Is 7 a factor of z(-7)?
True
Let c(u) be the second derivative of -2*u**3/3 + 3*u**2 + 3*u. Is c(-6) a multiple of 15?
True
Let r(u) = -u**3 - u**2 - 4. Let x be r(-3). Suppose 18 = 4*v + 3*k, 5*k - 11 = -5*v + x. Suppose -b - 12 = -v*b. Does 4 divide b?
False
Let u = -21 + 33. Is u a multiple of 12?
True
Suppose -11 = 4*d + h, 0*d - d - h - 2 = 0. Let y = d + 12. Suppose 2*p - 7 - y = 0. Is p a multiple of 8?
True
Let g be 2/((-6)/(-3)) + 2. Suppose 6*t - 72 = g*t - 3*m, 4*t = -3*m + 94. Is 8 a factor of t?
False
Does 3 divide (-3)/(3/(-28)) - -4?
False
Let v(b) = 3*b**2 + 4 - 3*b - 2*b + 2 - 4*b**2. Let x be v(-6). Suppose x = 2*u + u - 12. Does 4 divide u?
True
Let h(t) = t**3 + 6*t**2 - 6*t - 6. Is 15 a factor of h(-6)?
True
Let o = -3 + 5. Suppose 0*f + 10 = o*f. Suppose 0 = v - 2*v + f. Is 3 a factor of v?
False
Suppose 5*k + 25 = 0, 2*a - 5 = -3*a + k. Suppose a = s - 0*s - 20. Is s a multiple of 20?
True
Let b = 5 - -2. Suppose 3*v - b = 2. Suppose -5*q + 48 = v. Does 9 divide q?
True
Let v = 0 + 8. Suppose -b + 0*n = -2*n - v, -20 = -b - n. Does 16 divide b?
True
Suppose -5*q - 50 = -4*r, q = -4*r + 16 + 46. Is 9 a factor of r?
False
Suppose z - 23 = -0*z + b, 3*b + 87 = 4*z. Is z a multiple of 7?
False
Suppose -144 = -5*h + 3*h. Does 12 divide h?
True
Let k(v) = -v + 6. Let b be k(8). Let z = b - -16. Is 14 a factor of z?
True
Let s = 4 - 0. Let y = s + 12. Suppose -y - 26 = -f. Is 21 a factor of f?
True
Is 169 + (-2)/6*18/(-6) a multiple of 34?
True
Let q be 48*(-3 + 15/6). Let h = q + 52. Is 28 a factor of h?
True
Suppose -20 - 10 = 4*g - 3*f, 2 = g + 4*f. Is 5 a factor of (-122)/g + 13/(-39)?
True
Suppose 103 + 161 = 6*f. Is f a multiple of 11?
True
Let x(q) = 3 - 1 - 3 + q + 3. Let d be x(-2). Suppose -4*n - 80 = -2*h, -3*h + d*h + 5*n + 119 = 0. Does 19 divide h?
True
Let v(m) = m + 36. Is 12 a factor of v(0)?
True
Suppose g + 2*h + 2 = 30, 0 = -4*g + 3*h + 123. Does 15 divide g?
True
Let x = -145 - -242. Does 18 divide x?
False
Suppose -16 = -4*y - 0*y. Suppose 0 = -5*l - y + 84. Is l a multiple of 16?
True
Let b(s) = 13*s - 86. Is 4 a factor of b(9)?
False
Is 6 a factor of -2*6*(-12)/8?
True
Let a = 8 - 0. Let b(z) = a + 0*z - 2*z + 0*z. Is b(-7) a multiple of 11?
True
Is 13 a factor of (-1)/(1 + 70/(-65))?
True
Let v(i) be the third derivative of -i**4/8 - 2*i**2. Let u be v(-1). Suppose 0 = f - 3 - u. Is 4 a factor of f?
False
Suppose m = 2*m - 52. Let v = m + -8. Does 22 divide v?
True
Let h = -12 - -23. Is h a multiple of 7?
False
Let j = -9 + -11. Let t = j + 14. Let f(i) = i**3 + 7*i**2 + 3*i - 6. Does 4 divide f(t)?
True
Is 8 a factor of 123*((-1)/(-3) - 0)?
False
Suppose 3*d - 35 = -5. Suppose -z = 4*z - d. Is 4 a factor of 12 - z - (2 + 0)?
True
Let y = 3 - 7. Let i(a) = a**3 + 4*a**2. Let b be i(y). Suppose -5*k + 13 = f, -2*f - f - 4*k + 50 = b. Is f a multiple of 11?
False
Let i(a) = 4*a**2 - 2*a - 2. Let k be i(3). Suppose k + 19 = d. Is d a multiple of 12?
False
Let v(c) = c**2 + 1. Let a(b) = b**3 + 9*b**2 + 4*b + 3. Let l(u) = -a(u) + 5*v(u). Let y = -21 - -16. Is l(y) a multiple of 17?
False
Let o = 30 - 8. Is 19 a factor of o?
False
Suppose -3*x + 2 = -5*x. Let i be (-4)/(-18) - 440/36. Let f = x - i. Is f a multiple of 11?
True
Let o(w) = 29*w**2 + w - 2. Let a be o(1). Is (5/(-2))/((-2)/a) a multiple of 7?
True
Let m(h) = h + 3. Let o be m(0). Suppose 4*c + 0*c = -4*g + 40, 0 = 2*c + o*g - 18. Does 20 divide (-332)/(-6) + 8/c?
False
Let z(o) = -o**2 - 6. Let l be z(0). Suppose -5*f - 26 = a, -2*a + 0*a + 4*f = -18. Is (4/l)/(a/54) a multiple of 12?
True
Let i(s) be the third derivative of s**5/60 - 11*s**4/24 + 2*s**3 + 2*s**2. Let h be i(8). Does 15 divide h/54 - 236/(-9)?
False
Suppose -3*h + 111 = 3*l + 3, 36 = l - 4*h. Is 9 a factor of l?
True
Let l(n) be the first derivative of -n**6/120 - n**5/15 + n**4/6 - n**3 - 3*n**2/2 - 4. Let a(m) be the second derivative of l(m). Is a(-6) a multiple of 21?
True
Let t(y) = -40*y + 1. Does 27 divide t(-2)?
True
Let k = -4 + 193. Suppose 2*r - k = -2*m - 21, 337 = 4*m + 5*r. Let w = -47 + m. Does 17 divide w?
False
Let g(q) = -q**3 - 2*q**2 - 4*q - 3. Does 9 divide g(-3)?
True
Suppose 3*y = -0*y. Suppose 3*i + 5*g - 69 = y, 147 - 22 = 5*i + 5*g. Let z = i + -8. Is 13 a factor of z?
False
Let k = -10 - -11. Is -3 - (0 + (-16 - k)) a multiple of 5?
False
Suppose -t + 5 = 2. Suppose -t*n + 2*c = -136, 5*n + c - 4*c - 225 = 0. Is 21 a factor of n?
True
Let n(b) = -b**3 - 6*b**2 + 7*b + 5. Let s be n(-7). Suppose 663 = -3*m + 3*w, -85 = s*m - 2*w + 1008. Is 2/8 + m/(-28) a multiple of 4?
True
Does 28 divide -14*(-3 - (-2 - -1))?
True
Let t = 130 + -52. Does 13 divide t?
True
Suppose b - 4*w - 12 + 2 = 0, -6 = -2*w. Does 5 divide b?
False
Let o(p) = -81*p + 11. Let d(u) = -41*u + 5. Let z(x) = 9*d(x) - 4*o(x). Is 13 a factor of z(-1)?
False
Let h(o) = -o**2 + 13. Let n be h(7). Does 6 divide n/(-10)*100/15?
True
Let z be (6 - 5)/((-1)/(-21)). Is 4 a factor