5*o**4/24 + o**3/3 + 4*o**2. Let n be q(-4). Let h = -4 - n. Is 5 a factor of h?
False
Suppose 0 = -4*q + 5 + 3. Suppose -r + 2 = -2, 4*c = q*r. Suppose 8 = c*b - 2. Is b a multiple of 5?
True
Suppose u = 5*x - 0*x + 14, u = -4*x - 4. Suppose 22 = 6*w - u*w. Is w a multiple of 11?
True
Suppose -6*p + 3*p = 5*b - 162, 2*p = -3*b + 97. Suppose -5*k = -10, 2*k = g + 4*k - b. Is 6 a factor of g?
False
Does 23 divide 2/4*-4 + 81?
False
Let s = 3 + -7. Let h(j) = j**3 + 3*j**2 + 6*j + 4. Let k be h(s). Does 2 divide (-8)/k - (-34)/9?
True
Is 8 a factor of 9/(-12) + 917/28?
True
Let g = 9 - 5. Let a = -240 - -365. Suppose g*p - 43 = -2*c + c, 0 = 5*c + 2*p - a. Does 10 divide c?
False
Let d(b) = b**2 + 12*b - 2. Let x(z) = -z. Let k be x(6). Let w be d(k). Let y = -18 - w. Does 17 divide y?
False
Let o = -1 - 2. Let p(s) = -s**3 - 2*s**2 - 2*s + 3. Is 9 a factor of p(o)?
True
Let a = 3 + -3. Suppose -5*t - 14 - 66 = a. Let s = 25 + t. Is 9 a factor of s?
True
Is (-379)/(-3) + -3 - 4/(-6) a multiple of 31?
True
Let m be 0*(-3)/(1 + -7). Suppose -3*c - 7 - 2 = 0, -5*v - 3*c + 1 = m. Is 2 a factor of v?
True
Let i(d) be the first derivative of -d**2 + 2. Let j be i(-2). Suppose 10 = -j*u + 5*u. Is 8 a factor of u?
False
Is (2/(-6))/(5 - 5012/1002) a multiple of 28?
False
Suppose -3*v - 2 + 245 = 0. Is 9 a factor of v?
True
Let q(r) = 24*r**3 - 3*r**2 + 2*r. Let j(i) = -23*i**3 + 4*i**2 - 3*i. Let b(d) = -3*j(d) - 4*q(d). Does 10 divide b(-1)?
False
Let r = 11 + -8. Suppose r + 0 = b. Suppose -o - 2*z = 2*o - 56, b*z = 2*o - 33. Is o a multiple of 14?
False
Let y(h) = 4*h - 3. Let l be y(2). Suppose 5*x - 5*c - 33 = -3*c, x + 15 = -l*c. Suppose s + 3*g - 19 = 2*g, -x*g - 25 = 0. Is s a multiple of 11?
False
Let t be (-369)/(-6) - 3/(-6). Suppose 4*f - t = -3*n, 4*n - 23 = 2*f + 23. Is n a multiple of 5?
False
Let y = 252 + -156. Is 9 a factor of y?
False
Does 8 divide (-4)/(2/1) + (-6 - -32)?
True
Suppose 0 = -0*d - 3*d + 6. Suppose 4 = -d*s, -c + 2*s + 2 = 7*s. Is c a multiple of 12?
True
Let o = 92 - 60. Suppose -q = -3*q + o. Does 16 divide q?
True
Let z(f) = f + 4. Let k be z(-7). Let w be (-178)/6 - 2/k. Let o = -19 - w. Does 10 divide o?
True
Let s(b) = -b**3 + 4*b**2 - b - 4. Let w = -3 + 6. Let y be s(w). Suppose 0 = y*c + 4*z - 40, -24 + 124 = 5*c + 5*z. Does 15 divide c?
False
Suppose 2*d + 9 = 5*a, -4*a + d + 2*d + 3 = 0. Suppose a = u - 0*u. Does 2 divide 14/u*(-3)/(-2)?
False
Suppose -123 = 5*j + 112. Let g = 125 + j. Suppose -2*q - q = -g. Is 14 a factor of q?
False
Let r = 18 - -20. Is r a multiple of 19?
True
Suppose 8*z - 3*z + n - 1442 = 0, -2*z - 3*n = -582. Is z a multiple of 12?
True
Let w(a) = a - 1. Let f be w(2). Is f/(-2) - 327/(-6) a multiple of 18?
True
Let w(r) = -4*r. Let m be w(-7). Let v = 46 - m. Is v a multiple of 7?
False
Suppose 4*k + 4 = 28. Suppose -12 = 3*i - k*i. Does 3 divide i?
False
Suppose -2*s = -2*v + 198, 2*s = -v + 99 + 3. Suppose 4*h = v + 40. Suppose -l + q = -23, 4*q = -3*l + h + 69. Is 14 a factor of l?
True
Let u(r) = 3*r**2 + 3*r - 42. Is 6 a factor of u(5)?
True
Let d = 50 + -3. Suppose -5*t + 2*n + 183 = 0, d - 9 = t + n. Is t a multiple of 10?
False
Let s = 2 + 2. Let u be (-4)/(136/46 - 3). Suppose -v - 2*c - c + 14 = 0, -5*v - s*c + u = 0. Is v a multiple of 10?
True
Suppose 73 = 2*q + 1. Let x(y) = y**2 + 7*y - 6. Let m be x(-8). Suppose -m*w - w = -q. Is w a multiple of 9?
False
Let h(n) = -n + 3. Does 4 divide h(-5)?
True
Let l(a) = -a**3 + 6*a**2 + 8*a - 6. Let s be l(7). Suppose -v + 2 = -s. Is v even?
False
Let k(q) = 2*q**2 - 3. Let a be k(3). Suppose -j + a = -7. Is j a multiple of 9?
False
Suppose -5*v = 3*b - 304, 5*b + 10 + 34 = v. Does 24 divide v + 0*2/(-8)?
False
Suppose 2*b - 84 = -b. Suppose 0*u - 2*u + 24 = 2*x, 5*x = -3*u + b. Does 13 divide u?
False
Suppose -4*k + 24 = -128. Does 15 divide k?
False
Suppose 2*i + 220 = 86. Let v = i + 97. Does 16 divide v?
False
Let b = -20 + -3. Let d = b + 39. Does 8 divide d?
True
Is 16 a factor of -2 + ((-8)/(-4) - 3)*-98?
True
Let n(d) = -5*d - 6. Is 17 a factor of n(-12)?
False
Suppose 0 = 2*w + y + 5, 2*y = -0*w - 2*w - 10. Suppose -9 = 3*u, -v + 83 = -w*v + u. Let j = v - 28. Is j a multiple of 20?
False
Let k(o) = 3*o**2 + o. Suppose 20 = -4*l, 4*d + l + 13 = -4*l. Is k(d) a multiple of 10?
True
Let w(a) = -a**2 - 17*a - 23. Does 3 divide w(-14)?
False
Is 10 a factor of 65 + -5 - (1 + 0)?
False
Let v(i) = 16*i + 6. Does 11 divide v(2)?
False
Let b(h) = -3*h**3 + 3*h - 3. Let u be b(2). Is (-6)/u - (-54)/7 a multiple of 4?
True
Let h = -32 + 57. Suppose 0 = 3*d + 3*b - 33, -d - 28 = -6*d + 4*b. Let f = h - d. Is f a multiple of 10?
False
Suppose w = -3*w + 64. Let p = w - -5. Is p a multiple of 9?
False
Let i be 94/5*10/(-2). Let y be ((2 + i)/(-2))/1. Let h = y + -24. Is 22 a factor of h?
True
Suppose 19 = -8*f + 59. Let n(k) = k**3 - 4*k + 3. Let r(j) = -j**2 - j. Let g(v) = -n(v) - 4*r(v). Is 12 a factor of g(f)?
True
Suppose -2*b + 6*b - 204 = 0. Is b a multiple of 17?
True
Suppose 2*f = -3*j + 34 + 20, 0 = 5*j - 5*f - 65. Is 8 a factor of j?
True
Suppose -z + 26 = z. Suppose -l + 2 = -z. Does 15 divide (l + (0 - 0))/1?
True
Suppose 45 = -0*a + 5*a. Is a a multiple of 3?
True
Let z(d) = -d**3 - d**2 + 6*d - 4. Let l be z(-5). Suppose -l = -5*p + 64. Does 9 divide p?
False
Let d(m) be the first derivative of -m**3/3 + 11*m**2/2 + 4*m - 2. Is d(11) even?
True
Let o(z) = 6*z**3 - 6*z**2 + 9*z - 3. Is 22 a factor of o(3)?
True
Let v be 0 + -10*1/(-2). Suppose 4*l + 196 = -v*d + 5*l, -152 = 4*d + 4*l. Is 6 a factor of (1 + d/21)*-7?
True
Let u = -4 - -6. Let l = u - 0. Is l*1/2 - -6 a multiple of 7?
True
Does 18 divide (-3)/(-9) + (-422)/(-3)?
False
Let m be (-192)/(-18)*(-9)/(-2). Suppose 76 = -4*z - m. Let w = z - -60. Is w a multiple of 10?
False
Let w = 31 + -1. Let t = 62 - w. Does 7 divide t?
False
Let w = -194 - -273. Does 6 divide w?
False
Let v = -14 - -22. Does 6 divide 118/4 + v/(-16)?
False
Suppose m = -m + 108. Is m a multiple of 18?
True
Let c(a) = a**2 + 1. Let u be c(2). Let r = u - 0. Is r even?
False
Suppose 20*z - 23*z + 63 = 0. Does 5 divide z?
False
Let c = -6 - -8. Suppose 2*m = 2*w - 52, -2*w + 59 = c*w + 5*m. Is w a multiple of 21?
True
Let l = 26 + -1. Suppose -l = 5*h - 85. Is h a multiple of 8?
False
Let b(o) = -o. Let a be (6/1)/((-2)/2). Does 3 divide b(a)?
True
Suppose -5*u + 6*t - t = -675, 0 = -u + 3*t + 129. Suppose 3*k = 3*q + u, q + q = 6. Let n = k - 35. Is 5 a factor of n?
False
Let p(l) = l**3 + 4*l**2 - 3*l. Suppose 0*b - b - 4 = 0. Let m be p(b). Suppose 0 = s - m. Is s a multiple of 12?
True
Let d be (10/(-4))/1*-2. Suppose 4 + 3 = d*x - m, -5 = -3*x + m. Suppose -3*s + x = -56. Does 10 divide s?
False
Does 40 divide (4 - 0)*-8*10/(-8)?
True
Let i be (-7)/(((-10)/4)/(-5)). Is 4/i - 405/(-21) a multiple of 19?
True
Let q be ((-72)/10)/(6/(-20)). Let m = q + -15. Is 3/m*0 + 4 even?
True
Let d = 94 + -52. Is 21 a factor of d?
True
Suppose 0 = 2*a - 7*a + 15. Suppose 0 = 6*o - 2*o + 5*f - 24, 5*o = -a*f + 17. Does 2 divide -4 - -7 - (o - 4)?
True
Let b = 434 + 281. Suppose -5*m + b = -0*m. Suppose 32 = -3*z + m. Does 13 divide z?
False
Suppose -21 = -4*t + t. Let f = t - 4. Suppose 0 = j + f*j - 36. Does 6 divide j?
False
Let d(a) = a**2 + 2*a. Let l be d(-3). Suppose -h = l*w - 5*w, h - w - 1 = 0. Is (3/6)/(h/92) a multiple of 10?
False
Suppose -2*n = 4*l - 450, -2*l - n = n - 220. Suppose -5*v - 7 = -32. Suppose -v*y + 0*y + 5*k = -l, y = 5*k + 19. Does 12 divide y?
True
Suppose 427 - 79 = 4*l. Does 16 divide l?
False
Let w = -9 + 21. Let m = w + -6. Is m even?
True
Let z(k) = -3*k. Does 18 divide z(-6)?
True
Let t(o) = -o**2 - 8*o + 9. Is t(-7) a multiple of 4?
True
Suppose -2*r - 228 = 2*c, -r - r + 4*c - 252 = 0. Let d = r + 178. Suppose -3*s = -0*s - d. Is s a multiple of 8?
False
Let g(y) be the first derivative of 13*y**2/2 + 5. Is 12 a factor of g(2)?
False
Let u be (-4)/(-16) - 622/(-8). Suppose -4*k + 58 = -u. Is k a multiple of 17?
True
Suppose 0 = z - 5*z + 276. Suppose x + 2*v - 38 = -x, -4*x + z = -3*v. Is x a multiple of 4?
False
Suppose 3*r - r = -56. Let h = r - -38. Does 5 divide h?
True
Let d be 1 + 0 + (-15)/(-3). Let a(m) = 3*m**3 + 5*m**2 + 19*m - 23. Let n(u) = u**3 + 3*u**2