se
Suppose 0 = -15*m + 11*m + 5*l + 4022, -2*m + 4*l + 2014 = 0. Is 22 a factor of m?
False
Let c(m) = -21*m + 2. Let f(y) = y + 5. Let o(j) = j**3 - 15*j**2 - 16*j - 6. Let p be o(16). Let z be f(p). Does 6 divide c(z)?
False
Suppose 2*d = -0*d + 2. Suppose -d = w, -4*w = 6*j - j - 6. Suppose -5*k + 4*a + 15 = 0, 4*a - j*a = k + 3. Does 7 divide k?
True
Let d(a) = -a**3 + 24*a**2 - a + 11. Let v be d(24). Let u = v + 48. Is 4 a factor of u?
False
Is -2 - -4 - (-222 - 9) a multiple of 10?
False
Let i = -11 + 18. Let x(u) = 2*u**3 - 13*u**2 + 4*u - 3. Let c be x(i). Suppose g - c = -9. Is 16 a factor of g?
False
Suppose -3*g + 2*r = -315, 2*r - 7 = -1. Let d = -69 + g. Is 6 a factor of d?
False
Let k = 308 + 294. Does 5 divide k?
False
Suppose -2*c - 5*q - 59 = 0, 3*c + q = 3*q - 117. Let p be 14/(-16)*((-56)/(-8) - 15). Is (-4)/14 - c/p a multiple of 2?
False
Let y be 51/3 - (-2 - -1). Let j be (-14)/(-63) + (-436)/y. Let f = j - -52. Does 15 divide f?
False
Let p(n) = n**2 - 12*n - 133. Does 4 divide p(-13)?
True
Does 108 divide (1 - 27/9)*-1177?
False
Let v = -7 + 8. Let d = 4 - v. Suppose 4*m - 37 = -d*z, 5*z = m + z + 5. Is m a multiple of 3?
False
Let h(o) = -o**2 + 6*o + 10. Suppose -6*g + 2*g - 14 = -2*d, -21 = -3*d + g. Let k be h(d). Suppose v = k*v - 150. Is 15 a factor of v?
True
Let z(a) = 22*a + 646. Is z(-13) a multiple of 13?
False
Let q(k) = -1 - k**2 + k**3 + 153*k - 152*k - 2*k**3. Let n(d) = 14*d**3 - 2*d**2 + 2*d - 1. Let o(r) = -n(r) + 2*q(r). Is 5 a factor of o(-1)?
True
Let m = 3195 - 2214. Is 10 a factor of m?
False
Let c be (-4)/(-5)*310/4. Suppose 3*l = -5 + c. Is 17 a factor of l?
False
Is 6582/15 - (-64)/(-80) a multiple of 23?
False
Suppose -143 - 5 = -4*q. Suppose -q = 4*r - 77. Is r even?
True
Suppose -68*p + 73*p = 135. Does 9 divide p?
True
Let o = 8 - 2. Let k(w) be the second derivative of w**4/4 - 2*w**3/3 - 3*w**2 - 37*w. Does 28 divide k(o)?
False
Suppose 4*d = -341 + 1501. Is 58 a factor of d?
True
Let d = 0 - -4. Suppose b + d = 2*b, -b - 496 = -u. Is (-2)/(-12) + u/24 a multiple of 15?
False
Suppose -2*g + 4*w + 79 - 9 = 0, 2*g - 73 = 3*w. Suppose 213 = f - 4*f + 3*k, -f - 5*k = g. Does 21 divide (-1 - f) + (-2 - 0)?
True
Suppose -5*l + g - 23 + 8 = 0, 5*g = 3*l + 31. Is 6 a factor of (-2)/4*(l - 16)?
False
Let j(h) = -h**3 - 8*h**2 + 8*h - 4. Let z be j(-9). Suppose 1 = -0*m + m - g, z*m - 3*g - 3 = 0. Suppose 4*u - 5*u + 58 = m. Is u a multiple of 32?
False
Let g be 7/(-63) + (-881)/9. Let c = g + 108. Does 5 divide c?
True
Let t = 6 + -12. Let l(w) be the second derivative of w**5/20 + w**4/2 - w**3/2 + 4*w**2 - 2*w + 64. Is l(t) a multiple of 13?
True
Let s(k) = 2*k**3 + 6*k**2 - 2*k - 17. Does 6 divide s(3)?
False
Is 18 a factor of ((-9)/(-2))/(26/3120)?
True
Let k(q) = -16*q + 141. Is k(3) a multiple of 31?
True
Let l = 1 + -5. Let f be l*9/(-6) + -2. Suppose p + p - 14 = 2*s, f*s = 20. Is 6 a factor of p?
True
Suppose -3*p - 2*s + 192 = 0, -4*s + 121 = 2*p - 5*s. Let i = -60 + p. Is i a multiple of 2?
True
Let v = 110 + -63. Let i = v - 35. Does 6 divide i?
True
Let h be ((-107)/(-4))/(3/(-4 - -16)). Does 8 divide 4 + 0/4 + -2 + h?
False
Suppose -2*r + 591 = -5*c, 8*c = -2*r + 7*c + 573. Does 6 divide r?
True
Let i(g) = g**2 + 2*g - 2. Let o be i(3). Suppose -561 = -o*l + 2*l. Is 51 a factor of l?
True
Suppose 5*t - 16 = 4. Suppose -d = d - t. Suppose d*m - 110 = -5*s, -3*m + s + 151 = 5*s. Is 15 a factor of m?
True
Suppose 0 = a - u - 2, 3*u = 5*a - 21 + 5. Let v(y) = -49*y + 86. Let k be v(-10). Suppose -a*t = t - k. Is 24 a factor of t?
True
Let w(u) = -u**2 + 7*u - 3. Let z be w(6). Suppose -3*b + 36 = z*j, 2*j = b + 6 + 21. Does 9 divide j?
False
Suppose -3*h + f = 293, 0 = -4*h + h - 4*f - 298. Let t = -64 - h. Is -3*(-8)/(-12) + t a multiple of 25?
False
Suppose -b = -2*x, 0*b + 10 = 2*b + x. Suppose i + j - 78 = 0, 3*j = b*i - 46 - 294. Is i a multiple of 10?
False
Suppose -2*g = 5*n - 12, -5*n = g + 4*g. Let r be (20/(-25))/(g/10). Let x = r - 0. Is x a multiple of 2?
True
Let v = -15 + 66. Let l = v + -41. Is 4 a factor of l?
False
Let l = 40 + 376. Let p = l + -204. Let i = p + -149. Is 21 a factor of i?
True
Let i(p) = p**3 + 7*p**2 - 9. Suppose 7 = -t - 0. Let b be i(t). Let a(h) = -7*h + 2. Is 24 a factor of a(b)?
False
Let u(d) = -2*d**3 + 2*d + 3*d**3 + 6 - 6 - 2*d**2 + 2. Does 10 divide u(3)?
False
Let v(n) be the second derivative of n**4/12 + 7*n**3/3 - 39*n**2/2 + 13*n. Is 12 a factor of v(-17)?
True
Let m(l) = l**2 - 7*l + 10. Let q be m(4). Does 17 divide 14 + -10 - 44/q?
False
Let d = -7 + 7. Let v = 3 - d. Suppose 61 = v*g - 5. Is 16 a factor of g?
False
Let j = 19 + -5. Suppose -4*n - o + 2 = -10, 3*n = 5*o - j. Does 2 divide n?
True
Let c = -46 + 85. Suppose -4*y + c = l, 2*l - 48 = -4*y + 46. Is l a multiple of 11?
True
Let r(d) = 2*d + 21. Let j be r(-9). Suppose -4*p - 20 = 0, y - 2*y = -j*p - 15. Does 3 divide 11 + -5 + (y - 3)?
True
Let t(m) = m**2 - m + 11. Let a be t(0). Suppose a - 5 = d. Suppose n - 4 - d = 0. Does 4 divide n?
False
Let x(o) = -6*o - 90. Does 2 divide x(-36)?
True
Let p(q) = 7*q**2 + 4*q - 5. Let t(c) = -8*c**2 - 5*c + 6. Let r(u) = 4*p(u) + 3*t(u). Let z be r(4). Let x = z + -38. Is 9 a factor of x?
False
Let v be 20 - -2*9/6. Suppose -3*m = -v + 2. Suppose -3*u - 4*f + m = 1, 5*f = 5*u - 45. Is u even?
True
Suppose -433 = -32*h + 5423. Is h a multiple of 3?
True
Let v(n) = -16 + 53*n - 17*n + 0*n. Let o be v(7). Suppose 3*u + 2*a = -2*u + 226, -o = -5*u + 3*a. Does 15 divide u?
False
Is ((-28)/4 - 26)*-1 a multiple of 3?
True
Let f(n) be the third derivative of -n**6/120 - n**5/15 + 7*n**4/12 + 3*n**3/2 + 6*n**2. Let y be f(-6). Is (-704)/24*y/2 a multiple of 11?
True
Suppose 11*g = 16*g - 3*x - 95, 57 = 3*g - 5*x. Does 8 divide g?
False
Suppose -2*c + 21 = -201. Is 19 a factor of c?
False
Let d(n) = 21*n - 12. Let b = 85 - 79. Does 6 divide d(b)?
True
Suppose 4*c + 3*p - 2*p = 976, 3*c + p = 733. Suppose 9*x = c + 9. Is 5 a factor of x?
False
Suppose -15*x + 3009 = -4746. Is 8 a factor of x?
False
Let u(r) = r**2 - r - 2. Let p be u(2). Suppose -q - 2 + 41 = p. Suppose i - q = -11. Is 6 a factor of i?
False
Suppose 636 = 18*q - 6*q. Let w = q + -19. Is w a multiple of 7?
False
Let c(l) be the first derivative of -l**4 - l**3 + l**2/2 - 2*l - 11. Let i(a) = a - 1. Let w(x) = c(x) - 2*i(x). Is w(-2) a multiple of 20?
False
Is 77 a factor of 26325/18 + (-4)/(-8)?
True
Let w(t) = t**2 - 11*t - 12. Let f be w(-11). Is (36/(-30))/((-4)/f) a multiple of 14?
False
Suppose -p + 4*g = 3*p - 60, p + 5*g = 21. Let u = -17 + p. Let m = 19 - u. Does 3 divide m?
False
Suppose -7*k + 19 + 16 = 0. Suppose -s = -5*a + 129, -k*a + 78 = -5*s - 47. Does 26 divide a?
True
Let f be (-806)/(-18) - 14/(-63). Is (-5 + 6)/(3/f) a multiple of 4?
False
Suppose -233 = -m - 1. Is m a multiple of 58?
True
Is (936/(-15))/8*-55 a multiple of 13?
True
Suppose d = 6*d + 45. Let f be (6/4)/((-18)/(-24)). Is ((-17)/f)/(d/18) a multiple of 17?
True
Suppose -14 = -x + m + 4*m, m + 1 = 0. Let u(g) = -g**3 + 11*g**2 - 9. Is 26 a factor of u(x)?
False
Let f be ((-2)/(-1))/(4/6). Suppose -f*d + 5*d + 3*n - 7 = 0, -5*n = -2*d - 1. Suppose 0 = -d*a, 4*z - a = 5*z - 23. Is 8 a factor of z?
False
Let p be (10/10)/((-3)/513). Let u = -96 - p. Is 11 a factor of u?
False
Let u be (-4 + 45 + -2)*11. Let m = u - 180. Does 28 divide m?
False
Let q be 15/6 + (-15)/(-10). Let h(d) = -q*d + 4*d - d + 1 - 4*d. Is h(-5) a multiple of 7?
False
Suppose 221 = 3*i + 86. Let s = i + -15. Is 5 a factor of s?
True
Let b(c) = 40*c**2 - 78*c + 321. Is b(4) a multiple of 26?
False
Let h(d) = 13*d - 17. Does 8 divide h(4)?
False
Let b(z) = -6*z + 3 + 2*z**2 - z**3 - 4*z**2 - 5*z**2 - 15. Does 6 divide b(-7)?
True
Let x(d) = -73*d + 6. Let n be x(-2). Suppose n = 4*s - 188. Does 25 divide s?
False
Let d(b) = b**2 + 10. Let p be d(5). Suppose -9 = -3*v, 6*s - 4*s = -5*v + p. Suppose -12 = -m + s. Is m a multiple of 22?
True
Let c(s) = -s**2 + 8*s - 1. Let r be c(8). Let k be r + 308/12*3. Suppose f = 6*m - 4*m - 76, 2*m + 3*f - k = 0. Is 31 a factor of m?
False
Let o = 7939 - 5427. Is o a multiple of 16?
True
Let y(t) = -t**3 + t - 1. Let n(c) = -4*c**3 + 4*c**2 - c - 3. Let o(j) = -n(j) + 3*y(j). Does 4 div