 + 15*x - 13. Is 8 a factor of k(11)?
False
Let y(j) = 6 - j**2 - 5*j**3 + 27 + 6*j**3. Does 11 divide y(0)?
True
Suppose 29 = 4*b - 95. Is b a multiple of 7?
False
Suppose 16 = -4*o, -5*o + o - 26 = -5*z. Suppose z*t - 3*t = -4. Is t even?
True
Let i(w) = -46*w - 22. Is i(-4) a multiple of 11?
False
Let f(m) = -2*m + 8. Is f(-2) a multiple of 3?
True
Let t(h) = h**2 + 5*h + 9. Is t(-8) a multiple of 16?
False
Suppose 46 = 3*q - 68. Let i = 52 + q. Is i a multiple of 30?
True
Let k = -79 + 139. Let c = k + -22. Does 19 divide c?
True
Suppose -4*w - s + 353 = 0, -9*w = -7*w - 4*s - 172. Does 11 divide w?
True
Suppose -2*g + 5 = -3*g, -3*s - 3*g = 0. Suppose s*d = 71 + 44. Is 5 a factor of d?
False
Let o(d) = 3*d**3 + d**2 + d + 33. Let a(b) = -b**3 + 1. Suppose 10*y - 9 = 5*y + c, 5*c + 17 = -3*y. Let q(s) = y*o(s) + 4*a(s). Does 15 divide q(0)?
False
Suppose -4*o + 0*o + 192 = 0. Is o a multiple of 24?
True
Suppose -4*z - c + 43 = -3*z, -4*c = 12. Suppose -d - 5*i = 11, 3*i - 5*i = 4*d - z. Suppose 4*p - w - 58 = 0, -3*w - d = -4*p + 48. Is 7 a factor of p?
True
Is 10 a factor of (-10)/((-5)/(-2) + -3)?
True
Let d = -8 - -35. Is d a multiple of 8?
False
Suppose 41 = 5*i - 2*n, -5*n = -2*i - 0*i + 29. Does 6 divide i?
False
Suppose o = -1 + 6. Suppose o*u - 16 = 3*u. Suppose -6 = -2*i, -u*z + i + 49 = -4*z. Does 9 divide z?
False
Suppose -182 = -3*y - 2*t, 4*y - 133 - 95 = t. Is y a multiple of 26?
False
Let i(x) = 4*x - 4. Suppose -8 + 1 = -2*z - v, -6 = 2*v. Does 13 divide i(z)?
False
Let a = 73 + -51. Let v = 64 + -25. Let z = v - a. Does 8 divide z?
False
Suppose -4 = -4*a - 0. Let c = a - 21. Let s = c + 52. Does 21 divide s?
False
Let p be (-9)/(-4) - (-4)/(-16). Let h be (-4)/p + 0 + 6. Suppose t = -h*t + 75. Is 6 a factor of t?
False
Suppose -5*j = -4*j - 51. Let i(q) = -q**3 + 2*q**2 + 4*q + 1. Let z be i(3). Suppose -5*c = -3*m + j, 2*m + 6*c - 18 = z*c. Is m a multiple of 12?
True
Let r = 23 - 15. Let h = r - -19. Is 9 a factor of h?
True
Suppose -6 + 15 = 3*l. Suppose 5*c = -4*f + 72, -4*c = -0*c - l*f - 70. Is c a multiple of 8?
True
Is ((-1290)/40)/(2/(-16)) a multiple of 13?
False
Let m = -1 - -23. Let f = m + -11. Is f a multiple of 11?
True
Suppose 2*o - 88 = -5*a, -2*o + 7*o + 2*a = 220. Is o a multiple of 44?
True
Suppose -2*r + 6*r = 44. Let l = r + -7. Is l a multiple of 4?
True
Let h(i) = i**3 - 8*i**2 - 12*i - 11. Let o be h(9). Let w = 78 + o. Does 10 divide w?
True
Let y = 103 - 65. Is 3 a factor of y?
False
Is (-20)/(-50) - (-103)/5 even?
False
Let c be (-70)/15 - (-2)/3. Let l = c - -8. Suppose a - l = -0*a. Is a a multiple of 3?
False
Let v be 1/(-2)*10*-1. Let j(a) = -a**3 + 11*a**2 + 3*a + 2. Let f be j(8). Does 19 divide f/v - (-15)/(-25)?
False
Suppose -y = -4 - 10. Suppose 2*s + 2 = y. Is 5 a factor of s?
False
Suppose 142 = 3*r - b, 7*b + 90 = 2*r + 4*b. Suppose -k - r = -4*k. Is k a multiple of 16?
True
Let n(w) = -w**2 + 16*w - 11. Is 13 a factor of n(11)?
False
Suppose -3*t - 81 = -0*t. Let x = 50 + t. Is 9 a factor of x?
False
Let i(u) = -u**3 - 10*u**2 + 11*u + 3. Let j be i(-11). Does 5 divide j/2 - (-31)/2?
False
Let k = -5 - -8. Is k a multiple of 2?
False
Suppose 8 = 3*w - 1. Let z = w + 6. Is z a multiple of 5?
False
Let h(a) be the second derivative of a**5/20 - 5*a**3/6 + 2*a**2 + 2*a. Suppose -28 - 6 = -3*x + 5*p, 5*x + 5 = -4*p. Does 8 divide h(x)?
True
Let h = 33 + 37. Is 18 a factor of h?
False
Suppose g - 8 = -g. Let o(p) = 5 - g*p**2 + 10*p + 3*p**2 + 3. Is 12 a factor of o(8)?
True
Suppose i - 3*d - 24 = 0, 3*i - 46 = -2*d + 37. Let l = -11 + i. Is 10 a factor of l?
False
Let r(a) = 7*a**2 - 1 + a + 2*a + 2. Let b be r(-2). Suppose -d + z + b = -3*z, 5*d - 3*z = 115. Is 18 a factor of d?
False
Let y be 1*27*2/6. Suppose 5*t - 34 + y = 0. Does 4 divide t?
False
Let t be (2/(-5))/(5/50). Let y = t + 6. Suppose 0 = -y*v - 3*h + 65, 3*v = -2*h - 5 + 95. Is 14 a factor of v?
True
Let z be (-30 - 1)/(-1)*1. Suppose z = 3*g + 7. Is 6 a factor of g?
False
Suppose 4*x - 33 = q - 6*q, 15 = 5*q - 5*x. Let o = -16 - -62. Suppose -2*z - 4*y + 0*y + o = 0, 2*z - q*y - 19 = 0. Is z a multiple of 15?
False
Suppose 4 = -n + 6. Suppose 2*f - 4 = n. Suppose -4*c + 2*r = 3*r - 67, c = f*r + 33. Does 9 divide c?
True
Let l(o) = 6 + 0 + 2 - o. Let p be l(5). Let z = 28 - p. Is 17 a factor of z?
False
Let i = 52 - -2. Is 8 a factor of i?
False
Suppose 0 = y - 4 - 0. Suppose 4*p - 6*p = -5*x, 2*x + 5*p - 29 = 0. Suppose y*c = x*c + 20. Is 5 a factor of c?
True
Does 3 divide -6 - (-76)/13 - (-184)/13?
False
Does 20 divide ((-712)/(-10))/((3/(-5))/(-3))?
False
Suppose -2*v - 8 = 3*q - 4*q, 0 = 4*v + 12. Let c(l) = 13*l - 2. Let i be c(8). Suppose -t = q*t - i. Is t a multiple of 12?
False
Suppose 5*r = 3*b + 27, -b - 10 + 3 = -r. Is (4/(-10))/(r/(-225)) a multiple of 15?
True
Let u = -8 - -7. Let o(p) = p**3 + p**2 + p + 1. Let b be o(u). Suppose 0 = 3*z + 3*i - 6*i - 150, b = -5*z + i + 258. Does 26 divide z?
True
Suppose -x + 2 + 4 = 0. Suppose 0 = -0*o + 2*o - x. Is o a multiple of 3?
True
Suppose i + 11 = -16. Let a be (-4)/(-6) - (-133)/3. Let b = a + i. Is b a multiple of 9?
True
Let d(r) = 7*r - 1. Let h be d(1). Does 10 divide (2/(-5))/(h/(-600))?
True
Let q = 4 + 0. Suppose -3*m - 6*z = -z - 27, 36 = q*m + 3*z. Is m - 9/6*-2 a multiple of 6?
True
Let g(a) = 3*a**2 + 11*a + 13. Is g(-8) a multiple of 30?
False
Let l = -4 - -3. Let g(i) = -2*i + 3*i - 3*i**2 + 4*i**2 + 1 - 13*i**3. Is 14 a factor of g(l)?
True
Suppose 5*a = 9*a + 220. Suppose -5*o - 2*t = 175, 140 = -7*o + 3*o - 4*t. Let x = o - a. Does 10 divide x?
True
Let s(y) = 5*y - 34. Does 3 divide s(10)?
False
Let f be 0/(-1 + -2 - -2). Suppose -5*r + 2*d - 89 + 337 = f, 0 = -4*r + 5*d + 212. Does 12 divide r?
True
Is ((-258)/(-18) + 0)/((-2)/(-6)) a multiple of 5?
False
Suppose -5*q + 2 = 2*t - 33, -3*t = 2*q - 25. Suppose 20 = 3*w + 5*h, 3*h - 11 = q*w - 33. Suppose 4 = -k + w*x, -k + 0*k + 26 = 5*x. Is k a multiple of 11?
True
Let d(a) = 5*a**2. Let g be d(1). Suppose p + 5*w = 92, -g*p + 3*w + 2*w + 310 = 0. Is 20 a factor of p?
False
Does 9 divide (90/9)/(1/(81/6))?
True
Let c(i) = -8*i**3 - i**2 + i + 1. Let j be c(-1). Suppose 5*b + 2 = j, 0 = 5*o - 4*b - 176. Is o a multiple of 18?
True
Let d(i) = -i**3 - i**2 - i + 94. Is d(0) a multiple of 12?
False
Let z(q) = 8*q**2 + 3*q - 1. Let n(p) = p**2 + p. Let b(m) = -6*n(m) + z(m). Let i be b(-2). Suppose i = w - 17. Is w a multiple of 15?
True
Let z = -11 - -12. Does 11 divide (27*z)/(1/2)?
False
Let x be 2/5 - (-43)/5. Suppose -55 = c - x. Let p = c + 70. Does 9 divide p?
False
Let g(r) = -r**2 + 11*r + 11. Let x be g(11). Suppose -3 = d - x. Is 4 a factor of d?
True
Let b(t) = 5*t - 4*t - 5 - 4*t - 2*t. Does 6 divide b(-4)?
False
Let x(m) = -m**3 - 15*m**2 - 2*m - 18. Let p be x(-14). Does 5 divide p/(-30) + 1/(-5)?
False
Let l be 0 + 9 + 2 + -4. Let u be (-4)/(-14) + 12/l. Does 12 divide (-2)/(-4)*u + 23?
True
Let f = -56 + 108. Let q = f - 10. Is 17 a factor of q?
False
Let s = -3 + 9. Suppose 3*b + 3 = s*g - 2*g, 4*g = 4*b + 4. Is 15 a factor of 1/(-1) + b + 17?
True
Let i(o) = o**3 + 7*o**2 - 10*o - 4. Is 8 a factor of i(-8)?
False
Suppose -4*l + 370 = -2*l. Is l a multiple of 27?
False
Let h(n) be the third derivative of n**6/180 - n**5/120 - n**4/24 + n**3/3 + n**2. Let j(g) be the first derivative of h(g). Is 14 a factor of j(3)?
True
Let m = 251 + -100. Is 10 a factor of m?
False
Let d be (-30)/(-4)*(-4)/(-6). Suppose 3*s + 5 = -l + 7*s, -5*l = d*s - 25. Suppose -2*h - 3 + 6 = l*n, 3*h = -n + 22. Does 4 divide h?
False
Let w be (2 - 4)/((-8)/12). Let u = w - 5. Does 10 divide (u + 5)*(-20)/(-6)?
True
Let i(h) = h**2 - 12*h + 10. Let y be i(11). Suppose 54 = 5*s + f, 0 = -0*s + 2*s - 2*f - 12. Let c = s - y. Is c a multiple of 6?
False
Let g(r) = -39*r + 12. Is 23 a factor of g(-2)?
False
Let d = -1 - -4. Suppose -4*c - 2 = -d*c. Is (c/2)/((-1)/15) a multiple of 6?
False
Suppose -3*y + 739 + 971 = 0. Suppose -y = -4*l - 70. Suppose -l = -5*u - 0*u. Does 12 divide u?
False
Let q = 9 + 39. Is 16 a factor of q?
True
Suppose h = -4*j - 4*h + 129, h - 69 = -2*j. Suppose 0*w + w - j = 0. Is w a multiple of 12?
True
Suppose -u - 13 = -2*a - 6*u, 2*u + 10 = 3*a. Suppose -w + 6*v - 3*v + 38 = 0