3 - 2*o**2 + 2*o + 4. Let p(q) = 4*q**2 - 2*q + 1. Let u be p(1). Is m(u) a multiple of 23?
True
Let b be 150/(-10) - 2/(-2). Let u = -4 - b. Is 10 a factor of u?
True
Let o = 30 - 25. Let y be -2 + 1 + -2 + 3. Suppose y = -t + o*t - 56. Is 14 a factor of t?
True
Let r(y) = 6*y**2 - 3*y - 12. Is 48 a factor of r(-4)?
True
Let y = -90 - -128. Is y a multiple of 19?
True
Is (112/40)/(1/15) a multiple of 14?
True
Let z be 3*1/(-3)*-8. Let b(c) be the third derivative of c**5/60 - c**4/3 + 3*c**3/2 - 4*c**2. Does 9 divide b(z)?
True
Suppose 0 = 3*p - 4*w - 110, 0*p + 2*p = -2*w + 78. Is 10 a factor of p?
False
Suppose -2*n - t + 4 = -12, -4*n - t = -34. Does 19 divide (48/(-5))/(n/(-30))?
False
Let s = -7 - -22. Does 3 divide s?
True
Is 21 a factor of (-178)/4*(-13 - -11)?
False
Let j = 9 + -6. Suppose 5*d + 2*z - 143 = 0, -j*d + 4*z + 33 = -2*d. Does 12 divide d?
False
Suppose 10 - 34 = -f. Is f a multiple of 8?
True
Let z = 13 - 7. Suppose -z*l = -l - 95. Is l a multiple of 19?
True
Let m(z) = z**3 + 8*z**2 + 8*z + 7. Let t be m(-7). Suppose 4*g - 32 = -t*g. Does 8 divide g?
True
Suppose -2*u - 2 = 2*q, 4*u + q + 0*q = -16. Let o(x) = x**2 - 2*x - 5. Let d be o(u). Suppose d = j + 4. Is j a multiple of 13?
True
Let m = 29 - -24. Is 24 a factor of m?
False
Let x(t) = -t**2 - 1 - 2 - 5*t + 1. Let n be x(-2). Suppose 51 = n*z - 25. Is 19 a factor of z?
True
Suppose 42 = 4*t - 2*t + 4*n, 4*t = -5*n + 81. Is t a multiple of 19?
True
Suppose 3*u - 30 = -2*u. Let h be (4/u)/(2/21). Does 15 divide (h/3)/(1/12)?
False
Suppose -3*a + 133 = -74. Is a a multiple of 23?
True
Suppose -73 = 2*u + w, -3*u + 4*w = -59 + 163. Let m = u + 74. Is m a multiple of 8?
False
Let f(p) be the second derivative of -p**3/2 + p**2 - 9*p. Does 11 divide f(-10)?
False
Suppose -1 = -4*k + 327. Does 18 divide k?
False
Let n(u) = 27*u - 6. Does 7 divide n(1)?
True
Let n be (5/(-3))/(5/45). Let w be (-120)/(-4)*(-42)/n. Suppose -u = 2*u - w. Does 14 divide u?
True
Suppose 4 = r + r. Does 14 divide 27/18 - (-27)/r?
False
Suppose 32*d - 465 = 29*d. Is 27 a factor of d?
False
Suppose 5*u + 34 = x, -5*u + 3*x - 27 = 5. Let q be -1*(u - -1)*5. Let h = q + -17. Does 13 divide h?
True
Let f(r) = -r**2 - 6*r + 4. Let t be f(-6). Suppose -3*q - 5*p - 3 - 5 = 0, -2*q - t = 3*p. Does 3 divide q?
False
Suppose -120 = -5*w + 5*y, 96 = 2*w + 2*w + 2*y. Does 12 divide w?
True
Suppose 2*y - y = -5*b + 60, 2*b = 5*y - 246. Let i = -19 + y. Does 14 divide i?
False
Let t = -2 - -5. Suppose -w = -4*w + 4*c + 106, 4*w - t*c = 146. Is 19 a factor of w?
True
Let b = -13 + 17. Suppose -b*j + 102 = 5*s, 2*s + 2*s - j - 69 = 0. Does 4 divide s?
False
Let q(a) = -2*a**3 - 2*a - 6. Does 13 divide q(-4)?
True
Suppose 2*a + 2*a = 8, 26 = -5*k + 3*a. Let o(q) = q**2 - 5*q + 1. Does 15 divide o(k)?
False
Let c = 0 + 18. Is c a multiple of 6?
True
Suppose -3*u - 3*q = -138, 9*u - 4*u - 5*q = 180. Suppose -4*k + u - 5 = 0. Does 10 divide (k/(-2))/(6/(-16))?
False
Let l(g) = -20*g. Does 15 divide l(-3)?
True
Suppose 10 = -2*x, -x = -0*o + 5*o - 355. Is 6 a factor of o?
True
Let x = -5 + 8. Suppose x*d - 4*d = -5*u - 16, -5 = -u. Is d a multiple of 21?
False
Suppose 5*d + 2*o = d + 202, -3*o = 3*d - 150. Suppose -3*j + 14 + 32 = -2*b, -3*j = 3*b - d. Does 16 divide j?
True
Suppose -4*t + 247 - 23 = 0. Is 8 a factor of t?
True
Suppose -3*w + 1 = 3*y - 8, 2*y - 21 = -5*w. Suppose w*r - 10 = -0*r. Suppose -2*o - 3*z = -13 - 29, -4 = -r*z. Does 18 divide o?
True
Let y = 1 + 5. Does 2 divide y?
True
Suppose 0 = -2*r - 4*r + 144. Is r a multiple of 17?
False
Let o = 56 - 20. Does 9 divide o?
True
Suppose 0*i = i - 5. Suppose -2 = 5*h + 5*j + 3, -i*h - 2*j + 1 = 0. Does 4 divide (-2 + 0)*(-6)/h?
True
Suppose 3*q + 5*b - 280 = 0, 4*q - 3*b = -2*b + 358. Is 15 a factor of q?
True
Suppose b + p = 4*p + 10, -b + 8 = -5*p. Is 4 a factor of b?
False
Let n = -77 + 253. Is 44 a factor of n?
True
Let l(w) be the third derivative of -w**5/60 - 5*w**4/12 - 4*w**3/3 - 2*w**2. Let c be l(-7). Suppose c + 2 = z. Is 15 a factor of z?
True
Suppose 32 = 4*x + 2*k, 0*x + 2*k + 48 = 4*x. Let q(p) = -p. Let w be q(-8). Let n = w + x. Is n a multiple of 9?
True
Suppose 11 = -2*f + 3*d, -f = 4*f + 2*d - 20. Suppose 5*n = f*w + 3*w - 100, 0 = 5*w + n - 88. Suppose 0 = 5*b - 5, 4*s + 2*b - w = -0*b. Is 4 a factor of s?
True
Suppose -48 = -3*g + 138. Is g a multiple of 13?
False
Let r = -578 - -820. Is 13 a factor of r?
False
Let v = -197 - -335. Does 23 divide v?
True
Let s(w) = -2*w. Let c(u) = -2*u + u + 2*u. Let k(m) = 5*c(m) + 3*s(m). Is k(-8) a multiple of 4?
True
Suppose 4*v - 3*v - 69 = -2*f, -5*f = -25. Suppose -5*j + 76 = -v. Is j a multiple of 17?
False
Let f(c) = c**3 + 18*c**2 + 24*c + 15. Is 11 a factor of f(-16)?
True
Let k = -189 + 365. Does 48 divide k?
False
Let r(x) = -3*x - 2*x - 2*x - 4*x. Is 11 a factor of r(-1)?
True
Let c = -3 + 6. Suppose 0 = -2*k - 3*h + 52, 5*h + 82 = c*k + k. Does 6 divide k?
False
Suppose d + 3*a - 30 = 0, -4*d + 2*d + 24 = -3*a. Does 9 divide d?
True
Is 11 a factor of -11*-1*(-9)/(-1)?
True
Let a(u) = -2*u. Let p be a(-1). Suppose 0 = -i - p*i + 69. Is i a multiple of 23?
True
Let l(u) = 2*u**3 - 8*u**2 + 5*u - 1. Let v be l(5). Suppose -14 + v = 2*k. Does 10 divide k?
True
Let q(i) = -i**3 + 11*i**2 - 9*i - 10. Does 13 divide q(9)?
False
Let i be ((-12)/9)/((-6)/9). Suppose -26 + 0 = -i*q. Suppose -t - q = -2*t. Is t a multiple of 5?
False
Suppose 3*q + 269 = 5*g, q = 5*g + 5*q - 248. Is 15 a factor of g?
False
Suppose 5*k - 315 = -2*k. Is k a multiple of 18?
False
Let y(z) be the second derivative of -2*z**3/3 - 10*z**2 - z. Does 4 divide y(-8)?
True
Let s(w) = -2*w + 2 + 4*w**2 - 4*w - 5*w**2. Let k be s(-7). Let u(i) = i**3 + 5*i**2 + 6. Is u(k) a multiple of 4?
False
Let p = 73 + -33. Does 20 divide p?
True
Suppose 0 = -w + r + 3, -9 = -2*w - w + 2*r. Suppose -y + w = -4. Is 4 a factor of y?
False
Suppose 2*u - 1 + 3 = -2*b, -10 = 2*b. Suppose u*t = 3*f - 35, 5*f - t = -0*t + 30. Is f a multiple of 4?
False
Suppose 5*u = 2*c + 681, 2*c + 3*c - 255 = -2*u. Suppose 2*m - 4*m + 5*p = -u, 0 = 5*m + p - 270. Let r = m - 29. Is 13 a factor of r?
True
Let a(o) = -8*o - 3. Let d be a(-5). Let g = -25 + d. Suppose 0 = -i + g + 10. Is i a multiple of 9?
False
Suppose -377 = -4*d + 143. Is 21 a factor of d?
False
Let j = -38 + 85. Suppose 142 - 33 = -5*d - 4*g, 0 = 3*d - 5*g + 95. Let h = j + d. Is h a multiple of 7?
False
Suppose 42 = 5*p + 3*c, -3*p + 4*c - 2*c = -29. Let f(m) = -m**3 + 9*m**2 + 3*m + 1. Is f(p) a multiple of 14?
True
Let r = 43 - 20. Is 3 a factor of r?
False
Suppose -2*h + 25 + 15 = 0. Is h a multiple of 13?
False
Let j(y) = -7*y**3 + 2*y**2 + 4*y + 2. Does 15 divide j(-2)?
False
Let u(v) = -2*v + 1. Let z be u(-1). Let j = z + 1. Suppose 3*n - 9 = 0, -4*n = -j*q - 2*n + 54. Is 6 a factor of q?
False
Let v = 11 + -11. Suppose 0 = 3*p + 3*j - 15, 5*p - 41 = -v*p - j. Is p a multiple of 3?
True
Suppose 0 = 2*n - 0 - 4. Suppose 4*a + 3*i = 147, -2*a = -4*a + n*i + 84. Is 14 a factor of a?
False
Does 9 divide 18/27 + 106/(-6)*-2?
True
Let p be 6/(18/4 - 3). Suppose 6 = -a + p*a. Does 2 divide a?
True
Let b be (-1 - -3) + 0 + -1. Let g(j) = 16*j. Is g(b) a multiple of 8?
True
Suppose -15 = -2*c - 3*c. Suppose r - 4*r + 80 = 5*u, -34 = -c*u + r. Suppose 4*l - 56 = 3*n - 19, 3*n = -l + u. Is 10 a factor of l?
True
Let c(q) = -8*q + 0*q**2 + 4 + 0*q + 3*q**2 - q**2. Is c(5) a multiple of 7?
True
Let m = 2 + -2. Suppose -6*a + 4*a + 96 = m. Suppose -4*c + a + 24 = 0. Is c a multiple of 14?
False
Suppose -2*t = -5*t + 24. Suppose -3*y = -t*y. Suppose y = -7*u + 3*u + 12. Does 3 divide u?
True
Is 9 a factor of (3 + 6/(-3))*48?
False
Let y(q) = -22*q - 4. Let v(i) = -i - 1. Let p(k) = -6*v(k) + y(k). Does 12 divide p(-1)?
False
Let p(l) = 2*l**2 + l - 2. Let a be 2/5*(0 + 25). Suppose -9*i = -4*i - a. Is 4 a factor of p(i)?
True
Suppose -v - b = -2, 2*v + 3*b - 5*b = 4. Let z = 50 + v. Does 18 divide z?
False
Suppose j - 9 = -2*j. Suppose -j*v = -v + 2*f - 30, -4*v + 4*f = -60. Does 7 divide v?
False
Let c(w) = 27*w - 5. Is 18 a factor of c(2)?
False
Let n = 10 + 12. Does 5 divide n?
False
Let p = 19 - 154. Let b = -65 - p. Does 22 divide b?
False
Let p(d) = 2*d. Let w be p(12). Suppose 5*j +