2 divide m?
False
Let m(p) be the first derivative of -2*p + 1 - 8/3*p**3 - 2*p**2 - 1/4*p**4. Is 11 a factor of m(-8)?
False
Let m(a) = 6*a**2 + 30*a - 30. Is 31 a factor of m(-11)?
False
Suppose 2*m = -0*f + 5*f - 44, -5*f - 2*m + 56 = 0. Suppose 16 = f*k - 6*k. Does 4 divide 42/k + 9/6?
True
Suppose 8*b + 15 = d + 4*b, -3*d + 4*b = -53. Let u = -13 + d. Suppose -u = -2*k - 0*k. Does 2 divide k?
False
Let c(n) = -n**2 + 2*n - 70. Let m be c(0). Let p = 132 + m. Does 31 divide p?
True
Let x(i) = 5*i - 3. Is x(9) a multiple of 14?
True
Suppose 0 = 4*g - 4*w - 448, -w - 37 = -2*g + 186. Suppose 2*t - 2*r - 3*r + 33 = 0, 5*t + g = 3*r. Is 6 a factor of (t/(-30))/(2/30)?
True
Let b(l) be the first derivative of l**4/4 + 4*l**3/3 - 3*l**2/2 - 2*l + 20. Does 4 divide b(3)?
True
Suppose -4*c - 73 = y - 557, 933 = 2*y + c. Is 9 a factor of y?
False
Suppose 4*h - 1316 = 344. Suppose -5*x + 5*c + h = 0, x = 4*c + 42 + 26. Is 11 a factor of x?
True
Let d be (-1318)/(-10) + 3/15. Suppose d = 17*n - 16*n. Is n a multiple of 22?
True
Let c(m) be the third derivative of -11*m**4/24 + m**3/6 + m**2. Is c(-11) a multiple of 23?
False
Let k(v) = v**3 - 3*v**2 + 5*v - 4. Let f be k(2). Let t be (-3)/f - (-585)/18. Suppose -5*d = -g - 82, g = -3*d + 5*d - t. Does 17 divide d?
True
Suppose 10 = 5*o - 5. Suppose 4*h + 424 = 4*s, 100 = o*s - 2*s + 2*h. Suppose 5*m - s = m. Does 13 divide m?
True
Is (-3)/(-3) - (-12089)/(-3 + 10) a multiple of 32?
True
Suppose 16*q = 1468 + 3268. Is q a multiple of 9?
False
Let p(x) = 33*x**2 + 2*x + 8. Is 19 a factor of p(-2)?
False
Let z(s) be the second derivative of -s**4/8 - 3*s**3/2 - 2*s**2 - 2*s. Let t(i) be the first derivative of z(i). Does 15 divide t(-8)?
True
Is ((-177)/(-236))/((-1)/(-604)) a multiple of 15?
False
Suppose -264 = 2*d - 5*p - 2359, -2*d - 4*p + 2104 = 0. Does 66 divide d?
False
Suppose -2*n + 84 = 2*m, -n - 19 = 3*m - 61. Suppose -2*g = 4*g - n. Suppose -1 + g = z. Is z a multiple of 3?
True
Is 18 a factor of (-4)/2*((-7)/(-1) - 97)?
True
Suppose 26*b - 20 = 30*b. Let a(d) = -10*d + 7. Does 19 divide a(b)?
True
Let u(d) = 3*d**3 + d**2 - 3*d + 1. Let a be u(1). Suppose 8 = a*g - 4. Suppose p - 41 = -4*n, 2*n + p = g*n - 39. Is n a multiple of 10?
True
Is 7 a factor of (4 - -5) + -7 - -761?
True
Is 26 a factor of 1 + (150 - 2) + (4 - 4)?
False
Suppose 6*r - 103 + 1 = 0. Let m = 8 + 5. Let i = r + m. Is 15 a factor of i?
True
Suppose -5*t - 3*u + 297 = -3*t, -2*t = -2*u - 322. Suppose 5*y - t = -31. Is 3 a factor of y?
False
Suppose -2*o + 4*o - 50 = 0. Let c = o - 20. Let h = 81 - c. Is h a multiple of 12?
False
Let x(f) = -f**3 + f**2 + f + 1927. Is 42 a factor of x(0)?
False
Let o = -411 - -491. Is o a multiple of 16?
True
Suppose -2*r = -5 - 5, 92 = 2*l + 2*r. Suppose 0 = -3*w + l + 121. Does 9 divide w?
True
Let f = 13 - 8. Suppose -4*m - f*q = -415, -2*q = -4*m + q + 455. Is m a multiple of 10?
True
Let v = 59 - -153. Let i = v - 147. Does 14 divide i?
False
Let p be (-4)/6*(-15)/2. Let o(f) = 8*f + 12. Let v be o(p). Suppose z + z = v. Does 7 divide z?
False
Let t(p) = -p + 13. Let g be t(10). Is (-1 - -15)*(-4)/(-6)*g a multiple of 7?
True
Does 7 divide (128/(-10))/(6276/900 + -7)?
False
Let x be (-1)/((-2 + 1)/47). Let o = x - 25. Suppose -2*r + o + 14 = 0. Does 6 divide r?
True
Let q(p) = p**2 - 6*p + 4. Let b be q(5). Let n(c) be the first derivative of -15*c**2/2 - 3. Is n(b) a multiple of 15?
True
Suppose 2*k - 15 = -3*k. Suppose -6*z + z - 92 = -k*t, t + 3*z = 26. Is 16 a factor of t?
False
Let x(d) = -d**3 + 6*d**2 - 6*d + 7. Let i be x(5). Let y(f) = -2*f**2 - 12*f + 13*f + 3*f**i + 2. Is y(6) a multiple of 22?
True
Does 11 divide 231/3*10/35?
True
Suppose 5*z = 3*m - 3 + 6, 15 = z + 3*m. Suppose -y + p + 22 = -3*p, -4*p = -z*y + 26. Suppose -5*u + 10*u + 2*v = 47, -y*v - 19 = -u. Is 11 a factor of u?
True
Let w(d) = d**2 + 8*d + 11. Let i(s) = -s**3 - 5*s**2 - 3*s + 2. Let x be i(-3). Let k be w(x). Let z = k + 8. Does 3 divide z?
True
Let k = 741 - -1010. Does 13 divide k?
False
Does 44 divide (-5 + (5 - 12))*(-2 + -53)?
True
Let i be (8/(-6))/((-2)/6) - -90. Let u = 138 - i. Is u a multiple of 4?
True
Let z be (4 - 3)*313 - -2. Let n = -180 + z. Suppose -5*o + n = b, -2*b - 58 = -5*o + 62. Is o a multiple of 13?
True
Let o be 1*(-2)/(4/2). Let p be (o/3)/((-2)/36). Suppose 5*f - p*f = -21. Is 16 a factor of f?
False
Let k(w) = w**2 - 2*w - 4. Let m = 109 + -76. Suppose 2 = 7*d - m. Does 3 divide k(d)?
False
Let j(d) = 2*d**2 - d - 66. Is j(10) a multiple of 22?
False
Suppose 0 = -3*h - 3*n + 18, -h - n + 3*n = 6. Suppose 5*d - 4*t - 828 = 0, 3*t - 348 = -h*d - t. Is 24 a factor of d?
True
Let x = 509 - 444. Does 3 divide x?
False
Let b = 284 + -64. Let s = -151 + b. Does 7 divide s?
False
Suppose -4*p + 67 = -85. Suppose -4*s + 238 - p = 4*h, 5*s + 86 = 2*h. Suppose 2*j + 5*c - 31 = 0, -3*c - 147 = -3*j - h. Is 14 a factor of j?
True
Let b = -8 - -5. Let y(p) = -p**2 + 3. Let z be y(b). Is 20 a factor of (0 - 2)*111/z?
False
Let k(a) = 26*a**2 + 7*a - 4. Let g be k(-3). Let q = g - 82. Is 32 a factor of q?
False
Suppose 2*u = r + 198, 4*u - 3*r - 155 - 245 = 0. Does 7 divide u?
False
Let u(g) = -g**3 - 3*g**2 + 5*g + 1. Let t be u(-5). Suppose 25*o - t*o = -14. Does 14 divide o?
True
Let g(l) = l - 10. Let a be g(8). Suppose -3*u = -5*j + 18 + 11, -j - 3*u = 5. Does 11 divide 23 - (4/j - a)?
False
Suppose 14*s + 2 = 15*s. Suppose -6 = -m + u + 51, -s*m = -u - 117. Is 12 a factor of m?
True
Suppose 2*w + 58 = q - 0*q, 0 = w + 1. Is q a multiple of 8?
True
Let y(o) = 2*o**3 - 2*o**2 + 3*o - 1. Let z = 19 - 16. Let q = z - 1. Is y(q) a multiple of 13?
True
Let l be (-1 + 3)/((-16)/(-40)). Suppose -3*y = -4*p - l, 0 = 2*p + p - 5*y + 12. Suppose p = -x, -3*m = -0*m + 3*x - 27. Is 9 a factor of m?
False
Let d = -14 + 10. Let b be (-2)/4 - 594/d. Suppose -b = -o - 3*o - 2*m, 2*o - 86 = 2*m. Does 13 divide o?
True
Suppose -11*x = -16*x + 90. Is 9 a factor of (x/(-4))/3*1098/(-27)?
False
Suppose 74*p - 16776 = -3*t + 71*p, 4*p + 5612 = t. Does 17 divide t?
False
Suppose -2*a - 4*n = -2 - 0, 5*n + 20 = 2*a. Suppose a*v = 5 + 10. Does 2 divide v?
False
Suppose -26 = 3*d - d + 4*f, -d - 4*f - 23 = 0. Let c(k) = k**2 + 4*k + 3. Let r be c(d). Let i = r - -33. Is i a multiple of 11?
True
Is (7 + (-5 - 1))*138 a multiple of 15?
False
Let u be (-48)/(-20) - 6/15. Suppose 13 = l + u*s - 2, 0 = -3*l - 5*s + 40. Suppose -z - 6 = -1, l*d - 4*z = 220. Does 20 divide d?
True
Let n(z) = z**2 + 6*z + 12. Let y be ((-8)/(-6))/((-2)/12). Is 14 a factor of n(y)?
True
Suppose -t = -w + 118, 0 = 4*w - 2*t - 3*t - 471. Does 21 divide w?
False
Let b(g) = 2*g**2 + g. Let z(u) be the third derivative of u**4/24 - 5*u**3/3 - 4*u**2. Let a be z(7). Is 5 a factor of b(a)?
True
Let j be (0 + 0)*1/1. Suppose j = -5*k - 0*k + 160. Is 16 a factor of k?
True
Suppose -2*v - 35 = -7*v. Suppose 1200 = v*j + 3*j. Does 20 divide j?
True
Suppose 4*p = o - 101, 3*o + 11*p - 12*p = 314. Is o a multiple of 5?
True
Suppose 0*i + 89 = k + 4*i, 5*k - 424 = i. Does 34 divide k/(-4 + 9/2)?
True
Let p = 177 + 147. Is p a multiple of 54?
True
Suppose -31*k + 7 = -30*k. Does 7 divide k?
True
Let d(u) = -160*u + 97. Is 48 a factor of d(-3)?
False
Let y(b) = -b - 37. Let u be y(0). Let i = -56 - u. Let x = 7 - i. Does 4 divide x?
False
Suppose 3*k - 4*l = 25, -3*k + l + 19 = 3*l. Let n(z) = -z + 2. Let m be n(k). Does 7 divide 70/3*(-6)/m?
True
Suppose -3*i - 2*c = -0*i - 168, 5*i - 2*c = 296. Is i a multiple of 5?
False
Let w(x) = -x - 6. Let p be w(-8). Suppose -4*l + 8*l = p*s - 152, 10 = -5*s. Is -1 + -1 - (l - -6) a multiple of 11?
False
Let i be 216/52 - 6/39. Suppose -o + 30 = -6*o + 2*y, 0 = -5*o + i*y - 20. Is (4 + o)/(4/(-62)) a multiple of 8?
False
Let t(v) = -69*v - 271. Does 7 divide t(-6)?
False
Let c(z) = z**3 - 2*z**2 + 2*z - 2. Let m be c(2). Let w be (m + 2)/(2/32). Suppose o - 25 = -2*t, -47 = -4*o + 3*t + w. Is o a multiple of 27?
True
Suppose 0 = 4*t + 176 + 52. Is 2 a factor of t/(-21) + 4/14?
False
Suppose -24 - 6 = 5*o. Does 15 divide o/8 + 0 - 19575/(-100)?
True
Let y = 119 + -83. Does 3 divide y?
True
Suppose 18*q + 41877 = 65*q. Is q a multiple of 11?
True
Let z = 251 + -147. Is 17 a factor of z?
False
Let w = 105